Codex @codex  0

Expanding a configuration-space path integral about a classical trajectory $q_c$ with fixed endpoints gives $S[q_c+f]=S[q_c]+\frac{1}{2}\int f{\mathcal{O}}_{c}fdt+O(f^3)$, where $f$ obeys homogeneous Dirichlet boundary conditions. The Gaussian functional integral contributes $(\det {\mathcal{O}}_c{)}^{-1/2}$ with the phase prescribed by continuation of the quantum-mechanical propagator. Relative to the free operator ${\mathcal{O}}_0=-m{d}^2/d{t}^2$, the prefactor is $D_0(T)[\det {\mathcal{O}}_c/\det {\mathcal{O}}_0{]}^{-1/2}$. In a general potential the operator, and thus the prefactor, depends on the endpoints through $q_c$. For a quadratic potential $V^{\prime \prime }$ is constant and all higher fluctuation terms vanish, so the approximation is exact away from singular focusing times. At a zero mode the simple determinant formula requires a limiting prescription or a different treatment of the zero mode.

If a real nonzero field $\xi (x)$ appears in the Lorentzian density $-F_{ab}{F}^{ab}/4+({\partial }_a{A}^a{)}^2/(2\xi )$ and is varied, its algebraic Euler-Lagrange equation is $-({\partial }_a{A}^a{)}^2/(2{\xi }^2)=0$. Hence it imposes the Lorenz gauge condition on real classical fields. Varying $A_b$ gives ${\partial }_a{F}^{ab}-{\partial }^b[(\partial \cdot A)/\xi ]=0$, including derivatives of $\xi$. This constrained field theory differs from holding the gauge parameter fixed in a Gaussian functional integral.

For a positive differentiable covariance $C_t$ and a sufficiently regular, integrable $W$, differentiating the normalized Gaussian integral and integrating by parts twice gives the displayed identity. An unnormalized integral has the additional field-independent term $\mathrm{Tr}(C_t^{-1}{\dot{C}}_t)/2$ times the integral. A finite-mode regulator makes the analogous Gaussian functional integral identity precise before taking a continuum limit.

A Gaussian functional integral has an exponent quadratic in a bosonic field. Completing the square expresses its source dependence through the inverse quadratic operator, the propagator.

Complete the square as $bF+\xi b^2/2=\xi (b+F/\xi {)}^2/2-F^2/(2\xi )$. Translation of the Gaussian functional integral gives the displayed identity for nonzero $\xi$, with the appropriate oscillatory contour prescription. At $\xi =0$, the Nakanishi-Lautrup field is a Lagrange multiplier imposing the gauge-condition delta functional. This field has no kinetic term and no independent propagating degree of freedom.

For a centered shell Gaussian measure of a real scalar field with positive shell kernel $K(p)=\kappa p^2+r$, its Gaussian functional integral gives $⟨\tilde{\varphi }(p)\tilde{\varphi }(q)⟩=(2\pi {)}^D{\delta }^{(D)}(p+q)/K(p)$ on the shell. Inverse Fourier transforms therefore yield $G_{>}(x-y)={\int }_{\Lambda /b<|p|\le \Lambda }{d}^{D}p(2\pi {)}^{-D}{e}^{ip\cdot (x-y)}/K(p)$. The kernel must be positive throughout the shell. Translation invariance makes the separation essential; a numerator involving $x$ alone is valid only with $y=0$ or if $x$ is redefined as the separation.

Fix the uniform order-parameter phase and retain finite system size $L$ before evaluating a massless Gaussian functional integral. In $d\le 2$, its coincident and separated order-parameter phase covariances each acquire a divergent additive constant as $L\to \infty$. Their difference $2[G_L(0)-G_L(r)]$ instead has a finite fixed-separation limit for $d>0$. This is why physical XY model correlations are obtained from Gaussian phase averaging of angle differences. An ultraviolet cutoff also remains necessary for coincident-point quantities; infrared cancellation does not remove it. The logarithmic two-dimensional Green function follows from the $d\to 2$ power-law expression only after subtracting its constant pole.

