Quantum field theory

Quantum field theory describes quantum states and interactions using fields whose smeared values act as operators. Free-field modes behave as quantum harmonic oscillators or fermionic occupation modes; their excitations supply the particle description. This allows creation operators and annihilation operators to describe processes in which particle number changes.

A relativistic quantum field theory combines this framework with special relativity, Lorentz invariance and locality conditions such as microcausality. Nonrelativistic many-body systems also have useful quantum field theories, for example a weakly interacting Bose gas described by a bosonic field. The framework is therefore broader than a list of elementary-particle models.

Correlation functions predict responses and connect through appropriate limits to scattering amplitudes. Perturbative quantum field theory expands these quantities using Feynman diagrams, while strongly interacting problems may require other methods. Composite fields and arbitrarily short distances require attention to operator definitions and renormalization, rather than treating every field product as an ordinary pointwise multiplication.

A quantum field theory assigning vector spaces to closed spatial manifolds and linear maps to interpolating spacetime cobordisms, compatibly with composition and disjoint union. Its TQFT partition function on $\Sigma \times S^1$ is the trace of the identity of the state space on $\Sigma$, hence its dimension.

The cobordism hypothesis classifies fully extended framed topological quantum field theories by the object assigned to a point. Precisely, for a suitable symmetric monoidal $(\infty ,n)$-category $\mathcal{C}$, evaluating a framed theory at a positively framed point identifies its space of theories with the space of fully dualizable objects of $\mathcal{C}$. The word “fully” records duals and adjoints at the lower-dimensional levels needed to cut and glue manifolds.^[ref]

In one dimension, a finite-dimensional vector space $V$ has a dual $V^{\ast }$. Evaluation and coevaluation describe interval pieces; closing them into a circle gives the trace of the identity, $Z(S^1)=\dim V$. This is the simplest glimpse of how assigning data to a point controls closed-manifold invariants.

The framing hypothesis matters. Passing to oriented or other tangentially structured theories requires corresponding extra compatibility data, often expressed as a homotopy-fixed-point condition. Nor does the statement classify arbitrary unextended field theories by their point values: those theories do not include all the lower-dimensional data in the first place.

The scalar assigned to a closed spacetime manifold by a topological quantum field theory. Gluing the two ends of a cylinder over a spatial manifold $\Sigma$ gives $Z(\Sigma \times S^1)=\mathrm{tr}(1_{V(\Sigma )})=\dim V(\Sigma )$. This is the ground-state degeneracy when the state space describes the topological ground sector of a gapped system.

A topological quantum field theory TQFT partition function for a closed oriented three-manifold presented by Dehn surgery on a framed link. With normalized Kirby color on each surgery component and the convention $Z(S^3)=1/\mathcal{D}$, it is ${\mathcal{D}}^{-1}{e}^{-2\pi ic\sigma /8}$ times the colored link evaluation. Here $\sigma$ is the signature of the linking matrix and $c$ is the chiral central charge.

For a stable relativistic quantum field theory in Minkowski space, a vacuum is a lowest-energy state for the chosen time evolution; a physical vacuum is normally also invariant under spacetime translations. It need not have zero fluctuations or vanish under every field operator. A free field's Fock vacuum is annihilated by its annihilation operators, while an interacting vacuum need not equal the free-theory Fock state. Multiple degenerate vacua permit spontaneous symmetry breaking. In curved spacetime the choice of time evolution and positive-frequency modes introduces additional vacuum ambiguity in a nonstationary spacetime.

A virtual particle is an internal contribution to a perturbative scattering amplitude, commonly represented by an internal line of a Feynman diagram. The line contributes a propagator, and its internal four-momentum is summed or integrated as required by the diagram. It need not satisfy the on-shell relativistic energy-momentum relation of an external detected particle.

For example, a virtual photon connects charged currents in electron scattering. This is a calculational contribution to the full interaction amplitude, rather than a directly observed photon flying between the electrons. Energy conservation and momentum conservation still hold at the vertices; off-shell propagation does not mean energy has been borrowed in violation of conservation. Individual virtual contributions can depend on the gauge or perturbative organization, whereas an observable prediction requires the appropriate complete amplitude.

An internal photon contribution in a perturbative interaction amplitude; it need not obey the on-shell relativistic energy-momentum relation of a detected free photon.

A quantum field is an operator-valued distribution on spacetime: smearing $\Phi (x)$ against a smooth test function gives an operator, whereas pointwise products can require renormalization. For example, a free complex scalar field contains particle annihilation operators and antiparticle creation operators. Its microcausality condition makes field commutators vanish at spacelike separation. For fermions, the corresponding locality condition uses anticommutators. This combines quantum operators with the spacetime locality of a quantum field theory.

