Light-Front QFT

The target observable decides where to enter light-front QFT. Coordinate or generator questions begin with null-surface quantization; any vacuum, gauge, or symmetry-breaking claim must pass through constrained fields and zero modes; bound-state structure proceeds through Fock amplitudes and a finite DLCQ or smooth basis; and every physical claim ends with counterterm, current, symmetry, cutoff, and independent-benchmark tests. Kinematical simplicity is never a substitute for one of those dynamical obligations.

This chapter treats the light front as a regulated Hamiltonian formulation, not as a promise of a trivial vacuum or an automatically covariant finite matrix. Its two chapter-scale capabilities are concrete: derive a light-front bound-state problem without losing constraint data, and decide the strongest observable claim supported after every regulator and symmetry test.

Enter this chapter

The chapter develops null coordinates and evolution, constrained components and $p^+=0$ sectors, light-front Fock amplitudes, DLCQ and basis methods, cutoff-dependent Hamiltonians and currents, and continuum validation. It uses but does not redefine Poincaré representation theory, constrained Hamiltonian reduction, ordinary Fock space, or general renormalization.

The boundaries are equally important:

• equal-time Hamiltonian foundations and Euclidean transfer comparisons live in Hamiltonian Lattice Field Theory;
• generic projector, basis, variational, and omitted-state methods live in Hamiltonian Truncation and Variational Methods;
• current definitions, factorization, and scattering amplitudes live in Perturbative QFT and Scattering;
• hadron interpretation belongs to the relevant phenomenology volume; and
• dated performance, comparative status, and open programs belong to Research.

The derivations cover free scalar benchmarks, a scalar zero-mode constraint, constrained spinors and gauge fields at the structural level, normalized Fock expansions, DLCQ and transverse bases, and a declared counterterm/current program. They do not establish nonperturbative equivalence of null-surface and equal-time formulations for every theory.

Check your preparation

No page in this overview is a constitutional hard prerequisite for the whole chapter. Use the following tasks to choose a reliable entry.

Observable readiness checks and exact repair routes.

Can you do this?	If ready	If unsure	Repair
Compute $p^2$ after changing to $x^\pm$ and identify the generator conjugate to $x^+$	Begin with coordinates, then choose any downstream route	Check which momentum multiplies $x^+$ in $p\cdot x$	Lorentz and Poincaré representations
Explain why a constraint matrix must be reduced before assigning brackets	Enter the zero-mode page after the coordinate page	Ask whether the canonical momentum contains an evolution derivative	Constraints and Dirac brackets
Normalize a Fock expansion and distinguish coefficients from observables	Enter the wavefunction route	Check the state normalization before interpreting sector weights	Fock space, vacuum, and particle number
State why a fitted bare parameter depends on a cutoff	Enter the regulator and counterterm route	Separate a renormalization input from a held-out prediction	Symmetry and counterterms
Design a multi-axis convergence study with correlated uncertainties	Enter continuum validation after the renormalization page	Replace a diagonal cutoff path by fixed-axis comparisons	Complete lattice error budgets

Choose a route

Goal-to-route choices through light-front QFT.

Goal	Route	Observable capability at the end
First coherent encounter	Coordinates → constraints and zero modes → Fock amplitudes	Derive the invariant-mass equation and state which data were constrained
Vacuum or symmetry claim	Coordinates → zero modes and vacuum structure → validation	Reject a claim that deletes its order-parameter or Gauss sector
Bound-state calculation	Fock amplitudes → DLCQ or BLFQ → renormalization	Build and normalize a finite mass matrix with declared counterterms
Current or form factor	overlap and current → current matching → redundant tests	Distinguish charge fitting from a held-out covariant form factor
Computational implementation	finite basis method → claim decision	Separate $K$, $L_-$, basis, sector, and zero-mode effects
Research re-entry	durable method → validation criteria → dated Research map	Compare current programs without importing mutable status into the method pages

One dependency chain, six distinct questions

The conceptual structure is

$$\begin{gathered} \text{null plane and generators} \longrightarrow \text{independent data plus constraints} \longrightarrow \text{Fock-sector mass equations},\\ \text{finite longitudinal/transverse basis} \longrightarrow \text{counterterms and matched currents} \longrightarrow \text{held-out observables and controlled limits}. \end{gathered}$$

