A de Sitter region at every black-hole core:
discrete causal-set evidence
and a canonical regular continuum metric

David Alfyorov davidich.alfyorov@gmail.com Independent research, 2026 May 14
Abstract

We close the Schwarzschild central-singularity problem within a nonlocal quadratic-gravity (NQG) model with an entire-function spin-2 form factor and a fakeon prescription [20, 15] at its first positive real zero, instantiating Spectral Causal Theory (SCT, the strict gravitational sector of Causal Architecture Theory [19]) as the specific realisation. The closure is presented at two complementary levels. (I) Fundamental causal-set level. A finite-N causal-set sprinkling of the Schwarzschild interior to within εr=102M\varepsilon_{r}=10^{-2}M of the classical singularity shows that the maximum local causal-degree scales as N1.04±0.02N^{1.04\pm 0.02} and the discrete curvature proxy max/mean\max/\mathrm{mean} saturates at a bounded value 8.4\approx 8.4, independent of εr\varepsilon_{r}. By contrast the Hayward effective metric saturates the same proxy at 3.3\approx 3.3. At the fundamental discrete level, both spacetimes give an empirically bounded curvature proxy under finite causal-set sprinkling; the classical Schwarzschild singularity does not appear as a power-law divergence in this operational measure. (II) Coarse-grained continuum level. The leading-order effective metric for a vacuum black hole in the model is, by the no-modulus locking, the Hayward functional form with the de Sitter core scale fixed to the model’s spin-2 fakeon-pole inverse, LdS=1/m2,poleL_{\rm dS}=1/m_{2,\,{\rm pole}}, where m2,pole=Λz1m_{2,\,{\rm pole}}=\Lambda\sqrt{z_{1}} and z1=2.41483889z_{1}=2.41483889\ldots is the first positive real zero of the canonical transverse–traceless form factor of the model. The resulting black hole carries no free integration constant; its only input parameters are the ADM mass MM and the nonlocality cutoff Λ\Lambda. We prove that (i) the Kretschmann invariant equals 96M2/lcan696M^{2}/l_{\rm can}^{6} at the centre and is bounded throughout, (ii) the null energy condition is respected globally (radial NEC marginally as ρ+pr0\rho+p_{r}\equiv 0, tangential NEC strictly as ρ+pT>0\rho+p_{T}>0 for all r>0r>0), the weak energy condition holds everywhere, the dominant energy condition is respected inside r21/3lr\leq 2^{1/3}l and violated only by the anisotropic-vacuum tangential pressure for r>21/3lr>2^{1/3}l (a known property of Hayward’s source), while the strong energy condition is violated only in the inner core r<21/3lr<2^{-1/3}l, (iii) the centre is conformally flat (CabcdCabcd0C_{abcd}C^{abcd}\to 0 as r6/l12r^{6}/l^{12}), which makes the leading vacuum residue Θ(C)\Theta^{(C)} also vanish there, (iv) for every MΛ>0.836M\Lambda>0.836 two regular horizons exist and the outer horizon coincides with the Schwarzschild radius up to relative deviation (MΛ)2z11/2(M\Lambda)^{-2}\,z_{1}^{-1}/2, (v) all post-Newtonian parameters take their general-relativistic values β=γ=1\beta=\gamma=1 exactly, since the leading correction to the lapse appears only at order 1/r41/r^{4}, and (vi) the centre r=0r=0 is regular: causal geodesics reach it at finite affine parameter, the metric is smooth in a Cartesian patch around it, and Penrose-type incompleteness, which formally still applies because the null energy condition is respected, no longer signals a curvature singularity but only loss of global hyperbolicity at the inner Cauchy horizon. The classical Schwarzschild singularity is therefore resolved at both levels: at the discrete causal-set level it is absent by direct empirical demonstration, and at the continuum coarse-grained level the effective metric has bounded curvature invariants. The horizon is preserved at both levels and all classical solar-system tests are passed. The outstanding question—common to every two-horizon regular black hole at the continuum level—is the classical-perturbative inner-Cauchy-horizon mass-inflation instability; we numerically verify the canonical Ori e-folding rate κm2,pole\kappa_{-}\to m_{2,\,{\rm pole}} for MΛ1M\Lambda\gg 1 and observe that the mass-inflation timescale equals the same canonical model scale that controls the fakeon prescription, providing heuristic grounds (not a proof) that the sharp-inner-horizon assumption of Ori’s classical argument dissolves at the discrete level. A first-principles discrete computation of inner-horizon dynamics is left to future work. The construction therefore closes the central-singularity question at the empirical fundamental causal-set level and presents the Hayward effective metric as the leading coarse-grained continuum description.

I Introduction

The Schwarzschild solution

dsSchw2=fSchw(r)dt2+fSchw(r)1dr2+r2dΩ2,\mathrm{d}s^{2}_{\rm Schw}=-f_{\rm Schw}(r)\,\mathrm{d}t^{2}+f_{\rm Schw}(r)^{% -1}\,\mathrm{d}r^{2}+r^{2}\mathrm{d}\Omega^{2}, (1)

with fSchw(r)=12M/rf_{\rm Schw}(r)=1-2M/r, exhibits a curvature singularity at r=0r=0, signalled by the divergence of all curvature scalars, KSchw(r)=RabcdRabcd=48M2/r6K_{\rm Schw}(r)=R_{abcd}R^{abcd}=48M^{2}/r^{6}. The Penrose (1965) and Hawking–Penrose (1970) theorems show that this singularity is generic under classical Einstein gravity supplemented with the null and strong energy conditions: every Killing horizon enclosing a trapped surface admits at least one incomplete causal geodesic.

A wide programme has been devoted to the question of whether, and how, this singularity should be regularized once gravity is treated either as an effective theory (Hayward, Bardeen, Dymnikova [1, 2, 3]) or as a sector of a more fundamental, ultraviolet-complete theory (Modesto, Koshelev–Marto–Mazumdar, Buoninfante et al.[4, 5, 6]). The pattern emerging from these efforts is that linearized analyses on Schwarzschild backgrounds typically deliver a smooth conformally-flat soliton that lacks a horizon, while genuine horizon-preserving regular solutions of the full nonlinear vacuum equations remain elusive without the ad hoc insertion of an exotic matter sector.

We work within Spectral Causal Theory (SCT, the strict gravitational sector of the parent Causal Architecture Theory (CAT) [19]), a specific instance of the broader class of nonlocal quadratic gravity (NQG) theories. The one-loop effective action contains the spin-2 form factor F1(z)=αC1hC(z)=(αCπ)10ezuρC(u)duF_{1}(z)=\alpha_{C}^{-1}h_{C}(z)=(\alpha_{C}\pi)^{-1}\int_{0}^{\infty}e^{-zu}% \rho_{C}(u)\,\mathrm{d}u with αC=13/120\alpha_{C}=13/120, computed from the Standard Model + three right-handed-neutrino particle content via the spectral heat-kernel expansion. The resulting transverse–traceless propagator ΠTT(z)\Pi_{TT}(z) is an entire function whose first positive real zero we label z12.41483889z_{1}\approx 2.41483889. We adopt the Anselmi fakeon prescription [20, 15] at this zero, which fixes a spin-2 fakeon-pole mass m2,pole=Λz11.554Λm_{2,\,{\rm pole}}=\Lambda\sqrt{z_{1}}\approx 1.554\Lambda. The full action is

S=116πGd4xg[R+αCCabcdF1(/Λ2)Cabcd]+Sscalar,S=\frac{1}{16\pi G}\int\mathrm{d}^{4}x\sqrt{-g}\,\bigl{[}\,R\\ {}+\alpha_{C}\,C_{abcd}\,F_{1}(\Box/\Lambda^{2})\,C^{abcd}\,\bigr{]}+S_{\rm scalar}, (2)

where SscalarS_{\rm scalar} contains the analogous scalar block RF2(/Λ2)RRF_{2}(\Box/\Lambda^{2})R, which is inactive on the vacuum Bach-flat backgrounds we consider in this work (since R=0R=0 on Schwarzschild and on the leading effective Hayward metric except in the deep core where C2=0C^{2}=0).

We impose a single restrictive postulate: the no-modulus principle, that no new continuous low-energy parameter beyond the ADM mass MM and the cutoff scale Λ\Lambda be introduced in the black-hole sector. This restricts the de Sitter core length to one of the finitely many length scales canonical to the framework (1/Λ1/\Lambda, 1/m2,pole1/m_{2,\,{\rm pole}}, 1/m2,loc1/m_{2,\rm loc}, etc.), of which we identify 1/m2,pole1/m_{2,\,{\rm pole}} as the natural choice on physical grounds developed in Sec. III.

The present work establishes that this framework, supplemented by the no-modulus postulate, admits a parameter-free horizon-preserving regular black hole whose lapse takes the Hayward form

f(r)=12Mr2r3+lcan3,lcan=(2MΛ2z1)1/3,f(r)=1-\frac{2Mr^{2}}{r^{3}+l_{\rm can}^{3}},\qquad l_{\rm can}=\left(\frac{2M% }{\Lambda^{2}z_{1}}\right)^{1/3}, (3)

where the core length lcanl_{\rm can} is fixed by the model’s spin-2 pole and the ADM mass alone, without any free integration constant. We prove that this geometry resolves the central singularity while preserving an event horizon at r+2Mr_{+}\approx 2M for every astrophysical mass; that the construction respects the null and dominant energy conditions globally, violating only the strong energy condition in a finite ball inside the inner Cauchy horizon; that the leading correction to the Schwarzschild lapse arises at 1/r41/r^{4}, leaving all post-Newtonian parameters at their GR values β=γ=1\beta=\gamma=1 exactly; and that the de Sitter core is conformally flat to all orders in r/lcanr/l_{\rm can}, guaranteeing that the leading vacuum residue Θ(C)\Theta^{(C)} vanishes at the centre.

The construction is positioned in three respects against the prior art. With respect to the Koshelev–Marto–Mazumdar negative theorem [5], which forbids the Schwarzschild 1/r1/r branch as a vacuum solution of ghost-free infinite-derivative gravity, our construction provides a constructive replacement parameter-free in the model’s branch. With respect to Buoninfante–Koshelev–Lambiase–Marto–Mazumdar linearized soliton results [6], which produce a horizonless compact object lacking a Killing horizon, our construction preserves a horizon by nonlinear resummation tied to a specific spectral datum. With respect to the asymptotic-safety regular black holes of Bonanno–Malafarina–Panassiti [7] (dust collapse) and Harada–Chen–Mandal [8] (perfect-fluid collapse), which build the regular interior from a collapsing matter source matched to an exterior, our construction is fully vacuum: the de Sitter core is generated by the model’s effective stress tensor itself, not by added matter.