For a quantum field with four-momentum operator $P^{\mu }$, spacetime dependence is implemented by the displayed conjugation. Taking a matrix element between momentum eigenstates gives $⟨q|\Phi (x)|p⟩=e^{i(q-p)\cdot x}⟨q|\Phi (0)|p⟩$. Differentiating gives $i{\partial }_t\Phi =[\Phi ,H]$ and $-i\nabla \Phi =[\Phi ,\mathbf{P}]$, connecting the Heisenberg equation of motion to spatial translation covariance.

For $p^2=m^2>0$, let a unitary operator $U$ implement a Lorentz boost taking $p$ to $(m,0)$. For a Lorentz scalar field, $⟨q|\varphi (x)|p⟩=⟨\Psi |\varphi (0)|m,0⟩$ with $|\Psi ⟩=e^{-i(q-p)\cdot x}U|q⟩$. The phase follows from translation covariance of a quantum field; its complex conjugate enters the bra. The transformed energy eigenvalue is $(\Lambda q{)}^0=p\cdot q/m$ by invariance of the Minkowski inner product. The reduction requires a massive initial state.

Algebraic quantum field theory assigns an observable algebra $\mathcal{A}(O)$ to each suitable spacetime region $O$. Inclusion of regions implies inclusion of algebras, and spacelike-separated algebras commute under microcausality. A state is a positive normalized functional on the observable algebra, so its restriction to a region specifies expectation values and correlations for that algebra. Spectrum conditions restrict translation representations, while primitive causality and time-slice axioms constrain the dynamics; these are different assumptions.

The time-slice axiom says that an algebra generated in an arbitrarily thin suitable neighbourhood of a Cauchy surface generates the algebra of its causal development. For $O$ such a neighbourhood in its development $D(O)$, this is $\mathcal{A}(O)=\mathcal{A}(D(O))$. Precise global and local versions can differ in the regions to which they apply. For a local hyperbolic field equation, later fields can be represented using the initial field and its conjugate momentum in the corresponding domain of dependence.

Primitive causality is a dynamical completeness condition: the state restricted to a suitable initial spacetime region determines its expectations throughout that region's domain of dependence. Algebraically one requires the later domain-of-dependence observable algebra to be contained in the initial algebra, under the identifications supplied by the dynamics. A local time-slice axiom gives this property for a neighbourhood of a Cauchy slice. Knowledge of the full restricted state, including correlations, is required; knowing only mean initial fields is insufficient.

In a translation-covariant quantum field theory on Minkowski spacetime, the joint spectrum of the energy-momentum generators is required to lie in the closed future light cone. With signature $(+,-,-,-)$ this means $p^0\ge 0$ and $p^2\ge 0$. The spectrum condition implements a positive-energy stability requirement in every inertial frame. It constrains the Fourier support and analyticity of vacuum correlation functions but does not by itself assert spacelike commutation or an initial-value property.

The joint energy-momentum spectrum lies in the closed forward light cone. In axiomatic quantum field theory, this condition permits analytic continuation of Wightman functions in suitable complex spacetime domains. Together with Lorentz invariance, microcausality and the positivity of the physical state space, it is one of the hypotheses behind the CPT theorem.

A scalar field theory describes one or more Lorentz scalar fields through an action. The displayed Lagrangian density is a common classical normalization for a real scalar field; a complex scalar field has two real components. Canonical quantization turns these classical degrees of freedom into operators. The free real scalar field gives spin-zero particles, while interactions arise from the potential $V$.

For a canonical real scalar field with metric signature $(-,+,+,+)$ and scalar potential $V$, variation of its minimally coupled action gives the displayed equation. A homogeneous field in an FLRW metric therefore obeys $\ddot{\phi }+3H\dot{\phi }+V^{\prime }(\phi )=0$ in natural units. Its energy density is ${\dot{\phi }}^2/2+V$ and its pressure is ${\dot{\phi }}^2/2-V$, which satisfy the cosmological continuity equation.

For interaction $-g{\phi }^{†}\phi \varphi$ with a real mediator of mass $m$, fixed-charge particle–antiparticle scattering has $s$- and $t$-channel exchange. At $|s|,|t|\ll m^2$, their amplitudes add to $2g^2/m^2$. Distinguishable massless final particles then give $\sigma \simeq g^4/(4\pi m^{4}s)$. There is no extra $u$ channel for the same fixed assignment of final charges.

