The canonical anticommutation relations (CAR) for fermion systems can be represented by finite-dimensional matrix algebra, but it is impossible for canonical commutation relations (CCR) for bosons. After description of more simple case with representation of CAR and (bounded) quantum computational networks via Clifford algebras in the paper are discussed CCR. For representation of the algebra it is not enough to use quantum networks with fixed number of qubits and it is more convenient to consider Turing machine with essential operation of appending new cells for description of infinite tape in finite terms --- it has straightforward generalization for quantum case, but for CCR it is necessary to work with symmetrized version of the quantum Turing machine. The system is called here quantum abacus due to understanding analogy with the ancient counting devices (abacus).
CAR on Fock spacesThis chapter is devoted to the study of Fock representations of the canonical anticommutation relations, a basic tool of quantum many-body theory and quantum field theory.It is parallel to Chap. 9, where Fock CCR representations were studied.The basic framework is almost the same as in Chap.9. Throughout this chapter Z is a Hilbert space, called the one-particle space.We will consider the Fock CAR representation acting on the fermionic Fock space Γ a (Z).As in Sect.1.3, we introduce the space Y = Re(Z ⊕ Z) := {(z, z) : z ∈ Z}, which will serve as the dual phase space of our system.Recall that in the bosonic case we equipped Y with the structure of the Kähler space consisting of the anti-involution j, the Euclidean scalar product • and the symplectic form ω: j(z, z) := (iz, iz), (13.1) (z, z) • (w, w) := 2Re(z|w), (13.2) (z, z)•ω(w, w) := 2Im(z|w) = -(z, z) • j(w, w).(13.3)In our presentation of the fermionic case, we will need the Kähler anti-involution j.The symplectic form ω will not be used.Instead of the scalar product (13.2) we will use another scalar product,Again we will avoid identifing Z with Y. CY is identified with Z ⊕ Z by the mapY # , the space dual to Y, is canonically identified with Re(Z ⊕ Z) by using the scalar product (9.2), and CY # is identified with Z ⊕ Z. Fock CAR representationConsider the fermionic Fock space Γ a (Z).Recall that, for z ∈ Z, a * (z), resp.a(z) denote the corresponding creation, resp.annihilation operators defined in Sect.3.4.
The many-body Hamiltonians and other fermionic physical observables are expressed in terms of fermionic creation and annihilation operators, which form the algebra of canonical anti-commutation relations (CAR). In this work we use a canonical isomorphism between CAR and
M2∞ algebras to derive analytic matrix representations of many-fermion operators. Code-lines implementing these matrix representations are supplied and Hubbard-type Hamiltonians are worked out explicitly.
Let
H1 be a finite dimensional complex Hilbert space. Let
ψ↦Z(ψ) be a canonical anti-commutation relations (CAR) field over
H1 acting irreducibly on a Hilbert space
K. The
∗-algebra
AH1 generated by the
Z(ψ),
ψ∈H1, is simply all operators on
K. However, the CAR field endows
AH1 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''
ψ↦eitψ. The fixed point algebra of the gauge group,
GH1, is a sub-algebra of
AH1 studied by Araki and Wyss. It contains the density matrices of an important class of states, the {\em gauge invariant Gaussian states},
SGIG.
Our focus is on semigroups
{etL}t≥0 of quantum operations on
AH1 that map
SGIG into itself. Each
etL is one-to-one, and our first main result is a structure theorem for such quantum operations on
GH1 that map
SGIG into itself.
We apply this to study semigroups of quantum operations on
GH1 that map
SGIG 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
H1, and
0≤A≤−G−G∗. We then show that each of these semigroups has a natural extension to the full CAR algebra
AH1. Further results are obtained under further assumptions on the pair
(G,A).
Abstract The relative entropy of certain states on the algebra of canonical anticommutation relations (CAR) is studied in the present work. The CAR algebra is used to describe fermionic degrees of freedom in quantum mechanics and quantum field theory. The states for which the relative entropy is investigated are multi-excitation states (similar to multi-particle states) with respect to KMS states defined with respect to a time-evolution induced by a unitary dynamical group on the one-particle Hilbert space of the CAR algebra. If the KMS state is quasifree, the relative entropy of multi-excitation states can be explicitly calculated in terms of 2-point functions, which are defined entirely by the one-particle Hilbert space defining the CAR algebra and the Hamilton operator of the dynamical group on the one-particle Hilbert space. This applies also in the case that the one-particle Hilbert space Hamilton operator has a continuous spectrum so that the relative entropy of multi-excitation states cannot be defined in terms of von Neumann entropies. The results obtained here for the relative entropy of multi-excitation states on the CAR algebra can be viewed as counterparts of results for the relative entropy of coherent states on the algebra of canonical commutation relations which have appeared recently. It turns out to be useful to employ the setting of a self-dual CAR algebra introduced by Araki.