The arrows label a required scientific input, not equivalence. In particular, positive longitudinal momentum is an input to the Fock representation, whereas the zero-mode constraint is a separate equation. A basis truncation is a regulator, whereas a counterterm fit is a response to that regulator. A matched current turns amplitudes into observables, whereas continuum validation decides the allowed claim.

Objects, exact finite statements, and stopping conditions.

Stage	Exact within its contract	What remains to be shown
Null coordinates	$p^2=2p^+p^- -\mathbf p_\perp^2$ and the front-form generator split	Regulated Poincaré restoration and complete characteristic data
Constraint reduction	Projected scalar, spinor, or Gauss equation with declared boundary data	Renormalized zero-mode solution and observable sensitivity
Fock expansion	Normalization and coupled mass equations in the chosen basis	Sector, gauge, cutoff, and current independence
DLCQ or BLFQ	Finite matrix, symmetry blocks, and exact free benchmark	Independent regulator limits and induced interactions
Renormalization	Chosen inputs are reproduced by the fitted finite Hamiltonian	Held-out observables and restored symmetries
Validation	Only the tests actually executed at their stated tolerance	Any unclosed row fixes the claim ceiling

Guide to the six pages

1. Light-Front Coordinates and Quantization answers which variable evolves, which generators are kinematical, and why scalar canonical data are constrained. It ends with an exact free invariant-mass check and hands the $p^+=0$ kernel to the next page.
2. Light-Front Constraints, Zero Modes, and Vacuum Structure derives an integrated scalar constraint, solves the good/bad spinor split, and explains instantaneous gauge terms. Read it before any vacuum, symmetry-breaking, or Gauss-law conclusion.
3. Light-Front Fock Space, Wavefunctions, and Bound-State Equations normalizes boost-invariant amplitudes, derives coupled mass equations, and computes an exactly checkable model overlap. It separates a wavefunction from a matched current observable.
4. DLCQ and Basis Light-Front Quantization turns momentum fractions and transverse modes into finite symmetry blocks. Its exact one- and two-particle benchmarks expose factors, partition errors, and the distinction among $K$, $P^+$, and $L_-$.
5. Light-Front Regulators, Counterterms, and Symmetry Restoration derives the effective interaction of omitted sectors, gives the chapter’s regulator table and map, and specifies mass, scattering, current, Ward, and Poincaré tests.
6. Light-Front Observables and Continuum Validation builds the final validation matrix. It sets the claim ceiling and the handoff to matched Euclidean, equal-time, exact, perturbative, or Research evidence.

Convention bridge used throughout

All six pages inherit the site signature $(+---)$ and use

$$x^\pm=\frac{x^0\pm x^3}{\sqrt2}, \qquad p\cdot x=p^-x^+ +p^+x^- -\mathbf p_\perp\cdot\mathbf x_\perp, \qquad p^2=2p^+p^- -\mathbf p_\perp^2.$$

Much of the classic literature instead uses $X^\pm=X^0\pm X^3$. The map is $X^\pm=\sqrt2x^\pm$ and $p^\pm_{X}=\sqrt2p^\pm$, so the source formula $p^-_X=(m^2+\mathbf p_\perp^2)/p^+_X$ becomes $p^-=(m^2+\mathbf p_\perp^2)/(2p^+)$. The invariant check $p^2=m^2$ catches every factor of two.

Recurring regulator symbols retain one meaning:

• $L_-$: longitudinal compactification length;
• $K=P^+L_-/(2\pi)$: harmonic resolution;
• $\delta$: a declared small-$x$ cutoff;
• $N_{\max}$ and $b$: transverse basis cutoff and scale;
• $N_F$: the named retained Fock-sector set; and
• $\boldsymbol\Lambda$: the full collection, never a license to collapse the axes into one number.

The classic reviews use multiple normalizations, so every imported commutator, measure, and current formula is translated before use Brodsky, Pauli, and Pinsky 1998, Appendices A–D, arXiv PDF pp. 170–176.

The free scalar threads the chapter

A free massive scalar in $1+1$ dimensions is deliberately modest but exposes the entire logic.

1. The coordinate page gives $2p^+p^-=m^2$.
2. The constraint page integrates the field equation and obtains $m^2\phi_0=0$, so the massive zero mode vanishes by an equation rather than by deletion.
3. The wavefunction page normalizes the internal Fock amplitude and separates it from a current.
4. The DLCQ page gives $M_1/m=1$ for each represented mode and predicts the finite-$K$ two-particle threshold.
5. The renormalization page explains why this free result cannot validate an interacting counterterm basis.
6. The validation page adds the independent Euclidean checkpoint $m^2G_E(Q^2=m^2)=1/2$ and states the matching obligations.

