Many-Body Statistical

Rigorous many-body theory asks which finite-system constructions survive as the system grows, which locality assumptions control that limit, and which statements are uniform in volume. A formal Hamiltonian sum is not yet an infinite-system dynamics; a finite-size gap is not yet a thermodynamic gap; and the words “short range” must be replaced by a metric and a summability condition before they can support a theorem.

This chapter will eventually connect quasi-local algebras, equilibrium states, phases, and many-body dynamics. The Lieb–Robinson article establishes the locality estimate on which much of that later structure depends.

Enter through dynamical locality

Lieb–Robinson Bounds starts from a countable metric site set and bounded decaying interaction terms. It states a volume-uniform operator-norm commutator bound, derives the exponential exterior cone, explains the Duhamel and interaction-path proof, and shows why the uniform estimate supports an infinite-volume dynamics.

Read it when you need to answer any of these questions:

• What exact interaction norm replaces the slogan “local Hamiltonian”?
• Why can a nonrelativistic lattice system have an effective propagation cone?
• Which constants depend on the metric, decay profile, support size, and norm convention?
• Why is a Lieb–Robinson velocity an upper-bound parameter rather than a measured front velocity?
• Which extra assumptions are needed for clustering, phase stability, or an algorithmic truncation theorem?

The compact Lieb–Robinson Bound reference card retains the statement and hypothesis checklist for lookup. The rigorous article remains the canonical home for definitions, proof architecture, examples, exercises, and failure cases.

The finite-to-infinite contract

The locality argument keeps four layers separate:

1. Finite-volume kinematics: local Hilbert spaces, local observable algebras, supports, and unitary Heisenberg evolution.
2. Uniform locality: an interaction norm and a commutator estimate whose constants do not grow with the chosen finite volume.
3. Thermodynamic-limit dynamics: convergence of finite-volume evolutions on local observables, followed by extension to the quasi-local algebra.
4. Further conclusions: clustering, spectral flow, phase stability, transport, and simulation only after their additional hypotheses are supplied.

Conflating these layers is a common source of overclaiming. In particular, the existence of an effective cone neither proves a spectral gap nor turns a lattice model into a relativistic quantum field theory.

Further topics

The locality theorem is the substantive treatment in this chapter. Further entries, including KMS states, thermodynamic limits, and stability of matter, are visible with Planned labels and do not yet contain articles. Broader coverage of quasi-local algebras, clustering, phases, and dynamics requires additional hypotheses and proofs; those conclusions do not follow from a route name or from the locality estimate alone.

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.
• E. H. Lieb and D. W. Robinson, “The Finite Group Velocity of Quantum Spin Systems,” Communications in Mathematical Physics 28, 251–257, 1972, doi:10.1007/BF01645779.
• 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.