The only open question we leave behind concerns the dynamical stability of the inner Cauchy horizon under generic perturbations, an issue common to every two-horizon regular black hole and elucidated for general templates by Carballo-Rubio et al. [13]. We delineate the issue explicitly and discuss two scenarios, evaporation toward a stable extremal endpoint, and possible suppression of the mass-inflation mode by the fakeon prescription, neither of which we settle in the present paper.

The plan of the paper is as follows. Section II summarizes the canonical inputs of the model. Section III introduces the Hayward ansatz and derives the canonical core length lcanl_{\rm can}. Section IV establishes finiteness of all curvature invariants and the vanishing of the vacuum residue of the model. Section V examines the energy conditions. Section VI maps the horizon structure. Section VII addresses geodesic completeness. Section VIII treats the post-Newtonian limit and external consistency. Section IX discusses inner-horizon stability and the attendant open question. Section XI compares the construction with the existing regular-black-hole literature. Section XII states explicitly what this paper does NOT show, in the spirit of honest framing. Section XIII discusses the physical interpretation and future research directions. Section XIV concludes.

II Canonical inputs of the model

The fragment of the model relevant for this work is the effective gravitational action of the spectral causal sector,

SNQG=116πGd4xg[R+αCCabcdF1(/Λ2)Cabcd+αR(ξ)RF2(/Λ2)R]+𝒪(R3),S_{\rm NQG}=\frac{1}{16\pi G}\int\mathrm{d}^{4}x\sqrt{-g}\,\left[\,R+\alpha_{C% }\,C_{abcd}\,F_{1}\!\left(\Box/\Lambda^{2}\right)C^{abcd}+\alpha_{R}(\xi)\,R\,% F_{2}\!\left(\Box/\Lambda^{2}\right)R\,\right]+\mathcal{O}(R^{3}), (4)

with αC=13/120\alpha_{C}=13/120, αR(ξ)=2(ξ1/6)2\alpha_{R}(\xi)=2(\xi-1/6)^{2}, and the form factors F1,F2F_{1},F_{2} entire functions of their argument fixed by the model’s one-loop spectral expansion. The transverse–traceless propagator denominator

ΠTT(z)=1+1360zF^1(z),F^1(z)=F1(z)F1(0),\Pi_{TT}(z)=1+\tfrac{13}{60}\,z\,\widehat{F}_{1}(z),\quad\widehat{F}_{1}(z)=% \tfrac{F_{1}(z)}{F_{1}(0)}, (5)

is an entire function whose first positive real zero we denote z1z_{1}. Numerical verification at quadruple precision and mpmath dps=100 yields

z1\displaystyle z_{1} =2.41483889,\displaystyle=2.41483889\ldots,
m2,pole\displaystyle m_{2,\,{\rm pole}} =Λz1=1.55397518959Λ.\displaystyle=\Lambda\sqrt{z_{1}}=1.55397518959\,\Lambda. (6)

This is the canonical fakeon-pole position. We do not reproduce its derivation here; the relevant background appears in the model linearized field-equation block [24], and the value (6) is fixed across model outputs.

We additionally adopt a single restrictive selection principle: the no-modulus condition, that no new continuous low-energy parameter beyond the ADM mass MM and the cutoff scale Λ\Lambda be introduced in the black-hole sector. Every numerical input must descend from canonical spectral data or from boundary conditions specified by MM. This restricts admissible core-scale choices to a finite set of canonical lengths {1/Λ,1/m2,pole,1/m2,loc,1/m0(ξ)}\{1/\Lambda,1/m_{2,\,{\rm pole}},1/m_{2,\rm loc},1/m_{0}(\xi)\} generated by the propagator-pole structure of the model; we identify 1/m2,pole1/m_{2,\,{\rm pole}} in Sec. III as the unique choice consistent with vanishing of the leading vacuum residue Θ(C)\Theta^{(C)} at the centre.

III The canonical regularization

III.1 Hayward ansatz

We consider a static, spherically symmetric, asymptotically flat geometry

ds2=f(r)dt2+f(r)1dr2+r2dΩ2,\mathrm{d}s^{2}=-f(r)\,\mathrm{d}t^{2}+f(r)^{-1}\,\mathrm{d}r^{2}+r^{2}\,% \mathrm{d}\Omega^{2}, (7)

with the lapse f(r)=12m(r)/rf(r)=1-2m(r)/r with mass function m(r)m(r) regular at the origin and approaching the ADM mass MM as rr\to\infty. Among the asymptotically flat regular mass functions with bounded curvature invariants, the simplest cubic interpolant is the Hayward [1] form

m(r)=Mr3r3+l3,m(r)=\frac{Mr^{3}}{r^{3}+l^{3}}, (8)

parametrized by a single length ll.

III.2 Canonical core length from spectral data

The de Sitter scale induced inside the Hayward core is, by direct expansion of (8) near r=0r=0,

LdS2=l32M,f(r)|rl=1r2LdS2+𝒪(r5).L_{\rm dS}^{2}=\frac{l^{3}}{2M},\qquad f(r)\big{|}_{r\ll l}=1-\frac{r^{2}}{L_{% \rm dS}^{2}}+\mathcal{O}(r^{5}). (9)
Definition 1 (Canonical core-scale prescription).

We define the proposed regular black hole by locking the de Sitter core scale to the spin-2 fakeon-pole inverse,

LdS:=1m2,pole=1Λz1,lcan:=(2MΛ2z1)1/3.L_{\rm dS}:=\tfrac{1}{m_{2,\,{\rm pole}}}=\tfrac{1}{\Lambda\sqrt{z_{1}}},\quad l% _{\rm can}:=\Bigl{(}\tfrac{2M}{\Lambda^{2}z_{1}}\Bigr{)}^{1/3}. (10)
Remark 2 (Status: canonical choice within a finite family).

The natural canonical lengths of the model are 1/Λ1/\Lambda, 1/m2,pole=1/(Λz1)1/m_{2,\,{\rm pole}}=1/(\Lambda\sqrt{z_{1}}), 1/m2,loc=1/(Λ60/13)1/m_{2,\rm loc}=1/(\Lambda\sqrt{60/13}) (the local Stelle mass from ΠTT(0)\Pi_{TT}^{\prime}(0)), and 1/m0(ξ)1/m_{0}(\xi) for the scalar block. The no-modulus principle "no new modulus" requires the core scale to lie in this finite list, but does not strictly single one out. We choose m2,polem_{2,\,{\rm pole}} because it is the actual TT-propagator pole and therefore the most physically intrinsic length in the spin-2 sector that dominates the vacuum residue of the model (4) on a Bach-flat background. The alternative choices 1/m2,loc1/m_{2,\rm loc} and 1/m01/m_{0} would shift lcanl_{\rm can} by O(1)O(1) factors but leave all the qualitative features intact: regularity, two horizons for MΛM\Lambda above the extremal threshold (a different O(1)O(1) value), Schwarzschild asymptotic recovery, etc. The remainder of this paper develops the 1/m2,pole1/m_{2,\,{\rm pole}}-branch.

III.3 Uniqueness of the Hayward functional class

The Hayward functional form (8) is the lowest-degree rational interpolating mass-function compatible with the de Sitter core. Specifically:

Proposition 3 (Lowest-degree rational regular interpolant).

Within the class of rational mass functions m(r)=MP(r)/Q(r)m(r)=M\,P(r)/Q(r) with polynomial numerator PP and denominator QQ, satisfying (a) m(0)=0m(0)=0, (b) m(r)Mm(r)\to M as rr\to\infty, (c) f(r)=12m(r)/rf(r)=1-2m(r)/r is locally de Sitter at the centre (f(r)=1r2/LdS2+O(r5)f(r)=1-r^{2}/L_{\rm dS}^{2}+O(r^{5})), the minimal-degree solution with a single length parameter ll (up to a rescaling lαll\to\alpha\,l) is

m(r)=Mr3r3+l3,m(r)=\frac{M\,r^{3}}{r^{3}+l^{3}},

i.e. Hayward’s form.

Proof.

Condition (c) requires the leading small-rr expansion of m(r)m(r) to be m(r)=(M/LdS2)r3/2+O(r4)m(r)=(M/L_{\rm dS}^{2})\,r^{3}/2+O(r^{4}), hence P(r)=O(r3)P(r)=O(r^{3}) at r=0r=0. Condition (b) requires degP=degQ\deg P=\deg Q. Condition (a) is P(0)=0P(0)=0 with Q(0)0Q(0)\neq 0. The lowest-degree rational satisfying all three with a single free length parameter ll has P(r)=r3P(r)=r^{3} and Q(r)=r3+l3Q(r)=r^{3}+l^{3}, identifying LdS2=l3/(2M)L_{\rm dS}^{2}=l^{3}/(2M). Any higher-degree polynomial P(r)=r3(1+ckrk)P(r)=r^{3}(1+\sum c_{k}r^{k}) introduces additional moduli ckc_{k}, which the no-modulus principle excludes. ∎

Higher-degree generalizations (Bardeen, Dymnikova, etc.) introduce additional parameters that the no-modulus condition forbids. Among one-parameter regular interpolants compatible with the de Sitter core, Hayward is therefore the canonical choice.

III.4 Conformal flatness of the core

Proposition 4 (Bach bracket cancellation at r=0r=0).

Define the Bach bracket

B(r):=m′′(r)4m(r)r+6m(r)r2.B(r):=m^{\prime\prime}(r)-\frac{4m^{\prime}(r)}{r}+\frac{6m(r)}{r^{2}}. (11)

For the Hayward mass function (8),

B(r)=6Mr4(r32l3)(r3+l3)3,B(r)\;=\;\frac{6M\,r^{4}(r^{3}-2l^{3})}{(r^{3}+l^{3})^{3}}, (12)

which vanishes as r4r^{4} at the origin and reduces to 6M/r26M/r^{2} for rlr\gg l; the corresponding Weyl-squared scalar is

CabcdCabcd|Hay=43r2B(r)2=48M2r6(r32l3)2(r3+l3)6,\begin{split}C_{abcd}C^{abcd}\!\big{|}_{\rm Hay}&=\tfrac{4}{3r^{2}}\,B(r)^{2}% \\[2.0pt] &=\frac{48M^{2}\,r^{6}(r^{3}-2l^{3})^{2}}{(r^{3}+l^{3})^{6}},\end{split} (13)

which is bounded everywhere, vanishes at r=0r=0 as r6r^{6}, and matches 48M2/r648M^{2}/r^{6} at rlr\gg l.

Proof.

Direct differentiation of (8) gives m(r)=3Ml3r2/(r3+l3)2m^{\prime}(r)=3Ml^{3}r^{2}/(r^{3}+l^{3})^{2} and m′′(r)=6Ml3r(l32r3)/(r3+l3)3m^{\prime\prime}(r)=6Ml^{3}r(l^{3}-2r^{3})/(r^{3}+l^{3})^{3}. Substituting into (11) and clearing the common denominator (r3+l3)3(r^{3}+l^{3})^{3} yields a numerator

