--- title: Worldline Formalism in Quantum Field Theory url: https://www.emergentmind.com/topics/worldline-formalism type: topic --- # Worldline Formalism in Quantum Field Theory The worldline formalism is a first-quantized reformulation of perturbative quantum field theory in which propagators, effective actions, heat kernels, and scattering amplitudes are written as path integrals over relativistic particle trajectories rather than as sums of second-quantized Feynman diagrams. Open worldlines represent propagation between fixed endpoints, closed worldlines represent one-loop traces and effective actions, and external particles are inserted by vertex operators along the line or loop. In this representation the Schwinger proper time \(T\) is explicit, many diagram orderings are absorbed into a single parameter integral, and the same framework extends to spin, color, curved space, boundaries, external fields, and several semiclassical or numerical constructions [1912.10004][2201.12457][2304.07404]. ## 1. First-quantized basis and proper-time representation At its most basic level, the formalism starts from Schwinger’s proper-time representation of inverse operators and functional determinants. For a scalar particle in a background gauge field \(A_\mu\), the propagator can be written as \[ D^{xx'}[A] = \left\langle x' \left| \int_0^\infty dT\, e^{-T\left[-(\partial+ieA)^2+m^2\right]} \right| x \right\rangle = \int_0^\infty dT\, e^{-m^2T} \int_{x(0)=x}^{x(T)=x'} \mathcal D x(\tau)\, e^{-\int_0^T d\tau \left(\frac14 \dot x^2 + ie\,\dot x\cdot A(x(\tau))\right)} . \] For a closed worldline, the corresponding one-loop scalar effective action is \[ \Gamma_{\rm scal}[A] = \int_0^\infty \frac{dT}{T}\, e^{-m^2T} \int_{x(0)=x(T)} \mathcal D x(\tau)\, e^{-\int_0^T d\tau \left(\frac14 \dot x^2 + ie\,\dot x\cdot A(x(\tau))\right)} . \] The same proper-time logic underlies the heat-kernel representation of one-loop determinants in curved or bounded settings, where \(\mathrm{Tr}\,e^{-T(-\triangle)}\) or \(\mathrm{Tr}\,e^{-T(-\slashed D^2)}\) becomes the transition amplitude of an auxiliary particle evolving for proper time \(T\) [2201.12457][1905.00945][2403.00218]. This representation makes the distinction between open and closed worldlines structural rather than incidental. Open lines are the natural language for propagators and dressed external legs; closed loops are the natural language for trace logs and one-loop amplitudes. On closed loops one removes the translational zero mode of the kinetic operator, while on open lines Dirichlet-type endpoint conditions make the quadratic operator invertible without zero-mode subtleties. The proper-time measure also produces the standard free determinant factor \((4\pi T)^{-D/2}\), which is the particle analogue of a one-loop Gaussian determinant [2201.12457][1912.10004]. A central consequence is that the formalism reorganizes perturbation theory before any explicit integration is done. Instead of assigning an independent loop momentum to each diagram, one integrates over a single trajectory and over the insertion positions of external quanta. This is the point-particle counterpart of the string-inspired viewpoint developed in the Bern–Kosower and Strassler tradition, and it is the source of the compact master formulas that distinguish worldline calculations from ordinary graph-by-graph perturbation theory [2201.12457][1912.10004]. ## 2. Green functions, vertex operators, and master formulas The Gaussian evaluation of worldline path integrals is controlled by one-dimensional Green functions. For a closed bosonic loop with zero mode removed, the bosonic Green function is \[ G_B(\tau_i,\tau_j)=|\tau_i-\tau_j|-\frac{(\tau_i-\tau_j)^2}{T}, \] with derivatives \[ \dot G_B(\tau_i,\tau_j)=\mathrm{sign}(\tau_i-\tau_j)-2\frac{\tau_i-\tau_j}{T}, \qquad \ddot G_B(\tau_i,\tau_j)=2\delta(\tau_i-\tau_j)-\frac{2}{T}. \] For open lines, the corresponding Green function is \[ \Delta(\tau,\tau')=\frac{|\tau-\tau'|}{2}-\frac{\tau+\tau'}{2}+\frac{\tau\tau'}{T}. \] These kernels encode all Wick contractions of position and velocity insertions along the worldline [2201.12457][2208.06585][1912.10004]. External photons are represented by vertex operators. In scalar QED the basic insertion is \[ V_{\rm scal}^\gamma[k,\varepsilon]=\int_0^T d\tau\, \varepsilon\cdot \dot x(\tau)\, e^{ik\cdot x(\tau)}. \] After Gaussian contraction one obtains the standard scalar-QED one-loop \(N\)-photon master formula \[ \Gamma[\{k_i,\varepsilon_i\}] = (-ie)^N (2\pi)^D \delta\!\left(\sum k_i\right) \int_0^\infty \frac{dT}{T}(4\pi T)^{-D/2}e^{-m^2T} \prod_{i=1}^N \int_0^T d\tau_i \] \[ \times \exp\left\{ \sum_{i,j=1}^N \left[ \frac12 G_{Bij}\,k_i\cdot k_j -i\dot G_{Bij}\,\varepsilon_i\cdot k_j +\frac12 \ddot G_{Bij}\,\varepsilon_i\cdot \varepsilon_j \right] \right\} \Big|_{\varepsilon_1\cdots \varepsilon_N}. \] The notation \(\big|_{\varepsilon_1\cdots \varepsilon_N}\) means projection onto the term multilinear in all polarizations. On open lines an analogous master formula generates the scalar propagator dressed by an arbitrary number of photons [2201.12457][1912.10004]. Spin is incorporated either by a spin factor, \[ {\rm Spin}[x,A] = {\rm tr}_\Gamma\, \mathcal P \exp\left[ \frac{i}{4}e[\gamma^\mu,\gamma^\nu]\int_0^T d\tau\,F_{\mu\nu}(x(\tau)) \right], \] or, more efficiently, by Grassmann worldline fields \(\psi^\mu(\tau)\) with anti-periodic boundary conditions, \[ {\rm Spin}[x,A] = \int {\cal D}\psi(\tau)\, \exp\left[ -\int_0^T d\tau \left( \frac12 \psi\cdot\dot\psi -ie\,\psi^\mu F_{\mu\nu}\psi^\nu \right) \right]. \] This replacement turns path ordering into ordinary Gaussian contraction and leads to the Bern–Kosower cycle replacement rule: after integration by parts removes all \(\ddot G\) terms, every bosonic \(\tau\)-cycle \[ \dot G_{i_1 i_2}\dot G_{i_2 i_3}\cdots \dot G_{i_n i_1} \] is replaced by \[ \dot G_{i_1 i_2}\dot G_{i_2 i_3}\cdots \dot G_{i_n i_1} - G_{F i_1 i_2}G_{F i_2 i_3}\cdots G_{F i_n i_1}, \] thereby converting scalar-loop formulas into spinor-loop formulas without fresh Dirac algebra [2304.07404][2208.06585][1912.10004]. ## 3. Diagram summation and the analytic integration problem The formalism’s most distinctive structural feature is that the \(\tau_i\)-integrations already sum over large families of Feynman diagrams. At one loop, diagrams that differ only by the ordering of external legs around the loop are encoded by a single master integral. In the four-photon case, for example, six inequivalent cyclic orderings that would appear as separate one-loop diagrams in a standard approach are unified by the same unordered \(\tau_i\)-integral [2201.12457]. This compression produces a non-standard analytic problem. After rescaling \(\tau_i=T u_i\), one encounters integrals of the form \[ \int_0^1 du_1\cdots du_N\, \mathrm{Pol}(\dot G_{ij})\, \exp\left[\sum_{i0\), reflecting across the interface \(x_D=0\), and replacing the original bounded geometry by a doubled geometry \(\tilde B^D\simeq\mathbb R^D\) with reflected metric \[ g_{ij} = \frac{4}{\left(1+x^2+2|x_D|\right)^2}\,\delta_{ij}. \] The price is that the reflected metric is only \(C^0\), so curvature becomes concentrated at the interface: \[ R_{ij}=4\,\frac{\delta_{ij}+(D-2)\delta_{iD}\delta_{jD}}{1+x^2}\,\delta(x_D), \qquad R=2(D-1)\left(1+x^2\right)\delta(x_D). \] Boundary effects are therefore encoded as singular \(\delta\)- and \(\theta\)-type interactions in the worldline Hamiltonian rather than by an explicit restriction of the Gaussian measure on the original ball [1905.00945]. Dirichlet and Neumann conditions are then imposed by an image decomposition. If \(\tilde x\) is the reflection of \(x\) across the interface, the heat trace on the physical region is \[ \mathrm{Tr}\,e^{-T(-\triangle)} = \int_{\mathbb R^{D-1}\times\mathbb R^+}dx\,\sqrt g\, \langle x|e^{-T(-\triangle)}|x\rangle \mp \int_{\mathbb R^{D-1}\times\mathbb R^+}dx\,\sqrt g\, \langle \tilde x|e^{-T(-\triangle)}|x\rangle, \] with the upper or lower sign corresponding to Dirichlet or Neumann boundary conditions. The direct contribution sums over loops returning to the same point in the doubled space, while the indirect contribution sums over paths ending at the reflected point; these indirect trajectories correspond to physical paths that touch the boundary. In \(D=2\) this construction reproduces \[ a_0(B^2)=\pi,\qquad a_1(B^2)=\pm \pi^{3/2},\qquad a_2(B^2)=\frac{2\pi}{3}, \] in agreement with standard heat-kernel coefficients for the disk [1905.00945]. The same logic has been extended to spinors. For a Dirac field on a curved two-dimensional half-plane with MIT bag boundary conditions, the heat kernel is written on a doubled manifold as \[ K_M(x,y,\eta;x',y',\bar\eta;T) = \langle x',y',\bar\eta| e^{-T\widetilde H}|x,y,\eta\rangle + \langle x',-y',\bar\eta| \chi\, e^{-T\widetilde H}|x,y,\eta\rangle, \] where \(\chi=\Pi_+-\Pi_-=i\slashed n\,\gamma^{\mathrm{ch}}\) is a spinorial reflection operator and the doubled Hamiltonian contains a projector-valued boundary \(\delta\)-interaction acting on the \(\Pi_+\) sector. This realizes the mixed MIT bag boundary problem as a direct-plus-image decomposition in which \(\Pi_-\) behaves as a Dirichlet sector and \(\Pi_+\) as a Robin sector. The resulting Seeley–DeWitt coefficients are \[ a_0=2\,\mathrm{Vol}(M),\qquad a_1=0,\qquad a_2 = -\frac16 \int_M dx\,dy\,\sqrt g\,R -\frac13 \int_{\partial M} dx\,\sqrt h\,L, \] again matching known heat-kernel results [2403.00218]. These constructions show that boundaries in the worldline formalism are not merely exclusions of paths. After doubling, the boundary is converted into a singular interface whose geometry enters as explicit interaction vertices in the first-quantized Hamiltonian. This is the mechanism by which heat-kernel asymptotics, boundary anomalies, and mixed boundary conditions are recovered in a first-quantized language [1905.00945][2403.00218]. ## 5. Color, representations, and higher-spin particle models Non-Abelian gauge couplings introduce path ordering, which is awkward to impose directly in a first-quantized path integral. A standard resolution is to add auxiliary worldline color fields. For a Dirac particle in a non-Abelian background, one introduces color variables \(\tilde\phi^r,\phi_r\) with first-order kinetic term \(i\tilde\phi\dot\phi\), so that their contractions generate step functions and thereby reproduce ordered Wilson-line couplings dynamically. A single Grassmann family produces the direct sum of all totally antisymmetric tensor powers of the fundamental; a single bosonic family produces all totally symmetric tensor powers. Gauging a worldline \(U(1)\) symmetry with a Chern–Simons coupling projects onto fixed occupation number, and partially gauging a family \(U(F)\) symmetry with the appropriate Faddeev–Popov measure projects onto an arbitrary irreducible \(SU(N)\) representation [1607.04230]. In the multi-family Grassmann construction, the color partition function on the circle factorizes over angular moduli \(\theta_k\), and the Faddeev–Popov determinant \[ \mu(\{\theta_k\}) = \prod_{j