Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 306 3 c Solution Created 2026-10-03 Updated 2026-10-05
Use the classically equivalent Polyakov action, fix worldsheet diffeomorphisms and Weyl invariance, and perform a Wick rotation of the string worldsheet. In complex coordinates, the worldsheet ghost action for the closed string isThe worldsheet ghost fields are anticommuting. Their conformal weights are , and , . The two chiral sectors are counted separately.
In either chiral sector, each embedding coordinate is a free boson conformal field theory with central charge one. For the bc system, putting in gives . Cancellation of the worldsheet Weyl anomaly requiresThe antiholomorphic sector gives the same equation, rather than doubling the required critical dimension of string theory. This dimension count assumes flat target spacetime with just the embedding fields; more general internal conformal field theories change the matter accounting.
For the spinning string, the worldsheet Majorana fermions have conformal weight . At , the complex anticommuting bc system has ; a real Majorana spinor contributes half of this. Hence real worldsheet Majorana fermions contribute per chiral sector. Ramond sector versus Neveu–Schwarz sector changes their mode numbers and vacuum energies, not this local central charge.
The additional local worldsheet supersymmetry has a fermionic gauge parameter, so its superconformal ghosts are commuting fields forming a beta-gamma system, with conformal weights and in the holomorphic sector. Commuting statistics reverse the sign of the bc system formula, givingTogether with the reparameterization worldsheet ghost fields, their total central charge is . ThusThese cancellations make the string worldsheet gauge symmetries compatible with quantization; in the BRST symmetry formulation they enter the nilpotence condition for the BRST operator.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 304 1 b Solution Created 2026-09-24 Updated 2026-09-25
After Wick rotation, the zero-momentum bubble integral with cutoff regularization isThe three channels contribute . For , this is , so the zero-momentum renormalization condition is enforced byand hence . Keeping the exact cutoff expression merely replaces by the finite cutoff-dependent quantity defined by .
For , divide elapsed time into slices and apply the Trotter product formula. Inserting complete position and momentum bases gives the regulated phase-space path integralThe endpoint values are , . Each Gaussian momentum integration in a phase-space path integral can be performed explicitly, leaving the configuration-space path integralIts measure is the time-sliced limit of , with the usual infinitesimal convergence prescription. The integral sums amplitudes, not positive classical probabilities. Operator ordering remains part of the time-slice definition. Expanding a short-time kernel recovers the Schrödinger equation; composing kernels reproduces the time-evolution operator.
In the classical limit, rapid phase cancellation suppresses paths away from stationary action. Varying with fixed endpoints gives . The semiclassical result sums the classical-path phases multiplied by fluctuation functional determinants; for a quadratic Hamiltonian the fluctuation integral is Gaussian and this expansion is exact.
For quantum statistical mechanics, continue by a Wick rotation. The Euclidean action and thermal trace giveThe trace closes position-space paths. In a many-particle trace one also sums over endpoint permutations with the appropriate exchange signs. In a coherent state field formulation, bosonic fields are periodic and fermionic coherent states instead give antiperiodic Grassmann fields, hence bosonic and fermionic Matsubara frequencies and . [ref]
Physics 215C: Quantum Field Theory, Part 3 by John McGreevy. §§3.1–3.2, coherent-state time slicing and trace boundary conditions
The quantum-to-classical imaginary-time mapping views a local -dimensional quantum problem as a classical-looking field theory in dimensions, with imaginary-time extent . A genuine classical probability interpretation additionally requires a nonnegative weight; fermion signs and Berry terms can obstruct it.
For a smooth potential in the high-temperature or small- limit, imaginary-time paths fluctuate only over the thermal de Broglie wavelength . If this is short compared with the potential's variation scale, the diagonal free kernel givesThis classical phase-space limit of the thermal kernel is the classical phase space partition function for one degree of freedom. A dilute identical-particle gas also needs its factor; when exchange is appreciable, classical statistics fails. As a check, a single quantum harmonic oscillator gives , precisely the classical phase-space integral.
A Wick rotation changes real-time evolution into . At , taking the trace integrates equal endpoints:Thus temperature sets the imaginary-time circumference, and bosonic coordinate paths are periodic. The measure is fixed by the short-time propagator. The trace sums paths, not just a single stationary trajectory; a quadratic action is special because the saddle plus Gaussian fluctuations is exact.
The real-time path integral sums over paths. In a classically forbidden region, the dominant semiclassical contribution is clearer after Wick rotation: the weight becomes and stationary paths obey , equivalent to motion in the inverted potential. A finite-action path joining degenerate minima is an instanton.
For , , zero Euclidean mechanical energy gives . ThusThe reversed trajectory is an anti-instanton.[ref] Expanding produces the fluctuation operator . Its translation zero mode is handled by integrating the collective centre , not by dividing by a zero determinant. The remaining determinant and Jacobian form an attempt-frequency prefactor .
When , well-separated events form a dilute gas with rate scale . Paths returning to the same well have an even number of events, while paths ending in the other well have an odd number. The sums yield and , givingThe ground state is the lower symmetric combination of localized well states: tunnelling lifts the apparent classical degeneracy. This splitting is nonperturbative in , beyond a power series about either minimum. In a metastable well a bounce, with a negative fluctuation mode, describes decay rather than the stable doublet splitting. Finite temperature, overlapping events or a low barrier require improvements beyond the dilute approximation.
An original quartic double well and its Euclidean instanton trajectory
. Source. Details. For one coordinate with Hamiltonian , the propagator is , where . Divide into intervals , use the Trotter product formula to separate kinetic and potential evolution, and insert complete position and momentum bases at each slice. The momentum integral is Gaussian:Multiplying the short-time kernels gives the time-sliced configuration-space path integral,with , . Continuum notation abbreviates this limit as , where . The measure includes the displayed normalization; it is not an unweighted count of paths. A small damping or analytic-continuation prescription defines the oscillatory integrals. The paths contribute complex amplitudes, so alternative histories interfere before probabilities are calculated. This is the central difference from a classical statistical mixture of trajectories.[ref]
Space-Time Approach to Non-Relativistic Quantum Mechanics by Richard Feynman. pp.367–374, action phases and construction of the propagator
When actions vary rapidly relative to , stationary phase selects classical paths. Put , with zero at the endpoints. Vanishing first variation gives . The quadratic term isThe resulting Gaussian fluctuation determinant is the semiclassical propagator prefactor. In one dimension, away from caustics,The branch convention makes for a direct free-particle path before any caustic. The Maslov index tracks the phase changes as fluctuations pass through a focal singularity. In several dimensions replace the endpoint derivative by the Van Vleck determinant. The approximation sums all relevant classical paths; real-time action need only be stationary, not a minimum. It fails in this simple form at a caustic or coalescing saddles, where a uniform approximation is needed. Quadratic actions have no higher fluctuation terms, making their Gaussian evaluation exact. For example gives the exact free-particle kernel . Tunnelling involves classically forbidden regions and can be described by imaginary-time saddles rather than real classical trajectories.
Quantum statistical mechanics follows by Wick rotation . The imaginary-time evolution operator is , with Euclidean actionTaking a thermal trace identifies and integrates the endpoint positions:This thermal trace as a closed Euclidean path integral explains the periodic imaginary-time direction. A density-matrix element instead retains open endpoints. For many identical particles the trace also sums over endpoint permutations, with a plus sign for bosons and permutation parity for fermions. In coherent-state language this becomes periodic bosonic fields and antiperiodic Grassmann fields, with corresponding Matsubara frequencies.
The Euclidean weight resembles a classical Boltzmann weight. A time-sliced local quantum field in spatial dimensions becomes a classical-looking field model in dimensions, with anisotropic couplings and extra extent . Thus zero-temperature quantum criticality can be treated using an infinitely extended imaginary-time direction, while nonzero temperature imposes a finite thickness. The dynamical scaling of time need not equal the spatial scaling: the dynamical critical exponent specifies their relationship. This quantum-to-classical imaginary-time mapping requires qualification when weights have signs or imaginary terms; such a functional integral is not automatically an ordinary positive classical probability distribution. Even with a positive weight, the mapping concerns equilibrium statistics, not literal dissipative real-time trajectories. For a free particle the Euclidean kernel is a diffusion kernel with diffusion coefficient , illustrating the mathematical correspondence.
The classical high-temperature limit is a further approximation, rather than simply another name for imaginary time. If quantum level spacings and exchange effects are negligible, a one-particle partition function in dimensions becomesFor indistinguishable particles there is a factor in the dilute classical gas, and exchange is negligible when the number density times the thermal de Broglie wavelength to power is small. For a harmonic oscillator, the exact quantum result tends to as , recovering the classical phase-space integral. stationary phase explains classical mechanics; the short imaginary-time, weak-exchange limit explains classical statistical mechanics. These are related but distinct limits of the same quantum formulation.
The trace integrates the diagonal thermal kernel over a single fundamental interval, . On the circle a closed path can wind an integer number of times. Lift it to the real covering coordinate so its endpoints are and , with .
Under Wick rotation , , so the real-time phase becomes minus the Euclidean action divided by , withThus sum the path integral over these lifted endpoint conditions and integrate from zero to . This gives the requested winding-sector representation of the trace. The flux term is a total derivative, so it leaves the local classical equation unchanged, but its weight is and distinguishes different winding sectors. This is the Aharonov-Bohm phase in a thermal path integral, rather than a force from a magnetic field on the ring itself.
Past exam of the quantum field theory course of the University of Oxford 2016 4 b Solution 2026-10-25
The positive denominators in this part are Euclidean. Starting with the Minkowski spacetime Feynman rules, first perform a Wick rotation; a bare Minkowski metric integral without a pole prescription would not equal the displayed positive expression. Work initially with and , where the Euclidean massive loop integral converges.
Use Schwinger parameterization followed by the Gaussian integral:The remaining Gamma function integral givesThe factorial form is for positive integral . Dimensional regularization defines the result elsewhere by analytic continuation.
For the scalar bubble integral, combine the two denominators with a Feynman parameter and shift the integration variable to . ThenFor this isThe Gamma function recurrence gives , and the parameter integral is . ConsequentlyThis ultraviolet divergence is independent of the external momentum. The assumption avoids an infrared divergence. In particular the completely massless zero-momentum integral is a scaleless integral and vanishes in dimensional regularization; its ultraviolet and infrared poles must be separated before assigning it the displayed ultraviolet residue.
Past exam of the quantum field theory course of the University of Oxford 2017 3 e Solution 2026-10-25
Source correction: equation 11 on the original page has . The dimensionally regulated integral instead contains . This is not an interchangeable convention: for and , the correct factor has a logarithmic ultraviolet pole, whereas the printed is finite.
To obtain the correct expression, shift the loop momentum and perform a Wick rotation. For positive Euclidean , introduce a Schwinger parameterization:The derivation first holds in the convergent range and defines the result elsewhere by analytic continuation. For integer , rotating back giveswith the branch inherited from . This is the Lorentzian continuation of the Euclidean massive loop integral.
Set , , . Since ,Consequently the directed tadpole in part d givesThe counterterm is , so cancelling only the pole in the minimal subtraction scheme requiresThis is the quartic complex-scalar mass renormalization result. The scale factors and logarithms contribute finite terms at this order and do not change the displayed pole coefficient. A real-field check gives a tadpole coefficient , in agreement with the oriented complex-field computation.
Past exam of the quantum field theory course of the University of Oxford 2021 3 d Solution 2026-10-25
There are three independent nonfactorized momentum integrals, namely a tadpole integral, the three-line sunset diagram integral, and the five-line banana integral. The six displayed Feynman diagrams involve six complete integral expressions:The distinction between independent building blocks and their products removes an ambiguity in counting “different momentum integrals”. For the strict divergent-wave-function renormalization interpretation of ii, the graphs in c reduce to , comprising three full integral expressions and two independent nonfactorized building blocks.
Make a Wick rotation and use to separate ultraviolet divergences from infrared divergences. Write , and let be the Euclidean versions of the integrals above, with their harmless overall factors of removed. A spherical ultraviolet cutoff givesThus the one-vertex quartic graph is linearly divergent, and the one-vertex sextic graph is quadratically divergent as .
For the other two building blocks, the spatial Fourier transform is especially transparent. The three-dimensional Euclidean scalar propagator isThe convolution theorem converts the parallel lines into . Angular integration gives, with a short-distance cutoff ,This is a different convenient cutoff regularization for the connected block; power-divergent coefficients depend on the cutoff convention, whereas the conclusions about powers and the presence of a kinetic logarithm do not. The sinc function is understood to be at .
For , the integrand starts as , soIts divergent part is independent of external momentum. In particular,The finite difference and its finite derivative show why the pure three-line sunset diagram does not need a divergent wave-function renormalization in three dimensions.
For , the small-distance Taylor expansion isConsequentlyIn particular, the nonzero term requires a genuine divergent wave-function renormalization, in addition to the mass counterterm. The coefficients here refer to the displayed position-space cutoff and have not included Feynman-diagram symmetry factors or bare couplings.
The comparison with the superficial degree of divergence isThus the actual leading power agrees with in every case. The additional logarithms in products come from ultraviolet subdivergences, which uniform power counting alone does not resolve.
For and , differentiation with respect to removes the logarithmic divergence of , but leaves divergent factors or multiplying a finite, nonpolynomial function of . These are subdivergent contributions, not new nonlocal counterterms: subtracting each tadpole diagram subdivergence and the momentum-independent subdivergence removes them. For example, in a factorized subtraction scheme , and likewise for . The remaining kinetic logarithm explains the strict interpretation in ii. A dimensional regularization scheme can suppress power divergences; it does not invalidate this cutoff-based comparison with .
Past exam of the quantum field theory course of the University of Oxford 2022 1 d Solution 2026-10-25
Continue with the cubic scalar field theory of c, and use precisely its counterterm signs. Take to separate ultraviolet divergences from infrared divergences. Make a Wick rotation and impose the rotationally invariant cutoff regularization . PutFor example, spherical coordinates give . Polynomial division and then differentiation with respect to give the divergent partsThe derivative relations are and ; differentiation also generates finite terms, which are irrelevant here. The first supplied integral identity is consistent with these divergent parts after Wick rotation.
The second supplied expansion is incorrect. Write . Direct multiplication of the two denominators gives , so the correct Taylor expansion isA concrete counterexample is , , : the exact expression is , whereas the printed expansion gives . We therefore compute the self-energy without that identity.
For Euclidean external momentum , define the scalar bubble integralA Feynman parameter combines its denominators into one squared denominator with . Applying the radial result above and integrating yieldsOne can instead expand with the ultraviolet cutoff fixed on the unshifted loop momentum: the coefficient of the integrand is , using rotational averaging in six dimensions. Its leading radial term is , giving the same logarithm. Shifting a sharp integration boundary changes finite terms in this scalar bubble integral, and does not change the displayed divergent coefficients.
To fix all signs and symmetry factors together, expand the one-loop Euclidean effective action around a background scalar field:These terms are the tadpole diagram, the two-point bubble diagram, and the triangle Feynman diagram. The tadpole diagram has factor ; the two-point bubble diagram also has factor after two differentiations with respect to the background scalar field. The local three-point interaction vertex is . Thus their divergent contributions to the one-, two-, and three-point Euclidean one-particle irreducible vertices are respectivelyThe Euclidean counterterm Lagrangian is . Cancelling each divergent one-particle irreducible vertex therefore givesFor example, the two-point sum is and its divergent coefficients cancel separately. Finite counterterms depend on the chosen renormalization conditions. The zero-mass limit can use a positive subtraction scale in the logarithms after infrared regularization.
If unnormalized vacuum functionals are retained, specify the determinant measure byExpanding its radial integrand at large fixes the additional vacuum energy density counterterm:The purely mass-independent terms depend on the determinant normalization. Normalized Green functions eliminate this entire constant.
Past exam of the quantum field theory course of the University of Oxford 2023 2 d i Solution 2026-10-25
Four external lines require four cubic interaction vertices, since each such interaction vertex contains only one heavy field. Their other eight endpoints must form four light internal lines. A connected Feynman diagram therefore has and : the leading contribution is a one-loop box diagram, of order , with four scalar propagators. Charge-two incoming and outgoing heavy lines attach alternately around the box, as shown in panel (d) of b's figure. Each incoming heavy line supplies the two outgoing light-charge arrows at its corner, and each outgoing heavy line absorbs them. With external labels fixed there is one such box and its symmetry factor is one.
For , the external energies are also small compared with , so expand the loop integrand in all external four-momenta. Its leading term isA Wick rotation and the Euclidean massive loop integral giveHence, more precisely than just its requested scaling,The mass dimension makes dimensionless, as a four-dimensional scattering amplitude should be. The leading amplitude has no extra identical-particle multiplicity.
Past exam of the quantum field theory course of the University of Oxford 2024 3 d Solution 2026-10-25
Set the renormalized to zero. For a six-scalar vertex, b gives , so a new overall logarithmic divergence can only occur in graphs with . With , the line counts become and , hence .
At one loop this forces and : the only candidate is a closed triangle Feynman diagram with two external scalar legs at each vertex. Its numerator at large loop momentum is proportional toThis vanishes for the specified two-component gamma matrices, each of which is traceless. Replacing one leading by the fermion mass or an external momentum lowers the superficial degree of divergence from zero to at most . Thus the apparent logarithm cancels. Graphs with a vertex already have negative overall degree; the pure-scalar one-loop triangle, for instance, has . There is no one-loop ultraviolet subdivergence inside these proper one-loop vertices. ThereforeThe six-point correlation function need not vanish: finite terms are allowed. Nor is it correct to say that all odd gamma-matrix traces vanish in dimensions. In this representation,The cancellation above follows from repeating the same leading loop momentum, not from a false four-dimensional trace rule.
At two loops, , and are possible. A closed fermion box with a scalar line joining two of its vertices leaves six external scalar legs. It has , , and four leading gamma matrices; the one-loop odd-numerator argument no longer applies.
A background-field check demonstrates that its logarithm is actually nonzero. Put with constant . Define the background fermion mass , the background scalar squared mass , and the induced three-leg Yukawa coupling . The two-loop quantum effective potential contains the sunset diagram with two fermion lines and one scalar line. After a Wick rotation, its relevant integral, apart from a nonzero overall combinatorial factor, isHere the dots and gamma-matrix traces are Euclidean. With , , , its numerator is exactlyThe first three terms reduce to products of one-loop tadpole integrals, which have no logarithmic pole near three dimensions in dimensional regularization. The remaining term isFor positive regulator masses, the large-momentum region of has a positive, nonzero logarithmic divergence. One can see this directly by restricting the relative angles and the ratio to compact intervals away from zero: the remaining common radial integral is proportional to . Its proper one-loop subgraphs are ultraviolet convergent.
Finally, the coefficient multiplying containsThe two-loop sextic counterterm in quartic Yukawa theory follows because its coefficient is for a nonzero coupling. Other two-loop vacuum topologies reduce to products of finite-in-dimensional-regularization tadpoles and do not cancel this logarithmic pole. ThusA sextic counterterm is required even if the renormalized sextic coupling is set to zero at a chosen renormalization scale. A theory constrained to at every scale lacks counterterm closure when . The decoupled exception is the three-dimensional scalar quartic interaction, which needs no sextic counterterm by power counting.
Scalar propagator 2026-10-06
For a free massive scalar in a Euclidean path integral, inversion of the quadratic kernel gives . The Minkowski version follows by Wick rotation.
Wick-rotated cutoff tadpole mass shift 2026-10-14
With interaction , the tadpole diagram has symmetry factor one half. After Wick rotation and a rotationally invariant Euclidean cutoff, its self-energy is . The sphere area and radial integral give the displayed shift. It is independent of external momentum, so no one-loop momentum-dependent wave-function renormalization arises from this graph. Different regulator schemes can treat power divergences differently while defining the same chosen pole mass.
Wick rotation Created 2026-09-24 Updated 2026-09-28
