Lattice Models and Spin Systems

A lattice Hamiltonian may fit on one line while leaving the physical model badly underspecified. The same symbols can describe a literal array of localized degrees of freedom, an effective low-energy theory, a graph model, or a numerical regulator. Geometry, local state spaces, operator conventions, constraints, filling, boundary conditions, and the intended observables determine which interpretation is valid.

This chapter is a model-selection and dependency gateway. It routes among particle, spin, impurity, mapping, exact-solution, and boundary-condition treatments. The detailed Lattice Models Overview owns the general anatomy and model-building workflow; each specialist leaf owns its Hamiltonian, conventions, limits, and physical regimes.

Required background. Enter through Many-Body Hilbert Spaces and Operators so that local tensor factors, Fock spaces, occupation notation, body rank, and real- or momentum-space representations are not left implicit.

Helpful background. Locality in Many-Body Systems separates geometric range from interaction arity, while Thermodynamic Limit and Finite-Size Effects qualify phase and scaling claims. Spin routes use preparation from Symmetry, Angular Momentum, and Spin; particle routes use the appropriate bosonic or fermionic operator algebra.

From local model data to a physical claim

Use this route spine:

local degrees of freedom → graph and boundary closure → operator algebra and constraints → Hamiltonian terms → symmetry sector and filling → scale hierarchy and exact limits → observable, method, and evidence standard.

Before choosing a model page, complete eight entries.

1. Local-object entry. State whether degrees of freedom live on sites, links, cells, plaquettes, impurities, orbitals, or synthetic modes, and define the local Hilbert space or allowed occupations.
2. Geometry entry. Give the graph or lattice, dimension, metric or adjacency, orientation conventions, coordination, and any embedding needed by the physical claim.
3. Algebra entry. Specify spins, qudits, bosons, fermions, or constrained operators. For fermions, include the complete mode ordering and parity convention.
4. Hamiltonian entry. List onsite, hopping, exchange, interaction, pairing, or multi-site terms with signs, units, support, range, Hermiticity, and double-counting conventions.
5. Sector entry. Record filling, particle number, magnetization, gauge or local constraints, spatial momentum, and every symmetry block used in an analytic or numerical treatment.
6. Boundary entry. Declare open, periodic, twisted, antiperiodic, or impurity-bath closure. Boundary data are part of the Hamiltonian, not a later numerical preference.
7. Scale entry. Identify dimensionless coupling ratios, exact limits, retained and eliminated energy scales, temperature, size sequence, and any controlled projection.
8. Claim entry. Name the observable, state or ensemble, method, uncertainty, finite-size evidence, and the stronger inference—if any—that the calculation is intended to support.

Lattice Models Overview develops this specification in full. This gateway uses it only as a routing test.

Read as a dependency graph

The sidebar is a catalog. The actual learning route branches.

1. Establish the common anatomy. Begin with Lattice Models Overview. Learn how local spaces, graph data, hopping, exchange, interactions, constraints, symmetries, and universality claims fit together.
2. Treat boundaries as cross-cutting data. Consult Boundary Conditions on Lattices before interpreting finite-ring spectra, momentum grids, stiffness, Jordan–Wigner sectors, or finite-size phase signatures, even though it appears last in catalog order.
3. Choose a particle or spin trunk. Particle models normally begin with Tight-Binding Model. For a minimal discrete-symmetry spin benchmark, enter Transverse-Field Ising Model directly. For rotationally symmetric quantum magnetism, enter Heisenberg Model and continue to XXZ Spin Chain for anisotropy and integrability.
4. Branch by particle statistics and interaction. From tight binding, continue to Hubbard Model for onsite-interacting fermions, Bose–Hubbard Model for lattice bosons, Spinless Fermion Chains for the minimal interacting one-dimensional fermion route, or Anderson Impurity Model Preview for a correlated local orbital hybridized with a bath.
5. Defer strong-coupling reductions until their controls are explicit. The t–J Model Preview follows Hubbard, Heisenberg, and Effective Hamiltonians in Many-Body Systems. It is not an early core model or an algebraic identity.
6. Route impurity physics by the retained local states. Anderson retains impurity charge fluctuations. Kondo Model Preview retains a local spin coupled to a fermionic bath. Anderson → Kondo is the mechanism-first route; readers who already understand the projected spin model may enter Kondo directly.
7. Use mappings after a physical first pass. Read Jordan–Wigner Transformation after learning at least one spin chain and the fermionic operator algebra. Then return to TFIM, XXZ, or Spinless Fermion Chains with the boundary and parity caveats attached.
8. Study solvability through examples. Read Exact Solutions Preview after one quadratic example and one interacting example. It distinguishes free-mode diagonalization, Bethe ansatz, integrability, and finite exact diagonalization without promising closed forms for every observable.

