pith. sign in

arxiv: 2511.21504 · v2 · submitted 2025-11-26 · 🌀 gr-qc · hep-th· math-ph· math.MP

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

classification 🌀 gr-qc hep-thmath-phmath.MP
keywords entanglement entropySchwarzschild black holenon-minimal couplingself-interacting scalarreplica trickheat kernelblack hole thermodynamicsrenormalization
0
0 comments X p. Extension

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.

The paper calculates the leading correction in the scalar self-coupling strength α to the entanglement entropy of a massive scalar field with arbitrary non-minimal curvature coupling ξ, computed across the horizon of a Schwarzschild black hole. It employs the replica trick on a conical spacetime and heat-kernel techniques in proper-time regularization to derive a closed-form expression for this correction. The calculation reveals that a log-enhanced quadratic divergence in the bare result is canceled by the bulk mass counterterm at this order in α, while the leftover divergence renormalizes Newton's constant to keep the Bekenstein-Hawking formula intact with the finite coupling. The finite part of the correction turns out to be proportional to (1/6 - ξ) and therefore disappears exactly when the coupling is conformal.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2511.21504 by Florin Manea.

Figure 1
Figure 1. Figure 1: Left: δS(1) grows with increasing interaction strength α and decreases with curvature coupling ξ. Middle: δS(1) is largest for light scalar fields (m small) and strong interactions (α large). Right: δS(1) is suppressed by curvature (ξ) and enhanced for lighter fields. The UV regulator ϵ was set to 10−10 renormalized Newton’s constant therefore plays a central role in ensuring that, in the presence of curva… view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

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)
  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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The computation rests on standard techniques of QFT in curved spacetime; no new free parameters are fitted and no new entities are postulated.

axioms (2)
  • standard math Replica trick applied to the conical manifold M_n
    Standard method to compute entanglement entropy via partition function on n-sheeted cover.
  • domain assumption Heat-kernel expansion in proper-time regularization
    Used to extract the first-order correction in α from the scalar propagator on the background with conical singularity.

pith-pipeline@v0.9.0 · 5497 in / 1434 out tokens · 88695 ms · 2026-05-17T05:01:25.847344+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

22 extracted references · 22 canonical work pages · 8 internal anchors

  1. [1]

    Black holes and entropy,

    J. D. Bekenstein, “Black holes and entropy,” Phys. Rev. D7, 2333–2346 (1973). doi:10.1103/PhysRevD.7.2333

  2. [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. [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. [4]

    On Geometric Entropy,

    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. [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]]

  6. [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]

  7. [7]

    Heat Kernels on Curved Cones,

    Dowker, J.S. “Heat Kernels on Curved Cones,” Class. Quantum Grav. **11**, L137 (1994). doi:10.1088/0264-9381/11/11/003

  8. [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,

  9. [9]

    Cones, Spins and Heat Kernels

    Fursaev, D.V.; Miele, G. “Cones, Spins and Heat Kernels,” Nucl. Phys. B **484**, 697–723 (1997). arXiv:hep-th/9605153

  10. [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. [11]

    Trouble For Remnants

    Susskind, L. “Trouble for Remnants,” Phys. Rev. D **52**, 4527–4531 (1995). arXiv:hep-th/9501106

  12. [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. [13]

    Entropy and Area

    Srednicki, M. “Entropy and Area,” Phys. Rev. Lett. **71**, 666–669 (1993). doi:10.1103/PhysRevLett.71.666 arXiv:hep-th/9303048

  14. [14]

    Remarks on geometric entropy

    Dowker, J.S. “Remarks on Geometric Entropy,” Class. Quant. Grav. **11**, L55–L60 (1994). arXiv:hep-th/9401159 10

  15. [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. [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. [17]

    Ruan and Y.-k

    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. [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. [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. [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]

  21. [21]

    The Spectral Theorem and Beyond,

    Pouliot, G. “The Spectral Theorem and Beyond,” August 23, 2008

  22. [22]

    Path Integral Notes

    Driver, B.K. “Path Integral Notes. ” 11