REVIEW 4 major objections 3 minor 1 cited by
Quantum uncertainty in the area of a black hole
T0 review · 4 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Quantum fluctuations of the metric give a Schwarzschild black hole's horizon area a standard deviation of r_H times the Planck length — not a Planck area.
desk verdict A genuinely new computation with a real error in Section 6: the prefactor is dropped and a same-order term is discarded, so the headline coefficient is not yet supported, but the scaling may survive a corrected mode sum. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine of the calculation is Regge-Wheeler gauge, in which the perturbation of the two-sphere is carried by one gauge-invariant scalar $K(u,v)$ with $h_{\theta\theta}=r^2K$. Reducing the Einstein-Hilbert action on the two-sphere turns each angular mode $l$ into a two-dimensional scalar of effective mass $M_{\rm Sch}^2=\mu^2(l^2+l+1)$ near the horizon; repeating the reduction in flat space yields $M_{\rm Mink}^2=\mu^2(\lambda^2-2\lambda+5)/(\lambda-1)$ with $\lambda=l^2+l+1$. The mode propagator is $P(s)=\frac{\lambda+1}{\lambda-3}\frac{1}{2\pi i}K_0(Ms)$, where $K_0$ is the modified Bessel function, and the renormalized variance is the sum over $(2l+1)P(s)$ after subtracting the flat-space piece. Point-splitting lets the variance be read off from the Feynman propagator at spacelike separation.
What would settle it
Directly evaluate the mode sum $\sum_{l=2}^\infty(2l+1)\left[K_0(M_{\rm Sch}s)-K_0(M_{\rm Mink}s)\right]$ using the exact graviton mass $M_{\rm Mink}^2=\mu^2(\lambda^2-2\lambda+5)/(\lambda-1)$ in every term, without replacing $M_{\rm Mink}$ by the scalar mass; if the sum differs from the paper's value $-1/6$ at order one, the variance formula fails. A second check is to repeat the renormalization with a covariant regulator and see whether the coefficient $\sqrt{8\pi}$ survives.
Extended reading notes
Core claim
The central finding, stated as Eq. (6.13), is that in the Hartle-Hawking vacuum the variance of the horizon area evaluates to $\mathrm{Var}[A]\approx 8\pi r_H^2 l_P^2$, corresponding to a standard deviation $\Delta A \approx \sqrt{8\pi}\, r_H l_P$. The derivation works in linearized quantum gravity: the metric perturbation $\hat g_{\theta\theta}$ is quantized on the fixed Schwarzschild background, the area operator is taken as $4\pi \hat g_{\theta\theta}(r_H)$, and the coincident two-point function is regulated by point-splitting and renormalized by subtracting the flat-space graviton propagator at the same proper separation. Summing the resulting propagator over all spherical-harmonic modes $l\ge 2$ produces the numerical coefficient. The scaling contradicts the coherent-state and thermodynamic intuition that the uncertainty should be a single Planck area.
Load-bearing premise
For the calculation to produce its number, the high-angular-momentum modes of the gravitational field must be well approximated by scalar-field modes, and the flat-space subtraction must be the correct way to remove divergences; the paper asserts both steps without a controlled estimate of their error.
Editorial extensions
If this is right
- For any macroscopic Schwarzschild black hole in the thermal equilibrium state, the horizon-area uncertainty scales as $r_H l_P$; this is far larger than the Planck area but still a tiny relative fluctuation $\sim l_P/r_H$.
- The naive estimates from coherent states and from thermodynamics, both suggesting $\Delta A\sim l_P^2$, are incorrect for this quantity.
- Because the fluctuation is spread over the entire two-sphere, a localized observer near the horizon feels only a negligible metric perturbation; for Sagittarius A* the characteristic scale is about an angstrom.
- The paper notes that the same $r_H l_P$ scale has appeared in independent estimates of the quantum width of horizons and of islands outside the horizon, suggesting a recurring scale in black-hole quantum physics.
- The calculation supplies a definite coefficient, $\sqrt{8\pi}$, that any future non-perturbative computation of horizon-area fluctuations would have to reproduce or explain.
Reading between the lines
- The computation is done for a static equilibrium state; applying the same method to the Unruh state during evaporation would give a time-dependent variance, and the $r_H l_P$ scaling may then set the rate at which the area becomes uncertain.
- The coefficient $\sqrt{8\pi}$ comes from a specific non-covariant subtraction, so the prefactor is likely scheme-dependent; the more robust content is the scaling $\Delta A\sim r_H l_P$.
- If the scaling carries over to cosmological horizons, a de Sitter horizon would undergo area fluctuations enormous in Planck units, which bears on whether such horizons can be treated as static classical surfaces.
- The same dimensional-reduction and mode-sum machinery could be pushed to compute fluctuations of the horizon radius itself, which the paper sets aside as gauge-dependent and technically harder.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a definition of the quantum area of a Schwarzschild horizon in linearized gravity, identifies the area variance with the renormalized coincidence limit of the theta-theta component of the graviton Feynman propagator at r = r_H, derives the relevant Regge-Wheeler-gauge propagators in Schwarzschild and Minkowski backgrounds, and sums the K-mode propagator over angular modes. The central result is Var[A] ≈ 8π r_H^2 l_P^2, equivalently ΔA ≈ √(8π) r_H l_P, claimed for the Hartle-Hawking state. The calculation is self-contained in that no free parameters are fitted, and it makes an explicit falsifiable scaling prediction.
Significance. If correct, the result is significant: it replaces the naive Planck-area estimate for horizon-area uncertainty with a much larger r_H l_P scale while remaining astrophysically small, and it connects to existing literature on near-horizon quantum fluctuations. The paper's technical core, including a first derivation of the Regge-Wheeler-gauge graviton propagator in Minkowski space, is potentially useful. However, the numerical coefficient and even the finiteness of the variance rest on a mode-sum evaluation in Section 6 that is not under control; the final constant should not be used until that evaluation is repaired.
major comments (4)
- [Section 6, Eq. (6.7)] Substituting (5.11) into (6.6) gives a summand containing the factor (λ+1)/(λ−3), but this factor is absent from (6.7) with no explanation. It is not asymptotically negligible for the low-l modes included in the sum: for l=2, λ=7 and (λ+1)/(λ−3)=2. Dropping an O(1) factor before evaluating the sum changes the coefficient in (6.13) and must be accounted for.
- [Section 6, Eqs. (6.8)–(6.10)] The replacement of the graviton mass M_Mink by the scalar mass M^φ_Mink in the first sum, together with the truncated log-ratio correction in (6.8), is not controlled. The omitted logarithm is log(M_Mink/M^φ_Mink) ≈ 2/λ² per mode, contributing approximately 4/l³ after the (2l+1) degeneracy, which is the same order as the retained 8/l³ leading term; when the full graviton prefactor (λ+1)/(λ−3) is kept, the two corrections cancel at leading order. Therefore the O(1) coefficient in (6.11)–(6.13) is not established by the calculation as written.
- [Section 6, Eqs. (6.9)–(6.10)] The mode sum is evaluated by taking the s→0 limit termwise. This interchange is not justified: for the scalar mode sum alone, the termwise limit Σ(2l+1) log[(λ−1)/λ] is logarithmically divergent, and Candelas's finite −1/6 is obtained only by summing at finite s before taking the coincidence limit. The same treatment is required for the correction series (6.10), yet none is provided, so the finiteness, sign, and scaling of the renormalized variance remain open.
- [Section 2, Eq. (2.12); Section 5, Eq. (5.11)] The renormalization prescription, subtracting the Minkowski propagator at equal coordinate distance, is a divergence subtraction but not a unique one. Finite local counterterms, for example curvature-dependent terms in composite-operator renormalization, can shift the constant in (6.13). The paper should state why the coefficient √(8π) is scheme-independent, or present the result as a parametric scaling rather than a precise numerical prediction.
minor comments (3)
- [Section 1 and Section 2] There are small typos: 'Groenenboem' should be 'Groenenboom', and 'preferentially' appears to be a misspelling of 'preferentially'.
- [Section 2, Eq. (2.8)] The notation Var[g_μν] with repeated μν is ambiguous; please clarify that no summation over μν is intended and that the expression refers to the variance of a single component.
- [Section 7, Eq. (7.1)] Substituting d=4, N=1, and T_H ∼ 1/r_H into the quoted formula gives L_c ∼ l_P^{1/2}, not r_H^{1/2} l_P^{1/2}; either the formula is a typographical error or the comparison is dimensionally inconsistent.
Circularity Check
No significant circularity: the central variance is computed from external propagator inputs and an independent Minkowski subtraction; Section 6 errors are correctness risks, not circular reductions.
full rationale
The derivation chain is self-contained within linearized quantum gravity and does not reduce to its inputs by construction. The central variance in Eq. (6.6) is assembled from two independent computational inputs: the Schwarzschild graviton mode propagator of Gaddam and Groenenboom (external prior work, Eqs. (5.5)-(5.7)) and a Minkowski-space Regge-Wheeler propagator derived in this paper's Appendices B-D (Eqs. (5.8)-(5.10), (D.29)-(D.31)). The Candelas scalar result used in Eq. (6.9) is also an external benchmark, not a quantity defined by the authors. No parameter is fitted to the target variance; the r_H l_P scaling follows from the dimensionful prefactor kappa^2 r_H^2 after dimensionless mode sums are evaluated. The Minkowski subtraction at the same coordinate radius does not inject the target scaling, because both effective masses scale as 1/r_H and the logarithm of their ratio is dimensionless. The self-citations (Parikh-Wilczek, Refs. [1], [2], [5]) are contextual and do not carry the derivation. The serious issues in Section 6—the disappearance of the (lambda+1)/(lambda-3) prefactor between Eqs. (5.11)/(6.6) and (6.7), and the uncontrolled replacement of M_Mink by M^phi_Mink in Eq. (6.8), with a dropped logarithm of the same order as the retained tail—are technical correctness and rigor defects, not circular reductions. Equation (6.8) is an approximation asserted for large l, not a definitional identity, and Candelas's finite value does not encode the graviton result. The renormalization prescription is a scheme choice, but it is applied to independently computed Schwarzschild and Minkowski propagators; scheme dependence is a robustness concern, not circularity. Correcting Section 6 might change or invalidate the numerical coefficient, but that would be an unsupported calculation, not an input repackaged as a prediction.
Assumptions & free parameters
assumptions (7)
- domain assumption Linearized quantum gravity on a fixed Schwarzschild background; the background metric is treated as classical and the perturbations h_μν are quantized.
- domain assumption The quantum state has ⟨ĝ_μν⟩ = g^(0)_μν and is taken to be the Hartle-Hawking state.
- domain assumption The generalized Regge-Wheeler gauge completely fixes the gauge for l≥2, and the h_θθ components of l=0,1 modes vanish in this gauge.
- ad hoc to paper The near-horizon approximation (r ≈ r_H) is valid for all l modes in the mode sum.
- ad hoc to paper The renormalized coincident-limit sum can be evaluated by replacing the graviton mass M_Mink with the scalar mass M^φ_Mink in the first term and adding the log-ratio correction.
- ad hoc to paper The s→0 limit can be interchanged with the sum over l.
- domain assumption Candelas's scalar result for the l≥2 sum equals the full renormalized scalar sum because l=0,1 modes do not contribute.
Cite this review
Pith. "Pith review of Quantum uncertainty in the area of a black hole." pith.science (2026). https://pith.science/paper/DOFTFQJY
@misc{pith2026241221160,
author = {Pith},
title = {Pith review of: Quantum uncertainty in the area of a black hole},
year = {2026},
howpublished = {\url{https://pith.science/paper/DOFTFQJY}},
note = {Machine review of arXiv:2412.21160}
}
read the original abstract
Quantum fluctuations of the spacetime metric induce an uncertainty in the horizon area of a black hole. Working in linearized quantum gravity, we derive the variance in the area of a four-dimensional Schwarzschild black hole from the renormalized graviton propagator. We find that the standard deviation of the horizon area scales as the product of the Schwarzschild radius and the Planck length. For macroscopic black holes, the quantum uncertainty is therefore enormous in Planck units.
Forward citations
Cited by 1 Pith paper
-
Correlation functions of von Neumann entropy
Two-point correlators of modular Hamiltonians obey entropy-like properties and equal the stress-tensor conformal block for spherical regions in CFT, including imaginary-time separations.
Reference graph
Works this paper leans on
-
[1]
M. K. Parikh and F. Wilczek, Hawking radiation as tunneling , Phys. Rev. Lett. 85, 5042-5045 (2000), [ hep-th/9907001]
arXiv 2000
-
[2]
M. K. Parikh, A Secret tunnel through the horizon , Int. J. Mod. Phys. D 13, 2351-2354 (2004), [hep-th/0405160]
arXiv 2004
-
[3]
N. Gaddam and N. Groenenboom, Soft graviton exchange and the information paradox , Phys. Rev. D 109, 026007 (2024), [ 2012.02355]
arXiv 2024
- [4]
-
[5]
Gauge Theory, Geometry and the Large N Limit
M. Parikh and F. Wilczek, An Action for black hole membranes , Phys. Rev. D 58, 064011 (1998), [hep-th/9712077]
work page Pith review arXiv 1998
-
[6]
Quantization of Gravity in the Black Hole Background
R. Kallosh and A. A. Rahman, Quantization of gravity in the black hole background , Phys. Rev. D 104, 086008 (2021), [ 2106.01966]
work page Pith review arXiv 2021
-
[7]
Quantization of Gravity in Spherical Harmonic Basis
R. Kallosh, Quantization of gravity in spherical harmonic basis , Phys. Rev. D 104, 086023 (2021), [2107.02099]
work page Pith review arXiv 2021
-
[8]
T. Regge and J. A. Wheeler, Stability of a Schwarzschild singularity , Phys. Rev. D 108, 1063-1069 (1957)
work page 1957
Show all 17 references
-
[9]
F. J. Zerilli, Gravitational field of a particle falling in a Schwarzschild geometry analyzed in tensor harmonics , Phys. Rev. D 2, 2141-2160 (1970)
1970
-
[10]
Candelas, Vacuum Polarization in Schwarzschild Space-Time , Phys
P. Candelas, Vacuum Polarization in Schwarzschild Space-Time , Phys. Rev. D 21, 2185-2202 (1980)
1980
-
[11]
Marolf, On the quantum width of a black hole horizon , Springer Proc
D. Marolf, On the quantum width of a black hole horizon , Springer Proc. Phys. 98, 99-112 (2005), [hep-th/0312059]
2005 arXiv
-
[12]
Bousso and G
R. Bousso and G. Penington, Islands far outside the horizon , JHEP 11, 164 (2024), [2312.03078]. – 26 –
2024 arXiv
-
[13]
Banks, P
T. Banks, P. Draper and M. Karydas, Breakdown of field theory in near-horizon regions , JHEP 06, 153 (2024), [ 2401.03572]
2024 arXiv
-
[14]
Gaddam and N
N. Gaddam and N. Groenenboom, A toolbox for black hole scattering , [2207.11277]
-
[15]
Martel and E
K. Martel and E. Poisson, Gravitational perturbations of the Schwarzschild spacetime: A Practical covariant and gauge-invariant formalism , Phys. Rev. D 71, 104003 (2005), [gr-qc/0502028]
2005 arXiv
-
[16]
Gukov, V
S. Gukov, V. S. H. Lee and K. M. Zurek, Near-horizon quantum dynamics of 4D Einstein gravity from 2D Jackiw-Teitelboim gravity , Phys. Rev. D 107, 016004 (2023), [ 2205.02233]
2023 arXiv
-
[17]
Freivogel and T
B. Freivogel and T. Li, Estimating Quantum Gravity Corrections to Correlators near Black Holes, [2405.17570]. – 27 –
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.