Skip to content

Many-body quantum mechanics makes field theory natural because its important questions are usually about modes, local densities, correlations, collective behavior, and scale dependence, not the trajectories or labels of individual particles. A field operator packages mode annihilation operators into a position-dependent object; in the continuum it is an operator-valued distribution, defined through smearing with a test wavefunction. A collective field packages the long-wavelength behavior of many microscopic degrees of freedom. Correlation functions then become the primary bridge between theory and observable response.

This progression does not mean that every many-body problem becomes a relativistic quantum field theory. It means that the language and methods of fields become more economical than a fixed-NN wavefunction description:

particle coordinates⟶mode occupations⟶local operator fields,local operator fields⟶correlators and collective fields⟶effective field theory.\begin{gathered} \text{particle coordinates} \longrightarrow \text{mode occupations} \longrightarrow \text{local operator fields}, \\ \text{local operator fields} \longrightarrow \text{correlators and collective fields} \longrightarrow \text{effective field theory}. \end{gathered}

Relativistic QFT adds essential principles, including Lorentz symmetry and spacetime locality, that do not follow from nonrelativistic many-body mechanics alone.

Required background. Field operators in many-body models supplies creation and annihilation operators and their use in Hamiltonians.

The distinction throughout is between an exact representation of the same quantum model and an effective description that keeps selected scales or observables. Nonrelativistic field theory develops the action and current calculations after this conceptual introduction.

The word “field” appears in several related but distinct senses.

Field object Typical example Status
microscopic operator field ψ(x)\psi(\mathbf x) for atoms or electrons exact rewriting of a many-particle model
auxiliary field Hubbard–Stratonovich density or pairing field exact transformation only when the functional identity and contour are specified
collective or order-parameter field magnetization ϕ(x,τ)\phi(\mathbf x,\tau) or condensate amplitude Φ(x,τ)\Phi(\mathbf x,\tau) coarse-grained or expectation-value description
quasiparticle field low-energy fermion, phonon, or magnon field effective description within a scale window
relativistic quantum field scalar, spinor, or gauge field on spacetime local quantum framework constrained by relativistic symmetry

These objects can be connected, but they should not be identified without an argument. A microscopic annihilation operator, an auxiliary integration variable, and a coarse-grained order parameter can obey different algebras and have different domains of validity.

Why Fixed-Particle Coordinates Become Awkward

Section titled “Why Fixed-Particle Coordinates Become Awkward”

For NN distinguishable particles, a wavefunction has the form

ΨN(x1,…,xN),\Psi_N(x_1,\ldots,x_N),

where each xix_i may include position and internal labels. Identical particles require

ΨN(…,xi,…,xj,…)=η ΨN(…,xj,…,xi,…),\Psi_N(\ldots,x_i,\ldots,x_j,\ldots) = \eta\, \Psi_N(\ldots,x_j,\ldots,x_i,\ldots),

with

