Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 12B a Solution Created 2026-09-24 Updated 2026-10-07
Use metric signature , as required by the sign of the scalar product in this question. For a massive particle, the four-momentum isFor a photon of positive frequency and direction , the Planck constant gives andA future-pointing timelike four-vector has and in this signature. The ordinary Euclidean Cauchy-Schwarz inequality yieldsThis is stronger than the requested nonnegative inequality. For an electron and a positron of rest mass , their future-pointing timelike four-momenta have . Thuswhich cannot equal the null norm of a single photon. Four-momentum conservation forbids spontaneous photon decay into an electron-positron pair in vacuum. An external body or field able to exchange momentum would be a different system.
Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 3B Solution Created 2026-09-24 Updated 2026-10-07
By Newton's third law, the force on the second particle is . For and centre of mass , Newton's second law gives . ThusThe centre moves on a straight line with constant velocity; zero velocity is allowed. For the relative position , subtraction of the two equations givesHence the two-body problem reduces to a single particle of reduced mass , together with the elementary centre motion. Reconstruct the positions as , .
Yes: the two equal masses can follow the same fixed circle in diametrically opposite positions. Put the stationary centre of mass at the circle's center and choose tangential velocities with the same sense of rotation. If the circle has radius , the separation is and the mutual gravitational force is directed toward that center, with magnitude . The circular orbit condition is , so an equal-mass circular binary hasThese initial data maintain the opposite positions and give the same constant angular speed for both particles.
Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 9B b Solution Created 2026-09-24 Updated 2026-10-07
Set initially and choose its positive sense to agree with the initial tangential motion. The inward radial component is , while the tangential speed is . HenceSubstitution in the Binet equation gives , or . This is an orbit equation for combined inverse-square and inverse-cube attraction. Solving the constant-coefficient equation and applying both initial conditions givesOn , the sine is nonnegative, so stays finite and positive. At , , hence and the particle is back at its original spatial position after one revolution. But , so its radial velocity is now , rather than the original . The return is not a periodic return in position and velocity.
After that revolution, the first zero of is at , where . The physical branch therefore has as ; it must not be continued into negative . Since and has a simple zero, reaching infinity takes infinite time. As a check, the specific potential energy is and the conserved energy per unit mass is , giving escape speed at infinity, also obtained from .
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 2012 iii Paper 46 4 Solution Created 2026-10-03 Updated 2026-10-14
Take the muon mass to be , and use the quantum electrodynamics convention with . Let be the incoming muon and antimuon momenta and the outgoing photon momenta, so . External particles are on shell: and . The two tree-level Feynman diagrams are the two orders in which the photon legs attach to the muon line. There is no three-photon QED vertex, and therefore no single-photon annihilation diagram into two photons at this order.
The QED Feynman rules needed here are the vertex , the Dirac propagatoran incoming muon spinor , an incoming antimuon adjoint , and an outgoing photon polarization . At a vertex enforce four-momentum conservation. Spinor products are ordered along the fermion line; exchanging the external photons introduces no relative minus sign. Define and .
With the convention that a diagram contributes , the two muon-antimuon annihilation amplitudes areTheir denominators are respectively and , where , . A different consistent overall amplitude-phase convention has no physical effect.
A physical photon polarization vector obeys , and represents an equivalence class . For a real null momentum, adding preserves transversality. One can additionally choose transverse spatial vectors with and ; there are two independent physical polarizations. The equivalence class removes the unphysical longitudinal direction, rather than imposing four independent physical polarization states.
The invariance of the total amplitude is a two-photon fermion Ward identity. Replace by and put , . The external Dirac equations giveAway from propagator poles, ; the identity extends with the common Feynman prescription. ThereforeThe two terms in the bracket then give and , which cancel. Exchanging photon labels proves the second Ward identity. Thus the sum is unchanged under for either photon. Neither diagram is generally gauge-invariant separately. Physically, longitudinal pure-gauge polarization does not couple to the observable scattering amplitude; only the two transverse photon degrees of freedom contribute.
For Compton scattering write the incoming momenta as and outgoing momenta as , with . The outgoing muon contributes , the incoming photon contributes without conjugation, and the outgoing photon contributes . The two tree-level Compton amplitudes areThese are the lower two diagrams. Their intermediate muon momenta are and , with denominators and . The first attaches the incoming photon before the outgoing photon along fermion flow; the second reverses that attachment order. Both contribute at order in the amplitude.
Compton scattering has one incoming and one outgoing muon and one photon on each side; annihilation has an incoming particle-antiparticle pair and two outgoing photons. Accordingly the external spinors/polarizations and physical Mandelstam channels differ, although both arise from the same two-vertex QED matrix element. Crossing symmetry relates them by continuing and one outgoing photon momentum , with the corresponding external wavefunction replacements. The annihilation channel becomes the Compton channel and the other channel becomes its channel. Identical final photons require a factor in an annihilation phase-space integral over an otherwise double-counted full final-state region; there is no analogous final-state identical-particle factor for the muon-photon Compton final state. Gauge cancellation holds for the summed Compton amplitude as well.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 47 1 Solution Created 2026-10-03 Updated 2026-10-07
Use in the field-theory calculations. Work with signature and . Since and , , , and the Sine-Gordon equation is . Introduce and . The specified Sine-Gordon Bäcklund transformation becomes , . Its compatibility givesAdding and subtracting these equations establishesThus a compatible transformed field satisfies the same Sine-Gordon equation. Smoothness is needed to interchange mixed derivatives. The statement cannot literally include , since one defining equation contains .
Generating the kink. With zero seed, the two first-order equations give and . On a nonconstant branch put ; then , . Integration givesFor , this is the Sine-Gordon kink, after absorbing in the center position. Its speed and Lorentz factor obeyChanging the sign of or of the exponential coefficient selects the corresponding antikink orientation; whenever is finite and nonzero. Constant vacuum branches, omitted by division by , can be added separately.
The continuously parametrized Bäcklund transformation does more than produce this one solution. Successive compatible transformations and Bianchi permutability for sine-Gordon Bäcklund transformations construct multisoliton solutions; expansion of the generating relations gives the local conserved-charge hierarchy of sine-Gordon theory. Together with its Lax pair and inverse scattering transform, this is the structure behind classical integrability, elastic scattering and the absence of generic radiative energy loss in soliton collisions. Existence of a transformation alone is not a proof that every generated conserved charge is independent and in involution; those are additional properties of the integrable system.
Transforming the static kink at . The seed obeys , , . Adding and subtracting the two Sine-Gordon Bäcklund transformation equations yieldsAgain set . These simplify to , . The first gives , and the second gives . ThereforeContinuous inverse-tangent branches may be chosen without creating artificial jumps. At spatial infinity the field approaches the same vacuum, so its net topological charge is zero. For large there are two well-separated transitions near , with speeds tending to zero. The two transitions exchange their kink/antikink orientations as they pass through the collision, while the field remains smooth.
This is the Sine-Gordon threshold kink-antikink solution, a separatrix between finite-speed scattering and the bounded Sine-Gordon breather motion, rather than a finite-period breather. In fact it is the limit of the scattering field in question 3. At , and , so the reduced energy is , exactly twice the reduced single-kink energy .
For mass comparisons below, the original PDF really prints . Restoring physical coordinates , gives the angular-field action and literal kink mass , for . The usual Sine-Gordon theory instead has prefactor and mass . The equation of motion and every field above are unchanged by this overall normalization; the quantum scattering comparison in question 3 is not.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 47 2 Solution Created 2026-10-03 Updated 2026-10-07
Take and use the complex sine-Gordon theory reduced density , with physical lengths and times . Physical rest energy is , and the dimensionless Noether charge is obtained from the reduced action. Put , , , so . Initially take , avoiding the singular target-space boundary.
The canonical Hamiltonian density isHere , , and . Since , the kinetic contribution is simply . ConsequentlyTo fix the charge sign, take the Noether current directly from , :Thus positive internal rotation has positive charge in this convention. With and the supplied integral,Reversing the definition of the generator would reverse all charge labels but not any mass. The limit is the vacuum with zero mass and charge. At the field reaches at its center and the current's coordinate expression becomes singular. The mass still has the finite limiting value , butThe displayed local density does not assign a unique endpoint charge merely by substituting .
The four collective parameters. Translation, a Lorentz boost of rapidity , and the global phase symmetry produceThe independent real parameters are , with periodic modulo . A further time translation is absorbed into these parameters. The energy and momentum are and , while is invariant. The internal angle is the collective coordinate whose canonical momentum is this Noether charge.
Semiclassical quantization. For one rest-frame internal rotation, the period in dimensionless time is . The action around the orbit isEquivalently this is , where is the reduced rest energy. Bohr-Sommerfeld quantization with gives . Because the internal orbit is a cyclic angle, not a one-dimensional oscillator between turning points, there is no half-integer Maslov index shift. HenceOn the nonsingular branch . The elementary charge-one mass approaches at weak coupling. For positive with , , where , . Thus : the charge- soliton cannot fragment into smaller like-charge particles. For a general charge-conserving partition, a constituent with already has mass at least ; if every , the decreasing ratio gives , strictly for nontrivial fragmentation. Thus opposite-charge constituents cannot open a lower-energy decay either. This is charged rather than topological stability, and the semiclassical spectrum is reliable at weak coupling.
Counting states and the endpoint. Write . If is not an integer, the regular branch givesIf is an integer, the local nonsingular calculation gives only regular states. The formal closed-branch list has charge labels, but its last two labels are limits of the same singular static solution. Counting them needs a global completion; it cannot be decided from a regular current integral at .
In the additional integer-level completion, at leading semiclassical order and charges are identified modulo integer . There are then nonzero charge sectors. For odd , positive and negative labels are distinct; for even , the endpoint labels describe one self-conjugate state. This supplies states when , rather than endpoint labels. This global interpretation, and the distinction between classical and renormalized couplings, are discussed in Dorey and Hollowood, section 2. A generic classical does not automatically define an integer or specify this quantum completion.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 47 3 Solution Created 2026-10-03 Updated 2026-10-07
Take and . The Sine-Gordon kink-antikink scattering solution tends to the same vacuum at both spatial ends and hence has zero net topological charge. At large , the two transition centers, found by setting the magnitude of the inverse-tangent argument to one, obeyThey are a kink and an antikink moving with asymptotic speeds , with no outgoing radiation. Their left-right orientations interchange at the collision. To define the soliton time delay, label a transmitted trajectory by its preserved rapidity rather than its left-right position. The right-moving asymptotes areAfter restoring physical lengths, the forward shift is . The arrival-time difference is thereforeThis is a time advance relative to the extrapolated incoming free motion.
The semiclassical scattering phase. For an outgoing energy wave packet with full S-matrix phase , stationary phase in shifts its arrival time by . The full S-matrix phase from a classical soliton delay uses the paper's , twice the phase in a convention . In the center-of-momentum frame, , so . It follows thatThe literal PDF normalization gives and consequentlyThe integrable logarithmic singularity at zero causes no divergence of this phase difference. With the intended standard angular-field prefactor , the result is insteadThe soliton time delay determines only phase differences, not an energy-independent constant or a choice of branch. Keeping this distinction avoids an arbitrary high-energy subtraction.
Bound-state poles. Set . Each factor of the exact amplitude can be written . Its denominator vanishes in the physical rapidity strip atThe corresponding numerator is nonzero, and no other numerator cancels the pole. In the direct kink–antikink fusion interpretation, analytically continue the constituent rapidities to . Their momenta sum to , so the relativistic bound-state mass from a rapidity pole givesThese neutral particles form the Sine-Gordon breather spectrum at reflectionless couplings: there are breathers, none for , and the putative state is at the unbound threshold. The amplitude fixes these ratios to the physical kink mass; its rapidity dependence alone cannot fix the overall mass scale or a mass-renormalization prescription relating that mass to .
It is important to distinguish direct and crossed interpretations rather than count every occurrence of a pole twice. Crossing symmetry sends to . At the original angle the momentum-difference invariant is , so the crossed interpretation exchanges the complementary member of the same tower. In particular the transmission residue alternates sign: direct evaluation of the remaining factors gives , . Thus one must retain charge-channel/crossed-channel information, not reject every negative-imaginary transmission residue or declare an additional particle for a crossed pole. Direct and crossed locations coincide in the reflectionless pole set. The familiar case has one breather of mass despite the negative-imaginary transmission residue; this diagonal reflectionless example is also displayed in Castro-Alvaredo, Chen, Doyon and Hoogeveen, section 4.2.
Matching the exact phase. For the unwrapped reflectionless sine-Gordon transmission phase, at real choose the continuous unwrapped branch with . ThenEvery factor has unit modulus, consistent with purely transmitting elastic scattering. Differentiating is simpler than integrating its complex logarithm:For fixed the sum becomes a Riemann sum, and the elementary integral yieldsSince and , replacing by changes this only at subleading order. The leading phase difference agrees with the standard semiclassical result. The derivative approximation is not uniform as at fixed ; integrating its logarithm gives a finite leading phase difference nevertheless. A compatible constant is the given branch , whose choice is supplied by the exact amplitude rather than the classical trajectory.
As a useful endpoint check, , obtained by expanding the two logarithms . Thus the leading phase with coefficient tends to . The exact unwrapped endpoints arewhere the extra is subleading. Neither should be replaced by zero by an unannounced branch convention. Finally, the literal action gives a phase derivative of order , whereas the printed exact amplitude gives order . The requested exact/semiclassical matching requires correcting the overall action normalization to . This is an actual inconsistency between pages 2 and 4, not a change to the sine-Gordon equation or the classical scattering field.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 47 4 Solution Created 2026-10-03 Updated 2026-10-07
An instanton describes a finite-action trajectory in imaginary time that crosses between classical vacua. It accounts for quantum tunnelling effects exponentially small in , beyond an ordinary power series around one minimum. A symmetric double well makes the connection between the Euclidean path integral, fluctuation theory and the low-energy spectrum particularly explicit.
For a particle of mass , use a Wick rotation in the kernel. The Euclidean action and its classical equation areThe latter is Newtonian motion in the inverted potential . Subtract the common minimum energy so . A finite-action path approaching at infinite Euclidean times has conserved Euclidean energy . ThereforeThis gives both the classical trajectory by a quadrature and its tunnelling exponent. The plus solution is the instanton; reversal is the anti-instanton. A single crossing has action , not , although a periodic closed path necessarily has equal numbers of crossings in both directions.
An explicit double well. Take , whose local harmonic frequency at either minimum is . Integrating the zero-energy equation gives the quartic double-well instantonThe arbitrary center is a collective coordinate. The tunnelling regime is , so the crossing width is short compared with the typical separation between rare crossings.
The exponential alone does not give a dimensionally complete amplitude. Expand ; the quadratic Euclidean action is , whereThe derivative is a normalizable translation instanton translation zero mode. The factorization of this one-dimensional fluctuation operator shows it has no negative modes. In , its two discrete eigenfunctions are proportional to and , with eigenvalues zero and ; the continuum begins at . Treating its zero eigenvalue as an ordinary Gaussian integral would give a divergent determinant. Instead integrate over : since , the Jacobian supplies . The nonzero fluctuations supply the determinant ratio. With common endpoint regularization,This is the instanton fluctuation prefactor, with and having frequency units. The prime omits precisely the translation mode.
For this quartic potential the determinant can be evaluated explicitly. Set and add a small positive spectral regulator to both operators. With , the dimensionless operator is . Applying successively and to the free decaying solution , and normalizing at , gives a growing coefficient at equal to . The common Dirichlet functional determinant ratio has this coefficient. Hence the quartic double-well fluctuation determinant isThe frequency factor cannot be discarded when deleting the zero eigenvalue.
Summing rare crossings. Consider Euclidean duration much longer than a crossing width. In the dilute instanton gas, ordered centers have integration volume , and the amplitude per crossing is . Starting in the left well, directions alternate: an even number returns to the left well, and an odd number ends in the right well. If local anharmonic corrections, the leading kernels, with a common endpoint normalization , areThe even/odd sums must not be replaced by counting all possible crossing directions independently. Comparing their exponential components with the spectral representation givesFor the quartic example, to leading semiclassical order. This is the double-well tunneling splitting: the even state is lower because the symmetric wavefunction has no node. The equivalent low-energy Hamiltonian in localized left/right states is . An initially localized state tunnels coherently, with probability of occupying the other well. Tunnelling does not imply irreversible decay in this closed symmetric system.
The instanton approach thus yields the same leading forbidden-region action as the WKB approximation, while identifying the zero-mode measure, fluctuation normalization and multiple tunnelling events systematically. Perturbation theory about either separate minimum cannot generate . Multi-instanton interactions and higher-loop fluctuations correct the leading dilute-gas result; at finite temperature one instead uses periodic Euclidean boundary conditions, whose saddles may differ when the period is comparable to the crossing width. A false-vacuum bounce returning to the same metastable minimum has a negative fluctuation mode and describes a decay rate. It should not be confused with the stable-vacuum connecting instanton above, which has a translation zero mode but no negative mode.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 51 1 Solution Created 2026-10-03 Updated 2026-10-20
Use a mostly-plus target Minkowski spacetime metric and restore the string tension by . After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string . Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.
A tachyon vertex operator isThe worldsheet Green function is . The operator product expansion with the holomorphic stress-energy tensor gives conformal weights . An integrated string vertex operator must have weights , so the mass-shell condition is , or tachyonic mass parameter .
At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry , while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.
The integral over the constant embedding worldsheet zero mode gives . The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet ; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply . Since and similarly for the pair , the sphere tachyon position integral becomesHere depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.
To evaluate the remaining worldsheet modulus, put and . The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for and ; the scattering result is its analytic continuation. The third gamma-function argument is . Absorbing into , the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at , matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus has coupling power .
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 52 1 Solution Created 2026-10-03 Updated 2026-10-07
Use metric signature and the parity matrix . If a Dirac field transforms as , the chain rule changes the spatial derivatives' signs. Covariance of its Dirac equation therefore requiresThe Clifford algebra gives precisely these identities for . In an irreducible Dirac representation any other solution differs by a scalar phase, because its ratio with commutes with all gamma matrices. With , the Dirac mass bilinear and kinetic term consequently obeyThe factor compensates the sign reversal of spatial derivatives. A transformation containing only the argument change would not preserve the massive Dirac equation. This establishes parity symmetry of the free or vector-coupled Dirac theory; it does not make a chiral weak interaction parity symmetric.
For charge conjugation, transpose the adjoint Dirac equation to obtain . Multiplying by gives the original Dirac equation for ifOne may choose unitary; in four dimensions a conventional choice in a standard Dirac or chiral basis is , with . Its overall phase and do not affect the following bilinear transformation. Reordering the Grassmann fermion fields gives, for a color matrix commuting with the gamma matrices,Thus a vector color current changes sign and transposes its color generator under charge conjugation.
Write the Hermitian color connection as . The interaction coming from is . Its charge-conjugation symmetry requires . Parity acts on the Lorentz index as on a vector connection, so combining the two givesIn components, and . The transpose is a color-space transpose, independent of the spinor matrix . Intrinsic fermion phases cancel between a field and its adjoint.
Define the matrix gauge field strength unambiguously byThe derivative terms transform with the expected parity factors and a minus transpose. For the commutator, the crucial identity is , so the nonlinear term has the same transformation as the derivative terms. This is the CP transformation of non-Abelian field strength:For example, while . With , the color sum in the theta operator is twice a trace of two field strengths. The two charge-conjugation minus signs cancel, and transposition reverses the trace factors without changing their trace. The four parity matrices contracted with the Levi-Civita symbol contribute . HenceThe theta operator is CP odd; a generic fixed nonzero coefficient violates CP. Setting the coefficient to zero removes this term. Although the density is locally a total derivative, nontrivial gauge topology means that it need not be irrelevant to the quantum theory. If a properly normalized theta angle is identified periodically, invariance at special values equivalent to their negatives is a separate global question; it does not change the CP odd transformation of the local operator.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 52 2 Solution Created 2026-10-03 Updated 2026-10-07
A stable symmetry-breaking minimum requires and . Put . The common scalar potential can then be written, up to a constant, asIts minima form the sphere . Choose the vacuum direction . If instead with positive , the minimum is at the origin and the assumed nonzero vacuum expectation value is not a stable vacuum of these models.
In the ungauged theory, the internal symmetry is global ; its connected part is . Constant orthogonal transformations preserve both the kinetic term and the potential. The chosen vacuum is invariant under acting on its first two components, so the continuous breaking is with two broken generators. The vacuum orientations are genuinely different degenerate global vacua.
The global triplet scalar symmetry breaking is visible directly in the fluctuation masses. Write . The potential Hessian isThe quadratic Lagrangian is thereforeThere is one radial scalar of mass and two massless Goldstone bosons. The two Goldstone modes describe motion tangential to the vacuum sphere. They remain physical, since a global rotation has only constant parameters and cannot remove arbitrary spacetime-dependent fluctuations. All three original real-scalar degrees of freedom remain. Interactions persist: the shifted potential is , containing cubic and quartic terms. Masslessness of the angular modes is protected by the exact continuous symmetry through Goldstone's theorem.
In the gauged theory, the three-component real field is the vector representation of local , equivalently the Adjoint representation of . The center of acts trivially on this field, so both descriptions have the same local field content and perturbative spectrum. Take , for which . The covariant kinetic term and the gauge kinetic term are invariant under local transformations with the associated connection transformation. The scalar inversion , with the gauge field unchanged, is also a discrete invariance of the displayed action.
The vacuum leaves rotations about its third axis unbroken. The residual gauge group is , or the corresponding subgroup in the description. Expanding the covariant kinetic term about givesThus the gauge-boson mass matrix is . The third generator annihilates the vacuum, while the first two do not. The masses are , , and .
The quadratic derivative mixing displays what happens to the Goldstone fields. With the generator convention just chosen,Local rotations can set the two angular fields to zero in unitary gauge. Then andThe two Goldstone modes supply the longitudinal polarizations of the two massive vector bosons. They do not survive as additional physical massless scalars. The radial scalar is still physical, and retains only two transverse polarizations. This adjoint triplet Higgs spectrum realizes the Higgs mechanism; the gauge group is only partially broken, so one massless gauge boson remains.
The degree-of-freedom check isIn contrast, the global theory has just the three scalar modes, including its two physical Goldstone bosons. A vacuum expectation value in the local theory is a choice of gauge-fixed description: the direction can be changed by gauge transformations and is not itself an observable. Gauge-independent masses and the physical degree count express the actual effect. Both theories retain Lorentz symmetry in the constant scalar vacuum.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 52 4 Solution Created 2026-10-03 Updated 2026-10-14
The flavor content is and . A charged-current box diagram changes strangeness by two units. The two internal quark lines can contain any up-type flavors , connected by two charged propagators. One allowed topology is shown below; its crossed counterpart also contributes to the full mixing amplitude.
Each charged-current vertex contains the appropriate CKM matrix element. The flavor sum has combinations , with , multiplying mass-dependent loop functions. CKM matrix unitarity gives , illustrating the GIM cancellation of flavor-independent loop terms. The diagram is at order and second order in the weak interaction.
Let be the antiunitary CPT operator. It interchanges the neutral-kaon flavor states up to phases. For a Hermitian Hamiltonian invariant under CPT,since the diagonal expectation is real. Therefore CPT gives . More generally an effective decay Hamiltonian has , where both and are Hermitian. CPT gives and , hence the same equality of the complex diagonal entries. It does not require ; that is a CP condition. Nor is true for the full decay matrix in general.
Choose the CP convention and . Then CP acts as on the flavor basis. Invariance of means , and thereforeWith a different flavor-state phase convention this relation carries the corresponding phase factors; equality is the relation in the convention adopted here. For a Hermitian mass matrix it makes the off-diagonal element real.
For the requested production-time mass eigenstates, discard the absorptive part. From now on denotes the Hermitian part , so its entries have the formIf the original matrix already was Hermitian no replacement is needed. The neutral-kaon mass matrix diagonalization gives eigenvalues , since . Write , . Use the kaon mixing square-root branch conventioncontinuously from the CP-conserving convention in which . Independent unrelated root signs would interchange the eigenvalue labels. Direct multiplication gives and . Assigning the larger mass to giveswith mass shifts and respectively. A common strong-interaction mass may simply be added to both. Their norms are one and their inner product is zero. A Hermitian mass-only calculation determines the lighter and heavier combinations; it does not determine their different lifetimes.
In the CP-conserving limit, the chosen lighter and heavier combinations areThey are CP eigenstates with eigenvalues and in the convention above. The sign of the real off-diagonal entry and the flavor-state convention are chosen together so that the stated limit is the lower-mass state.
Changing to this CP basis givesConsequently, provided , defineAbsorbing the common phase of into the definitions of the mass eigenstates and normalizing now yieldsFor this Hermitian approximation, is purely imaginary, so . The phase convention matters for the kaon CP mixing parameter. Physical kaon decay eigenstates instead diagonalize the generally non-Hermitian matrix , for which the mixing parameter can have a real part and the eigenstates need not be orthogonal. The formula here is the requested mass-only result, not a calculation of that full decay dynamics.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 59 1 Solution Created 2026-10-03 Updated 2026-10-14
Put , take without loss of generality, and write . The Newtonian gravitational potential is singular at the origin; all pointwise claims below concern . The zero of the Newtonian gravitational potential is the one in the paper, with an implicit fixed length unit inside the logarithm.
The Poisson equation for Newtonian gravity in cylindrical coordinates givesThe two contributions to the Laplacian areConsequently the mass density of the axisymmetric logarithmic gravitational potential isThe coefficient of is positive. The coefficient of determines the density positivity for an axisymmetric logarithmic potential: strict positivity at every noncentral point requires and . Nonnegativity permits , where the mass density vanishes on the noncentral symmetry axis. For it is negative near that axis. Either sign of a nonzero real gives the same model, and is undefined. Setting yields vacuum away from the singular origin, not strictly positive mass density. The central cusp is locally integrable and contains no hidden point mass: the Newtonian gravitational field flux through a shrinking sphere is of order its radius.
An equatorial circular orbit requires inward gravitational acceleration equal to . Thus the circular speed isThis is a flat galaxy rotation curve. The singular center does not define an additional circular orbit at .
The specific orbital energy is conserved because the Newtonian gravitational potential is time independent. The axial specific angular momentum is conserved because the Newtonian gravitational potential is axisymmetric. Hence the Jeans theorem, or directly in the Collisionless Boltzmann equation, permits a stationary two-integral galactic distribution function. Using makes this galactic distribution function even under reversal of the azimuthal velocity, so it describes a nonstreaming population. A general axisymmetric population can have an odd part in , or dependence on a third integral of motion; neither is required for this construction.
At each position define . The two-integral galactic distribution function is invariant under swapping and , since only their sum of squares occurs in . It is also even in each velocity component. Swapping integration variables proves meridional velocity isotropy of a two-integral distribution, while reflecting one variable makes each mixed integrand odd. ThereforeAll mean velocities vanish, so these are also the corresponding statements for the velocity ellipsoid and its centered covariance tensor. They do not require to equal either meridional second moment.
To normalize the proposed logarithmic-potential two-integral distribution, first separate the mass density into terms with the same spatial factors as the two exponentials:Since and , the Gaussian integral and its derivative giveThus velocity integration of the galactic distribution function yields . Matching the independent spatial factors determinesThis verifies both the stationary Collisionless Boltzmann equation and the required Poisson equation for Newtonian gravity. A shift changes the normalizations to and ; the physical mass density is unchanged.
There is an important distinction between positive mass density and a nonnegative galactic distribution function. For , both coefficients above are nonnegative. For a prolate model , and one must test the sum rather than reject the model just because one term is negative. On accessible phase space,with equality in the equatorial plane at , . The nonnegativity bound for a prolate logarithmic-potential distribution is consequentlyFor larger , the displayed algebraic expression still integrates to the positive mass density, but is negative at those equatorial circular orbit phase points and is not a physical galactic distribution function. This extra restriction is distinct from the earlier density-only answer.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 59 3 Solution Created 2026-10-03 Updated 2026-10-07
For an axisymmetric Newtonian gravitational potential, the vacuum Laplace equation in cylindrical coordinates is . Use separation of variables, . Dividing by and setting the separated constant to , with , givesThe first equation has solutions ; with , the second is the order-zero Bessel differential equation. Regularity at the axis selects the Bessel function of the first kind , rather than the singular Bessel function of the second kind . ThusThere are also zero-separation-constant modes, and other boundary conditions can select other separated families. For a localized reflection-symmetric thin disk, decay away from the disk selects on the respective half-spaces.
Apply the divergence theorem to the Poisson equation for Newtonian gravity across a narrow pillbox enclosing disk area. Writing the volume mass density as givesReflection symmetry makes . A superposition of the regular vacuum modes therefore satisfiesThe order-zero Hankel transform and its inversion now determine the Hankel representation of thin-disk gravity:The sign is fixed by the positive derivative of an attractive Newtonian gravitational potential above the disk. For ordinary finite disks the representation uses the isolated boundary condition, fixing any extra vacuum field or additive constant. Infinite scale-free disks require suitable regularization of the potential itself.
Equatorial circular orbit balance is . Using in the Hankel representation of thin-disk gravity givesDifferentiation under the integral is justified by convergence for regular models, or by first working off the disk and taking the limiting radial field.
Write . For the Mestel disk, the supplied Bessel function integral gives for . The circular speed is thenMeanwhile the interior mass is . ConsequentlyThe Mestel disk has a flat galaxy rotation curve, despite its nonspherical geometry.
Its infinite total mass prevents setting the Newtonian gravitational potential to zero at infinity. Indeed the integral for diverges at because . Subtracting the potential at a reference point removes this additive divergence. As an explicit check, the Mestel disk potential-density pair isIt is harmonic for , its vertical derivative jump is , and . Equivalently, an Abel regularization of an oscillatory integral with damping factor in the radial-field integral gives , which tends to one as . The force is well-defined although the unreferenced potential is not.
The equality with is special to the Mestel disk, not a thin-disk shell theorem. The spherical shell theorem normally makes that formula possible, but does not apply to an astrophysical disk. Exterior annuli exert outward radial gravitational acceleration inside their radii, while interior annuli do not act exactly as point masses at the origin. For this particular scale-free surface density, their combined contributions happen to produce the same result as the interior mass expression. Changing the radial surface density or truncating the disk generally destroys the equality: enclosed mass does not determine a disc rotation curve.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 59 4 Solution Created 2026-10-03 Updated 2026-10-14
Let and , with . In the centre of mass frame the two primary distances are and . Applying Newton's law of universal gravitation and circular centripetal acceleration to the first primary gives , and henceThe same result follows from the second primary or from the relative two-body equation of motion.
A rotating-frame equilibrium has zero rotating-frame velocity, so its Coriolis force vanishes. Above the orbital plane both primaries have downward gravitational components; below it both have upward components. The centrifugal force has no component. More explicitly,which vanishes only at for finite nonsingular points. Thus all equilibria lie in the orbital plane.
The equation of motion in a rotating frame for the dwarf isOn the orbital plane the centrifugal contribution is . Thus the rotating-frame effective potential is ; equilibria are exactly its stationary points. The Coriolis force affects motion about those equilibria but not their positions. This is the circular restricted three-body problem, with the dwarf treated as a test mass.
The printed energy unit has the wrong dimensions. The correct total energy unit is , or for specific energy; is an acceleration. Dividing by and measuring lengths in units of gives the dimensionless effective potentialThe primary coordinates are and . Restricting to gives andThe absolute values are essential; dropping them would reverse the attraction on the left of a primary. On each of the intervals separated by the two primaries, decreases strictly from to . There is exactly one Collinear Lagrange point on each interval, a maximum along the direction.
For the inner Lagrange point, write with . For the L2 Lagrange point, write . The respective equations areBalancing the leading terms gives . Therefore the small-mass-ratio collinear Lagrange points obeyThe omitted displacement of the secondary is smaller than the stated error. The leading distance from the secondary is the dimensionless Hill radius.
For the L3 Lagrange point put . It lies to the left of both primaries, soExpanding the two positive inverse-square factors gives and . Thus , soAll three have . The small- equalities in the paper are asymptotic expressions, not exact coordinates for finite mass ratio.
For the remaining Lagrange points, introduce plane polar coordinates about the first primary: , . Its distance to the second primary is , andThe angular stationary condition is . For an off-axis point and , so . The radial stationary condition becomesHence , and implies . The Triangular Lagrange points are exactlyBoth triangles are equilateral. The collinear and off-axis calculations together exhaust the stationary points.
For the requested sketch, tends to at either primary and at large in-plane radius. Each Collinear Lagrange point is a saddle of the planar effective potential: its curvature is negative and its curvature is positive. To see the latter, let , and . At an inner point both distances are below one, so . At an exterior stationary point, use barycentric positions , and weights : the equation implies . To the right, the weighted sum is positive because the positive primary is closer; to the left it is negative because the negative primary is closer. Thus there as well, and .
At either Triangular Lagrange point, the planar Hessian isIts trace is and determinant , so these are local maxima. Their height is . The sketch below uses a finite mass ratio to separate the five points clearly; its singular wells are clipped only for display. These curvature labels concern the effective potential, not a stability test that ignores the Coriolis force.
Rotating binary effective-potential surface and contours at mass fraction 0.10, with all five Lagrange points marked
. Details. Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 64 1 Solution Created 2026-10-03 Updated 2026-10-14
Put , and . To leading order the mean-motion resonance fixes . The specific angular momentum isThe asteroid's instantaneous angular speed is . Thus the high-eccentricity angular-speed crossover satisfies , givingHere , so a parabolic Kepler orbit gives the local motion accurately. Its polar equation is . Write . Since ,This is the outward crossing; the inward crossing has true anomaly modulo .
For the pericentre-to-crossover flight time use . The parabolic Kepler orbit has and , whence direct integration gives the Barker equationAt the crossover . Consequently the planet's angular displacement isThe error tends to zero as at fixed ; it includes the finite binding energy of the elliptic Kepler orbit as well as the subleading term in the Barker equation.
At the th pericentre passage the asteroid's unwrapped mean longitude is . The resonant argument therefore givesThus specifies the planet's direction relative to the asteroid's longitude of pericentre when the asteroid passes pericentre, with branches separated by . It is not the instantaneous true-longitude separation throughout the orbit. At high orbital eccentricity the asteroid quickly sweeps to a direction nearly opposite pericentre, while the planet scarcely moves. During the long outer excursion the asteroid's direction changes slowly and the planet advances substantially. This makes an astronomical conjunction during the outer excursion much more dangerous than an astronomical conjunction close to pericentre.
At the following apocentre, the planet has advanced . The asteroid's direction in the rotating reference frame is consequentlyThese apocentre directions are equally spaced. Phase protection of interior integer resonances places the planet in the largest gap between them, rather than at an apocentre direction. For , puts an apocentre toward the planet, whereas puts the apocentres at . For , puts an apocentre toward the planet, whereas puts the apocentres at . Hence the geometrically favored resonant-argument libration centres in this regime of high orbital eccentricity areThis is an encounter-avoidance argument for likely stability, not a calculation of a resonant Hamiltonian or a claim that every orbit near either centre is stable at arbitrary orbital eccentricity.
The following rotating-frame drawing uses , , and . It follows three successive Kepler orbits, which fill one planet orbital period and close the pattern. The blue segment is just the first outward half-orbit. The marked crossover is a maximum of its rotating-frame polar angle, since changes from positive to negative there. The planet stays at ; the three apocentres avoid that direction.
To estimate angular-momentum kicks to nearly radial orbits, note that , so an order-one fractional change in requires of order . A characteristic distant encounter at radii of order has tangential acceleration of order and duration of order . Its torque per unit asteroid mass therefore producesWith the most favorable coherent signs, the crude encounter count isOrder-one factors depend on and encounter geometry. Uncorrelated signs instead give a random walk count of order when this is large. A librating phase-protected orbit can suppress the kicks even further.
There is an important limit to calling this a minimum. The question does not specify an encounter impact parameter. For a weak close encounter with impact parameter and relative speed , the impulse estimate gives and hence , capped below by one. In the 2:1 case the Kepler orbit can cross the planet's orbit, so one suitably close encounter can suffice: there is no impact-parameter-independent large lower bound. For , bounds the separation below by , and supplies a geometric factor at fixed . The boxed count is the usual orbital-scale, maximally coherent estimate; the assumptions are essential.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 64 2 Solution Created 2026-10-03 Updated 2026-10-07
The central equation must be read as ; its printed left-hand expression lacks . Initially is constant. Dotting this equation with the velocity givesTaking its cross product with gives . In the fixed orbital plane the magnitude is . These are conservation of specific orbital energy and specific angular momentum.
Let . Differentiating the polar equation of the Kepler orbit, with its elements initially constant, givesSubstitution into the specific orbital energy yields
For isotropic stellar mass loss with no recoil or drag, the force is still central, so remains exactly constant, although does not. NowThe same algebraic relation between holds for the instantaneous osculating orbital elements. Differentiating it and using givesand, for ,A particularly useful nonsingular description uses the eccentricity vectorThe vector equation remains meaningful at a circular orbit, where a longitude of pericentre is undefined. Its components along and perpendicular to give the scalar formula above and
The osculating pericentre is . ThereforeFor mass loss, , this is nonnegative: pericentre does not decrease. It is positive except at pericentre itself, where and . Thus a strictly opposite sign at every instant is not literally true; a pericentre passage with nonzero mass-loss rate is a counterexample to the strict wording. The intended monotonicity follows exactly, without requiring slow mass loss.
For adiabatic orbital expansion under isotropic mass loss, average over the unperturbed Kepler orbit and hold constant to leading order during that orbit. If is the eccentric anomaly and , thenIt follows immediately thatAveraging with uniform true anomaly instead of uniform time would give the wrong result. Since , conserved and constant secular orbital eccentricity giveThe pericentre and apocentre expand in the same secular proportion. These are leading adiabatic invariants, rather than exact invariants for arbitrary time-dependent .
For the instantaneous precession fraction write and . The adiabatic apsidal condition is controlled byIt is a signed fraction: apsidal advance contributes positively on the outward leg during mass loss, and negatively on the inward leg. Let . Ordinary orbit averaging requires , together with negligible variation of the mass-loss law over one orbit. If the pericentre direction is also to vary negligibly relative to the instantaneous azimuthal motion, the maximum absolute fraction must be small. A precise condition for isThe maximizing cosine is : differentiating the last factor gives . Thus one can evaluate explicitly by putting into the formula. Its useful limits areFor orbital eccentricity of order unity, mass loss much slower than an orbital period suffices; near a circular orbit, keeping the pericentre direction slowly varying additionally requires . The latter divergence is a singularity of the pericentre coordinate, not a divergence of the eccentricity vector dynamics. Indeed, at frozen , integrating the scalar evolution to first order gives up to an integration constant. Its absolute amplitude stays small for slow mass loss even when the scalar longitude of pericentre becomes unsuitable.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 64 4 Solution Created 2026-10-03 Updated 2026-10-14
At each fixed semimajor axis, let and . The planet's longitude of pericentre is the zero of longitude. The secular perturbation equation becomes . Integrating it with the initial condition givesThe forced eccentricity vector is the constant real ; the free eccentricity vector is . Consequently the complex eccentricity follows a circle in the Argand plane centered at , with radius , starting at the origin and moving counterclockwise. Its initial velocity is downward, . The secular period is , andThe longitude of pericentre is undefined at the origin, but the complex eccentricity passes smoothly through it. At , and the orbit is maximally eccentric and aligned with the planet.
Using the small- Laplace coefficient expansion givesAlso to leading order in the planet-to-star mass ratio. The secular forcing by a distant outer planet is thereforeA relative correction to can accumulate a phase error at very long times; the leading-frequency formula is not a uniform-in-time expansion.
If with , then and . The outer planetesimal therefore has a slightly larger forced eccentricity circle and a shorter secular period. Its accumulated secular phase lead is . Initially both circles start at the origin, but their eccentricity vectors progressively lose alignment. Linearizing the exponential in additionally requires .
The orbit crossing is caused by this accumulating differential secular phase, even though individual orbital eccentricities remain small. To first order in orbital eccentricity, the radius of an orbit at fixed inertial longitude isFor an infinitesimally neighboring orbit,This derivative is evaluated within the first-order orbital-shape model; derivatives of the neglected quadratic terms give relative corrections near crossing. The least separation over longitude is consequently . The differential secular orbit-crossing criterion is . Since and ,The first term stays bounded by , whereas the second grows in proportion to time. To leading order in , crossing begins when . ThusMore precisely, in this first-order orbital-shape approximation the exact first crossing lies within a fractional window of this value, since the magnitude differs from by at most . Higher-order Laplace coefficients give additional corrections. The local derivation takes the neighboring-orbit limit before the long-time limit; for a finite separation it requires near crossing. A broad continuous disk contains such neighboring orbits. The crossings first appear in directions selected by the phase of , not simultaneously at every longitude.
For the collision energy estimate adopt the phase-averaged mean orbital eccentricity . The specified velocity estimate givesUsing the projectile kinetic energy per target mass convention for specific impact energy, equal-size and equal-density bodies have equal masses and . A catastrophic planetesimal collision requires , soThe numerical coefficient is only illustrative because the collision speed was specified only to order of magnitude. If the disruption threshold is instead defined using the centre of mass kinetic energy per combined mass, equal masses give and the coefficient becomes for a threshold expressed in that convention. The robust result is a lower bound of order .
Within the inner-disk approximation, catastrophic collisions require sufficiently large , not arbitrarily small radii. Although the Keplerian speed rises inward, the secularly induced orbital eccentricity falls faster: . The lower bound must be much smaller than one to leave a domain compatible with . A small planet orbital eccentricity, a large disruption threshold, or a distant planet can eliminate that domain. The planet mass controls the time to crossing but cancels from the eventual forced eccentricity amplitude and this collision-energy criterion. The threshold alone does not ensure that crossing has occurred within the disk's available lifetime.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 47 1 i Solution Created 2026-10-03 Updated 2026-10-07
With zero seed, both Bäcklund transformation equations concern . On a nonconstant branch, separation of variables uses , givingFor , absorb its magnitude into an additive constant in the exponent. A convenient smooth representative isThe constant-phase condition for this traveling profile determines its velocity:The profile is a traveling soliton with velocity , strictly between and . The scalar-field vacua on the two sides differ by . With the topological charge convention , this branch has : it is a Sine-Gordon kink for and an antikink for . Its width is proportional to , and its derivative decays exponentially away from its center, giving a finite-energy field configuration.
For completeness, the classical rest mass in this paper's coupling convention is , as derived in Question 2; a Lorentz boost gives energy . This localized, topologically protected traveling field is the required classical field-theory soliton. A negative reverses the field and hence the topological charge; gives the vacuum rather than a soliton. Vacuum shifts by can be made without changing the displayed Bäcklund transformation equations.