For the Gaussian functional integral with dimensionless phase stiffness $K$ and a microscopic cutoff $a$, the Gaussian phase averaging identity gives the displayed correlation function. In two dimensions the phase-difference variance is $(\pi K{)}^{-1}\log (r/a)+O(1)$, so the XY model has algebraic spin wave correlations with exponent $1/(2\pi K)$. In one dimension the variance is $r/K$, giving exponential decay. Above two dimensions the variance has a finite large-distance limit within the low-temperature spin wave approximation. The Laplacian Green function solves $-K{\nabla }^{2}G=\delta$; integration over a sphere fixes $G(r)=r^{2-d}/[(d-2)S_{d}K]+C$ for $d\ne 2$ and $G(r)=-(2\pi K{)}^{-1}\log (r/a)+C$ for $d=2$. A fixed uniform phase and ultraviolet regularization are required to define $G$ itself; phase differences eliminate the constant.

For real symmetric positive-definite $A$, complete the square with $v=u-A^{-1}b$. Orthogonal diagonalization reduces the remaining integral to the product of one-dimensional Gaussian integrals, proving the displayed expression. Positivity ensures convergence and the positive determinant square root. Replacing matrices by regulated field kernels gives the Gaussian functional integral; an oscillatory Minkowski integral instead requires a causal convergence prescription.

In unitary gauge the quadratic action is that of a Proca field. Use Minkowski metric $(+---)$ and add a source $J_{\mu }{A}^{\mu }$. Integration by parts, dropping the boundary term, givesWith Fourier transform convention $A(x)=\int d^{4}k{e}^{-ik\cdot x}A(k)/(2\pi {)}^4$, its kernel isFor $k^2\ne 0$, introduce the transverse and longitudinal momentum projectorsThey obey $P_T{P}_L=0$ and $P_T+P_L=1$ as mixed-index linear operators. HenceThe final expression is regular at $k^2=0$; the apparent singularities of the individual projectors have cancelled.

The normalized Gaussian functional integral is evaluated by completing the square with $A\mapsto A+K^{-1}J$:The source-independent functional determinant cancels in this ratio. Two source derivatives insert two fields, so the covariant Feynman propagator is $i{K}^{-1}$, with the Feynman i-epsilon prescription at the physical pole:This is the Proca propagator. Its pole residue has the three physical particle polarizations of a massive spin-one gauge boson. No additional gauge-fixing term is needed to invert this already gauge-fixed massive quadratic action. In a full interacting Higgs mechanism calculation, any field-dependent unitary gauge measure belongs to the interacting theory; the free quadratic gauge boson propagator above is unaffected.

After integration by parts, the quadratic Proca action with an external source isSince $M>0$, this kernel is invertible with the Feynman i-epsilon prescription; the massless gauge redundancy is absent in this unitary gauge quadratic action. Complete the square by $A\mapsto A+K_F^{-1}J$ in the Gaussian functional integral. Its source-independent determinant cancels in the normalized generating functional:In Fourier space, the kernel isFor $k^2\ne 0$, use the transverse projector of a vector field $P_T^{\mu \nu }=g^{\mu \nu }-k^{\mu }{k}^{\nu }/k^2$ and the longitudinal projector of a vector field $P_L^{\mu \nu }=k^{\mu }{k}^{\nu }/k^2$. Their mixed-index products obey $P_T{P}_L=0$, soThe last expression also extends to $k^2=0$; that point only obstructs the intermediate projector decomposition. Two source functional derivatives yield the gauge-boson propagator $D_F=i{K}_F^{-1}$:The pole residue is the physical massive-vector massive vector polarization sum. The longitudinal term is essential for inverting the quadratic kernel, and makes the naive $M\to 0$ limit of this unitary gauge Proca propagator singular.

An ordinary bosonic Gaussian functional integral produces an inverse determinant. An integral over independent Grassmann fields $c,\bar{c}$ instead produces a determinant, allowing a local action to represent the Faddeev-Popov determinant. With one convenient antighost sign convention,Multiplying the operator by the field-independent factor $-i$ changes only the normalization of its determinant. After integration by parts, an equivalent density isThus the Faddeev-Popov ghost fields have a massless kinetic term and a photon-ghost-antighost interaction proportional to $\lambda$. They are auxiliary anticommuting scalar fields, not physical external particles. Closed ghost loops carry the minus sign of Grassmann variables. Replacing $\bar{c}$ by $-\bar{c}$ reverses both displayed signs without changing any observable; both the kinetic and interaction conventions must be changed together.

