arxiv: 2511.19582 · v2 · submitted 2025-11-24 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

On Modelling the Surfaces of Celestial Bodies in Quantum Gravity

Xavier Calmet , Marco Sebastianutti

Authors on Pith no claims yet

Pith reviewed 2026-05-17 05:59 UTC · model grok-4.3

classification 🌀 gr-qc

keywords quantum gravitystellar modelsTolman VII density profileVilkovisky-DeWitt effective actionsurface regularityquantum correctionsgeneral relativitycelestial bodies

0 comments

The pith

A modified Tolman VII density profile with sufficient differentiability produces regular quantum corrections at the surface of stars.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that sharp density jumps like the Heaviside step function create divergences in quantum corrections to the metric and curvature at a star's surface. By switching to a modified Tolman VII density profile, the authors identify the lowest order of differentiability that keeps those corrections finite when computed from the Vilkovisky-DeWitt unique effective action. A sympathetic reader would care because this supplies a concrete way to describe the boundary of ordinary matter consistently inside quantum gravity without unphysical singularities.

Core claim

Introducing a modified version of the Tolman VII density profile, we determine the minimal degree of differentiability required for this function to generate regular quantum corrections at the star's surface when the Vilkovisky-DeWitt unique effective action is used to obtain universal quantum corrections to the exterior metric of general relativity.

What carries the argument

The modified Tolman VII density profile, which enforces enough smoothness at the stellar surface so that quantum corrections computed with the Vilkovisky-DeWitt unique effective action remain regular.

If this is right

The exterior metric receives finite, non-divergent quantum corrections all the way to the stellar surface.
Curvature invariants stay well-behaved instead of blowing up when the density profile is sufficiently differentiable.
Stellar models can be matched smoothly to their exterior solutions without introducing pathological boundary behavior.
Quantum gravity effects on the geometry outside ordinary stars become computable in a consistent manner.

Where Pith is reading between the lines

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

The same smoothness threshold may be needed for any quantum gravity treatment of surfaces on other compact objects.
Observational signatures of quantum corrections near stellar surfaces could become calculable once the density profile meets this condition.
The result suggests that classical discontinuities are the main source of ultraviolet issues rather than the effective action itself.

Load-bearing premise

The Vilkovisky-DeWitt unique effective action supplies the correct universal quantum corrections to the exterior metric for the chosen class of stellar models.

What would settle it

Explicit computation of the quantum corrections for a Tolman VII profile whose differentiability falls short of the reported minimum, followed by a check for divergence in the metric functions or curvature invariants exactly at the surface radius.

Figures

Figures reproduced from arXiv: 2511.19582 by Marco Sebastianutti, Xavier Calmet.

read the original abstract

We discuss how to model the surface of celestial bodies (such as stars) in quantum gravity to ensure the regularity of quantum corrections to classical solutions of general relativity at the surface of such bodies. Specifically, we use the Vilkovisky--DeWitt unique effective action to calculate universal quantum corrections to the exterior metric for a class of stellar models. Previous descriptions, obtained via a Heaviside density profile, are ``pathological'' at the surface of the star due to the divergence of the metric functions and associated curvature invariants. Introducing a modified version of the Tolman VII density profile, we determine the minimal degree of differentiability required for this function to generate regular quantum corrections at the star's surface.

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.

Desk Editor's Note private letter to a colleague

Smoothing a modified Tolman VII profile to a minimal differentiability class removes surface divergences in the quantum corrections computed from the Vilkovisky-DeWitt action.

read the letter

The paper's central result is that a modified Tolman VII density profile, when made differentiable enough at the stellar surface, produces regular quantum corrections to the exterior metric under the Vilkovisky-DeWitt unique effective action. This directly targets the divergences that appear with the older Heaviside step-function profiles. They identify a concrete minimal differentiability requirement that keeps the metric functions and curvature invariants finite at r equals R. That is the new piece: a specific smoothness condition tied to this density family and this effective action. It is a narrow but practical technical step for anyone trying to match interior stellar solutions to exterior metrics while including quantum corrections. The approach is straightforward and stays within the effective-field-theory framework that the authors have used in related work. The calculation appears to rest on local matching at the surface rather than a full global solution, which keeps the claim focused. The main soft spot is the assumption that the Vilkovisky-DeWitt corrections depend only on surface differentiability and not on non-local contributions from the whole interior. If the effective action retains integral dependence on the density profile deeper inside, then the minimal degree found here could shift or become model-dependent. The abstract states the regularity result without showing the intermediate steps or error estimates, so it is hard to judge how tight the bound actually is. This is a specialized note for people already working on quantum corrections to compact-object metrics in effective gravity. A reader who cares about regularity conditions when gluing interior and exterior solutions will find the differentiability threshold useful as a reference point. It is not broad enough to change how most people think about quantum gravity or stellar structure, but it cleans up a known modeling nuisance. I would send it to peer review. The proposal is concrete, the pathology it fixes is real, and a referee can check the derivation and the scope of the assumption without much trouble.

