Skip to content

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

If each quantum field contributes short-distance entanglement across a horizon, the regulated exterior entropy grows with the number of species NN. The leading black-hole entropy nevertheless remains A/(4Gren)A/(4G_{\mathrm{ren}}) when the renormalized low-energy Newton constant is held fixed. The resolution is not that species disappear: the same matter loops that add entanglement also renormalize gravitational couplings. Universality belongs to the combined low-energy observable, not to bare entanglement entropy by itself.

Required background. Quantum Information supplies subsystem entropy and the additivity of independent field contributions.

Helpful background. Quantum Fields in Curved Spacetime supplies heat-kernel ultraviolet structure; Einstein Equations supplies the meaning of measured Newton coupling; Black-Hole Geometry and Mechanics supplies smooth horizon cuts; and Semiclassical Gravity supplies the effective-field- theory expansion.

Consider NN minimally coupled fields in Hadamard states near a smooth stationary horizon cut of area AA. With a common proper-distance cutoff ϵ\epsilon, their leading one-loop entropy has the schematic form

Soutdiv=Nγ Aϵ2+⋯ ,S_{\mathrm{out}}^{\mathrm{div}} =N\gamma\,\frac{A}{\epsilon^2}+\cdots ,

where γ\gamma depends on field content and regulator. If one compares this expression with SBH=A/(4G)S_{\mathrm{BH}}=A/(4G) while incorrectly holding a bare GG fixed as NN changes, the two coefficients appear incompatible. Solodukhin formulates this ultraviolet and species puzzle explicitly Solodukhin 2011, §8.1, printed p. 69, PDF.

The comparison changes two inputs at once: it adds fields but refuses to let those fields renormalize gravity. A consistent effective theory instead has

14Gren(μ)=14Gbare(ϵ)+Nγ 1ϵ2+finite matching at μ,\frac{1}{4G_{\mathrm{ren}}(\mu)} =\frac{1}{4G_{\mathrm{bare}}(\epsilon)} +N\gamma\,\frac{1}{\epsilon^2} +\text{finite matching at }\mu ,

with analogous equations for curvature-squared couplings. In the generalized entropy, the explicit NγA/ϵ2N\gamma A/\epsilon^2 term and the cutoff dependence of 1/Gbare1/G_{\mathrm{bare}} recombine into the measured 1/Gren1/G_{\mathrm{ren}}. Solodukhin demonstrates this matching, including the higher-curvature entropy terms, in Solodukhin 2011, §§3.11–3.12, printed pp. 29–31, PDF.

The following distinctions keep the conclusion precise.

QuantitySpecies dependencePhysical status
Regulated exterior entropyIts leading area coefficient is proportional to the field contentRegulator and factorization dependent
Bare geometric entropyIts coupling varies with cutoff and field contentNot separately measurable
Renormalized generalized entropySpecies effects enter through measured couplings and a finite state-dependent remainderScheme independent at the calculated order
Logarithmic or finite correctionsCan retain spin, anomaly, mass, and state dependenceOften universal only after geometry and renormalization scheme are specified

Thus “universal area entropy” means that low-energy stationary thermodynamics uses the renormalized coefficient of the Einstein term. It does not mean that all theories have identical quantum corrections, nor that A/(4Gren)A/(4G_{\mathrm{ren}}) can always be identified with matter entanglement alone. Gauge-field contact terms, edge degrees of freedom, nonminimal couplings, and gravitons complicate that microscopic interpretation. The cutoff-independent formulation of generalized entropy likewise requires local counterterms beyond the area term Bousso et al. 2016, Appendix A, PDF.

Induced gravity as a controlled illustration

Section titled “Induced gravity as a controlled illustration”

In a simple Sakharov-style model with no tree-level Einstein term, using the proper-time heat-kernel cutoff of the cited calculation, loops of N0N_0 minimal scalars and N1/2N_{1/2} Dirac fields induce

1Gind=N12πϵ2,N=N0+2N1/2.\frac{1}{G_{\mathrm{ind}}} =\frac{N}{12\pi\epsilon^2}, \qquad N=N_0+2N_{1/2}.