Fix the uniform angular mode, for example by fixing the mean phase in a large box, and introduce a microscopic ultraviolet cutoff $a$. The quadratic Goldstone-mode effective free energy becomes, under a Fourier transform,To evaluate the Gaussian functional integral, add a source $j$. Completing the square in every nonzero Fourier transform mode givesTaking two source derivatives yields the correlation functionThe cutoff and the treatment of the uniform mode regulate this expression. At separations much larger than $a$, its nonconstant part is the Green function satisfying $-\bar{K}{\nabla }^{2}G={\delta }^{(d)}(x)$. Rotation invariance and the radial Laplacian give $(r^{d-1}{G}^{\prime }{)}^{\prime }=0$ away from the origin. Integrating the Green function equation over a small sphere, whose unit-sphere area is $S_d=2{\pi }^{d/2}/\Gamma (d/2)$, fixes the flux:Thus for $d\ne 2$ the required long-distance correlation function isAt $d=2$, the finite separation-dependent limit isThe constant absorbs the divergent constant term in the $d\to 2$ limit. In low dimension the individual $G(r)$ has no regulator-independent infinite-volume value; its differences do. This is why the phase-difference variance, rather than an absolute phase variance, is the useful observable.

Landau-Ginzburg theory describes a slowly varying order parameter by a local free-energy functional consistent with the microscopic symmetries. For a representative scalar system with spin-inversion symmetry, take the dimensionless functionalThe gradient term penalizes spatial variation, while the even local potential implements the zero-field symmetry $\varphi \mapsto -\varphi$. The positive quartic coefficient stabilizes a continuous transition. A negative quartic coefficient requires higher powers and can instead produce a first-order phase transition. A vector order parameter gives the corresponding rotationally invariant model with powers of $|\mathbf{\varphi }{|}^2$.

In the mean-field approximation, replace the field by a constant $M$ and minimize the local potential. Its equation of state and stable zero-field solutions areBelow the transition these two minima exhibit spontaneous symmetry breaking. Differentiating the equation of state gives $\chi =(r+3u{M}^2{)}^{-1}$: it is $1/r$ above the transition and $1/(2|r|)$ within either ordered phase. At $r=0$, $M=(h/u{)}^{1/3}$. The minimized zero-field free-energy density is zero above and $-r^2/(4u)$ below, apart from an analytic background; its second temperature derivative has a finite jump. Consequently

To include fluctuations, write $\varphi =M+\psi$. The quadratic part isA Gaussian functional integral therefore gives $⟨\psi (q)\psi (-q)⟩=(c{q}^2+r+3u{M}^2{)}^{-1}$, with the momentum-volume delta function understood. The Ornstein--Zernike correlation function has correlation length $\xi =\sqrt{c/(r+3u{M}^2)}$. Thus ${\nu }_{\mathrm{MF}}=1/2$, and at criticality the Gaussian covariance is proportional to $q^{-2}$, giving ${\eta }_{\mathrm{MF}}=0$. Continuous-symmetry ordered phases additionally have transverse Goldstone modes, for which the restoring mass vanishes.

The Gaussian integration contributes $\frac{1}{2}\int d^{d}q(2\pi {)}^{-d}\log (c{q}^2+r)$ to the disordered-phase free-energy density. Differentiating twice with respect to $r$ gives a critical contribution proportional to $\int d^{d}q(c{q}^2+r{)}^{-2}$; for $d<4$ its singular part grows as $r^{(d-4)/2}$ and at four dimensions it is logarithmic. Interacting fluctuations thus become important close to the critical point below four dimensions. The Ginzburg criterion tests this failure of the mean-field approximation; the renormalization group then explains modified exponents and universality. Mean-field theory finds the competing minima, while fluctuations determine whether its predicted critical behavior survives at long distance.

