§ 4.2updated 2026-06-08

On this page

Quantum Field Theory

Status: Mature core, active foundational frontier Last updated: 2026-06-08

Quantum Field Theory (QFT) is the quantum theory of relativistic fields and the framework underlying the Standard Model, condensed-matter critical phenomena, and the modern language of effective theories across physics. It is simultaneously the most precisely tested theory of nature ESTABLISHED and one whose mathematical foundations remain incomplete for the cases we care about most OPEN. This tension — phenomenal empirical success atop a partly unproven scaffold — is the organizing theme of this page.

Scope

This page treats QFT as a foundational framework, not a catalogue of computations. It covers:

  1. The kinematic/dynamical core — fields as fundamental degrees of freedom, the action/path-integral, and canonical quantization.
  2. The representation-theoretic definition of "particle" via Wigner's classification of Poincaré irreducible representations.
  3. Renormalization, the renormalization group (RG), and the Wilsonian/effective-field-theory (EFT) reinterpretation.
  4. The gauge principle, spontaneous symmetry breaking (SSB), the Brout–Englert–Higgs (BEH) mechanism, and anomalies.
  5. Vacuum structure and zero-point energy.
  6. The rigorous/axiomatic program (Wightman, Haag–Kastler, constructive QFT) and its structural theorems and obstructions.
  7. The status of measurement in a relativistic field-theoretic setting.

Scope excludes quantum gravity and string theory except where they bound QFT's validity (see general-relativity.md); nonperturbative QCD, lattice gauge theory, and conformal field theory appear only insofar as they bear on foundations. For the broader inter-framework picture see THEORY_MAP.md and UNIFICATION_LANDSCAPE.md.

Core formalism

Fields, action, and the two quantization routes

The fundamental objects are operator-valued (more precisely, operator-valued-distribution-valued) fields ϕa(x)\phi_a(x) over Minkowski spacetime R1,3\mathbb{R}^{1,3} with metric ημν=diag(+,,,)\eta_{\mu\nu}=\mathrm{diag}(+,-,-,-) (the signature is a conventional choice ESTABLISHED; physics is invariant under it, see ASSUMPTIONS_LEDGER.md). Dynamics derive from a local action

S[ϕ]=d4xL(ϕa(x),μϕa(x)),S[\phi] = \int d^4x\, \mathcal{L}\big(\phi_a(x),\,\partial_\mu\phi_a(x)\big),

with Euler–Lagrange equations μ ⁣(L/(μϕa))L/ϕa=0\partial_\mu\!\left(\partial\mathcal{L}/\partial(\partial_\mu\phi_a)\right)-\partial\mathcal{L}/\partial\phi_a=0. The canonical example is the real scalar

L=12(μϕ)(μϕ)12m2ϕ2λ4!ϕ4.\mathcal{L}=\tfrac12(\partial_\mu\phi)(\partial^\mu\phi)-\tfrac12 m^2\phi^2-\tfrac{\lambda}{4!}\phi^4.

Locality — that L\mathcal{L} is a function of fields and finitely many derivatives at a single point — is the central structural assumption of standard QFT.

Route A — Canonical quantization. With conjugate momentum π=L/ϕ˙\pi=\partial\mathcal{L}/\partial\dot\phi, impose equal-time commutators (bosons) or anticommutators (fermions):

[ϕ(x,t),π(y,t)]=iδ(3)(xy).[\phi(\mathbf{x},t),\pi(\mathbf{y},t)] = i\,\delta^{(3)}(\mathbf{x}-\mathbf{y}).

Free fields expand in creation/annihilation operators,

ϕ(x)= ⁣d3p(2π)312Ep(apeipx+ape+ipx),[ap,aq]=(2π)3δ(3)(pq),\phi(x)=\int\!\frac{d^3p}{(2\pi)^3}\frac{1}{\sqrt{2E_{\mathbf p}}}\Big(a_{\mathbf p}e^{-ip\cdot x}+a_{\mathbf p}^\dagger e^{+ip\cdot x}\Big),\quad [a_{\mathbf p},a_{\mathbf q}^\dagger]=(2\pi)^3\delta^{(3)}(\mathbf p-\mathbf q),

building a Fock space on a vacuum 0|0\rangle with ap0=0a_{\mathbf p}|0\rangle=0.