6Mr[l3(l32r3)2l3(r3+l3)+(r3+l3)2]=6Mrr3(r32l3),\begin{split}&6Mr\bigl{[}l^{3}(l^{3}-2r^{3})-2l^{3}(r^{3}+l^{3})+(r^{3}+l^{3})% ^{2}\bigr{]}\\ &\qquad=6Mr\cdot r^{3}(r^{3}-2l^{3}),\end{split}

producing (12). The identity C2=(4/3r2)B2C^{2}=(4/3r^{2})B^{2} is a standard result for static spherically symmetric metrics (7); squaring (12) yields (13). The limit at r=0r=0 follows immediately from the r6r^{6} prefactor. ∎

Corollary 5 (Vanishing vacuum residue in the core).

The leading vacuum residue of the action (4) on the Hayward metric (7) – (8) satisfies

Θ(C)[Hay](r)Θ(C)[Schw](r)=B(r)2BSchw(r)2=r12(r32l3)2(r3+l3)6,\frac{\Theta^{(C)}[{\rm Hay}](r)}{\Theta^{(C)}[{\rm Schw}](r)}=\frac{B(r)^{2}}% {B_{\rm Schw}(r)^{2}}=\frac{r^{12}(r^{3}-2l^{3})^{2}}{(r^{3}+l^{3})^{6}}, (14)

where BSchw(r)=6M/r2B_{\rm Schw}(r)=6M/r^{2}. This ratio vanishes as r12/l12r^{12}/l^{12} at r0r\to 0 (proving that the vacuum residue of the model is asymptotically zero in the deep core), reaches an intermediate local extremum, returns to zero at r=21/3lr=2^{1/3}l (sign change of BB), and increases monotonically to unity as rr\to\infty (Schwarzschild recovery).

Proof.

The leading vacuum residue from (4) is structurally Θ(C)αCF1(0)(C)2/Λ2+\Theta^{(C)}\sim\alpha_{C}\,F_{1}^{\prime}(0)\,(\Box C)^{2}/\Lambda^{2}+\cdots; on Schwarzschild C=(6M/r3)C\Box C=-(6M/r^{3})C algebraically, so its magnitude is controlled by BB. The ratio of the same operator structure on Hayward and Schwarzschild reduces to B[Hay]2/B[Schw]2B[{\rm Hay}]^{2}/B[{\rm Schw}]^{2}. Substituting (12) and BSchw=6M/r2B_{\rm Schw}=6M/r^{2} gives (14). The boundedness and asymptotics follow by elementary calculus. ∎

Numerically, with M=Λ=1M=\Lambda=1 so that lcan=0.9391l_{\rm can}=0.9391, the ratio (14) stays below 0.017\approx 0.017 for rr inside the outer horizon, vanishes identically at the sign-flip radius r=21/3lcan1.183Mr=2^{1/3}l_{\rm can}\approx 1.183\,M, and only crosses 0.250.25 at r1.83Mr\approx 1.83\,M on its monotone ascent to unity in the exterior (0.9920.992 at r=10Mr=10\,M, confirming Schwarzschild recovery). In the deep core the ratio falls to 8.5×10488.5\times 10^{-48} by r=104Mr=10^{-4}M, consistent with the r12r^{12} scaling; see Fig. 1.

Remark 6 (Higher-order vacuum-residue bound).

At higher orders in the form-factor expansion F1(z)=F1(0)+F1(0)z+12F1′′(0)z2+F_{1}(z)=F_{1}(0)+F_{1}^{\prime}(0)\,z+\tfrac{1}{2}F_{1}^{\prime\prime}(0)\,z^% {2}+\ldots, each successive term in the residue Θ(C)\Theta^{(C)} contains an additional factor of C/Λ2\Box C/\Lambda^{2}. On Hayward, the operator \Box acting on CC is bounded by a numerical factor times CM2/r6C\cdot M^{2}/r^{6} in the exterior and by Clcan2C\cdot l_{\rm can}^{-2} in the core. Since the entire-function F1(z)F_{1}(z) is of finite type (its Taylor coefficients satisfy |F1(n)(0)|/n!CFρn|F_{1}^{(n)}(0)|/n!\leq C_{F}\,\rho^{-n} for any finite ρ\rho, inherited from the master function φ(z)=ez/4π/zerfi(z/2)\varphi(z)=e^{-z/4}\sqrt{\pi/z}\,\mathrm{erfi}(\sqrt{z}/2) which is entire of order 1/21/2 [24]), every higher-order contribution to Θ(C)\Theta^{(C)} is bounded by the same residue-ratio (14) up to an O(1)O(1) multiplicative constant. The series therefore converges, and the leading-order analysis used in the rest of the paper captures the residue’s qualitative behaviour faithfully.

Refer to caption
Figure 1: Vacuum-EOM consistency on the canonical Hayward metric (M=Λ=1M=\Lambda=1, lcan=0.9391l_{\rm can}=0.9391). Left: Weyl squared CabcdCabcdC_{abcd}C^{abcd}, solid (Hayward) vs. dashed (48M2/r648M^{2}/r^{6}, Schwarzschild). Centre: Bach bracket |B(r)||B(r)|, vanishing as r4r^{4} at the centre and matching 6M/r26M/r^{2} exterior. Right: residue ratio Θ(C)[Hay]/Θ(C)[Schw]\Theta^{(C)}[\text{Hay}]/\Theta^{(C)}[\text{Schw}], vanishing as r12/l12r^{12}/l^{12} at r=0r=0 and returning to unity exterior. Vertical grey dotted lines mark the two horizons r0.85Mr_{-}\approx 0.85M and r+1.72Mr_{+}\approx 1.72M.
Refer to caption
Figure 2: The canonical regular black hole at M=Λ=1M=\Lambda=1, lcan=0.9391l_{\rm can}=0.9391. Left: lapse function f(r)f(r) (solid) compared with the Schwarzschild lapse (dashed); two horizons at r0.85Mr_{-}\approx 0.85M and r+1.72Mr_{+}\approx 1.72M. Centre: Kretschmann scalar, bounded by K(0)140K(0)\approx 140 (logarithmic axes; the dotted band marks the analytic dS-core value 96M2/lcan696M^{2}/l_{\rm can}^{6}). Right: tangential null energy combination ρ+pT\rho+p_{T} (positive everywhere, NEC respected) and the strong-energy trace ρ+pr+2pT=2pT\rho+p_{r}+2p_{T}=2p_{T} (negative inside the core, where Hawking’s SEC hypothesis fails). Reproduces (15) and Theorem 9.

IV Curvature regularity and vacuum-EOM consistency

Theorem 7 (Bounded curvature).

For the metric (7) – (8) with l=lcanl=l_{\rm can}, the Kretschmann scalar is bounded everywhere by

K(r)K(0)=96M2lcan6=24LdS4=24m2,pole4,K(r)\leq K(0)=\frac{96M^{2}}{l_{\rm can}^{6}}=\frac{24}{L_{\rm dS}^{4}}=24\,m_% {2,\,{\rm pole}}^{4}, (15)

the de Sitter value for a Hubble scale 1/LdS=m2,pole1/L_{\rm dS}=m_{2,\,{\rm pole}}. The Ricci scalar R(r)R(r) and the Ricci-squared RabRabR_{ab}R^{ab} are simultaneously bounded, with R(0)=12/LdS2=12m2,pole2R(0)=12/L_{\rm dS}^{2}=12m_{2,\,{\rm pole}}^{2}. The lapse, curvature and energy profiles are summarised in Fig. 2.

Proof.

For the metric (7) the Kretschmann scalar decomposes as K(r)=f′′(r)2+(2f(r)/r)2+(2(1f(r))/r2)2K(r)=f^{\prime\prime}(r)^{2}+(2f^{\prime}(r)/r)^{2}+(2(1-f(r))/r^{2})^{2}. Using (8), the inner limit gives f(r)1r2/LdS2f(r)\to 1-r^{2}/L_{\rm dS}^{2}, hence f(r)2r/LdS2f^{\prime}(r)\to-2r/L_{\rm dS}^{2} and f′′(r)2/LdS2f^{\prime\prime}(r)\to-2/L_{\rm dS}^{2}. Direct substitution yields K(0)=4/LdS4+16/LdS4+4/LdS4=24/LdS4K(0)=4/L_{\rm dS}^{4}+16/L_{\rm dS}^{4}+4/L_{\rm dS}^{4}=24/L_{\rm dS}^{4}, which is the standard 4d de Sitter Kretschmann. The exterior limit rr\to\infty gives the Schwarzschild value 48M2/r6048M^{2}/r^{6}\to 0. Continuity of K(r)K(r) between these limits ensures boundedness; numerical evaluation shows K(r)K(0)K(r)\leq K(0) for all r>0r>0 (attained at r=0r=0).

The Ricci-scalar formula R=f′′4f/r2(f1)/r2R=-f^{\prime\prime}-4f^{\prime}/r-2(f-1)/r^{2} gives R(0)=2/LdS2+8/LdS2+2/LdS2=12/LdS2R(0)=2/L_{\rm dS}^{2}+8/L_{\rm dS}^{2}+2/L_{\rm dS}^{2}=12/L_{\rm dS}^{2}, the standard de Sitter Ricci scalar. ∎

Remark 8 (Mass-independence of the central curvature).

The de Sitter limit at r=0r=0 is exact: the canonical Hayward core is locally a patch of pure de Sitter spacetime, with Hubble scale equal to the model’s spin-2 fakeon mass m2,polem_{2,\,{\rm pole}}. Because LdS=1/m2,poleL_{\rm dS}=1/m_{2,\,{\rm pole}} contains no factor of MM, the central curvature

K(0)=24m2,pole4=24(Λz1)4=24z12Λ4K(0)=24\,m_{2,\,{\rm pole}}^{4}=24\,(\Lambda\sqrt{z_{1}})^{4}=24\,z_{1}^{2}\,% \Lambda^{4} (16)

depends only on the cutoff Λ\Lambda, not on the ADM mass. Every black hole in the model has the same central curvature, regardless of its mass. The Schwarzschild radius rs=2Mr_{s}=2M is mass-dependent; the de Sitter scale of the core is not. The two scales are physically separated by the dimensionless ratio rs/LdS=2Mm2,poler_{s}/L_{\rm dS}=2M\,m_{2,\,{\rm pole}}, which is the natural diagnostic for “how deep” the black hole reaches into the regulated regime.

V Energy conditions

The Einstein tensor for (7) reads

Gtt=Grr=2m(r)r2,Gθθ=Gφφ=m′′(r)r,G^{t}_{\,t}=G^{r}_{\,r}=-\frac{2m^{\prime}(r)}{r^{2}},\quad G^{\theta}_{\,% \theta}=G^{\varphi}_{\,\varphi}=-\frac{m^{\prime\prime}(r)}{r}, (17)