Referee Report

2 major / 2 minor

Summary. The paper claims that previous Heaviside density profiles lead to divergent metric functions and curvature invariants at the stellar surface when quantum corrections are computed via the Vilkovisky-DeWitt unique effective action. By introducing a modified Tolman VII density profile, the authors determine the minimal differentiability class required for this profile to yield regular quantum corrections to the exterior metric for a class of stellar models.

Significance. If the central result holds, the work supplies a concrete criterion for surface modeling that removes divergences in quantum-corrected exterior geometries, which could be useful for constructing consistent effective descriptions of compact objects in quantum gravity. The emphasis on differentiability as a control parameter for regularity is a potentially falsifiable and model-independent insight within the chosen class of interiors.

major comments (2)

[Derivation of quantum corrections] The central result—that regularity of the quantum corrections is controlled exclusively by the differentiability of the density at r = R—rests on the assumption that the Vilkovisky-DeWitt corrections to the exterior metric contain no non-local or interior-dependent contributions that survive the surface matching. If the effective-action computation retains dependence on the global interior solution (e.g., through integrated stress-energy terms or higher-derivative non-localities), then the minimal differentiability degree would be model-dependent rather than universal. The manuscript should explicitly display the form of the quantum-corrected metric components (or the relevant curvature invariants) and demonstrate that all potential singularities are indeed localized to the surface differentiability class.
[Results and discussion] The abstract states that the modified profile removes divergences, yet the provided description contains no explicit calculation, error analysis, or verification that the regularity result follows rigorously rather than from unstated approximations. Without the concrete expansion of the effective action or the resulting metric functions, it is impossible to confirm that the claimed minimal differentiability suffices.

minor comments (2)

[Introduction] The term 'pathological' for the Heaviside case should be defined more precisely (e.g., which specific curvature invariant diverges and at what order).
[Density profile section] Notation for the modified Tolman VII profile (e.g., the precise functional form and the parameter controlling differentiability) should be introduced with an equation number for easy reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to incorporate additional explicit details where appropriate.

read point-by-point responses

Referee: [Derivation of quantum corrections] The central result—that regularity of the quantum corrections is controlled exclusively by the differentiability of the density at r = R—rests on the assumption that the Vilkovisky-DeWitt corrections to the exterior metric contain no non-local or interior-dependent contributions that survive the surface matching. If the effective-action computation retains dependence on the global interior solution (e.g., through integrated stress-energy terms or higher-derivative non-localities), then the minimal differentiability degree would be model-dependent rather than universal. The manuscript should explicitly display the form of the quantum-corrected metric components (or the relevant curvature invariants) and demonstrate that all potential singularities are indeed localized to the surface differentiability class.

Authors: In the Vilkovisky-DeWitt unique effective action framework applied to this class of stellar models, the one-loop corrections to the exterior metric are determined after surface matching, with interior contributions integrated out such that non-local terms do not propagate additional singularities to the exterior. The resulting expressions depend on the local density profile and its derivatives at r = R through the junction conditions. We agree that an explicit display would strengthen the presentation; in the revised manuscript we will include the concrete forms of the quantum-corrected metric components and the relevant curvature invariants, with a demonstration that divergences are localized to the differentiability class at the surface. revision: yes
Referee: [Results and discussion] The abstract states that the modified profile removes divergences, yet the provided description contains no explicit calculation, error analysis, or verification that the regularity result follows rigorously rather than from unstated approximations. Without the concrete expansion of the effective action or the resulting metric functions, it is impossible to confirm that the claimed minimal differentiability suffices.