For a scalar theory with positive kinetic and gradient energy, a potential attaining a global minimum, and boundary conditions admitting a constant minimizing field, the energy is bounded below by the integral of that potential minimum. A static constant field at the minimum attains the bound. A potential unbounded below, such as $-{\varphi }^4$, invalidates the existence claim; incompatible boundary values can require an inhomogeneous minimizer.

A theory of an $N\times N$ matrix of complex scalar fields with kinetic term $\mathrm{tr}(\partial {\Phi }^{†}\partial \Phi )$ and potential $V=\alpha \mathrm{tr}[({\Phi }^{†}\Phi {)}^2]/2+\beta [\mathrm{tr}({\Phi }^{†}\Phi ){]}^2/2+m^2\mathrm{tr}({\Phi }^{†}\Phi )$. It is invariant under global $SU(N{)}_L\times SU(N{)}_R\times U(1)$ transformations. For $\alpha ,\beta >0$ and $m^2<0$, minimizing the nonnegative eigenvalues of ${\Phi }^{†}\Phi$ gives a vacuum expectation value $C1$ with $C^2=-m^2/(\alpha +N\beta )$, up to a global symmetry transformation. The connected stabilizer is diagonal $SU(N)$, with $N^2$ broken generators. Expanding $\Phi =C1+(H+iP)/\sqrt{2}$ with Hermitian matrices gives $N^2$ massless Goldstone bosons in $P$ and squared masses $2C^2(\alpha +N\beta )$ for the singlet in $H$ and $2\alpha C^2$ for its traceless Adjoint representation. The faithful unbroken conjugation action factors through $SU(N)/{\mathbb{Z}}_N$.

A local real scalar field with Lagrangian density $\frac{1}{2}[({\partial }_t\varphi {)}^2-{\kappa }^2({\nabla }^2\varphi {)}^2-m^2{\varphi }^2]$ has the equation of motion ${\partial }_t^2\varphi +{\kappa }^2{\nabla }^4\varphi +m^2\varphi =0$. Two spatial integrations by parts produce the positive biharmonic operator in this equation. Its Hamiltonian is a sum of positive squares and each nonzero-frequency spatial Fourier mode quantizes as an oscillator with the displayed dispersion relation. Higher spatial derivatives do not require higher time derivatives. The theory has a preferred time and does not possess Lorentz invariance.

For real scalar fields with quartic potential energy density $V_4=\lambda ({\varphi }_1^4+{\varphi }_2^4)+2\mu {\varphi }_1^2{\varphi }_2^2$, nonnegativity in every direction is equivalent to the displayed conditions. Necessity follows on an axis and on ${\varphi }_1={\varphi }_2$. Sufficiency follows by writing $V_4=\lambda ({\varphi }_1^2-{\varphi }_2^2{)}^2+2(\lambda +\mu ){\varphi }_1^2{\varphi }_2^2$. With a positive quadratic mass term, equality cases still give a stable isolated classical vacuum at the origin. The quartic alone is strictly positive away from the origin precisely when $\lambda >0$ and $\mu >-\lambda$. Rotation symmetry additionally requires $\mu =\lambda$.

This first-order-in-time field theory has an annihilation-field expansion $\Psi =\int a_{\mathbf{p}}{e}^{-i{\mathbf{p}}^{2}t/(2m)+i\mathbf{p}\cdot \mathbf{x}}{d}^{3}p/(2\pi {)}^3$. Its adjoint creates particles; an antiparticle creation term is not required by a relativistic mass shell or Lorentz-invariant microcausality. It is often an effective low-energy sector of a relativistic charged theory after the antiparticle sector is omitted. This does not mean that antimatter cannot be treated nonrelativistically: one may introduce a separate nonrelativistic field for that species.

A real scalar field is a Hermitian spin-zero field whose components are unchanged by proper Lorentz transformations apart from their spacetime arguments. Its free relativistic equation is the Klein-Gordon equation, and its mode expansion combines an annihilation contribution with its Hermitian conjugate.

The elementary free excitation is its own antiparticle, so there are not independent particle and antiparticle charges as in a charged complex field. Interactions such as a quartic potential modify correlations and scattering while retaining scalar transformation character. Reality alone does not guarantee a reflection symmetry $\varphi \mapsto -\varphi$; an allowed cubic term can break that extra symmetry. A specified field content and action, rather than the word scalar alone, determine the physical symmetries.

A free real scalar field with zero mass has the displayed wave equation in Minkowski spacetime. In curved spacetime its dynamics also depend on curvature coupling: a minimally coupled massless scalar field and a conformally coupled scalar field need not have the same cosmological modes.