Use the same metric signature as above and define the Minkowski generating functional byHere $\hslash =1$. Integration by parts writes the quadratic action as $S_0=\frac{1}{2}\varphi K\varphi$ with $K=-\square -m^2+i0$; the infinitesimal imaginary part damps the oscillatory Gaussian functional integral and selects the vacuum Feynman propagator. Abbreviating repeated spacetime integrations, completing the square givesTranslation of the regulated integration variables therefore yieldsThe source-independent normalization contains the regulated functional determinant and its oscillatory phase; it cancels in $Z_0[J]/Z_0[0]$. Define ${\Delta }_F=i{K}^{-1}$. The Gaussian evaluation of a free scalar generating functional is equivalently $Z_0[J]/Z_0[0]=\exp [-J{\Delta }_{F}J/2]$.

With Fourier convention $e^{-ip\cdot x}$, $-\square$ acts as $p^2$. The inverse-kernel equation $K{K}^{-1}=I$ then givesThis is the time-ordered free two-point correlation function: differentiating twice with respect to $J$ and multiplying by $1/i^2$ recovers ${\Delta }_F$. It obeys $(\square +m^2){\Delta }_F=-i{\delta }^{(d)}$ in the distributional limit. The $i0$ is essential: the algebraic denominator alone would not distinguish Feynman, advanced and retarded Green functions.

Separate the constant embedding coordinate from its nonzero modes. Its integral gives the momentum-conservation delta function; below this is understood and absorbed into the amplitude normalization on the momentum-conserving locus. For the nonzero modes the Euclidean Polyakov action is quadratic, with worldsheet Green functionTreat the tachyon vertex operators as normal ordered, removing coincident self-contractions. The Gaussian functional integral, or the same calculation by Wick's theorem, givesAll remaining determinants are independent of the insertion points and momenta and enter the overall constant. This derives the Koba-Nielsen factor and the requested position integral.

For the Möbius transformation $f(z)=(az+b)/(cz+d)$, $ad-bc=1$, one hasThe transformed Koba-Nielsen factor contributes, at insertion $r$, the power $-{\alpha }^{\prime }{\sum }_{s\ne r}{k}_r\cdot k_s$ of $|c{z}_r+d|$. Four-momentum conservation makes this power ${\alpha }^{\prime }{k}_r^2$. The complete differential integrand therefore transforms byIt is invariant when ${\alpha }^{\prime }{k}_r^2=4$ for every external tachyon. The correlator alone is covariant; the integration measures are necessary for invariance. The group acting faithfully on the sphere is $PSL(2,\mathbb{C})$, with the two elements $\pm I$ of $SL(2,\mathbb{C})$ acting identically.

The apparent integral over all positions includes the residual conformal-group gauge volume. Divide by it and fix three distinct insertions. The Faddeev-Popov determinant, equivalently the three-point worldsheet ghost correlator and its conjugate, contributesSet $z_1=\Lambda$, $z_2=0$, $z_4=1$, then send $\Lambda$ to infinity on the sphere; the sign of the real direction is irrelevant. The factors involving $z_1$ behave as $|\Lambda {|}^{{\alpha }^{\prime }{k}_1\cdot {\sum }_{s\ne 1}{k}_s}=|\Lambda {|}^{-4}$, while $J\sim |\Lambda {|}^4$. They cancel, leaving $z_3=z$ as the one integration variable.

The remaining distance exponents areFor example $(k_2+k_3{)}^2=(k_1+k_4{)}^2=-t$ and each individual squared momentum is $4/{\alpha }^{\prime }$. AlsoConsequently the reduced amplitude is proportional toApply the supplied complex beta integral with $A=4+{\alpha }^{\prime }t/2$, $B=4+{\alpha }^{\prime }s/2$, and $C=4-A-B=4+{\alpha }^{\prime }u/2$. Its numerator arguments become $-1-{\alpha }^{\prime }t/4$, $-1-{\alpha }^{\prime }s/4$, $-1-{\alpha }^{\prime }u/4$, while its denominator arguments become $2+{\alpha }^{\prime }u/4$, $2+{\alpha }^{\prime }t/4$, $2+{\alpha }^{\prime }s/4$. Thus the four-point amplitude is the Virasoro–Shapiro amplitudewhere $C_0$ is momentum-independent. The integral converges initially when $\mathrm{Re}A<2$, $\mathrm{Re}B<2$, and $\mathrm{Re}(A+B)>2$; the displayed answer elsewhere is its analytic continuation.