Route B — Path integral. Time-ordered correlation (Green's) functions are

0Tϕ(x1)ϕ(xn)0=Dϕ  ϕ(x1)ϕ(xn)eiS[ϕ]/Dϕ  eiS[ϕ]/.\langle 0|T\,\phi(x_1)\cdots\phi(x_n)|0\rangle = \frac{\int \mathcal{D}\phi\; \phi(x_1)\cdots\phi(x_n)\, e^{iS[\phi]/\hbar}}{\int \mathcal{D}\phi\; e^{iS[\phi]/\hbar}}.

The generating functional Z[J]=Dϕei(S+Jϕ)Z[J]=\int\mathcal D\phi\,e^{i(S+\int J\phi)} yields connected correlators from W[J]=ilnZ[J]W[J]=-i\ln Z[J] and one-particle-irreducible (1PI) vertices from the effective action Γ[ϕcl]\Gamma[\phi_{cl}] via Legendre transform. Wick rotation tiτt\to -i\tau converts eiSe^{iS} into a Boltzmann weight eSEe^{-S_E}, mapping QFT onto Euclidean statistical mechanics and lending the path integral a (heuristically) convergent, measure-like form; the Osterwalder–Schrader (OS) axioms specify when a Euclidean theory reconstructs a Minkowski one. This is ESTABLISHED as a calculational framework, but the Lorentzian "measure" DϕeiS\mathcal D\phi\,e^{iS} is not a rigorously defined measure in d=4d=4 ESTABLISHED limitation — see Where it breaks down.

Particles = unitary irreps of the Poincaré group (Wigner)

A relativistic one-particle state space carries a unitary irreducible representation of the universal cover of the Poincaré group, ISL(2,C)=R1,3SL(2,C)\mathrm{ISL}(2,\mathbb{C})=\mathbb{R}^{1,3}\rtimes SL(2,\mathbb{C}). Its Casimirs are

P2=PμPμ (mass2),W2=WμWμ,Wμ=12ϵμνρσPνJρσ (Pauli–Lubanski),P^2=P_\mu P^\mu\ (\text{mass}^2),\qquad W^2=W_\mu W^\mu,\quad W_\mu=-\tfrac12\epsilon_{\mu\nu\rho\sigma}P^\nu J^{\rho\sigma}\ (\text{Pauli–Lubanski}),

with W2=m2s(s+1)W^2=-m^2 s(s+1) for massive states. Wigner's classification ESTABLISHED; Wigner 1939 organizes irreps by the orbit of PμP_\mu and its little group:

  • m>0m>0: little group SU(2)SU(2) → labels (m,s)(m,s), s{0,12,1,}s\in\{0,\tfrac12,1,\dots\}, with 2s+12s+1 spin states.
  • m=0m=0: little group ISO(2)ISO(2); finite-helicity reps labelled by h12Zh\in\tfrac12\mathbb{Z} (massless particles have two helicity states for h0h\neq0); plus exotic "continuous-spin" reps not realized in nature ESTABLISHED that they are unobserved.
  • P=0P=0: the vacuum.
  • P2<0P^2<0 (tachyonic) and P0<0P^0<0 orbits are excluded on physical grounds of stability and causality ESTABLISHED.

Fields are the local, Lorentz-covariant carriers that interpolate particle states. The connection between a field transforming in a finite-dimensional (non-unitary) representation of SL(2,C)SL(2,\mathbb{C}) and a particle in a unitary representation, mediated by the mode expansion, is the structural origin of the spin–statistics and CPT theorems. See particle-physics.md and mathematics.md.

Renormalization and the renormalization group

Loop integrals produce ultraviolet (UV) divergences. One regularizes (dimensional regularization d=4ϵd=4-\epsilon, or a cutoff Λ\Lambda), then renormalizes by absorbing divergences into a finite number of parameters (mass, couplings, field normalization). A theory is perturbatively renormalizable if finitely many counterterms suffice to all orders — equivalently, all couplings have mass dimension 0\ge 0 in d=4d=4. Bare and renormalized quantities relate by ZZ-factors, ϕ0=Zϕ1/2ϕ\phi_0=Z_\phi^{1/2}\phi, λ0=Zλμϵλ\lambda_0=Z_\lambda\,\mu^\epsilon\lambda.

The renormalization group expresses independence of physics from the arbitrary scale μ\mu:

[μμ+β(g)gγmmm+nγϕ]Γ(n)=0,β(g)=μdgdμ.\left[\mu\frac{\partial}{\partial\mu}+\beta(g)\frac{\partial}{\partial g}-\gamma_m\, m\frac{\partial}{\partial m}+n\,\gamma_\phi\right]\Gamma^{(n)}=0,\qquad \beta(g)=\mu\frac{dg}{d\mu}.

The sign and zeros of β\beta govern UV/IR fate. For QCD (SU(3)SU(3) with nfn_f flavors),

β(g)=g316π2(1123nf)+O(g5)  asymptotic freedom for nf<332\beta(g)=-\frac{g^3}{16\pi^2}\Big(11-\tfrac{2}{3}n_f\Big)+\mathcal O(g^5)\ \Rightarrow\ \text{asymptotic freedom for } n_f<\tfrac{33}{2}

ESTABLISHED; Gross–Wilczek and Politzer 1973. For QED β>0\beta>0, so the coupling grows in the UV toward a Landau pole. Fixed points β(g\*)=0\beta(g_\*)=0 define scale-invariant (typically conformal) theories — the endpoints of RG flows that anchor the space of QFTs.

Wilsonian effective field theory

Wilson reframed renormalization physically ESTABLISHED as conceptual framework: define the theory with cutoff Λ\Lambda, integrate out modes between Λ\Lambda and bΛb\Lambda, and generate an effective action containing all operators allowed by symmetry,

Leff=iciΛdi4Oi,di=mass dimension of Oi.\mathcal L_{\text{eff}}=\sum_i \frac{c_i}{\Lambda^{\,d_i-4}}\,\mathcal O_i,\qquad d_i=\text{mass dimension of }\mathcal O_i.

Operators are relevant (di<4d_i<4, grow in the IR), marginal (di=4d_i=4), or irrelevant (di>4d_i>4, suppressed by (E/Λ)di4(E/\Lambda)^{d_i-4}). Renormalizability is thereby derived: low-energy physics is dominated by the finitely many relevant/marginal operators, while non-renormalizable operators are simply small. Every QFT becomes one rung in a tower of EFTs, and the Standard Model itself is an EFT valid up to some scale Λnew\Lambda_{\rm new} INFERENCE. This is the deep formal bridge to statistical-mechanics.md: Euclidean QFT is classical statistical field theory, and universality classes/critical exponents are shared verbatim.

Gauge principle, SSB, and the BEH mechanism

Promoting a global symmetry ψeiαaTaψ\psi\to e^{i\alpha^a T^a}\psi to a local one forces a connection AμaA_\mu^a with covariant derivative Dμ=μigAμaTaD_\mu=\partial_\mu-ig A_\mu^a T^a and field strength

Fμνa=μAνaνAμa+gfabcAμbAνc,LYM=14FμνaFaμν.F_{\mu\nu}^a=\partial_\mu A_\nu^a-\partial_\nu A_\mu^a+g f^{abc}A_\mu^b A_\nu^c,\qquad \mathcal L_{YM}=-\tfrac14 F^a_{\mu\nu}F^{a\,\mu\nu}.

Geometrically, gauge fields are connections on a principal bundle and FF is curvature (see mathematics.md). Quantization requires gauge fixing (Faddeev–Popov determinant → ghosts; BRST symmetry ss with s2=0s^2=0 controls unitarity).

SSB is a symmetric Lagrangian with a non-invariant vacuum. Goldstone's theorem ESTABLISHED: each spontaneously broken continuous global symmetry yields a massless scalar. The BEH/Higgs mechanism ESTABLISHED; confirmed 2012: when the broken symmetry is gauged, the would-be Goldstone bosons are "eaten," giving gauge bosons mass. For electroweak SU(2)L×U(1)YU(1)emSU(2)_L\times U(1)_Y\to U(1)_{\rm em} with a doublet Φ\Phi, Φ=(0,v/2)\langle\Phi\rangle=(0,v/\sqrt2),

MW=12gv,MZ=12g2+g2v,v246 GeV,M_W=\tfrac12 g v,\quad M_Z=\tfrac12\sqrt{g^2+g'^2}\,v,\quad v\approx246\ \text{GeV},

plus a physical Higgs scalar with measured mH125m_H\approx125 GeV. A subtlety often glossed in textbooks ESTABLISHED but underappreciated: in a gauge theory there is no gauge-invariant local order parameter — Elitzur's theorem forbids spontaneous breaking of a local gauge symmetry. The "Higgs phase" is gauge-fixing language; the gauge-invariant content lives in correlators, and the Fradkin–Shenker analysis shows the Higgs and confinement regimes are analytically connected. This bears directly on whether the gauge principle is "fundamental" — see the table below.

Anomalies

An anomaly is a classical symmetry the quantized measure cannot preserve. The chiral (Adler–Bell–Jackiw) anomaly ESTABLISHED:

μj5μ=e216π2ϵμνρσFμνFρσ.\partial_\mu j^{5\mu}=\frac{e^2}{16\pi^2}\,\epsilon^{\mu\nu\rho\sigma}F_{\mu\nu}F_{\rho\sigma}.

Anomalies in global symmetries are physical and exact (e.g. the π02γ\pi^0\to2\gamma rate). Anomalies in gauged symmetries are fatal and must cancel; in the Standard Model the hypercharge/SU(2)SU(2)/SU(3)SU(3) anomalies cancel generation-by-generation, a strong structural constraint. 't Hooft anomaly matching constrains IR dynamics nonperturbatively — one of the few exact handles on strongly-coupled QFT.

Vacuum and zero-point energy

The free Hamiltonian is H=d3p(2π)3Ep(apap+12[ap,ap])H=\int\frac{d^3p}{(2\pi)^3}E_{\mathbf p}\big(a^\dagger_{\mathbf p}a_{\mathbf p}+\tfrac12[a_{\mathbf p},a^\dagger_{\mathbf p}]\big), the last term a formally infinite zero-point energy. Differences are physical (the Casimir effect ESTABLISHED); the absolute value couples to gravity and underlies the cosmological-constant problem (see Where it breaks down and cosmology.md). The interacting vacuum is highly nontrivial, hosting condensates qˉq\langle\bar q q\rangle and G2\langle G^2\rangle in QCD.

The rigorous/axiomatic skeleton

Wightman axioms (operator/correlation formulation): a Hilbert space H\mathcal H carrying a positive-energy unitary Poincaré representation, a unique vacuum, fields as operator-valued tempered distributions on a dense domain, microcausality [ϕ(x),ϕ(y)]=0[\phi(x),\phi(y)]=0 for spacelike (xy)(x-y), and the spectrum condition spec(P)V+\mathrm{spec}(P)\subset\overline{V^+}. The Wightman functions Wn=0ϕ(x1)ϕ(xn)0\mathcal W_n=\langle0|\phi(x_1)\cdots\phi(x_n)|0\rangle obey covariance, spectral support, locality, positivity, and cluster decomposition — and (reconstruction theorem) determine the theory.

Haag–Kastler / algebraic QFT (AQFT): the primitive is a net of local von Neumann algebras OA(O)\mathcal O\mapsto\mathfrak A(\mathcal O) over spacetime regions, satisfying isotony, locality (spacelike algebras commute), covariance, and the spectrum condition. Superselection structure (DHR), statistics, and charges emerge intrinsically; the local algebras are type III1_1, so there is no tensor factorization of H\mathcal H into local subsystems and no local number operator.

Theorems provable within these axioms ESTABLISHED within the framework: spin–statistics and CPT (Wightman axioms + analyticity); Reeh–Schlieder (A(O)0=H\overline{\mathfrak A(\mathcal O)|0\rangle}=\mathcal H — the vacuum is cyclic and separating for any local algebra, implying ubiquitous vacuum entanglement); Bisognano–Wichmann (the modular flow of the Rindler wedge is the Lorentz boost, linking Tomita–Takesaki modular theory to the Unruh effect); and Haag's theorem (no unitary intertwines a free and an interacting representation in the same Hilbert space — the interaction picture, strictly, does not exist).

Foundational assumptions

AssumptionStatusJustification
Fields (not particles or paths) are the fundamental degrees of freedomlikely-fundamentalINFERENCE Locality + relativistic causality + cluster decomposition, with QM, essentially force a field description (Weinberg's "folk theorem"). Particles emerge as field excitations and are observer-ambiguous (Unruh; no global particle number in curved space). Whether fields are themselves emergent (strings, entanglement, pre-geometry) is OPEN.
Spacetime is a fixed, smooth, globally Lorentzian continuum (Minkowski)likely-fundamentalINFERENCE/OPEN A fixed classical background is a spectacularly successful input but is expected to fail at the Planck scale where geometry is dynamical. The continuum is also idealized: whether a nonperturbative continuum limit exists is the constructive-QFT/triviality question.
Microcausality: spacelike-separated local observables commutefundamentalESTABLISHED as defining axiom The precise encoding of relativistic causality and no-signaling; drives spin–statistics, CPT, Reeh–Schlieder. The single most load-bearing, least negotiable assumption — relaxing it generically breaks Lorentz invariance or causality.
Poincaré invariance, unique stable vacuum, energy bounded below (spectrum condition)fundamentalESTABLISHED/INFERENCE Lorentz invariance is tested to extraordinary precision and grounds Wigner's classification; positive energy is required for stability. Globally exact only in flat space — an excellent local approximation cosmologically. Tiny Lorentz violation is OPEN, constrained but not excluded.
Renormalizability as a selection criterion for fundamental Lagrangianshistorical-artifactESTABLISHED reinterpretation Once a sacred requirement; Wilson's RG showed it is an emergent low-energy property (irrelevant operators are E/ΛE/\Lambda-suppressed). Predictive non-renormalizable EFTs (chiral PT, Fermi theory, gravity-as-EFT) abound. A derived/organizational fact, not an axiom.
Existence of a well-defined functional measure Dϕ\mathcal D\phi and of the theory it definesunclearCONTESTED/OPEN The Lorentzian "measure" is not rigorous in d=4d=4; even the Euclidean measure is constructed only for super-renormalizable/low-dd models (ϕ24,ϕ34\phi^4_2,\phi^4_3, 2D Yang–Mills, Gross–Neveu). For 4D QCD/electroweak no rigorous construction exists (Clay Millennium Problem). A phenomenally successful heuristic with incomplete foundations where it matters most.
The gauge "symmetry" is a fundamental interaction-generating principleconventional-choiceCONTESTED interpretation Hugely productive, but gauge symmetry is a redundancy, not a physical symmetry (Elitzur forbids breaking it; observables are gauge-invariant). The physical core (massless spin-1 consistency, charge conservation) is fundamental; "derive interactions by gauging" is a heuristic — the bundle/connection geometry and Wilson loops are the invariant content.
Asymptotic in/out free states and a well-defined S-matrix exist (LSZ, asymptotic completeness)likely-fundamentalINFERENCE Justified by LSZ and Haag–Ruelle scattering given isolated mass shells and a mass gap. Fails for confined theories (no free quarks), massless particles (IR divergences; coherent states), and CFTs (no particles). Asymptotic completeness is assumed, not generally proven. Fundamental where applicable, but restricted in domain.
Wick rotation / OS reconstruction faithfully relates Euclidean and Lorentzian QFTunclearESTABLISHED where conditions hold OS reconstruction is a theorem given reflection positivity; it underlies all rigorous and lattice work. But reflection positivity can fail (finite chemical potential — the sign problem) and real-time/non-equilibrium dynamics is not directly accessible. A powerful device of uncertain universal reach.
Unitarity (probability conservation) of evolution / the S-matrixfundamentalESTABLISHED Required for a consistent probabilistic quantum theory; enforced via BRST/Ward identities and the optical theorem. Apparent unitarity loss in effective/open descriptions reflects truncation, not failure of the closed theory. Non-negotiable within QM.
A single fixed Hilbert (Fock) space with finite field content sufficesunclearESTABLISHED limitation — a convenience that is strictly false Haag's theorem: the interacting theory does not live in the free Fock space; inequivalent representations are generic (Stone–von Neumann uniqueness fails for infinitely many d.o.f.). AQFT replaces the privileged representation with a net of algebras.

See ASSUMPTIONS_LEDGER.md for the cross-domain ledger and EPISTEMICS.md for marker definitions.

Domain of validity

QFT on a fixed (typically flat) spacetime is validated over an extraordinary range. ESTABLISHED QED predicts the electron anomalous magnetic moment to roughly twelve significant figures — among the most precise theory–experiment agreements in all of science. The electroweak Standard Model and perturbative QCD describe collider physics into the few-TeV regime probed at the LHC with no confirmed deviation. Lattice QCD computes the nonperturbative low-energy hadron spectrum from first principles. The same RG/EFT machinery quantitatively governs condensed-matter critical phenomena (see statistical-mechanics.md) and is the working language across particle, nuclear, statistical, and condensed-matter physics. QFT is, in the current understanding, the unique known way to reconcile quantum mechanics (see quantum-mechanics.md) with special relativity.

Boundaries of validity:

  1. Energy/UV. Standard QFT presupposes a fixed classical spacetime and is expected to require replacement near MPl1.2×1019M_{\rm Pl}\sim1.2\times10^{19} GeV, where gravitational backreaction makes the metric quantum. The SM is widely regarded as an EFT with a cutoff below MPlM_{\rm Pl}, possibly far below INFERENCE.
  2. Gravity. General relativity quantized as a QFT is a valid EFT at low energy but is perturbatively non-renormalizable, losing predictivity at MPlM_{\rm Pl} — the clearest internal signal of an upper validity bound. ESTABLISHED that GR-as-EFT works at low energy; OPEN what completes it. See general-relativity.md.
  3. Curved/dynamical spacetime. QFT in curved backgrounds is well-developed (Hawking radiation, Unruh effect), but "particle" becomes observer-dependent and there is no preferred vacuum; full back-reacting quantum gravity lies outside the framework.
  4. Coupling/UV self-consistency. QED and ϕ4\phi^4 have Landau poles and are believed trivial (only the free theory survives the continuum limit) INFERENCE from lattice + perturbation theory, so they are EFTs with a finite UV cutoff, not complete theories.
  5. Confinement/IR. For QCD the perturbative quark–gluon description fails near ΛQCD200\Lambda_{\rm QCD}\sim200 MeV; the correct degrees of freedom are hadrons, requiring nonperturbative (lattice) methods.
  6. Rigor. Outside a list of super-renormalizable and low-dimensional models, no physically realistic 4D interacting QFT has been constructed to full mathematical rigor.

Where it breaks down

Distinguishing the kinds of breakdown is essential (see GAPS_AND_CONTRADICTIONS.md):

  • Quantum gravity / Planck scaleESTABLISHED breakdown, domain mismatch. Treating the metric as a quantum field gives a non-renormalizable EFT; graviton loops need infinitely many counterterms and predictivity fails at MPlM_{\rm Pl}. This is a domain-of-validity mismatch (fixed background cannot host fluctuating geometry), not an internal inconsistency, and is the sharpest signpost of UV incompleteness.
  • Cosmological constant / vacuum energyOPEN, severe. Summed zero-point energies plus known condensates predict a vacuum energy vastly larger than the observed dark-energy scale (∼120 orders of magnitude with a Planck cutoff; tens of orders even at the electroweak scale). Because it concerns how vacuum energy gravitates, it sits at the QFT/gravity interface and may signal that the naive QFT vacuum-energy estimate is the wrong object. See cosmology.md and OPEN_PROBLEMS.md.
  • Haag's theoremESTABLISHED internal tension. The interaction picture does not exist (free and interacting representations are unitarily inequivalent), so the textbook perturbative starting point is mathematically inconsistent — yet renormalized perturbation theory gives correct answers. The resolution (an asymptotic recipe; rigorous objects are algebras/superselection sectors; a proper adiabatic/IR treatment evades the theorem) shows this is a foundational subtlety, not a falsification.
  • Triviality / Landau polesINFERENCE, strong. ϕ44\phi^4_4 and QED couplings grow to a Landau pole; lattice and rigorous bounds indicate the only continuum limit is free. These are EFTs with an intrinsic cutoff — a consistent statement about domain of validity, refuting the idea that every renormalizable theory is UV-complete.
  • Constructive gap (Yang–Mills existence + mass gap)OPEN. No rigorous construction of 4D interacting Yang–Mills (or full QCD/electroweak) exists; existence + mass gap is a Clay Millennium Problem. Lattice evidence for the gap is strong; a proof satisfying the Wightman/OS axioms is missing. Unsolved-but-believed-consistent.
  • Measurement in relativistic QFTOPEN/CONTESTED. The measurement problem persists, sharpened by relativity: naive projective state-update across spacelike slices is frame-dependent and can yield Sorkin's "impossible measurements" (superluminal signaling), while Reeh–Schlieder gives local operations global reach. No-signaling is preserved by microcausality, and consistent local-measurement frameworks exist (Fewster–Verch), but a fully agreed covariant account of state update is not settled. See quantum-mechanics.md.
  • Reeh–Schlieder nonlocality vs. operational localityESTABLISHED but counterintuitive. The vacuum is entangled across arbitrarily separated regions and cyclic/separating for every local algebra. This does not contradict no-signaling, but it forces the type III von Neumann algebra picture in which there is no local tensor factorization and no local number operator.
  • IR structure of gauge theoriesESTABLISHED, controlled. Massless particles (photons, gluons) generate soft/collinear divergences; individual S-matrix elements are ill-defined and Fock asymptotic states are not the right notion. The cure (KLN theorem, inclusive cross sections, coherent/dressed states, soft-theorem/asymptotic-symmetry program) restores finite predictions while exposing the boundary of the naive particle idealization.
  • Nonperturbative/confining regimeESTABLISHED domain shift. Perturbation theory is at best asymptotic and fails outside asymptotic freedom; below ∼1 GeV the quark–gluon variables are simply wrong, and one must use lattice or effective hadronic theories.

Open problems (internal)

These are problems internal to QFT as a framework; cross-cutting items appear in OPEN_PROBLEMS.md.

  1. Rigorous 4D construction: Yang–Mills existence and mass gap OPEN. The flagship gap between empirical success and mathematical foundation (Clay Millennium Problem).
  2. UV completeness vs. EFT status INFERENCE/OPEN. Triviality of ϕ4\phi^4/QED suggests the SM Higgs and hypercharge sectors need a UV completion. Whether asymptotic safety (a nontrivial UV fixed point) could rescue any sector — including gravity — is unresolved.
  3. Cosmological constant problem OPEN; arguably the deepest in physics. Why is the observed vacuum energy so far below QFT estimates? Proposed resolutions (SUSY, anthropic/landscape, sequestering, modified gravity) are all SPECULATIVE.
  4. Covariant measurement theory OPEN/CONTESTED. A complete, interpretation-neutral, manifestly covariant account of measurement/state-update.
  5. Nonperturbative dynamics OPEN. An analytic confinement proof; real-time and finite-density QCD obstructed by the sign problem (limiting first-principles access to neutron-star interiors and the early-universe QCD transition).
  6. Inequivalent representations / type III algebras OPEN. The right notion of local subsystems and finite, physical entanglement entropy in QFT (the naive region entropy is UV-divergent; modular Hamiltonians and relative entropy are clean but incomplete, especially with gravity/holography).
  7. Asymptotic safety in d4d\ge4 SPECULATIVE/OPEN. Functional-RG evidence for an asymptotically safe gravity fixed point exists but is truncation-dependent and unproven.
  8. Continuum/locality vs. expected Planck-scale structure OPEN. Whether spacetime, fields, and locality are fundamental or emergent (entanglement/holography/strings) bears directly on which axioms above are truly fundamental.

Connections to other frameworks

  • Quantum mechanics — QFT contains QM as a low-energy/single-particle limit and as the d=0+1d=0{+}1 case; conversely the Stone–von Neumann uniqueness of QM fails in QFT, the technical root of Haag's theorem, inequivalent vacua, and SSB. The measurement problem is inherited and sharpened.
  • Special relativity (see classical-mechanics.md, general-relativity.md) — Poincaré invariance and microcausality are constitutive; relativity is what forces fields, antiparticles, particle creation, spin–statistics, and CPT.
  • General relativity / quantum gravity — Clash at the deepest level: QFT presupposes fixed spacetime, GR makes it dynamical. GR is an excellent low-energy EFT, non-renormalizable at MPlM_{\rm Pl}. The interface produces the hardest problems (cosmological constant, black-hole information, Hawking radiation) and motivates string theory, loop quantum gravity, and holography.
  • Statistical mechanics and thermodynamics — Deep formal equivalence via Wick rotation: Euclidean QFT = classical statistical field theory; the RG, universality, critical exponents, and relevant/irrelevant operators are literally shared. The path integral is a partition function; the Unruh/Hawking effects connect modular flow to temperature.
  • Condensed matter / many-body physics — Two-way street: Green's functions, diagrams, RG, and gauge theory describe quasiparticles, superconductivity (Anderson/Nambu route to the Higgs mechanism via SSB of EM gauge symmetry), the quantum Hall effect, and topological phases. Emergent gauge symmetry and emergent Lorentz invariance suggest fundamental QFT structures may themselves be emergent (see UNIFYING_PRINCIPLES.md).
  • Mathematics — QFT both consumes and generates mathematics: Tomita–Takesaki modular theory and von Neumann algebra classification (AQFT); index theorems and characteristic classes (anomalies); fiber-bundle geometry (gauge fields); representation theory of the Poincaré and conformal groups; and conjectural structures (mirror symmetry, Chern–Simons knot invariants, Langlands) that emerged from QFT reasoning.
  • Conformal field theory and the bootstrap — CFTs are QFTs at RG fixed points; they anchor the space of QFTs (UV/IR endpoints of flows), are the most rigorously controlled interacting QFTs (especially 2D), and via AdS/CFT relate to quantum gravity — a key node toward the gravity frontier.
  • Particle physics and cosmology — The Standard Model is QFT's empirical embodiment; its open phenomenology (neutrino masses, dark matter, baryon asymmetry, strong-CP, hierarchy) drives experiment, and early-universe cosmology (inflation, baryogenesis, the QCD/electroweak transitions) is QFT applied to the whole universe, looping back to vacuum-energy and measurement issues.
  • Information theory — Entanglement entropy, modular Hamiltonians, and relative entropy of local algebras connect QFT to quantum information and, via holography, to the area law and the emergence of geometry.

See also

References

See BIBLIOGRAPHY.md for the consolidated list. Core sources for this page:

  • S. Weinberg, The Quantum Theory of Fields, Vols. I–III (Cambridge, 1995–2000) — first-principles derivation from Poincaré invariance, unitarity, and cluster decomposition.
  • M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory (Addison-Wesley, 1995) — standard graduate calculational reference.
  • A. Zee, Quantum Field Theory in a Nutshell, 2nd ed. (Princeton, 2010) — path-integral-first, EFT-oriented conceptual treatment.
  • R. F. Streater and A. S. Wightman, PCT, Spin and Statistics, and All That (Benjamin 1964; Princeton 2000) — Wightman axioms, reconstruction, spin–statistics, CPT.
  • R. Haag, Local Quantum Physics, 2nd ed. (Springer, 1996) — algebraic QFT, DHR superselection, modular theory, Reeh–Schlieder, Haag's theorem.
  • E. P. Wigner, "On Unitary Representations of the Inhomogeneous Lorentz Group," Ann. Math. 40, 149 (1939).
  • K. G. Wilson and J. Kogut, "The renormalization group and the epsilon expansion," Phys. Rep. 12, 75 (1974).
  • D. J. Gross and F. Wilczek, Phys. Rev. Lett. 30, 1343 (1973); H. D. Politzer, Phys. Rev. Lett. 30, 1346 (1973) — asymptotic freedom.
  • S. L. Adler, Phys. Rev. 177, 2426 (1969); J. S. Bell and R. Jackiw, Nuovo Cimento A 60, 47 (1969) — chiral anomaly.
  • J. Glimm and A. Jaffe, Quantum Physics: A Functional Integral Point of View, 2nd ed. (Springer, 1987) — constructive QFT.
  • P. W. Higgs, Phys. Rev. Lett. 13, 508 (1964); F. Englert and R. Brout, Phys. Rev. Lett. 13, 321 (1964); G. Guralnik, C. Hagen, T. Kibble, Phys. Rev. Lett. 13, 585 (1964) — BEH mechanism.
  • H. Reeh and S. Schlieder, Nuovo Cimento 22, 1051 (1961); J. J. Bisognano and E. H. Wichmann, J. Math. Phys. 16, 985 (1975).
  • R. D. Sorkin, "Impossible measurements on quantum fields," in Directions in General Relativity Vol. 2 (1993); C. J. Fewster and R. Verch, "Quantum fields and local measurements," Commun. Math. Phys. 378, 851 (2020).
  • C. Itzykson and J.-B. Zuber, Quantum Field Theory (McGraw-Hill, 1980).