Many-Body Hilbert Spaces and Operators

A many-body calculation is trustworthy only when its state space, basis, operator algebra, constraints, and approximation agree. A Hamiltonian written with familiar creation and annihilation symbols is not yet a complete model: one must still say which modes those symbols label, which sector is retained, how fermionic modes are ordered, what boundaries and cutoffs are used, and which observable tests the claim.

This chapter is the application layer for that work. It does not redefine Fock space or quantize a theory a second time. It shows how coordinate wavefunctions, occupation states, mode operators, nonrelativistic fields, and real- or momentum-space Hamiltonians describe the same declared many-body problem.

Required background. Symbols and Conventions fixes the notation. Fock Space supplies occupation-number state spaces, and Second Quantization supplies the operator algebra used here.

Helpful background. Tensor Products of Hilbert Spaces distinguishes composition from direct sum, while the Symmetrization Postulate explains the allowed fixed-particle sectors. A spin-only route can use local tensor products without introducing particle Fock space.

From a physical system to an operator model

Choose the physical state space before choosing coordinates for it. A fixed-$N$ gas uses a symmetric or antisymmetric number sector. A spin chain uses a tensor product of local spin spaces. A Fock space contains several number sectors, but a particular state can still occupy only one of them.

Next define each mode, including internal labels, and fix its ordering for fermions. Then construct the Hamiltonian and the observables you intend to measure. A one-body operator is bilinear in creation and annihilation operators; a genuine two-body interaction is quartic under the usual number-conserving conventions. This particle count does not specify spatial range: the Hubbard interaction acts on two particles at one site.

Finally state the geometry, boundary conditions, and truncations. A complete change of basis preserves the model. A mode cutoff or projection generally changes it and needs a convergence or low-energy argument. The Many-Body Hilbert Spaces Overview compares these choices in detail.

Choose a reading sequence

Choose the branch that matches the model and observable you need.

1. Choose the physical space. Begin with Many-Body Hilbert Spaces Overview. State the one-particle space, statistics, sector, constraints, and cutoff before choosing convenient coordinates.
2. Translate the state language. Read First-Quantized Many-Body Wavefunctions when coordinate amplitudes, exchange of complete labels, or fixed-$N$ observables are central. Then use Occupation-Number Representation to translate into mode populations. A mode-native lattice problem can enter the occupation page directly after the overview.
3. Choose the statistics branch. Use Bosonic Operators in Many-Body Models or Fermionic Operators in Many-Body Models. Read both only when comparison is the goal; they are parallel branches, not universally cumulative prerequisites.
4. Choose the field branch when space is continuous or local densities matter. Field Operators in Many-Body Models translates a complete mode expansion into position-space operator language. The fields remain nonrelativistic many-particle operators unless additional field-theory structure is supplied.
5. Build the operator core. One-Body Operators lifts single-particle matrices and probes. Two-Body Operators constructs pair interactions after the relevant statistics, coefficient, and field or mode conventions are fixed.
6. Follow the branch demanded by the observable. Use Number Operators and Conserved Quantities for global charges and sectors, then Density Operators and Current Operators for local balance and flow. A current calculation can take the shorter Field Operators → Density and Current route when its foundational one-body and number-operator background is already secure.
7. Prepare a reference-state or representation method. Normal Ordering in Many-Body QM organizes operators around the empty vacuum or another declared reference. Momentum-Space Representation and Real-Space Representation provide complementary dictionaries with explicit normalization, cutoff, and boundary data.

Examples: a Hubbard chain and a trapped Bose gas

For a periodic spinful Hubbard chain, complete modes can be ordered pairs of site and spin labels. Choose a fixed particle-number sector or a Fock space with a declared sector projection; do not let the notation make that choice implicitly. The hopping term is one-body, the onsite repulsion is two-body, and total particle number supplies a commutator check. Real space makes onsite locality transparent; momentum space exploits translation symmetry. Continue to the Hubbard model for its phases and physical regimes.