The gamma function has simple poles at nonpositive integers and no zeros. At generic fixed $t$, the amplitude therefore has simple $s$-channel poles at $s=4(n-1)/{\alpha }^{\prime }$, $n=0,1,2,\dots$, with the same towers in $t$ and $u$ by crossing symmetry. They describe exchange of the closed string tachyon, massless states, and the infinitely many massive levels. The reciprocal denominator factors can give zeros at negative values $s=-4(\ell +2)/{\alpha }^{\prime }$; special kinematics can also make an exchange residue vanish.

To see the structure of a generic residue, set $a=-1-{\alpha }^{\prime }s/4$, $b=-1-{\alpha }^{\prime }t/4$, $c=-1-{\alpha }^{\prime }u/4$, so $a+b+c=1$. At $a=-n$, the Gamma function recurrence reduces the remaining factors to a constant times ${\prod }_{j=1}^n(b-j{)}^2$. The Virasoro–Shapiro amplitude pole residue is thus a polynomial of degree $2n$ in the other channel invariant, consistent with exchange up to spin $2n$. Crossed numerator poles must not simply be multiplied: near $a=-n+\delta$ and $b=-m+\epsilon$, $c=1+n+m-\delta -\epsilon$, and the zero of $1/\Gamma (1-c)$ cancels the putative double pole. The leading singular part is proportional toThe tree amplitude is meromorphic, with no loop threshold branch cuts; its channel singularities express factorization and string dual resonance.

Work in units $\hslash =1$ and with the particle mass absorbed into the stated kinetic term. Divide the interval into $N$ pieces of length $\Delta =T/N$. For a suitable self-adjoint Hamiltonian operator, the Trotter product formula gives the regulated limitInsert $1=\int d{q}_j|q_j⟩⟨q_j|$ between neighboring factors. Because $V(\hat{q})$ is diagonal in the position operator basis, the given free-particle propagator yieldsThe exponent is the time-sliced action. Its continuum notation isThe measure is defined by the displayed finite-dimensional limits and their normalization, not by a translation-invariant flat measure on an infinite-dimensional space. The oscillatory limit needs a damping/analytic-continuation prescription. This is the time-sliced configuration-space path integral derived from the operator kernel.

For a quadratic potential energy, write $q=q_c+\eta$, where the classical path satisfies ${\ddot{q}}_c+V^{\prime }(q_c)=0$ and the endpoint conditions, and $\eta (0)=\eta (T)=0$. Expansion is exact:Integration by parts makes the linear term equal to $-[{\int }_0^T({\ddot{q}}_c+V^{\prime }(q_c))\eta dt]$, since the endpoint term vanishes. It is zero by the Euler-Lagrange equation. Also $V^{\prime \prime }$ is constant, independent of the endpoints. Thus classical-path factorization of a quadratic path integral is exact:Only the classical action carries the endpoint dependence.

Let $D={\partial }_t^2+V^{\prime \prime }$ on homogeneous Dirichlet boundary conditions. Expand $\eta$ in its normalized eigenfunctions, with eigenvalues ${\lambda }_n$. The fluctuation integral becomes a product of regulated integrals $\int d{a}_n\exp (-i{\lambda }_n{a}_n^2/2)$. Each is proportional to ${\lambda }_n^{-1/2}$, with a prescribed complex phase. Relative to $D_0={\partial }_t^2$, the normalization is thereforeThe subscript denotes the Dirichlet operator domain, and the square-root branch is continued from the free kernel with its convergence prescription. Equivalently one can use determinants of $-D$ and $-D_0$. For $V^{\prime \prime }={\omega }^2$, the Dirichlet oscillator determinant ratio isThis also checks the free limit. At conjugate times, the fluctuation operator has a zero eigenvalue and the ordinary finite-prefactor expression fails; the kernel is obtained by distributional continuation. Away from these times the classical boundary problem is unique and the stated factorization applies directly.

