On the State Extension and Quantum Correlations for CAR Systems (The structure of operator algebras and its applications)

Hajime Moriya

Eric A. Carlen

Let ${\mathcal H}_1$ be a finite dimensional complex Hilbert space. Let $ψ\mapsto Z(ψ)$ be a canonical anti-commutation relations (CAR) field over ${\mathcal H}_1$ acting irreducibly on a Hilbert space ${\mathord{\mathscr K}}$. The $*$-algebra ${\mathscr A}_{{\mathcal H}_1}$ generated by the $Z(ψ)$, $ψ\in {\mathcal H}_1$, is simply all operators on ${\mathscr K}$. However, the CAR field endows ${\mathscr A}_{{\mathcal H}_1}$ with additional structure, and we are concerned with quantum operations acting in harmony with this structure. In particular, there is a "gauge" automorphism group generated by "second quantizing'' $ψ\mapsto e^{it}ψ$. The fixed point algebra of the gauge group, ${\mathscr G}_{{\mathcal H}_1}$, is a sub-algebra of ${\mathscr A}_{{\mathcal H}_1}$ studied by Araki and Wyss. It contains the density matrices of an important class of states, the {\em gauge invariant Gaussian states}, ${\mathfrak S}_{GIG}$. Our focus is on semigroups $\{e^{t{\mathscr L}}\}_{t\geq 0}$ of quantum operations on ${\mathscr A}_{{\mathcal H}_1}$ that map ${\mathfrak S}_{GIG}$ into itself. Each $e^{t{\mathscr L}}$ is one-to-one, and our first main result is a structure theorem for such quantum operations on ${\mathscr G}_{{\mathcal H}_1}$ that map ${\mathfrak S}_{GIG}$ into itself. We apply this to study semigroups of quantum operations on ${\mathscr G}_{{\mathcal H}_1}$ that map ${\mathfrak S}_{GIG}$ into itself. Our second main result is a structure theorem showing that they are parameterized by pairs $(G,A)$ where $G$ is a contraction semigroup generator on ${\mathcal H}_1$, and $0 \leq A \leq -G -G^*$. We then show that each of these semigroups has a natural extension to the full CAR algebra ${\mathscr A}_{{\mathcal H}_1}$. Further results are obtained under further assumptions on the pair $(G,A)$.

Jan Hamhalter

Carsten Binnenhei

The appearance of the Cuntz algebras Od is a generic feature of local quantum field theory. This fact has been discovered by S. Doplicher and J. E. Roberts within the algebraic theory of superselection sectors. Generators of the Cuntz algebras arise as charged field operators which implement localized endomorphisms of the observable algebra. Whereas the existence of such operators can be derived from first principles, little is known about the actual construction of these fields in concrete models. In view of this apparent discrepancy, we develop a comprehensive theory of quasi-free endomorphisms of the CAR and CCR algebras which give rise to representations of the Cuntz algebras Od on Fock space. The number d is the statistics dimension of the endomorphism. It can be any power of 2 (including 1 and infinite) in the CAR case, but takes only the values 1 and infinite in the CCR case. We obtain necessary and sufficient conditions for implementability of quasi- free endomorphisms. By studying extensions of partial Fock states, we find that the semigroup of implementable quasi-free endomorphisms has a simple structure: It can be written as a product of a group of automorphisms which are close to the identity, and the semigroup of endomorphisms which leave the given Fock state invariant. We describe the construction of the implementers of a quasi-free endomorphism in terms of annihilation and creation operators in is a generic feature of local quantum field theory. This fact has been discovered by S. Doplicher and J. E. Roberts within the algebraic theory of superselection sectors. Generators of the Cuntz algebras arise as charged field operators which implement localized endomorphisms of the observable algebra. Whereas the existence of such operators can be derived from first principles, little is known about the actual construction of these fields in concrete models. We compare the structure of the semigroup of (gauge invariant) quasi-free endomorphisms with the generic superselection structure of quantum field theory.

Michael Keyl, Dirk-M. Schlingemann

We present an approach to a noncommutativelike phase space which allows to analyze quasifree states on the algebra of canonical anti-commutation relations (CAR) in analogy to quasifree states on the algebra of canonical commutation relations (CCR). The used mathematical tools are based on a new algebraic structure the “Grassmann algebra of canonical anticommutation relations” (GAR algebra) which is given by the twisted tensor product of a Grassmann and a CAR algebra. As a new application, the corresponding theory provides an elegant tool for calculating the fidelity of two quasifree fermionic states which is needed for the study of entanglement distillation within fermionic systems.