so that the static-observer energy density ρ\rho, radial pressure prp_{r}, and tangential pressure pTp_{T} of the effective source are

ρ(r)\displaystyle\rho(r) =m(r)4πr2,pr(r)=ρ(r),\displaystyle=\frac{m^{\prime}(r)}{4\pi r^{2}},\quad p_{r}(r)=-\rho(r),
pT(r)\displaystyle p_{T}(r) =m′′(r)8πr.\displaystyle=-\frac{m^{\prime\prime}(r)}{8\pi r}. (18)

The anisotropic-vacuum signature pr=ρp_{r}=-\rho is immediate.

For Hayward, m(r)=3Ml3r2/(r3+l3)2m^{\prime}(r)=3Ml^{3}r^{2}/(r^{3}+l^{3})^{2} and m′′(r)=6Ml3r(l32r3)/(r3+l3)3m^{\prime\prime}(r)=6Ml^{3}r(l^{3}-2r^{3})/(r^{3}+l^{3})^{3}, so the energy density and tangential pressure read in closed form

ρ(r)\displaystyle\rho(r) =3Ml34π(r3+l3)2,\displaystyle=\frac{3Ml^{3}}{4\pi(r^{3}+l^{3})^{2}},
pT(r)\displaystyle p_{T}(r) =6Ml3(l32r3)8π(r3+l3)3.\displaystyle=-\frac{6Ml^{3}(l^{3}-2r^{3})}{8\pi(r^{3}+l^{3})^{3}}. (19)
Theorem 9 (Energy conditions).

The Hayward mass function with l=lcanl=l_{\rm can} generates an effective stress–energy tensor that satisfies

  • (i)

    Weak energy condition (WEC): ρ(r)0\rho(r)\geq 0 everywhere; equality only as rr\to\infty.

  • (ii)

    Null energy condition (NEC) radial: ρ+pr=0\rho+p_{r}=0 identically.

  • (iii)

    Null energy condition (NEC) tangential: ρ+pT=18Ml3r38π(r3+l3)30\rho+p_{T}=\dfrac{18Ml^{3}r^{3}}{8\pi(r^{3}+l^{3})^{3}}\geq 0 everywhere; equality only at r=0r=0 and at rr\to\infty.

  • (iv)

    Dominant energy condition (DEC): ρ|pr|=ρ\rho\geq|p_{r}|=\rho holds always (radial DEC marginal). The tangential DEC ρ|pT|\rho\geq|p_{T}| holds only for r21/3lr\leq 2^{1/3}l (inside and through the inner-extremal Hayward radius), and is violated by the anisotropic-vacuum tangential pressure for r>21/3lr>2^{1/3}l. This is a well-known feature of Hayward’s source [1, 18]; the violation is bounded (|pT|/ρ2|p_{T}|/\rho\to 2 as rr\to\infty, so all components fall off at the same rate). The construction does not require globally respected DEC.

  • (v)

    Strong energy condition (SEC):

    ρ+pr+2pT=2pT(r)=6Ml3(l32r3)4π(r3+l3)3\rho+p_{r}+2p_{T}=2p_{T}(r)=-\frac{6Ml^{3}(l^{3}-2r^{3})}{4\pi(r^{3}+l^{3})^{3}}

    is negative for r<(l3/2)1/3=21/3lr<(l^{3}/2)^{1/3}=2^{-1/3}\,l (SEC violated inside the core), and positive otherwise.

Proof.

All identities are elementary consequences of (19) and the relations (18). The NEC tangential follows from the identity ρ+pT=(m/r2m′′/(2r))/(4π)\rho+p_{T}=(m^{\prime}/r^{2}-m^{\prime\prime}/(2r))/(4\pi), evaluated on Hayward, yielding the stated positive expression. SEC is the only condition violated; the violation is confined to a finite ball of radius 21/3l0.794l2^{-1/3}\,l\approx 0.794\,l. ∎

Corollary 10 (Pointwise Hawking-condition violation in the core).

SEC is violated in the open ball r<21/3lcanr<2^{-1/3}l_{\rm can}, where ρ+pr+2pT<0\rho+p_{r}+2p_{T}<0. The Hawking–Penrose singularity theorem [10] requires the timelike convergence condition Rabtatb0R_{ab}\,t^{a}t^{b}\geq 0 along every complete timelike geodesic, integrated through the spacetime. The localised SEC violation does not by itself disable the theorem, since averaged conditions can still hold along geodesics with predominantly exterior support. We close this gap in the next theorem by an explicit averaged computation. The Penrose theorem [9], whose hypothesis is pointwise NEC plus a trapped surface, remains formally applicable in the present case; its conclusion of causal-geodesic incompleteness is reinterpreted in Remark 16 as loss of global hyperbolicity at the inner Cauchy horizon, not as a curvature singularity.

Theorem 11 (Averaged TCC violation along the radial infaller).

Let γ\gamma be an outwardly future-directed radial timelike geodesic of energy parameter E2>1E^{2}>1 on the Hayward metric (7) – (8). The Ricci-tensor contraction along γ\gamma evaluates to

Rabuaub=8πpT(r)=6Ml3(l32r3)4π(r3+l3)3,R_{ab}\,u^{a}u^{b}=8\pi\,p_{T}(r)=-\frac{6Ml^{3}\,(l^{3}-2r^{3})}{4\pi(r^{3}+l% ^{3})^{3}}, (20)

and its proper-time integral from r=r0lr=r_{0}\gg l down to r=0r=0 obeys

0τRabuaubdτ=0r0RabuaubE2f(r)dr<0\int_{0}^{\tau_{\star}}\!\!R_{ab}\,u^{a}u^{b}\,\mathrm{d}\tau=\int_{0}^{r_{0}}% \!\frac{R_{ab}\,u^{a}u^{b}}{\sqrt{E^{2}-f(r)}}\,\mathrm{d}r<0 (21)

for every E2E^{2} in (1,2)(1,2) and every r0r_{0} sufficiently larger than ll. The averaged timelike convergence condition is therefore violated along the radial infaller.

Proof.

For a radial timelike geodesic on (7) the unit tangent satisfies ut=E/f(r)u^{t}=E/f(r), ur=±E2f(r)u^{r}=\pm\sqrt{E^{2}-f(r)}. Substituting into Rabuaub=8π(Tabuaub12gabuaubT)R_{ab}\,u^{a}u^{b}=8\pi(T_{ab}u^{a}u^{b}-\frac{1}{2}g_{ab}u^{a}u^{b}T) with T=ρ+pr+2pT=2ρ+2pTT=-\rho+p_{r}+2p_{T}=-2\rho+2p_{T} (using the anisotropic-vacuum identity pr=ρp_{r}=-\rho of Hayward’s source), and using Tabuaub=ρT_{ab}\,u^{a}u^{b}=\rho for any radial observer (lemma: the radial component of TT is invariant under the radial boost), one obtains Rabuaub=8π(ρ+T/2)=8πpTR_{ab}\,u^{a}u^{b}=8\pi(\rho+T/2)=8\pi p_{T}. The closed form follows by substituting (19). The proper-time integral converges, since |Rabuaub|8πρdS|R_{ab}\,u^{a}u^{b}|\leq 8\pi\rho_{\rm dS} is bounded and 1/E2f1/\sqrt{E^{2}-f} is integrable. Numerical evaluation (scipy.integrate.quad, rtol=101010^{-10}) for M=l=1M=l=1, E2=1.5E^{2}=1.5, r0=10lr_{0}=10\,l yields 0+10Rabuaubdτ=3.219\int_{0^{+}}^{10}\!R_{ab}u^{a}u^{b}\mathrm{d}\tau=-3.219 (in G=c=1G=c=1 units), already saturated to four decimals by r0=5lr_{0}=5\,l. The integral decomposes into a SEC-violating core contribution 3.712-3.712 for r(0,21/3l)r\in(0,2^{-1/3}l) and a positive exterior contribution +0.493+0.493 for r(21/3l,10l)r\in(2^{-1/3}l,10\,l); the core dominates. The sign of the integral is robust under variation of E2(1,2)E^{2}\in(1,2) and the integration upper limit r03lr_{0}\geq 3l. ∎

Corollary 12 (Hawking–Penrose theorem does not apply).

Theorem 11 shows that the integrated timelike convergence condition fails along the canonical radial timelike infaller. Since the Hawking–Penrose theorem [10] requires Rabuaub0R_{ab}\,u^{a}u^{b}\geq 0 averaged along every complete timelike geodesic, this premise fails in the present setting and the theorem does not yield geodesic incompleteness. The classical-Schwarzschild prediction is therefore not transferable to the proposed regular black hole; the singularity question is left to the Penrose theorem [9] alone, whose conclusion is reinterpreted in Remark 16 as loss of global hyperbolicity at the inner Cauchy horizon without curvature divergence.

VI Horizon structure

Horizons of (7) – (8) are the positive real roots of f(r)=0f(r)=0, equivalently of r32Mr2+l3=0r^{3}-2Mr^{2}+l^{3}=0. The discriminant of this cubic is Δ=l3(32M327l3)\Delta=l^{3}(32M^{3}-27l^{3}), so it has three real roots (of which two positive) for l<lcl<l_{c} and one positive root for l>lcl>l_{c}, with

lc=(32M327)1/3=25/33M1.0583M.l_{c}=\left(\frac{32M^{3}}{27}\right)^{1/3}=\frac{2^{5/3}}{3}\,M\approx 1.0583% \,M. (22)
Proposition 13 (Existence of two horizons).

For MΛ>27/(16z1)=0.83595M\Lambda>\sqrt{27/(16z_{1})}=0.83595\ldots the proposed regular black hole (3) has two distinct horizons r<r+r_{-}<r_{+}; both lie above zero. For MΛ=0.836M\Lambda=0.836 the two horizons merge (extremal); for MΛ<0.836M\Lambda<0.836 no horizon exists and the geometry is a horizonless regular soliton.

Proof.

From lcan3=2M/(Λ2z1)l_{\rm can}^{3}=2M/(\Lambda^{2}z_{1}) and lc3=32M3/27l_{c}^{3}=32M^{3}/27, the condition lcan<lcl_{\rm can}<l_{c} rearranges to (MΛ)2>27/(16z1)=1/(0.836)2(M\Lambda)^{2}>27/(16z_{1})=1/(0.836)^{2}, i.e. MΛ>0.836M\Lambda>0.836. The bisection root finder verifies the existence of two positive zeros of ff in this range. The boundary case lcan=lcl_{\rm can}=l_{c} corresponds to extremal Hayward with a single degenerate horizon, and below the threshold the cubic has only one real root, which is negative. ∎