Choose a shorter route

First lattice calculation. Read Lattice Models Overview → Tight-Binding Model → Boundary Conditions. Stop when you can build and diagonalize a finite hopping Hamiltonian with consistent bond, Fourier, and boundary conventions.

Spin and quantum criticality. Read Lattice Models Overview → Transverse-Field Ising Model → Boundary Conditions. Add Jordan–Wigner and Exact Solutions only after the physical spin model is clear.

Quantum magnetism. Read Lattice Models Overview → Heisenberg Model → XXZ Spin Chain. Continue through Phases, Order, and Criticality, magnons, or exact methods according to the target; do not infer a material phase diagram from the generic model alone.

Correlated fermions. Read Lattice Models Overview → Tight-Binding Model → Hubbard Model. Add Heisenberg and Effective Hamiltonians before t–J, or branch to Spinless Fermion Chains for a one-dimensional interacting benchmark.

Lattice bosons and cold atoms. Read Lattice Models Overview → Tight-Binding Model → Bose–Hubbard Model. Continue through Interacting Systems and Approximation Methods, enter Phases, Order, and Criticality for phase-diagnostic routing, and use Quantum Phase Transitions for zero-temperature criticality; optical-lattice construction, calibration, preparation, and measurement remain in Atomic, Molecular, and Optical Physics.

Impurity physics. Read Lattice Models Overview → Tight-Binding Model → Anderson Impurity Model → Kondo Model. Add Green Functions and Effective Hamiltonians for the controlled reduction and spectral analysis.

Worked routing audit

Consider the phrase “a half-filled Hubbard ring at large $U/t$.” It still omits the number of sites, spin content, hopping sign and range, boundary twist, mode ordering, fixed-$N$ and spin sector, temperature, observable, and the sequence by which a bulk statement would be inferred. Start with Lattice Models Overview and Tight Binding, specify those data on the Hubbard page, and use Boundary Conditions before comparing finite spectra. A Heisenberg description at large $U/t$ is a controlled low-energy reduction with corrections and a restricted sector—not an exact rewriting of the full Hubbard model.

Now consider an open spin-$1/2$ chain with exchange anisotropy. The local space and Pauli-versus-spin normalization must be declared before deciding between Heisenberg and XXZ. Open boundaries avoid the periodic fermion-parity closure that appears under Jordan–Wigner, but edge observables and finite gaps remain boundary sensitive. A phase claim still needs a declared large-system limit and diagnostic beyond one finite spectrum.

Exit checkpoint

You are ready to leave this chapter when you can:

• write a complete model specification including local space, graph, algebra, Hamiltonian, constraints, filling, sector, boundaries, scales, and observables;
• identify exact limits and distinguish them from controlled projections or uncontrolled approximations;
• choose the spin, boson, fermion, impurity, mapping, boundary, or exact-solution owner for the question;
• distinguish a finite spectral or crossover result from a thermodynamic phase claim;
• explain what a spin–fermion mapping preserves and how its strings, parity sectors, and boundaries alter locality bookkeeping;
• route onward to an approximation, diagnostic, the Phases, Order, and Criticality gateway, a computational method, a material, or an experimental platform without assigning that later content to the generic model page.

Canonical boundaries

