Entanglement Entropy of a Non-Minimally Coupled Self-Interacting Scalar across a Schwarzschild Horizon at mathcal{O}(α)
Pith reviewed 2026-05-17 05:01 UTC · model grok-4.3
The pith
The first-order correction from a self-interacting non-minimally coupled scalar to black hole entanglement entropy vanishes for conformal coupling after renormalization.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
At order α the entanglement entropy correction δS^(1)(m,α,ξ) for a non-minimally coupled self-interacting scalar across a Schwarzschild horizon has its leading divergences canceled by the mass counterterm, leaving a term that renormalizes Newton's constant and a finite correction proportional to (1/6-ξ) which vanishes for conformal coupling ξ=1/6.
What carries the argument
The replica trick on the conical manifold combined with the heat-kernel expansion in proper-time regularization, which isolates the contribution from the distributional curvature at the conical tip.
If this is right
- The Bekenstein-Hawking entropy formula continues to hold with a renormalized Newton's constant after including the scalar self-interaction at first order.
- The entanglement entropy correction depends linearly on the deviation of the non-minimal coupling from its conformal value.
- No first-order correction arises for a conformally coupled scalar field.
- The renormalization of G absorbs the residual m² ln divergence.
Where Pith is reading between the lines
- This structure may indicate that conformal coupling shields the entropy from perturbative interaction effects in curved spacetime.
- Similar cancellations could occur for other black hole solutions or at higher orders in the coupling.
Load-bearing premise
The bulk mass counterterm precisely cancels the log-enhanced quadratic divergence generated by the interaction between bulk fluctuations and the conical tip curvature.
What would settle it
An explicit calculation of the divergent part of the one-loop effective action on the conical manifold that shows the coefficient of ε^{-2} ln(m²ε²) does not match the counterterm contribution would disprove the cancellation.
Figures
read the original abstract
We compute the first-order correction in the quartic coupling $\alpha$ to the entanglement entropy of a massive, non-minimally coupled scalar across the horizon of a four-dimensional Schwarzschild black hole, treating the non-minimal coupling $\xi$ as a free parameter. Combining the replica trick on the conical manifold $\mathcal{M}_n$ with heat-kernel methods in proper-time regularization, we obtain a closed-form expression for $\delta S^{(1)}(m,\alpha,\xi)$. The bare correction exhibits a log-enhanced quadratic divergence $\epsilon^{-2}\ln(m^2\epsilon^2)$, arising from interference between bulk fluctuations and the distributional curvature at the tip; we show it is cancelled at $\mathcal{O}(\alpha)$ by the bulk mass counterterm. The residual $m^2\ln(m^2\epsilon^2)$ divergence renormalizes Newton's constant, preserving $S_{\mathrm{BH}} = \mathcal{A}_\Sigma / 4 G_F$. The correction is proportional to $(1/6-\xi)$ and vanishes identically for conformal coupling.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper computes the first-order correction in the quartic coupling α to the entanglement entropy of a massive, non-minimally coupled scalar field across the Schwarzschild horizon. It combines the replica trick on the conical manifold M_n with heat-kernel methods in proper-time regularization to obtain a closed-form expression for δS^(1)(m, α, ξ). The bare correction contains a log-enhanced quadratic divergence ε^{-2} ln(m²ε²) arising from interference between bulk fluctuations and the distributional curvature at the conical tip; this is cancelled at O(α) by the bulk mass counterterm. The residual m² ln(m²ε²) divergence renormalizes Newton's constant while preserving S_BH = A_Σ / 4 G_F. The correction is proportional to (1/6 - ξ) and vanishes for conformal coupling.
Significance. If the central cancellation holds, the result clarifies how perturbative self-interactions modify horizon entanglement entropy while the area law is maintained after renormalization of G. The explicit dependence on the non-minimal coupling ξ and the use of conical heat-kernel techniques provide a concrete handle on distributional curvature effects, which may be useful for related calculations in semiclassical gravity and quantum corrections to black-hole thermodynamics.
major comments (1)
- [Abstract and heat-kernel section] Abstract and the O(α) heat-kernel expansion: the claim that the bulk mass counterterm exactly cancels the ε^{-2} ln(m²ε²) divergence at this perturbative order assumes precise coefficient matching. The Seeley-DeWitt coefficients on the conical manifold receive extra contributions from the ξ R φ² term and the δ-function curvature at the tip; the manuscript must show explicitly that the counterterm (typically fixed in the smooth or flat-space limit) reproduces the required cancellation without residual mismatch at O(α).
minor comments (1)
- [Regularization and notation] Clarify the precise definition of the proper-time cutoff ε and its relation to the conical deficit angle in the regularization scheme to make the divergence structure fully transparent.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comment on the explicit demonstration of the divergence cancellation. We address the point below and have revised the manuscript to strengthen the presentation of the coefficient matching.
read point-by-point responses
-
Referee: [Abstract and heat-kernel section] Abstract and the O(α) heat-kernel expansion: the claim that the bulk mass counterterm exactly cancels the ε^{-2} ln(m²ε²) divergence at this perturbative order assumes precise coefficient matching. The Seeley-DeWitt coefficients on the conical manifold receive extra contributions from the ξ R φ² term and the δ-function curvature at the tip; the manuscript must show explicitly that the counterterm (typically fixed in the smooth or flat-space limit) reproduces the required cancellation without residual mismatch at O(α).
Authors: We thank the referee for highlighting the need for explicit verification. In Section III of the manuscript we derive the O(α) heat-kernel coefficients on the conical manifold, explicitly including the additional contributions arising from the ξ R φ² interaction and the δ-function curvature localized at the conical tip. The bulk mass counterterm is fixed by the standard renormalization conditions imposed in the smooth-manifold (or flat-space) limit. We then substitute these coefficients into the expression for δS^(1) and verify, term by term, that the ε^{-2} ln(m²ε²) piece is precisely cancelled by the counterterm contribution at this perturbative order, with no residual mismatch. To make this coefficient matching fully transparent, we have added an expanded paragraph in the revised heat-kernel section that isolates the bulk versus tip contributions and displays the cancellation algebraically. This revision directly addresses the referee’s concern while preserving the original result. revision: yes
Circularity Check
No significant circularity; derivation uses standard replica trick and heat-kernel methods
full rationale
The paper computes the O(α) correction to entanglement entropy via the replica trick on the conical manifold M_n combined with proper-time heat-kernel regularization. The claimed cancellation of the ε^{-2} ln(m²ε²) divergence by the bulk mass counterterm, the residual m² ln term renormalizing G, and the proportionality to (1/6-ξ) are presented as outputs of the explicit expansion of the Seeley-DeWitt coefficients including the non-minimal and distributional curvature contributions. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the result for conformal coupling follows directly from the standard (1/6-ξ) factor in the curvature coupling. The calculation is self-contained against external heat-kernel benchmarks on conical spaces.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Replica trick applied to the conical manifold M_n
- domain assumption Heat-kernel expansion in proper-time regularization
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The bare correction exhibits a log-enhanced quadratic divergence ε^{-2} ln(m²ε²) ... cancelled at O(α) by the bulk mass counterterm. The residual m² ln(m²ε²) divergence renormalizes Newton's constant, preserving S_BH = A_Σ / 4 G_F. The correction is proportional to (1/6-ξ)
-
IndisputableMonolith/Foundation/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
δa1(x;n) = (1/6-ξ)(n²-1/n) ... Gsing ∝ (n-1)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
J. D. Bekenstein, “Black holes and entropy,” Phys. Rev. D7, 2333–2346 (1973). doi:10.1103/PhysRevD.7.2333
-
[2]
Particle creation by black holes,
S. W. Hawking, “Particle creation by black holes,” Commun. Math. Phys.43, 199–220 (1975). doi:10.1007/BF02345020
-
[3]
Entanglement Entropy in Free Quantum Field Theory,
Casini, H., and Huerta, M. “Entanglement Entropy in Free Quantum Field Theory,” J. Phys. A **42**, 504007 (2009). doi:10.1088/1751-8113/42/50/504007
-
[4]
Callan, C.G., and Wilczek, F. “On Geometric Entropy,” Phys. Lett. B **333**, 55–61 (1994). doi:10.1016/0370-2693(94)91007-3
-
[5]
Entanglement entropy for free scalar fields in AdS
Sugishita, S. “Entanglement Entropy for Free Scalar Fields in AdS,” J. High Energ. Phys. **2016**, 128 (2016). doi:10.1007/JHEP09(2016)128 [arXiv:1608.00305 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep09(2016)128 2016
-
[6]
Anomalies, entropy and boundaries
Fursaev, D.V., and Solodukhin, S.N. “Anomalies, Entropy and Boundaries,” Phys. Lett. B **365**, 51–55 (1996). arXiv:1601.06418 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[7]
Dowker, J.S. “Heat Kernels on Curved Cones,” Class. Quantum Grav. **11**, L137 (1994). doi:10.1088/0264-9381/11/11/003
-
[8]
Entanglement entropy of black holes
Solodukhin, S.N. “Entanglement Entropy of Black Holes,” Living Rev. Relativity **14**, 8 (2011). doi:10.48550/arXiv.1104.3712,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1104.3712 2011
-
[9]
Fursaev, D.V.; Miele, G. “Cones, Spins and Heat Kernels,” Nucl. Phys. B **484**, 697–723 (1997). arXiv:hep-th/9605153
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[10]
On the Description of the Riemannian Geometry in the Pres- ence of Conical Defects,
Fursaev, D.V., and Solodukhin, S.N. “On the Description of the Riemannian Geometry in the Pres- ence of Conical Defects,” Phys. Rev. D **52**, 2133–2143 (1995). doi:10.1103/PhysRevD.52.2133
-
[11]
Susskind, L. “Trouble for Remnants,” Phys. Rev. D **52**, 4527–4531 (1995). arXiv:hep-th/9501106
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[12]
Heat Kernel Expansion: User’s Manual,
Vassilevich, D.V. “Heat Kernel Expansion: User’s Manual,” Phys. Rep. **388**, 279–360 (2003). doi:10.1016/j.physrep.2003.09.002
-
[13]
Srednicki, M. “Entropy and Area,” Phys. Rev. Lett. **71**, 666–669 (1993). doi:10.1103/PhysRevLett.71.666 arXiv:hep-th/9303048
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.71.666 1993
-
[14]
Dowker, J.S. “Remarks on Geometric Entropy,” Class. Quant. Grav. **11**, L55–L60 (1994). arXiv:hep-th/9401159 10
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[15]
Thermo-Field Dynamics of Black Holes,
Israel, W. “Thermo-Field Dynamics of Black Holes,” Phys. Lett. A **57**, 107–110 (1976). doi:10.1016/0375-9601(76)90178-X
-
[16]
Quantum Source of Entropy for Black Holes,
Bombelli, L.; Koul, R.K.; Lee, J.; Sorkin, R. “Quantum Source of Entropy for Black Holes,” Phys. Rev. D **34**, 373–383 (1986). doi:10.1103/PhysRevD.34.373
-
[17]
Ruan, S.-M.; Suzuki, Y. “Toward a Consistent Definition of Holographic Entanglement Entropy in de Sitter Space,” J. High Energ. Phys. **2025**, 08, 14478. arXiv:2508.14478 [hep-th]
-
[18]
Vacuum Stress Tensor in an Einstein Universe: Finite-Temperature Effects,
Dowker, J.S.; Critchley R. “Vacuum Stress Tensor in an Einstein Universe: Finite-Temperature Effects,” Phys. Rev. D **15**, 1484 (1977). doi:10.1103/PhysRevD.15.1484
-
[19]
The Evaluation of the Collision Matrix,
Wick, G.C. “The Evaluation of the Collision Matrix,” Phys. Rev. **80**, 268–272 (1950). doi:10.1103/PhysRev.80.268
-
[20]
Zero Cosmological Constant from Normalized General Relativity
Davidson, A.; Rubin, S. “Zero Cosmological Constant from Normalized General Relativity,” Class. Quant. Grav. **26**, 235019 (2009). arXiv:0905.0661 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[21]
The Spectral Theorem and Beyond,
Pouliot, G. “The Spectral Theorem and Beyond,” August 23, 2008
work page 2008
- [22]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.