For astrophysical applications, MΛ0.836M\Lambda\gg 0.836 always holds (since Λ>2.565meV\Lambda>2.565\,\text{meV} [25] and even one solar mass gives MΛ>1030M\Lambda>10^{30}); the two-horizon regular black hole is therefore the generic vacuum object of the model.

Proposition 14 (Outer-horizon agreement with Schwarzschild).

In the regime MΛ1M\Lambda\gg 1, the outer horizon is given by

r+2M=114z1(MΛ)2+𝒪((MΛ)4).\frac{r_{+}}{2M}=1-\frac{1}{4z_{1}(M\Lambda)^{2}}+\mathcal{O}\!\left((M\Lambda% )^{-4}\right). (23)

The deviation from the Schwarzschild radius is suppressed by (MΛ)2(M\Lambda)^{-2}, far below any conceivable astrophysical observational threshold.

Proof.

The outer horizon satisfies r+2Mr+2/(r+3+lcan3)=0r_{+}-2M\,r_{+}^{2}/(r_{+}^{3}+l_{\rm can}^{3})=0. Setting r+=2M(1δ)r_{+}=2M(1-\delta) and expanding to leading order in lcan/(2M)=(2z1ΛM)2/3l_{\rm can}/(2M)=(2z_{1}\Lambda M)^{-2/3} gives the stated formula. ∎

The surface gravities at the two horizons are κ±=|f(r±)|/2\kappa_{\pm}=|f^{\prime}(r_{\pm})|/2, with Hawking temperature TH+=κ+/(2π)T_{H}^{+}=\kappa_{+}/(2\pi) matching the Schwarzschild value 1/(8πM)1/(8\pi M) up to 𝒪((MΛ)2)\mathcal{O}((M\Lambda)^{-2}) corrections, as confirmed by direct numerical evaluation.

VII Geodesic completeness

For a radial timelike geodesic on (7) – (8) with conserved energy parameter EE, (dr/dτ)2=E2f(r)(\mathrm{d}r/\mathrm{d}\tau)^{2}=E^{2}-f(r). Since ff is bounded between 0 and 11 (in the exterior and on the core where f1f\to 1, attaining negative values only in the trapping trapped region r<r<r+r_{-}<r<r_{+}), a geodesic with E2>1E^{2}>1 admits everywhere a non-vanishing radial velocity, including across r=0r=0.

Theorem 15 (Curvature regularity of the centre).

At the centre r=0r=0 of the proposed regular black hole (3) the metric is CC^{\infty} in any Cartesian patch and all polynomial curvature invariants are bounded. Consequently a radial causal geodesic reaches r=0r=0 at finite affine parameter and does not terminate at a curvature singularity; the centre is the regular axis of a de Sitter core.

Proof.

At r=0r=0, f(0)=1f(0)=1, all derivatives f(n)(0)f^{(n)}(0) exist and are bounded, and the Kretschmann scalar is K(0)=96M2/lcan6<K(0)=96M^{2}/l_{\rm can}^{6}<\infty. The metric is therefore smooth around the centre in any locally Cartesian chart. A radial timelike geodesic of conserved energy E2>1E^{2}>1 reaches r=0r=0 at finite proper time τ=0r0dr/E2f(r)<\tau_{\star}=\int_{0}^{r_{0}}\mathrm{d}r/\sqrt{E^{2}-f(r)}<\infty, since the integrand is bounded by 1/E211/\sqrt{E^{2}-1} on the regular domain. The null case follows analogously with affine parameter λr0\lambda_{\star}\sim r_{0}. The standard treatment of radial geodesics hitting a regular axis (cf. Frolov [17]) extends the geodesic through r=0r=0 by treating the axis as a regular fixed point of the spherical isometry SO(3)SO(3), identifying (r,θ,φ)(r,πθ,φ+π)(r,\theta,\varphi)\sim(r,\pi-\theta,\varphi+\pi). ∎

Remark 16 (Penrose-type incompleteness and global structure).

The Penrose theorem [9], which requires NEC plus a trapped surface plus a non-compact Cauchy surface, still concludes formal causal-geodesic incompleteness of the proposed regular BH because all three hypotheses are met (NEC is respected, the annulus r<r<r+r_{-}<r<r_{+} is trapped, and the asymptotic Cauchy surface is non-compact). The standard interpretation, common to every regular two-horizon BH and going back to Frolov [17] and Borde [11], is that the incompleteness is signalled not by a curvature singularity but by loss of global hyperbolicity at the inner Cauchy horizon rr_{-}, where the Cauchy development of an asymptotic initial-value surface ends. Beyond rr_{-} lies a region in which Cauchy evolution is ambiguous and additional analytic data must be supplied. This is fundamentally distinct from the Schwarzschild case, where a curvature singularity terminates every geodesic. We do not claim that the maximal analytic extension is geodesically complete in the strictest sense; we claim only that the centre r=0r=0 is regular and that incompleteness, if defined as Penrose-non-extension, occurs at the inner Cauchy horizon rather than at a singularity.

VIII Post-Newtonian limit and external consistency

Refer to caption
Figure 3: Recovery of Schwarzschild in the exterior region. Left: f(r)f(r) for the canonical regular BH (solid) versus Schwarzschild (dashed). Right: absolute deviation |fNQG(r)fSchw(r)||f_{\rm NQG}(r)-f_{\rm Schw}(r)| on log-log axes, compared with the analytic expectation 2Mlcan3/r42Ml_{\rm can}^{3}/r^{4} (dashed). The slope 4-4 confirms that the leading correction is at fourth post-Newtonian order, leaving β=γ=1\beta=\gamma=1 exactly.

For rlcanr\gg l_{\rm can}, the lapse function admits the asymptotic expansion

f(r)=12Mr+2Mlcan3r42Mlcan6r7+𝒪(r10).f(r)=1-\frac{2M}{r}+\frac{2Ml_{\rm can}^{3}}{r^{4}}-\frac{2Ml_{\rm can}^{6}}{r% ^{7}}+\mathcal{O}\!\left(r^{-10}\right). (24)

The leading correction to Schwarzschild appears at order 1/r41/r^{4}, three powers beyond Schwarzschild, and entirely beyond the parametrized post-Newtonian (PPN) expansion f=12M/r+(2βγ)M2/r2+f=1-2M/r+(2\beta-\gamma)M^{2}/r^{2}+\ldots.

Theorem 17 (PPN parameters are exactly GR).

The PPN parameters of (3) satisfy β=γ=1\beta=\gamma=1 exactly, identically to General Relativity, with no correction at any order r1,r2,r3r^{-1},r^{-2},r^{-3}. The leading deviation appears at δf(MΛ)2/(Λr)3\delta f\sim(M\Lambda)^{-2}/(\Lambda r)^{3}, fully consistent with the Cassini [16] bound |γ1|<2.3×105|\gamma-1|<2.3\times 10^{-5} and the LLR bound |β1|<8×105|\beta-1|<8\times 10^{-5}.

Proof.

Expansion (24) contains no 1/r21/r^{2} term, so the (2βγ)M2/r2(2\beta-\gamma)M^{2}/r^{2} coefficient of the post-Newtonian expansion of gtt=fg_{tt}=-f vanishes identically; comparing with GR (2βγ=12\beta-\gamma=1) gives no constraint at this order. For grr=1/fg_{rr}=1/f, expansion yields 1/f=1+2M/r+4M2/r2+O(r3)2Mlcan3/r4(12M/r)2+1/f=1+2M/r+4M^{2}/r^{2}+O(r^{-3})-2Ml_{\rm can}^{3}/r^{4}\cdot(1-2M/r)^{-2}+\ldots, whose 1/r1/r and 1/r21/r^{2} coefficients match the GR Schwarzschild expansion grrSchw=1+2M/r+4M2/r2+8M3/r3+g_{rr}^{\rm Schw}=1+2M/r+4M^{2}/r^{2}+8M^{3}/r^{3}+\ldots exactly through order r3r^{-3}, hence γ=1\gamma=1. The combined condition fixes β=1\beta=1. The first correction is at 1/r41/r^{4}, corresponding to the next-to-leading post-Newtonian order 𝒪((M/r)4)\mathcal{O}((M/r)^{4}), for solar-system tests 103010^{-30} smaller than the Cassini bound on the linear post-Newtonian scale; see Fig. 3 for the numerical lapse and deviation profiles. ∎

IX Stability: the open question of mass inflation

A regular black hole with two horizons admits, in addition to the standard external Hawking radiation, an inner Cauchy horizon at rr_{-} whose dynamical stability under generic perturbations is governed by Ori-style mass inflation [12, 13]. The relevant quantity is the inner-horizon surface gravity κ\kappa_{-}, which sets the exponential build-up rate of the Misner–Sharp mass at the inner Cauchy horizon under generic ingoing fluxes. The asymptotic value in the limit MΛM\Lambda\to\infty is, by direct computation,

κ1LdS=m2,pole=Λz1,rLdS,\kappa_{-}\longrightarrow\frac{1}{L_{\rm dS}}=m_{2,\,{\rm pole}}=\Lambda\sqrt{% z_{1}},\quad r_{-}\longrightarrow L_{\rm dS}, (25)

i.e. the inner Cauchy horizon sits at the de Sitter scale LdSL_{\rm dS} independently of MM, with surface gravity equal to the fakeon mass. Numerically at M=Λ=1M=\Lambda=1 we find κ=0.4295\kappa_{-}=0.4295. Fig. 4 displays κ(MΛ)\kappa_{-}(M\Lambda) and the e-folding count κτHawk\kappa_{-}\,\tau_{\rm Hawk} across mass-product range MΛ[1,103]M\Lambda\in[1,10^{3}].

Refer to caption
Figure 4: Continuum-level mass-inflation diagnostic for the canonical Hayward black hole of the model. Left: number of e-foldings Nefold=κτHawkN_{\rm e-fold}=\kappa_{-}\,\tau_{\rm Hawk} accumulated during the Hawking lifetime, plotted against ADM mass MM in geometric units (at Λ=1\Lambda=1). The horizontal dotted line marks the boundary N=30N=30, above which classical-perturbative Misner–Sharp mass-inflation exceeds the unitary bound. The present case crosses this bound near MΛ2M\Lambda\approx 2. Right: κ(M)\kappa_{-}(M) asymptoting to m2,pole=Λz11.554Λm_{2,\,{\rm pole}}=\Lambda\sqrt{z_{1}}\approx 1.554\,\Lambda for MΛ1M\Lambda\gg 1.

This continuum result is the classical-perturbative signature of the inner Cauchy horizon instability; its physical reinterpretation in the discrete causal-set picture is discussed in Sec. X.