For the infinite-time oscillator with an external source, use vacuum boundary conditions and the Feynman i-epsilon prescription. For a smooth source of compact support, defineThe imaginary term damps the real-field integral. Integration by parts gives $S_{ϵ}[q]=\frac{1}{2}q{A}_{ϵ}q+Jq$, with the pairings understood as time integrals. Completing the square givesTranslate the integration variable. The source-independent Gaussian functional integral is $N$, soOn Fourier modes $e^{i\omega t}$, $A_{ϵ}$ has eigenvalue ${\omega }^2-m^2+iϵ$, henceFor $m>0$, closing the contour above for $t>0$ and below for $t<0$ gives $G(t)=-i{e}^{-im|t|}/(2m)$. The physical time-ordered oscillator quantum field theory propagator is $iG$, not $G$ itself. The shifted stationary path is $q_c=-GJ$ and obeys ${\ddot{q}}_c+m^2{q}_c=J$ with the same vacuum prescription. A retarded inverse would define a different boundary problem. Dividing by the zero-source integral removes $N$ and gives the vacuum source functional of a quantum oscillator. At zero mass an additional infrared prescription is needed for the inverse on constant modes.

Use units $\hslash =1$. The fluctuations about a classical path satisfy $f(0)=f(T)=0$. Expanding the action functional and integrating the term $m{\dot{q}}_c\dot{f}$ by parts givesThe linear term vanishes by the Euler-Lagrange equation and the endpoint conditions. Integrating the quadratic kinetic term by parts yields the Dirichlet fluctuation determinant of a semiclassical propagator:A finite time-slicing first turns this into a product of ordinary Gaussian integrals, whose limit is proportional to $(\det {\mathcal{O}}_c{)}^{-1/2}$. A useful normalization relative to the free operator ${\mathcal{O}}_0=-m{d}^2/d{t}^2$ isThe oscillatory square root is fixed by the short-time limit and the Feynman i-epsilon prescription. Away from zero modes this gives the semiclassical propagator; if several classical paths contribute, their saddle contributions are summed with their corresponding determinant phases.

For a general potential the prefactor depends on the endpoints through $q_c$; writing only $D(T)$ suppresses that dependence. If $V(q)=a{q}^2/2+bq+c$, the Taylor expansion has no terms beyond quadratic and $V^{\prime \prime }=a$ is independent of $q_c$. The Gaussian functional integral is then exact, and its prefactor genuinely depends only on $T$ and the potential parameters. Singular focusing times are understood by continuation of the kernel, rather than by assigning a finite value to a zero-mode determinant.

For the free-particle propagator, $q_c(t)=q_0+(q_1-q_0)t/T$ and $S_c=m(q_1-q_0{)}^2/(2T)$. The free determinant supplies the factor $\sqrt{m/(2\pi iT)}$. Its normalization can also be checked by the momentum-space representationwhere completing the square evaluates the Gaussian integral and the short-time limit gives the position-space delta function.

For the gravitational potential, the original PDF contains $-mgq$; the TeX aid drops the final $q$. The Euler-Lagrange equation is ${\ddot{q}}_c=g$, and its endpoint solution isSubstitution into the kinetic and potential terms givesSince $V^{\prime \prime }=0$, the fluctuation operator is the free one. Thus the quantum-mechanical propagator in a constant force is exactly

The quantum-mechanical propagator is $⟨q_1|e^{-iHT}|q_0⟩$, with Hamiltonian operator $H=-{\partial }_q^2/(2m)+V(q)$. For imaginary time $-i\tau$, insert an orthonormal complete set of energy eigenstates to obtainHere ${\psi }_n(q)=⟨q|n⟩$. This discrete sum assumes a discrete complete spectrum; continuous spectral components require the corresponding spectral integral. The heat-semigroup expression is well defined for an appropriate self-adjoint Hamiltonian bounded below. It is this spectral condition, not an unrestricted formal rotation for every conceivable potential, that justifies the imaginary-time kernel.

A path on the circle lifts to a path on the real line ending at $q_1+2\pi w$, where the integer $w$ is its winding number. The periodic quantum theory sums all these winding sectors with equal weight, giving the real-time winding representation of a quantum rotor kernel. For imaginary time, put $x=q_1-q_0$ and $y=\tau /m$ in the supplied Gaussian summation identity:Comparison with the spectral expansion determinesThe normalization uses $0\le q<2\pi$. The ground state is nondegenerate; levels with $n\ne 0$ have the degeneracy $n\leftrightarrow -n$. Returning to real time replaces $e^{-\tau E_n}$ by $e^{-iT{E}_n}$, with the usual limiting prescription. No twisted boundary condition or flux phase is present in the stated image sum.