The displayed action functional contains no mass term and no $R{\varphi }^2$ curvature coupling. Its Euler-Lagrange field equation is ${\partial }_{\mu }(\sqrt{-g}{g}^{\mu \nu }{\partial }_{\nu }\varphi )=0$. In a flat FLRW metric, a Fourier mode obeys ${\varphi }_k^{\prime \prime }+2(a^{\prime }/a){\varphi }_k^{\prime }+k^2{\varphi }_k=0$ in four dimensions. The expansion can therefore freeze these modes; the curvature term of a conformally coupled scalar field changes that conclusion.

In the flat slicing of de Sitter spacetime, $a\propto -1/\eta$, $\eta <0$, a Fourier mode of a minimally coupled massless scalar field obeys $f_k^{\prime \prime }-2f_k^{\prime }/\eta +c^2{k}^2{f}_k=0$. Substitution verifies the displayed positive-frequency branch. The Canonically rescaled de Sitter scalar mode is $u_k=a{f}_k$, a different variable satisfying $u_k^{\prime \prime }+(c^2{k}^2-2/{\eta }^2)u_k=0$. For nonzero $k$, the opposite-frequency branch completes the time solution; at $k=0$ the solutions are $1$ and ${\eta }^3$. This separation avoids losing the homogeneous decaying mode by taking a restricted ansatz literally at zero wave number.

A real scalar triplet groups three real scalar components into a vector under SO(3). Equivalently it is the three-dimensional Adjoint representation of SU(2), whose center acts trivially. Its rotationally invariant quadratic and quartic potentials depend on $\Phi \cdot \Phi$. A nonzero vacuum direction leaves rotations around that direction unbroken.

A real triplet with a rotationally invariant common mass term has three conserved internal currents. With the displayed sign convention, the current for $\delta \mathbf{\varphi }=\theta \mathbf{n}\times \mathbf{\varphi }$ is the negative of the conventional canonical current contracted with $\mathbf{n}$. Overall current sign does not affect conservation. Integrated charges require convergent integrals and vanishing net boundary flux; a local continuity equation alone does not guarantee conservation in an open region.

A relativistic real scalar field theory with a periodic cosine potential. In physical coordinates $y^{\mu }$, one normalization is $\mathcal{L}=\frac{1}{2}{\partial }_{\mu }\phi {\partial }^{\mu }\phi -m^2(1-\cos \beta \phi )/{\beta }^2$. With $\varphi =\beta \phi$ and $x^{\mu }=m{y}^{\mu }$, its action is $S={\beta }^{-2}\int d^{2}x[\frac{1}{2}(\partial \varphi {)}^2+\cos \varphi -1]$. Its Euler-Lagrange field equation is the Sine-Gordon equation. Distinct scalar-field vacua differ by $2\pi$ in $\varphi$, permitting a Sine-Gordon kink.

At renormalized coupling $\gamma =8\pi /n$, the kink-antikink transmission poles lie at $\vartheta =i\pi (1-k/n)$. The relativistic bound-state mass from a rapidity pole gives the displayed increasing breather masses. The kink mass is $M=mn/\pi$, and $k=n$ is an excluded threshold state. No breathers occur at $n=1$; scattering involving a physical second breather requires $n\ge 3$.

For the transmitting product with factors $\cosh [(\theta -i\pi j/N)/2]/\cosh [(\theta +i\pi j/N)/2]$ and prefactor $(-1{)}^N$, the continuous phase on $\theta \ge 0$ is $\pi N-2{\sum }_{j=1}^{N-1}\arctan [\tanh (\theta /2)\tan (\pi j/(2N))]$. Its derivative is $-{\sum }_j\sin (\pi j/N)/[\cosh \theta +\cos (\pi j/N)]$. A Riemann sum at fixed positive rapidity gives $(2N/\pi )\log \tanh (\theta /2)$ at leading order. The endpoints depend on the stated unwrapped branch; setting the high-energy value to zero silently changes the constant.

The second breather is a bound pair of first breathers with constituent shifts $\pm ia$. The bound-state fusion of factorized S-matrices gives $S_{2,1}=S_{1,1}(\vartheta +ia)S_{1,1}(\vartheta -ia)$, which factors as displayed. The nearest physical-strip pole at $\vartheta =ia$ is a crossed-channel exchange of the first breather. At $n=3$ the more distant center pole is double, without changing that nearest-pole interpretation.