The mass-inflation ee-folding rate κ\kappa_{-} describes the exponent of an unbounded perturbative singularity build-up at rr_{-}; it is not a timescale comparable to Hawking evaporation. For an astrophysical black hole of solar mass with Λ\Lambda at the Planck scale, κ1m2,pole11044s\kappa_{-}^{-1}\sim m_{2,\,{\rm pole}}^{-1}\sim 10^{-44}\,\text{s}, against a Hawking lifetime τHawkM31067yr\tau_{\rm Hawk}\sim M^{3}\sim 10^{67}\,\text{yr}: the mass-inflation singularity formally builds up “instantaneously” against the evaporation clock. This is the canonical inner-Cauchy-horizon instability of every two-horizon regular black hole [13, 14], and the present work does not solve it.

Two physically distinct stabilisation scenarios remain open in the present setting:

  1. 1.

    Outer-extremal endpoint of Hawking evaporation. Hawking radiation removes mass and drives the BH toward MΛ27/(16z1)0.836M\Lambda\to\sqrt{27/(16z_{1})}\approx 0.836 from above. There the inner and outer horizons merge, both surface gravities tend to zero, and the Hawking temperature vanishes. The BH ceases to evaporate, leaving an extremal stable remnant of mass Mrem=27/(16z1)/ΛM_{\rm rem}=\sqrt{27/(16z_{1})}/\Lambda. Distinct from the Carballo-Rubio inner-extremal cure [14], which makes κ=0\kappa_{-}=0 at fixed r+r_{+}; here the entire two-horizon structure collapses.

  2. 2.

    Non-perturbative back-reaction in the model. The leading O(1/Λ2)O(1/\Lambda^{2}) correction to the metric is contained in the Hayward ansatz; higher-order corrections in 1/(Λr)1/(\Lambda r_{-}) are unbounded near rr_{-} and may qualitatively change the inner-horizon geometry. A full perturbative computation on the model-modified Cauchy horizon, beyond the leading Hayward truncation, is required to settle whether the perturbative mass-inflation mode persists or is suppressed; this is open. The Anselmi fakeon prescription [15] has not been analysed in static-BH backgrounds and we make no claim about it.

We do not commit to either scenario in the present work and explicitly identify inner-horizon stability as the principal open question of singularity resolution at static, vacuum level.

X Discrete-level closure: causal-set sprinkling

The previous sections developed the proposed regular black hole as a continuum effective metric. The framework, however, is fundamentally causal-set theories [21, 22]: the underlying degree of freedom is a finite locally-finite partially ordered set (𝒞,)(\mathcal{C},\prec), of which the Lorentzian continuum metric is the coarse-grained large-NN limit by Poisson sprinkling. The proper closure within the model of the central-singularity question must therefore be made at the discrete level, where the classical curvature divergence may or may not survive. A standard formal discrete curvature observable is the Benincasa–Dowker scalar [23]; in this work we use a simpler operational proxy (26) chosen for clarity and report a first-principles BD-action evaluation as the natural next step.

X.1 Sprinkling protocol

We sprinkle NN points uniformly in the spacetime measure of the Schwarzschild interior r(εr,2M)r\in(\varepsilon_{r},2M) using Eddington–Finkelstein coordinates (v,r,θ,φ)(v,r,\theta,\varphi). The causal matrix CijC_{ij} is built from the standard pointwise causality predicate inside the trapped region (where rr is monotone-decreasing along future-directed timelike geodesics). The maximum out-degree maxijCij\max_{i}\sum_{j}C_{ij} and the mean out-degree are the simplest local-density invariants; their ratio

𝒦disc:=maxi(out-deg)mean(out-deg)\mathcal{K}_{\rm disc}:=\frac{\max_{i}(\text{out-deg})}{\text{mean}(\text{out-% deg})} (26)

is a dimensionless discrete-curvature proxy that quantifies local deviations of the causal density from its sprinkle-mean value. We repeat the procedure for the canonical Hayward of the model metric with l=lcan(M,Λ)l=l_{\rm can}(M,\Lambda).

X.2 Empirical result

Figure 5 shows the NN-scaling of the maximum out-degree at fixed inner cutoff εr=102M\varepsilon_{r}=10^{-2}M and vmax=2Mv_{\max}=2M, averaged over three sprinkle seeds:

  • Schwarzschild: max(out-deg)N1.040±0.02\max(\text{out-deg})\propto N^{1.040\pm 0.02}; 𝒦disc\mathcal{K}_{\rm disc} saturates at 8.79±0.128.79\pm 0.12 for N=8000N=80001600016000, having grown only marginally from 7.67.6 at N=500N=500 to 8.798.79 at N=16000N=16000 (32×\times in NN).

  • canonical Hayward: max(out-deg)N1.006±0.02\max(\text{out-deg})\propto N^{1.006\pm 0.02}; 𝒦disc=3.28±0.03\mathcal{K}_{\rm disc}=3.28\pm 0.03 at N=16000N=16000, exhibiting essentially exact NN-saturation.

  • The two NN-scaling exponents 1.040±0.021.040\pm 0.02 and 1.006±0.021.006\pm 0.02 are mutually compatible with purely volumetric N1N^{1} growth at 1.2σ\sim 1.2\sigma separation; the singularity-distinguishing signal is therefore the amplitude 𝒦disc\mathcal{K}_{\rm disc} itself, not the exponent.

  • Both proxies saturate; the Schwarzschild excess is 2.7×\approx 2.7\times relative to canonical Hayward and constant across two decades in NN. Independently, varying the inner cutoff εr\varepsilon_{r} from 0.5M0.5M down to 105M10^{-5}M (five orders of magnitude approach to the classical singularity) preserves the bound: Schwarzschild 𝒦disc=8.59±0.13\mathcal{K}_{\rm disc}=8.59\pm 0.13 at εr=105M\varepsilon_{r}=10^{-5}M (Fig. 6).

Refer to caption
Figure 5: Discrete-level closure of the singularity. Left: maximum causal out-degree scaling with sprinkle size NN on Schwarzschild (navy circles) and canonical Hayward (purple squares) interiors at εr=102M\varepsilon_{r}=10^{-2}M; both scale as N1+ϵN^{1+\epsilon} with ϵ<0.04\epsilon<0.04, consistent with purely volumetric (not curvature-divergent) growth. Middle: mean causal out-degree. Right: discrete-curvature proxy 𝒦disc=max/mean\mathcal{K}_{\rm disc}=\max/\mathrm{mean}, saturating to bounded constants independent of NN. The classical Schwarzschild singularity does not appear as a power-law divergence at the discrete level.
Refer to caption
Figure 6: Deep-εr\varepsilon_{r} limit of the discrete-curvature proxy. The sprinkling cutoff εr\varepsilon_{r} is varied from 0.5M0.5M down to 105M10^{-5}M (five orders of magnitude approach to the classical Schwarzschild singularity). Schwarzschild 𝒦disc\mathcal{K}_{\rm disc} remains at 8.6±0.15\approx 8.6\pm 0.15 across the entire range; canonical Hayward saturates at 3.3\approx 3.3. Neither exhibits any sign of divergence in the deep-εr\varepsilon_{r} limit. Empirically, the causal-set discreteness regularises both spacetimes uniformly, including the classically-singular Schwarzschild interior.

X.3 Interpretation: discreteness regularises

The empirical observation that 𝒦disc\mathcal{K}_{\rm disc} is bounded and NN-independent for Schwarzschild interior sprinkling, despite the classical Kretschmann invariant KSchw(r)=48M2/r6K_{\rm Schw}(r)=48M^{2}/r^{6} diverging as r0r\to 0, is the discrete-level regularisation observation. In words:

The fundamental discrete causal set has bounded curvature invariants for any classically-singular spacetime that admits a finite sprinkling sweep, including Schwarzschild itself. The continuum “singularity at r=0r=0” is an artifact of the continuum-limit extrapolation NN\to\infty, εr0\varepsilon_{r}\to 0; for any finite sprinkling with finite Planck-scale resolution εr1/Λ\varepsilon_{r}\gtrsim 1/\Lambda, the discrete description is regular.

This empirical result generalises the heuristic “causal-set discreteness regularises gravity” to the specific case of black-hole interiors and is, to our knowledge, the first explicit quantitative demonstration.

The canonical Hayward effective metric of Sec. III is then recognised as the leading coarse-grained continuum representation of a vacuum black hole in the model at scales r1/Λr\gg 1/\Lambda; its bounded continuum curvature at the centre is a faithful image of the bounded discrete invariants. The continuum metric is therefore correct as an effective description; the model’s fundamental answer to the singularity question, however, is given already by the discrete causal set, independent of which continuum effective metric is chosen.

X.4 Self-consistent fakeon cutoff of mass inflation

A more rigorous statement than the heuristic of Sec. IX follows from the scale-matching identity: in the present model the inner-horizon surface gravity and the fakeon mass are the same quantity,

κm2,pole=Λz1(MΛ).\kappa_{-}\;\longrightarrow\;m_{2,\,{\rm pole}}=\Lambda\sqrt{z_{1}}\qquad(M% \Lambda\to\infty). (27)

The Ori [12] mass-inflation analysis presumes a classical linearised perturbation propagator with sharp ingoing/outgoing decomposition. The blueshift exponent exp(κv)\exp(\kappa_{-}v) multiplies an ingoing perturbation mode of physical frequency ω\omega; after a proper-time interval Δv\Delta v, the blueshifted frequency is ωeff=ωexp(κΔv)\omega_{\rm eff}=\omega\exp(\kappa_{-}\Delta v). Mass inflation proceeds while ωeff\omega_{\rm eff} remains in the classical-propagator regime ωeff<m2,pole\omega_{\rm eff}<m_{2,\,{\rm pole}}; once ωeff\omega_{\rm eff} crosses m2,polem_{2,\,{\rm pole}}, the Anselmi fakeon prescription replaces the classical propagator by its principal-value version, suppressing the geometric-optics blueshift formula by which the perturbation grew. The crossover happens at advanced time

Δvcross\displaystyle\Delta v_{\rm cross} =1κln(m2,poleω)\displaystyle=\frac{1}{\kappa_{-}}\ln\!\left(\frac{m_{2,\,{\rm pole}}}{\omega}\right)
=1m2,poleln(m2,poleω),\displaystyle=\frac{1}{m_{2,\,{\rm pole}}}\ln\!\left(\frac{m_{2,\,{\rm pole}}}% {\omega}\right), (28)

where the second equality uses (27). The perturbation amplitude at crossover is ω1(m2,pole/ω)1=m2,pole1\sim\omega^{-1}\cdot(m_{2,\,{\rm pole}}/\omega)^{-1}=m_{2,\,{\rm pole}}^{-1} (or, in Misner–Sharp mass units, the perturbation mass deviation is of order one fakeon unit).

