Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 51 4 Solution Created 2026-10-03 Updated 2026-10-07
Canonical mode mixing and its inverse. Treat annihilation operators as column vectors and keep complex conjugation, transpose and Hermitian adjoint distinct. Computing the canonical commutation relations for givesConsequently the required conditions areFor complete invertible mode mixing, putThe canonical identities for a bosonic Bogoliubov transformation are , giving . Its upper blocks yieldEquivalently, the column identities are and . In finite dimension invertibility follows from the canonical matrix identity. In infinitely many modes, the row identities alone need not give a complete inverse: preserves them but discards one mode. Here completeness of the two field-mode expansions supplies the needed invertible transformation.
Obtaining coefficients from the modes. Use the Klein-Gordon inner product, antilinear in its first argument,The normalized positive-frequency solutions satisfy , and . Current conservation makes this product independent of the Cauchy hypersurface when boundary flux vanishes. Taking the product of the field with a mode gives and henceWith this operator convention, the corresponding mode expansion isThe minus sign comes from the negative norm of conjugate modes. Using a different convention for mode coefficients can move this sign and the complex conjugates; the operator formula fixes them unambiguously here.
Particle count. In the in-vacuum, only the contraction survives. ThereforeThis is particle number from Bogoliubov coefficients: the old vacuum contains that expected number of particles in the new mode . Nonzero negative-frequency mixing is the source of particle production. For continuum modes one uses normalized wave packets and replaces the sum by the corresponding integral.
The squeezed-state relation. First use finitely many modes, or an implementable infinite-mode limit. SeekThe canonical commutation relations giveAll further nested commutators vanish since contains only creation operators. ThusThe old annihilation conditions hold exactly whenThe inverse transformation's canonical identity shows , so the required symmetry is automatic. Also givesHence the singular values of are less than one. The Autonne-Takagi factorization changes to independent canonical oscillators. For each factor, the squared norm of is the even-occupation seriesMultiplying these norms gives the finite-mode normalizationThe phase of is arbitrary. The resulting multimode squeezed vacuum is annihilated by all old annihilation operators, so uniqueness of the normalized Fock vacuum identifies it with .
The PDF's squeezed-vacuum claim needs qualification for infinitely many modes. Bosonic mode mixing implementability requires to be a Hilbert-Schmidt operator, , for a common ordinary bosonic Fock space. For a counterexample, take and on countably many modes with fixed . The algebraic canonical conditions hold, but and the finite- normalization is . Every mode has a fixed positive probability of nonzero occupation in the required product state; the probability that all but finitely many modes are empty is zero. Ordinary Fock space vectors instead have total occupation finite with probability one, even if their expected occupation is infinite. Thus there is no nonzero common-Fock-space vector of the prescribed form. The squeezed expression is a normalizable vacuum relation with a finite-mode regulator or the implementability condition, not solely from the commutator identities.
Black-hole radiation. In a collapse spacetime, choose early positive-frequency solutions with respect to affine incoming time on past null infinity, and late outgoing modes proportional to on future null infinity. The early state is their in-vacuum. The Hawking exponential ray map hasfor late outgoing rays, with . Tracing a late mode backwards therefore gives a profile proportional toIt is not a pure positive-frequency incoming wave, so the Bogoliubov transformation has nonzero .
To see the thermal factor, put and . The positive- and negative-frequency Fourier pieces have, apart from common normalization and phases, the regulated integralsAs , the positive-frequency piece has squared-modulus factor and the negative-frequency piece has . Consequently the thermal ratio of Hawking Bogoliubov coefficients isFor a normalized narrow-frequency outgoing wave packet, combine this ratio with . The occupation is the Bose-Einstein distributionThe Hawking temperature is thus the same one found by Euclidean regularity. For Schwarzschild, gives in natural units. Propagation through the exterior potential multiplies the asymptotic occupation by the greybody factor .
The outgoing radiation has partner-mode correlations across the horizon: the total state can be pure while the reduced outgoing state is thermal. A complete mode basis must include modes entering the horizon as well as those reaching infinity. The particle statement is made for normalized packets and finite observation intervals; idealized infinite-duration emission need not define the two vacua in one global Fock space. This explains both the squeezed-state structure and the physically measurable Hawking radiation.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 75 2 d Solution Created 2026-10-03 Updated 2026-10-07
Use bosonic Bogoliubov diagonalization with , . Away from the zero modes, letHere preserves the canonical commutation relations, while the sign of cancels anomalous pairing. In hyperbolic notation , , this condition is . Combining the normal ordering constants givesThe dispersion vanishes linearly near and , with spin-wave velocity in unit lattice spacing. The exact zero modes make the Bogoliubov coefficients singular; use a small infrared regulator or a symmetry-selected reference and treat the global rotations separately. A finite transformation at is not asserted.
On a hypercubic lattice of coordination , the same hypercubic antiferromagnetic spin-wave dispersion usesThe corresponding constant is , and near a Goldstone point. Restoring lattice spacing multiplies this velocity by .
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 40 4 Solution Created 2026-10-03 Updated 2026-10-06
For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator areThe Euler-Lagrange field equation is , or . Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:The Heisenberg equation of motion then gives and , so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.
Resolve the free field into positive- and negative-frequency plane waves. With and ,Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent toFor example, the two mixed terms in each supply half the Dirac delta function. Thus the normalization is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with and its annihilation operator and creation operator.
Choose the Fock vacuum by . Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yieldswhere a finite volume can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator isIn particular, and . A one-particle state therefore has positive energy, momentum , and invariant mass . A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.
A momentum eigenstate extends throughout space. A localized particle is described by a superposition such asIts wave packet evolves through the phase ; a narrow packet has group velocity , whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.
Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so for spacelike . Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator iswhich propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.
Finally, commuting creation operators implyThe multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are with : any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.
The quantized real scalar field describes positive-energy, mass-, spin-zero bosons that are their own antiparticles; commuting creation operators give Bose statistics, and local field commutators enforce microcausality.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 46 3 Solution Created 2026-10-03 Updated 2026-10-06
For the relativistic particle phase-space action, the first-class constraint generatesIndeed the integrand varies by . The canonical gauge transformation is an invariance when the gauge parameter vanishes at fixed temporal endpoints, or when all fields and the parameter are periodic. The boundary restriction matters for the proper-time modulus.
Normalize the worldline interval to . Thenis invariant because . Every allowed in its orbit can be written : set . Thus remains a gauge-invariant integration variable, not another removable nonconstant mode. For a worldline circle the constant gauge parameter is a residual zero mode. Without the endpoint restriction, the assertion that is invariant would not hold.
The worldline gauge-orbit determinant is the Jacobian from gauge-orbit coordinates to the nonconstant part of is the Faddeev-Popov determinant of . Equivalently, the gauge-fixing identity has the formThe determinant is taken between the appropriate boundary-condition spaces, with the modulus removed; on a circle the prime also removes the constant parameter. Gauge fixing therefore leaves a factor and a modulus measure, after division by any residual gauge volume. Even though this determinant is field independent in the present Abelian example, it is the required change-of-variables Jacobian. A Grassmann integral over the Faddeev-Popov ghosts exponentiates it:The overall determinant phase depends on the integration convention and can be absorbed into normalization. Zero modes and the same endpoint restrictions must be treated separately rather than included in an invertible determinant.
For the free-ended open string, take . A canonical cosine expansion at a fixed time isIt implements the Neumann boundary conditions and has . With , its Nambu-Goto phase-space action, up to a total time derivative, isReality requires . Numerical factors can be absorbed into these Lagrange multipliers. In this covariant quantization of the bosonic string the oscillators retain all spacetime components, in contrast to the transverse oscillators in the preceding solution. The canonical commutation relations areThe oscillator vacuum is annihilated by for . Its momentum label will sometimes be suppressed.
Define the matter Virasoro algebra generators using normal ordering:No additive intercept is included in this definition of . For the indices of the two factors in each term add to ; they cannot both be negative. After normal ordering there is a positive-mode annihilation operator on the right, possibly accompanied by the zero mode. Hence for every . In , commuting positive modes past negative modes formally adds . This divergent constant needs a prescription, and a finite shift is an ordering ambiguity. Our convention instead puts the physical string intercept into the constraint .
With this convention the matter Virasoro algebra isA different additive constant in would change the linear-in- central term, so stating the convention is essential.
For the worldsheet ghost fields, useand choose a ghost oscillator vacuum withThen since . This choice specifies the ghost zero-mode doublet; it is not a claim that both zero modes annihilate one state. With the printed ghost Virasoro zero-mode convention, and for . The latter follows by putting positive ghost modes on the right; a possible contraction requires and is absent here.
Apply the supplied BRST charge to the matter state times this ghost oscillator vacuum. Terms with a rightmost , , vanish, as do the positive-mode ghost generators. ThusThese one-ghost states are independent, as can also be seen by applying . Therefore the BRST physical-state constraints of an open string areFor the matter oscillator vacuum, , so and : the physical ground state is a tachyon. The momentum must satisfy this equation; the zero-momentum oscillator vacuum by itself would not be BRST-closed.
Matter and ghost generators commute with one another. Add their two algebras and write . The given ghost constant must be retained:Define the shifted generators . ThenBRST nilpotence requires cancellation of the anomalous central term in this shifted constraint algebra, together with the intercept one already present in the charge. At the remaining anomalous coefficient is , so . At this value the shifted total generators obey the Witt algebra. The unshifted still have the displayed linear zero-mode shift; it must not be silently discarded.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-06
The quantum harmonic oscillator has , with . Using and the canonical commutation relation givesFor , the Wronskian normalization isConsequentlyEquality requires and . The minimum-energy normalized oscillator mode is thereforeThe constant phase is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.
For inflation, introduce the Mukhanov-Sasaki variable . Since depends only on conformal time,Integrating the cross term by parts gives the canonical bulk actionup to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform areAt leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , soStrict exact de Sitter spacetime would have and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into .
For , the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency . The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.
A basis of exact solutions to the leading mode equation is and its complex conjugate. Write the normalized Bogoliubov transformation combination asThe Bunch-Davies vacuum boundary condition sets and up to phase. HenceSubstitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation varianceThis is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is , which is independent of at this order. Restoring the reduced Planck mass divides both power expressions by . Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 52 4 a Solution Created 2026-10-03 Updated 2026-10-06
Fix a classical globally hyperbolic spacetime with metric signature ; in this solution take . A free real Klein-Gordon field can be specified bywhere is its mass, its curvature coupling and the scalar curvature. Global hyperbolicity ensures a well-posed initial-value problem on a Cauchy hypersurface and the existence of retarded and advanced propagators. Thus compactly supported field and normal-derivative data determine a classical solution. This fixes the dynamics, but not a Fock vacuum.
For real solutions with suitable support or falloff, the symplectic form on scalar-field solutions iswith the future unit normal. The field equation makes the current conserved, so this symplectic form is independent of when boundary flux vanishes. Quantize the initial data by the canonical commutation relation: with and the delta function defined relative to , and the two equal-field commutators vanish. Equivalently, construct the field algebra using the causal propagator. A state on that algebra is additional input.
To construct a particle representation, complexify the classical solution space. Its conserved Klein-Gordon inner product isIt is indefinite on all complex solutions. Choose a complete positive-norm subspace and an orthonormal mode basis with , and . Such a choice is encoded by a compatible complex structure on the Klein-Gordon solution space. Its positive subspace gives the one-particle Hilbert space, and the associated bosonic Fock space contains symmetrized many-particle states. The field expansion isThe creation operator adds a particle in mode , the annihilation operator removes one, and the number operator is . For continuous mode labels the sums and Kronecker deltas become integrals and delta functions, or one can work with normalized wave packets.
The ambiguity is precisely that the field equation and global hyperbolicity do not select that positive subspace. A different normalized basis may mix and by a Bogoliubov transformation, and then its annihilation operators mix and . Its Fock vacuum and number operators differ. The Hadamard condition constrains physically acceptable short-distance singularities and allows local renormalization, but it still leaves many states. Hence there is generally no observer-independent particle count on an arbitrary dynamical geometry.
In a stable strictly stationary spacetime, a globally future timelike Killing vector field gives a preferred time translation. Fix its normalization and suitable boundary conditions, and choose positive-frequency solutions satisfying with . The corresponding positive spectral subspace gives the preferred vacuum state in a stationary spacetime. Unitary changes of basis within it leave the vacuum and the particle notion unchanged. This construction assumes a well-defined positive stationary generator; stationarity by itself is insufficient if becomes spacelike, as in a Kerr ergoregion, or if unstable or zero modes obstruct the ground-state construction. It selects a preferred ground state under the stated assumptions, not a unique state among all thermal and excited states.
If the geometry is suitably stationary in the asymptotic past and future, choose those preferred mode spaces separately, giving the in-vacuum and out-vacuum. Propagate the past modes through the intervening region using the field equation and compare them to the future modes using the conserved Klein-Gordon inner product. Adopt the conventionThe canonical identities for a bosonic Bogoliubov transformation read and . Extracting the future annihilation operator with the same inner product givesIn the in-vacuum, only contributes to . Therefore the particle number from Bogoliubov coefficients isNonzero is the production of future particles from the past vacuum. Summing over future modes gives the total expected particle number when that sum is finite. For infinitely many modes, a Hilbert-Schmidt operator is the condition for unitary implementability between these pure bosonic Fock space representations; finite-volume or wave-packet calculations must respect the relevant measures and convergence. Particle production is determined by the negative-frequency mixing, rather than by identifying a single instantaneous vacuum throughout the time-dependent region.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 81 2 b Solution Created 2026-10-03 Updated 2026-10-07
Put and , and assume the homogeneous condensate is stable, so for nonzero modes. A real Bogoliubov transformation isThe canonical condition preserves the bosonic canonical commutation relations. Cancellation of pair terms requires . ThereforeThe sign of follows that of . Normal ordering the transformed operators gives the bosonic Bogoliubov zero-point shift:Rearranging the last two terms is exactly the requested form. Each momentum appears in the sums, so opposite-momentum pairs are not counted again separately.
The Bogoliubov quasiparticle dispersion is linear at low momentum when :It is a gapless phonon of the condensate, unlike the free-particle quadratic spectrum. For a contact repulsion , the healing length controls crossover to the particle regime . A momentum-dependent potential can modify the higher-energy curve; the sketch uses the contact case and does not assume every interaction has that entire shape.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 43 1 Solution Created 2026-10-03 Updated 2026-10-06
Use natural units and the Minkowski metric . A real scalar field assigns a real variable to each spatial point. Its Lagrangian density can be taken to beThe principle of stationary action gives the Euler-Lagrange equation . With , this is the Klein-Gordon equation. An additional nonlinear part of describes interactions.
The canonical momentum is . The Legendre transform in mechanics gives the canonical Hamiltonian density of a real scalar fieldThe Hamiltonian equations and recover the same field equation. In canonical quantization, the fields become operators satisfying the equal-time canonical commutation relationsA spatial lattice makes the analogy with many coupled quantum-mechanical coordinates precise. Each lattice field value is a coordinate, with its own conjugate momentum. The path integral is another representation of the same quantum evolution.
To see its origin, first consider one coordinate with . Split a time interval into steps of length and insert position and momentum resolutions of the identity. The short-time kernel isMultiplying the kernels and integrating over intermediate positions gives the phase-space path integralThe endpoints of are fixed. The momentum integrals are Gaussian integrals; completing the square produces the configuration-space path integralAt finite slicing its normalization contains . This fixes the composition law and the initial delta-function kernel. One sums over all paths, not merely solutions of the classical equation. Restoring replaces the weight by ; stationary phase explains the emergence of classical trajectories.
For the field, use scalar field configuration eigenstates , satisfying . Insert their completeness relations on every time slice. This givesThe endpoint field configurations are fixed. Integrating the Gaussian momentum variables leaves the scalar field path integral . The functional measure means a regulated product over the field variables. A spacetime lattice or another ultraviolet cutoff makes this product finite before the continuum limit; interacting continuum calculations may require renormalization. The oscillatory Minkowski weight is an amplitude, not a positive probability density.
For vacuum expectation values, the boundaries must select the vacuum rather than arbitrary field configurations. Long imaginary-time evolution suppresses excited states: , so after normalization only the lowest-energy component remains as . This is vacuum projection by imaginary time. The corresponding Feynman i-epsilon prescription in the real-time integral specifies the vacuum boundary conditions and the poles of the propagator. With , the Euclidean path integral has the weight , whereIt is often a useful regulated starting point; analytic continuation returns the vacuum time-ordered quantities.
Introduce a classical source and define the normalized vacuum generating functionalwith the same vacuum prescription in numerator and denominator. A functional derivative brings down . The order of the time slices makes the operator insertion time-ordered. Thus source differentiation inserts time-ordered field operators:The denominator removes vacuum diagrams and gives normalized expectation values. It is essential that these are time-ordered products; differentiating this vacuum functional does not directly give every possible operator ordering.
The free theory illustrates the method. Its quadratic kernel is with the vacuum pole prescription, and completing the square gives the Gaussian evaluation of a free scalar generating functionalTwo source derivatives give . Higher derivatives give all pairings, the content of Wick theorem. For an interaction , one may use path-integral perturbation by source derivatives:Expanding this expression generates Feynman diagrams and their Wick contractions. The connected generating functional retains connected contributions; in particular . These functionals turn the computation of field-operator expectations into source differentiation of an ordinary regulated integral.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 54 4 b Solution Created 2026-10-03 Updated 2026-10-06
Quantize the real massless scalar field using the normalized in-modes:Use the Klein-Gordon inner product convention that is antilinear in its first argument. Mode normalization givesThe out annihilation operator is . Applying the Bogoliubov transformation and the negative norm of conjugate modes givesBoth the complex conjugation and the minus sign follow from the inner-product convention. These operators annihilate the out-vacuum, but need not annihilate the in-vacuum. The particle number operator in out-mode is . In the in-vacuum, the only nonzero contraction is , obtained from the canonical commutation relation. ThusThis is particle number from Bogoliubov coefficients: mixing with negative-frequency in-modes produces out-particles even though no in-particles were present. For continuous mode labels the sum becomes an integral; normalized wave packets make an individual occupation number well-defined. No explicit collapse geometry or thermal spectrum is needed for this conclusion.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 81 1 c Solution Created 2026-10-03 Updated 2026-10-06
Use the Holstein–Primakoff transformation on the physical occupation number subspace . With the canonical commutation relation , the ordered square root givesBoth endpoints are respected: and . Consequently,Since these Fock states form a basis of the physical spin space, there. Similarly . The Holstein–Primakoff occupation constraint is essential: unrestricted bosonic occupation would not represent a spin- Hilbert space.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 81 1 e Solution Created 2026-10-03 Updated 2026-10-06
Apply a discrete Fourier transform, with lattice spacing one:The wavevectors lie in a Brillouin zone, which we choose as . Pairing with makes the quadratic HamiltonianA bosonic Bogoliubov diagonalization uses . The canonical commutation relations hold because . The anomalous terms vanish when , givingNear and , the dispersion relation is linear: . These are the low-energy antiferromagnetic spin waves; the two zeroes are related by the two-sublattice description. The transformation is singular at the exact zero modes, which require an infrared regulator or separate treatment of the collective rotation.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 6B b Solution Created 2026-09-24 Updated 2026-10-06
Use the canonical commutation relations and . For compactness write products without hats in the calculation, on a common domain such as smooth compactly supported wavefunctions. Expanding the commutator givesThe middle two commutators vanish because all the relevant indices differ. The first is , since ; the last is , since . ThusThis is one of the orbital angular momentum commutation relations.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 301 3 Solution Created 2026-10-03 Updated 2026-10-06
Use and . The free real scalar field has actionThe canonical momentum is , and the Hamiltonian operator is obtained by the Legendre transform of the density:Canonical quantization promotes and to Hermitian operator-valued fields and imposes the equal-time canonical commutation relationsTheir Heisenberg equation of motion gives , , hence the Klein-Gordon equation .
Let and . The Hermitian field mode expansion isThe scalar field oscillator inversion extractsand its adjoint obtained by Hermitian conjugation extracts . Substitute these expressions into the equal-time canonical commutation relation. The two mixed field-momentum terms giveFor , the corresponding coefficient is a difference of those square roots and multiplies ; it vanishes because . Taking the adjoint gives . Thus these are bosonic annihilation operators and creation operators. The vacuum satisfies , and normal ordering gives , after removing the constant zero-point energy. A one-particle excitation has energy and spin zero.
The Feynman propagator is the vacuum expectation value of the time-ordered product of two field insertions. For , the field at creates a one-particle excitation from the vacuum and the field at annihilates it; the opposite time ordering reverses the roles. It is a propagation amplitude and correlation function of vacuum fluctuations, rather than a transition probability. From the oscillator expansion, only the - contraction survives, so with and ,Here is the Heaviside step function, and changing to in the second term gives the last line.
For the Fourier transform convention , insert a positive damping factor and integrate the positive and negative half-lines separately:The last equality is a distribution identity; the infinitesimals in the partial fractions need not have the same finite magnitude as the infinitesimal in the combined denominator. The Feynman i-epsilon prescription means that the positive-frequency pole is just below the real energy axis and the negative-frequency pole is just above it. Closing the contour integral below for , and above for , reproduces the oscillator result by the residue theorem. This prescription fixes which homogeneous solutions are added to the Green function. As an independent normalization check, has derivative jump at , soIt is the expectation-value convention for , including the numerator , that determines this source normalization.
The vacuum is a centered free Gaussian state. The Wick theorem expresses the four-field time-ordered product as the sum of all pair Wick contractions plus terms containing a normal-ordered product. The latter terms have zero vacuum expectation value. There are exactly three complete pairings, with no fermionic signs for this bosonic field. Thus the free scalar four-point function isThese formulas describe canonical quantization of a real scalar field; in particular, a real scalar field uses a single oscillator family rather than independent charged-particle and antiparticle families.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 310 4 c Solution Created 2026-10-03 Updated 2026-10-06
Evaluate the field variance in the zero-occupation Fock vacuum, , with . The canonical commutation relation alone does not specify a quantum state; this vacuum assumption is needed for the requested expression without occupation factors. In the Heisenberg picture, use the position-space mode expansion of a free fieldThis is the position-space form of the shorthand oscillator expansion in the question; equivalently its Fourier operator uses the creation operator with opposite wavevector. The annihilation operators give , while all other vacuum pairings vanish. The mean field fluctuation is zero, so the two-point function is its coincident-point vacuum field variance. Assuming spatial isotropy, angular integration gives the variance per logarithmic wavenumber interval:Here the dimensionless power spectrum is denoted , as in the question, rather than the alternative notation . A coincident vacuum field product needs smearing or ultraviolet regulation: the unregulated full vacuum variance is generally divergent. With a specified finite wavenumber band, the same expression holds with those integration limits. This does not affect the mode-by-mode dimensionless power spectrum.
For the leading nonzero slower branch, put and . Since the physical fluctuation is , its dimensionless power spectrum isFor a -independent coefficient , this is a blue spectral tilt, because in the specified mass range. At fixed it decays as , consistently with the field-amplitude decay found above.
To include the other branch explicitly, the general superhorizon expression isIf , it approaches the displayed target spectrum with . A pure faster classical branch would instead have power proportional to . For a normalized quantum mode, however, the Wronskian normalization requires both independent real solutions; its slower coefficient cannot vanish. Thus the target is the leading superhorizon quantum spectrum, while the faster classical solution remains part of the complete mode analysis.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 311 4 b Solution Created 2026-10-03 Updated 2026-10-06
Consider a real Klein-Gordon field on a prescribed globally hyperbolic spacetime, obeying with metric signature . A curvature coupling can be included as . A Cauchy hypersurface and compactly supported smooth data determine a unique solution; appropriate falloff can replace compact support. The real solution space has conserved symplectic formConservation follows by integrating the divergence-free current , with no boundary flux. On complex solutions the conserved Klein-Gordon inner product isIt is indefinite on the full complex solution space.
Choose a complete positive-norm mode subspace, with modes satisfyingEquivalently choose a compatible complex structure on the Klein-Gordon solution space. The mode labels may be continuous, in which case sums and Kronecker symbols become integrals and Dirac delta functions. Construct the one-particle Hilbert space from these modes and its bosonic Fock space. Promote the field to the operator-valued distributionFor a foliation with spatial metric determinant , the conjugate momentum density is . Mode completeness gives the equal-time canonical commutation relationsThe Fock vacuum obeys , and counts particles in the chosen mode. For local products and a renormalized stress-energy tensor, physically admissible states are further restricted by the Hadamard condition. The field algebra exists without a preferred Fock vacuum.
A different admissible mode splitting can mix positive and negative norms:Orthonormality imposes the canonical identities for a bosonic Bogoliubov transformationThe same field then hasWithout a preferred notion of positive frequency, a nonstationary spacetime supplies no distinguished mode splitting: particle number and vacuum depend on the choice of modes, although the field equation and field algebra do not. With infinitely many modes the Bogoliubov transformation need not be unitarily implementable; finite total mixing requires a Hilbert-Schmidt operator .
For a stable strictly stationary spacetime, a chosen future globally timelike Killing vector field gives a preferred time translation. Choose modes withWhen the corresponding conserved Killing energy is positive and the spectral problem has suitable boundary conditions and no problematic zero modes, this gives the preferred vacuum state in a stationary spacetime and particles relative to . Positive-frequency mode mixing within that same subspace leaves the Fock vacuum unchanged. Rescaling by a positive constant changes the frequency units but not their sign.
Stationarity alone, if it only means a Killing field timelike near infinity, is insufficient for a global unique particle interpretation. In the Kerr ergoregion, is spacelike, so positive frequency relative to does not automatically select a positive-norm subspace throughout the geometry; superradiance illustrates the difficulty. Additional vacuum and boundary choices remain necessary. The customary stationary answer therefore assumes a suitable timelike stationary flow and a stable positive-energy quantization; it does not assert that every stationary black-hole extension has one globally preferred vacuum.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 3 16B b Solution Created 2026-09-24 Updated 2026-10-05
Take a normalized state for which the indicated variances and operator pairings exist. Set and . For real , positivity of the squared norm givesThe canonical commutation relations yield . Thus the quadratic polynomial in is nonnegative everywhere only if its discriminant is nonpositive. This gives the Robertson uncertainty principleIf either variance is zero, the same polynomial argument forces the commutator expectation to vanish, so that edge case is included. Centering the operators is essential to obtain variances rather than uncentered second moments.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 301 1 c Solution Created 2026-10-03 Updated 2026-10-05
Use the supplied oscillator expansion, with the boundary-term convention for momentum stated in part (b). Use a real polarization vector basis, as in the supplied unconjugated polarization completeness relation. Raise its second field index to obtainThe mixed commutator contains only the annihilation-creation and creation-annihilation terms. Their signs are both positive after combining the minus sign in the momentum expansion with the negative Minkowski metric oscillator commutator. Setting and using the momentum Dirac delta distribution givesHere the last equality is the Fourier representation of the Dirac delta function. Similarly,because the integrand is odd under . The momentum-momentum commutator is proportional to the same odd difference, now weighted by , and also vanishes. Therefore the equal-time canonical commutation relations areThese are identities of operator-valued distributions, understood after smearing. The extra indices in the TeX polarization relation are transcription defects; the PDF has the ordinary two-polarization completeness contraction used above. The direct momenta of part (b) also satisfy the canonical commutation relations after their boundary-generated shift, although they do not have the unmodified mode expansion printed here.