η={+1,bosons,−1,fermions.\eta = \begin{cases} +1, & \text{bosons},\\ -1, & \text{fermions}. \end{cases}

This representation is exact, but several difficulties grow with NN:

  • permutation symmetry is built into a function of many redundant labels;
  • adding or removing a particle changes the number of arguments;
  • observables such as density and current require sums over all particle coordinates;
  • the thermodynamic limit changes the very dimension of configuration space;
  • collective excitations are distributed across many coordinates;
  • locality is less transparent than in a position-space operator language.

The problem is not that first quantization becomes wrong. It is that its coordinates no longer match the objects one wants to manipulate.

Choose one-particle modes {φi}\{\varphi_i\} and record how many particles occupy each mode:

∣n1,n2,…⟩.\lvert n_1,n_2,\ldots\rangle.

The bosonic or fermionic Fock space is a direct sum of fixed-number sectors,

Fη(h)=⨁N=0∞HN(η).\mathcal F_\eta(\mathcal h) = \bigoplus_{N=0}^{\infty} \mathcal H_N^{(\eta)}.

The total number operator is

N^=∑iai†ai.\widehat N = \sum_i a_i^\dagger a_i.

Creation and annihilation operators connect neighboring sectors:

ai†:HN(η)⟶HN+1(η),ai:HN(η)⟶HN−1(η).\begin{aligned} a_i^\dagger &: \mathcal H_N^{(\eta)} \longrightarrow \mathcal H_{N+1}^{(\eta)}, \\ a_i &: \mathcal H_N^{(\eta)} \longrightarrow \mathcal H_{N-1}^{(\eta)}. \end{aligned}

Their commutators with total number make that meaning precise:

[N^,ai†]=ai†,[N^,ai]=−ai.[\widehat N,a_i^\dagger] = a_i^\dagger, \qquad [\widehat N,a_i] = -a_i.

Fock space allows variable particle number, but it does not require number-changing dynamics. If

[H,N^]=0,[H,\widehat N]=0,

then every fixed-NN sector evolves independently. The grand-canonical operator

K=H−μN^K = H-\mu\widehat N

weights sectors differently in an ensemble; it does not by itself violate particle-number conservation.

A position-space annihilation field is a mode expansion,

ψ(x)=∑iφi(x)ai,\psi(x) = \sum_i \varphi_i(x)a_i,

with

ψ†(x)=∑iφi∗(x)ai†.\psi^\dagger(x) = \sum_i \varphi_i^*(x)a_i^\dagger.

For a complete orthonormal basis, the mode algebra implies the following distributional equal-time relations

[ψ(x),ψ†(y)]=δ(x−y)for bosons,{ψ(x),ψ†(y)}=δ(x−y)for fermions.\begin{aligned} [\psi(x),\psi^\dagger(y)] &= \delta(x-y) \qquad \text{for bosons}, \\ \{\psi(x),\psi^\dagger(y)\} &= \delta(x-y) \qquad \text{for fermions}. \end{aligned}

If only modes 1,…,M1,\ldots,M are retained, the right-hand side instead becomes the projector kernel ∑i=1Mφi(x)φi∗(y)\sum_{i=1}^M\varphi_i(x)\varphi_i^*(y). A cutoff changes the algebra; it is not the continuum delta function at finite MM.

The local number density is

n(x)=ψ†(x)ψ(x),n(x) = \psi^\dagger(x)\psi(x),

and the total number is

N^=∫dx n(x).\widehat N = \int dx\, n(x).

The position label is now attached to an operator, not to a permanently labeled particle. The smeared operator a(f)=∫dx f∗(x)ψ(x)a(f)=\int dx\,f^*(x)\psi(x) removes a particle in the normalizable wavepacket ff. A sharp point label is distributional, not a normalized single-particle state. The many-body state records occupations and correlations.

Worked example: the same interference in two languages

Section titled “Worked example: the same interference in two languages”

On a ring of circumference LL, retain the modes φ0=1/L\varphi_0=1/\sqrt L and φ1=e2πix/L/L\varphi_1=e^{2\pi ix/L}/\sqrt L. One particle in their equal superposition has

∣Ψ⟩=a0†+a1†2∣0⟩,ψM(x)=a0+e2πix/La1L.|\Psi\rangle=\frac{a_0^\dagger+a_1^\dagger}{\sqrt2}|0\rangle, \qquad \psi_M(x)=\frac{a_0+e^{2\pi ix/L}a_1}{\sqrt L}.

The annihilation field gives

ψM(x)∣Ψ⟩=1+e2πix/L2L∣0⟩,\psi_M(x)|\Psi\rangle =\frac{1+e^{2\pi ix/L}}{\sqrt{2L}}|0\rangle,

so

⟨n(x)⟩=1+cos⁡(2πx/L)L,∫0Ldx ⟨n(x)⟩=1.\langle n(x)\rangle =\frac{1+\cos(2\pi x/L)}{L}, \qquad \int_0^L dx\,\langle n(x)\rangle=1.

This is exactly the first-quantized probability density ∣Ψ1(x)∣2|\Psi_1(x)|^2. The field expectation ⟨Ψ∣ψM(x)∣Ψ⟩\langle\Psi|\psi_M(x)|\Psi\rangle is nevertheless zero because ψM\psi_M changes particle number. Replacing the coherent superposition with an equal mixture of the two modes removes the interference and gives 1/L1/L.

The density of one particle in two coherent ring modes oscillates between zero and twice the uniform density, while the incoherent mixture is uniform

The wavefunction and the field-operator calculation give the same density. Coherence between the two modes produces the cosine; an incoherent mixture does not. Both preparations contain exactly one particle and have zero expectation of the annihilation field.

Consider a nonrelativistic NN-particle Hamiltonian

HN=∑i=1Nh(xi)+12∑i≠jV(xi,xj).H_N = \sum_{i=1}^{N} h(x_i) + \frac12 \sum_{i\ne j} V(x_i,x_j).

Its field-operator form is

H=∫dx ψ†(x)hψ(x)+12∫dx dy ψ†(x)ψ†(y)V(x,y)ψ(y)ψ(x).H = \int dx\, \psi^\dagger(x) h \psi(x) + \frac12 \int dx\,dy\, \psi^\dagger(x) \psi^\dagger(y) V(x,y) \psi(y) \psi(x).

For a symmetric scalar pair potential V(x,y)=V(y,x)V(x,y)=V(y,x), restricted to the NN-particle sector, this operator reproduces the first-quantized Hamiltonian with the correct Bose or Fermi exchange symmetry. No new physics has been introduced merely by changing representation.

This equivalence has conditions:

  • the one-particle space and particle species are fixed;
  • the domains and boundary conditions match;
  • continuum products are regulated when necessary;
  • the interaction and operator ordering use consistent conventions;
  • the comparison is made in the same number sector.

See field operators in many-body models for the derivation and regularization.

An exact change of representation can still expose new structure.

A short-range Hamiltonian becomes an integral or sum of local operator products. Continuity equations, conserved currents, boundary terms, and response to local sources become easier to state.

A global U(1)U(1) transformation acts locally on the field:

ψ(x)⟼eiαψ(x).\psi(x) \longmapsto e^{i\alpha}\psi(x).

With the stated plus sign, the operator transformation is e−iαN^ψeiαN^=eiαψe^{-i\alpha\widehat N}\psi e^{i\alpha\widehat N}=e^{i\alpha}\psi. Choosing the opposite convention for the unitary reverses the phase sign. Continuous spatial symmetries, internal rotations, and gauge couplings likewise act directly on fields and their derivatives.

The one-body density matrix is a two-point function,

G(1)(x,y)=⟨ψ†(x)ψ(y)⟩.G^{(1)}(x,y) = \langle \psi^\dagger(x)\psi(y) \rangle.

Density correlations are field correlators,

Cnn(x,y)=⟨n(x)n(y)⟩−⟨n(x)⟩⟨n(y)⟩.C_{nn}(x,y) = \langle n(x)n(y)\rangle - \langle n(x)\rangle \langle n(y)\rangle.

Higher-order coherence, pairing, spectral functions, and response are naturally organized as ordered products of local operators.

Terms with unequal numbers of creation and annihilation operators can change particle or quasiparticle number when allowed by the symmetries and physical model. The algebra is already prepared for this possibility.

Mean-field decomposition, diagrammatic perturbation theory, Gaussian fluctuation theory, and renormalization methods are expressed compactly in field variables. Their validity still depends on a small parameter, scale hierarchy, or controlled limit.

In a simple few-level problem, one may focus on state amplitudes. In an extended many-body system, experiments and theory often meet through correlation and response functions.

A time-ordered single-particle Green function is

G(x,t;y,t′)=−i⟨Tψ(x,t)ψ†(y,t′)⟩,G(x,t;y,t') = -i \left\langle \mathcal T \psi(x,t) \psi^\dagger(y,t') \right\rangle,

up to convention-dependent factors of ℏ\hbar. Green functions in many-body QM defines statistics-dependent time ordering, the N±1N\pm1 Lehmann sectors, spectral sum rules, poles, and Matsubara functions. The formula here only identifies the field-theory language.

For a perturbation H′(t)=−f(t)BH'(t)=-f(t)B, the physical susceptibility is

χABR(t)=iℏΘ(t)⟨[A(t),B(0)]⟩.\chi_{AB}^{R}(t) = \frac{i}{\hbar} \Theta(t) \langle[A(t),B(0)]\rangle.

It gives δ⟨A(t)⟩=∫ds χABR(t−s)f(s)\delta\langle A(t)\rangle=\int ds\,\chi^R_{AB}(t-s)f(s). The commonly defined retarded commutator Green function with −i/ℏ-i/\hbar instead has the opposite sign for this source convention. This is already field-theoretic reasoning: the central data are ordered operator products as functions of spacetime separation.

One can package correlators into a source-dependent generating object,

Z[J]=⟨Texp⁡[iℏ∫dx dt J(x,t)O(x,t)]⟩.Z[J] = \left\langle \mathcal T \exp \left[ \frac{i}{\hbar} \int dx\,dt\, J(x,t)O(x,t) \right] \right\rangle.

Functional derivatives with respect to JJ generate ordered correlators. The source method does not replace the need to specify the state, contour, ordering, regulator, and normalization. Real-Time Thermal Dynamics Preview explains why a density matrix requires forward and backward branches, and sources to generating functionals develops the source differentiation.

A microscopic particle field ψ\psi and a collective field Φ\Phi answer different questions.

For a Bose condensate, one may write schematically

ψ(x,t)=Φ(x,t)+δψ(x,t),\psi(x,t) = \Phi(x,t) + \delta\psi(x,t),

where

Φ(x,t)=⟨ψ(x,t)⟩\Phi(x,t) = \langle\psi(x,t)\rangle

in a symmetry-breaking description. In a state of exactly fixed particle number, ⟨ψ⟩=0\langle\psi\rangle=0 even when the one-body density matrix has a macroscopic eigenvalue. The symmetry-breaking field is a convenient description obtained with the appropriate thermodynamic/source limits, not a necessary definition of condensation. The operator ψ\psi remains the microscopic field; Φ\Phi is a complex expectation value or classical saddle field; δψ\delta\psi describes quantum fluctuations around it.

For a magnet, the useful field may instead be a coarse-grained spin density,

ϕ(x,t)∼⟨Sj(t)⟩near x=ja.\boldsymbol\phi(x,t) \sim \langle\mathbf S_j(t)\rangle \qquad \text{near }x=ja.

There need not be a microscopic particle annihilation operator whose expectation value equals ϕ\boldsymbol\phi. The collective field is chosen because it varies slowly and transforms simply under the relevant symmetries.

For paired fermions, a complex pairing field can be associated with

Δ(x)∼g ⟨ψ↓(x)ψ↑(x)⟩.\Delta(x) \sim g\, \langle \psi_\downarrow(x) \psi_\uparrow(x) \rangle.

This field carries the phase and amplitude of pairing order. It is composite in terms of microscopic fermions.

The conceptual shift is:

choose the slow observable⟶promote its long-wavelength variation to a field.\text{choose the slow observable} \quad\longrightarrow\quad \text{promote its long-wavelength variation to a field}.

That step is an effective description, not merely a basis change.

For a real variable XX and g>0g>0, a normalized Gaussian identity is

e−g2X2=12πg∫dϕ exp⁡[−ϕ22g+iϕX],e^{-\frac{g}{2}X^2} =\frac{1}{\sqrt{2\pi g}} \int d\phi\, \exp \left[ -\frac{\phi^2}{2g} +i\phi X \right],

The same identity holds spectrally for a self-adjoint XX with a suitable regulated definition. Other interaction signs or complex pairing channels require their own normalization and contour; a divergent real Gaussian cannot be used unchanged.

In a functional integral, this Hubbard–Stratonovich step replaces a quartic matter interaction by a quadratic matter action coupled to an auxiliary field. Integrating out the auxiliary field returns the original interaction. Integrating out the matter fields instead produces an effective action for ϕ\phi.

The transformation can be exact, while a later saddle-point or low-gradient approximation is not. These two steps must be labeled separately.

Large-N and Saddle-Point Methods Preview shows when an explicit component count can control that later saddle approximation and its Gaussian fluctuations.

Finite Temperature Produces an Imaginary-Time Field Theory

Section titled “Finite Temperature Produces an Imaginary-Time Field Theory”

Equilibrium statistical mechanics begins from

Z=Tr⁡exp⁡[−β(H−μN^)].Z = \operatorname{Tr} \exp \left[ -\beta (H-\mu\widehat N) \right].

For suitable bosonic or fermionic coherent states, this full grand-canonical Fock-space trace can be represented schematically as

Z=∫D(ψˉ,ψ) exp⁡(−SE[ψˉ,ψ]ℏ).Z = \int \mathcal D(\bar\psi,\psi)\, \exp \left( -\frac{S_E[\bar\psi,\psi]}{\hbar} \right).

The Euclidean time coordinate lies on

0≤τ<βℏ.0 \le \tau < \beta\hbar.

The trace imposes

ψB(τ+βℏ)=ψB(τ),ψF(τ+βℏ)=−ψF(τ),\begin{aligned} \psi_B(\tau+\beta\hbar) &= \psi_B(\tau), \\ \psi_F(\tau+\beta\hbar) &= -\psi_F(\tau), \end{aligned}

for bosonic and fermionic fields. The corresponding Matsubara frequencies are

ωnB=2πnβℏ,ωnF=(2n+1)πβℏ.\begin{aligned} \omega_n^{B} &= \frac{2\pi n}{\beta\hbar}, \\ \omega_n^{F} &= \frac{(2n+1)\pi}{\beta\hbar}. \end{aligned}

Imaginary-time evolution here is generated by K=H−μN^K=H-\mu\widehat N. Projecting onto a fixed particle number adds a projector or an equivalent twist integral; a number-changing field does not then inherit the simple full-Fock-space KMS argument without that modification. This is a direct bridge from a quantum thermal trace to a field theory on a compact imaginary-time interval. It is not yet a claim that the Euclidean integrand is always a positive classical probability distribution. Fermion determinants, chemical potentials, Berry phases, and real-time continuation can produce complex weights or sign problems.

From Microscopic Action to Effective Action

Section titled “From Microscopic Action to Effective Action”

After identifying slow fields, one organizes the most general long-distance action compatible with the symmetries and degrees of freedom. For a real scalar order parameter, a common schematic form is

Seff[ϕ]=∫dτ ddx [Zτ2(∂τϕ)2+Zx2(∇ϕ)2+r2ϕ2+u4!ϕ4+⋯].S_{\mathrm{eff}}[\phi] = \int d\tau\,d^d x\, \bigg[ \frac{Z_\tau}{2} (\partial_\tau\phi)^2 + \frac{Z_x}{2} (\nabla\phi)^2 + \frac{r}{2}\phi^2 + \frac{u}{4!}\phi^4 + \cdots \bigg].

Landau–Ginzburg theory develops the static thermal version, including its gradient expansion, Gaussian correlation length, interfaces, and Ginzburg criterion. The present bridge keeps imaginary time because its purpose is the wider route to quantum field theory.

This expression is not chosen because quartic polynomials are universally exact. It is a derivative and field expansion controlled near an appropriate low-energy regime. The ellipsis can contain:

  • higher powers of ϕ\phi;
  • higher derivatives;
  • anisotropies and lattice-symmetry terms;
  • couplings to conserved densities or gauge fields;
  • nonlocal terms generated by gapless modes;
  • dissipation or contour structure in open and nonequilibrium settings.

The coefficients depend on the scale at which short-distance modes have been removed. Renormalization group explains coupling-space flow, fixed points, and scaling directions.

The Kondo Model Preview is a compact impurity example: a classically marginal exchange becomes marginally relevant for antiferromagnetic sign, and dimensional transmutation produces the exponentially small scale TKT_K.

Suppose a coarse-graining step rescales

x⟼b x,τ⟼bzτ.x \longmapsto b\,x, \qquad \tau \longmapsto b^z\tau.

The dynamical exponent zz relates characteristic frequency and wave number:

ω∼kz.\omega \sim k^z.

Operators in the effective action can be relevant, marginal, or irrelevant under this transformation. Long-distance behavior is governed by the surviving couplings and fixed-point structure, not by every microscopic parameter separately.

This explains why field theory is powerful in many-body physics:

  • it organizes observables by scale;
  • it enforces symmetries locally;
  • it identifies which microscopic details disappear from universal behavior;
  • it predicts scaling relations among correlations and response functions;
  • it supplies controlled expansions near selected dimensions, large component number, weak coupling, or other limits.

Continuum predictions require control of short-distance definitions. Local products and loop integrals probe short distances, so a regulator, matching prescription, and scale dependence are part of the definition and predictive use of the effective theory.

Quantum Criticality and Emergent Spacetime Structure

Section titled “Quantum Criticality and Emergent Spacetime Structure”

Near a continuous quantum phase transition, the correlation length can diverge:

ξ∼∣g−gc∣−ν.\xi \sim |g-g_c|^{-\nu}.

The characteristic correlation time scales as

ξτ∼ξz.\xi_\tau \sim \xi^z.

When z=1z=1 and anisotropies become irrelevant, space and imaginary time can enter the long-distance action in a nearly isotropic way. A lattice model can then possess an emergent relativistic low-energy description even though its microscopic Hamiltonian has a preferred time and no fundamental Lorentz symmetry.

The one-dimensional short-range transverse-field Ising chain is a benchmark: its critical theory has z=1z=1 and can be described by relativistic Majorana fields in the continuum. The lattice spins have not become fundamental relativistic particles. The field theory describes the universal low-energy sector near the critical point.

For z≠1z\ne1, the effective scaling dimension d+zd+z may still organize hyperscaling when it is valid (it can fail above an upper critical dimension or in the presence of dangerously irrelevant variables), but it should not be interpreted as a literal isotropic spacetime dimension. The temporal and spatial derivative structures remain different.

A microscopic model can lead to fields in two logically distinct ways.

Start with particles in fixed one-particle states:

HN⟷H[ψ†,ψ].H_N \quad\longleftrightarrow\quad H[\psi^\dagger,\psi].

The arrow denotes equivalence sector by sector. The field ψ\psi creates or destroys microscopic particles of the model.

Choose a phase or critical regime and identify slow variables:

Hmicro⟶Seff[Φ].H_{\mathrm{micro}} \quad\longrightarrow\quad S_{\mathrm{eff}}[\Phi].

This arrow denotes integrating out, coarse-graining, projection, or approximation. The effective field Φ\Phi may describe density, phase, magnetization, pairing, a Fermi-surface patch, or another collective degree of freedom.

Confusing these arrows causes many conceptual errors. The first is a representation change. The second discards information outside a specified scale window.

Nonrelativistic many-body field theory is already a quantum field theory in a broad sense, but relativistic QFT imposes additional structure.

Feature Nonrelativistic many-body field theory Relativistic QFT
kinematics usually Galilean or lattice based Lorentz or Poincaré covariant
time preferred Hamiltonian time part of spacetime symmetry
locality condition equal-time algebra and local Hamiltonian spacelike microcausality
particle species often microscopic input particles arise from field excitations and representations
antiparticles not generally required tied to relativistic field structure
number conservation common but model dependent species particle number generally not fundamental
dispersion often quadratic, band-like, or emergent relativistic on-shell structure in particle regimes
vacuum often empty state or many-body reference state interacting relativistic vacuum
local products require many-body regularization when singular require systematic renormalized operator definitions

For bosonic relativistic fields, microcausality requires, in a mostly-minus metric convention,

[ϕ(x),ϕ(y)]=0when (x−y)2<0,[\phi(x),\phi(y)] = 0 \qquad \text{when } (x-y)^2<0,

with the corresponding graded statement for fermionic fields and suitable local observables. An equal-time delta-function commutator in a nonrelativistic model does not by itself establish this spacetime condition.

Relativistic symmetry also changes the classification of states and fields. Spinors, gauge fields, antiparticles, crossing, and relativistic scattering require more than the occupation-number algebra already learned in many-body mechanics.

Why Variable Particle Number Is Not the Whole Story

Section titled “Why Variable Particle Number Is Not the Whole Story”

It is common to say that QFT is required because particles can be created and destroyed. That statement is incomplete.

Fock space can describe variable particle number in nonrelativistic quantum mechanics. Conversely, an effective field theory may operate in a sector with a conserved charge. What makes field theory structurally powerful is the combination of:

  • local degrees of freedom distributed through space or spacetime;
  • symmetry acting on those local fields;
  • correlations and response as central observables;
  • infinitely many modes in the continuum or thermodynamic limit;
  • scale dependence and renormalization;
  • particles or quasiparticles emerging as excitations rather than permanent labels.

Relativistic QFT further requires compatibility with relativistic causality and spacetime symmetry.

In a free theory, normal modes give sharp particle states. In an interacting many-body system, a spectral function may instead show:

  • a narrow quasiparticle peak;
  • a broadened resonance with finite lifetime;
  • a multiparticle continuum;
  • an edge singularity;
  • no isolated particle-like pole.

For an energy-domain Green function with E=ℏωE=\hbar\omega, a quasiparticle pole can take the form

G(E,k)≃ZkE−Ek+iΓk+Ginc.G(E,\mathbf k) \simeq \frac{Z_{\mathbf k}} { E-E_{\mathbf k} +i\Gamma_{\mathbf k} } + G_{\mathrm{inc}}.

Here EkE_{\mathbf k} and the half-width Γk\Gamma_{\mathbf k} both have energy units; the corresponding amplitude decay time is ℏ/Γk\hbar/\Gamma_{\mathbf k}. The residue, width, and incoherent background determine whether particle language is useful. Field correlators remain meaningful even when a sharp particle interpretation fails.

This is another reason fields are more fundamental than particles as an organizing language: the same correlator describes both sharp excitations and continua.

Goal Continue with
derive Schrödinger-field actions, currents, and contact-EFT matching Nonrelativistic Field Theory from Many-Body QM
work with explicit nonrelativistic operator Hamiltonians Field Operators in Many-Body Models
review Fock space and second quantization Second Quantization: Bridge to QFT
compute many-body correlations Correlation Functions Overview
derive causal response Kubo Formula
compare many-body path-integral representations Path Integrals for Many-Body Systems
turn a partition sum into a regulated field measure Statistical Field Theory Preview
take a critical many-body model to a continuum QFT Critical Phenomena and RG Bridge
connect path integrals to field path integrals Path Integrals from QM to Field Path Integrals
understand source differentiation Sources to Generating Functionals
connect imaginary time to Euclidean QFT Euclidean Time to Euclidean QFT
study symmetry as a QFT organizer Why Symmetry Becomes Central
follow a complete prerequisite sequence Bridge to QFT Roadmap
look up bridge formulas and conventions QFT Bridge Reference
  1. Number conservation in field form. A Hamiltonian is a sum of monomials, each containing the same number of creation and annihilation operators. Show that it commutes with total number.
Solution

The total number operator obeys

[N^,ai†]=ai†,[N^,ai]=−ai.[\widehat N,a_i^\dagger] = a_i^\dagger, \qquad [\widehat N,a_i] = -a_i.

Use the derivation rule

[N^,AB]=[N^,A]B+A[N^,B].[\widehat N,AB] = [\widehat N,A]B + A[\widehat N,B].

For a normal-ordered monomial with pp creation operators and qq annihilation operators,

[N^,Mp,q]=(p−q)Mp,q.[\widehat N,M_{p,q}] = (p-q)M_{p,q}.

If every Hamiltonian term has p=qp=q, then each commutator vanishes, and therefore

[N^,H]=0.[\widehat N,H] = 0.

This is operator-level number conservation. Fock space still contains all number sectors even though the Hamiltonian does not mix them.

  1. Grand-canonical evolution. Suppose [H,N^]=0[H,\widehat N]=0 and define K=H−μN^K=H-\mu\widehat N. Does using KK as the ensemble generator introduce particle creation or destruction?
Solution

No. Directly,

[K,N^]=[H,N^]−μ[N^,N^]=0.[K,\widehat N] = [H,\widehat N] - \mu[\widehat N,\widehat N] = 0.

Thus KK is block diagonal in particle-number sectors whenever HH is. In the density operator

ρ=e−βKZ,\rho = \frac{e^{-\beta K}}{Z},

the chemical potential changes the statistical weight assigned to different NN sectors. It does not create a number-changing term in the dynamics.

  1. Basis independence of the local field. Let two orthonormal mode bases satisfy
φ~α(x)=∑iUαiφi(x),\widetilde\varphi_\alpha(x) = \sum_i U_{\alpha i}\varphi_i(x),

where UU is unitary. Find the transformation of annihilation operators that leaves ψ(x)\psi(x) unchanged.

Solution

Write

ψ(x)=∑iφi(x)ai=∑αφ~α(x)a~α.\psi(x) = \sum_i \varphi_i(x)a_i = \sum_\alpha \widetilde\varphi_\alpha(x) \widetilde a_\alpha.

Substitute the transformed modes:

∑αφ~α(x)a~α=∑αiUαiφi(x)a~α.\sum_\alpha \widetilde\varphi_\alpha(x) \widetilde a_\alpha = \sum_{\alpha i} U_{\alpha i} \varphi_i(x) \widetilde a_\alpha.

Equality with the original expansion requires

ai=∑αUαia~α.a_i = \sum_\alpha U_{\alpha i} \widetilde a_\alpha.

Multiplying by Uαi∗U_{\alpha i}^* and summing over ii gives

a~α=∑iUαi∗ai.\widetilde a_\alpha = \sum_i U_{\alpha i}^* a_i.

The mode functions and operators transform contragrediently, so the local field operator is basis independent within the chosen one-particle space.

  1. Thermal boundary conditions. Derive the allowed Matsubara frequencies from periodic bosonic and antiperiodic fermionic boundary conditions on 0≤τ<βℏ0\le\tau<\beta\hbar.
Solution

For a Fourier mode

ψ(τ)∝e−iωnτ,\psi(\tau) \propto e^{-i\omega_n\tau},

periodicity requires

e−iωnβℏ=1.e^{-i\omega_n\beta\hbar} = 1.

Therefore

ωnB=2πnβℏ,n∈Z.\omega_n^B = \frac{2\pi n}{\beta\hbar}, \qquad n\in\mathbb Z.

Antiperiodicity requires

e−iωnβℏ=−1,e^{-i\omega_n\beta\hbar} = -1,

so

ωnF=(2n+1)πβℏ.\omega_n^F = \frac{(2n+1)\pi}{\beta\hbar}.

The half-integer shift is a consequence of the fermionic trace and Grassmann coherent-state boundary condition, not of a different physical temperature.

  1. Classify the field. Classify each object as microscopic operator, auxiliary, collective, quasiparticle, or relativistic field: an electron annihilation field in the Hubbard continuum limit; a decoupling variable introduced for Un↑n↓Un_\uparrow n_\downarrow; a coarse-grained magnetization near an Ising transition; a magnon field; and the electromagnetic four-potential.
Solution
  • The electron annihilation field is a microscopic fermionic operator field.
  • The decoupling variable is an auxiliary Hubbard–Stratonovich field. It becomes a saddle or collective field only after further interpretation or approximation.
  • The coarse-grained magnetization is a collective order-parameter field.
  • The magnon field is a quasiparticle field describing spin-wave excitations within its validity regime.
  • The electromagnetic four-potential is a relativistic gauge field, with gauge redundancy and constraints absent from a generic order parameter.

The labels describe how each field enters the theory. Similar notation does not make the objects physically interchangeable.

  1. Emergent relativistic scaling. A critical system has
ω∼kz.\omega \sim k^z.

Explain why z=1z=1 permits an isotropic Euclidean spacetime scaling after rescaling the velocity, and why this does not prove microscopic Lorentz invariance.

Solution

Under coarse-graining,

x⟼b x,τ⟼bzτ.x \longmapsto b\,x, \qquad \tau \longmapsto b^z\tau.

For z=1z=1, space and imaginary time scale with the same power. If the leading quadratic action is

S2=12∫dτ ddx [1v2(∂τϕ)2+(∇ϕ)2],S_2 = \frac12 \int d\tau\,d^d x\, \left[ \frac{1}{v^2} (\partial_\tau\phi)^2 + (\nabla\phi)^2 \right],

then the coordinate x0=vτx_0=v\tau makes the derivative terms isotropic:

S2∝∫dd+1x (∂μϕ)2.S_2 \propto \int d^{d+1}x\, (\partial_\mu\phi)^2.

This describes an emergent long-distance symmetry when anisotropies and other Lorentz-violating operators are irrelevant. The microscopic lattice still has a preferred frame, finite spacing, bounded Brillouin zone, and generally nonrelativistic high-energy dispersion. The relativistic structure applies only in the critical low-energy scaling regime.