At the closest physical-strip pole of $S_{2,1}$, the difference of the analytically continued external momenta has squared mass $m_1^2$. Using $m_2=2m_1\cos a$ makes the identity immediate. Thus the exchanged t-channel one-particle state is the lightest Sine-Gordon breather, not a new member of the spectrum.

For the angular field $u=\beta \varphi$ and coordinates $\xi =m(x+t)/2$, $\eta =m(x-t)/2$, let $w=(v+u)/2$ and $d=(v-u)/2$. The displayed relations imply $u_{\xi \eta }=\sin u$ and $v_{\xi \eta }=\sin v$. They define a Bäcklund transformation with the reciprocal parameter convention used in the Bianchi permutability for sine-Gordon Bäcklund transformations. Physical-field trigonometric arguments include the coupling $\beta$.

For $\tau =x+t$, $\rho =x-t$, the unit-mass Sine-Gordon equation is ${\varphi }_{\tau \rho }=\frac{1}{4}\sin \varphi$. An auto-Bäcklund transformation with these coordinates isDifferentiate each relation in the other coordinate and add or subtract; the sine addition formula gives ${\varphi }_{j,\tau \rho }=\frac{1}{4}\sin {\varphi }_j$ for $j=0,1$. Doubling both right-hand sides instead gives ${\varphi }_{j,\tau \rho }=\sin {\varphi }_j$, hence a sine-Gordon equation with mass squared four. Those doubled coefficients are appropriate for the half-scaled coordinates $(x+t)/2,(x-t)/2$.

Two compatible Bäcklund steps commute after integration constants are matched. The displayed superposition relation constructs their common output algebraically from the seed and the two one-step outputs, in the reciprocal-parameter convention of the Sine-Gordon Bäcklund transformation. It uses the angular field $u=\beta \varphi$. Smooth inverse-tangent branch continuation is required to retain the correct vacuum labels.

Write the transformed angular field as $v=u+2d$. The Sine-Gordon Bäcklund transformation gives $\sin d=a(u_{\xi }+d_{\xi })$, determining $d$ as a formal local derivative expansion in $a$. The displayed exact current identity yields a conservation law at each order. Formal convergence is unnecessary because each coefficient obeys an exact identity on solutions.

The Bäcklund expansion produces local differential-polynomial currents. In the coordinates $\xi =m(x+t)/2$, $\eta =m(x-t)/2$, their charges are $\int (P_j+Q_j)dx$ with vanishing boundary flux. Derivative improvements contribute no new charge. The first nontrivial higher current can be written $P=u_{\xi \xi }^2-u_{\xi }^4/4$, $Q=\cos u{u}_{\xi }^2$. Continuing, and exchanging light-cone directions, produces the infinite higher-spin hierarchy characterizing classical integrability.

With canonical field $\phi =\varphi /\beta$, the quartic interaction has coupling $-m^2{\beta }^2$. Cancelling the vacuum tadpole diagram requires the divergent mass counterterm $\delta m^2=(m^2{\beta }^2/4){\int }_{-\Lambda }^{\Lambda }dk/[2\pi \sqrt{k^2+1}]$. Its kink energy is $\Delta M_{\mathrm{ct}}=4\delta m^2/(m{\beta }^2)$ because $\int (1-\cos {\varphi }_K)dx=4$. This cancels the logarithmic ultraviolet divergence in the one-loop soliton mass correction. Finite parts depend on the renormalization condition.

For real parameters with ${\kappa }_i^2-b_i^2=1$, set $E_i=e^{{\kappa }_{i}x-b_{i}t+{\gamma }_i}$ and $a_{ij}=[({\kappa }_i-{\kappa }_j{)}^2-(b_i-b_j{)}^2]/[({\kappa }_i+{\kappa }_j{)}^2-(b_i+b_j{)}^2]$. Sum ${\prod }_i{E}_i^{{\mu }_i}{\prod }_{i<j}{a}_{ij}^{{\mu }_i{\mu }_j}$ over binary vectors of even parity for $f$ and odd parity for $g$. The Sine-Gordon equation solution is the continuous field $4\arg (f+ig)$. In the all-kink sector, ${\kappa }_i=\cosh {\theta }_i$, $b_i=\sinh {\theta }_i$ and $a_{ij}=-{\tanh }^2[({\theta }_i-{\theta }_j)/2]$. Treating these coefficients as positive would change the solution. Distinct rapidities give separated incoming and outgoing solitons.

