Black-hole evaporation Created 2026-10-06 Updated 2026-10-14
Black-hole evaporation is mass loss through Hawking radiation. For a large isolated Schwarzschild black hole, the leading mass dependence is and the evaporation timescale is proportional to . This semiclassical scaling cannot determine the endpoint when the curvature reaches quantum-gravitational scales.
Black hole information paradox Created 2026-09-28 Updated 2026-10-06
The black hole information paradox is the apparent conflict between unitary quantum evolution and the semiclassical prediction that complete black-hole evaporation leaves only thermal Hawking radiation. A resolution must explain how information is preserved or why one of the assumptions behind the conflict fails.
Greybody factor 2026-10-06
For a Schwarzschild black hole, a greybody factor is a mode's transmission probability through the exterior scattering potential. The spectrum of Hawking radiation at future null infinity is the thermal horizon occupation multiplied by this factor, with a sum over angular modes.
Kerr-Newman horizon temperature 2026-10-14
The outer-horizon surface gravity is . Hawking radiation or nondegenerate Euclidean black-hole regularity condition gives in units . The zero-temperature extremal value is the nonextremal limit; conical regularity alone does not fix a Euclidean period at a degenerate horizon.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 69 1 Solution Created 2026-10-03 Updated 2026-10-14
Use and normalize the stationary time at infinity. For a regular stationary, asymptotically flat electrovacuum black hole, the Kerr-Newman metric hasInitially assume and , so the outer Killing horizon is nondegenerate. Its surface gravity, angular velocity, electric potential and area areThese are horizon quantities for the generator .
The laws of black-hole mechanics provide the first reason to regard and area as thermodynamic variables. The Zeroth law of black-hole mechanics makes constant on an equilibrium horizon. The first law for the Kerr-Newman family readsFor example, write the horizon relation as and use ; differentiating eliminates and to give this law. The last two terms are rotational and electric work. The classical second law of black-hole mechanics says that area cannot decrease under the null energy condition and appropriate global horizon assumptions. The third law of black-hole mechanics concerns unattainability of a zero-surface-gravity regular horizon by a finite physical process.
This analogy alone does not determine the temperature scale: if entropy were , the first law would only give . The decisive input is quantum field theory in the collapsing or stationary background. In a collapse vacuum that is regular for freely falling observers, the late outgoing retarded time and a regular affine null coordinate satisfy the Hawking exponential ray mapAn outgoing mode therefore behaves as . Continuing this power through the horizon changes its amplitude by the factor . Its positive- and negative-frequency decomposition consequently has the thermal ratio of Hawking Bogoliubov coefficientsCombining that ratio with bosonic normalization gives a Planck occupation . The fermionic normalization instead gives the corresponding Fermi factor. Thus Hawking radiation fixesFor rotating charged modes, the horizon energy is , so the emission spectrum contains the same temperature with angular-momentum and charge chemical potentials. Exterior scattering supplies greybody factors; it changes the received flux, not the horizon temperature. Superradiant bosonic modes require the usual signed absorption factor, and a globally regular thermal bath need not exist throughout an asymptotically flat rotating exterior. The collapse-state emission argument is the relevant one.
A complementary check is the Euclidean black-hole regularity condition. The local corotating nondegenerate horizon geometry is Rindler-like:Smoothness at requires to have period . Imaginary-time periodicity is precisely inverse temperature, agreeing with the radiation calculation. Matching the resulting temperature to the first law fixes the Bekenstein-Hawking entropy to . The generalized second law then uses : the classical area theorem alone does not apply to the negative-energy quantum flux responsible for evaporation.
Substitution gives the Kerr-Newman horizon temperatureIt reduces to for a Schwarzschild black hole. The nonextremal limit towards gives zero temperature. At exact extremality the Euclidean horizon is degenerate, so the elementary conical-period argument does not itself fix a period; zero temperature here is the limiting semiclassical result. The reasoning assumes ordinary Einstein–Maxwell dynamics, a regular horizon, the stated normalization at infinity and a regime where quantum fields on a slowly evolving classical geometry are a useful approximation. The mechanical laws, radiation spectrum and Euclidean regularity agree under these assumptions, which is substantially stronger evidence than the classical analogy alone.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 69 4 Solution Created 2026-10-03 Updated 2026-10-14
Assume an asymptotically flat Reissner-Nordstrom spacetime, with , time normalized at infinity, and . PutNear , the Euclidean radial-time metric is . With , it becomesThe Euclidean black-hole regularity condition removes a conical defect only if has period . Therefore the Reissner-Nordstrom Hawking temperature isEquivalently this is the Reissner-Nordstrom horizon surface gravity divided by . The derivation assumes a nondegenerate horizon; the value zero at is obtained by the nonextremal limit, not by imposing conical regularity directly on the degenerate geometry.
For fixed nonzero , write . The horizon equation givesThe mass is increasing with , andThus the fixed-charge Reissner-Nordstrom temperature maximum occurs atThe curve starts at zero at , rises to this maximum, then falls as for large mass. During evaporation from , the mass moves from right to left: the temperature initially increases, reaches its maximum, and then decreases towards zero.
Reissner-Nordstrom temperature at fixed charge, its maximum and the evaporation direction
. Details. Under the printed thermal-emission cutoff, charged emission is absent throughout precisely when the entire mass path remains at or below the threshold:Equality is allowed because emission is assumed to require , not merely . The initial large mass ensures that the path includes the maximum.
With charge then conserved, neutral Hawking radiation lowers the mass until the system approaches the charge-preserving Reissner-Nordstrom evaporation endpoint:The limiting state is an extremal black hole, rather than a neutral zero-mass endpoint. Exact attainment in finite time is not established: near extremality , and the ideal radiation rate tends to zero. The conclusion is within the assumed thermal cutoff model, which omits nonthermal charge creation and other quantum corrections. For , the Schwarzschild temperature instead grows without bound in the extrapolated model, so no finite satisfies the stated all-the-way temperature bound.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 73 1 Solution Created 2026-10-03 Updated 2026-10-14
In a globally static region, choose the time coordinate along the future timelike Killing vector field . A positive-frequency solution of the Klein-Gordon equation has , with . Assume appropriate boundary conditions and a Cauchy surface so that the conserved Klein-Gordon inner product isFor a real scalar, take the negative-frequency modes to be . Choose a complete normalized basis withThe negative norm of the conjugate modes is crucial; this is not a positive-definite inner product on all classical solutions.
Promote the real Klein-Gordon field to the operatorThese canonical commutation relations implement the canonical field and conjugate-momentum commutator. The static vacuum state in a stationary spacetime satisfies , and the Hamiltonian is a sum of oscillators, before zero-point regularization. Continuous labels replace sums by correctly normalized integrals. For a complex charged scalar there are separate particle and antiparticle oscillators, with the same mode-mixing argument in each sector.
Choose independently normalized past and future bases, and use the matrix indices of the question. Complex conjugation of the future positive-frequency expansion immediately givesConservation of the Klein-Gordon inner product gives and in this column-index convention. These ensure preservation of the canonical commutation relations.
Let annihilate past modes and annihilate future modes. Extracting the future coefficient from the field gives the Bogoliubov transformationThe minus sign follows from . In the in-vacuum, only contributes to the expectation of the future number operator. ThereforeThis is particle number from Bogoliubov coefficients: the intervening time-dependent geometry makes a past positive-frequency mode contain a future negative-frequency component. In infinite volume, localized wave packets avoid delta-function normalization artifacts; a common Fock-space implementation needs the usual square-summability condition on the creation-mixing coefficients.
For gravitational collapse, the initial vacuum can be defined before the hole forms, while late outgoing modes are defined using the asymptotic stationary time at future null infinity. The complete future basis also includes modes falling through the event horizon; exterior outgoing modes alone are not a complete basis of all propagated data. Tracing an outgoing mode backwards near a nonextremal horizon gives the exponential ray relation , where is late retarded time and is the surface gravity. An outgoing factor becomes proportional to in the early advanced coordinate, and contains both frequency signs when Fourier decomposed there. Their squared Bogoliubov-coefficient ratio is ; the canonical normalization then gives a Bose factor , multiplied by the greybody factor, the transmission probability through the exterior potential. Thus Hawking radiation has temperature in units , with greybody factor modifications to the spectrum. This is a free-field calculation on a fixed or slowly evolving background; eventual backreaction is an additional problem, and the nonextremal exponential map must not be blindly used when .
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 57 1 Solution Created 2026-10-03 Updated 2026-10-14
A stationary black hole behaves mechanically like an equilibrium thermodynamic system. Its horizon area A, asymptotic energy E, angular momentum J and electric charge Q are linked by the laws of black-hole mechanics. Let generate its Killing horizon, with the time translation normalized at infinity; its surface gravity is defined by on that horizon. We use and keep G explicit. The horizon electrostatic potential is measured relative to infinity.
The Zeroth law of black-hole mechanics states that kappa is constant on each connected stationary horizon, under the Einstein equations and suitable energy/regularity assumptions. It parallels the zeroth law of thermodynamics, which makes temperature uniform in equilibrium. Kappa need not be constant in a dynamical geometry. For an asymptotically flat static hole, local observers see gravitationally redshifted temperatures; the equilibrium quantity comparable to kappa is the temperature referenced to infinity.
The First law of black-hole mechanics relates nearby stationary solutions:The same leading relation describes a small physical process which perturbs a horizon and subsequently settles to equilibrium, with the appropriate hypotheses on fluxes and final state. The work terms correspond to rotational and electromagnetic work. The structural analogy with the first law of thermodynamics, , identifies area as an entropy-like variable and surface gravity as a temperature-like variable. Classically this fixes their product in the first law, rather than their separate normalizations.
The second law of black-hole mechanics, or black-hole area theorem, states that future event-horizon area does not decrease classically. Its essential geometric ingredient is the Raychaudhuri equation for affinely parametrized null generators. In four dimensions a hypersurface-orthogonal congruence obeysThe null energy condition and Einstein equations make the last term nonpositive. If the expansion became negative, the inequality would focus the generators to a conjugate point in finite affine parameter. Under future completeness and predictability assumptions, that would conflict with their remaining on an achronal event horizon. Thus , and the area element, satisfying , cannot decrease. For a merger the final area is at least the sum of the initial component areas. These assumptions matter: the theorem is a classical statement, not a prohibition of quantum evaporation.
The third law of black-hole mechanics is an unattainability statement: a nonextremal hole cannot be driven to zero surface gravity in a finite physical process satisfying the usual bounded-stress and regularity conditions. This parallels the unattainability form of the Third law of thermodynamics. Extremal stationary solutions exist, so the law concerns how an initially nonextremal hole approaches them. The stronger entropy form of Nernst's theorem does not transfer unchanged: extremal holes can have finite area and entropy, depending on their conserved charges.
Quantum field theory turns the mechanical analogy into a physical thermodynamic identification. Hawking radiation is thermal at infinity to leading semiclassical order, withThese give exactly, so the mechanical first law becomes the thermodynamic first law with Bekenstein-Hawking entropy. Scattering through the exterior adds greybody factors to the emitted spectrum but leaves this temperature identification intact. Equilibrium with an external bath and isolated evaporation are different physical states of the field.
During black-hole evaporation, the area can decrease because the semiclassical stress tensor need not satisfy the classical null energy condition. The proposed generalized second law applies instead to , asserting nondecrease of the combined entropy. A Schwarzschild hole illustrates an unusual thermodynamic property: , so its heat capacity is negative. It becomes hotter as it loses energy and is unstable in a simple canonical heat bath, while entropy and energy laws still describe an isolated system. The quantum temperature, area entropy and generalized second law supply the correspondence; the mechanical laws alone do not establish a thermal emission spectrum or a microscopic entropy count.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 62 3 Solution Created 2026-10-03 Updated 2026-10-14
Use Planck units for the following formulas. The black-hole area theorem is a classical statement with hypotheses. Assume the Einstein field equations, the null energy condition and appropriate global future regularity/predictability. For a clean version of the focusing sketch, take the future horizon generators to remain on a regular horizon and to be future complete in affine parameter. The usual strong asymptotic predictability formulation supplies the global causal control needed to exclude the same focusing pathology; an arbitrary spacetime with naked future breakdown is not covered by the theorem.
Let be an affinely parametrized generator of a smooth portion of the event horizon, and let be its null expansion. The horizon is a null hypersurface, so its generators have zero null twist. In four dimensions the Null Raychaudhuri equation isThe Einstein field equations give , since the metric terms vanish when contracted with a null vector. The screen-space null shear term is also nonnegative, so . If at , integrating this inequality while the congruence remains regular givesIt focuses within affine distance at most . The vanishing area element is a focal point to an earlier spacelike horizon cut. Past such a point the null geodesic can no longer generate an achronal boundary, but the event horizon is precisely such a boundary. Future completeness and the global hypotheses exclude its escaping this contradiction by ending prematurely at a pathology. Therefore everywhere the smooth horizon description applies.
Integrate between ordered horizon cuts. Every continuing generator contributes a nondecreasing area element. New generators can enter at past endpoints or merger crease sets, adding area; generators cannot leave a regular future horizon through future endpoints under these hypotheses. Thus, including the total area of disconnected components,This is the future-complete horizon focusing proof of the area theorem. A smooth elementary congruence proof requires the stated regularity; the general theorem also treats the horizon's nonsmooth joining set rather than assuming mergers have a globally smooth horizon.
Hawking radiation changes the situation because the quantum field state in a collapsing geometry is not a classical positive-energy fluid. For a large isolated Schwarzschild black hole,in natural units. Outgoing quantum modes at future null infinity have a nearly thermal occupation, modified by greybody factors; an accompanying negative Killing energy flux near the horizon reduces the hole's mass. On timescales short compared with the evaporation time but long compared with , its geometry is approximately Schwarzschild spacetime with slowly decreasing . It is not an exactly stationary vacuum solution with a parameter changed by hand: the radiation's stress-energy tensor sources the time dependence through the semiclassical Einstein equation. The distant luminosity is carried by the outgoing radiation, while the horizon-area decrease accompanies the inward negative-energy contribution.
As the black hole loses mass, its horizon scale and Bekenstein-Hawking entropy shrink, its temperature rises and its luminosity increases. This is the negative heat capacity of a Schwarzschild black hole. Large astrophysical holes evaporate extremely slowly in isolation; small holes evaporate more rapidly, and increasingly massive particle species become accessible as the temperature rises. An incoming radiation bath or accretion can instead offset the loss, so the pure evaporation law assumes negligible incoming energy. A formal complete evaporation also raises the black hole information paradox; the low-curvature calculation alone does not determine how information or the final state is resolved.
For an elementary luminosity estimate, treat the horizon as emitting photon blackbody radiation. In natural units the Stefan–Boltzmann law has , givingThe horizon area used here is an estimate of emitting area, not the exact frequency-dependent absorption cross-section. More generally write , where includes the greybody factors and the active particle species. For constant effective , energy balance and direct integration giveHere is time measured at infinity. The formal evaporation timescale is ; with the photon blackbody estimate it is . Restoring constants givesfor that specified estimate. If particle thresholds make mass dependent, the precise leading law is instead . The robust result is the inverse-square mass-loss rate for a fixed species regime and the cubic mass scaling of its lifetime. This is the semiclassical cubic mass law for Schwarzschild evaporation. Extrapolating its zero to a definite end state is unjustified once approaches the Planck mass and curvature requires quantum gravity.
There is no contradiction with the classical area theorem: the renormalized quantum stress-energy tensor can violate the null energy condition used in the focusing inequality. In the evaporation regime,which is permitted when that hypothesis fails. The thermodynamic replacement is the generalized second law, concerning rather than horizon area alone. Outside radiation can carry entropy while the hole's Bekenstein-Hawking entropy decreases.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 63 4 Solution Created 2026-10-03 Updated 2026-10-14
Use a free real scalar field obeying a linear Klein-Gordon equation, for example . This linearity is the assumption that permits mode evolution by a Bogoliubov transformation. Work with a complete set of normalized modes, or normalizable wave packets when the spectrum is continuous. The stationary asymptotic regions supply time translations relative to which positive-frequency solutions and their complex conjugates can be distinguished.
For solutions define the conserved Klein-Gordon inner productHere is a Cauchy surface with future-directed normal. Its conservation follows by applying the wave equation to the divergence of its current, provided boundary flux is included or vanishes. Let be a positive-frequency basis in the past and one in the future, each propagated as a solution through the intermediate geometry. Normalize them by , and , with the corresponding identities for the future basis. The two field expansions areThe canonical commutation relations give and . The in-vacuum satisfies , while the out-vacuum satisfies . They are generally different vacua.
Fix the coefficient convention by expanding future modes in past modes:The minus sign is due to the negative norm of the conjugate modes. Taking the Klein-Gordon inner product with the field, which is antilinear in its first entry, givesBoth frequency sectors are needed: if , a future annihilation operator contains a past creation operator. This is the mechanism of particle number from Bogoliubov coefficients, not a classical nonzero mean field.
Computing and explicitly gives the canonical identities for a bosonic Bogoliubov transformation:Completeness also gives the inverse . Thus the evolved past vacuum, viewed in the future Fock space, obeysFor a finite-mode treatment with invertible , solve this condition by a multimode squeezed vacuum:The canonical identities make symmetric. Commuting through the exponential gives , which directly verifies the vacuum condition. Its normalization is . A general initial state is obtained by applying its initial creation-operator polynomial and expressing those operators in the future basis. In infinitely many modes, a common unitary Fock representation requires the creation-mixing coefficients to be Hilbert-Schmidt; finite wave-packet counts avoid treating delta-normalized modes as individual normalizable states. These are the bosonic mode mixing implementability conditions, rather than an assumption of arbitrary finite total creation over an infinite time interval.
For the requested number operator of one future mode, set . Expectations below are in the evolved past vacuum , equivalently in using the Heisenberg-mode operators above. Acting on the past vacuum gives , whose squared norm isThe mean particle number vanishes exactly when that mode has no negative-frequency mixing.
The second moment needs the anomalous contractionThe canonical commutation relations give . Moreover,Its vacuum and two-particle pieces are orthogonal. Applying the commutation relations twice showsThe two pairings each contribute to the squared norm. Hence the full answer isThus . These are the out-mode number fluctuations in the in-vacuum. Omitting would assume a property not given in the general question. A thermal single mode has , giving . A single-mode squeezed vacuum state instead has , giving .
If the counted observable is the total number over a finite set of future modes, its moments follow by retaining cross-mode correlations as well. Define and . The same vacuum pairings give . Thus and , with and . Independent thermal counts cannot be assumed for a general correlated squeezed state.
For Hawking radiation, choose the incoming vacuum at past null infinity of a collapse spacetime and propagate late outgoing modes backwards. Near a nonextremal forming event horizon, the logarithmic tortoise-coordinate divergence leads to the Hawking exponential ray mapwhere is late retarded time, is an early regular affine null coordinate and is the final surface gravity. A late positive-frequency mode therefore becomes proportional to on rays escaping just before horizon formation. This is not positive-frequency with respect to : it has both frequency signs and hence nonzero .
The thermal factor can be seen directly. With , and a regulator , the relevant Fourier integrals areAs , the arguments of the two complex factors approach . Their squared-modulus ratio for the suppressed and enhanced frequency branches is . Thus the thermal ratio of Hawking Bogoliubov coefficients, combined with the canonical normalization, yields the bosonic occupationin units . Scattering through the exterior potential multiplies the asymptotic occupation by the appropriate greybody factor.
A complete future mode description includes modes crossing the horizon as well as modes reaching future null infinity. The global incoming vacuum develops correlations between these sectors; restricting to the exterior gives approximately thermal outgoing occupation rather than a claim that the complete pure state became a thermal mixed state. This is the particle-production picture of a collapsing black hole, not an incoming thermal bath on an eternal geometry. Including backreaction turns the emitted positive energy into black-hole mass loss. The renormalized quantum stress tensor is not subject to the pointwise classical positivity used in the black-hole area theorem, so this does not contradict its classical proof.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 66 4 Solution Created 2026-10-03 Updated 2026-10-14
Hawking radiation is a prediction of quantum field theory in curved spacetime, not of classical collapse alone. Consider a free massless Klein-Gordon field in the collapse vacuum for Hawking radiation: initially no incoming particles from past null infinity, with the short-distance state regular for freely falling observers through the forming event horizon. At late times use the approximately fixed exterior Schwarzschild metric; neglect backreaction during the observation interval. First set .
The exterior metric has . Introduce the tortoise coordinate and outgoing and ingoing null coordinates,The surface gravity is . The logarithm in makes a late escaping ray spend a long exterior coordinate time close to the event horizon. One of the regular outgoing Kruskal–Szekeres coordinates is proportional to . Smooth propagation backwards through the collapsing body relates this regular coordinate to the incoming coordinate on past null infinity. If labels the last ray able to escape, the late-time Hawking exponential ray map is consequentlyHere the symbol is the outgoing retarded time evaluated on the ray; the first equation is the leading asymptotic relation, with subleading corrections that vanish at late times. The constant depends on collapse history, whereas the exponential rate is determined by the final surface gravity. The relation follows from a nondegenerate Killing horizon; a linear ray map would not have the same effect.
An outgoing positive-frequency mode at future null infinity behaves as , where is measured with respect to the asymptotic stationary time. In the near-horizon geometric optics approximation its backward-propagated form on past null infinity isThis is not purely positive frequency in . Its decomposition into incoming positive-frequency modes and their complex conjugates is a Bogoliubov transformation:The coefficients follow from the Klein-Gordon inner product, or equivalently from the Fourier transform with the indicated flux normalization. Writing and , the two Fourier integrals, after a convergence regulator, areThe equality is the defining integral of the Gamma function, continued to these arguments from the right half-plane. Up to phases of unit modulus, is and is . Taking on the principal branches, the arguments of tend to . Thus and , giving the thermal ratio of Hawking Bogoliubov coefficientsIn particular, using ,The collapse-dependent phases and disappear from the ratio. The canonical identities for a bosonic Bogoliubov transformation state that the positive-frequency norm minus the negative-frequency norm is one for a normalized outgoing mode. Combining that identity with the thermal ratio yields the late-time mean occupationThese are the Bose-Einstein distribution and the Hawking temperature. Strictly, monochromatic modes have delta-function normalization, and contains the infinite-duration divergence . Normalized wave packets with a finite frequency band and a finite retarded-time window remove this artifact. For sufficiently late packets the occupation is the frequency average of the displayed thermal factor, tending to it for a narrow band. Fermionic fields instead give the corresponding denominator because their canonical normalization uses anticommutators.
Four-dimensional propagation adds an important qualification to the word thermal. Separation of the massless Klein-Gordon equation into spherical harmonics gives an exterior radial scattering potentialOnly a fraction of the outgoing mode is transmitted to future null infinity; this is the greybody factor. The scalar particle flux there isThe factor counts the angular modes, and multiplication by gives the spectral energy flux. An observer at infinity therefore receives an outgoing thermal population filtered by curvature scattering, rather than an exact unfiltered blackbody spectrum. In physical units, for mass ,There is no incoming thermal bath in the collapse vacuum for Hawking radiation. The outgoing flux has positive Killing energy; its counterpart inside the event horizon can carry negative Killing energy. Including the expectation value of the stress-energy tensor in the gravitational evolution allows the mass to decrease. The fixed-background derivation describes the slowly evolving semiclassical regime and does not determine the endpoint of evaporation. Quantum expectation values need not satisfy the classical null energy condition, so this loss of area is not a contradiction of the classical second law of black-hole mechanics. The essential late-time universality is the combination of a regular initial quantum state and the exponential redshift at the newly formed event horizon.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 56 4 b Solution Created 2026-10-03 Updated 2026-10-14
Classically, the laws of thermodynamics and black-hole thermodynamics have parallel structures, but an ordinary black hole absorbs and does not emit: its temperature would appear to be zero, despite nonzero surface gravity. Hawking radiation changes this by giving an actual temperature measurable from a thermal particle spectrum. In units ,Scattering through the exterior modifies the observed flux by greybody factors; for rotation and charge the occupation involves . These transmission and chemical-potential factors do not change the underlying Hawking temperature.
The Zeroth law of black-hole mechanics makes constant on a stationary horizon, so it gives a uniform equilibrium temperature, matching the zeroth law of thermodynamics. The full First law of black-hole mechanics isComparing it with and using the actual Hawking temperature fixesWith constants restored, . If is defined geometrically with dimensions of inverse length, ; if surface gravity is expressed as an acceleration, the equivalent formula is . The first-law comparison fixes entropy up to an additive constant. This is the Bekenstein-Hawking entropy, so the mechanical analogy becomes a quantitative thermodynamic identification, including its normalization.
The classical second law of black-hole mechanics then corresponds to increasing black-hole entropy. Quantum evaporation can reduce , because the classical energy-condition hypotheses fail, while outgoing radiation carries entropy. The appropriate thermodynamic statement is the generalized second law,Finally, the third law of black-hole mechanics, that zero surface gravity cannot be achieved by a finite physical process under its regularity assumptions, becomes the unattainability of zero temperature. It does not assert the Nernst entropy formulation: an extremal horizon can have nonzero area. Hawking radiation supplies the physical temperature, the first law fixes entropy, and the generalized second law includes both the black hole and its exterior matter.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 58 3 Solution Created 2026-10-03 Updated 2026-10-07
The laws of black-hole mechanics establish the classical analogy with thermodynamics. The Zeroth law of black-hole mechanics makes surface gravity constant on a connected equilibrium Killing horizon, under its usual field-equation and energy hypotheses, paralleling constant temperature. For neighboring stationary Einstein–Maxwell solutions, the First law of black-hole mechanics isThis parallels plus work terms; denotes energy in units. The second law of black-hole mechanics says area cannot decrease under the classical null-energy and global predictability assumptions. The third law of black-hole mechanics is unattainability: regular finite physical processes satisfying its hypotheses cannot drive to zero. It parallels unattainability of absolute zero, not a universal assertion of zero extremal entropy.
Classically a hole absorbs without emitting, so the analogy alone does not identify a measured temperature. Quantum Hawking radiation supplies , with and future-horizon normalization at infinity. Comparing the area terms in the first laws gives the Bekenstein-Hawking entropyup to a conventionally fixed additive constant. In ordinary units it is . Entropy scales with area, not interior volume.
For the massless scalar in quantum field theory in curved spacetime, global hyperbolicity ensures well-posed Cauchy evolution. The conserved Klein-Gordon inner product isIts current has zero divergence by the wave equation, making it slice-independent with appropriate boundary behavior. Positive frequency relative to the asymptotic past and future Minkowski times defines complete bases , with , and vanishing mixed products. Expand the field asContinuous labels replace sums by integrals; wave packets avoid artificial normalization infinities. Particle creation by a nonstationary spacetime occurs when evolution mixes frequency signs through a Bogoliubov transformation:The inner product gives and . For the initial vacuum annihilated by all , . Thus nonzero negative-frequency mixing makes the in-vacuum non-vacuum for final observers. The vacuum state in a stationary spacetime depends on its positive-frequency splitting; this is not inconsistent with deterministic mode evolution. A unitary implementation on one fixed infinite-mode Fock space further needs the Hilbert–Schmidt condition on .
For collapse forming a Schwarzschild black hole, a late outgoing ray traced back to past null infinity obeys the Hawking exponential ray mapPulling back gives for . Its past Fourier transform has both frequency signs. For and damping , the Gamma function evaluates the Fourier integrals asAs , the two denominator arguments approach , so . Thus the thermal ratio of Hawking Bogoliubov coefficients is . Together with the bosonic normalization difference, this yields . Potential scattering adds a greybody factor:The collapse state has outgoing flux at future infinity without an incoming thermal bath and is regular for infall. It is not the eternal-hole equilibrium state. Horizon-entering modes complete the future basis; tracing over their correlated partners gives the approximately thermal exterior state. The collapsing geometry is not literally Minkowskian everywhere in the far future: asymptotically flat null-infinity modes are the relevant application of the earlier in/out construction.
Emission reduces the isolated hole's mass. Schwarzschild temperature is proportional to , giving the negative heat capacity of a Schwarzschild black hole: losing energy makes it hotter. Dimensional estimates give luminosity proportional to and evaporation time proportional to , with species and greybody factors determining coefficients. Area may shrink because quantum stress violates the energy assumptions of Hawking's area theorem. The generalized second law instead concerns , incorporating radiation entropy and preventing ordinary thermodynamic violations by disposal of entropy into a hole.
Pair correlations also distinguish thermal reduced states from the complete pure state. The black hole information paradox asks whether complete evaporation preserves quantum information: an exactly thermal final exterior with no remaining partners would appear inconsistent with unitary pure-state evolution. The semiclassical calculation controls late-time flux, not the Planck-scale endpoint, and does not itself settle this question. Quantum emission gives the temperature–entropy identification physical meaning; generalized entropy replaces the classical area alone when radiation back-reacts.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 51 2 Solution Created 2026-10-03 Updated 2026-10-07
The two identities. Set . The Killing equation says . The Levi-Civita connection has symmetric lower connection indices, so they cancel in the antisymmetric difference:Use normalized antisymmetrization, soPut . Contracting with , the second term is and the third is the same after using antisymmetry. ThusRearranging proves the Killing derivative contraction identity
Restriction to a Killing horizon. On a Killing horizon, the generator is normal to the horizon as well as tangent to its null generators. Consequently there. One can see this without assuming hypersurface orthogonality away from the horizon: if the horizon is locally , write its dual one-form as near it; then on . By the definition of surface gravity, on the horizon, and lowering that relation gives . The contraction identity becomesAway from points where vanishes, cancel a nonzero component of ; at a regular bifurcation surface extend by continuity. ThereforeThis is surface gravity from the Killing derivative; it concerns the horizon, not every point in the exterior.
Static spherical metric. Choose the Killing vector . Its dual one-form is , and the first identity immediately giveswith all other components zero. HenceUsing the horizon identity and the simultaneous simple zeros,Here the positive value is chosen for a regular outer Killing horizon with on the exterior side. This is surface gravity of a static spherical horizon. A different normalization rescales surface gravity by ; when an asymptotically flat normalization is wanted, the time coordinate is chosen so at infinity.
Euclidean regularity and temperature. Let , and . On the exterior side, define the proper radial coordinate . After Wick rotation, the near-horizon metric isThe radial-time plane is a polar plane with angular coordinate . Its circumference-to-radius ratio is ; the conical singularity disappears precisely whenThis is the Euclidean black-hole regularity condition. If a signed surface gravity convention is used, the period uses .
In a thermal quantum field theory, imaginary-time periodicity is the inverse-temperature condition expressed by the KMS condition. Therefore smoothness identifies the Hawking temperaturein units , or when is measured as an inverse time. It provides the thermal interpretation of surface gravity in black-hole thermodynamics. The regular Euclidean construction describes an equilibrium thermal state; the collapse calculation of Hawking radiation in the last solution supplies the outgoing spectrum. The simple-zero hypothesis excludes an extremal black hole, for which this polar-plane argument changes.
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 2014 iii Paper 52 4 b Solution Created 2026-10-03 Updated 2026-10-06
The laws of black-hole mechanics initially relate geometric quantities in a way resembling thermodynamics. Hawking radiation supplies a physical temperature: in units , while displaying ,The Hawking temperature is measured with the stationary time normalized at infinity. The radiation's thermal occupation factor is physically observable; propagation to infinity also introduces greybody factors, so the distant spectrum need not be a perfect blackbody spectrum at every frequency.
The Zeroth law of black-hole mechanics says that surface gravity is constant on a stationary Killing horizon under its standard hypotheses. Through the Hawking temperature, this becomes uniform equilibrium temperature. The First law of black-hole mechanics isUsing identifies its area term as . Integrating gives the Bekenstein-Hawking entropy, up to an additive constant. Thus is the energy, the angular and charge terms are work terms, and the geometrical law is the ordinary thermodynamic first law with a fixed entropy normalization.
The second law of black-hole mechanics, or Hawking's area theorem, gives nondecreasing area in the classical setting with the requisite energy and predictability assumptions. It corresponds to increasing Bekenstein-Hawking entropy. Semiclassical black-hole evaporation can decrease the area: the classical null energy condition need not hold for the quantum expectation of the stress-energy tensor. The appropriate extension is the generalized second law, that does not decrease, with the exterior entropy and its renormalization treated consistently. Hawking's temperature identification motivates this law; thermality alone does not prove every form of it.
The third law of black-hole mechanics is the unattainability, by an admissible finite physical process, of zero surface gravity. With Hawking temperature it becomes unattainability of absolute zero. It is not the assertion that an extremal black hole has vanishing entropy: its area can remain nonzero when .
For a Schwarzschild black hole, and , giving and . Their product satisfies , explicitly checking the first law. Quantum radiation turns the temperature and entropy in the mechanical analogy into physical thermodynamic quantities.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 311 4 Solution Created 2026-10-03 Updated 2026-10-06
Work first in units . Black-hole thermodynamics starts with the laws of black-hole mechanics. For a connected stationary regular Killing horizon, the Zeroth law of black-hole mechanics makes its surface gravity constant when the Einstein field equations and dominant energy condition hold. This parallels uniform equilibrium temperature. For neighboring stationary asymptotically flat four-dimensional Einstein-Maxwell black holes, the First law of black-hole mechanics iswhere is the horizon angular velocity and its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in . The second law of black-hole mechanics, expressed by Hawking's area theorem, makes the total future horizon area nondecreasing for classical matter obeying the null energy condition and global assumptions such as strong asymptotic predictability. The third law of black-hole mechanics is an unattainability statement: subject to the usual regularity assumptions, the weak energy condition, and a bounded stress-energy tensor, no finite physical process reduces the surface gravity of a regular horizon to zero. It does not assert that extremal black holes have zero area or zero entropy.
Classical geometry alone fixes an analogy, not a nonzero physical temperature. Quantum field theory supplies Hawking temperature . Comparing the area term of the first law with gives for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,Here restored is the physical acceleration surface gravity and is the squared Planck length. The first-law comparison determines the area coefficient, leaving an additive entropy constant unspecified; the displayed formula is the usual convention. Its area scaling, rather than ordinary volume scaling, signals that the available thermodynamic degrees of freedom of a gravitating system are constrained by the horizon geometry.
Particle production explains the quantum input. For a real scalar field obeying the massless covariant wave equation, the Klein-Gordon inner product on solutions isThe wave equation makes its current divergence-free, so the product is independent of a Cauchy hypersurface when the boundary flux vanishes. Use suitably normalized wave packets or the appropriate continuum distributions. Asymptotic past and future Minkowski spacetimes give preferred positive-frequency solution mode bases and , normalized by , and . Between those regions, a nonstationary geometry generally has no preferred positive-frequency splitting.
The mode bases are related by a Bogoliubov transformation,The last identities follow from conservation of the Klein-Gordon inner product and are the canonical identities for a bosonic Bogoliubov transformation. Expanding the field in either complete basis and extracting its positive-frequency coefficient givesThus the state annihilated by every hasThis particle number from Bogoliubov coefficients is nonzero when time evolution mixes positive and negative frequencies. It describes one state as vacuum in the early particle basis and populated in the late basis; it does not require an arbitrary choice of a vacuum at each intermediate time. For a finite implementable transformation the state remains a squeezed pure quantum state. In infinitely many modes, a common unitary bosonic Fock space implementation requires additional conditions, such as the beta map being a Hilbert-Schmidt operator; finite wave packet observables need not share every global divergence of an ideal continuum calculation.
For gravitational collapse, the future is not globally Minkowski: it contains a black hole. The relevant late out-basis includes modes reaching future null infinity together with modes entering the future event horizon. Modes on infinity alone are not a complete Cauchy basis. Nevertheless the same mode-mixing calculation determines the outgoing particle flux. Near a nonextremal horizon, the logarithm in the tortoise coordinate converts regular early null coordinates into the Hawking exponential ray mapwhere is the early affine null coordinate and is late retarded time at infinity. Backward propagation of a late outgoing mode gives a factor for . Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce toTaking gives the thermal ratio of Hawking Bogoliubov coefficients, . Combining this with the canonical normalization yields the bosonic occupation . Late-time wave packets turn formal continuum coefficients into a finite number flux.
A Schwarzschild black hole has , so this spectrum has . The exterior curvature potential partly reflects the outgoing modes. Its transmission probabilities are the greybody factors, giving, for one massless scalar species in the stationary late-time approximation,Thus the horizon temperature is universal, while the spectrum received at infinity is not a perfect featureless blackbody radiation spectrum. The derivation assumes the near-horizon quantum state inherited from a regular collapse vacuum and ignores rapid backreaction over the timescale of the packets. Exponentially blueshifted precursor frequencies indicate the usual short-distance assumption in the semiclassical calculation, not an independently demonstrated quantum-gravity description of the endpoint.
The outgoing positive energy flux drives black-hole evaporation. At leading order for a large isolated Schwarzschild black hole, area scales as and temperature as , giving and a lifetime of order , with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, , means that it heats up as it loses mass and cannot be in stable canonical equilibrium with an unlimited thermal reservoir. The approximation fails when quantum-gravitational scales are reached and does not fix whether the endpoint is complete evaporation, a remnant, or something else.
Area loss does not contradict the classical area theorem, because the quantum stress-energy tensor need not obey the classical null energy condition; negative horizon energy accompanies the positive outgoing flux. The appropriate thermodynamic statement is the generalized second law, involving . Finally, Hawking radiation raises the black hole information paradox: if a pure quantum state completely evaporates into an exactly thermal mixed quantum state and its partners disappear, the result conflicts with ordinary unitary time evolution. Early outgoing radiation can be mixed simply because of its entanglement with interior modes while the complete state remains a pure quantum state; that fact alone is not information loss. Resolving the fate of all correlations through the evaporation endpoint requires more than the leading semiclassical flux calculation.
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 311 4 b Solution Created 2026-10-03 Updated 2026-10-05
Classically, the laws of black-hole mechanics have the same form as the laws of thermodynamics, but this could have been only a formal analogy. Hawking radiation makes it physical: a stationary black hole emits approximately thermal radiation withso surface gravity is proportional to genuine temperature.
The correspondence is:
- constancy of on a stationary horizon becomes constancy of equilibrium temperature;
- the First law of black-hole mechanics
- Hawking's area theorem becomes a second law, replaced in the quantum theory by the generalized second law for ;
- the impossibility of reaching by a finite process parallels the unattainability of absolute zero.
A real Hawking temperature therefore identifies horizon area as thermodynamic entropy and turns the geometric laws into thermodynamic laws.
A gravitational-collapse spacetime is stationary and approximately empty in the remote past and settles to a stationary black-hole exterior in the future, with a dynamical region between them. The same comparison of in- and out-positive-frequency modes therefore applies. Tracing an outgoing late-time mode backward through the collapse produces an exponentially blueshifted mixture of early positive and negative frequencies. Its nonzero Bogoliubov beta coefficient yields the thermal occupation numbers of Hawking radiation, while partner modes pass through the event horizon.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 311 4 c Solution 2026-09-28
In a collapsing spacetime, positive-frequency in-modes are defined at past null infinity and outgoing modes at future null infinity. Tracing a late outgoing wave packet backward toward the forming event horizon produces an exponential blueshift. Its rapidly varying phase has both positive- and negative-frequency parts relative to the past time coordinate, so the Bogoliubov coefficient is nonzero. The resulting bosonic occupation numbers have the Bose-Einstein distribution atwhere is the surface gravity. The outgoing quanta form Hawking radiation, while their correlated partners cross the horizon.
