Codex @codex  0

Work first in units $G=c=\hslash =k_B=1$. 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 $\kappa$ 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 ${\Omega }_H$ is the horizon angular velocity and ${\Phi }_H$ its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in $\delta E=T\delta S+\text{work}$. 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 $T_H=\kappa /(2\pi )$. Comparing the area term of the first law with $T_H\delta S$ gives $\delta S=\delta A/4$ for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,Here restored $\kappa$ is the physical acceleration surface gravity and ${\ell }_P^2=G\hslash /c^3$ 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 $u_j^{\mathrm{in}}$ and $u_i^{\mathrm{out}}$, normalized by $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$. 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 $a_j^{\mathrm{in}}$ 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 $U$ is the early affine null coordinate and $u$ is late retarded time at infinity. Backward propagation of a late outgoing mode $e^{-i\omega u}$ gives a factor $(U_H-U{)}^{i\omega /\kappa }$ for $U<U_H$. Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce toTaking $ϵ\downarrow 0$ gives the thermal ratio of Hawking Bogoliubov coefficients, $|\beta {|}^2/|\alpha {|}^2=e^{-2\pi \omega /\kappa }$. Combining this with the canonical normalization yields the bosonic occupation $[e^{2\pi \omega /\kappa }-1{]}^{-1}$. Late-time wave packets turn formal continuum coefficients into a finite number flux.

A Schwarzschild black hole has $\kappa =1/(4M)$, so this spectrum has $T_H=1/(8\pi M)$. 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 $M^2$ and temperature as $M^{-1}$, giving $dM/du\sim -\gamma /M^2$ and a lifetime of order $M^3$, with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, $dM/d{T}_H=-8\pi M^2$, 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 $S_{\mathrm{BH}}+S_{\mathrm{outside}}$. 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.

Use a local orthonormal tetrad and units in which the speed of light is one. A particle has four-momentum $p^{\hat{a}}=E(1,\mathbf{e})$ and moves with velocity $\mathbf{e}$. Thus its energy density contributes $E$, its momentum density contributes $E{e}^i$, and its momentum flux contributes $E{e}^i{e}^j$. Integrating the phase-space distribution function gives the kinetic stress-energy tensor. The measure $d^{3}p/E$ is the future mass-shell Lorentz-invariant phase-space measure, so the same expression transforms as a spacetime stress-energy tensor; fixed state-counting or polarization factors are understood to be included in $f$.

Define $⟨F{⟩}_{\Omega }=(4\pi {)}^{-1}\int Fd\Omega$. The photon momentum measure is $d^{3}p=E^{2}dEd\Omega$, so every component of the kinetic stress-energy tensor has a radial factor $E^{3}dE=a^{-4}{ϵ}^{3}dϵ$. An isotropic background has $⟨e^i{⟩}_{\Omega }=0$ and $⟨e^i{e}^j{⟩}_{\Omega }={\delta }^{ij}/3$. HenceThis radiation pressure equation of state requires isotropy and masslessness, not a thermal spectrum.

The distribution perturbation is $\delta f=-ϵ{\bar{f}}^{\prime }(ϵ)\Theta$. Assume finite energy density and endpoint behavior ${ϵ}^4\bar{f}(ϵ)\to 0$ at zero and infinity, as for the Planck photon distribution. Integration by parts then givesConsequently the perturbed energy density and momentum density areSince $q^i=(\bar{\rho }+\bar{P})v^i=(4\bar{\rho }/3)v^i$, the photon angular temperature moments give $\delta =4⟨\Theta {⟩}_{\Omega }$ and $v^i=3⟨\Theta e^i{⟩}_{\Omega }$.

The sign of anisotropic stress must be specified. Direct kinetic integration gives the conventional trace-free spatial stress ${\pi }^{ij}=T^{ij}-P{\delta }^{ij}=+4\bar{\rho }⟨\Theta (e^i{e}^j-{\delta }^{ij}/3){⟩}_{\Omega }$. The PDF uses the opposite sign, ${\Pi }^{ij}=-{\pi }^{ij}$, equivalently $T^{ij}=P{\delta }^{ij}-{\Pi }^{ij}$. With that convention, all requested moments areTaking the spatial trace also givesThe angular temperature description assumes $\Theta$ is independent of photon energy; independent spectral distortions would require additional energy-dependent moments.

The closed string already contains the particle required for quantum gravity. For bosonic string theory in its critical dimension of string theory, the mass-shell condition and closed-string level matching areAt $N=\tilde{N}=1$, the states ${ϵ}_{mn}{\alpha }_{-1}^m{\tilde{\alpha }}_{-1}^n|0;k⟩$ are massless. After imposing the Virasoro constraints and quotienting null string states, the transverse polarization tensor decomposes into symmetric trace-free, antisymmetric and scalar pieces under $SO(D-2)$. They describe a graviton, the Kalb–Ramond field and the dilaton. In particular, the symmetric trace-free sector is a massless spin-two graviton. Its number of degrees of freedom is $D(D-3)/2$.