The static kink ${\varphi }_K(x)=4\arctan e^{x-a}$ joins adjacent scalar-field vacua $0$ and $2\pi$. It obeys ${\varphi }_K^{\prime }=2\mathrm{sech}(x-a)$ and has topological charge $Q=[\varphi (+\infty )-\varphi (-\infty )]/(2\pi )=1$. In the Sine-Gordon theory normalization with physical mass scale $m$ and coupling $\beta$, its classical mass is $8m/{\beta }^2$. A Lorentz boost gives ${\varphi }_K=4\arctan \exp [(x-vt-a)/\sqrt{1-v^2}]$. Spatial reflection gives an antikink.

The identically conserved topological current $j$ couples to an external electromagnetic gauge potential through $-A_{\mu }{j}^{\mu }=-A_0{\theta }_x+A_1{\theta }_t$. A gauge transformation changes this coupling only by a divergence. The Euler-Lagrange field equation becomes ${\theta }_{tt}-{\theta }_{xx}+\sin \theta +E=0$, with $E={\partial }_t{A}_1-{\partial }_x{A}_0$. A unit Sine-Gordon kink has unnormalized charge $Q=2\pi$ and mass $8$. For spatially uniform forcing, its field momentum balance is $\dot{P}=QE$ when the boundary stress contributions cancel.

This localized two-soliton field has zero net winding and describes an elastic kink-antikink collision for $0<v<1$. Two reciprocal positive Bäcklund parameters produce it from the vacuum. Analytic continuation of $v$ to an imaginary value gives a real Sine-Gordon breather. The overall field sign and spacetime translations change conventions, not the field equation.

The zero-relative-speed limit of the Sine-Gordon kink-antikink scattering solution is a separatrix at twice the rest-kink energy. A Sine-Gordon Bäcklund transformation of the static kink with equal parameter gives $p_x=-p\tanh x$, $p_t=\mathrm{sech}x$ for $p=\tan (\varphi /4)$, hence the displayed solution. The two asymptotic transitions separate logarithmically in time and their speeds tend to zero; this is not a finite-period Sine-Gordon breather.

For $0<v<1$ and $\Gamma =(1-v^2{)}^{-1/2}$, this real two-soliton solution has angular winding $4\pi$. Its separated kink velocities are $\pm v$. At large times the centers satisfy $|m\Gamma x|=|m\Gamma vt|-\log v+o(1)$, giving a right-moving shift $-2\log v/(m\Gamma )$. It follows from Bianchi permutability for sine-Gordon Bäcklund transformations with oppositely signed seed parameters.

For two equal-charge Sine-Gordon kinks with speeds $\pm v$, $0<v<1$, the positive spatial transition satisfies $X_{+}(T)=v|T|-\log v/(m\gamma )+o(1)$, where $\gamma =(1-v^2{)}^{-1/2}$. Labeling a soliton by its preserved rapidity, the right-moving incoming and outgoing intercepts differ by $-2\log v/(m\gamma )$. The soliton time delay at a fixed distant location is minus this shift divided by $v$, giving the displayed negative value. Reversing the entire field gives two antikinks with the same shifts. The sign means an advance relative to extrapolation of the incoming line; labels tied to left and right positions instead exchange velocities during reflection.

The second variation of the Sine-Gordon theory action about its static kink gives ${\Delta }_x=-{\partial }_x^2+1-2{\mathrm{sech}}^{2}x$. Let $A={\partial }_x+\tanh x$. Then ${\Delta }_x=A^{†}A$ and $A{A}^{†}=-{\partial }_x^2+1$. Thus ${\Delta }_x$ is nonnegative, with its translational zero mode of a sine-Gordon kink and a continuum at ${\omega }^2=k^2+1$. The construction is the supersymmetric factorization of the one-soliton potential.

The normalized eigenfunction ${\psi }_0(x)=\mathrm{sech}x/\sqrt{2}$ has zero eigenvalue under the Sine-Gordon kink fluctuation operator. It is proportional to ${\partial }_x{\varphi }_K$ and comes from shifting the collective coordinate of the kink. Its frequency is zero, so it contributes no oscillator zero-point energy; it must be handled separately from a Gaussian functional determinant.

A scalar field configuration eigenstate assigns eigenvalues of the equal-time field operator at every spatial point. These generalized states play the role of position eigenstates for a system of infinitely many coordinates. Inserting their regulated completeness relations on time slices constructs the scalar field path integral.

For a free massive scalar in a Euclidean path integral, inversion of the quadratic kernel gives ${\Delta }_E(p)=1/(p^2+m^2)$. The Minkowski version follows by Wick rotation.