For a trapped dilute Bose gas, begin with the continuum one-particle space and decide whether the calculation fixes $N$ or uses a variable-number description. Field operators organize kinetic, trap, and interaction terms; density and current operators define local observables; the trap and boundary data belong in the chosen representation. A contact interaction also needs a regulator or matching convention appropriate to the spatial dimension. Gross–Pitaevskii and Bogoliubov approximations are later methods, not identities supplied by the field notation.

Where these operators lead

Use Lattice Models and Spin Systems to study Hubbard, Bose–Hubbard, spin-chain, and impurity Hamiltonians. Use Interacting Systems and Approximation Methods when you need an approximation to their states or dynamics. Local densities and currents lead to Correlations and Response.

Here a density operator often means an observable such as particle density $\hat n(\mathbf x)$. A density matrix $\rho$ instead specifies a state; see Core Formalism if this distinction is unfamiliar. Nonrelativistic field operators do not alone supply relativistic covariance, antiparticles, or microcausality; the field-theory bridge explains the next steps.

Common routing errors

“Fock space means particle number fluctuates.” Fock space contains number sectors. A state or Hamiltonian may remain in one sharp, conserved sector.

“Second quantization is a second physical quantization.” In nonrelativistic many-body QM it is an operator representation of the same many-particle theory.

“The field operator is the many-body wavefunction.” A field operator changes particle number locally; a wavefunction is a state amplitude after choosing a representation.

“One-body and two-body mean local and weak.” Body rank counts how many constituents an operator term acts on. It does not determine geometric range, coupling strength, or computational ease.

“Normal ordering is mean field.” Reordering is an exact algebraic rewrite when every contraction and induced term is retained. Approximation begins when terms or correlations are discarded.

“Real and momentum space are automatically interchangeable after truncation.” A complete basis transformation preserves the theory. Finite grids, mode cutoffs, boundary conditions, and projected bands can make naive truncated dictionaries inequivalent.

Exercises

Exercise 1: Route two operator models

For (a) a four-site periodic spinful Hubbard model at fixed particle number and (b) a finite trapped Bose gas with contact interactions, list the minimum chapter route and four assumptions or conventions needed to specify each model.

Solution

For (a), use Hilbert Spaces Overview → Occupation-Number Representation → Fermionic Operators → One-Body and Two-Body Operators → Number Operators, adding Momentum Space if translation symmetry will be used. Record the ordered site-spin modes, fixed number sector, periodic boundary, hopping and onsite-interaction conventions, and conserved charges. Then continue to the Hubbard Model page. For (b), use Hilbert Spaces Overview → Occupation-Number Representation → Bosonic Operators → Field Operators → One-Body and Two-Body Operators → Density and Current → Real Space. Record fixed-$N$ or variable-number choice, trap geometry, field normalization, contact regulator or matching convention, and occupation or spatial cutoff. Approximation then continues through Interacting Systems and Approximation Methods.

Exercise 2: Repair four claims

Repair these statements: “using Fock space makes $N$ uncertain”; “normal ordering is a mean-field approximation”; “the field operator is the many-body wavefunction”; and “a momentum-space Hamiltonian describes a different system from its real-space form.”

Solution

Fock space provides a direct sum of number sectors, but a state can occupy one sharp sector and a number-conserving Hamiltonian cannot mix sectors. Normal ordering is exact when all generated terms are kept; a later truncation may be approximate. A field operator creates or annihilates a quantum in a spatially labeled mode, whereas a many-body wavefunction is a coordinate representation of a state. Finally, complete real- and momentum-space bases give equivalent representations under a consistent transform; boundaries, normalization, discretization, and cutoffs must be tracked before asserting equivalence in a truncated calculation.

References

• H. Bruus and K. Flensberg, Many-Body Quantum Theory in Condensed Matter Physics, Oxford University Press (2004).
• P. Coleman, Introduction to Many-Body Physics, Cambridge University Press (2015).
• A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover (2003).
• J. W. Negele and H. Orland, Quantum Many-Particle Systems, Westview Press (1998).