Normal Ordering in Many-Body QM
Normal ordering is more than a visual rule that places creation operators to the left. In many-body quantum mechanics it is a way to rewrite an operator around a chosen reference state. The reference may be the empty Fock vacuum, a filled Slater determinant, a coherent condensate, or a Bogoliubov quasiparticle vacuum. Changing that reference changes the contractions and therefore changes which constant, one-body, pairing, and residual interaction terms appear.
The central logical distinction is
whereas
This page develops that distinction for nonrelativistic many-body systems. The creation-left definition and elementary vacuum examples live in Normal Ordering. The systematic sum over contractions is introduced separately in Wick’s Theorem Preview.
Helpful background. Normal ordering supplies the vacuum algebra; two-body operators fixes the antisymmetrized coefficient and prefactor convention.
Particles and holes around a filled reference
Section titled “Particles and holes around a filled reference”Take orthonormal fermionic modes and a Slater determinant . Indices denote its occupied orbitals, its unoccupied orbitals, and arbitrary orbitals. Braces will denote reference normal ordering, not an anticommutator. We first work in finitely many modes; continuum products need the regulator qualification below.
For the empty vacuum, every annihilates the reference and creators are moved to the left. Reordering generates contractions, as in . The nonconstant vacuum-normal products have zero vacuum expectation, but need not have zero expectation in a filled state. A filled reference reverses the roles of operators on its occupied modes.
Excitations relative to a determinant
Section titled “Excitations relative to a determinant”Suppose contains occupied fermion orbitals. Then
for every occupied , while
for every unoccupied . Relative to :
- creates a particle excitation;
- annihilates a particle excitation;
- creates a hole excitation;
- annihilates a hole excitation.
Thus an operator already normal ordered relative to need not be normal ordered relative to .
Particle–hole vacuum
Section titled “Particle–hole vacuum”For a Slater determinant with occupation numbers , define quasiparticle annihilators
They satisfy
Their adjoints create excitations:
The particle-hole transformation preserves the canonical anticommutation relations:
Reference normal ordering places every to the left of every . This definition immediately guarantees
for every nonconstant normal-ordered quasiparticle monomial.
Reference Contractions
Section titled “Reference Contractions”In the occupation basis of ,
and
Both contractions are needed. A filled mode has a nonzero contraction, whereas an empty mode has a nonzero contraction.
In an arbitrary basis, define
This index order is the transpose of the common one-particle matrix . For a Slater determinant, is Hermitian and idempotent:
The complementary contraction follows from the canonical anticommutator:
One-Body Strings Around a Reference
Section titled “One-Body Strings Around a Reference”The simplest reference-normal-ordering identity is
In the diagonal occupation basis,
For the total number operator,
where
The normal-ordered correction counts particles above the reference and holes below it with opposite signs. A one-particle-one-hole excitation has the same total particle number as .
Fermionic Four-Operator Identity
Section titled “Fermionic Four-Operator Identity”For a Slater determinant or a number-conserving mixed Gaussian reference (with mixed-state Wick ordering as explained below),
The last line is the double-contraction contribution. Taking the reference expectation gives
The minus sign is exchange. It is not a convention that may be dropped.
Deriving the Reference-Normal-Ordered Hamiltonian
Section titled “Deriving the Reference-Normal-Ordered Hamiltonian”Consider a fermionic Hamiltonian with one- and two-body terms:
The factor accompanies fully antisymmetrized matrix elements. Insert the one- and two-body normal-ordering identities and collect equal quasiparticle ranks. In the orbital basis where occupies ,
The induced coefficients are
and
No approximation has been made. The same operator has been reorganized into zero-body, one-body, and residual two-body pieces relative to .
Meaning of the three pieces
Section titled “Meaning of the three pieces”The scalar is the reference energy. It matters when comparing variational states, binding energies or thermodynamic potentials. An irrelevant fixed energy zero in one evolution problem does not justify dropping a reference-dependent scalar in an energy comparison.
The Fock matrix contains the original one-body term and the contraction of one particle pair in the interaction. The microscopic interaction remains present in the residual two-body operator. That residual can create double particle–hole excitations from the reference and need not be small.
A two-mode example
Section titled “A two-mode example”Let and take the reference . The only nonzero contraction is . The exact decomposition is
The first term is induced one-body energy; the second is the residual reference-normal quartic term. On the first gives the correct interaction energy and the residual vanishes. On the two terms cancel, giving zero. Dropping the residual instead predicts for that state. The example shows why an exact reorganization is not automatically a good approximation far from its reference.
Hartree–Fock Stationarity
Section titled “Hartree–Fock Stationarity”Let
be a one-particle-one-hole excitation. The Hamiltonian matrix element is
For a self-consistent Hartree–Fock reference, stationarity under occupied-unoccupied orbital rotations gives the Brillouin condition
This removes the direct coupling from the reference to single excitations. It does not remove double excitations or make the residual two-body term vanish.
Exact Reorganization Versus Mean Field
Section titled “Exact Reorganization Versus Mean Field”The identity
is exact for a Hamiltonian containing at most two-body interactions. A mean-field approximation begins only after one replaces the full problem by selected terms, for example
Dropping discards residual correlations. Conversely, perturbation theory, coupled-cluster theory, configuration interaction, and Green-function methods retain its effects in different controlled or approximate ways.
Normal ordering and mean-field decoupling are related, but they are not synonyms.
Three-Body Operators and Induced Lower Ranks
Section titled “Three-Body Operators and Induced Lower Ranks”Let a fully antisymmetrized three-body operator be
Normal ordering relative to a Slater determinant produces ranks from zero through three:
With the displayed antisymmetrization convention,
and
The residual term is
The normal-ordered two-body approximation retains , , and but discards . That truncation can be accurate for suitable references and observables, but it is not an operator identity.
Pure and mixed Gaussian references
Section titled “Pure and mixed Gaussian references”A Gaussian state is specified by its first moments and two-point covariance; higher connected cumulants vanish. Slater determinants, coherent states, squeezed vacua and unprojected BCS vacua are examples. A stable quadratic bosonic Hamiltonian or a gapped quadratic fermionic Hamiltonian has a Gaussian quasiparticle ground state. If the ground space is degenerate, an arbitrary superposition within it need not be Gaussian.
A normalizable thermal state of a quadratic Hamiltonian is also Gaussian when traced over the full Fock space. A full-rank mixed state is not a vector annihilated by quasiparticle annihilators. Its Wick ordering is instead defined algebraically by subtracting its contractions; the four-operator identity still applies, with fractional occupations. Restricting the ensemble to a fixed total number generally destroys this factorization. For a coherent reference with nonzero mean, use centered fluctuation operators before applying the pair-contraction rule.
The Wick theorem gives the complete expansion. Its application requires specifying the reference and whether the product is equal-time, time ordered or contour ordered; contractions in these different products are not interchangeable.
Correlated References and Density Cumulants
Section titled “Correlated References and Density Cumulants”An interacting reference need not be Gaussian. First consider a number-invariant reference, with no anomalous pair mean. Define its two-body reduced density matrix by
The connected two-body cumulant is
For a Slater determinant,
For a non-Gaussian reference it is generally nonzero. Pairwise Wick factorization then fails, and higher density cumulants enter generalized expansions. If the reference has an anomalous mean , the Gaussian four-point expression also contains . That term must be subtracted before calling the remainder a connected fourth cumulant; its presence alone does not imply a non-Gaussian state.
Replacing a correlated reference by a Gaussian one with the same one-body density discards and higher connected information. That replacement is an approximation, not a change of notation.
Generalized Normal Ordering
Section titled “Generalized Normal Ordering”Generalized normal ordering can be defined relative to multiconfigurational or correlated references so that reference expectations of non-scalar generalized-normal products vanish. The corresponding generalized Wick theorem contains irreducible density matrices, not only pair contractions.
This machinery is valuable in multireference electronic-structure and nuclear many-body methods. The additional information includes:
- one-body contractions need not be projectors;
- two- and higher-body cumulants survive;
- products of generalized-normal strings generate cumulant terms;
- truncations must specify which cumulant ranks are retained.
Ordinary Slater-determinant formulas must not be imported unchanged into a correlated-reference calculation.
Bosonic Displaced Reference
Section titled “Bosonic Displaced Reference”For a bosonic coherent reference , define fluctuation operators
so that
Then
Even a one-body number operator separates into several fluctuation ranks:
An interacting Hamiltonian becomes
in powers of . Stationarity of the appropriate mean-field functional, including chemical-potential or other constraints when required, cancels the linear term. Retaining only the quadratic part is a Bogoliubov approximation; retaining every power is the original Hamiltonian expressed in shifted variables.
The c-number substitution is therefore not an exact operator identity.
Number-Conserving Bosonic References
Section titled “Number-Conserving Bosonic References”A condensate number state is not the same as a coherent state. For a sharp- state,
by the number selection rule, even when one mode has macroscopic occupation. Number-conserving Bogoliubov methods organize fluctuations without assuming a coherent superposition of total particle numbers.
Normal ordering around a coherent state is often efficient, but its broken- language and its thermodynamic-limit interpretation should be stated. The dilute-gas setting is introduced in Weakly Interacting Bose Gas Preview, and Bogoliubov theory derives the quadratic diagonalization.
Bogoliubov Quasiparticle Vacuum
Section titled “Bogoliubov Quasiparticle Vacuum”A fermionic Bogoliubov transformation mixes particle creation and annihilation operators:
The matrices must satisfy the conditions that preserve the canonical anticommutation relations.
For a quasiparticle vacuum ,
Normal ordering relative to places operators left of operators. In the original particle basis, contractions include both a normal density
and an anomalous density
Fermionic antisymmetry requires
A parity-even Hamiltonian can then contain quasiparticle terms of several even degrees. At a self-consistent Hartree–Fock–Bogoliubov stationary point, the terms that create two quasiparticles directly from the reference vanish. Diagonalizing the quadratic part gives the mean-field quasiparticle spectrum; residual interactions can shift or broaden these excitations.
Number Symmetry and Anomalous Contractions
Section titled “Number Symmetry and Anomalous Contractions”The anomalous density carries particle-number charge because
It vanishes in an exact particle-number eigenstate. A nonzero therefore signals an unprojected number-breaking reference, a phase reference, or an enlarged relational description.
Pairing correlations do not require a nonzero anomalous average. Neutral quantities such as
can reveal pairing in a fixed-number state. Number projection generally converts an unprojected quasiparticle vacuum into a non-Gaussian state, so the simple quasiparticle Wick theorem must then be reconsidered. Special projections yielding a vacuum or a single Slater determinant are exceptions.
Basis Transformations
Section titled “Basis Transformations”A unitary rotation among annihilation operators,
preserves the empty vacuum and does not mix creation with annihilation. Vacuum-normal-ordered polynomials remain vacuum normal ordered after transforming all coefficients consistently.
A particle-hole or Bogoliubov transformation does mix the original creation-annihilation split. It changes the natural reference vacuum and the contractions. The operator is unchanged, but its normal-ordered decomposition is not.
Selecting a different one-particle space can change contractions. Simply projecting a number-conserving one- plus two-body Hamiltonian into the Fock space built from retained orbitals does not itself generate higher-body interactions. Eliminating virtual transitions through discarded states can do so. Basis rotation, reference change, plain projection and effective-Hamiltonian construction are distinct operations.
Continuum Fields and Coincident Points
Section titled “Continuum Fields and Coincident Points”For equal-time fields,
where the upper sign is bosonic and the lower sign is fermionic. Reordering density products produces contact terms. For either statistics, with the operators ordered consistently,
At coincident points the symbolic term warns that operator-valued distributions are being multiplied. A lattice spacing, momentum cutoff, point splitting, smearing, or another regulator may be required.
Normal ordering subtracts contractions associated with a chosen reference. It does not by itself define every singular continuum composite operator or replace renormalization.
Normal Ordering Versus Time Ordering
Section titled “Normal Ordering Versus Time Ordering”Normal ordering and time ordering answer different questions.
| Ordering | Organizing rule | Main use |
|---|---|---|
| normal | creators left of reference annihilators | reference vacuum and Hamiltonian decompositions |
| time | later times left, with fermionic permutation signs | real-time propagators and perturbation theory |
| imaginary time | larger imaginary time left, with fermionic permutation signs | equilibrium Matsubara theory |
| symmetric | average over operator permutations | phase-space and measurement conventions |
A time-ordered product is not generally normal ordered. Wick’s theorem relates the two for suitable Gaussian references by adding contractions. In relativistic QFT, those time-ordered contractions become propagators, not merely equal-time Kronecker or Dirac deltas.
Normal Ordering and Measured Correlations
Section titled “Normal Ordering and Measured Correlations”Some measurement models naturally select normal-ordered correlations. For example, idealized particle-counting or photodetection expressions involve
The ordering is part of the observable model. It should not be changed merely because another ordering is algebraically convenient. Ordinary, normal-ordered, symmetrized, retarded, and time-ordered correlators generally encode different physical questions.
The broader taxonomy is developed in Correlation Functions Overview.
Exercises
Section titled “Exercises”Zero- and one-body terms from a pair force
Section titled “Zero- and one-body terms from a pair force”Starting from
show that a Slater reference induces
and
Solution
Insert the four-operator reference-normal-ordering identity. The double contractions give
In the occupation basis, . Using antisymmetry of makes the two contraction patterns equal after their exchange sign is included. Hence
The four single contractions similarly combine into
The remaining uncontracted term is the residual normal-ordered two-body operator.
Brillouin condition
Section titled “Brillouin condition”Show that
for . Why does a Hartree–Fock stationary point set this matrix element to zero?
Solution
In the reference-normal-ordered Hamiltonian, the zero-body term cannot connect states with different quasiparticle content. The residual two-body normal product cannot connect the reference directly to a single particle-hole excitation. The one-body term gives
An infinitesimal occupied-unoccupied orbital rotation changes the determinant in the direction of . Stationarity of the Hartree–Fock energy under every such rotation therefore requires .
Three-body combinatorics
Section titled “Three-body combinatorics”For the antisymmetrized three-body convention used above, explain the factors , , and multiplying the induced zero-, one-, and two-body coefficients.
Solution
The original operator carries . A zero-body term contracts all three creation operators with all three annihilation operators. There are signed complete pairings that become equal after antisymmetry, giving
For a one-body remainder, choose one uncontracted creator and one uncontracted annihilator in ways. The two contracted pairs have equivalent pairings. Thus
For a two-body remainder, choose one contracted creation-annihilation pair in ways. Relative to the standard two-body prefactor , the coefficient satisfies
so the induced antisymmetrized two-body matrix element carries no extra factor beyond the sum over the occupied index.
A fixed-number state beyond pairwise Wick factorization
Section titled “A fixed-number state beyond pairwise Wick factorization”In four fermionic modes, take . Find the one-body density and . What would a number-conserving Gaussian state with the same one-body density predict?
Solution
Every occupation has mean , and a one-body operator cannot connect the two determinants, which differ by two occupied orbitals. Thus . Direct counting gives , whereas the Gaussian contraction gives . The difference is a nonzero cumulant. Such a Gaussian comparison state is mixed and has number fluctuations; it does not share the exact fixed- constraint. Agreement of the one-body density therefore misses both pair correlations and the global constraint.
References
Section titled “References”- A. Altland and B. Simons, Condensed Matter Field Theory, 2nd ed., Cambridge University Press (2010).
- J.-P. Blaizot and G. Ripka, Quantum Theory of Finite Systems, MIT Press (1986).
- 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).
- H. Hergert, S. K. Bogner, T. D. Morris, A. Schwenk, and K. Tsukiyama, “The In-Medium Similarity Renormalization Group: A novel ab initio method for nuclei,” Physics Reports 621, 165–222 (2016), doi:10.1016/j.physrep.2015.12.007.
- W. Kutzelnigg and D. Mukherjee, “Normal order and extended Wick theorem for a multiconfiguration reference wave function,” The Journal of Chemical Physics 107, 432–449 (1997), doi:10.1063/1.474405.
- D. Mukherjee, “Normal ordering and a Wick-like reduction theorem for fermions with respect to a multi-determinantal reference state,” Chemical Physics Letters 274, 561–566 (1997), doi:10.1016/S0009-2614(97)00714-8.
- J. W. Negele and H. Orland, Quantum Many-Particle Systems, Westview Press (1998).
- L. Pitaevskii and S. Stringari, Bose–Einstein Condensation and Superfluidity, Oxford University Press (2016).
- P. Ring and P. Schuck, The Nuclear Many-Body Problem, Springer (1980).
- I. Shavitt and R. J. Bartlett, Many-Body Methods in Chemistry and Physics, Cambridge University Press (2009).
- K. Tsukiyama, S. K. Bogner, and A. Schwenk, “In-Medium Similarity Renormalization Group for Nuclei,” Physical Review Letters 106, 222502 (2011), doi:10.1103/PhysRevLett.106.222502.
- G. C. Wick, “The Evaluation of the Collision Matrix,” Physical Review 80, 268–272 (1950), doi:10.1103/PhysRev.80.268.