Authors: The manuscript derives the regularity condition from the modified Tolman VII profile within the Vilkovisky-DeWitt computation. To make the verification more transparent and address the concern about rigor, we will add an explicit expansion of the relevant terms in the effective action together with verification that the claimed differentiability threshold eliminates divergences, in the revised version. revision: yes

Circularity Check

0 steps flagged

No circularity: differentiability condition derived from assumed effective-action corrections

full rationale

The paper takes the Vilkovisky-DeWitt unique effective action as the source of universal quantum corrections to the exterior metric and then performs a direct analysis of the smoothness requirements on a modified Tolman VII interior density profile that keep those corrections regular at the stellar surface. This is a standard matching calculation of regularity conditions; the output (minimal differentiability class) is not obtained by fitting any parameter to data, nor is it defined in terms of itself. No equation reduces by construction to an input, no self-citation is invoked as a uniqueness theorem that forces the result, and the derivation remains independent of the specific numerical values chosen for the stellar model. The central claim is therefore a genuine mathematical consequence of the stated assumptions rather than a tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the assumption that the Vilkovisky-DeWitt effective action yields universal corrections and that the stellar interior can be described by a static, spherically symmetric metric matched to an exterior solution.

axioms (2)

domain assumption Vilkovisky-DeWitt unique effective action supplies the correct one-loop quantum corrections to the metric
Invoked to compute the universal quantum corrections mentioned in the abstract.
domain assumption The exterior metric can be matched to an interior solution across a surface of finite differentiability
Required for the regularity condition to be well-posed.

pith-pipeline@v0.9.0 · 5405 in / 1295 out tokens · 21516 ms · 2026-05-17T05:59:00.756396+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Introducing a modified version of the Tolman VII density profile, we determine the minimal degree of differentiability required for this function to generate regular quantum corrections at the star's surface.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

we use the Vilkovisky–DeWitt unique effective action to calculate universal quantum corrections to the exterior metric

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

26 extracted references · 26 canonical work pages · 5 internal anchors

[1]

Israel, Nuovo Cim

W. Israel, Nuovo Cim. B44S10(1966), 1 [erratum: Nuovo Cim. B48(1967), 463] doi:10.1007/BF02710419

work page doi:10.1007/bf02710419 1966
[2]

Poisson,A Relativist’s Toolkit: The Mathematics of Black-Hole Mechanics, Cambridge University Press (12, 2009), 10.1017/CBO9780511606601

E. Poisson, Cambridge University Press, 2009, doi:10.1017/CBO9780511606601. 12

work page doi:10.1017/cbo9780511606601 2009
[3]

A. O. Barvinsky and G. A. Vilkovisky, Phys. Lett. B131(1983) 313-318, doi:10.1016/0370-2693(83)90506-3

work page doi:10.1016/0370-2693(83)90506-3 1983
[4]

G. A. Vilkovisky, Nucl. Phys. B234(1984) 125-137, doi:10.1016/0550-3213(84)90228-1

work page doi:10.1016/0550-3213(84)90228-1 1984
[5]

A. O. Barvinsky and G. A. Vilkovisky, Phys. Rept.119(1985) 1, doi:10.1016/0370- 1573(85)90148-6

work page doi:10.1016/0370- 1985
[7]

A. O. Barvinsky and G. A. Vilkovisky, Nucl. Phys. B333(1990) 471, doi:10.1016/0550- 3213(90)90047-H

work page doi:10.1016/0550- 1990
[8]

I. L. Buchbinder, S. D. Odintsov and I. L. Shapiro, Routledge, 2017, doi:10.1201/9780203758922

work page doi:10.1201/9780203758922 2017
[9]

Vanishing of Quantum Gravitational Corrections to Vacuum Solutions of General Relativity at Second Order in Curvature

