Heisenberg-chain spin-wave comparison 2026-10-20
With unit lattice spacing and , a nearest-neighbour Heisenberg model has quadratic low-momentum ferromagnetic magnons and linear antiferromagnetic modes in the linear spin-wave approximation. The ferromagnetic polarized vacuum is an exact ground state, whereas the assumed antiferromagnetic ordered vacuum has quantum depletion of Néel order. In one dimension its logarithmic infrared divergence invalidates finite ordered magnetization and prevents the linear approximation from deciding the exact gap.
Infrared divergence Created 2026-09-28 Updated 2026-11-05
An infrared divergence arises from contributions at arbitrarily low energy or long wavelength. A massless mode can produce such a problem because many soft excitations are available at very small energy, or because a long-distance fluctuation integral fails to converge.
Its interpretation depends on the observable. In scattering, an exclusive amplitude with no additional arbitrarily soft radiation need not be separately measurable; combining appropriately inclusive real-emission and virtual contributions can remove the relevant divergence. In equilibrium field theory, an infrared-divergent order parameter fluctuation can instead diagnose failure of an assumed ordered-state approximation. A finite size or detector resolution may regulate the calculation, but the dependence on that regulator must be interpreted rather than silently discarded.
Infrared regularization Created 2026-10-25 Updated 2026-11-05
An infrared regulator suppresses the small-momentum region responsible for an infrared divergence. Examples are a small positive mass or a finite volume. It must be distinguished from an ultraviolet cutoff: setting external momenta and masses to zero to extract an ultraviolet divergence can introduce a spurious infrared divergence. Keep a positive auxiliary mass until the divergent local coefficients have been separated, then take the desired limit in infrared-safe quantities.
Infrared-safe observable Created 2026-10-14 Updated 2026-11-05
An observable unchanged by adding a particle with vanishing energy or replacing one massless particle by exactly collinear particles with the same total momentum. This property permits cancellation of real and virtual infrared divergences and collinear divergences in its perturbative cross-section. Fully inclusive electron-positron hadronic rates and suitably defined jet observables are examples.
Massive zero-momentum QED vertex integral 2026-10-25
For the QED proper Feynman vertex with both external four-momenta zero, a massive internal fermion and a massless internal photon in Feynman gauge, the even numerator reduces under Lorentz covariance to . The gamma matrices identity and the integrated replacement prove the coefficients. The term has neither an infrared divergence nor an ultraviolet divergence for ; its integral in four dimensions is . Only the remaining squared massive denominator supplies the ultraviolet pole.
Momentum-space integral 2026-10-25
An integral over momentum space. For example, state counting in spatial dimensions uses a measure proportional to , whereas a relativistic Feynman integral commonly uses in natural units. The convention and any regulator must be specified. Independent loop momenta supply separate integration variables in a loop Feynman diagram; ultraviolet divergences and infrared divergences can require different regularizations.
Route a directed ghost loop so that its internal four-momenta are and . At the external gluon with indices , let the incoming ghost carry colour and the outgoing ghost carry colour ; the other Feynman vertex has the reverse order. The stated ghost-gluon Feynman rules supply . Their colour factor isThe two ghost propagators supply , while the closed ghost loop supplies another . Thus, with the insertion convention stated above,This establishes every prefactor before integration. To isolate its ultraviolet pole, take generic off shell , initially , so the massless integral has no overlapping infrared divergence. Introduce a Feynman parameter, shift , and set . Odd powers of vanish, givingThe needed dimensional regularization integrals follow from the supplied gamma function formula. In ,Here , rather than . Using and , obtainTherefore the ghost-loop pole of the gluon self-energy isThe factor in affects only finite terms at this order. The isolated ghost loop is not transverse: contracting this result gives . Transversality is a condition on the complete gluon self-energy, including the other loop graphs.
After a Wick rotation, the term in question has radial behaviorThe radial integrand is proportional to at the origin and to at infinity. Thus it has neither an infrared divergence nor an ultraviolet divergence. In fact the area of the unit three-sphere givesThis also follows from the Feynman parameter identitywith , . Although the parameterized denominator becomes massless at , its numerator cancels the apparent endpoint singularity. Since , multiplication by preserves finiteness. No artificial photon mass is needed.
The superficial degree of divergence of this scalar electrodynamics three-point vertex is one. Its ultraviolet pole is consequently a local expression at most linear in the external four-momenta. The allowed counterterm Lagrangian, with the charge-conjugation and Hermiticity properties of scalar electrodynamics, contains a single one-derivative scalar electrodynamics three-point vertex:Thus the coefficient is independent of the chosen external four-momenta. Setting leaves , so a nonzero generic still determines that coefficient. It does not determine the full finite scattering amplitude at other four-momenta.
Keep and generic off shell while extracting the ultraviolet pole. These choices avoid spurious infrared divergences; setting all scales to zero would instead produce scaleless integrals that can conceal the ultraviolet pole.
At large loop momentum, each Dirac propagator scales as . One four-dimensional loop and four internal Dirac propagators therefore give the superficial degree of divergenceThus a possible ultraviolet divergence in the sum is logarithmic. By locality its divergent coefficient is a degree-zero polynomial in the external four-momenta, namely a constant Lorentz tensor,The photon Ward identities apply to the complete sum for arbitrary external four-momenta, including off shell ones: , and likewise for the other legs. A constant tensor with for every must be zero. Hence andEquivalently, a logarithmic divergence would require a local dimension-four counterterm, forbidden by Abelian gauge invariance. A gauge-invariant four-photon local operator starts with four gauge field strengths, for example , of mass dimension eight; it cannot be this power counting divergence. Individual boxes need not be finite; their forbidden divergent parts cancel in the sum. There are no divergent proper loop subgraphs at this loop order. With the massive Dirac field in the source, there is also no soft or collinear infrared divergence at generic external kinematics. The argument establishes ultraviolet finiteness, and does not claim the absence of physical threshold singularities.
The middle panel in part a has an internal photon of momentum joining two points on a fermion line; the internal fermion has momentum . It is a one-particle-irreducible Feynman diagram with no closed fermion loop sign. In Feynman gauge,orThe decomposition in the source gives . In particular,For a direct ultraviolet divergence extraction, use a Feynman parameter multiplying the massive denominator, shift , and define . Then andOdd terms integrate to zero. Taking the trace explicitly supplies the weight , whose integral tends to . HenceAs a check on the same fermion self-energy calculation,This is the ultraviolet pole of QED fermion self-energy. It is safe to extract it at generic external momentum; an on shell or massless limit must distinguish any infrared divergence from this ultraviolet divergence.
In the right panel of part a, enters the fermion line, leaves it, and a virtual photon of momentum bridges the external photon vertex. Write and . The one-loop amplitude isThis Feynman integral has a logarithmic superficial degree of divergence. Its ultraviolet pole is independent of the external momenta and , because every such numerator insertion or denominator correction lowers the large- degree. Preserve an auxiliary positive mass while extracting the ultraviolet pole; setting everything to zero would create a scaleless integral and conceal the cancellation of ultraviolet and infrared divergences.
The leading numerator is . Symmetric integration replaces by . Two contractions of gamma matrices then giveFor the auxiliary-mass extraction of ultraviolet poles,The second term is ultraviolet convergent. ThusThe ultraviolet pole of the QED vertex is therefore . The Pauli structure has zero trace against and no ultraviolet pole at this order.
Form-factor qualification. The two electron electromagnetic vertex form factors in the source describe matrix elements between external on shell Dirac spinors. A general off shell vertex has more structures, so the unprojected trace is not a projector for the complete finite on-shell . It does correctly isolate the divergent local coefficient, which is all that is required here.
The Holstein–Primakoff transformation realizes a spin algebra using bosonic creation operators and bosonic annihilation operators. A boson counts a unit of spin deviation from the local positive quantization axis: with . The square root in supplies the correct spin-ladder matrix elements. In particular,Their commutator is on every physical number state, reproducing the Spin commutation relations. Although the oscillator Fock space is infinite, the physical subspace is onlyThe order of the square root and oscillator operator matters in obtaining these coefficients.
When the spin deviations are dilute, expand the square root in . The leading transverse operators are linear in the bosonic creation operators and bosonic annihilation operators and turn exchange interactions into a quadratic Hamiltonian, which can be diagonalized. Higher powers describe interactions between spin waves. The method therefore organizes corrections by inverse powers of about an ordered classical configuration. Large alone is insufficient: the average depletion must remain small compared with . Possible problems include the occupation constraint after truncation, noncollinear order requiring site-dependent axis rotations, zero modes, and infrared fluctuations that destroy the assumed dilute expansion.
Past exam of the gauge field theory course of the University of Cambridge 2014 Paper 1 3 b Solution 2026-10-20
Loop corrections in perturbative quantum field theory integrate over unbounded internal four-momentum. For example, after a Wick rotation, a four-dimensional integral with large-momentum behaviorhas a logarithmic ultraviolet divergence. This is sensitivity to short distances, distinct from a possible low-momentum infrared divergence.
Regularization in quantum field theory first makes the expression mathematically well defined, for example with a cutoff or dimensional regularization in . A regulator is an intermediate prescription rather than a measured physical parameter; a hard momentum cutoff can obscure gauge identities, so their preservation or restoration must be checked. Introduce bare fields and parameters, such as , and split the regulated Lagrangian density into a renormalized part and local counterterms. For instance, wavefunction, mass and coupling counterterms cancel the corresponding divergent parts of Green functions order by order.
Renormalization conditions fix finite parameters through specified observables or a subtraction prescription. Once these physical inputs are held fixed, predictions must not depend on the arbitrary regulator. In a renormalizable quantum field theory, a finite set of operator coefficients suffices to absorb ultraviolet divergences at every perturbative order, with the allowed structures constrained by the theory's symmetries. Gauge theories impose relations among counterterms through identities such as the Ward-Takahashi identity; one cannot choose every diagram's subtraction independently.
The remaining dependence on a chosen renormalization scale describes running couplings and is organized by the renormalization group. An effective field theory can instead include higher-dimension operators suppressed by a high scale. Infinitely many are allowed in principle, but only finitely many contribute at a fixed accuracy in the low-energy expansion. Renormalization is therefore a controlled relation between parameters and predictions at different scales, rather than an instruction to discard every infinity without fixing physical inputs.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 48 4 Solution Created 2026-10-03 Updated 2026-11-05
Put and neglect electron and final-quark masses compared with . First fix a final color charge; its multiplicity will be restored for the inclusive rate. The photon-exchange scattering amplitude is, up to an overall phase,Averaging over the two spins of each incident particle and summing final spins givesBy the gamma matrix trace identities, the first trace is , and likewise for the second. Contracting the two tensors cancels the terms proportional to , givingIn the centre-of-mass frame all four energies are . The first pair of scalar products equals each, and the second pair equals each. Hence .
For clarity, the printed flux hint has a factor-of-four inconsistency: when , the prefactor multiplying the spin-averaged amplitude is , not . Alternatively, is correct if . Use this massless two-body scattering flux normalization, keeping the spin average separate.
To obtain the two-body Lorentz-invariant phase space directly, integrate the momentum-conserving spatial delta function, leaving . The remaining radial integral is , so . The relativistic scattering cross-section is consequentlySince , the integrated electron-positron annihilation into a quark pair result, for this fixed color, isThe first two printed formulas are thus color-stripped. Distinct final colors are orthogonal states and must be summed, producing . At leading order each accessible quark flavor contributes independently. Away from thresholds and narrow resonances, quark-hadron duality relates the inclusive parton rate to the observed inclusive electron-positron annihilation into hadrons, givingThis formula concerns the photon channel, assumes is large compared with the relevant quark masses and the strong-interaction scale, and does not include Z boson exchange.
Beyond leading order, an exactly exclusive pair of colored quarks is not an observable asymptotic state because of confinement and hadronization. Moreover its virtual corrections have infrared divergences; real soft or collinear gluon emission cannot be excluded if a finite rate is wanted. The inclusive sum includes both the corrected two-parton channel and channels such as , with their degenerate soft and collinear limits. Real and virtual infrared divergences then cancel for an infrared-safe observable. A specified jet observable can also be meaningful if it defines an infrared-safe observable; a bare two-quark final state is not.
A convenient inclusive calculation uses the optical theorem. For the electromagnetic hadronic current , defineThe hadronic electromagnetic-current spectral density is obtained from its discontinuity. In this convention the hadronic R ratio is , where at this order. Cutting the forward amplitude sums all allowed hadronic intermediate states, so perturbative quantum chromodynamics applied to this inclusive quantity implements the required sum of real and virtual contributions.
Finally, write , , , and . The given truncated correction isDifferentiate with respect to , using the stated one-loop beta function and . The derivative of cancels the explicit logarithmic derivative at order . Keeping the residual derivative of the truncated expression givesThus the principle of minimal sensitivity, applied to this expression with nonzero coupling and , selects the one-loop stationary scale for the hadronic annihilation correctionThis is a prescription based on the residual order- scale dependence of an order- approximation. At strictly order , the derivative already vanishes for every renormalization scale; the prescription does not assert exact scale dependence of the observable. It is useful only while the selected running coupling remains perturbative. If or , the stated derivative imposes no unique scale.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 48 4 Solution Created 2026-10-03 Updated 2026-10-14
In quantum electrodynamics, gauge invariance connects local phase freedom, electric-charge conservation and the restrictions on photon interactions. For definiteness takeThe gauge transformationhas : the derivative of the local phase cancels the added gauge potential. Also is unchanged because mixed partial derivatives commute. Consequently every term in the Lagrangian density is invariant. This derives the minimal electromagnetic coupling of a Dirac field, including the interaction . A fermion mass is compatible with the symmetry, whereas a local Proca photon mass is not.
The classical Maxwell equations are , with . Taking a divergence gives because is antisymmetric. The same conservation law follows directly from the charged Dirac equation and its adjoint. For vanishing flux at spatial infinity, is conserved. Gauss law identifies this charge with the electric flux through a surrounding surface. Particle-antiparticle creation is allowed, but its net electric charge is zero.
Local gauge invariance is also a redundancy in the potentials, rather than an extra propagating degree of freedom. The canonical momentum of vanishes, and its field equation enforces the Gauss law constraint in gauge theory, . After imposing the constraint and quotienting gauge freedom, a massless photon has two transverse physical polarizations. Gauge transformations vanishing at the boundary identify equivalent descriptions; constant phase transformations at infinity can act on charged states and generate their conserved charge. This distinction explains why gauge redundancy and electric charge are compatible.
In perturbative QED, the quadratic photon operator cannot be inverted before gauge fixing. Adding gives the covariant gauge propagatorThis propagator contains longitudinal and timelike components, but these are not external physical photon states. A Gupta-Bleuler null-state quotient, or the equivalent BRST construction, removes them. In linear Lorenz gauge, , so the Faddeev-Popov determinant is independent of and the Faddeev-Popov ghost fields decouple. This last statement concerns the linear gauge; Abelian gauge groups alone do not guarantee decoupling in a nonlinear gauge condition.
At the quantum level, the vector symmetry gives a Ward identity. One way to obtain it is to change variables by a localized phase in a time-ordered correlation function containing and . The action variation becomes a current divergence; the two field insertions contribute opposite contact terms, since their charges are opposite. Fourier transformation turns the divergence into the photon momentum, and amputating the external fermion propagators turns the two contact terms into the difference of their inverse propagators. With the charge removed from the proper vertex and the overall propagator factor removed from its inverse, the result is the proper-vertex Ward-Takahashi identity in QEDAt tree level this is simply . Between on-shell external spinors, the inverse propagators vanish, so the full physical scattering amplitude satisfies . Therefore replacing a photon polarization vector by leaves the amplitude unchanged. The identity applies to the complete required sum of diagrams, not necessarily each diagram separately. It also ensures cancellation of the gauge parameter from physical observables when all terms at the chosen perturbative order are included.
For the photon two-point function, the Ward identity implies transverse photon vacuum polarization:Thus ultraviolet subtraction renormalizes the gauge-invariant kinetic term, rather than requiring a local photon-mass counterterm. Perturbative unbroken QED retains a massless photon. Transversality by itself would not exclude a nonlocal massless pole in a different theory; the assertion here includes the perturbative QED setting.
Taking in the proper-vertex identity gives . Matching the divergent coefficients of the derivative and vertex terms yields the Ward identity for QED renormalization constants, , in a gauge-preserving prescription. If and , comparison of the interaction coefficients givesHence charge renormalization is fixed by photon wave-function renormalization. Gauge invariance constrains counterterms and relates renormalizations; it does not make the electric charge independent of scale.
The Soft photon theorem gives another physical manifestation. Attaching a photon of small momentum to the external charged legs gives the leading factorwhere is charge in units of and for outgoing and for incoming legs. Replacing by makes this factor proportional to , which vanishes by electric charge conservation. Massless photons also cause infrared divergences; physical inclusive measurements combine unresolved real emission with virtual corrections, rather than treating either contribution alone as an observable.
Finally, the vector gauge symmetry of a Dirac fermion in QED is anomaly-free, so it can be maintained by regularization and renormalization. This must be distinguished from the axial current: its divergence has explicit mass terms, as in Question 3, and can additionally have a quantum chiral anomaly. Conservation of the gauge current does not imply axial-current conservation. The resulting picture is that gauge invariance simultaneously organizes the physical photon states, enforces electric-charge conservation and ties together amplitudes and ultraviolet subtractions.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 47 2 Solution Created 2026-10-03 Updated 2026-10-14
Set . The angular integral of the electron-positron annihilation into a muon pair differential cross-section isThereforeThe printed comparison of with a quantity in has inconsistent units: the high-energy condition means an energy large compared with particle masses, or equivalently an energy-squared large compared with their squared masses.
At leading order, inclusive electron-positron annihilation into hadrons proceeds through , as in the first panel below. The photon couples to each quark with strength ; the corresponding contribution is times the muon-pair rate per colour. Summing over the three orthogonal final colours and active flavours gives the hadronic R ratioFor massless flavours this gives , with charm included , and with bottom as well .
The approximation assumes unpolarized beams and negligible electron mass; active quark masses are small relative to , and heavy flavours below threshold are excluded. Photon exchange dominates, so exchange and photon- interference are neglected; this is appropriate sufficiently below the Z boson scale, not at arbitrary high energy. The coupling must be evaluated consistently in numerator and reference rate. We also neglect higher-order QED radiation. Relating the inclusive partonic calculation to hadrons invokes quark-hadron duality: the energy should be in a perturbative continuum region, away from thresholds and narrow resonances, with power-suppressed nonperturbative effects neglected. An exclusive hadron channel cannot be obtained merely by multiplying the parton rate by the colour count.
Born hadronic production, real and virtual first-order QCD corrections, and their local counterterms
. Details. At next order in QCD, the real-emission amplitudes are the two distinct diagrams for , with the gluon emitted from the quark or antiquark. They must be added before squaring, including their interference. Each amplitude is order at the hadronic current vertex and gives a relative order- contribution to the rate.
The virtual order- amplitudes consist of the gluon correction to the photon-quark vertex and the quark and antiquark self-energy/external-state normalization contributions. The figure also shows the corresponding local vertex and field counterterms. In an amputated on-shell calculation the external-leg terms are represented by wave-function factors, rather than counted as extra final states. There is no gluon attachment to an electron, since it carries no colour. Gluon self-energy insertions and additional non-Abelian vertices enter at higher orders here. The rate correction is the Born-virtual interference plus the integrated squared real-emission amplitude, not the square of the one-loop amplitude.
Use dimensional regularization, , to keep ultraviolet and infrared singularities in a common scheme. Ultraviolet divergences in the virtual quark and vertex contributions are removed by consistent wave-function renormalization and local counterterms; the conserved electromagnetic-current identity relates the vertex and field renormalizations. One uses a renormalized QCD coupling ; its running changes this first correction only at the next perturbative order. In the massless on-shell scheme some external self-energy integrals are scaleless and vanish, but that statement combines ultraviolet and infrared poles and must not be used to discard the associated normalization terms inconsistently.
The remaining infrared divergences occur when a gluon is soft, and collinear divergences occur when it is parallel to a massless quark. They appear in both virtual diagrams and the real-emission phase-space integral. For the fully inclusive total rate, unresolved final states are summed and real-virtual infrared cancellation in inclusive QCD removes their poles. A resolved jet rate instead needs an infrared-safe observable and a resolution prescription. An isolated real or virtual correction is not a finite physical inclusive cross-section.
Define the dimensionless constant with the conventional loop factor extracted. Then the requested form isFixed numerical and colour factors are contained in ; choosing another extracted prefactor simply redefines that constant. No explicit loop coefficient is required to establish the form.
The Born and virtual processes give two energetic particle jets. Hard, well-separated real radiation gives a three-jet event; unresolved radiation changes jet widths and event-shape distributions, while the combined terms correct the inclusive rate. Resolved three-jet events in electron-positron annihilation provided the direct gluon signature, observed at PETRA in 1979. Their interpretation is energetic quark, antiquark and gluon fragmentation, with approximately planar three-body momentum balance. The primary institutional account is www.desy.de/news/news_search/index_eng.html?openDirectAnchor=1643&printversion=1 .
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 306 3 ii Solution Created 2026-10-03 Updated 2026-10-06
In a point-particle description of quantum gravity, interactions of a massless spin-two field occur at localized vertices of Feynman diagrams. The gravitational coupling has negative mass dimension for spacetime dimension greater than two, so short-distance loop integrations generate higher-derivative counterterms that cannot all be absorbed into the Einstein action. A string worldsheet instead joins incoming and outgoing strings by a smooth surface. In particular, a closed string splits or joins through a smooth pair-of-pants surface. There is no invariantly distinguished point at which every part of an extended string interacts. The choice of a time slicing can draw a joining point, but it is not a physical pointlike vertex. This removes the point-interaction geometry responsible for arbitrarily localized interactions and introduces the string length .
This geometric explanation is supported by the organization of the Polyakov path integral. Introducing a worldsheet metric makes the Nambu–Goto action amenable to gauge fixing. In the Euclidean integral, metrics on a fixed oriented surface are divided by worldsheet diffeomorphisms and Weyl transformations. What remains is a Riemann surface with a conformal structure, together with finitely many worldsheet moduli and the positions of external string vertex operators. The determinants from fixing the metric are represented by Faddeev-Popov ghosts. Schematically, for closed-string external states,Here is the moduli space of genus- punctured surfaces. The dilaton weights a surface by its Euler characteristic , giving before the normalization of external states. Every additional handle multiplies the contribution by . The string genus expansion therefore plays the role of the ordinary loop expansion, with the sphere giving tree level and the torus giving one loop. The critical dimension cancels the worldsheet Weyl anomaly, making this reduction to conformal geometry consistent.
The massless symmetric traceless closed-string state is a graviton, and its long-wavelength interactions reproduce gravity. At distances comparable with , however, an infinite tower of excited states contributes. This is more than a single particle form factor: the same amplitude contains graviton exchange, massive higher-spin exchange and string-scale softness.
The dimensionless variables in the given Virasoro–Shapiro amplitude correspond to , , , where capital letters denote the usual dimensionful Mandelstam invariants. Its constraint identifies the external particles as the closed bosonic tachyons, not four gravitons. Nevertheless its intermediate massless pole directly exhibits graviton exchange. The overall normalization will be suppressed below; no additional copy of the amplitude formula is needed.
First, the amplitude is symmetric under permutations of , expressing crossing symmetry. The poles in any channel areFor generic , the residue can be calculated with the Gamma function pole at and its recurrence:The product is when . Indeed, the pole factor contributes , while the two remaining Gamma ratios contribute . A residue polynomial of degree shows exchange of spins up to , with leading Regge trajectory . At , the massless residue is , containing the spin-two exchange. By crossing, the massless -channel pole isfor generic . Thus at large the pole behaves as , the characteristic energy dependence of graviton exchange. Its massless propagator produces the long-range gravitational interaction. At low energies the massive poles can instead be expanded into local higher-derivative corrections to the effective gravitational action.
At the string scale one must retain the whole tower. The Gamma reflection formula rewrites the amplitude exactly asAt large and fixed , away from the resonance poles or with a specified complex continuation, the Gamma ratio scales as . Hence the Regge limit scales as , up to the signature factor and the displayed -dependent coefficient. In particular, a fixed nonzero momentum transfer changes the point-graviton power law by a factor : the graviton belongs to an entire trajectory rather than remaining an isolated spin-two exchange at arbitrarily high energy.
There is stronger suppression when the scattering angle is fixed. Put , with . Applying Stirling formula to the Gamma functions, after the same treatment of real-axis poles, gives the leading smooth envelopeThe leading terms cancel and the remaining entropy-like combination is negative. In physical units the exponent is . This fixed-angle softness of the closed-string amplitude is absent for an elementary pointlike gravitational vertex. Equivalently, short-distance gravitational scattering probes additional string degrees of freedom. In a four-dimensional long-distance effective setting, a massive exchanged mode contributes a Yukawa-type correction proportional to , with couplings and tensor factors depending on the external states. Such terms are suppressed for and become relevant for . The amplitude establishes the spectrum and short-distance change; it does not by itself give a universal static potential for arbitrary sources. Its bosonic tachyon also signals an unstable vacuum, so it must not be treated as a complete stable model of a gravitational force.
Finally, the modular group prevents overcounting equivalent surfaces and reorganizes the loop ultraviolet region. A torus is with . A change of lattice basis identifiesThus the one-loop integral uses a fundamental domain for , for exampleThe measure is invariant, and the physical integrand, including matter, ghosts and external insertions, must respect torus modular invariance. In this domain . The region of arbitrarily small proper time that causes ultraviolet divergences in a particle loop is therefore not an independent part of the string integral; a modular transformation relates it to another description already represented in the domain.
This does not remove every possible divergence. The cusp is a long tube, and factorization through it can produce infrared divergences, massless tadpoles or the bosonic tachyon divergence. At higher genus, degenerating cycles similarly factorize into propagating intermediate string states. The essential improvement is the relation between worldsheet geometry, the full spectrum and the quotient by large diffeomorphisms; infrared and unstable-background problems remain separate questions. A short-distance expansion that keeps only the graviton discards precisely this structure.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 304 2 iii Solution Created 2026-10-03 Updated 2026-10-05
Literal absence of new interaction vertices in the full quantum effective action holds only for Gaussian field theories.
For every interacting , the one-loop scalar effective action already contains counterexamples. On a constant background, with a positive auxiliary mass to control infrared divergences, its field-dependent part isThe term of order has external scalar fields and is a one-loop polygon one-particle-irreducible Feynman diagram. Choose and . Then , its loop momentum integral is ultraviolet convergent, and its coefficient is nonzero. Removing the ultraviolet cutoff does not remove this finite higher-point scalar vertex. For , generic nonexceptional external momenta give the same conclusion without retaining the auxiliary mass. In , the massless theory still needs an infrared prescription; removing the ultraviolet cutoff does not remove that need or the induced vertices. Hence there are no interacting pairs under the literal wording. For the functional determinant is field independent; merely shifts a Gaussian integral when an infrared prescription exists.
There is a different conventional interpretation: absence of new independent divergent counterterms. The superficial degree of divergence of a connected diagram isThe standard perturbative counterterm closure criterion is , with the same pairs as in part ii, provided one includes all symmetry-allowed lower-degree potential terms, the kinetic term, and the vacuum energy. A pure monomial family need not itself have counterterm closure: a sextic interaction in three dimensions generates a quartic counterterm, and a quartic interaction generates a mass counterterm. This interpretation concerns the local divergent part or the continuum defining action, not the complete quantum effective action with its finite interaction vertices and derivative expansion.
For the massive four-dimensional quartic scalar field theory, write for the bare quartic coupling, for its renormalized value, and for the mass held fixed by a renormalization condition. Define the scalar bubble integralThe quartic one-particle-irreducible correlation function, defined as a derivative of the Euclidean quantum effective action, isThere are three bubble diagrams, one for each pairing of external momenta, and each has Feynman-diagram symmetry factor . The minus sign follows equivalently from the quadratic term in the functional determinant .
Radial integration at zero external momentum givesThe bare quartic vertex is not finite at fixed bare coupling. Its logarithmic ultraviolet divergence must be subtracted. Impose the momentum-subtraction scheme condition . To one loop this requiresFor the finite difference, a Feynman parameter and a shift of loop momentum giveThe boundary error due to shifting a sharp cutoff vanishes in this limit. Substitution yields the finite renormalized quartic scalar vertexThus finiteness requires holding the renormalized coupling fixed and allowing the bare coupling to depend on . The unsubtracted assertion would be false.
The same one-loop scalar effective action explains the other effective interactions. For a constant background its expansion isThe tadpole diagram gives a mass correction , withIt requires a mass counterterm. The field-independent vacuum energy also requires subtraction. The term is the quartic logarithm already treated. There is no one-loop wave-function renormalization from the quartic tadpole diagram.
For the polygon diagrams generate finite higher-point scalar vertices, withFor example, the induced sextic term in the effective potential is , or a six-point interaction vertex when normalized by . These finite terms survive the removal of the ultraviolet cutoff at fixed .
The external-momentum dependence of the bubble diagrams also generates a derivative expansion of quartic interactions. At small , the subtracted scalar bubble integral is , giving finite derivative couplings. At order these are the new field-dependent interactions beyond the mass and quartic terms; the sextic and higher interaction vertices require higher powers of , though they still occur at one loop. Such coefficients are suppressed by powers of the physical mass or external momentum, not by powers of . The calculation establishes an order-by-order perturbative limit; it does not establish a nonperturbative interacting continuum limit of a quantum field theory in four dimensions.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 304 2 i Solution Created 2026-10-03 Updated 2026-10-05
Take integer and positive integer , so the interaction is genuinely non-Gaussian. For a connected two-point Feynman diagram with interaction vertices and internal lines, counting half-edges and using the loop order givesAt one loop , hence . There are only two possibilities: a two-interaction vertex bubble diagram for , or a one-interaction vertex tadpole diagram for . The latter is independent of external momentum and changes the mass, not the kinetic term.
For cubic scalar field theory, introduce a positive auxiliary mass if needed to separate infrared divergences from ultraviolet divergences. The one-loop self-energy in the quantum effective action is , withThis Feynman parameter representation follows by shifting the loop momentum; it is directly valid for a translation-invariant regulator, or for the convergent subtracted integral. Differentiating at givesThus the coefficient of the kinetic term changes by .
Only the cubic interaction has a momentum-dependent one-loop two-point correction.There is a terminology qualification: if “wave-function renormalization” means a required ultraviolet counterterm, rather than a finite correction to the field normalization, the large- radial integral behaves as , and the answer isIt is logarithmically divergent at and power divergent above with a momentum cutoff. Among interactions with a relevant coupling or marginal coupling, the divergent case is uniquely . The massless low-dimensional amplitude needs an infrared divergence prescription; one cannot take a local expansion at zero momentum without one. The cases, if admitted, are a source and a Gaussian mass term and have no interaction-induced wave-function renormalization.