For a Hermitian scalar field in a positive-norm Hilbert space with a Lorentz-invariant vacuum, the spectrum condition and completeness give the connected vacuum two-point function as a superposition of free mass-shell functions. Define the Källén–Lehmann spectral density by $\tilde{W}(p)=2\pi \theta (p^0)\rho (p^2)$, where $W(x)=⟨0|\varphi (x)\varphi (0)|0⟩$ and its vacuum expectation value has been subtracted if nonzero. Squared intermediate-state matrix elements make $\rho$ a nonnegative measure supported on nonnegative mass squared. Applying time ordering to each free mass shell gives the displayed Feynman propagator representation, using $i\Delta =⟨T\varphi \varphi ⟩$ and signature $(+---)$. Its positivity does not automatically extend to gauge-variant fields in an indefinite auxiliary space.

The Källén–Lehmann spectral density is the nonnegative invariant-mass measure in a scalar vacuum two-point function. With complete intermediate states it satisfies $2\pi \theta (p^0)\rho (p^2)=(2\pi {)}^4{\sum }_{\alpha }|⟨\alpha |\varphi (0)|0⟩{|}^2{\delta }^4(p-p_{\alpha })$, with continuous state measures included in the sum. A stable one-particle state of mass $m$, with covariant normalization and squared field overlap $Z$, contributes $Z\delta (\sigma -m^2)$. Other particles and multiparticle states contribute additional nonnegative weight. The isolated pole of the scalar propagator then has residue $Z$.

For a real scalar field with canonical field normalization, impose $[\dot{\varphi }(t,\mathbf{x}),\varphi (t,\mathbf{y})]=-i{\delta }^3(\mathbf{x}-\mathbf{y})$. The Källén–Lehmann spectral representation also represents its vacuum commutator as the weighted sum of free commutators. The equal-time derivative of each free commutator is $-i{\delta }^3(\mathbf{x}-\mathbf{y})$ independently of mass. Comparison therefore gives the displayed sum rule, whenever the canonical commutator and spectral integral admit this distributional limit. Since the measure is nonnegative, an isolated one-particle weight obeys $0\le Z\le 1$, and is strictly positive if the field couples to that particle. Arbitrary rescaling of the field rescales the total spectral weight, so positivity alone does not imply this normalization or upper bound.

A smooth-cutoff scalar propagator is the inverse of a positive regulated quadratic kernel. It agrees with the unregulated scalar propagator at low momentum and decreases rapidly at high momentum. Smooth suppression is not identical to vanishing support. Its cutoff derivative is the line weight in an exact renormalization-group flow.

The Gaussian contraction used while integrating out a momentum shell. Its Fourier support lies entirely in that shell. In particular, convolution with a purely low-momentum field is zero. This distinguishes shell Feynman diagrams from unrestricted loop diagrams.

A nonminimal scalar coupling includes an interaction between the field and spacetime curvature, such as $-\xi R{\Phi }^2$ in the Lagrangian density. The Euler-Lagrange field equation for $\mathcal{L}=-\frac{1}{2}(\nabla \Phi {)}^2-\xi R{\Phi }^2$ is $\square \Phi -2\xi R\Phi =0$. The coefficient is convention dependent: an action written with $-\frac{1}{2}\xi R{\Phi }^2$ has $\xi$ instead of $2\xi$.

For two free real scalar fields, the internal rotation $\delta {\varphi }_1=\theta {\varphi }_2$, $\delta {\varphi }_2=-\theta {\varphi }_1$ is a symmetry precisely when their squared masses agree. Its Noether current is $j^{\mu }={\varphi }_2{\partial }^{\mu }{\varphi }_1-{\varphi }_1{\partial }^{\mu }{\varphi }_2$. Without mass degeneracy, ${\partial }_{\mu }{j}^{\mu }=(m_2^2-m_1^2){\varphi }_1{\varphi }_2$.

For the internal rotation symmetry of two real scalar fields with $\delta {\varphi }_1=\alpha {\varphi }_2$ and $\delta {\varphi }_2=-\alpha {\varphi }_1$, the Noether charge is $Q=i\int (a_1^{†}{a}_2-a_2^{†}{a}_1)d^{3}p/(2\pi {)}^3$. Its commutators satisfy $[Q,b_{\pm }^{†}]=\pm b_{\pm }^{†}$, so these creation operators produce charge eigenstates in the one-particle state sector. Substitution gives $Q=N_{+}-N_{-}$, converting the rotation of real components into opposite charges in a complex basis.