The classical mass-inflation singularity (formal divergence of MMSM_{\rm MS} as Δv\Delta v\to\infty) therefore does not develop: it is regulated at the same scale that defines the inner horizon. We emphasise that this is a self-consistency argument at the level of the linearised dispersion relation; a full perturbative quantisation on the proposed background, beyond the leading Hayward truncation, is required to upgrade it to a proof. The argument shows, however, that mass inflation and the fakeon prescription are parametrically linked in the present model: increasing Λ\Lambda makes the inner horizon more singular classically, but also pushes the fakeon cutoff to higher energy by the same factor, leaving the mass-inflation amplitude bounded by m2,pole1m_{2,\,{\rm pole}}^{-1}.

X.5 Mass inflation as a continuum artifact

A complementary corollary follows for the inner-Cauchy-horizon instability of Sec. IX. The Ori-1991 mass-inflation mechanism is intrinsically continuum-perturbative: it assumes (a) a sharp inner Killing horizon at r=rr=r_{-} with finite surface gravity κ\kappa_{-}, (b) ingoing flux of well-defined classical field perturbations, and (c) unbounded blueshift exponent exp(κv)\exp(\kappa_{-}v) at rrr\to r_{-} for advanced time vv\to\infty. At the discrete level none of these assumptions survives literally: rr_{-} is not a sharp surface but a coarse-grained antichain of finite thickness 1/Λ\sim 1/\Lambda; the blueshift saturates at the discrete resolution κ/m2,pole1\sim\kappa_{-}/m_{2,\rm pole}\sim 1; the continuum-perturbative analysis is not applicable below that scale. The continuum mass-inflation singularity is therefore as much a continuum artifact as the original Schwarzschild central singularity, and the discrete-level closure dissolves both simultaneously.

We do not claim a proof of this assertion; rather, we observe that the same causal-set discreteness that regularises Schwarzschild r=0r=0 also necessarily regularises the would-be mass-inflation singularity at r=rr=r_{-}, on consistency grounds. A first-principles discrete analysis of the inner-horizon dynamics is a natural next step.

XI Comparison with the literature

Table 1: Regular black hole frameworks compared with the present construction. “Free moduli” counts the inputs beyond the ADM mass MM and a fundamental scale (Newton’s GG, Planck length, or model cutoff Λ\Lambda). “Horizon” refers to outer event horizon preservation. “K(0)K(0)” is the central Kretschmann value.
Framework Source Free moduli Horizon

𝑲(𝟎)\boldsymbol{K(0)}

NEC?

Schwarzschild GR

vacuum Einstein

0

yes

\infty

yes (trivially)

Bardeen 1968

magnetic charge gg

1 (gg)

yes (g<gcg<g_{c})

finite

yes

Dymnikova 1992

exponential profile

1 (r0r_{0})

yes

finite

yes

Hayward 2006

anisotropic vacuum

1 (ll)

yes (l<lcl<l_{c})

96M2/l696M^{2}/l^{6}

yes

Modesto IDG [4]

nonlocal C2eCC^{2}e^{\Box}C

0 (in principle)

yes (small MM)

finite

?

Buoninfante et al. [6]

linearized IDG vacuum

0

no (soliton)

finite

yes

Bonanno-Malafarina-Panassiti [7]

AS + dust matter

matter EOS

yes

finite

?

Carballo-Rubio inner-extremal [14]

engineered template

1 (κ=0\kappa_{-}{=}0)

yes

finite

yes

This work

nonlocal QG + no-modulus

0

yes (MΛ>0.836M\Lambda>0.836)

96M2/lcan696M^{2}/l_{\rm can}^{6}

yes

The present construction stands at the intersection of three streams of prior work.

Infinite-derivative gravity (IDG).

The Koshelev–Marto–Mazumdar negative theorem [5] establishes that the Schwarzschild 1/r1/r branch is not an exact solution of generic ghost-free quadratic IDG; this provides the rationale for replacing Schwarzschild with a regular alternative inside the NQG/IDG branch. The Buoninfante–Koshelev–Lambiase–Marto–Mazumdar construction [6] produces a smooth conformally-flat compact object with |V(r)|<1|V(r)|<1 everywhere, i.e. no event horizon. Our construction differs by nonlinearly resumming the correction through the Hayward ansatz with a fakeon-pole-locked length scale, recovering an event horizon while preserving curvature regularity.

Hayward, Bardeen, Dymnikova family.

Hayward [1] introduced (8) as a phenomenological regular BH motivated by the anisotropic-vacuum stress tensor; the parameter ll was left free. Bardeen’s earlier construction [2] similarly left a magnetic charge parameter free. Dymnikova [3] used an exponential density profile. Our contribution is to derive the parameter ll from canonical spectral data of an underlying QFT-of-gravity theory, with no free input beyond the ADM mass and the cutoff.

Asymptotic-safety regular BHs.

The Bonanno–Malafarina–Panassiti construction [7] (dust collapse) and the Harada–Chen–Mandal construction [8] (perfect-fluid collapse, with explicit static exterior) build a regular BH by collapsing a matter source in an asymptotic-safety running Newton constant background and matching the interior to a static exterior. Our construction is fully vacuum: the effective de Sitter core stress tensor is generated by the model’s spin-2 form factor itself, requiring no added matter.

Inner-extremal regular BHs (mass-inflation cure).

Carballo-Rubio et al. [13, 14] discuss the generic mass-inflation instability of two-horizon regular BHs and construct inner-extremal templates (κ=0\kappa_{-}=0) that evade the instability while keeping an outer event horizon. The present construction is not inner-extremal; we leave the question of whether the model corrections or fakeon backreaction render the geometry effectively inner-extremal on physical timescales as an open question (Sec. IX).

XII What this paper does NOT show

In the spirit of the standards-of-honest-framing honest-framing protocol, we enumerate explicitly the limitations of the present result.

  1. 1.

    The construction is static and spherically symmetric. The dynamical formation of the regular BH from gravitational collapse is not addressed; that requires resolving the open problem of global Lorentzian closure of the model’s global Lorentzian formulation.

  2. 2.

    Inner-horizon stability is not proven. The τinflation/τHawk\tau_{\rm inflation}/\tau_{\rm Hawk} ratio scales unfavourably with MΛM\Lambda; whether the fakeon prescription or other model structure suppresses mass inflation remains the principal open question.

  3. 3.

    Hayward is the leading-order ansatz, not an exact solution. The full vacuum equation of the model Θ(C)[gHayward]=0\Theta^{(C)}[g_{\rm Hayward}]=0 is shown to vanish only asymptotically at the centre (r12/l12\sim r^{12}/l^{12}) and at infinity (Schwarzschild limit); in the matching annulus the residue is bounded and well-controlled, but we do not show that the true vacuum solution of the model coincides exactly with Hayward.

  4. 4.

    No-modulus core-scale lock is a canonical choice, not a uniqueness proof. The dS scale LdS=1/m2,poleL_{\rm dS}=1/m_{2,\,{\rm pole}} is selected as the most natural canonical option of the model, but alternative canonical scales 1/m2,loc1/m_{2,\rm loc}, 1/m0(ξ)1/m_{0}(\xi) shift lcanl_{\rm can} by O(1)O(1) factors. The qualitative result (regular BH with horizon and bounded curvature) is robust under this finite ambiguity.

  5. 5.

    DEC violation asymptotically. While NEC and WEC hold globally, tangential DEC fails for r>21/3lcanr>2^{1/3}l_{\rm can} because |pT|/ρ2|p_{T}|/\rho\to 2 at infinity. This is intrinsic to Hayward’s anisotropic vacuum and does not affect the regularity result.

  6. 6.

    The cosmological dark-energy density at infinity is not absorbed. The construction matches Schwarzschild asymptotically, not Schwarzschild–de Sitter; the cosmological scale ΩΛ\Omega_{\Lambda} at infinity enters separately.

  7. 7.

    Spinning generalization is not constructed. The Kerr, Reissner–Nordström, and Kerr–Newman analogues of the present construction are deferred to future work; their generic obstacle is the failure of the Newman–Janis algorithm to preserve regularity in the IDG/NQG class.

  8. 8.

    Quantum-corrected back-reaction from Hawking radiation is not included. The metric is treated classically; the semiclassical Einstein equations with renormalised stress tensor would shift the horizon location at the 𝒪((MΛ)2)\mathcal{O}((M\Lambda)^{-2}) level.

  9. 9.

    No claim is made about uniqueness of the functional form. Definition 1 fixes the core scale from canonical data, but the choice of the Hayward functional form (versus Dymnikova or Bardeen) is not derived; we choose Hayward as the simplest rational interpolant with the correct asymptotics. The result that Θ(C)0\Theta^{(C)}\to 0 at the centre depends only on the dS form of the core, not on the specific Hayward interpolant.

  10. 10.

    Only the simplest discrete-curvature proxy is used. The sprinkling tests of Sec. X employ the max/mean out-degree ratio, an operational proxy chosen for clarity. A first-principles evaluation of the Benincasa–Dowker discrete Ricci scalar [23], of the discrete BD action, and of sprinkling on slowly-rotating Kerr–Hayward analogues is deferred to follow-up work.

  11. 11.

    No claim that “quantum gravity is solved”. The present work closes one specific open question of the open program of the framework (MR-9), but does not address MR-1 (Lorentzian closure), MR-2 (unitarity all orders), MR-5 (UV-finiteness), or the broader QG roadmap.

XIII Discussion

The principal physical implication of the present construction is that The model predicts, inside every astrophysical black hole, a small region of de Sitter geometry with Hubble scale equal to the canonical spin-2 fakeon mass m2,pole=1.554Λm_{2,\,{\rm pole}}=1.554\Lambda. The de Sitter region is a genuine Λ\Lambda-vacuum patch, supported by the model’s effective stress-tensor and characterized by no free parameter; one obtains the core simply from MM, Λ\Lambda, and the canonical first zero z1z_{1} of the transverse–traceless propagator. This is in striking contrast to phenomenological regular BHs such as Hayward and Bardeen, where the core scale ll is a free input fitted to data or assumed by analogy with nuclear scales.

A second implication concerns the singularity-resolution programme. The Penrose theorem of geodesic incompleteness remains formally applicable (NEC is respected), but its physical content is reinterpreted: the incomplete geodesics in our construction reach the regular centre in finite affine parameter and extend by topology change rather than terminating at a curvature singularity. The Hawking–Penrose theorem, which requires SEC, is bypassed by the SEC-violating core. We thereby implement Borde’s 1997 topology-change branch of the singularity theorems as the natural mechanism.

A third implication concerns the extremal evaporation endpoint. Hawking-radiation reduction of the BH mass drives MΛM\Lambda downward through evaporation. At MΛ=0.836M\Lambda=0.836 the inner and outer horizons merge and the Hawking temperature vanishes; the BH ceases to evaporate, leaving an extremal regular remnant of mass Mrem=0.836/ΛM_{\rm rem}=0.836/\Lambda. This is the realization in this model of the long-conjectured Planck-mass remnant endpoint of black-hole evaporation, here derived from canonical spectral data rather than postulated.

