For a nearest-neighbor auxiliary-field representation of an Ising model, sharing each local potential between adjacent bonds gives the displayed symmetric integral operator. Its periodic partition function is the trace of its th power, up to Gaussian normalization constants. In the slowly varying continuum limit, a slice of length has kernel . Expanding its action on a smooth function gives , with . Thus fixed endpoints give an imaginary-time transition kernel and periodic endpoints give a Euclidean path integral trace. The finite-spacing integral operator and the continuum differential operator need not have identical high-energy spectra.
Classical Ising chain as a quantum particle Created 2026-10-14 Updated 2026-10-25
Hubbard-Stratonovich decoupling of an exponentially coupled Ising chain gives a scalar-field action with a nearest-neighbor gradient term and . Its continuum partition function is the Euclidean path integral of the displayed quantum particle. At zero field the potential can have two wells, but a finite barrier still permits quantum tunnelling and gives a unique symmetric ground state. The excitation gap produces a finite classical correlation length, so there is no finite-temperature spontaneous magnetization for fixed positive . One classical spatial coordinate becomes imaginary time; a -dimensional classical model corresponds to a quantum model with spatial dimensions.
Euclidean configuration-space transition kernel Created 2026-10-07 Updated 2026-10-14
For , time slicing gives a Euclidean path integral over paths with the specified endpoints and action . Each step contributes normalization . This normalization fixes the units and endpoint factors of the kernel, which differ from amplitudes between normalized localized wavepackets.
Imaginary time 2026-10-20
Analytic continuation from real time to turns unitary evolution into . A thermal trace has extent , or when . This converts oscillatory action phases into an Euclidean path integral where convergence permits it; it is not the actual laboratory time of a dissipative process.
Lattice QCD Created 2026-10-18 Updated 2026-10-20
Lattice QCD is a lattice gauge theory formulation of Quantum chromodynamics. A Euclidean path integral on a discrete spacetime lattice provides a route to computing hadron observables numerically, particularly when weak-coupling expansions are inadequate. Physical predictions require control of lattice spacing, finite spatial volume and quark-mass effects.
Make the Wick rotation , and write for the final imaginary time, where is inverse temperature and is the reduced Planck constant. Then and . Thus the continued action isBoth the kinetic energy and the potential energy enter this Euclidean action with positive signs relative to their real-time definitions. Also , so the Euclidean path integral isIts boundary conditions fix the two endpoint positions. They need not coincide: identifying and integrating over them would instead give the thermal trace.
The normalization of can be fixed without continuing a formal measure. Apply the Trotter product formula to , divide into intervals of size , and integrate the intermediate positions. The resulting time-sliced configuration-space path integral isThis also explains the upper limit rather than when the reduced Planck constant has not been set to one.
The Brownian motion displacement has a normal distribution with variance . Its transition probability density function is thereforeComparison with the free particle heat kernel obtained in part (c) gives the required matching:This matches whole path distributions after a linear reparametrization, not merely endpoint variances. To see this, divide the Brownian duration into slices of size . The independent increments have normal distributions with variance , so their joint density contributesFor the Euclidean path integral, the corresponding expression isThe matching condition makes , so both the exponents and all normalization factors coincide. In particular, identifying Brownian time with imaginary time, , requires , or diffusion coefficient .
With both endpoints fixed, the normalized path law is a Brownian bridge. The Euclidean path integral itself is the endpoint density times that conditional path law. In the normalized time coordinate , its expected value and covariance areThe classical path is therefore the bridge's expected value, while individual Brownian bridge paths fluctuate about it. Typical Brownian motion paths are continuous but nowhere differentiable: the kinetic Euclidean action is interpreted through the time-sliced diffusion path integral, rather than by assuming that a typical path has an ordinary velocity.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 72 4 c Solution Created 2026-10-03 Updated 2026-10-14
For an auxiliary field varying slowly over lattice distances, measure in lattice-spacing units and replace the squared difference by . The long-wavelength action becomesThis is the Euclidean path integral of a one-coordinate quantum particle, with the classical spatial coordinate serving as imaginary time and . To see the correspondence at the operator level, time-slice it by and use the symmetric kernelActing on a smooth test function, Gaussian integration gives . Thus the continuum auxiliary-field transfer operator for an Ising chain is , whereMultiplying kernels and integrating over intermediate fields gives for fixed endpoints, and for periodic fields, up to the normalization already absorbed in . This is the precise classical Ising chain as a quantum particle correspondence. It concerns an imaginary-time transition kernel; it is not the squared modulus of a real-time transition amplitude. The continuum approximation retains smooth long-distance modes, rather than asserting exact equality of the finite-spacing transfer operator with this differential operator.
At , set . Expansion of the local potential givesThe potential is even and grows as at large . It is a symmetric double well precisely whenThe nonzero stationary points satisfy . For , the ratio decreases strictly from 2 to 0: writing , the sign follows from , whose derivative is . Hence there is one minimum on each side when . At the potential instead has a single quartic minimum, and for a single quadratic minimum. Small with fixed positive falls in the double-well regime, but the printed claim requires this coupling condition; alone does not imply it if scales to zero too quickly.
A weak magnetic field givesThe linear term is odd in . For positive , the positive well becomes deeper. If the zero-field minima are , their depth difference to first order is . The magnetic field tilts the symmetric double well and favors the matching spin orientation. A large enough field can eliminate the metastable well.
Finally, two minima do not imply a true finite-temperature phase transition in this one-dimensional chain at fixed finite interaction range . A finite quantum barrier permits quantum tunnelling; the confining one-dimensional Schrödinger operator has a unique symmetric ground state at zero field and a nonzero first excitation gap. The quantum gap corresponds to a finite classical correlation length. A very small gap can mimic ordering on a finite sample, but genuine degeneracy requires a singular limit such as vanishing tunnelling. This distinction is central to interpreting the quantum mapping.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 69 4 c Solution Created 2026-10-03 Updated 2026-10-14
With lattice spacing set to one and a smoothly varying auxiliary field, the discrete action becomesThis is precisely the Euclidean path integral of a quantum particle with , mass and potential . With fixed endpoints it gives the transition amplitude , while periodic classical boundary conditions give its trace. The corresponding operator isThis is classical Ising chain as a quantum particle. It is the continuum approximation to the exact positive transfer kernel, so its numerical spectrum is accurate when the relevant auxiliary configurations vary slowly. The transfer-kernel reasoning and the domain-wall argument below also support the qualitative conclusion without treating a continuum approximation as an exact finite-lattice identity.
At zero field write . Expansion givesA double well exists when ; the stationary points satisfy . For there is a single minimum at zero, with the quadratic curvature marginal at equality. Thus a double well is the low-effective-temperature regime of the model, not an unconditional property for every . The exact potential remains confining because at large .
Even when two wells exist, a quantum particle with finite mass and a finite barrier tunnels between them. Its one-dimensional confining Schrödinger operator has a unique, strictly positive ground-state wavefunction. At reflection symmetry makes that state even, so every odd observable has zero expectation. An antisymmetric first excited state is split from it by a positive gap. A spectral expansion of an odd-observable correlation has factors ; the smallest contributing gap therefore gives a finite classical correlation length. The original spin observable, after decoupling, is , which is odd at zero field. HenceA deep well can give an exponentially small quantum tunnelling gap and an extremely long correlation length, which can mimic order in a finite sample, but it does not produce true long-range order.
The classical counterpart is the finite cost of a domain wall. Because the pair sum is doubled, a sharp wall has dimensionless energyAt any finite temperature such walls have nonzero fugacity, divide a long chain into domains and destroy spontaneous magnetization. The range is large for but finite. The zero-temperature limit and an infinite-range limit are singular and must not be interchanged casually with the thermodynamic limit; an infinite-range interaction also requires an extensive normalization before comparing models.
A nonzero tilts the potential: to first order . A positive field favors the positive well and produces positive magnetization. For fixed finite parameters the ground state and classical free energy vary smoothly, so there is no zero-field discontinuity due merely to a double-well bare potential. A discrete broken-symmetry state appears only in an appropriate singular limit, not by ignoring quantum tunnelling.
More generally a local -dimensional classical statistical model can be sliced along one coordinate and represented by a transfer operator. That coordinate becomes imaginary time; the other coordinates become the spatial coordinates of a quantum system. Infinite extent in the transfer direction corresponds to its ground-state, or zero-quantum-temperature, limit. The classical Ising model is thus related to a quantum Ising system in spatial dimensions, with transverse dynamics generated by the transfer operator. For this is quantum mechanics of finitely many local variables, where quantum tunnelling restores symmetry. For the quantum system has infinitely many spatial degrees of freedom and can have distinct symmetry-broken ground states, allowing a classical finite-temperature ordering transition. Locality and anisotropy of the mapping determine the quantum couplings; the dimension correspondence alone does not fix them.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 52 4 Solution Created 2026-10-03 Updated 2026-10-14
An instanton is a localized finite-action classical solution of a Euclidean field theory. Its role differs from that of a static spatial classical field-theory soliton: an instanton is localized in Euclidean spacetime and contributes to quantum transition amplitudes, rather than persisting as a stationary real-time particle. Wick rotation changes the oscillatory weight into when the continuation and boundary conditions are valid. The Euclidean path integral is consequently dominated semiclassically by stationary Euclidean configurations. Perturbation theory around one vacuum misses other saddles whose weights have the nonanalytic form .
A useful first example is quantum tunnelling between two degenerate minima in quantum mechanics. For coordinate with mass , the Euclidean action iswith the vacuum energy subtracted from . Its Euler-Lagrange equation is , equivalent to motion in the inverted potential . A finite-action trajectory joining zero-energy minima has conserved Euclidean energy . A forward instanton therefore satisfies , while an anti-instanton has the opposite orientation. Completing the square gives the action boundwhich these zero-energy paths saturate. This is the Euclidean counterpart of the first-order kink argument, with Euclidean time replacing the spatial coordinate.
For the quartic double-well instanton, chooseThe first-order equation in the interval is . Separation givesThe center is arbitrary. Its derivative is an instanton translation zero mode: differentiating the Euclidean field equation shows that it lies in the kernel of the quadratic fluctuation operator . A naive Gaussian determinant therefore has a zero eigenvalue. Replace its integration by the collective-coordinate integral over , and take the determinant only over nonzero modes. The resulting instanton fluctuation prefactor combines that Jacobian with the determinant ratio against the vacuum. The action controls the exponential suppression; the prefactor is essential for a quantitative rate or splitting.
When , crossings are rare and their typical separations greatly exceed their widths. In the dilute instanton gas, ordered center integrals for well-separated crossings over Euclidean duration produce . If a single-crossing rate is , a symmetric two-well system has even-crossing and odd-crossing sums proportional to and . The spectral interpretation gives levels andThis is a real tunnelling level splitting. A Euclidean bounce instead describes false vacuum decay: it leaves and returns to a metastable vacuum, and a characteristic negative fluctuation mode supplies the imaginary part interpreted as decay. A bounce must not be confused with a stable double-well instanton merely because both use Euclidean saddles.
The central gauge-theory example is a Yang-Mills instanton on Euclidean four-space. State conventions carefully: take anti-Hermitian generators , with , connection , and gauge curvature . With coupling , the positive Yang-Mills action isThe Hodge star operator squares to one on Euclidean two-forms. Under the usual finite-action boundary conditions, the connection approaches a pure gauge at infinity, defining a map . Its winding degree is the integer instanton numberThis is unchanged by smooth deformations preserving the boundary sector. Geometrically this is, up to the stated sign convention, the second Chern number of the compactified bundle. Different sign conventions for trace, curvature or orientation must be changed together.
Use the positive norm . Decomposition into self-dual and anti-self-dual curvature givesThe Yang-Mills instanton Bogomolny bound is saturated by for positive , or for negative . These first-order equations imply the full Yang-Mills equations: the Bianchi identity becomes when . Thus the topological minimum is a genuine classical saddle, not just an arbitrary field with integer charge. Self-duality alone is a local differential condition; finite action is an additional requirement.
An explicit unit-charge example is the BPST instanton. Let , , and choose the self-dual symbols , and for , using orientation . In regular gauge,The curvature is self-dual. Since , its squared component curvature is . Radial integration yieldsso . Replacing self-dual symbols by anti-self-dual ones produces the opposite charge with the same positive action.
The center has four coordinates and is an instanton size modulus. Classical four-dimensional Yang-Mills action is scale invariant, so varying changes the action-density width but not the total action. If gauge transformations must tend to the identity at infinity, three global gauge orientations also remain, giving eight parameters for the one-instanton framed instanton moduli space. If those global orientations are quotiented out, the unframed one-instanton space has five parameters. A zero-size limit is a singular concentration of curvature, not another smooth instanton. Higher-charge solutions likewise possess instanton moduli spaces; their collective-coordinate integrals replace the corresponding zero-mode determinants.
In a Euclidean-time description, topologically distinct gauge vacua are separated by a change of Chern-Simons number; an instanton interpolates between them, with the change equal to in compatible orientation conventions. Theta-weighted instanton sectors give , connecting topology to the vacuum angle. With fermions, the gauge-field topology also controls fermionic zero modes and chiral selection rules through the chiral anomaly. These phenomena explain why instantons encode physics beyond small fluctuations around a single vacuum.
Instantons link Euclidean classical solutions, topological sectors and exponentially suppressed quantum effects. Their interpretation requires the boundary conditions, normalization, fluctuation spectrum and measure over collective coordinates. A dilute approximation is controlled only when its individual-action suppression and separation assumptions hold; classical scale moduli and their quantum corrections can make size integrals delicate rather than automatically finite.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 54 3 Solution Created 2026-10-03 Updated 2026-10-14
For an oriented Euclidean string worldsheet with metric , use the string nonlinear sigma model actionHere is an antisymmetric density with . The factor in the Euclidean Kalb–Ramond field term follows from continuing the real Lorentzian two-form coupling; reversing orientation or the convention for reverses its sign. The conventional positive Euclidean dilaton coupling is being used. With worldsheet boundaries its curvature coupling also needs , where is the boundary geodesic curvature, to have the proper topological normalization for constant .
All three terms are invariant under worldsheet diffeomorphisms. Target-coordinate changes act on by their ordinary scalar and tensor transformation rules, making the target description covariant as well. For the two-form there is also the target gauge symmetry . Its change in the closed-worldsheet action is an integral of an exact two-form and hence zero. With boundaries it is instead ; an endpoint gauge field with cancels it.
Under a local Weyl transformation , the metric term is invariant because the two-dimensional factors and cancel. The term is independent of and is separately invariant. The curvature transforms asOn a closed surface the dilaton variation is consequentlyThus a general nonconstant dilaton term is not separately invariant under Weyl transformations. Its variation is the Weyl variation of a nonconstant dilaton coupling; it vanishes for constant after the boundary completion where necessary.
For , the Gauss-Bonnet theorem gives . In the Euclidean path integral the resulting weight isFor a connected orientable genus- surface with boundaries, , so the weight is . A closed-string handle therefore adds two powers of string coupling. External vertex normalizations add their own coupling factors; they are distinct from this dilaton Euler-characteristic weighting. The constant dilaton controls the string genus expansion, rather than adding a force to the classical embedding equation.
Quantization treats the target fields as position-dependent couplings of a two-dimensional interacting quantum field theory. Expanding around a background embedding gives fluctuation vertices involving target curvature and derivatives of and . Short-distance contractions require local counterterms, so the target fields become renormalized couplings. In particular a curvature vertex contracted once yields a Ricci tensor counterterm proportional to . Each additional sigma-model loop brings another power of and more target derivatives. The expansion is useful when the target variation scale is large compared with ; it is not the separate expansion in powers of .
After gauge fixing, a worldsheet Weyl anomaly would make amplitudes depend on the discarded local conformal factor. Quantum consistency therefore requires the trace anomaly to vanish, including the reparameterization worldsheet ghost field contribution. In a conventional renormalization scheme the resulting bosonic sigma-model Weyl anomaly coefficients start asThe barred quantities include the dilaton stress-energy tensor improvement; ordinary coupling sigma-model beta functions can differ by field redefinitions or target diffeomorphisms. Setting these coefficients to zero gives differential equations for the background fields order by order, including the metric gravitational equation and the antisymmetric-field equation. These conventions for the leading coefficients are described in the background-field lecture notes. Higher orders supply higher-curvature and higher-derivative corrections. This explains how spacetime dynamics follows from quantum gauge consistency of the worldsheet, not from asking only for a classical stationary worldsheet in an arbitrarily chosen background.
The apparently noninvariant dilaton term is essential outside the critical dimension because its stress-energy tensor improvement can cancel the quantum central charge mismatch. A flat constant-dilaton background has matter central charge and worldsheet ghost field central charge . If , changing the constant value of only changes and cannot cure that mismatch.
A concrete solution is the linear dilaton conformal field theory with , , and . Its metric and antisymmetric-field anomaly coefficients vanish, while the scalar condition isOne can also see this cancellation directly from the improved holomorphic stress-energy tensor. With the positive Euclidean curvature convention above,The free-field contraction is . Differentiating it twice at each point gives a fourth-order pole from the improvement. Since the fourth-order stress-tensor pole is , the matter central charge becomes . The worldsheet ghost field contribution then cancels it. This is why a classical Weyl variation need not mean inconsistency: it can cancel the quantum variation of the other terms. For the required gradient is spacelike; for it is timelike in the Lorentzian target theory. Such backgrounds are not flat constant-dilaton Minkowski vacua with full target Lorentz symmetry, nor does a central charge cancellation by itself prove stability or unitarity of every noncritical background. If the conformal factor is instead retained dynamically, its Liouville field theory supplies the corresponding noncritical description.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 63 2 Solution Created 2026-10-03 Updated 2026-10-14
Use geometrized units with initially, and write , . The given nonextremality assumption makes . Thus the static Killing vector field has a simple zero of its norm atThe exterior is static. For radial null geodesics, , independently of . With , the metric iswhich is regular at since . The outgoing null equation is . Inside the future horizon these rays move to smaller radius, while outside they can escape to infinity. Hence the zero is the event horizon. The inner zero of is not another regular Killing horizon: the Killing norm there diverges rather than vanishes. The strict charge bound matters when making the regular extension.
For the Euclidean black-hole regularity condition, continue , consistent with the sign of the given quantum time-translation operator. Set . To leading order and , so the radial–time part of the Euclidean metric isIntroduce the radial proper length coordinate by . ThenThe first two terms are a polar plane with angle . Smoothness at its origin requiresA different period would make a conical singularity. The time coordinate is normalized to proper time at infinity, so no further asymptotic redshift factor is needed. The cancellation of proves the charge independence of the Euclidean horizon period under a regular radial conformal factor; this argument would fail at .
To justify the thermal interpretation, analytic continuation of the time-evolution operator gives . Its matrix element is an imaginary-time propagation kernel. Identifying the initial and final configurations and integrating over them takes its trace, giving the Euclidean path integral . In an energy eigenbasis each state has weight , exactly the Boltzmann factor of a canonical ensemble. Thus the geometrically required period is the inverse Hawking temperature. With dimensions restored, an imaginary time period gives . ConsequentlyHere is mass in ordinary units; for a neutral hole and the physical imaginary-time period is . Bosonic thermal fields are periodic and fermionic fields antiperiodic over that same Euclidean period. The relation to the canonical density operator, not just dimensional reasoning, identifies the temperature.
For an evaporation estimate take a neutral, isolated Schwarzschild black hole and approximate its radiated power with the Stefan–Boltzmann law. Its area is , and the photon Stefan-Boltzmann constant is . Substituting the temperature givesThe black-hole evaporation speeds up as the mass decreases. Integrating, rather than dividing the initial rest energy by the initial power, givesThe corresponding initial Hawking temperature is about K. This is the Stefan-Boltzmann estimate of Schwarzschild evaporation time at the level of accuracy requested. Greybody factors and other emitted species alter the numerical coefficient, but not the leading cubic scaling of a large isolated hole. The estimate assumes negligible accretion or ambient radiation absorption; a stellar-mass hole in the present cosmic radiation bath is not currently losing mass at that isolated-hole rate. Finally the semiclassical formula does not describe the Planck-scale endpoint: extrapolating it to zero mass is an estimate of the macroscopic lifetime, not a proof of what the final quantum object is.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 47 4 Solution Created 2026-10-03 Updated 2026-10-07
An instanton describes a finite-action trajectory in imaginary time that crosses between classical vacua. It accounts for quantum tunnelling effects exponentially small in , beyond an ordinary power series around one minimum. A symmetric double well makes the connection between the Euclidean path integral, fluctuation theory and the low-energy spectrum particularly explicit.
For a particle of mass , use a Wick rotation in the kernel. The Euclidean action and its classical equation areThe latter is Newtonian motion in the inverted potential . Subtract the common minimum energy so . A finite-action path approaching at infinite Euclidean times has conserved Euclidean energy . ThereforeThis gives both the classical trajectory by a quadrature and its tunnelling exponent. The plus solution is the instanton; reversal is the anti-instanton. A single crossing has action , not , although a periodic closed path necessarily has equal numbers of crossings in both directions.
An explicit double well. Take , whose local harmonic frequency at either minimum is . Integrating the zero-energy equation gives the quartic double-well instantonThe arbitrary center is a collective coordinate. The tunnelling regime is , so the crossing width is short compared with the typical separation between rare crossings.
The exponential alone does not give a dimensionally complete amplitude. Expand ; the quadratic Euclidean action is , whereThe derivative is a normalizable translation instanton translation zero mode. The factorization of this one-dimensional fluctuation operator shows it has no negative modes. In , its two discrete eigenfunctions are proportional to and , with eigenvalues zero and ; the continuum begins at . Treating its zero eigenvalue as an ordinary Gaussian integral would give a divergent determinant. Instead integrate over : since , the Jacobian supplies . The nonzero fluctuations supply the determinant ratio. With common endpoint regularization,This is the instanton fluctuation prefactor, with and having frequency units. The prime omits precisely the translation mode.
For this quartic potential the determinant can be evaluated explicitly. Set and add a small positive spectral regulator to both operators. With , the dimensionless operator is . Applying successively and to the free decaying solution , and normalizing at , gives a growing coefficient at equal to . The common Dirichlet functional determinant ratio has this coefficient. Hence the quartic double-well fluctuation determinant isThe frequency factor cannot be discarded when deleting the zero eigenvalue.
Summing rare crossings. Consider Euclidean duration much longer than a crossing width. In the dilute instanton gas, ordered centers have integration volume , and the amplitude per crossing is . Starting in the left well, directions alternate: an even number returns to the left well, and an odd number ends in the right well. If local anharmonic corrections, the leading kernels, with a common endpoint normalization , areThe even/odd sums must not be replaced by counting all possible crossing directions independently. Comparing their exponential components with the spectral representation givesFor the quartic example, to leading semiclassical order. This is the double-well tunneling splitting: the even state is lower because the symmetric wavefunction has no node. The equivalent low-energy Hamiltonian in localized left/right states is . An initially localized state tunnels coherently, with probability of occupying the other well. Tunnelling does not imply irreversible decay in this closed symmetric system.
The instanton approach thus yields the same leading forbidden-region action as the WKB approximation, while identifying the zero-mode measure, fluctuation normalization and multiple tunnelling events systematically. Perturbation theory about either separate minimum cannot generate . Multi-instanton interactions and higher-loop fluctuations correct the leading dilute-gas result; at finite temperature one instead uses periodic Euclidean boundary conditions, whose saddles may differ when the period is comparable to the crossing width. A false-vacuum bounce returning to the same metastable minimum has a negative fluctuation mode and describes a decay rate. It should not be confused with the stable-vacuum connecting instanton above, which has a translation zero mode but no negative mode.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 43 1 Solution Created 2026-10-03 Updated 2026-10-06
Use natural units and the Minkowski metric . A real scalar field assigns a real variable to each spatial point. Its Lagrangian density can be taken to beThe principle of stationary action gives the Euler-Lagrange equation . With , this is the Klein-Gordon equation. An additional nonlinear part of describes interactions.
The canonical momentum is . The Legendre transform in mechanics gives the canonical Hamiltonian density of a real scalar fieldThe Hamiltonian equations and recover the same field equation. In canonical quantization, the fields become operators satisfying the equal-time canonical commutation relationsA spatial lattice makes the analogy with many coupled quantum-mechanical coordinates precise. Each lattice field value is a coordinate, with its own conjugate momentum. The path integral is another representation of the same quantum evolution.
To see its origin, first consider one coordinate with . Split a time interval into steps of length and insert position and momentum resolutions of the identity. The short-time kernel isMultiplying the kernels and integrating over intermediate positions gives the phase-space path integralThe endpoints of are fixed. The momentum integrals are Gaussian integrals; completing the square produces the configuration-space path integralAt finite slicing its normalization contains . This fixes the composition law and the initial delta-function kernel. One sums over all paths, not merely solutions of the classical equation. Restoring replaces the weight by ; stationary phase explains the emergence of classical trajectories.
For the field, use scalar field configuration eigenstates , satisfying . Insert their completeness relations on every time slice. This givesThe endpoint field configurations are fixed. Integrating the Gaussian momentum variables leaves the scalar field path integral . The functional measure means a regulated product over the field variables. A spacetime lattice or another ultraviolet cutoff makes this product finite before the continuum limit; interacting continuum calculations may require renormalization. The oscillatory Minkowski weight is an amplitude, not a positive probability density.
For vacuum expectation values, the boundaries must select the vacuum rather than arbitrary field configurations. Long imaginary-time evolution suppresses excited states: , so after normalization only the lowest-energy component remains as . This is vacuum projection by imaginary time. The corresponding Feynman i-epsilon prescription in the real-time integral specifies the vacuum boundary conditions and the poles of the propagator. With , the Euclidean path integral has the weight , whereIt is often a useful regulated starting point; analytic continuation returns the vacuum time-ordered quantities.
Introduce a classical source and define the normalized vacuum generating functionalwith the same vacuum prescription in numerator and denominator. A functional derivative brings down . The order of the time slices makes the operator insertion time-ordered. Thus source differentiation inserts time-ordered field operators:The denominator removes vacuum diagrams and gives normalized expectation values. It is essential that these are time-ordered products; differentiating this vacuum functional does not directly give every possible operator ordering.
The free theory illustrates the method. Its quadratic kernel is with the vacuum pole prescription, and completing the square gives the Gaussian evaluation of a free scalar generating functionalTwo source derivatives give . Higher derivatives give all pairings, the content of Wick theorem. For an interaction , one may use path-integral perturbation by source derivatives:Expanding this expression generates Feynman diagrams and their Wick contractions. The connected generating functional retains connected contributions; in particular . These functionals turn the computation of field-operator expectations into source differentiation of an ordinary regulated integral.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 46 1 a Solution Created 2026-10-03 Updated 2026-10-06
Decompose the original scalar field as , where has support in and has support in . This is a momentum-shell decomposition of a scalar field. The two collections of integration variables are disjoint. Define the lower-scale Wilsonian effective action by integrating out the second collection:A field-independent normalization may be retained as a vacuum term or absorbed into the measure. Integrating this identity over the low modes recovers the original Euclidean path integral, so it preserves all observables depending only on those modes.
Put . The quadratic cross terms integrate to zero: in Fourier transform variables each pairs a low momentum with its negative, which cannot be a shell momentum. Expanding the interaction therefore givesFactoring out of the shell integral and taking minus its logarithm yieldsThis definition is a Wilsonian effective action, rather than a Legendre transform generating only one-particle-irreducible Feynman diagrams.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 46 2 iii Solution Created 2026-10-03 Updated 2026-10-06
Use a mass counterterm and a wavefunction renormalization counterterm, defining their additive coefficients byThe sign follows from how the Euclidean path integral expands. A quadratic counterterm inserts into the propagator, whereas the loop defined in the question inserts . To this order,Thus cancellation requires , rather than its negative. In the minimal subtraction scheme, with no finite parts added,These are the minimal-subtraction two-point counterterms in cubic scalar theory. They absorb respectively the and constant terms in the two-point pole.
The additive mass coefficient is distinct from the shift of a bare mass when the bare field also includes wavefunction renormalization. If and , then to one-loop orderThis last relation specifies the convention; the boxed coefficients are those multiplying the local counterterms displayed above.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 46 3 i Solution Created 2026-10-03 Updated 2026-10-06
A phase-space path integral is defined as a limit of finite-dimensional integrals, not by assigning a classical derivative to every path. Choose , let , and set . On slice the precise prescription isThe remaining Hamiltonian term must have a compatible operator-ordering prescription. For example, evaluate at for midpoint/Weyl ordering. A prepoint prescription defines a corresponding ordering instead. This choice matters for a general mixed ; the separable kinetic-plus-potential Hamiltonian in the next part admits the usual Trotter prescription.
This is time slicing of a phase-space path integral. Integrate the intermediate and the slice momenta and only then take . Typical paths of the Euclidean path integral need not be differentiable; the finite difference is the meaning of the printed . For a fixed-endpoint kernel the initial coordinate is fixed as well, whereas propagation of a wavefunction includes an integral over that initial coordinate.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 81 3 a Solution Created 2026-10-03 Updated 2026-10-06
For the Hamiltonian , the real-time configuration-space path integral iswith its measure defined by time slicing. Wick rotation gives the Euclidean path integral and the thermal trace.
For the infinite square well on , the Dirichlet boundary conditions select the normalized energy eigenstatesThere is no state: the corresponding sine is identically zero. Taking the trace in this orthonormal basis gives the canonical partition function
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 304 1 Solution Created 2026-10-03 Updated 2026-10-14
Use the Euclidean path integral with weight and Fourier transform convention . The momentum-space Feynman rules are: an internal scalar propagator ; a quartic vertex together with for incoming momenta; and an integral over each independent loop momentum. Multiply by the Feynman-diagram symmetry factor; external propagators are retained for a full correlation function and removed for an amputated connected correlation function.
To enumerate the requested one-particle-irreducible Feynman diagrams, let be the number of quartic vertices and the number of internal edges. Four external legs imply , while one loop order implies . Thus . Both internal edges must connect the two vertices: an alternative with a tadpole and one connecting edge would disconnect on cutting that edge. The only graphs are therefore the three pairings of labelled external legs, each with Feynman-diagram symmetry factor .
The corresponding channel momenta are , , and , with all external momenta incoming. This exhausts the connected one-loop four-point one-particle-irreducible Feynman diagrams.
For the Euclidean massive loop integral, first take and an integer , where the integral converges. Schwinger parameterization givesThe supplied Gaussian integral then yieldsIntegrating over , and using the Gamma function recurrence to obtain , provesOutside its initial convergence range, the right-hand side defines the meromorphic continuation used in dimensional regularization; the divergent ordinary integral is not being assigned a convergent value.
For the scalar bubble integral, the Feynman parameter identity followed by a translation of loop momentum givesWith , the Gamma function satisfies , and the parameter integral tends to one. Hence the ultraviolet pole is independent of external momentum:One can also see why the same pole occurs without introducing a Feynman parameter: at large , the difference between this integrand and is ultraviolet integrable near four dimensions, so both have the same dimensional regularization pole. The positive mass avoids an infrared ambiguity in this argument.
In the quantum effective action convention, the tree-level four-point vertex is , the negative of the amputated connected correlation function tree vertex. The three bubble corrections giveThus the pole counterterm is . The modified minimal subtraction scheme also subtracts the conventional finite combination, or equivalently absorbs it into the subtraction-scale convention; that does not change the one-loop renormalization-group beta function. Using that scale convention, writeHere is dimensionless, , and the conventional constant scale factor is implicit. The one-loop tadpole is momentum independent, so wave-function renormalization does not contribute at this order. Differentiating at fixed , with , gives . ThereforeFor the stable quartic scalar field theory, with , the one-loop quartic scalar beta function is positive: the running coupling increases toward the ultraviolet and decreases toward the infrared. The theory is not asymptotically free; extrapolating the one-loop flow gives a Landau pole.
The coupled quantum rotor chain has a compact phase and conjugate integer number . Expanding the cosine givesIn the phase-space Euclidean path integral, using inverse-energy time, each rotor has the action term . Completing its Gaussian square produces . Equivalently, apply the short-time free-rotor kernel locally and retain winding sectors. The smooth-sector continuum limit at unit spacing is consequentlyThe overall constant is omitted when the reference bond energy is subtracted. With the same physical J as the Hamiltonian, the printed spatial coefficient has an extra factor . The imaginary-time normalization for a coupled rotor chain requires inside a bracket with common prefactor . Setting hides the discrepancy; it cannot establish the printed formula with explicit physical units.
Returning to physical time gives . The harmonic phase mode of a quantum rotor chain therefore hasThis is a gapless sound-like collective phase mode, analogous to neutral superfluid sound. In rotor-chain phase-number hydrodynamics, number fluctuations supply the compressibility and the intersite coupling supplies phase stiffness. The mode is a phase-density oscillation, not a free single-rotor transition. The global phase zero mode of a finite rotor chain is a compact rotor with inertia NI, which should not be counted as an independent zero-frequency oscillator.
The compactness qualification of a harmonic rotor chain matters here. The smooth harmonic theory requires small neighbouring phase differences and cannot settle the entire strong-fluctuation phase diagram. In one dimension its zero-temperature phase variance grows logarithmically, so the gapless regime has algebraic phase correlations rather than a true condensate. Thermal fluctuations and compact phase slips require additional care; phase-slip proliferation can produce a gapped phase outside the Gaussian regime. [ref]
Physics 215C: Quantum Field Theory, Part 3 by John McGreevy. §5.2, rotor phase/number variables and limits of smooth superfluid theory
