Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 68 3 Solution Created 2026-10-03 Updated 2026-10-14
Use Planck units and restrict to the physical Kähler metric domainPut and , so that . There are no gauged interactions specified, hence no additional D-term scalar potential. The supergravity F-term potential is , with . Its Kähler covariant derivatives of a superpotential areThe nonzero metric entries areThe determinant of this block is , so it is positive definite. With the inverse-index convention , the raised components areKeeping these complex-conjugate off-diagonal entries in their correct index positions is essential.
To exhibit the no-scale supergravity cancellation, write the norm asHere . The term cancels the negative term in the supergravity F-term potential. The result is the nonnegative scalar potentialThis is the matter-logarithm no-scale potential, specialized to the exponential superpotential.
Choose the supergravity auxiliary field convention . Substitution into the full inverse Kähler metric givesAn overall auxiliary-field phase is conventional. The dependence of cancels between the two metric terms. If all three auxiliary fields vanished at a finite physical point, would force , would force , and would then force . Thus is necessary. For any nontrivial choice of , supersymmetry is broken at every finite physical point. The allowed exception , is supersymmetric; the statement cannot hold for all arbitrary parameters without this qualification.
The no-scale volume runaway criterion also determines whether the minimum is attained. For fixed , differentiation with respect to givesIt is negative unless both numerators vanish. Therefore a finite stationary vacuum must satisfyEvery such point is a global minimum with . For , setting and reduces existence toThe derivative of the magnitude function is . It rises from at the excluded boundary to at , then falls to zero. Consequently a finite zero-energy minimum exists exactly whenor in the separate trivial family . There is one positive root for , two for , and one double root at equality. If only one of vanishes, or exceeds this maximum, there is no finite minimum: the infimum is zero as . Calling this runaway a finite zero-energy vacuum would be incorrect.
At a nontrivial zero-energy minimum, , and the auxiliary expectation values reduce toThis explicitly verifies supersymmetry breaking with zero vacuum energy in no-scale supergravity. Both real components of are exact flat directions of a scalar potential on the minimum locus. Away from that locus, is still absent from the potential, but is not flat. At a minimum, is lifted at quartic order: at fixed , . A zero quadratic mass does not make an exact flat direction. The quartic stabilization at a double no-scale root likewise gives a vanishing quadratic mass, but no exact flat direction, for at . For , the whole family has both and flat and supersymmetry unbroken.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 55 5 Solution Created 2026-10-03 Updated 2026-10-14
Set , the domain in which the Kähler potential is defined, and use Planck units. The nonzero entries of the Kähler metric and its inverse areThe Kähler covariant derivatives of a superpotential areDenote and . The supergravity F-term potential isHere the contribution is exactly , cancelling the negative term. This is the no-scale supergravity identity, givingThe cancellation is important: replacing the covariant derivatives by ordinary derivatives would miss both the matter dependence and the possibility of zero vacuum energy with supersymmetry breaking.
In the convention , the chiral supergravity auxiliary fields areAn overall auxiliary phase or sign convention does not change their vanishing conditions. These are upper-index fields, including the inverse Kähler metric, rather than just the covariant derivatives.
Since is nonnegative and vanishes at , its minimum energy isThere are additional minima that should not be discarded by examining only real . For , the condition becomesIf , the magnitude equationhas exactly one positive root: its left side is strictly increasing from zero to infinity. There are three phases, differing by , determined by . Thus for nonzero the finite zero-energy matter vacua consist of and these three nonzero phase-related values, each with arbitrary in the allowed half-plane. At a nonzero matter vacuum,At , .
For , every such minimum has but , so supersymmetry is spontaneously broken despite zero vacuum energy. Indeed no finite point anywhere is fully supersymmetric: would force , after which forces and then . This proves breaking for the specified nonzero-constant case without relying just on the positivity of the potential.
For the allowed exceptional value (B=0), the requested breaking statement is false. Then vanishes only at , where . Every finite allowed gives an unbroken supersymmetric vacuum with zero energy. This is an explicit counterexample to unqualified breaking for an arbitrary complex .
Both real components of are flat directions of a scalar potential along every minimum: the imaginary component never appears in , and when the entire dependence is multiplied by zero. The matter vacua are isolated in the plane; there is no continuous matter vacuum direction. At the potential begins quartically in , so zero quadratic mass is not a flat vacuum manifold. Away from , the real direction instead has and a decompactification-type runaway towards zero as , not a further finite positive-energy minimum.
The gravitino mass from a superpotential isAt the branch it is ; at each nonzero branch it is . Its value is not fixed because the modulus is flat. For it vanishes at the supersymmetric minimum. For nonzero , the super-Higgs mechanism absorbs the Goldstino associated with into the massive gravitino. The zero-energy relation is explicitly satisfied:which balances the auxiliary contribution against the gravitational negative term.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 72 4 iii Solution Created 2026-10-03 Updated 2026-10-14
The numerical fractions describe physically very different components. Use so that pressure and energy density have the same units. The stress-energy conservation equation for a homogeneous component, together with its equation of state , givesNonrelativistic baryons and cold dark matter have and dilute as ; radiation has and dilutes as ; vacuum energy has and remains constant. The curvature term scales as in the Friedmann equation but is a geometric contribution, not an additional material fluid.
There is consequently a coincidence in the present mixture. Normalize . ThenAt early times vacuum is negligible, while at late times it dominates overwhelmingly. Observing order-unity matter and vacuum fractions during their comparatively recent crossover motivates the cosmic coincidence problem: why should this crossover occur near our observing epoch?
The absolute scale gives a second puzzle. Restoring SI units, yieldsIts energy density is . Quantum vacuum contributions associated with ordinary particle-physics scales can be far larger than this observed value. Explaining the tiny net value, including cancellations among contributions, is the cosmological constant problem. The required negative pressure also differs qualitatively from ordinary dilute matter.
The matter budget supplies another explanatory gap: only is baryonic, while must be nonbaryonic matter in this benchmark. Together with in vacuum energy, most of the cosmic density is in components whose microscopic explanation is not supplied by fitting their fractions. Finally, near-zero curvature raises the flatness problem. For nonzero ,During radiation domination , so ; during matter domination , so . Near-flatness today therefore requires extremely small early curvature in an unmodified decelerating history. Cosmic inflation offers a mechanism that reduces this curvature fraction through accelerated expansion.
The apparent contrivances are the recent matter-vacuum coincidence, the tiny vacuum-energy scale, the near-flat initial geometry and the unexplained microscopic dark components. Their observationally inferred values impose concrete requirements on a deeper physical account.
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 44 1 Solution Created 2026-10-03 Updated 2026-10-14
Use natural units and the Minkowski metric . The canonical momentum is , and the Legendre transform in mechanics givesFor canonical quantization of a real scalar field, impose the equal-time canonical commutation relationsThe Heisenberg picture equation then gives . For the other equation, the momentum term commutes with ; commuting the gradient term past and integrating the derivative of the Dirac delta function by parts gives . ConsequentlyThe Fourier transform reduces this Klein-Gordon equation to oscillators of frequency . Hermiticity of the real scalar field pairs their positive- and negative-frequency coefficients, so its general mode expansion can be normalized asTo verify its normalization rather than guess the oscillator algebra, use scalar field oscillator inversion at :Its adjoint has the conjugate phase and the opposite sign in front of . The two mixed field-momentum commutators giveThe Fourier representation of the Dirac delta function sets the energies equal in the last step. Similarly, has a factor multiplying and vanishes; the two-creator commutator vanishes as well.
Substituting the expansion in and integrating the spatial phases, the two-annihilator and two-creator coefficients cancel by . The free real scalar Hamiltonian in oscillator variables isIt differs from by its constant vacuum energy; normal ordering removes that constant. Using the oscillator commutators, for either Hamiltonian,Choose the Fock vacuum annihilated by every . Each creation operator adds a particle of energy and momentum ; its annihilation operator removes one. Their mutual commutativity gives bosonic Fock space and symmetric many-particle states. Thus the scalar mass-shell frequency has a particle interpretation, rather than merely describing a classical oscillation.
For and , vacuum contraction and time ordering give the Feynman propagatorIn the scalar Feynman propagator pole prescription, the integral of has poles at and . Close clockwise below for and counterclockwise above for . The residue theorem gives exactly the corresponding term above, provingAs a direct check of the distributional source, is continuous, but . The derivative jump of a free scalar time-ordered two-point function therefore gives . Spatial Fourier inversion yields
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 46 1 Solution Created 2026-10-03 Updated 2026-10-07
Use units , metric , and . Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta areCanonical quantization in the Heisenberg picture imposes, at the same time ,All other independent equal-time commutators vanish: in particular , together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian densityThe Euler-Lagrange equations are . The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure . A convenient expansion isThe minus sign is a phase convention: replacing by produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,when . The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.
Substitution into the spatial integral for makes the diagonal terms proportional to and . Terms creating or annihilating a pair have and a coefficient , so they cancel. The result before vacuum subtraction isCommuting past leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.
The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy and mass , becauseRepeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.
For the global phase transformation , , Noether theorem gives . Its divergence isWith vanishing boundary flux, the integral of is a conserved charge. Substituting the modes gives, before charge normal ordering, . The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operatorThe mode commutators imply and , soThus the particle carries charge , the antiparticle carries charge , and a state with occupation numbers has charge . Also and , agreeing with the phase transformation and charge conservation.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 43 2 a Solution Created 2026-10-03 Updated 2026-10-07
Sum the diagonal spinor entries of the supercharge anticommutator. Since and , the Hamiltonian isFor a normalized vacuum, energy positivity in global supersymmetry follows fromIn the unbroken case, all supercharges annihilate the vacuum, giving . Conversely, zero energy forces each nonnegative norm to vanish, so the vacuum is supersymmetric. The algebra fixes the additive zero of energy here. For an infinite homogeneous vacuum, use a finite-volume regulator and interpret the result as its vacuum energy density.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 40 3 iv Solution Created 2026-10-03 Updated 2026-10-06
Apply the Grassmann Gaussian integral to a regulated finite collection of field components. Up to a field-independent measure normalization and phase,In the continuum this is a formal functional determinant, including spinor and spacetime indices. Its meaningful definition requires a regulator and boundary conditions. A complex Dirac field supplies a determinant, not the inverse square root obtained for a real commuting field.
The comparison is clean after Wick rotation. A free real scalar field with positive Euclidean operator hasTaking a logarithm gives for the scalar and for the Dirac field. The opposite statistics sign is the determinant counterpart of the minus sign for a closed fermion loop. The magnitude also differs because a Dirac field has several independent spin and antiparticle degrees of freedom.
The vacuum energy sign of a fermionic oscillator makes the comparison explicit. A real scalar mode contributes ; each independent fermionic oscillator contributes . There is one oscillator per scalar momentum, but a massive Dirac field has two particle and two antiparticle oscillators. Thus the vacuum energy densities are formallyEquivalently, the large Euclidean-time vacuum functional behaves as . Both displayed vacuum energies are ultraviolet divergent; a common regularization in quantum field theory and the appropriate renormalization are needed before comparing them. The zero-point vacuum energies of bosons and fermions have opposite signs, but do not cancel without matching masses and degrees of freedom. Normal ordering removes an additive vacuum constant in nongravitating flat-space theory. Coupling to the metric in general relativity makes that constant contribute to the cosmological constant, so it cannot simply be discarded without a renormalization condition.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-06
The quantum harmonic oscillator has , with . Using and the canonical commutation relation givesFor , the Wronskian normalization isConsequentlyEquality requires and . The minimum-energy normalized oscillator mode is thereforeThe constant phase is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.
For inflation, introduce the Mukhanov-Sasaki variable . Since depends only on conformal time,Integrating the cross term by parts gives the canonical bulk actionup to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform areAt leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , soStrict exact de Sitter spacetime would have and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into .
For , the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency . The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.
A basis of exact solutions to the leading mode equation is and its complex conjugate. Write the normalized Bogoliubov transformation combination asThe Bunch-Davies vacuum boundary condition sets and up to phase. HenceSubstitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation varianceThis is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is , which is independent of at this order. Restoring the reduced Planck mass divides both power expressions by . Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.
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 2016 iii Paper 307 1 iv Solution Created 2026-10-03 Updated 2026-10-06
In the conventions , the trace over the two spinor components of the Super-Poincaré algebra givesHence, on a normalized state in the domain of the supercharges,This proves energy positivity in global supersymmetry. The zero of energy is fixed by the algebra; adding an arbitrary constant to while keeping that algebra unchanged is not allowed.
For a finite-dimensional supermultiplet at fixed positive energy and four-momentum, choose a nonzero component with , , and . The Hermitian odd operatorIt is therefore an invertible map from the even fermion parity subspace to the odd subspace and conversely. This proves boson-fermion degeneracy in a supermultiplet, , for every positive-energy physical particle supermultiplet. Equivalently, the supertrace of the supercharge anticommutator vanishes because odd operators interchange these two subspaces. A zero-energy vacuum is an exception to the literal claim about every possible representation: it can be a one-dimensional bosonic singlet with all supercharges acting trivially.
For a vacuum , the sum-of-squares formula gives exactly when all supercharges and their adjoints annihilate it. If global supersymmetry is spontaneously broken and a vacuum exists, at least one such norm is nonzero, so the vacuum energy is positive. In infinite volume this is the statement about the vacuum energy density, understood with a finite-volume regulator. Explicit supersymmetry breaking need not preserve the algebra used in the proof. The conclusion also does not extend to the supergravity F-term potential, whose negative term permits, for example, the zero-energy broken vacua of no-scale supergravity.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 306 1 Solution Created 2026-10-03 Updated 2026-10-05
Set . Work on the strip in conformal gauge, with worldsheet signature and target signature . In light-cone gauge in string theory, the independent fields are the transverse coordinates. Put the Neumann boundary condition at and the Dirichlet boundary condition at ; reversing the endpoints exchanges cosine and sine modes without changing the spectrum. The fixed endpoint is .
Varying the transverse Polyakov action gives and the spatial boundary contribution . At the free endpoint this vanishes precisely when ; at the fixed endpoint . Separation of variables then gives with , hence , . These are Neumann-Dirichlet open-string boundary conditions. No dynamical transverse worldsheet zero mode survives: a constant solution must equal the prescribed , and a linear-in- solution violates the free-end condition.
Write . The orthogonality relation reduces the action to independent harmonic oscillators:The canonical commutation relations determine normalized annihilation operators at Thus . These formulas derive the quantization from the action rather than import integer-moded open-string rules.
For the usual phased string oscillators, set and for . Then the half-integer open-string oscillator expansion and algebra areThe corresponding field momentum density is . Completeness of the mixed-boundary eigenfunctions gives , where . This is a distribution identity on the mixed-boundary function space, not an unrestricted value at a fixed endpoint with a Dirichlet boundary condition.
Classically, the transverse Virasoro algebra zero-mode generator isThere is no transverse momentum term. If the two light-cone directions are common directions with Neumann boundary conditions, the full zero-mode constraint adds : . This assumption about the longitudinal directions is needed to interpret oscillator levels as target-space masses.
Quantizing the symmetrically ordered transverse generator gives , where the string level operator is . Each harmonic oscillator contributes to the vacuum energy. Use zeta function regularization and the Riemann zeta function with the actual half-integer spectrum:Consequently the Neumann-Dirichlet string zero-point energy isIn the common convention , the normal-ordering constant of a string is . This positive shift differs from the vacuum energy of 24 integer-moded transverse bosons. The difference between those two vacuum energies is . To distinguish zero-mode conventions, the ND twist conformal weight is per transverse boson. With 24 bosons, the plane matter generator is ; its physical open-string condition is exactly the strip/light-cone constraint used here. The transverse plane and strip constants differ by the central charge shift . A common exponential frequency cutoff independently gives , confirming the finite part and avoiding invalid termwise manipulation of divergent sums.
Let . The lowest levels of a fully transverse ND bosonic string areThe third level has two excitations; there is no oscillator. Its indices are symmetric because the creation operators commute. With and the common longitudinal momentum convention, the rest energies and masses obeyAt fixed positive the corresponding light-cone energies are ; the table lists excitation levels, not a spectrum that remains discrete if longitudinal momentum is varied continuously.
The surviving transverse rotations form . The ground state is a scalar, the next level its vector, and the third level the symmetric square of the vector. Separating its trace givesThe trace state is proportional to ; subtracting this trace gives the 299-dimensional symmetric traceless square.
There is a qualification to the printed “little group”. The little group with mixed string boundary conditions must preserve the endpoints as well as momentum. These boundary conditions break the full 26-dimensional Lorentz group, so the massive states above cannot be classified as representations of the unbroken 26-dimensional massive little group . In a D1–D25 realization the common worldvolume has Lorentz group and trivial connected massive little group; acts on the ND coordinates as an internal rotation group. The scalar, vector and symmetric trace-free decomposition is under the surviving transverse SO(24), with this boundary-background qualification.
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 particle Astrophysics course of the University of Cambridge 2015 Paper 1 1 Solution 2026-10-20
Cosmological variables and conventions. The scale factor describes the relative separation of comoving observers; dots denote derivatives with respect to cosmic time . The Hubble parameter is , usually time dependent; “Hubble constant” conventionally means its present value. Here is mass-equivalent density, so is energy density, while is isotropic pressure. is the gravitational constant and the speed of light. The constant specifies cosmological spatial curvature: with a length, and describe closed, flat and open spatial geometries. Alternative normalizations of move a constant factor into . In the printed equations has units : it is times a cosmological constant defined in inverse square metres. This time-unit convention for the cosmological constant prevents a missing factor of .
Continuity and the first law. Differentiating the first Friedmann equation with constant and , and then eliminating with the second, givesThus, on an expanding or contracting branch,The relation extends continuously to a regular turning point. For a physical volume bounded by fixed comoving coordinates, . Multiplication by givesThis adiabatic work in a comoving volume is the first law of thermodynamics for adiabatic evolution with fixed entropy and no additional chemical work. It expresses local energy conservation, including pressure work. It does not assert that is constant: radiation loses internal energy as it does work; negative pressure makes grow during expansion. A generic expanding spacetime has no global time-translation symmetry from which a conserved total energy follows.
Constant scalar-field energy density. Setting in the continuity equation, with , givesFor a homogeneous canonical scalar field, in units , and . A stationary potential-dominated field has precisely this equation of state. A general evolving scalar field need not have ; the constant-density assumption is essential.
Expansion at the stipulated Higgs energy density. With zero explicit and zero , constant givesThe plus sign selects the expanding branch; there is also a contracting solution. The scalar-field energy is already included in , so adding it again as an explicit cosmological constant would double count it. Using gives , and . ThereforeThis vacuum-dominated doubling time describes accelerated expansion in de Sitter spacetime, with . The stipulated energy density exceeds the critical density in energy units used in Question 2 by , so it cannot persist as the dominant component of the present universe. The calculation exhibits the cosmological constant problem: the absolute gravitational vacuum energy must be enormously smaller than such a particle-physics scale today. It does not establish that the Standard Model Higgs field actually remains constant or supplies a viable inflationary epoch.
The acoustic ruler and accelerated expansion. Before baryon drag becomes ineffective, pressure in the photon-baryon fluid drives acoustic waves around initial linear cosmological density perturbations. Their comoving sound horizon at the baryon drag epoch isAfter decoupling, this preferred separation survives in galaxy clustering as baryon acoustic oscillations: a peak in the two-point correlation function and oscillations in the matter power spectrum. Its value is calibrated by early-universe physics, commonly constrained by the cosmic microwave background. The SDSS luminous-red-galaxy measurement established a peak near ; its use as a distance indicator depends on the ruler calibration rather than the length of an individual galaxy.[ref]
Detection of the Baryon Acoustic Peak in the Large-Scale Correlation Function of SDSS Luminous Red Galaxies by Daniel Eisenstein and others. Abstract and Sections 2–5, correlation-function peak and distance-scale interpretation
For a ruler perpendicular to the line of sight and one parallel to it,where is the transverse comoving distance and the angular diameter distance. These measure and , respectively. Comparing multiple redshifts tests the distance–redshift relation and expansion history. In particular,so sufficiently precise measurements of the shape of can test . In general relativity, accelerated expansion requires a sufficiently negative total ; a positive cosmological constant supplies it.
A single acoustic angular scale does not independently determine acceleration, cosmological spatial curvature, the absolute sound horizon and the dark-energy equation of state. One combines redshift coverage with early-universe calibration and independent matter-density or distance information, comparing accelerating and nonaccelerating models. The galaxy selection function and redshift completeness must be modeled with random catalogues, survey covariance estimated with mock catalogues, and redshift-space distortions, galaxy bias and nonlinear broadening controlled. These tests distinguish a cosmological feature from a survey artifact. The evidence is the measured expansion history within an explicit cosmological framework, rather than the existence of an acoustic peak alone.
Past exam of the quantum field theory course of the University of Oxford 2016 2 c Solution 2026-10-25
The normal ordering of both linear maps puts every annihilation operator to the right, soIn particular the stated Hamiltonian has already subtracted the free vacuum energy. For a one-particle state, evaluate the commutators using :Acting on the Fock vacuum therefore givesThe extra factor in the chosen relativistic normalization of a one-particle state is a scalar multiplier and does not change either eigenvalue. Applying the same argument to a multiparticle quantum state gives additive total energy and momentum.
Past exam of the quantum field theory course of the University of Oxford 2019 1 c Solution 2026-10-25
Define and . The Hermitian quantum field has the mode expansion of a free fieldwhere the annihilation operators and creation operators obey the bosonic canonical commutation relationsBecause , its mode expansion of a free field isThe two nonzero cross commutators then giveand the equal-time field-field and momentum-momentum commutators vanish. This verifies the factor without requiring Lorentz invariance.
Substitution into the Hamiltonian, followed by normal ordering, yieldsConsequently : one application of a creation operator adds precisely the required quasiparticle energy. Before normal ordering there is the usual constant zero-point vacuum energy. If , the exactly zero-momentum mode has and is a free canonical coordinate, not an oscillator with a normalizable oscillator vacuum state; in a finite box handle that mode separately or introduce a small positive mass. The formula applies directly to all modes with .
Past exam of the quantum field theory course of the University of Oxford 2021 2 d Solution 2026-10-25
Read the unsuperscripted in the printed Hamiltonian as : the repeated spin label is otherwise missing. Relabel in its antiparticle term, and insert both projections from c. Keeping the original operator ordering givesThe difference of the two orthogonal projectors in a is , explaining the cancellation of the factors . Under inverse Fourier transformation, becomes acting on . HenceSpatial indices run from to . This is the local Hamiltonian density of the free Dirac field. It also follows from with .
The original antiparticle term is , so the result retains its infinite additive vacuum energy. If the Hamiltonian is normal-ordered, its occupation-number expression becomes and its local expression is , with the same subtraction. The displayed unsymmetrized Hamiltonian density is Hermitian after spatial integration under vanishing boundary terms; a manifestly Hermitian local form replaces the derivative term by and differs by a spatial divergence.
Past exam of the quantum field theory course of the University of Oxford 2023 1 d Solution 2026-10-25
Let count internal lines, independent loops, and interaction vertices of a connected Feynman diagram. The graph identity and the two inverse powers from each scalar propagator give its superficial degree of divergence:The same formula applies to every connected subgraph. Graphs with have negative superficial degree of divergence, but this alone does not remove a possible ultraviolet subdivergence. A one-vertex subgraph with external legs in the quartic scalar field theory can diverge only by a tadpole diagram, whose subtraction was fixed in c. Subtract every such tadpole diagram; every remaining loop subgraph then has and negative superficial degree of divergence. Its ultraviolet divergence is absent. Equivalently, normal ordering the quartic interaction removes all self-contractions at a single interaction vertex. Thus no new divergent field-dependent counterterm structure is needed, and in a normal-ordering subtraction scheme in two dimensions the one-loop mass subtraction exhausts these divergent coefficients.
The literal assertion that there are no further counterterm contributions in the on-shell renormalization scheme is stronger and generally false. A concrete counterexample is the two-loop sunset diagram. After analytic continuation below its three-particle threshold, the magnitude of its self-energy at contains the strictly positive finite integralThe integrable corners do not spoil convergence. Its nonzero value shifts the pole mass, requiring an additional finite mass counterterm if is to remain the exact pole mass; its derivative can likewise change the pole residue. These are compatible with the power counting result. If vacuum diagrams are retained rather than divided out in normalized correlation functions, a separate constant vacuum energy counterterm is also required: the one-vertex double-loop vacuum diagram is already divergent. The claim about the mass subtraction concerns field-dependent counterterms and normalized correlation functions.
Past exam of the quantum field theory course of the University of Oxford 2023 1 e Solution 2026-10-25
The additional six-leg interaction vertex has Feynman rule . Since both interactions lack derivatives, the graph identity still gives , with . The difference is that a one-vertex contraction of the phi-six theory can leave four external legs: choosing the contracted pair gives . Its quartic interaction correction isConsequently a one-loop quartic interaction counterterm is now necessary:The one-loop mass counterterm from c is unchanged. Contracting four legs of a single six-leg interaction vertex gives double contractions, hence a two-loop raw self-energy . Its subtraction must include the quartic interaction counterterm insertion, rather than subtracting this raw expression in isolation.
All divergent field-dependent coefficients are most simply organized by the normal-ordering subtraction scheme in two dimensions. With , express a potential normal ordered at mass in ordinary fields:Thus its divergent subtraction coefficients, in this scheme, areIndeed the two-loop self-energy terms are , which the displayed mass counterterm cancels. The constant terms only affect vacuum energy. After removing all one-vertex self-contractions, every remaining subgraph is ultraviolet finite. Additional finite on-shell renormalization scheme adjustments are subject to the same qualification as d.
Past exam of the quantum field theory course of the University of Oxford 2024 1 d Solution 2026-10-25
Choose the zero of energy so that the translation-invariant vacuum state has . A one-particle state of rest mass obeys the relativistic energy-momentum relationThe translation covariance of a quantum field in c remains valid for the full interacting four-momentum operator. Acting its exponential functions on the two momentum eigenstates givesHere . A different additive vacuum energy must be subtracted consistently from both energy eigenvalues before identifying the physical .

