Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 49 2 Solution Created 2026-10-03 Updated 2026-10-14
Direct multiplication of the gamma matrices in the chiral representation givesFor example by the Pauli matrix multiplication law, and the block multiplications give the displayed signs. Every is off-diagonal in this representation, whereas the chirality matrix has opposite diagonal blocks. Therefore for all .
The left-handed chirality condition makes the plane-wave coefficient . With , the Dirac equation givesSince , its determinant is . A nonzero spinor therefore exists exactly whenFor nonzero momentum, put and write its direction as . Normalized eigenvectors of areThe general nonzero solution is for and for , with arbitrary nonzero complex normalization . At any constant two-component solves the equation, but the momentum direction and helicity are undefined. For the physical positive-energy branch this is the left-handed massless plane-wave spinor.
A rotation by angle about acts on the two-component spinor asThe plane-wave argument is unchanged because the rotation fixes , and . Thus the positive-energy solution has helicity , where a helicity- state has rotation phase . The negative-energy coefficient has the opposite spinor phase.
In a quantized complex left-handed Weyl field, the positive-frequency term annihilates particles and the negative-frequency term creates antiparticles. Reinterpreting negative energy also reverses its spatial momentum; for the positive physical momentum the two spinor coefficients have the same left-chiral kernel. Because one multiplies an annihilation operator and the other a creation operator, the corresponding particle and antiparticle state phases are conjugate. The helicity content of a quantized Weyl field is consequentlyThere is one particle spin state at each nonzero momentum, rather than the two helicities supplied by a full massless Dirac field. The right-handed Weyl field interchanges these signs. This is the massless relation between chirality and helicity; it does not identify them for a massive field.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-14
Split the free interaction picture field as , where the first part contains annihilation operators and the second creation operators. Time ordering places the operator at the later time on the left, while normal ordering places all creation operators on the left. For , commuting the annihilation part of the first field through the creation part of the second givesThe commutator is the c-numberFor , the same calculation interchanges . Combining the two time orders proves the two-field Wick contraction identitywhereThe equality with the four-dimensional integral follows by closing the energy contour at the positive-energy pole for and the negative-energy pole for the reverse order. This fixes the scalar Feynman propagator pole prescription; in this convention itself includes the factor .
Because these interactions have no derivatives, . Expand the Dyson seriesApply the Wick theorem to each term together with the external insertions. Every paired field contributes a propagator, and the remaining normal-ordered vacuum expectation vanishes unless no fields remain. Representing the propagators by Fourier integrals and integrating each vertex position gives the four-momentum conservation delta function. The and contractions into labelled vertex slots cancel the factorials in the interaction density. The resulting scalar-field cubic and quartic Feynman vertices areEach vertex also has , each independent internal momentum is integrated with , and repeated equivalent contractions give the usual Feynman-diagram symmetry factor. For the unamputated correlation functions, retain the propagators joining external insertions to vertices. The displayed unnormalized numerator includes disconnected vacuum bubbles; dividing by cancels them. Amputated scattering amplitudes additionally use the LSZ reduction formula.
For stability, examine the classical scalar potentialThe tree-level boundedness criterion is , with arbitrary real cubic coupling. If , boundedness requires and ; if , or with , the potential is unbounded below. Thus a positive quartic coupling permits a stable ground-state vacuum, although it need not be the perturbative vacuum at .
For and , the stability of a cubic-quartic scalar potential determines when zero is a global minimum:The square bracket is nonnegative for every field value exactly whenFor a nontrivial equality case there is a second degenerate minimum at . If and , zero remains a local minimum but is a false vacuum, with a lower minimum elsewhere. If and , the origin is the quartic minimum despite its vanishing quadratic curvature. These are classical or tree-level stability statements; renormalized couplings and the quantum effective potential refine the quantum analysis.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 1 Solution Created 2026-10-03 Updated 2026-10-14
Use target signature and a closed-string spatial coordinate . Write for the compact coordinate and for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of and a function of . The closed-string boundary conditions areThus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansionThe oscillator reality conditions are and similarly for the tilded modes. The coefficient of follows by integrating the canonical momentum density . Single-valued wavefunctions of the center coordinate have momentum , with . Equivalently, the compact chiral worldsheet zero modes are and , whereHere tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.
Choose a noncompact light-cone pair and impose light-cone gauge in string theory , with . The Virasoro constraints then solve for in terms of the transverse coordinates. For example, with , one has . Thus there are two independent transverse oscillator Fock spaces, including among the transverse coordinates. Quantization gives , and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string and string intercept one in each sector. Accordinglycount 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrumTaking their difference and average yieldsEvery choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.
To classify all massless states, positivity of the two compact terms implies . When the sum is two, masslessness forces , and closed-string level matching then forces . The states have polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts areThe first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group .
When , closed-string level matching requires . The compact contribution obeysand equality occurs precisely at . The charges have ; the charges have . Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have
Finally, requires . The exceptional massless ground states of a bosonic circle occur atEach charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.
The mapsends to and to . Reversing all right-moving compact string oscillators, , preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.
At the self-dual circle the four single-oscillator charge families give new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges and . Thus the massless spectrum at the bosonic self-dual circle hasThe gauge interpretation follows directly from the chiral compact-boson operators. With , the exponential has conformal weight . At the self-dual radius,have weight one and satisfy , , and . These are the level-one current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators form the representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.
A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator . Its stabilizer is , soThe four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses or and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 2 Solution Created 2026-10-03 Updated 2026-10-14
Take and split the coordinates into along the branes and transverse to them. In conformal gauge the wave equation permits a separated mode with . For Neumann boundary conditions at both ends, selects and integer . The zero-frequency solution is independent of , with a constant position and a term linear in time. Therefore the open-string mode expansion isThe canonical momentum density integrated over this interval is .
For Dirichlet boundary conditions, subtract the static interpolation between fixed endpoint positions and . The remaining field vanishes at both ends, selecting with integer and excluding a momentum worldsheet zero mode. The expansion isHere . There is no factor in the sine series with this reality convention: changing to reverses both the sine and the denominator. These are the integer-mode expansion with parallel D-brane endpoints; they are not the half-integer modes of a coordinate with a Neumann condition at one endpoint and a Dirichlet condition at the other.
The endpoints can move on -dimensional worldvolumes but are fixed in the transverse directions. Thus these are open strings attached to D-branes, or stretched between parallel D-branes at and . The tangential momenta describe propagation on the brane; the transverse positions describe its embedding. Let . The linear spatial worldsheet zero mode contributes to . Quantization with string intercept one givesThe first term is also the square of the classical stretched-string energy , since the string tension is .
For two coincident D3-branes, label the ends of an oriented open string by . The four endpoint combinations give Chan-Paton factors , which form the full algebra of matrices. Under a change of brane basis these transform as , the adjoint action of . At , the first oscillator level is massless. Its tangential polarization supplies a four-dimensional vector , while the 22 transverse polarizations supply real adjoint scalar fields . This is the bosonic D3-brane low-energy field content.
The endpoint matrices multiply in their boundary order in disk amplitudes. The difference between the two orders in the three-vector interaction gives the matrix commutator; the kinematic factor is the one-derivative Yang-Mills theory cubic vertex. Factorization and the vector gauge redundancy then supply the quartic interaction with the same commutator. Equivalently, the leading low-energy action is the dimensional reduction of 26-dimensional Yang-Mills theory, withFor Hermitian scalar fields the last displayed term corresponds to a nonnegative potential, because their commutators are anti-Hermitian. Higher-derivative terms are suppressed at energies well below . Ignoring the tachyon, the gauge sector is four-dimensional Yang-Mills theory, accompanied by 22 adjoint scalar fields. It is not pure Yang-Mills theory, nor the supersymmetric six-scalar D3-brane theory of a ten-dimensional superstring.
Separate the two branes and use the D-brane scalar-position normalizationA Yang-Mills gauge transformation preserves this expectation value only when it is diagonal if . Thus the unbroken group is . The scalar field kinetic term supplies a mass for the off-diagonal vectors, sinceSumming over gives , exactly the mass of the stretched string. The two diagonal gauge vectors remain massless. This identifies brane separation with an adjoint Higgs mechanism, rather than an explicit deletion of the off-diagonal strings.
For the ground state of an open string joining the two different branes, , so the bosonic stretched-string tachyon threshold isAt equality it is massless, and above it the stretched ground state has positive mass squared. The same-brane ground strings still have ; this calculation removes only the stretched-string instability, not the original instability of the bosonic branes.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 3 Solution Created 2026-10-03 Updated 2026-10-14
The Polyakov action has independent worldsheet metric and embedding fields . Varying the metric before imposing a gauge givesWorldsheet diffeomorphisms and Weyl transformations allow conformal gauge locally. The Weyl factor then cancels out of the classical action, leavingThese are free two-dimensional scalar fields, but the surviving metric equations requireEquivalently, and . Gauge fixing does not license dropping these Virasoro constraints.
For an ordinary open string, the boundary conditions relate the two chiral sectors. With , their independent Fourier generators areThe classical oscillator Poisson brackets give the classical Virasoro constraint algebraThus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses . The oscillator commutator givesFor example, for the extra vacuum term is . This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is ; the worldsheet ghost fields have charge . Quantum consistency sets and the string intercept to one.
In old covariant string quantization the physical-state Virasoro conditions for an open string arePhysical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.
At , the oscillator vacuum is a single spacetime scalar field with : the bosonic tachyon. At , write . The zero-mode equation gives , and gives . The null descendant identifies . This leaves 24 physical polarizations of a massless gauge vector.
At , use the level-two open-string polarization decompositionThe mass is . The oscillator commutators give all the nontrivial positive-mode conditions:Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states , with , shiftThe additional level-two scalar Virasoro null state shiftsSubstitution into the two physical equations verifies the null-state conditions; the second residual is . Because is timelike, these null shifts span all components of , so choose a representative with . The physical conditions then say and . In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with polarizations. The light-cone basis independently gives states and symmetric states . Hence
For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature and useTake and the constant parameter to be real Grassmann-odd Majorana components, with . Put . Apart from the common factor , the combined Lagrangian isThe rigid transformations can be writtenor, in components,For the part, the bosonic variation is , while the fermionic variation is . Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetryThus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on its commutator for parameters is the translationOn the same translation follows using and ; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.
The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ,The free-field contractions give and conformal weight for , where . Consequently the modes obey the N=1 super-Virasoro algebraDropping the central terms gives the classical graded constraint algebra. Integer gives the Ramond sector; half-integer gives the Neveu–Schwarz sector. In the displayed conformal-plane convention in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square .
Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains . The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are , so cancellation with gives the critical dimension of the RNS superstring ; the NS and Ramond intercepts are respectively and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 4 b Solution Created 2026-10-03 Updated 2026-10-14
Count oscillator polarizations at fixed center-of-mass momentum. In a critical closed bosonic string, each chiral sector has 24 transverse oscillator species. A species at frequency can be occupied times, so its contribution is . The full chiral generating function is thereforeThe two sectors are independent, while closed-string level matching restricts their oscillator numbers to the same . Thus the number of states at the closed-string mass level is , not .
Put , with . The Dedekind eta function obeysThe transformed argument has large imaginary part, so its product approaches one and . HenceThis establishes the singular exponential as well as its power prefactor. The corrections to the transformed eta product are exponentially small in .
The Cauchy coefficient formula, followed by , gives a steepest-descent integral with leading formLet . The saddle of isAlong the vertical steepest-descent direction , the quadratic part is . Thus the saddle-point approximation gives the Gaussian prefactorThe point supplies the largest exponential contribution. At another fixed root of unity of order , the corresponding modular singularity gives a smaller exponential , so it does not change this leading asymptotic. Squaring the chiral result gives the large-level degeneracy of a closed bosonic stringReplacing by gives the equivalent usual leading asymptotic. The power matters: the two-sector degeneracy is not just an unspecified exponential.
Since , the exponential is withHere Boltzmann's constant is one. Coarse-graining the levels into a density per unit rest mass introduces the Jacobian . ConsequentlyThis is distinct from the degeneracy per level, whose power in is . The internal-state contribution to a canonical partition function behaves at large mass asIt converges for and diverges for . At , this particular internal rest-mass integral converges because of the power ; one should not discard the prefactor and claim divergence there without specifying the full thermodynamic ensemble. For example, including continuous momenta in 25 spatial dimensions multiplies the high-mass integrand by a factor proportional to , still leaving convergence of this ideal one-string integral at the endpoint, although sufficiently high derivatives are singular. Multi-string effects, volume and interactions affect the detailed limiting thermodynamics.
The leading microcanonical entropy grows as , with logarithmic corrections, so increasingly large energies are stored in increasingly excited, long strings rather than in an arbitrarily hot ordinary gas. The Hagedorn temperature is the boundary of canonical convergence from above in inverse temperature; extrapolating the free-string canonical description to fails. This counting does not settle the interacting phase above that scale. Also, the bosonic ground-state tachyon is a separate vacuum instability; the high-level asymptotic is meaningful as a formal spectrum calculation without asserting a stable bosonic thermal vacuum.
Past exam of the mathematics course of the University of Cambridge 2005 ii Paper 1 36E Solution 2026-10-14
For steady unidirectional pressure-driven channel flow, write . The axial momentum equation and no-slip boundary condition areNear an ideal wedge, the constant forcing has an particular solution by scaling. Substitution gives , with . For , the symmetric particular solution isThis corner expansion of pressure-driven sector flow is a particular solution, not necessarily the dominant corner term; a homogeneous corner mode can be larger, as the requested cases below show.
Separation of the symmetric harmonic correction with zero values on the straight walls gives modes , whereRegularity at the vertex excludes negative powers. Orthogonality on has norm . To cancel the particular solution on , use its cosine coefficientsThe integral follows by product-to-sum and . ThusThe arc data are satisfied by the cosine expansion, and the Poisson equation by construction. At the omitted thresholds , a mode has , so the pure ansatz is resonant. The corresponding finite-limit term in the full sector solution is ; the other modes remain regular. This explains rather than hides the division by .
Past exam of the mathematics course of the University of Cambridge 2006 ib Paper 1 4B Solution Created 2026-09-24 Updated 2026-10-14
Interpret as the rest mass of each initial ball and assume that no energy or momentum escapes the collision. Let be its Lorentz factor. The total initial energy and momentum areTheir conservation determines the final four-momentum. For a single lump, and , henceThe final invariant mass follows from :This is the rest mass of a coalescing relativistic collision. For , : some kinetic energy becomes internal energy in the final rest frame. Setting would discard that energy and contradict conservation. At small speeds , while gives .
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 49 2 Solution Created 2026-10-03 Updated 2026-10-14
Use the mostly-plus Minkowski metric, so , and the source term . Define the vacuum-normalized generating functional, connected generating functional, and quantum effective action byThe Legendre transform is taken after expressing in terms of , locally where this relation is invertible. Varying it gives and . The logarithm generates connected graphs; the Legendre transform removes graphs joined by a single propagator, leaving one-particle-irreducible vertices. This sign convention is important: its classical limit is , consistent with the positive vertices in this question.
For the free real scalar field, integration by parts puts the action into the form , where has Fourier symbol . Include the Feynman i-epsilon prescription . Completing the square yieldsand consequentlyThe physical scalar propagator is , whereas the inverse quadratic kernel appearing in is . Differentiating this quadratic functional and Fourier transforming givesThe infinitesimal prescription specifies propagators and is dropped when quoting the local vertex kernel.
At the order represented by tree-level Feynman diagrams, stationary phase gives , with the classical field equation . The Legendre transform cancels the source term, soThusOther connected tree graphs with several quartic vertices are one-particle reducible and belong to , not to the proper vertices of . This explains why no extra tree correction is hidden in these formulas.
The one-loop proper two-point graph is the tadpole diagram. The one-loop proper four-point graphs are the three bubble diagrams, with pairings , and of the external legs. Each has Feynman-diagram symmetry factor . The figure shows the topologies and every four-point channel; external momenta are incoming.
The tadpole factor can also be counted directly: there are assignments of two labeled external legs to one quartic vertex, while its normalization leaves . For a fixed four-point partition, the interchange of the two internal lines gives the same factor ; there are three distinct partitions. Graphs with an external self-energy insertion are one-particle reducible and are not additional contributions to .
For the two-point divergence, perform a Wick rotation. The Euclidean tadpole contribution to the proper inverse kernel isAssume to separate the ultraviolet calculation from infrared issues. A Schwinger parameterization gives . Using the supplied Gaussian integral, initially in the convergence region, givesThe last expression provides the meromorphic dimensional regularization continuation. Set . Since ,If the coupling is written as , that factor multiplies the intermediate integral but does not change the displayed pole residue. The negative pole is a property of analytic continuation; it must not be inferred from the positive cutoff integrand without carrying out the continuation.
The added mass counterterm contributes to , because and its Lagrangian term is . Hence cancellation requiresup to an arbitrary finite subtraction specifying the renormalization scheme. No external momentum occurs in the tadpole, so no one-loop wave-function renormalization is needed. At the unregulated tadpole is scaleless and vanishes in dimensional regularization; the massive calculation identifies the mass-dependent ultraviolet pole without conflating it with a massless infrared limit.
For completeness, the signs of the four-point graphs in this effective-action convention can be read from the Euclidean one-loop functional . Its expansion has terms and . Differentiating four times givesThis is the Euclidean form, analytically continued to the physical external momenta. It confirms the three channel diagrams and their symmetry factors; evaluating its divergence is not needed for the requested mass counterterm.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-14
In units , the action is dimensionless and a Lagrangian density has mass dimension . The kinetic term therefore gives . Requiring each interaction density to have the same dimension givesThis is engineering dimension; quantum scaling can acquire an anomalous dimension.
For a connected Feynman diagram with no derivative interactions, each independent loop integration contributes powers of momentum, and each internal scalar propagator contributes . Thus its superficial degree of divergence is . Let . A connected graph has independent cycles, and counting the half-edges incident on vertices gives . Substitution proves the scalar graph power-counting identity:For a graph with connected components, the first is instead , since . The printed expression therefore uses the usual connected-graph convention. This is the overall degree under simultaneous rescaling of all loop momenta. Subgraphs can still have ultraviolet divergences when the whole graph has , so their counterterms must be subtracted before declaring an integral finite.
When all retained couplings have nonnegative dimension, only finitely many external-leg/derivative structures can have nonnegative degree. Positive-dimensional relevant couplings lower as vertices are added, giving superrenormalizable interactions. Zero-dimensional marginal couplings give power-counting renormalizable interactions. Negative-dimensional irrelevant couplings instead permit to grow with the number of vertices, generally requiring an unbounded list of counterterms. Such nonrenormalizable interactions can still define an effective field theory to any fixed order in a low-energy expansion.
In , : cubic interactions are superrenormalizable, quartic interactions are marginal and renormalizable, and powers are nonrenormalizable. In , : cubic, quartic and quintic interactions are superrenormalizable, sixth-order interactions are marginal and renormalizable, and are nonrenormalizable. This is a power-counting classification, not a guarantee that an odd highest-power potential is bounded below. All lower-dimensional operators allowed by the symmetries must be included when required by renormalization; for example, odd interactions can require a linear counterterm, whereas the quartic model's symmetry excludes it.
Dimensional regularization defines convergent Euclidean loop integrals in a suitable domain of , then continues their parameter formulas meromorphically to complex . The Gaussian identity supplies and Schwinger parameterization supplies Gamma functions such as . Their poles encode the ultraviolet singularities near physical dimension. Noninteger complex is an analytic regulator of amplitudes, not a literal space with a noninteger number of coordinates. Masses or nonexceptional external momenta distinguish ultraviolet poles from infrared poles; scaleless integrals vanish in this convention and can hide that distinction.
For the quartic model let , , and . In renormalized fields, the bare Lagrangian isSeparate the terms with each equal to one from their differences. The differences are field, mass and quartic counterterms. After subtracting divergent subgraphs, the remaining ultraviolet pole of a proper graph is a local polynomial in its external momenta. In four-dimensional phi-fourth theory, power counting and reflection symmetry restrict these local terms to , , and a field-independent constant. Choosing the Laurent coefficients of the three renormalization factors recursively cancels these poles at every perturbative order. The constant vacuum term is removed by the zero-source normalization. This is an order-by-order finite renormalized expansion, not a claim of convergence of the perturbation series.
The source renormalization of a scalar generating functional follows directly from rewriting the source coupling in bare variables:A general source attached to a single elementary field needs this field renormalization; its connected correlations are the ordinary renormalized Green functions. Normalizing the path integral at cancels source-independent vacuum diagrams. Subject to a separate infrared/volume prescription, their source-dependent generating functional is consequently ultraviolet finite order by order. For a constant source, this statement is interpreted as a formal connected expansion or a vacuum density, not as an automatically finite total logarithm in infinite spacetime.
Changing integration variables from to introduces a source-independent constant Jacobian that cancels between the numerator and its normalization. The resulting normalized integral depends only on and fixed physical boundary/volume data. ThusDefine all scale derivatives at these fixed bare quantities:In a mass-independent subtraction scheme, logarithmic differentiation of the bare relations givesThe factors contain regulator poles, but the combinations determining the physical renormalization group functions have finite limits. In particular and . The chain rule now gives the requested equation:As a sign check, minimal subtraction gives and , with . Hence , , and starts at two loops. The positive signs agree with the tadpole subtraction and the three four-point channels.
The dimensional rewriting needs care. The chosen source normalization gives , , and , so and are the natural dimensionless parameters. For the full source functional, spacetime arguments must also be rescaled: with , write and . The dimensionless functional then depends on , the rescaled source profile, and the rescaled integration domain.
For a literal uniform source in a fixed physical spacetime volume , the uniform-source vacuum functional and spacetime volume relation is insteadFor example, even at and , completing the square for the constant mode givesThus the printed three-argument rewriting of the total suppresses necessary volume/source-profile data. It is valid as a dimensional shorthand only with those data understood; a dimensionless density has the three arguments, while its scale equation includes its engineering dimension. At infinite volume, the total constant-source logarithm is generally extensive and infinite even after ultraviolet renormalization.
The massless renormalization-group characteristics with a source solve the requested flow directly, independently of this notational issue. Since the mass flow is proportional to , its zero value remains zero. Starting at a reference scale , solveThenwith any physical volume or source-shape data retained. Where , the running quantities are determined byThese equations transport matching data at one scale to any other scale on the same flow trajectory. At a zero of the beta function use the differential equations themselves, rather than divide by zero.
For the uniform-source density, set and . At the corrected dimensionless equation and its local characteristic solution areThe arbitrary function is fixed by boundary/matching data. If the volume is retained as a dimensionless argument , the full dimensionless functional obeys the same transport operator with in place of the additive term; extensivity makes the two statements equivalent. Massless zero-momentum source expansions can also have infrared singularities, so this RG solution is formal until an infrared prescription or a suitable background expansion is chosen.
An ultraviolet fixed point is a zero of the beta functions approached by the dimensionless couplings as . Near a single-coupling fixed point , perturbations obey , so gives attraction in that direction. In four-dimensional quartic scalar theory, the positive one-loop beta function makes positive small coupling grow toward the ultraviolet: . This exhibits a perturbative Landau pole, not an interacting ultraviolet fixed point. A perturbative result does not exclude hypothetical strong-coupling behavior beyond its regime.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 49 4 Solution Created 2026-10-03 Updated 2026-10-14
The gauge-invariant Yang-Mills action integrates over physically equivalent configurations along each gauge orbit. At the quadratic level its gauge-field kernel has longitudinal zero directions: in momentum space satisfies . It therefore has no inverse from which to construct a gauge-boson propagator. Gauge fixing both removes the redundant orbit integration and supplies an invertible quadratic operator away from the ordinary physical propagator poles.
For the covariant condition , the Faddeev-Popov determinant is that of . Its representation by odd Faddeev-Popov ghost fields and antighost fields produces the displayed ghost term. In a nonabelian theory depends on the gauge field, so the determinant is not an irrelevant constant: ghost interactions must be retained. The even Nakanishi-Lautrup field writes gauge fixing in a form with off-shell BRS symmetry. For , its algebraic equation is , giving after elimination. At it imposes the gauge condition as a Lagrange multiplier.
For the nilpotence proof, write the adjoint bracket as , with coefficients in a Grassmann algebra. If are their parities, this is a graded Lie bracket:Thus two odd fields have a symmetric bracket, in particular need not vanish. The transformations become , , , , and obeys the left graded Leibniz rule.
Because is even, . Varying both the field and the connection in now givesFor the ghost,The last equality is the graded Jacobi identity applied to three copies of the odd field . In components the remaining expression is ; its coefficient is antisymmetrized over , and the ordinary Jacobi identity for the structure constants makes that antisymmetrization zero. Finally and . HenceThis is off-shell nilpotence of the Yang-Mills BRST quartet.
To verify invariance of the complete Lagrangian, , obtained from . Thus because the product of the two curvature components is symmetric in their color labels while is antisymmetric. The remaining terms vary asThe last term vanishes by the already proved , and the first and third terms cancel pointwise. ThereforeEquivalently, the covariant gauge-fixing density as a BRST variation is with . The graded sign from moving past produces the positive ghost term, and proves its invariance. No integration-by-parts qualification is needed for the density as written.
Let be the BRS charge. The physical state space is its BRST cohomology, usually at ghost number zero:Nilpotence ensures . A state is orthogonal to every closed state because , and its norm is . Thus adding an exact state changes neither physical inner products nor amplitudes. Self-adjointness here is relative to the stated indefinite Hermitian form; a nonzero self-adjoint nilpotent operator could not exist on a positive-definite state space. Positivity must be proved on the quotient, not assumed on the gauge/ghost space.
Fix a color label and a nonzero momentum , and take the usual nontrivial asymptotic charge, . Nilpotence on a vector state gives , because at least one component of is nonzero. Nilpotence on the antighost state then givesThe two coefficients are complex conjugates as required by self-adjointness: using the given ghost pairing,Thus the antighost-to-vector coefficient is , as the printed bar notation indicates. These conditions are the massless shell condition and the consistency of the charge with the inner products.
A general one-particle vector representative is . It is closed precisely when . The vector state is exact, so representatives obeyThe ghost state is also exact: choose with , then . The antighost state is not closed because its image is a nonzero longitudinal vector. More explicitly, closure of a general sum of vector, ghost and antighost states forces the antighost coefficient to vanish and the vector polarization to be orthogonal to ; its ghost component disappears in the quotient. Thus the full one-particle cohomology already reduces toWith the mostly-plus Minkowski metric, choose a Lorentz frame with , . Closure gives , and the norm isSubtracting a multiple of sets . Consequently positive one-particle BRST cohomology consists of two transverse positive-norm polarizations per color, represented by . A nonzero class has strictly positive norm; the zero-norm longitudinal direction was precisely the exact direction removed.
The qualifications and are essential to this one-particle argument. The zero-momentum sector requires separate treatment, and the trivial-charge case cannot yield the asserted removal of negative-norm vector states from the stated relations alone. Abstract nilpotence and self-adjointness by themselves do not guarantee positive cohomology.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 62 1 b Solution Created 2026-10-03 Updated 2026-10-14
In proper-time gauge the particle Lagrangian is , now with dots referring to proper time . The canonical spatial momentum isThe FRW metric is independent of all spatial coordinates. Hence and the Euler-Lagrange equation gives . This conserved quantity is the comoving momentum.
The mass-shell mass shell constraint gives . For future-directed motion and proper peculiar velocity , it follows that . ThereforeThe kinetic momentum here is the physical momentum in an FRW universe, measured in the orthonormal frame of a comoving observer. It redshifts as irrespective of whether the particle is relativistic or nonrelativistic.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 62 1 c Solution Created 2026-10-03 Updated 2026-10-14
The mass shell constraint and the conserved comoving momentum giveDividing yieldsThe comoving direction is constant because is constant. With and physical momentum magnitude at , we have . Integrating the speed along that fixed direction givesThis is a distance travelled, rather than a light-ray distance: the extra factor is the particle's proper peculiar speed . For a particle at rest, , the distance is zero, understood separately or as the limit. The formula assumes collisionless motion over the interval. Its existence at the lower endpoint depends on the early scale factor; in radiation domination the integral is finite.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 71 3 a Solution Created 2026-10-03 Updated 2026-10-20
A fully ionized helium nucleus supplies two electrons for approximately of mass, so . Filling all electron momentum states up to the Fermi momentum givesFor a nonrelativistic electron, the speed is . The three mean squared Cartesian components of momentum are equal by rotational symmetry and sum to , so each is . This is the isotropic tensor integral. Thus the momentum flux, or electron degeneracy pressure, isSubstituting the expression for and simplifying the powers of two givesHere is the Planck constant. This is the pure-helium specialization of nonrelativistic electron-degeneracy pressure in a hydrogen-helium mixture.
For a cold helium white dwarf, neglect ion thermal pressure and use this electron degeneracy pressure as the support against Newtonian gravity. Combining hydrostatic equilibrium with mass conservation givesSet and , where . Direct substitution gives the Lane-Emden equationIts dimensionless solution is independent of . Let be its first zero and . Integrating mass conservation givesEliminating yields the polytropic mass-radius relationThus a more massive nonrelativistic white dwarf is smaller at fixed stellar composition. The assumptions require and in the region providing most support; the law is not extended into the relativistic or thermally supported regimes.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 77 1 Solution Created 2026-10-03 Updated 2026-10-14
Let be a constant reference density and define total buoyancy acceleration by . Absorb the reference hydrostatic pressure into a kinematic pressure . The ideal nonrotating Boussinesq equations areFor a resting density profile , the background satisfies and the squared buoyancy frequency isStable stratification has . The Boussinesq approximation requires fractional density variations to be small over the domain and parcel excursions, so density can be replaced by in inertia while its small variation is retained in the gravitational force. For an approximately uniform density gradient over height , this requires . The stipulated incompressibility alone does not justify neglecting density variation in inertia.
Put and . To linear order the two-dimensional internal gravity wave equations areThe exact impermeability condition on is the kinematic boundary conditionTaylor expansion about permits at leading order if the boundary slope and its displacement relative to the vertical wave scale are small: and . The second condition controls both the omitted evaluation correction and the product , since continuity gives . Hence for the harmonic forcing,The propagating calculation assumes and ; a time-independent boundary does no oscillatory work on fluid initially at rest. If but , incompressibility forces the vertical velocity to be independent of height, so the unbounded column has no finite-energy radiating internal-wave solution. The propagating wave-generation problem therefore needs the stated nonzero horizontal wavenumber.
For a plane mode with phase , let be its complex amplitudes. The linear equations giveSubstituting into gives the dispersion relationNo waves enter from above. The appropriate radiation condition therefore selects upward vertical group velocity, not upward phase propagation:The boundary-forced internal gravity wave satisfying the boundary condition isThe displacement is , consistent with times the displacement. For a right-moving boundary choose , without loss of generality. Then , and the constant-phase lines of an internal gravity wave have slope : the crests rise toward the right. Their acute angle with the horizontal isThe group velocity is along these crests in the upward-right direction, whereas the wavevector and phase propagation point downward-right.
Rising wave crests with upward group velocity and downward phase propagation above a right-moving boundary
. Details. The physical pressure perturbation is . Pressure work at the lower boundary, to second order in amplitude, is its period-mean pressure times vertical boundary velocity. Static hydrostatic terms average to zero over a cycle. ThereforeAs an independent energy check, the wave's mean kinetic-plus-buoyancy energy density is , and multiplication by gives exactly this upward energy flux.
For the exact horizontal mean-momentum equation, incompressibility writes the horizontal momentum equation asAverage over a horizontal period. Require the pressure and velocity fluxes to be periodic, or more generally their horizontal derivative averages to vanish; in particular there must be no imposed mean pressure gradient. ThenHorizontal averaging also makes ; the zero mean boundary displacement rate gives . These conditions exclude an independent mean mass flux or horizontal force. The mean equation applies in the fluid, with flattening of the small moving boundary understood at the order used above.
For slow switch-on, define , using for . The outgoing internal-wave envelope radiation condition is . Replace in the oscillatory fields by . A modulation time must satisfy and , with a frequency bandwidth sufficiently narrow to linearize the dispersion relation. The exact boundary derivative also contains ; it is smaller by the slow-modulation parameter and is beyond this leading envelope approximation.
To leading slow-modulation order, the wave momentum flux isSince , integrating the mean-momentum equation from rest gives the internal-wave momentum depositionThis is second order in wave amplitude, with smaller relative slow-modulation corrections. Mean-flow feedback on the leading wave is higher order. The mean current is created as the wave envelope arrives; an already uniform wavetrain has no local flux divergence.
Finally move horizontally with speed . The initial uniform relative flow is , with infinite total energy in the unbounded column. Its finite mean-energy change is insteadAt finite time the envelope is absent sufficiently far above, so integrating the momentum equation givesThis is the boundary work and mean-flow energy of an internal wave relation. In the moving frame the boundary pattern is stationary to leading modulation order. It extracts energy from the incident mean flow and converts it to outgoing internal-wave energy; in the laboratory frame the same energy is supplied as boundary work.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 77 2 Solution Created 2026-10-03 Updated 2026-10-14
Here write for the buoyancy perturbation about the resting constant- stratification; the total buoyancy also includes its background gradient . Use kinematic perturbation pressure . The weak-forcing Linearized Boussinesq equations areWeakness means that perturbation advection is small compared with the retained linear terms. With the specified streamfunction convention, the transverse vorticity isDifferentiate the horizontal momentum equation in and subtract the derivative of vertical momentum. The pressure derivatives cancel, givingThe second equation uses and is the forced internal-wave equation.
For free waves at frequency , the internal gravity wave dispersion relation gives . Thus the horizontal response scale is much larger than the vertical scale. Vertical acceleration is small in the vertical momentum equation, leaving the hydrostatic approximation . Correspondingly the transverse vorticity is predominantly : neglect relative to in the inertial vorticity term. The restoring term must still be retained, since it balances the small time derivatives.
For put , and interpret physical fields as real parts. The reduced equation isOne can solve it while obtaining the buoyancy simultaneously. Define and . The first-order hydrostatic equations becomeHence and obeyApply the method of characteristics with zero fields in the past. Withthe solution is . Consequently the hydrostatic response to a localized horizontal force isThese are exactly the required two characteristic integrals, derived with their relative sign fixed by the buoyancy equation. Quiet-past initial conditions exclude additional freely propagating solutions.
For the consistency check, set , so both integrals run over the fixed range . Differentiation at fixed now givesThis change of variable is important: it includes the time dependence of both the sampled forcing and the moving integration geometry without omitting a term. Each straight path intersects for a time interval of length at most . If , thenThe characteristic size of the hydrostatic buoyancy and pressure-gradient balance is , as follows from the analogous bound on in its integral formula. Thus the omitted acceleration has relative scale at most a constant timesTogether with the low-frequency assumption, this verifies the requested hydrostatic consistency. It is a comparison of characteristic magnitudes, rather than division by a buoyancy value at a node where both terms may vanish. The capital here is the buoyancy frequency, as printed in the PDF.
For , only contributes. If , every point lies outside the source interval, so both integrals vanish:This finite propagation cone belongs to the reduced hydrostatic wave equation.
The hypotheses do not require an even forcing, so no single symmetric graph follows for every permitted . For an illustrative smooth even nonnegative profile, is even and is odd. At late time and fixed , if , thenThus the streamfunction develops a broad nearly level interior response with outgoing fronts, while the buoyancy changes sign across the source and approaches opposite interior plateaus to its left and right. Both vanish beyond the fronts. For , a vertical phase with gives real fields and . The figure plots those profiles up to positive normalization factors, for an even compact forcing increasing slowly from zero.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 77 3 Solution Created 2026-10-03 Updated 2026-10-14
Choose a fixed vertical datum so the physical free surface is at , with constant; its depth above the bottom is . The gradient of the constant datum does not enter the pressure force. With , the rotating shallow water equations areThe fluid is hydrostatic with depth-independent horizontal velocity at this order. The pressure-gradient force uses the free-surface slope, not the layer-depth slope: .
Let be relative vertical vorticity, the absolute vorticity, and . Taking the horizontal curl of the two momentum equations and expanding the advective derivatives givesMass conservation is . The two stretching factors cancel, proving the exact shallow-water potential vorticity conservation lawThe denominator is , the actual column thickness that changes under horizontal convergence; an arbitrary surface elevation does not obey that column mass equation. There is no term because the reduced layer quantities have no vertical dependence. The vertical motion has already supplied the layer-thickness equation, rather than remaining an independent coordinate of this model.
Now take and assume , . To first order,For a small Rossby number, leading geostrophic flow satisfies and . ThusFor , the barotropic deformation radius is . Multiplication of the first-order PV by givesThis is the required shallow-water quasi-geostrophic potential vorticity, including the bottom contribution.
Write and . The initial state has , so . The specified homogenization sets in and leaves it unchanged outside. Hence the requested change isFor this is a descending straight segment from to , with zero exterior values and jumps at the two edges. Endpoint values do not affect the inversion. It is the anomaly, not the full final PV profile, that appears as the source below.
For the zonal mean, , , and potential-vorticity inversion requireswith decaying disturbance at both infinities. The odd source makes the unique decaying solution odd. A particular interior solution is , so writeBoth and must be continuous at : a jump would introduce a delta function or its derivative into a source that has only finite jumps. Matching at givesand thereforeDifferentiate the interior streamfunction to obtainThe exterior profiles needed for the sketches are and .
For , put , , so . Uniform Taylor expansion givesConsequentlyFor the leading interior current is westward and approximately parabolic.
For and away from the edges, and : the surface follows the bottom slope centrally. Near , the exponentially thin corrections give positive edge jets of width and peak scale when . Those jets decay in the exterior. The elevation is odd, has opposite-sign extrema just inside the edges, and decays to zero outside; at the positive edge . The following sketch uses the full matched solution with . For negative , the current and PV-change signs reverse, while this elevation profile does not.
Potential-vorticity change, central current with edge jets, and free-surface elevation after mixing over a finite bottom slope
. Details. Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 77 4 i Solution Created 2026-10-03 Updated 2026-10-14
Let be absolute vorticity, where is constant. Let be density and a materially conserved stratifying scalar, so . For the incompressible density-stratified ideal fluid one may choose the advected density itself; in a thermodynamic description one may use an entropy-like scalar with . The Rossby–Ertel potential vorticity isErtel's theorem states that it is conserved following a parcel under inviscid, adiabatic motion with conservative body force and the stated stratifying-scalar condition.
Start from the rotating momentum equationHere includes gravity and any conservative centrifugal potential. Taking its curl givesMass conservation is , specializing to here. Combining these equations yieldsDifferentiating the material conservation of gives . Dotting these two equations, the velocity-gradient terms cancel after relabelling their indices. ThereforeIf , the triple product vanishes immediately. More generally, an equation of state makes a linear combination of and , so it also vanishes. HenceThis proves the conservation law and specifies why must be a suitable stratifying scalar: an arbitrary unrelated passive tracer need not annihilate the baroclinic triple product. No viscosity or scalar diffusion is permitted in this theorem.
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 1 15C c Solution Created 2026-09-24 Updated 2026-10-14
Between collisions the momentum is or . In phase space the cycle runs right along the upper horizontal segment from to , jumps vertically to at the right wall, runs left along the lower segment, and jumps back at the left wall. The jumps have . ThereforeDifferentiation gives , exactly the out-and-back period. Under slow wall motion the action is the adiabatic invariant; a convention using is equivalent. HenceCompression raises the energy and expansion lowers it, provided the wall speed is small compared with the particle speed and the change per cycle is small.
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 1 32D Solution Created 2026-09-24 Updated 2026-10-14
Generalized position eigenstates satisfy and . Define the position-space wavefunction . Completeness then gives . Position acts by multiplication, . Using and momentum completeness, differentiating the Fourier integral gives on the momentum operator's domain.
For the unit-mass, unit-frequency oscillator defineSince , a simultaneous energy eigenstate and -eigenstate would satisfy , forcing . For , the energy is , the smallest possible because .
The position-space equation is . Solving and normalizing, with , gives up to a constant phaseIts squared modulus is a normalized Gaussian, so every complex gives a normalizable coherent state.
For a creation eigenstate, instead gives . Every nonzero such function grows quadratically exponentially at infinity and fails square integrability. Hence there are no nonzero normalizable eigenstates of . This last symbol is in the original PDF, although the converted TeX drops its dagger.