• Many-Body Hilbert Spaces and Operators owns occupation, field, one- and two-body, conserved-charge, and representation grammar.
• Lattice Models Overview owns general lattice anatomy, locality and model data, universality, and the detailed model-building workflow. This gateway owns chapter routing only.
• Specialist leaves own their Hamiltonians, conventions, exact limits, regimes, and model-specific checks. Jordan–Wigner owns the spin–fermion map; Boundary Conditions owns finite closures; Exact Solutions owns the solvability taxonomy.
• Interacting Systems and Approximation Methods owns approximation-family routing and controlled projection derivations; the Interacting Many-Body Systems Overview supplies the detailed regime and control audit. Phases, Order, and Criticality owns chapter entry and routing among general order, scaling, universality, and thermodynamic phase claims; Phases of Matter in Many-Body QM owns the detailed general phase framework.
• Correlation Functions and Linear Response owns chapter entry, convention audits, and routing among Green functions, structure factors, spectral functions, and response. Correlation Functions Overview owns the detailed correlator hierarchy. Computational Many-Body QM owns chapter entry and numerical-branch routing; the Computational Many-Body Overview owns the detailed method-selection, evidence, and convergence audit.
• The Model Encyclopedia and Reference own compact dossiers and lookup. Quantum Matter owns material-specific bands, magnetism, Mott phenomenology, Kondo lattices, and experimental phase diagrams.
• Atomic, Molecular, and Optical Physics owns optical-lattice and simulator construction, calibration, preparation, and measurement. QFT.org owns full continuum field-theory and renormalization-group developments.

Common routing errors

“A lattice model is necessarily a crystal.” A lattice can be literal, synthetic, effective, graph based, or a regulator. The interpretation must be stated.

“A two-local Hamiltonian is geometrically local.” Interaction arity does not determine spatial range, coordination, decay, or extensivity.

“Quadratic means one particle or classical.” A quadratic Hamiltonian can act across every many-particle sector and retain exchange statistics; it is noninteracting in the adopted modes, not automatically trivial.

“The Hamiltonian name specifies the physics.” Hubbard behavior depends on filling, sign, dimension, geometry, temperature, boundaries, and the target observable—not only $U/t$.

“Large-$U$ Hubbard is exactly Heisenberg.” The spin model is a projected low-energy description with a control regime and higher-order corrections.

“Exact diagonalization proves integrability.” Finite matrices can be diagonalized exactly without an extensive family of conserved charges or an analytic many-body solution.

“Boundary conditions are just a numerical setting.” They change allowed momenta, flux response, shell structure, edge physics, and sometimes the parity sector of a mapped Hamiltonian.

Exercises

Exercise 1: Complete and route a model

A calculation is described only as “the half-filled Hubbard model on a periodic chain.” List the missing model data needed before reproducing a spectrum, then give the minimum chapter route.

Solution

Specify chain length, site and spin-orbital basis, fermionic mode ordering, hopping range and sign, onsite-interaction convention, energy units, particle-number and spin sector, precise periodic or twisted boundary, temperature or target state, observables, finite-size sequence, and numerical or analytic method. Use Lattice Models Overview → Tight-Binding Model → Hubbard Model → Boundary Conditions. Add Effective Hamiltonians and Heisenberg only if a controlled strong-coupling reduction is required.

Exercise 2: Route an exact spin-chain calculation

Route a calculation of the finite-ring transverse-field Ising spectrum and explain why neither finite exact diagonalization nor the Jordan–Wigner map alone proves generic integrability.

Solution

Read Lattice Models Overview → Transverse-Field Ising Model, then review fermionic algebra and Jordan–Wigner Transformation, consult Boundary Conditions for parity-dependent ring closure, and use Exact Solutions Preview to classify the free-mode solution. Exact diagonalization returns exact eigenvalues of a chosen finite matrix but does not establish analytic solvability at arbitrary size. Jordan–Wigner is an exact mapping of operators under stated boundary conventions; integrability follows only when the mapped Hamiltonian has the additional solvable structure.

References

• A. Auerbach, Interacting Electrons and Quantum Magnetism, Springer (1994).
• P. Coleman, Introduction to Many-Body Physics, Cambridge University Press (2015).
• T. Giamarchi, Quantum Physics in One Dimension, Oxford University Press (2004).
• A. C. Hewson, The Kondo Problem to Heavy Fermions, Cambridge University Press (1993).
• S. Sachdev, Quantum Phase Transitions, 2nd ed., Cambridge University Press (2011).