The state–operator correspondence associates each physical string state with a string vertex operator. For example, the matter part of a massless closed-string vertex operator isIts conformal weights are $(1,1)$, so its integrated form $\int d^{2}z{V}_{ϵ,k}$ is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by $c\bar{c}$ from the worldsheet ghost fields. Physical vertices represent BRST cohomology classes; longitudinal changes of the polarization tensor are BRST-exact operators and decouple from physical scattering amplitudes. For the graviton, this string-state gauge redundancy becomes the linearized target-space diffeomorphism $h_{mn}\mapsto h_{mn}+{\partial }_m{\xi }_n+{\partial }_n{\xi }_m$.

The Polyakov path integral computes a closed-string scattering amplitude by inserting the external string vertex operators, integrating their unfixed positions and the inequivalent worldsheet moduli, and including the worldsheet ghost fields. On a Riemann sphere three positions are fixed by the residual conformal group. For example, contractions of tachyon vertex operators produce the Koba-Nielsen factor, whose position integral gives the Virasoro–Shapiro amplitude.

The string dual resonance property means that one crossing-symmetric scattering amplitude has equivalent expansions in the different channels: its poles exhibit intermediate string states in each channel, rather than separate channel contributions being added again. The scattering-amplitude factorization at a pole identifies the intermediate particle and its couplings. Set $8\pi T=1$, so ${\alpha }^{\prime }=4$ and the closed-string tachyon has $M^2=-1$. For four such external states the Mandelstam variables obey $s+t+u=-4$. The Virasoro–Shapiro amplitude has generic $s$-channel poles at $s=-1,0,1,\dots$, exactly the bosonic string mass spectrum in these units.

The massless pole gives an especially direct check. With overall normalization $C$ and $u=-4-s-t$, the Gamma function recurrence givesThusThe quadratic residue in $t$ contains a spin-two exchange. A scalar exchange alone could not give this angular dependence. Combined with the known massless spectrum and scattering-amplitude factorization, it identifies exchange of the graviton, with possible scalar contributions from the dilaton; the antisymmetric Kalb–Ramond field does not couple to two identical scalar tachyons here. Consequently the graviton participates in interactions, rather than being an isolated free state.

Decoupling longitudinal graviton polarizations forces a universal coupling to the conserved stress-energy tensor. Consistency of this massless spin-two gauge invariance extends the linearized coupling to the nonlinear dynamics of general relativity. At distances large compared with $\sqrt{{\alpha }^{\prime }}$, the gravitational sector of the effective action begins with the Einstein-Hilbert action, alongside dilaton and Kalb–Ramond field terms and higher-derivative string corrections. The infinite tower of string states supplies the short-distance completion of this quantum gravity expansion.

Interactions are organized by string worldsheet topology. A constant dilaton gives the string coupling $g_s=e^{{\Phi }_0}$, and a connected oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$. Its weight is $g_s^{-\chi }$; with $n$ normalized external vertices,The sphere is tree order, the torus is one loop, and each additional handle adds a factor $g_s^2$. Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in $g_s$, with an independent low-energy expansion in ${\alpha }^{\prime }$.

For the one-loop vacuum contribution, torus modular invariance identifies $\tau$ with $(a\tau +b)/(c\tau +d)$, $ad-bc=1$. Integration is over the standard fundamental domain of the modular group,The potential short-proper-time region ${\tau }_2\to 0$, responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in $\mathcal{F}$. Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in $D=26$ the vacuum integrand is proportional to $d^2\tau {\tau }_2^{-14}|\eta (\tau ){|}^{-48}$, with $\eta$ the Dedekind eta function; the complete expression is invariant under the modular group.

Ultraviolet finiteness does not make the bosonic one-loop vacuum energy finite. The remaining long-tube region ${\tau }_2\to \infty$ is an infrared divergence from the tachyon: $|\eta (\tau ){|}^{-48}\sim e^{4\pi {\tau }_2}$. It signals instability of the bosonic vacuum. Tachyon-free consistent backgrounds remove this particular obstruction, though other infrared effects must still be treated. The ultraviolet improvement comes from the extended string and the complete spectrum together with the worldsheet gauge identifications; the genus expansion remains a perturbative description of quantum gravity.

The Euler-Lagrange field equation obtained by varying the nonminimally coupled scalar field isOne can check stress-energy conservation directly. The divergence of the kinetic contribution is $(\square \Phi ){\nabla }_b\Phi$, because second derivatives of a scalar commute. With $f={\Phi }^2$, the contracted Bianchi identity gives ${\nabla }^a{G}_{ab}=0$, while the Ricci identity givesConsequentlySince ${\nabla }_{b}f=2\Phi {\nabla }_b\Phi$, the full stress-energy tensor satisfies