The equal-time canonical commutation relation is $[\varphi (t,\mathbf{x}),\pi (t,\mathbf{y})]=i{\delta }^3(\mathbf{x}-\mathbf{y})$ in units $\hslash =1$, with the two field-field and momentum-momentum commutators zero. The quadratic Hamiltonian operator gives $\dot{\varphi }=\pi$ and $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$, hence the Klein-Gordon equation as an operator identity.

With $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, a free real scalar field has mode expansion of a free field $\varphi =\int d{\Pi }_p(a{e}^{-ipx}+a^{†}{e}^{ipx})$ and commutator $[a(p),a^{†}(q)]=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. Substitution into the quadratic Hamiltonian density gives $H=\frac{1}{2}\int d{\Pi }_p{E}_p(a^{†}a+a{a}^{†})$. The terms with two annihilation operators or two creation operators cancel by $E_p^2={\mathbf{p}}^2+m^2$. Normal ordering removes the constant vacuum energy. The commutators $[H,a(p)]=-E_{p}a(p)$ and $[H,a^{†}(p)]=E_p{a}^{†}(p)$ give the boson energy without changing under this subtraction. Replacing $a(p)$ by $\sqrt{2E_p}c(p)$ recovers the noncovariant normalization $[c(p),c^{†}(q)]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$.

Insert the real scalar field mode expansion into its quadratic Hamiltonian density and use the Fourier representation of the Dirac delta function. The two-annihilator and two-creator terms cancel by $E_{\mathbf{p}}^2={\mathbf{p}}^2+m^2$. The remaining symmetric expression is $H=\frac{1}{2}\int d^{3}p{E}_{\mathbf{p}}(a^{†}a+a{a}^{†})/(2\pi {)}^3$. Normal ordering removes its constant vacuum energy, yielding the displayed operator. The canonical commutation relations give $[:H:,a_{\mathbf{p}}]=-E_{\mathbf{p}}{a}_{\mathbf{p}}$ and $[:H:,a_{\mathbf{p}}^{†}]=E_{\mathbf{p}}{a}_{\mathbf{p}}^{†}$.

For the real scalar field expansion $\varphi =\int d^{3}p[a_{\mathbf{p}}{e}^{-ipx}+a_{\mathbf{p}}^{†}{e}^{ipx}]/((2\pi {)}^3\sqrt{2E_{\mathbf{p}}})$, the equal-time fields extract $a_{\mathbf{p}}=e^{iEt}\int d^{3}x{e}^{-i\mathbf{p}\cdot \mathbf{x}}[\sqrt{E/2}\varphi +i\pi /\sqrt{2E}]$. The two mixed canonical commutation relation terms yield $[a_{\mathbf{p}},a_{\mathbf{q}}^{†}]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$, while the other oscillator commutators vanish. This verifies the normalization of the mode expansion directly from the canonical fields.

Phi-fourth theory has a scalar interaction $-\lambda {\varphi }^4/4!$. In four dimensions its coupling is classically marginal, and its one-loop four-point function receives bubble corrections in the three Mandelstam channels.

For a real scalar field with interaction $-\lambda {\varphi }^4/4!$, the first Dyson series term is $-i\lambda \int {\varphi }^4{d}^{4}x/4!$. Four labeled external legs can attach to the four fields in $4!$ ways, or in $\left(\genfrac{}{}{0ex}{}{4}{2}\right)2!2!=24$ ways after separating incoming and outgoing legs. The factorial cancels and spacetime integration supplies the four-momentum conservation delta function. This gives the connected tree scattering amplitude $-\lambda$. The separate identical final-state symmetry factor belongs in the event phase-space integral and is not another vertex factor.

For a connected six-external-leg Feynman diagram made from quartic vertices, $4V=6+2I$ and $L=I-V+1$ give $V=L+2$, $I=2L+1$. A tree therefore has two vertices and one internal line; partitioning six labelled external legs into two triples gives ten tree channels. A one-loop triangle has three vertices, three internal lines and two external legs at each vertex. With external labels fixed, that triangle has symmetry factor one. Other one-loop topologies also contribute to the full amplitude.

With interaction $-{\mu }^{ϵ}\lambda {\varphi }^4/4!$ and $d=4-ϵ$, the two-point tadpole diagram has symmetry factor $1/2$. The Euclidean massive loop integral gives its pole through $I_{d,1}=-m^2/(8{\pi }^2ϵ)+O(1)$. The three four-point bubble diagrams each have symmetry factor $1/2$, and the massive scalar bubble pole in four dimensions gives the quartic counterterm. The tadpole is independent of external momentum, so no one-loop wave-function renormalization is required. A vacuum-energy counterterm is additionally needed if vacuum diagrams are retained.