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 2016 iii Paper 301 3 Solution Created 2026-10-03 Updated 2026-10-06
Use and . The free real scalar field has actionThe canonical momentum is , and the Hamiltonian operator is obtained by the Legendre transform of the density:Canonical quantization promotes and to Hermitian operator-valued fields and imposes the equal-time canonical commutation relationsTheir Heisenberg equation of motion gives , , hence the Klein-Gordon equation .
Let and . The Hermitian field mode expansion isThe scalar field oscillator inversion extractsand its adjoint obtained by Hermitian conjugation extracts . Substitute these expressions into the equal-time canonical commutation relation. The two mixed field-momentum terms giveFor , the corresponding coefficient is a difference of those square roots and multiplies ; it vanishes because . Taking the adjoint gives . Thus these are bosonic annihilation operators and creation operators. The vacuum satisfies , and normal ordering gives , after removing the constant zero-point energy. A one-particle excitation has energy and spin zero.
The Feynman propagator is the vacuum expectation value of the time-ordered product of two field insertions. For , the field at creates a one-particle excitation from the vacuum and the field at annihilates it; the opposite time ordering reverses the roles. It is a propagation amplitude and correlation function of vacuum fluctuations, rather than a transition probability. From the oscillator expansion, only the - contraction survives, so with and ,Here is the Heaviside step function, and changing to in the second term gives the last line.
For the Fourier transform convention , insert a positive damping factor and integrate the positive and negative half-lines separately:The last equality is a distribution identity; the infinitesimals in the partial fractions need not have the same finite magnitude as the infinitesimal in the combined denominator. The Feynman i-epsilon prescription means that the positive-frequency pole is just below the real energy axis and the negative-frequency pole is just above it. Closing the contour integral below for , and above for , reproduces the oscillator result by the residue theorem. This prescription fixes which homogeneous solutions are added to the Green function. As an independent normalization check, has derivative jump at , soIt is the expectation-value convention for , including the numerator , that determines this source normalization.
The vacuum is a centered free Gaussian state. The Wick theorem expresses the four-field time-ordered product as the sum of all pair Wick contractions plus terms containing a normal-ordered product. The latter terms have zero vacuum expectation value. There are exactly three complete pairings, with no fermionic signs for this bosonic field. Thus the free scalar four-point function isThese formulas describe canonical quantization of a real scalar field; in particular, a real scalar field uses a single oscillator family rather than independent charged-particle and antiparticle families.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 305 2 a Solution Created 2026-10-03 Updated 2026-10-06
For , the unique minimum is . The quadratic mass term is , so there are real scalar fields, all of mass , and the global special orthogonal group remains unbroken.
For , write . The vacuum manifold is the sphere . Choose . The transformations preserving this vacuum expectation value rotate the first components, giving . At this vacuum the potential's Hessian matrix isWriting , the radial mode therefore hasThese are one massive radial scalar and physical Goldstone bosons. The Goldstone theorem applies to the broken global generators; the flat angular directions of the vacuum manifold explain their zero masses. The spontaneous symmetry breaking is a choice of vacuum, not a change in the invariant Lagrangian. For there are no continuous angular directions: only the radial scalar remains, and the potential's discrete symmetry is broken.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 301 3 Solution Created 2026-10-03 Updated 2026-10-05
Use a local first-derivative Lagrangian density with sufficient differentiability, and let variations have compact support or vanish at the spacetime boundary. If the phrase “a function of the field” were read literally as forbidding derivatives, the equation below would reduce to ; a propagating field requires derivative dependence. Varying the action givesIntegration by parts and arbitrary interior variations yield the Euler-Lagrange field equation,The boundary condition is part of this derivation; if boundary variations are allowed, their separate boundary equations must also be imposed.
A variational symmetry of a Lagrangian density is an infinitesimal field change for which off shell. Equality to zero is sufficient but is not necessary: a divergence changes only the boundary contribution to the action. For fixed-coordinate field variations,Equating the two expressions proves the scalar-field form of the Noether theorem:Thus every differentiable one-parameter variational symmetry gives a conserved current, and its Noether charge is constant when the spatial boundary flux vanishes. This is the Noether current for a first-derivative scalar field; the same identity applies to several real components by summing over them. Identically conserved improvement terms can change its local expression without changing the charge under the same boundary assumptions.
For an active spacetime translation, and . If the Lagrangian density has no explicit coordinate dependence, , so . The Noether current is , whereThese four translation currents are the canonical stress-energy tensor, also called the energy-momentum tensor. The sign in follows from the chosen active translation; the translation charges themselves can be labelled by .
For the free real scalar field, take the standard kinetic term and mass term. Its Lagrangian density and Klein-Gordon equation areHere , so . Raising the charge index gives the four-momentum of a free real scalar field,The first is total energy, and the three components of the second are physical spatial momentum. With signature , ; this explains the opposite sign if the conserved quantities are instead written with lower spatial indices. For example, a plane wave proportional to has momentum density along , confirming the sign. All charges require convergence of the integrals and vanishing boundary flux, or periodic boundary conditions in a finite box.
For the complex scalar field, treat and as independent variables when varying, equivalently use their two real components. The global phase symmetry of a complex scalar field is , for constant . Both the kinetic term and are invariant. This is a global internal symmetry of a classical field theory with circle group ; a spacetime-dependent phase would require a gauge connection.
Choosing this orientation for the phase parameter gives the Noether charge of a complex scalar field:To check conservation directly, the Euler-Lagrange field equations are and their complex conjugates, assuming a real differentiable potential. Hence . Reversing the phase-parameter orientation reverses the current and charge, which is merely a convention. For a scalar carrying electric charge , the physical electric charge is after electromagnetic coupling. In a neutral theory the same global charge can instead label an internal conserved quantum number; the density alone does not identify it automatically with electricity.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 304 3 Solution 2026-10-05
The kinetic term fixes the mass dimension of a canonically normalized real scalar field in dimensions to . In six dimensions , and every term in the Lagrangian density has dimension six. Therefore , andFor positive integral , these mean , and , respectively. If is included, its vacuum-energy constant is also relevant. These are classical power counting in quantum field theory classifications of relevant couplings, marginal couplings and irrelevant couplings, not assertions that loop corrections preserve exact marginality. For the remaining parts write , assume and , and define a local quartic coupling by .
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 311 4 Solution Created 2026-10-03 Updated 2026-10-06
Work first in units . Black-hole thermodynamics starts with the laws of black-hole mechanics. For a connected stationary regular Killing horizon, the Zeroth law of black-hole mechanics makes its surface gravity constant when the Einstein field equations and dominant energy condition hold. This parallels uniform equilibrium temperature. For neighboring stationary asymptotically flat four-dimensional Einstein-Maxwell black holes, the First law of black-hole mechanics iswhere is the horizon angular velocity and its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in . The second law of black-hole mechanics, expressed by Hawking's area theorem, makes the total future horizon area nondecreasing for classical matter obeying the null energy condition and global assumptions such as strong asymptotic predictability. The third law of black-hole mechanics is an unattainability statement: subject to the usual regularity assumptions, the weak energy condition, and a bounded stress-energy tensor, no finite physical process reduces the surface gravity of a regular horizon to zero. It does not assert that extremal black holes have zero area or zero entropy.
Classical geometry alone fixes an analogy, not a nonzero physical temperature. Quantum field theory supplies Hawking temperature . Comparing the area term of the first law with gives for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,Here restored is the physical acceleration surface gravity and is the squared Planck length. The first-law comparison determines the area coefficient, leaving an additive entropy constant unspecified; the displayed formula is the usual convention. Its area scaling, rather than ordinary volume scaling, signals that the available thermodynamic degrees of freedom of a gravitating system are constrained by the horizon geometry.
Particle production explains the quantum input. For a real scalar field obeying the massless covariant wave equation, the Klein-Gordon inner product on solutions isThe wave equation makes its current divergence-free, so the product is independent of a Cauchy hypersurface when the boundary flux vanishes. Use suitably normalized wave packets or the appropriate continuum distributions. Asymptotic past and future Minkowski spacetimes give preferred positive-frequency solution mode bases and , normalized by , and . Between those regions, a nonstationary geometry generally has no preferred positive-frequency splitting.
The mode bases are related by a Bogoliubov transformation,The last identities follow from conservation of the Klein-Gordon inner product and are the canonical identities for a bosonic Bogoliubov transformation. Expanding the field in either complete basis and extracting its positive-frequency coefficient givesThus the state annihilated by every hasThis particle number from Bogoliubov coefficients is nonzero when time evolution mixes positive and negative frequencies. It describes one state as vacuum in the early particle basis and populated in the late basis; it does not require an arbitrary choice of a vacuum at each intermediate time. For a finite implementable transformation the state remains a squeezed pure quantum state. In infinitely many modes, a common unitary bosonic Fock space implementation requires additional conditions, such as the beta map being a Hilbert-Schmidt operator; finite wave packet observables need not share every global divergence of an ideal continuum calculation.
For gravitational collapse, the future is not globally Minkowski: it contains a black hole. The relevant late out-basis includes modes reaching future null infinity together with modes entering the future event horizon. Modes on infinity alone are not a complete Cauchy basis. Nevertheless the same mode-mixing calculation determines the outgoing particle flux. Near a nonextremal horizon, the logarithm in the tortoise coordinate converts regular early null coordinates into the Hawking exponential ray mapwhere is the early affine null coordinate and is late retarded time at infinity. Backward propagation of a late outgoing mode gives a factor for . Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce toTaking gives the thermal ratio of Hawking Bogoliubov coefficients, . Combining this with the canonical normalization yields the bosonic occupation . Late-time wave packets turn formal continuum coefficients into a finite number flux.
A Schwarzschild black hole has , so this spectrum has . The exterior curvature potential partly reflects the outgoing modes. Its transmission probabilities are the greybody factors, giving, for one massless scalar species in the stationary late-time approximation,Thus the horizon temperature is universal, while the spectrum received at infinity is not a perfect featureless blackbody radiation spectrum. The derivation assumes the near-horizon quantum state inherited from a regular collapse vacuum and ignores rapid backreaction over the timescale of the packets. Exponentially blueshifted precursor frequencies indicate the usual short-distance assumption in the semiclassical calculation, not an independently demonstrated quantum-gravity description of the endpoint.
The outgoing positive energy flux drives black-hole evaporation. At leading order for a large isolated Schwarzschild black hole, area scales as and temperature as , giving and a lifetime of order , with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, , means that it heats up as it loses mass and cannot be in stable canonical equilibrium with an unlimited thermal reservoir. The approximation fails when quantum-gravitational scales are reached and does not fix whether the endpoint is complete evaporation, a remnant, or something else.
Area loss does not contradict the classical area theorem, because the quantum stress-energy tensor need not obey the classical null energy condition; negative horizon energy accompanies the positive outgoing flux. The appropriate thermodynamic statement is the generalized second law, involving . Finally, Hawking radiation raises the black hole information paradox: if a pure quantum state completely evaporates into an exactly thermal mixed quantum state and its partners disappear, the result conflicts with ordinary unitary time evolution. Early outgoing radiation can be mixed simply because of its entanglement with interior modes while the complete state remains a pure quantum state; that fact alone is not information loss. Resolving the fate of all correlations through the evaporation endpoint requires more than the leading semiclassical flux calculation.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 301 2 ii Solution Created 2026-10-03 Updated 2026-10-05
For a free real scalar field, the Lagrangian density contains its quadratic kinetic term and mass term:The field's conjugate momentum is . The positive sign of the time-derivative term uses the metric convention fixed in Question 1.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 301 2 vi Solution Created 2026-10-03 Updated 2026-10-05
For the two free real scalar fields, let . The infinitesimal internal rotation symmetry of two real scalar fields has and , with constant . Its kinetic terms are invariant because this is an orthogonal rotation of the two-component field.
Under the assumed invariance of the full Lagrangian density, Noether's theorem gives the current per unit transformation parameter:The Noether current and Noether charge are thereforeIndependent species commute at equal time, so these products require no extra ordering sign. With vanishing boundary flux, is conserved. Part (vii) checks precisely what the symmetry assumption requires of the masses.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 301 3 iii Solution Created 2026-10-03 Updated 2026-10-05
Use the Lorentz-invariant phase-space measure from the original PDF, including the and factors missing from the local TeX. In the center of mass frame put and , assuming . The spatial Dirac delta distribution sets , leavingSince , the radial integral givesThe invariant flux factor is , using the Källén function. Dividing the phase space by this flux yields , with the final-state labels retained as in the printed formula.
Let . Of the Mandelstam variables, isThe azimuthal integral contributes , and the angular endpoints are thereforeChanging variables gives the requested expression from the formula supplied in the paper:There is a normalization qualification: the displayed starting formula integrates over labeled final momenta and contains no . For the physical cross-section of two indistinguishable outgoing quanta of this real scalar field, the identical-particle factor in a final-state phase-space integral divides the full integral by two. With that convention ; equivalently, integrate only one representative of each exchanged pair. The boxed value follows the given formula exactly.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 301 3 i Solution Created 2026-10-03 Updated 2026-10-05
In phi cubed theory, each vertex has three legs. A connected four-point tree-level Feynman diagram therefore needs two cubic vertices and one internal propagator. There are exactly three ways to partition the labeled external legs between these vertices:
s channel t channel u channel
p \ / p' p ---o--- p' p ---o--- q'
o--------o | |
q / \ q' q ---o--- q' q ---o--- p'
internal: p+q internal: p-p' internal: p-q'Solid lines denote the real scalar field propagator. The labels specify which external pair meets at each vertex, so the last two graphs are different even though their unlabeled shapes agree. This is the four-point tree amplitude in phi cubed theory:There is no four-point contact vertex in the given cubic interaction.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 301 2 a Solution Created 2026-09-24 Updated 2026-09-25
Under spatial reflection, , soBecause , the Lorentz scalar and the mass term are unchanged after evaluating at the reflected point. The spatial change of variables has unit absolute Jacobian, so the action of the free real scalar field is invariant.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 304 1 a Solution Created 2026-09-24 Updated 2026-09-25
The first two terms are the kinetic term and mass term of a real scalar field; together they determine the free quantum field theory propagator. The term is its quartic field interaction term. The remaining three terms are counterterms: renormalizes the field normalization, renormalizes the mass, and renormalizes the quartic coupling. Their regulator dependence cancels the ultraviolet divergences of loop diagrams, while their finite parts implement the chosen renormalization conditions.
Quadratic fluctuation Hamiltonian 2026-10-07
Expanding the Hamiltonian about a static classical solution removes the linear term by its Euler-Lagrange field equation. For a canonical real scalar field with potential , the quadratic fluctuation operator is . Positive-frequency normal modes become quantum harmonic oscillators under canonical quantization, yielding the Gaussian contribution to a one-loop soliton mass correction. A negative eigenvalue signals an instability, while a physical zero mode in field theory must be replaced by a collective coordinate.
Scalar field oscillator inversion Created 2026-10-06 Updated 2026-10-14
For the real scalar field expansion , the equal-time fields extract . The two mixed canonical commutation relation terms yield , while the other oscillator commutators vanish. This verifies the normalization of the mode expansion directly from the canonical fields.
Scalar field theory Created 2026-10-07 Updated 2026-10-13
A scalar field theory describes one or more Lorentz scalar fields through an action. The displayed Lagrangian density is a common classical normalization for a real scalar field; a complex scalar field has two real components. Canonical quantization turns these classical degrees of freedom into operators. The free real scalar field gives spin-zero particles, while interactions arise from the potential .
Sine-Gordon theory Created 2026-10-06 Updated 2026-10-07
A relativistic real scalar field theory with a periodic cosine potential. In physical coordinates , one normalization is . With and , its action is . Its Euler-Lagrange field equation is the Sine-Gordon equation. Distinct scalar-field vacua differ by in , permitting a Sine-Gordon kink.
Six-dimensional cubic scalar field theory Created 2026-10-05 Updated 2026-10-06
A canonically normalized real scalar field in six dimensions has mass dimension two. The cubic coupling is classically a marginal coupling, whereas a local quartic coupling has mass dimension minus two. This theory is perturbatively renormalizable by power counting in quantum field theory, but a real cubic Euclidean potential is unbounded below. Its expansion about a massive Gaussian theory is therefore formal perturbation theory, not a convergent positive functional integral at nonzero real .
Spontaneous breaking of a Z2 scalar symmetry 2026-10-14
A real scalar field with the displayed potential is invariant under the Z2 symmetry , but a chosen broken-phase pure vacuum has nonzero vacuum expectation value of one sign. Expanding about gives . The excitation is massive, and no continuous broken generator requires a Goldstone boson. In a finite-volume theory with symmetry-preserving conditions, tunneling can produce a symmetric ground state. A broken pure vacuum is selected by taking the infinite-volume limit before removing an infinitesimal source, or by specifying appropriate boundary conditions. The two signs are related by the symmetry, although the individual pure vacua are not invariant under it.