The example checks conventions and code exactly. It ceases to represent the general problem when interactions generate nontrivial zero-mode constraints, sector-changing kernels, current corrections, or symmetry-restoring counterterms.

Chapter synthesis

Four statements organize the chapter.

The surface is characteristic. A null plane reduces independent canonical data. The resulting constraints and inverse longitudinal derivatives are mathematical facts, not optional complications.

Positivity is sector-specific. Strictly positive $p^+$ makes the massive Fock expansion economical and gives boost-invariant fractions. It says nothing by itself about the $p^+=0$ kernel.

Finite bases are regulators. DLCQ and BLFQ turn the mass equation into a finite computation, but every boundary, longitudinal, transverse, basis, and sector choice can induce operators or break a symmetry.

Observables close the argument. Counterterms are fixed by inputs; currents are matched operators; Ward, Poincaré, frame, and angular relations test symmetry; independent cutoff scans and cross-formulation benchmarks determine the claim ceiling.

This is why a simple-looking light-front vacuum and a sparse Hamiltonian are advantages, not proofs. A continuum QFT statement appears only after the constraints, matching, symmetries, and limits agree on an observable.

After completing the chapter, you should be able to (1) translate a regulated light-front Hamiltonian from its coordinate and constraint definitions into a normalized finite-basis eigenproblem, with every cutoff and zero-mode prescription explicit, and (2) design a validation matrix that separates fitted inputs from held-out spectra, scattering amplitudes, currents, symmetry relations, and joint continuum limits.

Review the chapter

Derivation and representation change

Starting from $x^\pm=(x^0\pm x^3)/\sqrt2$, derive $p\cdot x$, the free mass shell, and the equal-$x^+$ scalar commutator. Then translate all three to the no-$\sqrt2$ convention.

Checked outline

A successful response obtains $p\cdot x=p^-x^++p^+x^--\mathbf p_\perp\cdot\mathbf x_\perp$, $p^-=(m^2+\mathbf p_\perp^2)/(2p^+)$, and $[\phi(x),\phi(y)]=-i\operatorname{sgn}(x^--y^-) \delta^{(2)}(\mathbf x_\perp-\mathbf y_\perp)/4$. It identifies the inverse $\partial_-$ kernel and verifies $p^2=m^2$ before and after the convention change. If the zero mode is absent from the explanation, return to the constraint page.

Failure diagnosis and synthesis

A calculation reports stable masses along $K=N_{\max}=N_F$, sets the zero mode to zero, fits $F(0)$, and uses $J^+$ only. State the strongest supported claim and design the minimum additional tests.

Checked outline

The supported result is a fitted finite-truncation mass and charge along one cutoff path. The calculation has not separated cutoff axes, solved the zero-mode constraint, validated the current, or restored rotations/Poincaré symmetry. The minimum repair is: derive the integrated constraint; use fixed- axis $K$, $N_{\max}$, and sector scans; repeat the matching protocol at each point; reserve a nonzero-$Q^2$ current or second mass; test a Ward identity, frame comparison, and dimension-appropriate rotation/angular relation; then compare a matched independent observable. The validation matrix provides the verification criteria.

Continue from here

• For a regulated equal-time comparison, continue to Hamiltonian Continuum Limits and Euclidean Cross-Validation.
• For generic omitted-state and extrapolation methods, continue to Convergence, Extrapolation, and Error Certification.
• For current developments or comparative capability claims, enter the Lattice and Hamiltonian Field Theory Research map.
• To choose another formulation, return to Lattice and Hamiltonian QFT.

References

• Brodsky, Stanley J., Hans-Christian Pauli, and Stephen S. Pinsky. 1998. “Quantum Chromodynamics and Other Field Theories on the Light Cone.” Physics Reports 301: 299–486. DOI. Open PDF.
• Heinzl, Thomas. 2001. “Light-Cone Quantization: Foundations and Applications.” In Methods of Quantization, Lecture Notes in Physics 572, 55–142. DOI. Open PDF.
• Hiller, John R. 2016. “Nonperturbative Light-Front Hamiltonian Methods.” Progress in Particle and Nuclear Physics 90: 75–124. DOI. Open PDF.