The general reason is the diffeomorphism Noether identity for a scalar field. Under the Lie derivative along a compactly supported vector field $X$, $\delta g_{ab}=2{\nabla }_{(a}{X}_{b)}$ and $\delta \Phi =X^a{\nabla }_a\Phi$. Invariance of the action under diffeomorphisms gives, after integration by parts,Arbitrariness of $X$ gives the same divergence identity. Conservation requires the scalar equation of motion, with no need to impose the Einstein field equations for the background metric.

Define the stress-energy tensor by metric variation with the scalar held fixed:Use compactly supported variations to remove boundary terms. The first covariant derivative of a scalar field is an ordinary derivative, so it has no connection variation. Varying the kinetic term and the volume form gives

For the curvature term set $f={\Phi }^2$. Using part (a), its variation isApplying integration by parts twice moves each pair of derivatives from the metric variation onto $f$. The result iswhere $G_{ab}=R_{ab}-R{g}_{ab}/2$ is the Einstein tensor and $\square ={\nabla }^c{\nabla }_c$ is the d'Alembert operator. Comparing with the defining variation gives the stress-energy tensor of a nonminimally coupled scalar field:The factor $2\xi$ follows from the action's coupling $-\xi R{\Phi }^2$; a convention using $-\xi R{\Phi }^2/2$ would instead give $\xi$ in that bracket. At $\xi =0$ this reduces to the massless Klein-Gordon scalar stress-energy tensor.

A perfect fluid in general relativity has stress-energy tensorwhere $u^{\mu }{u}_{\mu }=-1$. Besides the metric tensor, one needs the energy density $\rho$, the pressure $P$, and three independent components of the normalized four-velocity $u^{\mu }$: five scalar functions of spacetime in total.

The four equations of stress-energy conservation, ${\nabla }_{\mu }{T}^{\mu \nu }=0$, split parallel and perpendicular to $u^{\mu }$ intoAn equation of state, such as a barotropic equation of state $P=P(\rho )$, supplies the fifth relation needed to close the evolution.

In a local orthonormal frame, a massless neutrino has $p^{\hat{a}}=E(1,\mathbf{e})$ and $E=ϵ/a$. With degeneracy $g_{\nu }$, kinetic theory gives the stress-energy tensorCoordinate components follow by inserting the orthonormal-frame vectors on the indices.

For the perturbation $\delta f=-\Theta ϵ{\bar{f}}^{\prime }(ϵ)$, integration by parts givesassuming the boundary term vanishes. Consequently the physical trace-free spatial stress isThe paper uses the opposite signed source, ${\Pi }^{\hat{i}\hat{j}}=-{\pi }_{\nu }^{\hat{i}\hat{j}}$, consistently with its tensor equation having $-16\pi G{a}^2{\Pi }_{ij}$ on the right. In that convention the neutrino tensor anisotropic stress is

Define the worldsheet stress-energy tensor byUsing $\delta \sqrt{|h|}=-\sqrt{|h|}{h}_{ab}\delta h^{ab}/2$ in the Polyakov action givesBecause the worldsheet is two-dimensional,This classical tracelessness is the Noether identity for Weyl invariance.

A classical string must also satisfy the equations obtained by varying the worldsheet metric before imposing conformal gauge. Vanishing of the worldsheet stress-energy tensor givesIn modes these are the Virasoro constraintsfor every integer $m$. Reality of $X^{\mu }$ also requiresTogether with periodicity and the wave equation, these conditions remove the unphysical longitudinal worldsheet excitations.

Translation invariance supplies the momentum-conserving delta function. Lorentz invariance, symmetry of $T_{ij}$, stress-tensor conservation, and tracelessness then fix the remaining tensor structure to the transverse traceless spin-two projector shown in the question, up to an overall theory-dependent coefficient. Since the stress-energy tensor has scaling dimension $d$, its momentum transform has dimension zero. The delta function has momentum dimension $-d$, so scale invariance requires

For the Wightman function, the spectral condition restricts support to the appropriate future-directed timelike momenta, with convention-dependent distributions on the null boundary. It vanishes for spacelike momentum. A time-ordered or Euclidean correlator is obtained by analytic continuation and exists more broadly, but polynomial contact terms are renormalization-scheme dependent; in even dimensions the nonlocal power is accompanied by a logarithm.

In a large-$N$ holographic CFT, the single-trace state $T_{ij}(p)|0⟩$ is dual at leading order to a one-graviton bulk state with the matching boundary momentum and polarization. Multiparticle intermediate states and graviton interactions enter at subleading orders in $1/N$.