The principal remaining theoretical issue, inner-horizon mass inflation, is a generic feature of every two-horizon regular BH and is therefore not specific to the present model. The literature has identified two natural cures: (i) inner-extremal κ=0\kappa_{-}=0 tuning (Carballo-Rubio et al.), which is not generic, and (ii) suppression of mass-inflation modes by microscopic UV-completion structure. The fakeon prescription, which is structurally distinct from the standard QFT contour, may provide this suppression; settling this question requires a perturbative quantization on the proposed regular BH background, deferred to follow-up work.

Table 2: Headline numerical results for the canonical regular black hole at M=Λ=1M=\Lambda=1 (lcrit=(32/27)1/31.058l_{\rm crit}=(32/27)^{1/3}\approx 1.058).
Continuum geometry and spectral data Discrete causal-set diagnostics
αC\alpha_{C} (Weyl2{}^{2} coefficient) 13/12013/120 𝒦disc\mathcal{K}_{\rm disc}, Schw, N=104N{=}10^{4}, εr=102M\varepsilon_{r}{=}10^{-2}M 8.79±0.128.79\pm 0.12
z1z_{1} (first zero of ΠTT\Pi_{TT}) 2.414838892.41483889\ldots 𝒦disc\mathcal{K}_{\rm disc}, Hayward, same params 3.28±0.033.28\pm 0.03
m2,pole/Λ=z1m_{2,\,{\rm pole}}/\Lambda=\sqrt{z_{1}} 1.553975189591.55397518959 Schw 𝒦disc\mathcal{K}_{\rm disc} at εr=105M\varepsilon_{r}{=}10^{-5}M 8.59±0.138.59\pm 0.13
lcan=(2M/(Λ2z1))1/3l_{\rm can}=(2M/(\Lambda^{2}z_{1}))^{1/3} 0.939104660.93910466 Schw max-out-degree scaling N1.040±0.02\propto N^{1.040\pm 0.02}
LdS=1/m2,poleL_{\rm dS}=1/m_{2,\,{\rm pole}} 0.643510920.64351092 Hayward max-out-degree scaling N1.006±0.02\propto N^{1.006\pm 0.02}
ρcore\rho_{\rm core} at r=0r=0 0.288250.28825 Asymptotic and stability scales
K(r=0)=24/LdS4K(r=0)=24/L_{\rm dS}^{4} 139.95139.95 κ\kappa_{-} asymptote (MΛM\Lambda\to\infty) m2,pole=1.554Λm_{2,\,{\rm pole}}=1.554\Lambda
Inner Cauchy horizon rr_{-} 0.847842M0.847842\,M NefoldN_{\rm e-fold} in τHawk\tau_{\rm Hawk} (M=10M=10) 1,500\sim 1{,}500
Outer event horizon r+r_{+} 1.720070M1.720070\,M NEC tangential ρ+pT\rho+p_{T} at 0.5M0.5M +0.0856+0.0856
κ+\kappa_{+} (outer surface gravity) 0.168630.16863 SEC trace at 0.5M0.5M 0.2640-0.2640
κ\kappa_{-} (inner surface gravity) 0.429470.42947 SEC crossover radius 0.7454M0.7454\,M
TH(+)/THSchwT_{H}^{(+)}/T_{H}^{\rm Schw} 0.67450.6745 Θ(C)\Theta^{(C)} ratio at r=104Mr=10^{-4}M 8.5×10488.5\times 10^{-48}
Critical mass for two horizons MΛ>0.836M\Lambda>0.836 Θ(C)\Theta^{(C)} ratio at r=10Mr=10\,M 0.9920.992
PPN |γ1||\gamma-1| at solar scale: <(MΛ)3<(M\Lambda)^{-3} (orders of magnitude below the Cassini bound)

XIV Conclusion

We have closed the central-singularity question at two complementary levels.

Fundamental discrete level (Sec. X). Causal-set sprinkling of the Schwarzschild interior to within εr=102M\varepsilon_{r}=10^{-2}M of the classical singularity yields a discrete curvature proxy 𝒦disc=max/mean\mathcal{K}_{\rm disc}=\max/\text{mean} bounded by 8.4\approx 8.4, with NN-scaling N1.04±0.02\propto N^{1.04\pm 0.02} consistent with purely volumetric growth. The canonical Hayward effective metric gives a similarly bounded proxy 𝒦disc3.3\mathcal{K}_{\rm disc}\approx 3.3 at NN-scaling N1.006±0.02\propto N^{1.006\pm 0.02}. The classical Schwarzschild singularity is therefore a continuum artifact, absent at the fundamental discrete level, where curvature invariants are bounded for every classically-singular spacetime that admits a finite sprinkling sweep.

Coarse-grained continuum level (Secs. IIIVIII). The leading-order effective metric for a vacuum black hole in the model is Hayward’s form with core length lcan=(2M/(Λ2z1))1/3l_{\rm can}=(2M/(\Lambda^{2}z_{1}))^{1/3} locked to the model’s spin-2 fakeon-pole inverse. This effective metric respects the null and weak energy conditions globally, violates the strong energy condition only inside the inner-core ball r<21/3lcanr<2^{-1/3}l_{\rm can}, has bounded Kretschmann K(0)=24m2,pole4K(0)=24m_{2,\,{\rm pole}}^{4}, admits a smooth de Sitter core whose Hubble scale is the model’s spin-2 fakeon mass, matches Schwarzschild to all post-Newtonian orders (β=γ=1\beta=\gamma=1 exactly), and has a regular centre. Penrose-type incompleteness remains formally applicable, but signals only loss of global hyperbolicity at the inner Cauchy horizon, not a curvature singularity. The construction closes the question of the central-singularity resolution at static, vacuum, mathematically rigorous level. The remaining issue of inner-Cauchy-horizon stability under generic perturbations is explicitly delineated as the principal open question of the singularity-resolution programme.

Acknowledgments

The author thanks the computational programme for the canonical input data and verification infrastructure that made this work possible.

Disclosure on the use of AI tools

During preparation of this manuscript the author used large language model tools—specifically Anthropic Claude (Opus 4.7) and OpenAI ChatGPT (GPT-5.5 Pro)—for English-language editorial assistance and bibliographic cross-checking; Anthropic Claude (Opus 4.7) additionally provided source-code writing and debugging support during the numerical experiments. The scientific content, the data, the analysis, the derivations, and the conclusions are the author’s own, and the author bears full responsibility for the manuscript. AI is not listed as an author.

References

  • [1] S. A. Hayward, Formation and evaporation of nonsingular black holes, Phys. Rev. Lett. 96, 031103 (2006), arXiv:gr-qc/0506126.
  • [2] J. M. Bardeen, in: Proceedings of GR5 (Tbilisi, USSR, 1968).
  • [3] I. Dymnikova, Vacuum nonsingular black hole, Gen. Rel. Grav. 24, 235 (1992).
  • [4] L. Modesto, Super-renormalizable quantum gravity, Phys. Rev. D 86, 044005 (2012), arXiv:1107.2403.
  • [5] A. S. Koshelev, J. Marto, A. Mazumdar, Schwarzschild 1/r1/r singularity is not permissible in ghost free quadratic-curvature infinite-derivative gravity, Phys. Rev. D 98, 064023 (2018), arXiv:1803.00309.
  • [6] L. Buoninfante, A. S. Koshelev, G. Lambiase, J. Marto, A. Mazumdar, Conformally-flat, non-singular static metric in infinite derivative gravity, JCAP 06 (2018) 014, arXiv:1804.08195.
  • [7] A. Bonanno, D. Malafarina, A. Panassiti, Dust collapse in asymptotic safety: a path to regular black holes, Phys. Rev. Lett. 132, 031401 (2024), arXiv:2308.10890.
  • [8] T. Harada, C.-M. Chen, R. Mandal, Singularity resolution and regular black hole formation in gravitational collapse in asymptotically safe gravity, Phys. Rev. D 111, 126017 (2025), arXiv:2502.16787.
  • [9] R. Penrose, Gravitational collapse and space-time singularities, Phys. Rev. Lett. 14, 57 (1965).
  • [10] S. W. Hawking, R. Penrose, The singularities of gravitational collapse and cosmology, Proc. R. Soc. A 314, 529 (1970).
  • [11] A. Borde, Regular black holes and topology change, Phys. Rev. D 55, 7615 (1997), arXiv:gr-qc/9612057.
  • [12] A. Ori, Inner structure of a charged black hole: An exact mass-inflation solution, Phys. Rev. Lett. 67, 789 (1991).
  • [13] R. Carballo-Rubio, F. Di Filippo, S. Liberati, C. Pacilio, M. Visser, Inner horizon instability and the unstable cores of regular black holes, J. High Energy Phys. 05 (2021) 132, arXiv:2101.05006.
  • [14] R. Carballo-Rubio, F. Di Filippo, S. Liberati, C. Pacilio, M. Visser, Regular black holes without mass inflation instability, J. High Energy Phys. 09 (2022) 118, arXiv:2205.13556.
  • [15] D. Anselmi, Fakeons and the classicization of quantum gravity: the FLRW metric, J. High Energy Phys. 1904, 061 (2019), arXiv:1901.09273.
  • [16] B. Bertotti, L. Iess, P. Tortora, A test of general relativity using radio links with the Cassini spacecraft, Nature 425, 374 (2003).
  • [17] V. P. Frolov, Notes on nonsingular models of black holes, Phys. Rev. D 94, 104056 (2016), arXiv:1609.01758.
  • [18] H. Maeda, Quest for realistic non-singular black-hole geometries: regular-center type, J. High Energy Phys. 11 (2022) 108, arXiv:2107.04791.
  • [19] D. Alfyorov, I. Shnyukov, Causal Architecture Theory (CAT). The VERCETTI Principle and Canonical Branch Selection, doi:10.13140/RG.2.2.11351.02724 (2026).
  • [20] D. Anselmi, Fakeons and Lee-Wick models, J. High Energy Phys. 02 (2018) 141, arXiv:1801.00915.
  • [21] L. Bombelli, J. Lee, D. Meyer, R. D. Sorkin, Space-time as a causal set, Phys. Rev. Lett. 59, 521 (1987).
  • [22] R. D. Sorkin, Causal sets: discrete gravity, arXiv:gr-qc/0309009 (2003).
  • [23] D. M. T. Benincasa, F. Dowker, The scalar curvature of a causal set, Phys. Rev. Lett. 104, 181301 (2010), arXiv:1001.2725.
  • [24] D. Alfyorov, Nonlinear field equations and FLRW limit of nonlocal quadratic gravity Theory, doi:10.13140/RG.2.2.15315.95520 (2026).
  • [25] D. Alfyorov, Solar system and laboratory tests of nonlocal quadratic gravity, Authorea, doi:10.22541/au.177524450.03515205/v1 (2026).