Huzihiro Araki | Searcharxiv

arXiv2004

Joint Extension of States of Subsystems for a CAR System

The problem of existence and uniqueness of a state of a joint system with given restrictions to subsystems is studied for a Fermion system, where a novel feature is non-commutativity between algebras of subsystems. For an arbitrary (finite or infinite) number of given subsystems, a product state extension is shown to exist if and only if all states of subsystems except at most one are even (with respect to the Fermion number). If the states of all subsystems are pure, then the same condition is shown to be necessary and sufficient for the existence of any joint extension. If the condition holds, the unique product state extension is the only joint extension. For a pair of subsystems, with one of the given subsystem states pure, a necessary and sufficient condition for the existence of a joint extension and the form of all joint extensions (unique for almost all cases) are given. For a pair of subsystems with non-pure subsystem states, some classes of examples of joint extensions are given where non-uniqueness of joint extensions prevails.

math-ph↗

arXiv2003

Equilibrium Statistical Mechanics of Fermion Lattice Systems

We study equilibrium statistical mechanics of Fermion lattice systems which require a different treatment compared with spin lattice systems due to the non-commutativity of local algebras for disjoint regions. Our major result is the equivalence of the KMS condition and the variational principle with a minimal assumption for the dynamics and without any explicit assumption on the potential. It holds also for spin lattice systems as well, yielding a vast improvement over known results. All formulations are in terms of a C*-dynamical systems for the Fermion (CAR) algebra with all or a part of the following assumptions: (I) The interaction is even with respect to the Fermion number. (Automatically satisfied when (IV) below is assumed.) (II) All strictly local elements of the algebra have the first time derivative. (III) The time derivatives in (II) determine the dynamics. (IV) The interaction is lattice translation invariant. A major technical tool is the conditional expectation from the total algebra onto the local subalgebra for any finite subset of the lattice, which induces a system of commuting squares. This technique overcomes the lack of tensor product structures for Fermion systems and even simplifies many known arguments for spin lattice systems.

math-ph↗