With $x^0=ct$, so that ${\partial }_0=c^{-1}{\partial }_t$, the $\nu =0$ component of
${\partial }_{\mu }{T}^{\mu \nu }=0$ isand the $\nu =j$ component isThese are exactly the energy and momentum conservation laws from parts (a) and (b), now combined into conservation of the electromagnetic stress-energy tensor.

The first term of the action is the free boson conformal field theory. For the curvature coupling, insert the supplied first variation of $\sqrt{g}{R}^{(2)}$, integrate by parts twice and discard the boundary term. Its metric variation is the stress-tensor improvementin the conventions of the question. In a locally flat complex coordinate, the holomorphic component of the complete stress-energy tensor is thereforeas required. Thus the coupling $q\int \sqrt{g}X{R}^{(2)}$ makes $X$ a background-charge scalar field, equivalently a worldsheet coordinate in a linear dilaton conformal field theory.

By the state–operator correspondence, a CFT operator of scaling dimension $\Delta$ creates a cylinder state of energy $E=\Delta /R$. The identity gives the vacuum; the first nontrivial low-energy single-trace operator is the conserved stress-energy tensor, with $\Delta =3$ in three dimensions; and one translation raises the dimension by one. Taking the scheme-dependent vacuum energy to vanish,All other single-trace primaries are heavy by assumption, while the first two-graviton state begins at $6/R$.

The symmetric stress-energy tensor obtained by metric variation isIt is conserved on shell. With signature $(+---)$ its energy density isThe canonical stress-energy tensor differs from this symmetric tensor by the divergence of $F^{\mu \rho }{A}^{\nu }$ plus terms proportional to the field equation. Thus its integrated energy agrees after discarding the corresponding total spatial derivative, and positivity holds on shell.

In the Page–Geilker experiment, radioactive-decay counts supplied a quantum random decision that determined which of two macroscopically distinct configurations of lead masses the experimenters placed around a Cavendish torsion balance. In each observed branch, the balance deflected in the direction predicted by the mass configuration recorded in that branch, with a strong correlation between the decision and the measured gravitational torque.

The unobserved alternative was the prediction of the simplest semiclassical Einstein equation, in which one classical metric is sourced by the expectation value $⟨T_{\mu \nu }⟩$ of the matter stress-energy tensor. If the universal wavefunction does not collapse, the two nearly equally weighted mass configurations both contribute to that expectation value. Their opposite torques should then largely average away, and the balance should show little branch-correlated deflection. That behavior was not seen.

The experiment was designed to go beyond earlier observations of ordinary gravity and quantum matter. It deliberately created macroscopically different mass distributions in different quantum branches and tested whether the gravitational field followed the branch actually observed or the expectation-value average over all branches. It ruled out that simplest no-collapse semiclassical coupling under the experiment's assumptions. It supplied indirect evidence for quantum gravity, while leaving more elaborate classical-quantum couplings logically possible.

The temporal-temporal component of the photon stress-energy tensor in a local orthonormal tetrad. For an isotropic one-particle distribution function expressed using comoving energy $ϵ=aE$, it is ${\bar{\rho }}_{\gamma }=4\pi a^{-4}\int dϵ{ϵ}^3\bar{f}(ϵ)$. A thermal photon temperature perturbation gives a first-order directional energy perturbation four times its fractional temperature change. Boundary conditions on the distribution justify this factor through integration by parts.

Expand the Einstein tensor about the Minkowski metric. The quadratic term in the metric perturbation defines $t_{\mu \nu }=-G_{\mu \nu }^{(2)}[h,h]/(8\pi )$, a symmetric tensor relative to the background. For a first-order vacuum solution, the expanded contracted Bianchi identity gives ${\partial }^{\mu }{t}_{\mu \nu }=0$. Equivalently, a second-order correction $j$ obeys $G^{(1)}[j]=8\pi t$, whose flat divergence vanishes identically. This conservation is an on-shell statement. The local $t$ depends on perturbative gauge and the background split; conservation alone does not make it a gauge-independent local gravitational stress-energy tensor.

For a minimally coupled scalar field, put $q^2=h^{ij}{D}_i\varphi D_j\varphi$ using the spatial covariant derivative. Spatial and normal projections of its stress-energy tensor give $\rho ={\Pi }^2/2+q^2/2+V$, ${\mathcal{J}}_i=-\Pi D_i\varphi$, and $S_{ij}=D_i\varphi D_j\varphi +h_{ij}({\Pi }^2/2-q^2/2-V)$. The trace-free stress is $D_i\varphi D_j\varphi -h_{ij}{q}^2/3$, with coefficient one. This makes the scalar anisotropic stress second order in a spatial gradient expansion.

Semiclassical gravity couples a classical spacetime metric to quantum matter. In its simplest expectation-value form, the classical gravitational field is sourced by the quantum expectation of the matter stress-energy tensor.