The same model gives

Sent=NA48πϵ2=A4Gind.S_{\mathrm{ent}} =\frac{N A}{48\pi\epsilon^2} =\frac{A}{4G_{\mathrm{ind}}}.

This is a transparent cancellation of apparent species dependence: increasing NN increases both the entanglement coefficient and the induced inverse Newton constant. The explicit construction and its limitations are given in Solodukhin 2011, §8.2, printed pp. 69–71, PDF. It is an illustration, not a proof that gravity in nature is entirely induced. Once nonminimal fields are included, horizon charge terms can make SBHS_{\mathrm{BH}} differ from the naive entanglement entropy even though the full renormalized generalized entropy remains the appropriate observable.

Matter loops at characteristic energy EE generate a dimensionless gravitational expansion parameter of order

ηN(E)∼NGE2.\eta_N(E)\sim NGE^2.

Treating these loop-induced terms as small corrections to the Einstein propagator requires ηN(E)≪1\eta_N(E)\ll1, suggesting the power-counting scale

Λsp∼MPlN,MPl≡G−1/2.\Lambda_{\mathrm{sp}}\sim\frac{M_{\mathrm{Pl}}}{\sqrt N}, \qquad M_{\mathrm{Pl}}\equiv G^{-1/2}.

Solodukhin discusses this relation and model-dependent prefactors in Solodukhin 2011, §8.4, printed p. 72, PDF. It is not an exact universal sharp cutoff. Threshold masses, strong coupling, supersymmetric cancellations, and the ultraviolet completion change the matching. Its reliable message is parametric: adding many light species can lower the scale at which the low-energy gravitational loop expansion ceases to be controlled. This estimate does not exclude every controlled large-NN mean-field resummation when matter backreaction is appreciable; that question needs the response, fluctuations, and cutoff tests of the large-N approximation.

An independent consistency check follows by evaluating the area divergence at ϵ∼Λsp−1\epsilon\sim\Lambda_{\mathrm{sp}}^{-1}. Then NA/ϵ2∼AMPl2∼A/GN A/\epsilon^2\sim A M_{\mathrm{Pl}}^2\sim A/G, so the regulated entanglement and geometric entropy become parametrically comparable. This does not make either bare term observable; it flags the point where their effective-theory separation loses perturbative sharpness.

For NN minimal species in the induced model above, double NN while holding the microscopic cutoff ϵ\epsilon and area AA fixed. Find how GindG_{\mathrm{ind}}, SentS_{\mathrm{ent}}, and A/(4Gind)A/(4G_{\mathrm{ind}}) change. Then repeat the comparison in a theory with a bare Einstein term, holding the total measured GrenG_{\mathrm{ren}} fixed by adjusting that bare coefficient.

Solution

At fixed cutoff with no bare Einstein term, 1/Gind∝N1/G_{\mathrm{ind}}\propto N, so doubling NN halves GindG_{\mathrm{ind}}. Both Sent=NA/(48πϵ2)S_{\mathrm{ent}}=NA/(48\pi\epsilon^2) and A/(4Gind)A/(4G_{\mathrm{ind}}) double; their equality is preserved.

If instead the measured total GrenG_{\mathrm{ren}} is held fixed, the bare inverse coupling must shift by the negative of the added loop contribution. The regulated exterior entropy still doubles its divergent coefficient, but the bare geometric term changes oppositely. Their renormalized sum retains the same leading A/(4Gren)A/(4G_{\mathrm{ren}}) coefficient. The second comparison is no longer a purely induced model with zero bare Einstein term. The two comparisons answer different questions, which is precisely why fixing the coupling must be stated in any species argument.

  • Bousso, R., Z. Fisher, S. Leichenauer, and A. C. Wall (2016), “Quantum Focusing Conjecture,” Physical Review D 93, 064044. Open PDF.
  • Solodukhin, S. N. (2011), “Entanglement Entropy of Black Holes,” Living Reviews in Relativity 14, 8. Open PDF.