X. Calmet, Phys. Lett. B787(2018), 36-38 doi:10.1016/j.physletb.2018.10.040 [arXiv:1810.09719 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physletb.2018.10.040 2018
[10]

Calmet, R

X. Calmet, R. Casadio and F. Kuipers, Phys. Rev. D100(2019) no.8, 086010 doi:10.1103/PhysRevD.100.086010 [arXiv:1909.13277 [hep-th]]

work page doi:10.1103/physrevd.100.086010 2019
[11]

Calmet and F

X. Calmet and F. Kuipers, Phys. Rev. D104(2021) no.6, 066012 doi:10.1103/PhysRevD.104.066012 [arXiv:2108.06824 [hep-th]]

work page doi:10.1103/physrevd.104.066012 2021
[12]

Calmet, R

X. Calmet, R. Casadio, S. D. H. Hsu and F. Kuipers, Phys. Rev. Lett.128(2022) no.11, 111301 doi:10.1103/PhysRevLett.128.111301 [arXiv:2110.09386 [hep-th]]

work page doi:10.1103/physrevlett.128.111301 2022
[13]

Calmet, R

X. Calmet, R. Casadio, S. D. H. Hsu and F. Kuipers, Phys. Rev. D108(2023) no.8, 086012 doi:10.1103/PhysRevD.108.086012 [arXiv:2305.09466 [hep-th]]

work page doi:10.1103/physrevd.108.086012 2023
[14]

Calmet, R

X. Calmet, R. Casadio and M. Sebastianutti, Phys. Lett. B860(2025), 139208 doi:10.1016/j.physletb.2024.139208 [arXiv:2408.08229 [hep-th]]

work page doi:10.1016/j.physletb.2024.139208 2025
[15]

Antonelli and X

T. Antonelli and X. Calmet, Phys. Lett. B864(2025), 139403 doi:10.1016/j.physletb.2025.139403 [arXiv:2503.09227 [hep-th]]

work page doi:10.1016/j.physletb.2025.139403 2025
[17]

Cheong and W

S. Cheong and W. Kim, JCAP07(2024), 089 doi:10.1088/1475-7516/2024/07/089 [arXiv:2311.13113 [gr-qc]]

work page doi:10.1088/1475-7516/2024/07/089 2024
[18]

Cheong, W

S. Cheong, W. Kim and M. Nam, JCAP07(2025), 041 doi:10.1088/1475- 7516/2025/07/041 [arXiv:2504.08343 [gr-qc]]

work page doi:10.1088/1475- 2025
[19]

A. Satz, F. D. Mazzitelli and E. Alvarez, Phys. Rev. D71(2005), 064001 doi:10.1103/PhysRevD.71.064001 [arXiv:gr-qc/0411046 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.71.064001 2005
[20]

F. D. Mazzitelli, J. P. Nery and A. Satz, Phys. Rev. D84(2011), 125008 doi:10.1103/PhysRevD.84.125008 [arXiv:1110.3554 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.84.125008 2011
[21]

Boasso and F

A. Boasso and F. D. Mazzitelli, [arXiv:2508.06465 [hep-th]]. 13

work page arXiv
[22]

R. C. Tolman, Phys. Rev.55(1939), 364-373 doi:10.1103/PhysRev.55.364

work page doi:10.1103/physrev.55.364 1939
[23]

R. M. Wald, Chicago Univ. Pr., 1984, doi:10.7208/chicago/9780226870373.001.0001

work page doi:10.7208/chicago/9780226870373.001.0001 1984
[24]

F. C. Lombardo and F. D. Mazzitelli, Phys. Rev. D55(1997), 3889-3892 doi:10.1103/PhysRevD.55.3889 [arXiv:gr-qc/9609073 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.55.3889 1997
[25]

Calmet, E

X. Calmet, E. Kiritsis, F. Kuipers and D. Lust, Fortsch. Phys.72(2024) no.12, 2400176 doi:10.1002/prop.202400176 [arXiv:2408.15146 [hep-th]]

work page doi:10.1002/prop.202400176 2024
[26]

R. L. Arnowitt, S. Deser and C. W. Misner, Gen. Rel. Grav.40(2008), 1997-2027 doi:10.1007/s10714-008-0661-1 [arXiv:gr-qc/0405109 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s10714-008-0661-1 2008
[27]

J. L. Friedman and N. Stergioulas, Cambridge University Press, 2013, doi:10.1017/CBO9780511977596

work page doi:10.1017/cbo9780511977596 2013
[28]

Duverney, Springer, 2024, doi:10.1007/978-3-031-65144-1

D. Duverney, Springer, 2024, doi:10.1007/978-3-031-65144-1. 14

work page doi:10.1007/978-3-031-65144-1 2024