Cosmological constant problem 2026-10-14
The cosmological constant problem is the unexplained smallness of the gravitationally observable vacuum energy compared with the contributions expected from quantum field theory. In units with , an ultraviolet cutoff generically gives contributions of order , whereas the observed dark-energy density is of order . The Einstein equation depends on the sum of a bare cosmological constant and these contributions; subtracting a constant from a nongravitational Hamiltonian does not remove its gravitational effect. Exact global supersymmetry gives zero energy to a supersymmetric vacuum, but supersymmetry breaking generally reintroduces a much larger positive scale.
Finite higher-point scalar vertex Created 2026-10-05 Updated 2026-10-14
A finite higher-point scalar vertex is a term in the quantum effective action with more external scalar fields than the original interaction, whose coefficient remains finite after renormalization. It can survive removal of an ultraviolet cutoff even when no corresponding independent counterterm is needed. Its coefficient is then predicted by the renormalized parameters and external momenta.
For and an even positive trial kernel , define and using a positive-wavevector sum for a real field. Isserlis theorem gives . The Feynman-Bogoliubov inequality therefore has stationary kernelsThus both the mass and gradient coefficient shift. In the thermodynamic limit, their self-consistency equations areA coarse-graining ultraviolet cutoff is necessary for the first integral in three dimensions: its large- radial integrand tends to a constant. Physical solutions require .
Mode-number regularization of soliton masses 2026-10-06
Compare the same total number of finite-box modes in the soliton and vacuum sectors before removing the ultraviolet cutoff. A localized bound state replaces a continuum mode, and its contribution must be retained. For the Sine-Gordon kink fluctuation operator and the odd phase branch , the bound translation mode replaces the free oscillator. Thus the complete oscillator correction is in this convention. The continuum integral alone misses the finite contribution.
The self-energy bubble diagram at loop order one in six-dimensional cubic scalar field theory has Feynman-diagram symmetry factor two. With positive Euclidean scalar propagators, its amputated Green's function is the displayed integral. Its superficial degree of divergence is two. Expanding at large internal momentum and taking the angular average shows that its divergent part is a constant plus a multiple of , precisely the mass counterterm and wave-function renormalization structures.
For a spherical ultraviolet cutoff and , its value at isThe divergent coefficient is . Finite terms depend on the regularization convention. Tadpole diagram insertions are excluded from the one-particle-irreducible Feynman diagram, and are removed from the connected two-point function by imposing a vanishing one-point function.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 72 1 a Solution Created 2026-10-03 Updated 2026-10-14
Fix the uniform angular mode, for example by fixing the mean phase in a large box, and introduce a microscopic ultraviolet cutoff . The quadratic Goldstone-mode effective free energy becomes, under a Fourier transform,To evaluate the Gaussian functional integral, add a source . 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 , its nonconstant part is the Green function satisfying . Rotation invariance and the radial Laplacian give away from the origin. Integrating the Green function equation over a small sphere, whose unit-sphere area is , fixes the flux:Thus for the required long-distance correlation function isAt , the finite separation-dependent limit isThe constant absorbs the divergent constant term in the limit. In low dimension the individual 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.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 72 1 b Solution Created 2026-10-03 Updated 2026-10-14
The dot product of the two magnetizations is . For the Gaussian spin wave field, the Gaussian phase averaging identity for a centered Gaussian variable givesKeeping this exponential is essential: expanding the cosine to quadratic order would fail when phase differences grow with separation. Equivalently, the phase-difference variance isFor , the integral defining the absolute phase variance is finite at small momentum after fixing the uniform mode; its microscopic ultraviolet cutoff still matters. Its nonconstant Green function decays as , so tends to a finite constant andIn two dimensions, the logarithmic Green function gives . ConsequentlyFor , grows as , up to bounded microscopic terms, and the correlation function again vanishes. In particular, in one dimension gives and exponential decay . Therefore there is no conventional long-range order for at positive temperature in this short-range continuous-symmetry model. In two dimensions, algebraic decay can still support quasi-long-range order.
These infrared spin-wave correlations of the XY model explain the mechanism behind the Mermin-Wagner theorem. They are a test of the low-temperature spin wave approximation, not a claim that every XY model is ordered at every temperature. Large local fluctuations and defects destroy the ordered phase at sufficiently high temperature. Also, the assumed small angle is a local smooth-field approximation; phase differences at arbitrarily large separation need not remain small.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 64 3 Solution Created 2026-10-03 Updated 2026-10-14
The correlation length is the distance over which fluctuations remain appreciably correlated. More precisely, in a massive phase the large-distance connected correlation functionhas an exponential factor , possibly multiplied by a power. Equivalently, is the lowest inverse length in the long-wavelength fluctuation spectrum. In the Gaussian field theory with unit gradient coefficient, gives for positive renormalized mass.
At an ordinary continuous phase transition, the restoring force for long-wavelength order-parameter fluctuations vanishes and there is no finite correlation scale. The critical connected correlation function decays as a power rather than exponentially, so diverges. The correlation-function susceptibility sum rule relates magnetic susceptibility to the integral of this connected correlation function; its divergence is consistent with correlations extending over increasingly large distances. Interactions change the powers, so the renormalized mass and the bare mass need not vanish at the same temperature.
Absorb the thermal normalization into the action and setHere , although denoted in the question, is a signed mass-squared coordinate, not a nonnegative square. This matters because its interacting fixed-point value is negative. Increasing eliminates high-momentum modes and moves towards the infrared. The initial values at are and .
To derive the flow, use the momentum-shell decomposition of a scalar field , where has momenta . Its Gaussian shell covariance is . Integrating out while preserving low-momentum observables givesThe cumulant expansion of a coarse-grained free energy yields . By Wick theorem,The last term is field independent, while the quadratic term gives the one-loop shell mass renormalization in scalar quartic theoryThis tadpole is independent of the external momentum, so no gradient renormalization occurs at this order.
For the quartic correction, the mixed vertex is . Its connected second cumulant uses and givesExtracting the local zero-external-momentum quartic interaction, the integral over is . Comparing its coefficient with gives the one-loop shell quartic renormalizationThe negative sign comes from the second cumulant; the numerical factor incorporates the three quartic channels.
For the thin spherical shell, radial integration givesThe shell is stable when , including a small negative critical mass. Because , differentiating the dimensionless couplings contributes their engineering dimensions and . Together with the shell corrections this yields the renormalization-group flowThese are the requested equations with . They express independence of the long-distance theory from the arbitrarily chosen ultraviolet cutoff, to the retained perturbative order; higher interactions and gradient corrections enter at higher orders.
Besides the Gaussian fixed point , a nonzero fixed point satisfiesThus, within these truncated equations,Since and , their leading epsilon expansion isThe rational expressions from the truncated flow are not a calculation of the genuine higher-order coefficients.
To assess stability, linearize in about this Wilson-Fisher fixed point. The stability matrix of a renormalization-group fixed point isUsing the fixed-point equation, its diagonal entries are and , respectively. Its upper off-diagonal entry is and its lower off-diagonal entry is . Hence its eigenvalues areThe interaction perturbation along the critical surface decays towards the infrared for small positive , whereas the thermal perturbation grows. Therefore infrared attraction requires tuning to the critical surface. The source's unqualified wording cannot mean attraction in both coupling directions: the positive thermal eigenvalue is precisely what produces the divergence of the correlation length. This is the thermal relevant direction at the Wilson-Fisher fixed point.
Let be the thermal scaling coordinate, a linear combination of and corresponding to the relevant left eigenvector of . To leading order, is possible. Its initial value is proportional to for a generic thermal path crossing the critical surface; the interaction also shifts the nonuniversal value of . In the linear regime,Choose so that is of order one. At this scale the dimensionless correlation length is finite. Restoring the eliminated length scale givesConsequently the correlation-length critical exponent isThere is no field anomalous dimension at one loop in this scalar quartic theory, since the one-loop self-energy is momentum independent; this is consistent with .
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 46 3 Solution Created 2026-10-03 Updated 2026-10-14
Changing the ultraviolet cutoff changes which fluctuations remain explicit. Integrating out a shell of Fourier modes shifts the coefficients of all symmetry-allowed operators and a field-independent constant. Hence the cutoff-dependent coefficients are chosen so that the remaining partition function and long-distance observables reproduce the same microscopic system. This is the Wilsonian coarse-grained statistical Hamiltonian; retaining only the printed operators is a local derivative expansion, not an exact closure.
In a massive symmetric phase, the quadratic long-wavelength inverse two-point function has the form . Its Landau scalar correlation length satisfies in this approximation. For canonical normalization of a scalar gradient term, set ; then the mass and quartic coefficients become and . With this normalization the infrared mass is the inverse correlation length, , within the massive quadratic or one-loop approximation. More generally the decay rate is a pole mass, whereas the zero-momentum inverse magnetic susceptibility is a curvature mass; an anomalous dimension or nontrivial momentum dependence can distinguish them. In the ordered phase one must first expand about a selected stable equilibrium magnetization, rather than identify a negative quadratic coefficient at the unstable origin with a squared inverse correlation length. Thus the intended mass identification includes a field normalization and a stable-phase qualification.
For momentum-shell renormalization group, split , retaining and eliminating . DefineTaking a logarithm gives the cumulant expansion of a coarse-grained free energy. For a centered fast Gaussian measure with , the first quartic cumulant isThe Wick contractions give a mass shift and an identity-operator contribution, while leaving the quartic term at this order. The second cumulant produces higher interactions and a quartic correction. After the length and field rescalings and , the gradient coefficient remains one, andThe one-loop shell mass renormalization in scalar quartic theory explicitly shows why the critical bare mass is shifted by fluctuations.
Assume short-range interactions, an analytic even local potential, a positive gradient coefficient, and a weak-coupling trajectory in the basin of the Gaussian fixed point. Above four dimensions the quartic interaction has negative engineering dimension and its dimensionless strength decreases under coarse graining; higher local powers and higher derivative terms also decrease. After absorbing analytic short-distance shifts into the coefficients, long-wavelength fluctuations are small compared with the ordered order parameter. The remaining coarse Landau free energy can therefore be evaluated at its stable saddle:The quartic stabilizer must still be retained for the ordered minimum even though it is dangerously irrelevant. Stationarity, , gives the ordinary Landau-Ginzburg theory and its mean-field critical exponents. This derives the saddle approximation from decreasing fluctuation strength under the stated RG assumptions; it does not assume that every exact coarse-grained functional becomes a quartic polynomial. Below four dimensions the quartic coupling grows, long-wavelength loop corrections cease to be small, and the argument fails. At four dimensions the interaction is marginal and generates logarithmic corrections. The tuned sextic theory has the analogous boundary at three dimensions.
Use a consistent Fourier transform pair for the connected correlation function:The printed forward-transform expression integrates over while leaving free; that integration variable is an error. The above convention resolves it and produces the loop measure used below. At zero magnetization, ; otherwise the disconnected product of expectations must be subtracted.
In the inverse-propagator identity used here, the truncated two-point function means the full one-particle-irreducible two-point vertex, including its free quadratic part. This convention differs from using “truncated” for a connected cumulant. To derive the inverse relation, introduce , and the effective action . Then and the chain rule gives . Since is the connected correlation function, translation invariance gives .
Now use canonically normalized coefficients, denoting the cutoff mass by and the renormalized infrared mass by . Choose the free propagator and put in the interaction as a quadratic counterterm. With the Euclidean self-energy convention in which an insertion changes the connected propagator by , the perturbative series beginsThe self-energy sums one-particle-irreducible loop insertions; the explicit mass counterterm is kept separate. Repeated insertions generate the geometric Dyson resummation, which explains why reducible chains occur in but not as independent terms in its inverse. Beyond one loop a momentum-dependent self-energy and wave-function renormalization must also be included.
At one loop the only quartic two-point graph is the tadpole diagram. At a vertex, attaching the two labeled external fields uses choices and contracts the remaining two fields together. The factor is . Equivalently this is the same quadratic term in the shell cumulant expansion above. ThusIt is positive for and independent of external momentum, so there is no one-loop gradient renormalization. The condition implies , henceThe cutoff is necessary: the unregulated integral is ultraviolet divergent for . Using the renormalized mass internally is a self-consistent one-loop organization, not an exact resummation of all critical fluctuations. With nonunit , this formula instead applies to , after canonical normalization of a scalar gradient term.
To test a linear thermal mass, approach the ordinary transition from the symmetric side and set . For the massless tadpole is infrared finite. Subtract its critical value, absorb regular temperature dependence of the coupling into a nonzero thermal coefficient , and write . The one-loop critical-mass subtraction giveswhereFor , is finite, so the bracket tends to a finite constant and is self-consistent. At ,and the growing logarithm obstructs an asymptotically constant linear coefficient at nonzero coupling. For , put to obtainThe divergent bracket then invalidates the assumed linear thermal mass. The radial critical-mass subtraction in dimensions three to five gives explicit checks of all three behaviors. For , the massless tadpole subtraction itself is infrared divergent; that failure of the Gaussian expansion does not prove absence of an interacting transition. Therefore the ordinary upper critical dimension is , with the unmodified Landau-Ginzburg theory asymptotically justified by this test only for . Exponents inferred by solving the self-consistent one-loop equation below four dimensions would not be exact interacting exponents.
For a tricritical point the renormalized quartic coefficient must be tuned to zero, and a positive sextic interaction stabilizes the order parameter. The gradient term gives the scalar field engineering dimension . A coefficient of therefore has dimension , which becomes marginal at . This gives . A direct Ginzburg criterion reaches the same result: long-wavelength variance in a correlation volume iswhile the tricritical saddle has . Their ratio scales as , vanishing only above three dimensions. At three dimensions it is marginal; below three it grows. In contrast the ordinary saddle gives a ratio . Both calculations assume the thermal mass is measured relative to its shifted critical value. A sextic interaction generates quartic terms under coarse graining, so tricriticality requires tuning the renormalized quartic scaling field as well as the mass.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 46 3 Solution Created 2026-10-03 Updated 2026-10-14
The partition function sums the Boltzmann weights of all statistical configurations. For discrete states of energy , ; for a regulated scalar field it is a functional integral, . It normalizes probabilities and generates thermodynamic averages. Its Helmholtz free energy isA quantum version uses . In the following identification, is a constrained free-energy density, so its units match those of a Hamiltonian density rather than a total extensive energy.
Fix a microscopic cutoff . Split the field into retained modes with momenta below and eliminated modes between and . Define the Wilsonian coarse-grained statistical Hamiltonian exactly byIts coefficients and additive constant depend on so that integrating the retained modes gives precisely the original . With sources and observables carried along, the same construction preserves long-wavelength responses. Thus changing this intermediate ultraviolet cutoff is a change of description, not a change of the physical system. It is advantageous because one can integrate out fluctuations irrelevant to the observable length scale, organize a local gradient expansion, and use renormalization-group flow toward simpler universal fixed-point descriptions. Exact invariance retains all generated operators; truncating them is an approximation.
The quadratic gradient coefficient generally becomes , not a constant. Field renormalization sets a chosen kinetic normalization, for example when this makes the gradient coefficient one in the energy convention. Sources and observables must be transformed inversely so that their physical meaning is preserved. Under rescaled coordinates , the critical field scaling isIts anomalous part is the anomalous dimension; it gives and the conjugate-field exponent . Different conventions for the wave-function factor require corresponding changes in its logarithmic derivative. A fixed physical magnetization must not be confused with a cutoff-dependent dimensionless renormalized field.
To justify the zero-cutoff identification of constrained free energy, work first in a finite periodic volume . Define the physical spatial mean and constrain that mean in the microscopic integral:Retain the constant mode while eliminating every nonzero mode. When is below the smallest nonzero box momentum, the remaining energy is . Consequently with a consistently fixed, possibly field-independent measure normalization. This provesFor a uniform field, is the Hamiltonian density in the question. The statement assumes that the physical zero mode is retained, all other modes are integrated exactly, field-rescaling factors are undone, and density and additive-normalization conventions agree. Taking the cutoff limit in the finite box before its thermodynamic limit makes this derivation unambiguous. With an applied uniform source, up to the same measure convention; its large-volume saddle minimizes .
The Landau approximation further assumes that this potential can be approximated by a regular local polynomial on the homogeneous branches, and that the remaining fluctuations are negligible for the observables sought. It is not an assertion that an exact zero-cutoff free energy is the bare polynomial. In a coexistence region the exact constrained density can be convexified by domains, while a nonconvex Landau branch potential describes local phases and their metastability.
For the breakdown criterion use a short-range scalar theory with positive quadratic gradient stiffness. At the Gaussian fixed point, invariance of gives field dimension . A coupling multiplying therefore has engineering scaling exponentIt is irrelevant only above its upper critical dimension. For the ordinary critical point the leading stabilizing interaction is quartic, while at a tricritical point the renormalized quartic term is tuned away and the leading interaction is sextic. ThereforeOne can also see the failure through the Ginzburg criterion. Long-wavelength fluctuations averaged over a correlation volume obey , up to temperature and stiffness factors. The quartic saddle has , giving a fluctuation/mean-square ratio proportional to . The tricritical sextic saddle has , giving a ratio proportional to . Both ratios grow without bound below their respective critical dimension, invalidating the fluctuation-free Landau exponents sufficiently close to a transition.
At equality the ratios are marginal, not power-law divergent. The loop expansion resolves this boundary: the quartic vertex correction contains , logarithmic at ; the sextic vertex correction contains a two-loop three-propagator integral whose overall degree is , logarithmic at . Marginal running therefore generally adds logarithmic corrections at these dimensions. Below them, where the corresponding transition exists, interactions control the long-distance critical behavior. Above them, leading thermodynamic powers are mean-field, although stabilizing dangerously irrelevant couplings explain why naive hyperscaling need not hold.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 51 3 Solution Created 2026-10-03 Updated 2026-10-14
A partition function sums the Boltzmann weights of all states: for discrete states, or the corresponding integral for continuous fields. It normalizes equilibrium probabilities. Its physical Helmholtz free energy is , and its free-energy density is . With a momentum ultraviolet cutoff , a scalar-field example isThe normalization of the functional measure and field-independent energy terms must be tracked when discussing absolute free energy.
Choose a smaller cutoff and split the field into retained modes with and eliminated modes with . Define the Wilsonian coarse-grained statistical Hamiltonian bySubstitution into the partition function proves for every intermediate cutoff. A source retained in this definition similarly preserves long-wavelength connected correlation functions and response. Thus the coefficients in a Hamiltonian density must run with : the dependence induced by eliminated modes compensates the dependence of the remaining field integral. Holding the original bare coefficients fixed while changing the cutoff would generally change the system. Exact integration generates all interactions allowed by symmetry, including higher powers, derivative terms and an additive constant; a local derivative expansion or a truncation to a few couplings is an extra approximation.
Cutoff independence makes arbitrary intermediate coarse-graining scales unphysical. It allows calculations at the scale of the observable, avoids repeatedly resolving irrelevant short-distance details and exposes the renormalization-group fixed points responsible for universality. A microscopic cutoff, such as a Bravais lattice spacing, can still label a physical microscopic model; taking it to infinity as a continuum limit requires tuning appropriate bare couplings. This is distinct from lowering an intermediate Wilsonian cutoff in a fixed model.
To interpret the zero-cutoff limit, define , the spatially uniform mode of the order parameter. Keep this mode fixed and integrate the others, rather than integrating over too. Write , with , and define the constrained order-parameter free energy byIn a finite periodic box, once is below the smallest nonzero momentum, all nonconstant modes have been eliminated. The remaining effective energy is , so its defining integral is exactly . Therefore, with consistent normalization,When denotes this uniform effective Hamiltonian density, this is the stated identification of with its zero-cutoff limit. It requires a free-energy density constrained at fixed , not the unconstrained extensive free energy; all integrated fluctuations and additive constants are included, the zero mode in field theory is retained, and a density for the uniform configuration is well defined. The finite-volume argument avoids an interchange of the thermodynamic and cutoff limits without justification. On a homogeneous pure-phase branch one may use a local potential description, while a thermodynamic limit allowing phase separation can convexify the constrained potential. A bare nonconvex Landau polynomial is accordingly a homogeneous-branch approximation, not a claim that the exact equilibrium Legendre potential stays nonconvex.
In a field , the remaining integral is , up to the consistently chosen zero-mode measure. The thermodynamic saddle then gives and selects the equilibrium magnetization. Landau theory assumes that the relevant uniform potential can be approximated by a regular analytic expansion in , with symmetry-constrained coefficients, and minimizes it. At tree level the integrated fluctuations are neglected, recovering the familiar bare polynomial. With fluctuations retained, the coefficients run and can become singular near criticality; the zero-cutoff identification of constrained free energy alone does not justify mean-field critical exponents.
For an ordinary short-range scalar thermodynamic critical point, the leading interaction is quartic. Absorb inverse temperature and the gradient coefficient into field normalization and writeScale and to leave the gradient term invariant. The quartic term changes to , so its engineering scaling exponent is . It is irrelevant at the Gaussian fixed point for , relevant for , and marginal for . HenceThe loop expansion makes the breakdown concrete. A quartic-vertex correction is proportional to , whereFor , rescaling gives , diverging as . At , radial integration giveswhich is logarithmically divergent. Above four dimensions its infrared limit is finite; the leading cutoff-dependent constant can be absorbed into a coupling renormalization. The effective expansion parameter is thus of order below four, or at four, since . It eventually becomes large for any fixed bare interaction in the lower-dimensional critical limit, defeating the uncorrected mean-field expansion. The Ginzburg criterion gives the same threshold by comparing correlation-volume fluctuations with the squared mean order parameter.
Below four dimensions an interacting renormalization-group fixed point can replace the Gaussian fixed point and change critical exponents, provided a continuous transition exists. At four dimensions the interaction is marginal and produces logarithmic corrections: the leading power exponents can remain their mean-field values, so “breakdown” there means that pure mean-field power laws omit those corrections, rather than necessarily that every power exponent changes. Above four the stabilizing quartic interaction is dangerously irrelevant for the ordered phase, explaining why mean-field thermodynamic exponents need not obey naive hyperscaling with the spatial dimension.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 55 1 Solution Created 2026-10-03 Updated 2026-10-14
The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: whereas . For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generateHere represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.
The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with in the usual normalization. Generic zero-point contributions scale as , and vacuum transitions also change . The dark-energy density is only of order . The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.
Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematicallyThus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.
Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order gives about , enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.
One higher-dimensional proposal uses large extra dimensions. Take flat compact dimensions of common radius , with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action givessoA fundamental gravitational scale near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For and , is about , using . At distances much smaller than , the gravitational potential scales as ; at distances much larger than it scales as . Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize , rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.
A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at and , and use the warped metricA negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval givesFor a scalar field on the brane at , its induced metric gives the kinetic coefficient and mass coefficient . The canonical field is , henceWith and of the same fundamental order, an exponent -- converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.
Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values and a small mass . Its static equation and solution areFor small backreaction and large , the leading radius-dependent potential is proportional to . Its leading minimum obeys , so a modest boundary-value ratio and a small can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 43 3 2 Solution Created 2026-10-03 Updated 2026-10-14
Couple a real source through . Its Fourier components obey , and the source term is . Complete the square using the positive quadratic kernel from the previous part:Translation of the integration variables in the regulated Gaussian functional integral therefore givesThis also fixes the sign: a real linear source increases the Gaussian generating function by a positive quadratic exponent, unlike an imaginary Fourier-characteristic-function source.
To specify rather than conceal an infinite normalization, first impose finite volume and an ultraviolet cutoff, and choose orthonormal real coordinates for the independent field modes. If their number is and the eigenvalues of the quadratic form are , the measure givesA measure removes the prefactor. In the continuum one may express this as plus a source-independent measure constant, with the same regulator understood. The real-mode prescription prevents double counting the conjugate Fourier pairs. All normalized correlation functions follow from and do not depend on that constant.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 48 2 Solution Created 2026-10-03 Updated 2026-10-14
The superficial degree of divergence is the power of a common large-momentum scale obtained by scaling all independent internal momenta together, before cancellations or subtraction of divergent subdiagrams. In a scalar field theory with a standard quadratic kinetic term and non-derivative interactions, each loop momentum integral supplies powers of momentum and each internal propagator supplies minus two. ThusFor a connected Feynman diagram, counting vertex half-edges and applying the stated identity for the loop order givesIt follows that . Meanwhile, . Substitution provesThis power counting in quantum field theory concerns the overall scaling: even a Feynman diagram with can contain divergent subdiagrams, and cancellations may improve convergence when .
The canonical mass dimensions are and . A finite polynomial scalar field theory has power-counting renormalizability when its interactions have nonnegative mass dimensions and the allowed local counterterms form a finite set closed under subtraction of divergent subdiagrams. For , non-derivative interactions therefore satisfy . Equivalently,so adding vertices of such interactions cannot force an indefinitely increasing number of external legs or derivatives in divergent counterterms. In dimensions a fixed finite polynomial still has this favorable power counting in quantum field theory; the displayed upper bound on is intended only for .
For six-dimensional cubic scalar field theory, and yieldThe coupling has zero mass dimension. The possible overall divergences have : vacuum energy, a linear tadpole diagram term, a mass term, a kinetic term, and a cubic interaction. These are finitely many local counterterms. Divergent subdiagrams of higher-point Feynman diagrams are removed by the same counterterms, establishing perturbative renormalizability of cubic scalar theory in six dimensions. A real cubic potential is unbounded below, so this claim is one of perturbative quantum field theory, not a claim that the polynomial defines a stable nonperturbative vacuum.
After Wick rotation, use the Euclidean action with positive kinetic and mass terms and interaction . The Euclidean momentum-space Feynman rules are: an internal scalar propagator , a vertex , momentum conservation at each vertex, integration for each independent loop, and division by the Feynman-diagram symmetry factor. Strip the overall momentum-conserving delta function and external propagators when computing an amputated Green's function.
The one-particle-irreducible two-point vertex at one loop is the bubble:
Interchanging its two internal lines is an automorphism, giving Feynman-diagram symmetry factor two. In the normalization of the printed Minkowski amputated Green's function, the two vertices contribute , the two internal propagators contribute , and Wick rotation supplies the overall already factored out there. Thus the Euclidean bubble contribution isFor this self-energy calculation we impose a vanishing one-point function, so tadpole diagram insertions are canceled by the linear counterterm. Without that convention a connected but one-particle-reducible Feynman diagram with a tadpole insertion is also possible: both external legs attach to one vertex, a zero-momentum line joins it to a second vertex, and that second vertex has a self-loop. Its amputated contribution is , independent of . It is not the bubble drawn above; keeping it without a tadpole subtraction would add this constant to the full amputated answer.
To find the bubble's local divergence, put and expand at large :Odd terms vanish under the angular integral. Rotational symmetry gives . The terms through order are thereforeand the coefficient approaches . Terms of order and higher are integrable at infinity in six dimensions; subtracting the two displayed terms leaves an ultraviolet-convergent integral. Hence the divergent part is a local polynomial , with momentum-independent coefficients. For example, when its logarithmically divergent coefficient isChanging the reference scale in this logarithm only changes a finite local term.
At zero external momentum the spherical ultraviolet cutoff and giveWith , integrate . This gives the momentum-cutoff two-point function in six-dimensional cubic scalar theoryIn particular, the divergent part of this constant iswhile the last term in tends to a finite constant. For the zero-momentum integral gives directly. The finite parts of a local subtraction can depend on the regularization prescription; the conclusion about mass and kinetic counterterms does not.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-07
Take a positive gradient coefficient , a positive squared mass, a finite-volume regulator and an ultraviolet cutoff. Use the dimensionless statistical action convention : inverse temperature is absorbed into the coefficients. If denotes dimensional energy instead, the exponent below gains a factor and the covariance gains . These conventions cannot be mixed.
Choose the Fourier transform conventionIntegration of the quadratic gradient and source terms givesComplete the square with . Translation of the regulated real Gaussian variables leaves their measure unchanged, so the Gaussian integral givesHere is the source-free Gaussian partition function. For independent regulated real coordinates and a positive quadratic matrix , it is under Lebesgue normalization. The continuum determinant needs the stated regulator and a measure convention. Reality pairs the nonzero Fourier modes, so they must not be counted as two independent real fields.
A connected correlation function subtracts the product of the means. The logarithm generates its cumulants: differentiating twice with respect to the source, using the measure in the functional derivative convention, yieldsThe source changes the mean but not the covariance; the stated zero-source limit therefore follows immediately. Momentum conservation uses , appropriate for a real field without complex conjugation on either displayed factor.
For the continuum massive Gaussian field correlation tail, set and . Fourier inversion givesThe large-argument Modified Bessel function of the second kind has . Hence is proportional to at large distance andAt zero mass the exponential length diverges. For the critical continuum tail is algebraic, ; in lower dimensions infrared regulation needs additional care.
For a uniform source , perform a momentum-shell renormalization group step: separate slow modes and fast modes . In a Gaussian field theory they decouple; the uniform source couples only to the retained zero mode. Integrating fast modes contributes only a field-independent determinant to the free energy. Restore the cutoff by , andThe factors from the measure, gradient and two fields cancel in the gradient term. The mass term gains , and the linear source gains . ThereforeHere is the positive mass; for signed thermal coordinates it is the squared-mass relation that applies. The Gaussian fixed point has thermal scaling eigenvalue , source eigenvalue and zero anomalous dimension.
Under the formal homogeneous Gaussian scaling hypothesis, substitution of those eigenvalues givesThe last two values are independently visible in and , agreeing with Landau-Ginzburg theory. The specific-heat power follows directly from the determinant: after two thermal derivatives its singular contribution is proportional toThe change of variables proves this power because the rescaled integral converges at large exactly when . The two-dimensional free energy itself has a resonance, while its second derivative still has the indicated power.
The printed magnetization exponent is a formal Gaussian scaling index, not a proved ordered-phase law of the purely quadratic model. The ordered-phase obstruction in a Gaussian scalar model is explicit: the uniform field has energy density . At it tends to as , and the partition function diverges. For , the mean is and tends to zero as , so there is no spontaneously ordered branch. Thus no literal for can be established from this Statistical Hamiltonian alone. The value follows from the scaling dimension of the field if one assumes such a branch; for its nonpositive value further warns against that interpretation. Adding a stabilizing quartic interaction defines an ordered phase, but below four dimensions that interaction is relevant and generally leads to the Wilson-Fisher fixed point, not these Gaussian thermodynamic powers.
For the Gaussian specific-heat infrared threshold, at the same determinant integral grows like , so as a power exponent, with a logarithmic divergence. For , it has a finite cutoff-dependent limit; the leading heat capacity is a regular constant and has no divergent power, again described by in the requested convention. After subtraction of this background the Gaussian singular term can still have the negative power index ; it is not correct to erase that distinction. In a stable quartic Landau-Ginzburg theory above four dimensions, the quartic coefficient is a dangerously irrelevant coupling: it is needed for the ordered phase and contributes , giving the mean-field specific-heat jump and while invalidating naive hyperscaling relation. At four dimensions, marginal interactions can add further logarithmic corrections. The agreement with Landau theory is in the leading heat-capacity power; it does not assert the absence of logarithms or supply a missing stable Gaussian ordered phase.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 45 4 Solution Created 2026-10-03 Updated 2026-10-07
An effective field theory is a controlled description of specified low-energy degrees of freedom at a chosen accuracy. It does not require knowing all physics at arbitrarily short distances. If new particles or strong dynamics enter at a scale , processes with characteristic energy and momentum transfers can be described using the light fields and interactions consistent with their symmetries. In natural units, four-dimensional power counting in quantum field theory organizes a local Lagrangian asHere has mass dimension , the dimensionless are Wilson coefficients, and is a renormalization scale. In a relativistic vacuum with canonical fields, a typical insertion of a dimension- interaction contributes an additional power , multiplied by its couplings and any light mass ratios. Additional expansions, such as a loop expansion, must also be specified. Symmetry or on-shell identities can postpone a particular observable's first correction.
The theory is useful when its retained states and expansion parameters adequately describe the experiment. It ceases to be a reliable truncated local description near an omitted particle's production threshold, near a heavy propagator pole, or where the retained dynamics become too strongly coupled for an assumed perturbative expansion. A light particle cannot be removed merely because one wants fewer variables: its propagation can produce nonanalytic momentum dependence that must be represented by retained light fields. Heavy-field decoupling can shift renormalizable masses and couplings as well as generate suppressed interactions; those low-energy parameters must be measured or matched, not assumed unchanged. The ultraviolet cutoff is an organizational scale, while a calculation may use a regulator other than a hard momentum cutoff.
Construction starts by identifying the light particles, the hierarchy of scales, and the exact or approximate symmetries relevant to the problem. Form all allowed local field operators through the desired order in power counting in quantum field theory. Choose an operator basis in effective field theory: remove equivalent terms by integration by parts, algebraic identities and allowed field redefinitions. Operators proportional to lower-order equations of motion can be redundant operators for on-shell amplitudes, provided coefficients are consistently transformed. This reduces bookkeeping without imposing additional physics assumptions.
If an ultraviolet completion is known, determine the Wilson coefficients by matching in effective field theory: calculate low-energy amplitudes or appropriate correlation functions in both descriptions using the same infrared conventions, and adjust coefficients so they agree to the chosen order. Equivalently, integrating out a field performs its path integral while retaining the light fields as backgrounds. Heavy propagators have an analytic expansion below their singularities, producing a derivative expansion; heavy loops also generate local terms and logarithms in their coefficients. Without a specified ultraviolet completion, the coefficients are parameters to be constrained by data.
An effective field theory remains predictive even when it contains nonrenormalizable interactions. At each fixed order in energy and loops there are finitely many required coefficients and counterterms. Renormalization absorbs divergences into that order's allowed operators. The renormalization group evolves the Wilson coefficients between matching and measurement scales, compensating scale dependence in matrix elements and, when appropriate, resumming large logarithms. The truncation error in effective field theory is estimated from the first omitted orders, under a stated coupling-size assumption; it is separate from parameter uncertainty and cannot be inferred merely by writing down infinitely many terms.
A concrete example is heavy scalar exchange in effective field theory. Take a light real scalar field and a heavy real scalar field , withThe coupling has mass dimension one. The light-field symmetry is . For and , the displayed scalar potential is bounded below: completing the square in leaves a positive light quartic. Thus the example can be treated as a stable theory around , with weak enough couplings for the tree approximation.
At tree level the heavy equation of motion is . Substitute its solution back into the action, including both its quadratic and source terms, to obtainThis is a derivative expansion valid for small momentum transfers, not an exact local replacement near the pole. The first term gives in the convention. After integration by parts, the next term is ; it is a dimension-six local operator. Writing puts its coefficient in the usual form. These coefficients are a tree-level matching in effective field theory result.
One can directly check the matching through the on-shell scattering amplitude for . With the Mandelstam variables, the full theory has three heavy-exchange channels:For ,The effective field theory reproduces these terms in order: a shifted quartic, then local derivative interactions. Since on shell, the first derivative correction is a light-mass-dependent constant; it vanishes for . This illustrates why an operator basis in effective field theory can trade some derivative operators for mass-dependent or higher-field interactions using field redefinitions. For massless external particles, the first nonconstant correction in this four-point tree amplitude starts at the following order.
The example exhibits the central logic: keep the light field, encode virtual heavy exchange in matched local coefficients, and control the error by expanding in momentum divided by the heavy scale. No heavy particle is actually produced in the domain of the approximation. Near , the full propagator is resonant and the truncated effective field theory fails; retaining or adopting a different description is then necessary. Light loops are computed within the effective field theory, while higher-order matching supplies the corresponding heavy corrections.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 42 3 Solution Created 2026-10-03 Updated 2026-10-06
The parameters of a cutoff statistical field theory describe only the retained modes. Changing the ultraviolet cutoff changes which fluctuations have already been integrated out, so its effective mass, interaction coefficients and gradient normalization must change to preserve the same long-distance physics. They are not separately cutoff-independent observables. Because the source's weight is , its statistical Hamiltonian is dimensionless, with the physical inverse-temperature factor already absorbed.
For example split the scalar field into slow modes with and shell modes with . Define the momentum-shell renormalization group step byThis integrates out short-wavelength fluctuations exactly if all generated terms are retained. The new Hamiltonian can be expanded in local symmetry-allowed operators when the retained external momenta are well below the shell scale. A cumulant expansion of a coarse-grained free energy gives perturbative coefficients. Restoring the cutoff with and, for a canonical gradient term, , gives and . Interaction corrections also change the field normalization. Repeating the step produces the effective theory at successively longer distances.
To obtain the LG theory, assume a short-range scalar theory, slowly varying retained fields, analytic local couplings, positive gradient stiffness and stability, and a regime in which fluctuation corrections at the remaining scales are small. Keeping the leading gradient, quadratic and quartic operators gives a local Landau-Ginzburg theory functional. Its equilibrium in the Landau approximation is a uniform minimum, with a quadratic coefficient proportional to after the critical mass has been tuned. The RG explains why this is asymptotically consistent for the ordinary transition above four dimensions: the quartic interaction is irrelevant near the Gaussian fixed point, while it must still be retained to stabilize the ordered phase. Below four dimensions it cannot be dropped in the asymptotic critical region; an interacting Wilson-Fisher fixed point rather than the elementary saddle generally controls the transition. At four dimensions the interaction is marginal and produces logarithmic corrections. Tuning a quartic coefficient through zero requires a sextic stabilizing term and leads to tricriticality.
More concretely, in the Gaussian scaling regime let so the local quartic term is . At a total blocking scale , the leading couplings are , , . Apply the saddle approximation to the blocked potential and multiply its minimum by to convert back to original volume units. Rescaling the saddle field by givesAll blocking-scale factors cancel. This explicitly recovers mean-field scalar free-energy scaling with . Although above four dimensions, the saddle free energy is proportional to ; setting it to zero before minimization would remove the ordered phase. This is the dangerously irrelevant coupling mechanism rather than homogeneous two-variable hyperscaling.
For the perturbative calculation make the source's kinetic convention explicit. Write . The canonical normalization of a scalar gradient term uses , so the canonical quadratic and quartic coefficients are and . In what follows denote those canonical coefficients; then the reference propagator has denominator . Without this normalization the propagator denominator is , and the unmodified printed integral would not apply. At one loop the quartic tadpole is momentum independent, so it produces no gradient renormalization at this order.
In the convention fixed by the displayed equation, the truncated two-point function is the one-particle-irreducible two-point vertex, not the connected two-point cumulant itself. If and is the Legendre transform, then its second derivative is the inverse of . For a translation-invariant background,Decompose the canonically normalized statistical Hamiltonian into a Gaussian part of mass , a mass counterterm , and the quartic interaction . With the Euclidean sign convention in which a positive mass correction increases the inverse propagator, the self-energy expansion isHere contains loop corrections from proper two-point diagrams, excluding the separately displayed mass counterterm. The corresponding connected propagator begins . This fixes the sign, which would be reversed if “self-energy” instead denoted the insertion added with a plus sign inside a Dyson series.
The one-loop proper diagram is the tadpole diagram. Attaching two external fields to the quartic vertex gives contractions, divided by , so its symmetry factor is . With the loop momentum restricted by the cutoff,It is independent of external momentum. Impose the zero-momentum mass condition . This gives , henceThis is the one-loop relation using a renormalized mass in the reference propagator, or the corresponding self-consistent tadpole approximation if solved without expanding in . It is not an exact all-orders gap equation. Away from the critical infrared problem, replacing the loop mass by the bare one changes a strict perturbative result only at higher order.
Take smooth and nonzero for an ordinary stable quartic transition. To test the assumed linear thermal mass, work from the disordered side and put . For , is infrared finite. The critical bare mass is shifted, not generically zero: . Absorb the smooth temperature dependence of couplings into an analytic thermal tuning , with . Critical subtraction gives the one-loop critical-mass subtractionwhereThe infrared asymptotics of the critical-mass subtraction now distinguish the dimensions. For , is finite, soFor , diverges logarithmically. For , substitution givesso the correction to scales as and dominates the analytic linear term. Pure mean-field linear mass scaling is therefore consistent only aboveAt the boundary dimension logarithms modify the simple power law. Below it this calculation diagnoses the failure of the Gaussian expansion; the exponent obtained by treating the self-consistent one-loop equation as exact is not automatically the exponent of the interacting scalar theory. For , the massless subtraction itself has an infrared divergence, so this perturbative argument cannot establish absence of a transition. In particular it does not rule out the two-dimensional Ising critical point.
The same upper dimension follows by engineering dimension counting: a canonical scalar field has dimension , so . For a tricritical point tune the renormalized quadratic and quartic terms to zero and retain a positive sextic interaction . Its engineering dimension isIt is marginal at , irrelevant above three, and relevant below three. More generally the upper critical dimension of an even scalar interaction is .
A Ginzburg criterion check gives the same result: at tricritical mean-field scaling and , whereas fluctuations in a correlation volume scale as . Their ratio to is , which tends to zero only for . ThusThe tricritical tuning concerns renormalized couplings: shell contractions of a sextic term can regenerate quadratic and quartic terms even when their bare coefficients vanish. At three dimensions the marginal sextic coupling produces logarithmic corrections rather than a strictly fluctuation-free mean-field limit.
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 50 2 Solution Created 2026-10-03 Updated 2026-10-14
Choose boundary states with nonzero overlap with the lowest-energy state in the vacuum sector and in the one-kink topological sector . In a finite spatial box, a fixed scalar field configuration eigenstate may be used formally, with temporal endpoints equal to the chosen configuration. More generally, smear the endpoints with wavefunctionals . Their unitary time evolution kernels areThe inner scalar field path integral remains in the chosen topological sector, with . A zero-total-momentum projection can be included to select the rest state; alternatively, the translational prefactor does not change the large-time exponential. After a Wick rotation to physical Euclidean time , the energy eigenstate expansion gives . Thus the exact vacuum-subtracted soliton mass isEquivalently it is at large time with a damping prescription. The ratio subtracts the vacuum energy; the Hamiltonian operator and action here are the fully regulated and renormalized ones, not merely their classical approximations.
With the dimensionless coordinates of this paper, the correctly normalized classical action isFor the static Sine-Gordon kink, and , so . Write . Expanding and integrating by parts givesThe first variation is , plus boundary terms. It vanishes because the kink satisfies the Euler-Lagrange field equation and the fluctuations have the prescribed temporal endpoints and admissible spatial boundary behavior. This is the principle of stationary action, not a symmetry assumption about .
The printed expansion omits despite the stated Lagrangian density. Its displayed form is the expansion of ; it is not the physical at arbitrary coupling. Alternatively, writing puts the quadratic term in canonical normalization, while leaving the classical term unchanged. This normalization repair does not change or the physical fluctuation frequencies.
The Sine-Gordon kink fluctuation operator has the useful factorizationIt is nonnegative, and gives the normalized translational zero mode of a sine-Gordon kink:A displacement changes by . Thus the zero mode in field theory is the position collective coordinate of the kink, reflecting translation invariance. It has no restoring force and no oscillator zero-point energy. Integrate that collective coordinate separately rather than inserting a zero factor into the Gaussian functional determinant.
Sine-Gordon kink fluctuation potential and normalized translational zero mode
. Details. In the Gaussian fluctuation approximation, the formal oscillator contribution to the one-loop soliton mass correction, before adding any counterterm, isUse a common regulator for the two sums, include all discrete modes, and treat the translation mode as above. The vacuum sum is essential: subtracting only classical vacuum energy would leave an extensive oscillator energy. A periodic fluctuation and its derivative are matched at the two ends of the large box; the one-kink background lies in the twisted topological sector, and its infinite-line profile is accurate up to exponentially small boundary corrections.
For a continuum scattering wavefunction, equality of its two asymptotic values gives the periodic-box phase-shift quantizationAway from the threshold, expand at a matched mode number:Since consecutive free wave numbers are separated by , replacing the continuum-mode sum by an integral proves the displayed continuum contribution:The ultraviolet cutoff is retained until the counterterm is added.
There is a finite threshold issue if this expression is identified with the complete oscillator correction. It can be settled directly using the factorization: a continuum eigenfunction is . Its transmission phase obeyswith the odd phase branch that tends to zero at large . For , the continuum roots have labels ; there is no periodic continuum root at , since the limiting eigenfunction has opposite signs at the two ends. The bound state at replaces the free oscillator with . Consequently, in mode-number regularization of soliton masses,The PDF's continuum-only formula misses this finite under this standard phase and mode-counting convention. It has the correct logarithmic ultraviolet divergence, but the missing term is not suppressed by large . Changing the phase branch requires changing the mode labels and endpoint terms consistently; it cannot erase a physical mode from the formal spectrum sum.
At high momentum, , so both expressions have divergent part . The canonical field has a quartic interaction with coupling . Its vacuum tadpole diagram shifts the squared mass by , whereThe Sine-Gordon vacuum tadpole counterterm has and adds potential energy density . Since , its vacuum-subtracted kink energy iswhich cancels the logarithmic ultraviolet divergence. Finite parts require a specified renormalization condition. As a consistency check, with this tadpole subtraction and matched mode-number cutoff, integration by parts yieldsThe complete semiclassical soliton mass is then in that convention. This last finite result uses the bound-mode term and is additional to the requested ultraviolet cancellation.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 303 3 a Solution Created 2026-10-03 Updated 2026-10-05
Use a dimensionless Hamiltonian in the functional weight , assume , and let . Reality means . At zero field, the quadratic form isIn the momentum-shell renormalization group, split into below and above . Disjoint Fourier supports make the quadratic form split into . Integration over the shell gives a source-independent Gaussian functional integral multiplying the partition function, or an additive constant in the effective free energy; it leaves the slow-mode quadratic coefficients unchanged before rescaling. A uniform field has support only at zero momentum, so it does not change this shell integration.
Restore the ultraviolet cutoff by , , and chooseThe measure, two gradients and two fields have scale factors , and , whose product is one. The mass term has factor , while the uniform source term has factor . Hence the Gaussian momentum-shell scaling isFor a slowly varying nonuniform source the corresponding formula is . Here the nonuniform source on the right is its projection onto the retained Fourier modes; an eliminated source component contributes only to the field-independent Gaussian normalization. The field engineering dimension is and its Gaussian anomalous dimension is zero. The mass and uniform source are relevant perturbations of the Gaussian fixed point. Positivity of is necessary for a stable kinetic term near this point. One can use a finite volume and positive mass as infrared regulators and then take the critical limit; at exactly zero mass the integral over the zero Fourier mode alone is not a normalized finite-volume Gaussian measure.

