Many-Body and Statistical Quantum Mechanics

Rigorous many-body theory studies which constructions and estimates remain valid when the particle count, the volume, or the number of modes grows. These are different limits. A finite-particle Hamiltonian can be self-adjoint without a uniform energy bound; local states can converge without a global density matrix; a mean-field theorem can control fixed marginals without controlling the entire many-body wave function.

This chapter connects particle kinematics, local observable algebras, equilibrium limits, stability, and effective equations. Each limiting statement specifies its comparison space, topology, and uniform hypotheses.

Choose the many-body construction

Start with Many-Body Hilbert Spaces when deciding whether tensor factors label particles, species, sites, or modes. It also constructs independent-particle Hamiltonians through joint spectral calculus: for operators with both positive and negative energies, cancellation can make the total-energy domain larger than the intersection of individual operator domains.

Fock Space Construction builds the Hilbert direct sum, proves bosonic exponential-vector totality and mode factorization, and gives the precise domains of additive second quantization. The Fock-space reader bridge explains sector probabilities and number-operator examples.

Continue to Creation and Annihilation as Operators for exact bosonic mode domains, fermionic boundedness, and the analytic-vector justification of fields. CAR and CCR Algebras then separates the abstract algebra from a chosen state and representation. Its finite CAR construction also explains why disjoint odd fermion fields anticommute while even observables commute.

Separate local limits, dynamics, and representations

Thermodynamic Limits of Local States proves subsequence compactness for countable lattices with finite-dimensional sites. The common comparison object is the quasi-local algebra. Convergence means convergence of expectations of each fixed observable; it does not require comparing full density matrices on growing Hilbert spaces.

Lieb–Robinson Bounds proves the volume-uniform locality estimate for bounded decaying interactions, its proof architecture, and the construction of infinite-volume dynamics. The compact Lieb–Robinson Bound reference card retains its statement and hypothesis checklist.

These are separate conclusions. State compactness needs no Hamiltonian, whereas convergence of dynamics needs uniform control of propagation and the distant boundary. Neither statement alone proves a spectral gap, uniqueness of equilibrium, or clustering.

Representations in Thermodynamic Limits gives a concrete reason to keep the observable algebra independent of a Hilbert-space background. Product-spin states with different densities have different scalar strong limits of the same macroscopic average. This forces their representations to be disjoint, despite ordinary faithful density matrices on every finite region.

Establish equilibrium before writing a density matrix

KMS Equilibrium States in Thermodynamic Limits proves that equilibrium survives weak-star state convergence together with compact-time norm convergence of dynamics. Gaussian smearing controls the complex-time limit. The finite-volume construction explicitly uses tracial exterior extensions, rather than assuming that every extension is globally KMS.

The abstract KMS page develops analytic elements and fixed-dynamics closure; the many-body KMS treatment explains the physical equilibrium interpretation and Gibbs derivation. The pages address complementary parts of one argument.

Gibbs States and Trace-Class Caveats states when a Hilbert-space Gibbs density actually exists. Its logarithmic-spectrum example shows why compact resolvent is insufficient. Its Fock trace formulas separate mode summability from the bosonic chemical-potential restriction. A divergent global partition function can coexist with a well-defined local KMS state.

Control macroscopic energy and effective equations

Stability of Matter states the uniform nonrelativistic fermionic Coulomb lower bound. The proof combines kinetic, indirect electrostatic, and Thomas–Fermi inequalities, keeping the nuclear-charge bound and spin multiplicity explicit. Finite-system semiboundedness alone does not imply this linear estimate.

Mean-Field Limits proves finite-time Hartree convergence of fixed marginals for bounded pair interactions. The reduced-density hierarchy identifies the finite-size errors, and a solvable spin example displays failure of uniformity on growing time scales.

Quantum de Finetti Theorems represents consistent bosonic hierarchies as mixtures of tensor powers. Its finite-dimensional error estimate yields a controlled Hartree ground-energy limit. Symmetry alone does not select one condensate, and infinite-dimensional escape of mass requires additional compactness.

The physical many-body thermodynamic-limit treatment and mean-field theory treatment provide the modeling choices and applications. The results here supply the hypotheses and mathematical controls needed to decide when those constructions are justified.

References

• O. Bratteli and D. W. Robinson, Operator Algebras and Quantum Statistical Mechanics 2: Equilibrium States, Models in Quantum Statistical Mechanics, 2nd ed., Springer, 1997, doi:10.1007/978-3-662-03444-6.
• J. Dereziński, “Introduction to representations of the canonical commutation and anticommutation relations,” in Large Coulomb Systems, Lecture Notes in Physics 695, Springer, 2006, pp. 63–143, doi:10.1007/3-540-32579-4_3, author text.
• B. Nachtergaele, R. Sims, and A. Young, “Quasi-locality bounds for quantum lattice systems. Part I. Lieb–Robinson bounds, quasi-local maps, and spectral flow automorphisms,” Journal of Mathematical Physics 60, 061101, 2019, doi:10.1063/1.5095769, author text.