Entropy Targets and Logarithmic Corrections

The leading black-hole entropy fixes an area coefficient, while logarithmic corrections probe fluctuations, zero modes, anomalies, and microscopic constraints. Their coefficient is meaningful only after matching the same black hole, charges, boundary conditions, ensemble, and renormalized couplings. Apparent disagreements often compare different thermodynamic questions rather than different answers to one question.

Helpful background. Flat-Spacetime Quantum Field Theory supplies determinants and renormalization; Einstein Equations supplies the classical solution; Quantum Information supplies entropy and state counting; Quantum Gravity supplies comparison; Black-Hole Information supplies fine-grained entropy distinctions; and Semiclassical Gravity supplies the stable thermodynamic target.

The asymptotic entropy expansion

For a large stationary black hole with area $A\gg G$, a common expansion is

$$S=\frac{A}{4G_{\mathrm{ren}}} +\alpha\ln\frac{A}{G_{\mathrm{ren}}} +S_0+O(G/A).$$

The leading term is expressed with the renormalized low-energy Newton constant. Ultraviolet divergences in matter entanglement and gravitational loops renormalize $G$ and higher-curvature couplings; retaining a bare $G$ while separately counting the same modes double counts them. The constant $S_0$ is particularly scheme sensitive, while some logarithmic terms can be tied to massless fields, anomalies, or symmetry zero modes.

“Universal” should mean insensitive to continuous microscopic details after the physical setup is fixed. It does not mean one coefficient applies to Schwarzschild, extremal charged, rotating, asymptotically flat, and AdS black holes in every ensemble.

One-loop determinants and zero modes

Expand fields about a Euclidean saddle $\bar\Phi$:

$$Z\approx e^{-I[\bar\Phi]} \left(\det{}'\Delta\right)^{-1/2} Z_{\mathrm{zero}}Z_{\mathrm{ghost}}\cdots.$$

The prime excludes zero eigenvalues. Nonzero modes contribute through heat-kernel coefficients; under a uniform scaling of the background, the scale dependence of the determinant generates a logarithm. Gauge ghosts and Jacobians must be included with the same boundary conditions. Zero modes are integrated over their collective coordinates rather than inserted into the determinant, producing additional powers of the macroscopic scale.

Massive fields decouple from a logarithm at scales much larger than their Compton wavelength, while massless content remains visible. Sen organizes the nonzero-mode, zero-mode, and ensemble pieces for extremal and nonextremal black holes Sen 2013, §§ 2–4. The result is powerful because it can compare a microscopic count with an infrared calculation without knowing every ultraviolet state.

Ensemble transformations change logarithms

The canonical partition function and microcanonical density are related by

$$Z(\beta)=\int dE\,\rho(E)e^{-\beta E}, \qquad \rho(E)=\int_{\mathcal C}\frac{d\beta}{2\pi i}\, Z(\beta)e^{\beta E}.$$

The density $\rho(E)$ has units of inverse energy. Define the entropy using a fixed reference bin $\Delta E$ by $S_{\mathrm{micro}}(E;\Delta E)=\ln[\rho(E)\Delta E]$. At a stable saddle $\beta_*$,

$$S_{\mathrm{micro}}(E;\Delta E) =S_{\mathrm{can}}(\beta_*) -\frac12\ln\!\left( \frac{2\pi\,\partial_\beta^2\ln Z}{(\Delta E)^2} \right) +\cdots =S_{\mathrm{can}}-\frac12\ln\!\left( \frac{2\pi C T^2}{(\Delta E)^2} \right)+\cdots.$$

If $CT^2$ scales as a power of area, the inverse Laplace transform shifts $\alpha$. Fixing versus summing over angular momentum or charge adds further Gaussian integrations and shifts. For asymptotically flat Schwarzschild, the canonical heat capacity is negative, so the ordinary canonical saddle is unstable; one must use a cavity, AdS boundary conditions, or a microcanonical treatment rather than apply the Gaussian formula blindly.

Statistical, entanglement, and generalized entropy

A microscopic degeneracy counts physical states in a declared charge and area window. Entanglement entropy depends on a subregion algebra and regulator. Euclidean thermodynamic entropy differentiates an effective action with respect to temperature or conical angle. Generalized entropy adds an area term to exterior entropy. These quantities can agree after renormalization and matching, but the agreement is a result to demonstrate.

Gauge fields introduce contact or edge contributions whose allocation between “area” and “outside entropy” depends on the algebraic prescription. The total generalized entropy can remain invariant while individual pieces shift. Solodukhin reviews how conical and heat-kernel methods locate these terms Solodukhin 2011, §§ 3–5.

A valid cross-programme comparison

Hold fixed:

Comparison input	Required specification
Macroscopic solution	Dimension, asymptotics, charges, rotation, extremality, and horizon topology
Ensemble	Fixed or fluctuating energy, area, charge, and angular momentum
Quantum content	Massless fields, gauge algebra, boundary conditions, and zero modes
Couplings	Renormalization scale and relation between microscopic and low-energy $G$
Observable	Statistical, thermodynamic, entanglement, or generalized entropy

Only then does agreement in $\alpha$ provide an independent microscopic test. Matching a leading area coefficient by tuning one parameter and comparing an unmatched logarithm does not.

Independent checks

Verify that the logarithm’s argument is dimensionless. Recompute zero-mode scaling from the collective-coordinate measure. Perform the appropriate Legendre or inverse-Laplace transform rather than copying a coefficient between ensembles. Check that adding a very massive field does not alter the infrared logarithm. Finally, confirm that ghost and gauge-mode contributions respect the same boundary conditions.

Exercise

Suppose a canonical calculation gives $S_{\mathrm{can}}=A/(4G)+\alpha_c\ln(A/G)$ and, in a stable box with a fixed reference energy bin $\Delta E$, $CT^2/(\Delta E)^2\propto(A/G)^q$. Find the microcanonical logarithmic coefficient.

Solution

The Gaussian inverse-Laplace factor contributes

$$-\frac12\ln\!\left(\frac{CT^2}{(\Delta E)^2}\right) =-\frac q2\ln\frac{A}{G}+\text{constant}.$$

Therefore

$$\alpha_{\mathrm{micro}}=\alpha_c-\frac q2.$$

The constant of proportionality and the fixed reference bin affect only $S_0$. This result assumes a stable nondegenerate saddle; if $C\lt0$ or a zero mode makes the Hessian singular, the Gaussian transformation is invalid and the ensemble must be reformulated.

References

• Sen, Ashoke (2013), “Logarithmic Corrections to Schwarzschild and Other Non-Extremal Black Hole Entropy in Different Dimensions,” Journal of High Energy Physics 2013(4), 156, arXiv:1205.0971.
• Solodukhin, Sergey N. (2011), “Entanglement Entropy of Black Holes,” Living Reviews in Relativity 14, 8, arXiv:1104.3712.