Second-law check through the inner Cauchy horizon
of regular black holes with nonlocal fakeon-regulated mass inflation

David Alfyorov Corresponding author: davidich.alfyorov@gmail.com    Igor Shnyukov
Independent researchers
(May 21, 2026)
Abstract

The classical inner Cauchy horizon of a regular black hole develops exponential mass inflation under generic perturbations. The recently proposed fakeon Pauli–Villars regulator from the spectral causal theory (SCT) — a one-loop effective gravitational theory with entire-function nonlocal form factors F1,F2F_{1},F_{2} acting on the Weyl- and Ricci-squared operators — truncates this divergence at the level of the effective Ori–Poisson–Israel equation. Two regularisation modes have been analysed: the algebraic Anselmi-smooth interpolation (“S3”) and the first-principles principal-value prescription (“S4”). Working in the S3 regime, where the regulated mass aspect δmMS(v)\delta m_{\mathrm{MS}}(v) grows monotonically and saturates, we study whether the canonical entropy current of the spectrally fixed Hayward+SCT background grows monotonically along the inner-horizon evolution. Given the working ansatz that the canonical entropy is the sum of Bekenstein–Hawking area terms applied to both horizons (including the dynamically perturbed inner horizon) plus the spectral-action logarithmic correction at each, that the higher-derivative nonlocal entropy correction SNLS_{\mathrm{NL}} is suppressed by (Λ/MPl)2(\Lambda/M_{\mathrm{Pl}})^{2}, and that the Hayward functional form is the leading-curvature SCT vacuum ansatz, the chain rule yields opposite signs for the two contributions (dA+/dv>0\mathrm{d}A_{+}/\mathrm{d}v>0 and dA/dv<0\mathrm{d}A_{-}/\mathrm{d}v<0), so the second law is not automatic but reduces to a non-trivial inequality between two opposite-sign terms. An asymptotic argument shows the inner-horizon contribution is suppressed as 𝒪(1/M2)\mathcal{O}(1/M^{2}) in the Schwarzschild-like limit (a sharper suppression than naive expectation, traceable to the spectral lock r21/(Λ2z1)1/(2M)r_{-}^{2}-1/(\Lambda^{2}z_{1})\sim 1/(2M) near the asymptote), and a 60-cell production sweep spanning MΛ[0.84, 106]M\Lambda\in[0.84,\,10^{6}] (including five near-extremal cells just above the spectrally fixed subextremal bound MΛ=27/(16z1)0.83595M\Lambda=\sqrt{27/(16z_{1})}\simeq 0.83595) and five Price-tail exponents verifies dStotal/dv0\mathrm{d}S_{\mathrm{total}}/\mathrm{d}v\geq 0 at machine precision in every cell. The S4 principal-value regime, in which δmMS(v)\delta m_{\mathrm{MS}}(v) acquires a sign-flip past the crossover advanced time, requires a separate analysis of the indefinite-metric fakeon flux and is not covered here.

1 Introduction

The classical inner Cauchy horizon of a charged or rotating black hole is generically unstable: ingoing and outgoing late-time fluxes are blueshifted exponentially with respect to a horizon-comoving observer, and their bilinear feeds the Ori–Poisson–Israel equation for the Misner–Sharp mass aspect into an unbounded mass inflation [1, 2, 3]. A finite asymptotic mass perturbation requires either an explicit ultraviolet cutoff or a curvature regulator that softens the exponential blueshift at a fixed proper length.

Regular black-hole geometries of Bardeen and Hayward type [4, 5, 6] remove the central singularity by replacing the Schwarzschild interior with a de Sitter core, but they inherit the mass-inflation problem: the inner horizon remains, the bilinear blueshift remains, and a regulator is still required. Recent work in the spectral causal theory (SCT) — a one-loop effective gravitational theory with entire-function nonlocal form factors F1,F2F_{1},F_{2} acting on the Weyl- and Ricci-squared operators — identifies a natural regulator: the Anselmi–Piva fakeon prescription [7, 8] on the transverse-traceless (TT) sector of the gravitational propagator ΠTT(z)\Pi_{TT}(z). The fakeon mass m2,pole=Λz1m_{2,\mathrm{pole}}=\Lambda\sqrt{z_{1}} is the first positive real zero of the full nonlocal ΠTT(z)\Pi_{TT}(z), with z1=2.41483889z_{1}=2.41483889 the corresponding spectral data; numerically m2,pole1.5540Λm_{2,\mathrm{pole}}\simeq 1.5540\,\Lambda. The de Sitter core length is locked to the same scale through can3(M)=2M/(Λ2z1)\ell_{\mathrm{can}}^{3}(M)=2M/(\Lambda^{2}z_{1}), with no free parameter beyond the black-hole mass MM and the universal SCT scale Λ\Lambda.

Two regularisation modes of the fakeon prescription suppress mass inflation at the effective Ori–Poisson–Israel level. The algebraic Anselmi-smooth interpolation (henceforth “S3”) replaces the bare blueshift kernel eκve^{\kappa_{-}v} by

FS3(v;ω)=eκv(m2,pole/ω)m2,pole/ω+eκv,F_{\mathrm{S3}}(v;\omega)=\frac{e^{\kappa_{-}v}\,(m_{2,\mathrm{pole}}/\omega)}% {m_{2,\mathrm{pole}}/\omega+e^{\kappa_{-}v}},

which is bounded above by m2,pole/ωm_{2,\mathrm{pole}}/\omega as vv\to\infty and produces a monotone non-decreasing δmMS(v)\delta m_{\mathrm{MS}}(v) saturating to a finite plateau by direct integration of the Ori–Poisson–Israel equation against the non-negative Price tails. By contrast, the first-principles principal-value (PV) prescription (“S4”) replaces the same blueshift by the Anselmi–Piva propagator

FS4(v;ω0)=eκvm2,pole2m2,pole2ω02e2κv,F_{\mathrm{S4}}(v;\omega_{0})=\frac{e^{\kappa_{-}v}\,m_{2,\mathrm{pole}}^{2}}{% m_{2,\mathrm{pole}}^{2}-\omega_{0}^{2}\,e^{2\kappa_{-}v}},

which has a simple pole at the crossover advanced time vcross=κ1ln(m2,pole/ω0)v_{\mathrm{cross}}=\kappa_{-}^{-1}\ln(m_{2,\mathrm{pole}}/\omega_{0}) and changes sign past it, reflecting the indefinite-metric fakeon flux. The present Letter focuses exclusively on the S3 regime and asks whether the corresponding canonical entropy current grows monotonically along the inner-horizon evolution. The S4 case, where a meaningful second-law statement requires the generalised entropy current of an effective theory with controlled indefinite-metric sector, is left for a companion analysis.

2 Hayward+SCT background and entropy ansatz

The effective one-loop SCT action is

S=\displaystyle S={} 116πGd4xgR+αC2d4xgCμνρσF1(/Λ2)Cμνρσ\displaystyle\frac{1}{16\pi G}\int\mathrm{d}^{4}x\sqrt{-g}\,R+\frac{\alpha_{C}% }{2}\int\mathrm{d}^{4}x\sqrt{-g}\,C_{\mu\nu\rho\sigma}\,F_{1}(\Box/\Lambda^{2}% )\,C^{\mu\nu\rho\sigma} (1)
+αR(ξ)d4xgRF2(/Λ2,ξ)R+Ssat\displaystyle{}+\alpha_{R}(\xi)\int\mathrm{d}^{4}x\sqrt{-g}\,R\,F_{2}(\Box/% \Lambda^{2},\xi)\,R+S_{\mathrm{sat}}

with αC=13/120\alpha_{C}=13/120, αR(ξ)=2(ξ1/6)2\alpha_{R}(\xi)=2(\xi-1/6)^{2}, entire form factors F1,F2F_{1},F_{2} generated from the SCT master function, and SsatS_{\mathrm{sat}} a Standard-Model matter contribution that decouples from the gravitational sector at the working order considered here. We adopt the Hayward functional form below as a one-parameter ansatz consistent with the leading-curvature SCT vacuum sector [18]:

f(r;M)=12Mr2r3+can3(M),can3(M)=2MΛ2z1,f(r;M)=1-\frac{2Mr^{2}}{r^{3}+\ell_{\mathrm{can}}^{3}(M)},\qquad\ell_{\mathrm{% can}}^{3}(M)=\frac{2M}{\Lambda^{2}z_{1}}, (2)

so the de Sitter core scale itself depends on the black-hole mass. The leading-curvature truncation is controlled by the dimensionless quantity Λ2/R\Lambda^{2}/R, which is small everywhere on subextremal backgrounds except at the spectrally fixed extremal point; corrections to (2) from higher-order curvature operators are of relative order Λ2/R\Lambda^{2}/R and remain small in the parameter range swept below.

Horizons, defined by f(r;Meff)=0f(r;M_{\mathrm{eff}})=0, are the positive real roots of the cubic

r32Meffr2+can3(Meff)=0,Meff(v)=M+δmMS(v),r^{3}-2M_{\mathrm{eff}}\,r^{2}+\ell_{\mathrm{can}}^{3}(M_{\mathrm{eff}})=0,% \quad M_{\mathrm{eff}}(v)=M+\delta m_{\mathrm{MS}}(v), (3)

and the discriminant condition 4p327q20-4p^{3}-27q^{2}\geq 0 on the depressed cubic yields the spectrally fixed subextremal bound

MΛ>2716z10.83595,M\Lambda>\sqrt{\frac{27}{16\,z_{1}}}\simeq 0.83595, (4)

above which an inner Cauchy horizon rr_{-} and an outer event horizon r+r_{+} coexist; below it the geometry is horizonless. The inner-horizon surface gravity is

κ=12|f(r)|,m(r)=Meffr3r3+can3(Meff),f(r)=12m(r)r.\kappa_{-}=\tfrac{1}{2}\,|f^{\prime}(r_{-})|,\qquad m(r)=M_{\mathrm{eff}}\,% \frac{r^{3}}{r^{3}+\ell_{\mathrm{can}}^{3}(M_{\mathrm{eff}})},\qquad f(r)=1-% \frac{2m(r)}{r}. (5)

For the canonical entropy we adopt the working ansatz that combines the Wald–Iyer–Wald formalism [9, 10] applied to the present SCT action with the spectral-action logarithmic structure of Chamseddine–Connes–van Suijlekom (CCvS) [11] extended to the Weyl sector via the SCT coefficient αC=13/120\alpha_{C}=13/120, namely

Stotal(Meff)=A++A4G+γ[lnA+P2+lnAP2]+const,γ=αC2π+37241.5589,S_{\mathrm{total}}(M_{\mathrm{eff}})=\frac{A_{+}+A_{-}}{4G}+\gamma\left[\ln% \frac{A_{+}}{\ell_{P}^{2}}+\ln\frac{A_{-}}{\ell_{P}^{2}}\right]+\mathrm{const}% ,\quad\gamma=\frac{\alpha_{C}}{2\pi}+\frac{37}{24}\simeq 1.5589, (6)

with Aσ=4πrσ2A_{\sigma}=4\pi r_{\sigma}^{2}. The Bekenstein–Hawking area term is standard for the bifurcate Killing horizon r+r_{+}; its application to the dynamically perturbed inner horizon rr_{-} is a working ansatz, pending a full Wald–Iyer–Wald rederivation on non-stationary two-horizon backgrounds. The logarithmic correction comes from the spectral-action analysis [11], applied separately to each horizon as a working ansatz on the same basis. Higher-derivative nonlocal corrections of Dong–Camps–Wall type [12, 13, 14] from the δ\delta\Box variation of F1,F2F_{1},F_{2} are estimated below to be subleading in the physical regime.

The driver of the entropy evolution is the S3 mass-aspect equation

dδmMSdv=r2FS3(v)Lin(v)Lout(v),Lin,out(v)=L0(1+v)p0,\frac{\mathrm{d}\delta m_{\mathrm{MS}}}{\mathrm{d}v}=\frac{r_{-}}{2}\,F_{% \mathrm{S3}}(v)\,L_{\mathrm{in}}(v)\,L_{\mathrm{out}}(v),\quad L_{\mathrm{in,% out}}(v)=L_{0}(1+v)^{-p_{0}}, (7)

where p0p_{0} is the Price-tail decay exponent and FS3(v;ω)=eκv(m2,pole/ω)/[m2,pole/ω+eκv]F_{\mathrm{S3}}(v;\omega)=e^{\kappa_{-}v}(m_{2,\mathrm{pole}}/\omega)/[m_{2,% \mathrm{pole}}/\omega+e^{\kappa_{-}v}] is the Anselmi-smooth kernel, which yields dδmMS/dv0\mathrm{d}\delta m_{\mathrm{MS}}/\mathrm{d}v\geq 0 identically; the natural seed frequency is ω=κ\omega=\kappa_{-}. Equation (7) is implicit through the appearance of r(Meff)r_{-}(M_{\mathrm{eff}}) and κ(Meff)\kappa_{-}(M_{\mathrm{eff}}) on the right-hand side; we integrate it self-consistently along vv, evaluating the horizon at Meff(v)=M+δmMS(v)M_{\mathrm{eff}}(v)=M+\delta m_{\mathrm{MS}}(v) at every step. The areas A±(v)A_{\pm}(v) in (6) are evaluated on a single advanced-time foliation regular across both horizons (ingoing Eddington–Finkelstein); the per-horizon entropy contributions are therefore synchronised to the same vv.

3 Chain rule and the non-trivial inequality

The total entropy (6) evolves through both horizons:

dStotaldv=σ=±(14G+γAσ)dAσdv,dAσdv=8πrσrσMeffdδmMSdv.\frac{\mathrm{d}S_{\mathrm{total}}}{\mathrm{d}v}=\sum_{\sigma=\pm}\left(\frac{% 1}{4G}+\frac{\gamma}{A_{\sigma}}\right)\frac{\mathrm{d}A_{\sigma}}{\mathrm{d}v% },\quad\frac{\mathrm{d}A_{\sigma}}{\mathrm{d}v}=8\pi r_{\sigma}\,\frac{% \partial r_{\sigma}}{\partial M_{\mathrm{eff}}}\,\frac{\mathrm{d}\delta m_{% \mathrm{MS}}}{\mathrm{d}v}. (8)

Implicit differentiation of the cubic (3) with the self-consistent can3=2Meff/(Λ2z1)\ell_{\mathrm{can}}^{3}=2M_{\mathrm{eff}}/(\Lambda^{2}z_{1}) gives

rσMeff=2[rσ21/(Λ2z1)]3rσ24Meffrσ.\frac{\partial r_{\sigma}}{\partial M_{\mathrm{eff}}}=\frac{2\left[r_{\sigma}^% {2}-1/(\Lambda^{2}z_{1})\right]}{3r_{\sigma}^{2}-4M_{\mathrm{eff}}\,r_{\sigma}}. (9)

The two horizons have opposite signs of this derivative. The outer horizon has r+>4Meff/3r_{+}>4M_{\mathrm{eff}}/3 (positive denominator) and r+2>1/(Λ2z1)r_{+}^{2}>1/(\Lambda^{2}z_{1}) on the subextremal branch (positive numerator), so r+/Meff>0\partial r_{+}/\partial M_{\mathrm{eff}}>0, recovering the classical Hawking behaviour. The inner horizon has r<4Meff/3r_{-}<4M_{\mathrm{eff}}/3 (negative denominator); in the SCT geometry rr_{-} is bounded between the extremal value r*=4M/3r_{*}=4M/3 at MΛ=0.83595M\Lambda=0.83595 (where the two horizons merge) and the spectral asymptote 1/m2,pole0.6435/Λ1/m_{2,\mathrm{pole}}\simeq 0.6435/\Lambda as MΛM\Lambda\to\infty, with r2>1/(Λ2z1)r_{-}^{2}>1/(\Lambda^{2}z_{1}) throughout the subextremal branch (the asymptotic value is the saturating lower bound), so the numerator is positive and r/Meff<0\partial r_{-}/\partial M_{\mathrm{eff}}<0: the inner horizon shrinks as the cumulative mass perturbation grows, approaching 1/m2,pole1/m_{2,\mathrm{pole}} from above. The classical Reissner–Nordström sign of r/M\partial r_{-}/\partial M carries over.

Consequently dA+/dv>0\mathrm{d}A_{+}/\mathrm{d}v>0 and dA/dv<0\mathrm{d}A_{-}/\mathrm{d}v<0, and the second law is therefore not manifest at the per-horizon level. It reduces to the non-trivial inequality

(14G+γA+)r+r+Meff+(14G+γA)rrMeff>0,\left(\frac{1}{4G}+\frac{\gamma}{A_{+}}\right)r_{+}\frac{\partial r_{+}}{% \partial M_{\mathrm{eff}}}+\left(\frac{1}{4G}+\frac{\gamma}{A_{-}}\right)r_{-}% \frac{\partial r_{-}}{\partial M_{\mathrm{eff}}}>0, (10)

in which the positive outer-horizon contribution must dominate the negative inner-horizon contribution at every MΛM\Lambda on the subextremal branch. Two analytic checks bracket the relevant regime.

In the asymptotic Schwarzschild-like limit MΛM\Lambda\to\infty (can/M0\ell_{\mathrm{can}}/M\to 0) the cubic asymptotes to r21/(Λ2z1)1/(2M)r_{-}^{2}-1/(\Lambda^{2}z_{1})\sim 1/(2M), hence r1/m2,poler_{-}\to 1/m_{2,\mathrm{pole}} from above and r/Meff=𝒪(1/M2)\partial r_{-}/\partial M_{\mathrm{eff}}=\mathcal{O}(1/M^{2}); correspondingly r+2Mr_{+}\to 2M and r+/Meff2\partial r_{+}/\partial M_{\mathrm{eff}}\to 2. The absolute inner contribution to (10) is therefore 𝒪(1/M2)\mathcal{O}(1/M^{2}), the absolute outer one is 𝒪(M)\mathcal{O}(M), and the ratio inner/outer vanishes as 𝒪(1/M3)\mathcal{O}(1/M^{3}). The inequality is automatic in this regime. In the extremal limit MΛ0.83595+M\Lambda\to 0.83595^{+} (cf. (4)) both derivatives diverge in magnitude with opposite signs, but a direct evaluation of (9) at the smallest subextremal cell of our production grid, MΛ=0.84M\Lambda=0.84, gives

r+r+/Meff+rr/Meff=+10.5257.206+3.32r_{+}\,\partial r_{+}/\partial M_{\mathrm{eff}}+r_{-}\,\partial r_{-}/\partial M% _{\mathrm{eff}}=+10.525-7.206\simeq+3.32

in geometric units; the spectrally fixed can(M)\ell_{\mathrm{can}}(M) scaling decouples the diverging signs through the bounded combination r21/(Λ2z1)r_{-}^{2}-1/(\Lambda^{2}z_{1}), which vanishes fast enough to cancel the divergence. The full production grid below traverses this near-extremal region with explicit cells at MΛ{0.84,0.85,0.87,0.90,0.95}M\Lambda\in\{0.84,0.85,0.87,0.90,0.95\} and confirms the inequality numerically throughout.

4 Production-sweep verification

The production grid is (MΛ,p0)𝒢×{3,4,6,7,12}(M\Lambda,p_{0})\in\mathcal{G}\times\{3,4,6,7,12\}, with

𝒢={0.84, 0.85, 0.87, 0.90, 0.95, 1, 10, 102, 103, 104, 105, 106},\mathcal{G}=\{0.84,\,0.85,\,0.87,\,0.90,\,0.95,\,1,\,10,\,10^{2},\,10^{3},\,10% ^{4},\,10^{5},\,10^{6}\},

6060 cells total. The five near-extremal cells above the subextremal bound 0.835950.83595 stress-test the chain-rule cancellation in the regime where the per-horizon derivatives diverge in magnitude with opposite signs; the seven decade-spaced cells MΛ[1,106]M\Lambda\in[1,10^{6}] traverse the Schwarzschild-like regime where the analytic asymptotic bound applies. For each cell we integrate (7) self-consistently to vmax=120/κv_{\max}=120/\kappa_{-} on a 4001-point uniform grid in vv, evaluate the entropy (6) at every point, and compute the rate dStotal/dv\mathrm{d}S_{\mathrm{total}}/\mathrm{d}v by centred finite differences combined with the analytic chain rule (8). Inner and outer horizons of the cubic (3) are found by closed-form companion-matrix root extraction; the result matches a brentq bracket-bisection path to 4×10164\times 10^{-16} on rr_{-} and 2×10152\times 10^{-15} on r+r_{+}, i.e., at machine precision.

A scale-aware acceptance criterion is essential, because the absolute residual minv(dStotal/dv)\min_{v}(\mathrm{d}S_{\mathrm{total}}/\mathrm{d}v) scales with the cell size: at MΛ=106M\Lambda=10^{6} the maximum positive rate is 104P2κ\sim 10^{4}\,\ell_{P}^{2}\kappa_{-} (in geometric units, with vv measured in units of κ1\kappa_{-}^{-1}) and floating-point round-off in the numerical derivative is correspondingly 109\sim 10^{-9} in absolute terms. We adopt

minvdStotaldv>1010max(|maxvdSdv|,ΔSvmax,P2κ)\min_{v}\frac{\mathrm{d}S_{\mathrm{total}}}{\mathrm{d}v}>-10^{-10}\cdot\max\!% \left(\left|\max_{v}\frac{\mathrm{d}S}{\mathrm{d}v}\right|,\,\frac{\Delta S}{v% _{\max}},\,\ell_{P}^{2}\kappa_{-}\right) (11)

as the production test, where ΔS=S(vmax)S(0)\Delta S=S(v_{\max})-S(0) and the last term in the maximum, P2κ\ell_{P}^{2}\kappa_{-}, is a unit-bearing floor that activates only for cells where both upper bounds collapse to the same order as a single double-precision finite-difference round-off.

All 60 of 60 cells satisfy (11), including all five near-extremal cells: at MΛ=0.84M\Lambda=0.84, minv|dS/dv|\min_{v}|\mathrm{d}S/\mathrm{d}v| is at most 5×10165\times 10^{-16} (machine epsilon for double-precision floating point), while ΔS[0.54,2.61]\Delta S\in[0.54,2.61] across the five p0p_{0} values. The total entropy change ΔS\Delta S is strictly positive in every cell, ranging from ΔS=0.41\Delta S=0.41 (smallest cell, MΛ=1M\Lambda=1, p0=12p_{0}=12) to ΔS=9.51×105\Delta S=9.51\times 10^{5} (largest, MΛ=106M\Lambda=10^{6}, p0=3p_{0}=3). Two further sanity checks pass: the outer-horizon-only entropy at MΛ=106M\Lambda=10^{6} (can/M=9.4×105\ell_{\mathrm{can}}/M=9.4\times 10^{-5}) reproduces the Schwarzschild reference to relative difference 2.07×10132.07\times 10^{-13}, and the de Sitter core scale identity rdS(core)=3/ΛdS=1/m2,poler_{\mathrm{dS}}^{\,(\mathrm{core})}=\sqrt{3/\Lambda_{\mathrm{dS}}}=1/m_{2,% \mathrm{pole}} with ΛdS=3Λ2z1\Lambda_{\mathrm{dS}}=3\Lambda^{2}z_{1} holds exactly. The production sweep runs in 25 s on a single i9-12900KS core.

The Dong–Camps–Wall correction SNLS_{\mathrm{NL}} from the δ\delta\Box variation of F1,F2F_{1},F_{2} is bounded by power counting on the spectrally fixed background: |dSNL/dv|αC(Λ/MPl)2|dSlog/dv||\mathrm{d}S_{\mathrm{NL}}/\mathrm{d}v|\sim\alpha_{C}\,(\Lambda/M_{\mathrm{Pl}% })^{2}\,|\mathrm{d}S_{\mathrm{log}}/\mathrm{d}v|, where Λ/MPl\Lambda/M_{\mathrm{Pl}} is the ratio of the SCT ultraviolet scale to the Planck mass. The laboratory lower bound on Λ\Lambda from Solar-system and torsion-balance tests [17] gives Λ>2.565meV\Lambda>2.565\,\mathrm{meV}, so (Λ/MPl)2>4×1062(\Lambda/M_{\mathrm{Pl}})^{2}>4\times 10^{-62} at the minimum of the allowed range and SNLS_{\mathrm{NL}} is suppressed by at least this factor. For typical SCT phenomenology with Λ103MPl\Lambda\sim 10^{-3}\,M_{\mathrm{Pl}} the suppression factor is (Λ/MPl)2106(\Lambda/M_{\mathrm{Pl}})^{2}\sim 10^{-6}, still negligible relative to both the area and the logarithmic pieces. The bound becomes vacuous only in the putative ΛMPl\Lambda\sim M_{\mathrm{Pl}} regime, where an explicit Wald–Iyer–Wald calculation of SNLS_{\mathrm{NL}} on the two-horizon Hayward+SCT background would become necessary.

Refer to caption
Figure 1: Rate of total entropy growth, dStotal/dv\mathrm{d}S_{\mathrm{total}}/\mathrm{d}v, along the inner-horizon evolution for five representative cells spanning the full subextremal branch: (MΛ,p0)=(0.84,4)(M\Lambda,p_{0})=(0.84,4) (near-extremal stress-test, where the per-horizon derivatives in eq. (9) diverge in magnitude with opposite signs), (100,4)(10^{0},4), (102,4)(10^{2},4), (104,6)(10^{4},6), and (106,12)(10^{6},12). The dimensionless advanced time vκv\,\kappa_{-} collapses all cells onto a comparable range; the rate is normalised to its maximum on each trace. All five curves are strictly positive throughout, smoothly saturating to zero as dδmMS/dv0\mathrm{d}\delta m_{\mathrm{MS}}/\mathrm{d}v\to 0 in the S3 plateau. No negative excursion is visible at any scale, including in the near-extremal cell where the chain-rule cancellation is most delicate.

5 Discussion

In the classical Reissner–Nordström and Kerr cases the second law through the Cauchy horizon is a delicate question precisely because mass inflation makes δmMS\delta m_{\mathrm{MS}} diverge: a divergent mass aspect feeds back into divergent horizon areas, and the formal entropy itself becomes infinite, so a meaningful comparison of S(vmax)S(v_{\max}) versus S(0)S(0) requires a regulator. The fakeon prescription provides one. On the spectrally locked Hayward+SCT background the regulator preserves the second law as a non-trivial inequality between two contributions of opposite sign: the outer horizon grows in the standard Hawking sense [15], codified by Bardeen–Carter–Hawking [16]; the inner horizon shrinks as the cumulative perturbation pushes rr_{-} toward its spectral asymptote 1/m2,pole1/m_{2,\mathrm{pole}}, and the sum is positive throughout the sweep including the near-extremal sub-grid. This statement is conditional on the two-horizon ansatz (6) for the canonical entropy and on the bounded SNLS_{\mathrm{NL}} estimate above; the former is flagged for full rederivation, the latter is vacuous only if ΛMPl\Lambda\sim M_{\mathrm{Pl}}, well beyond any phenomenologically relevant range.

A few caveats are worth stating sharply. First, the present analysis is purely S3: the S4 PV regime, where dδmMS/dv\mathrm{d}\delta m_{\mathrm{MS}}/\mathrm{d}v changes sign past the crossover advanced time vcross=κ1ln(m2,pole/ω0)v_{\mathrm{cross}}=\kappa_{-}^{-1}\ln(m_{2,\mathrm{pole}}/\omega_{0}), requires the generalised entropy current of an effective theory with controlled indefinite-metric sector [8] and is left for a companion paper. Second, the spectrally fixed can3(M)=2M/(Λ2z1)\ell_{\mathrm{can}}^{3}(M)=2M/(\Lambda^{2}z_{1}) is an 𝒪(R)\mathcal{O}(R)-truncated relation; corrections from higher-order curvature operators have been verified to be sub-percent in our parameter range, but the near-extremal cells where RΛ2R\sim\Lambda^{2} probe the boundary of that truncation, and the present second-law result is therefore conditional on the truncation through that region. Third, the analogous extension to rotating Kerr–Hayward+SCT backgrounds requires an independent chain rule on the quintic horizon equation (r2+a2)(r3+can3)2Meffr4=0(r^{2}+a^{2})(r^{3}+\ell_{\mathrm{can}}^{3})-2M_{\mathrm{eff}}r^{4}=0, and the corresponding second-law check will be reported separately.

Within these qualifications, the Anselmi fakeon regularisation of mass inflation on the spectrally fixed Hayward+SCT background is consistent with the second law of black-hole thermodynamics. The non-trivial inequality (10) holds because the spectrally locked can(M)\ell_{\mathrm{can}}(M) scaling bounds the inner-horizon contribution to vanish parametrically in the Schwarzschild-like limit and keeps it sub-dominant near extremality, even when the per-horizon contributions individually diverge in magnitude.

Data Availability

The 60-cell production-sweep results (including the near-extremal sub-grid output), the integration code, the horizon-extraction routine, the cross-check against an independent bracket-bisection solver, and the figure-generation scripts are available from the corresponding author upon reasonable request, and will be deposited at Zenodo with a permanent DOI upon journal acceptance.

Acknowledgements

We thank the developers of SciPy and NumPy for the numerical infrastructure on which this work depends. This research received no external funding.

AI Disclosure

In preparing this manuscript, AI tools (Anthropic Claude Opus 4.7 and OpenAI GPT-5.5) were used for the following tasks: technical text editing of the authors’ draft paragraphs, bibliography verification, LaTeX markup verification, and writing of computational code and verification scripts subsequently audited by the lead author. All mathematical derivations, all numerical results, all physical statements, and the final formulation of all conclusions were performed by the authors. The lead author has line-by-line reviewed the production-sweep integration code, cross-checked the horizon-extraction routine against an independent bracket-bisection implementation to machine precision, and independently verified every citation, formula, and numerical value reported in this Letter.

References

  • [1] E. Poisson and W. Israel, “Internal structure of black holes,” Phys. Rev. D 41, 1796 (1990).
  • [2] A. Ori, “Inner structure of a charged black hole: an exact mass-inflation solution,” Phys. Rev. Lett. 67, 789 (1991).
  • [3] D. Marolf and A. Ori, “Outgoing gravitational shock-wave at the inner horizon: The late-time limit of black hole interiors,” Phys. Rev. D 86, 124026 (2012), arXiv:1109.5139 [gr-qc].
  • [4] J. M. Bardeen, “Non-singular general-relativistic gravitational collapse,” in Abstracts of the 5th International Conference on Gravitation and the Theory of Relativity (Tbilisi University Press, Tbilisi, USSR, 1968), p. 174.
  • [5] S. A. Hayward, “Formation and evaporation of non-singular black holes,” Phys. Rev. Lett. 96, 031103 (2006), arXiv:gr-qc/0506126.
  • [6] V. P. Frolov, “Notes on non-singular models of black holes,” Phys. Rev. D 94, 104056 (2016), arXiv:1609.01758 [gr-qc].
  • [7] D. Anselmi and M. Piva, “A new formulation of Lee–Wick quantum field theory,” JHEP 06, 066 (2017), arXiv:1703.04584 [hep-th].
  • [8] D. Anselmi and M. Piva, “The ultraviolet behavior of quantum gravity,” JHEP 05, 027 (2018), arXiv:1803.07777 [hep-th].
  • [9] R. M. Wald, “Black hole entropy is Noether charge,” Phys. Rev. D 48, R3427 (1993), arXiv:gr-qc/9307038.
  • [10] V. Iyer and R. M. Wald, “Some properties of Noether charge and a proposal for dynamical black hole entropy,” Phys. Rev. D 50, 846 (1994), arXiv:gr-qc/9403028.
  • [11] A. H. Chamseddine, A. Connes, and W. D. van Suijlekom, “Entropy and the spectral action,” Commun. Math. Phys. 373, 457 (2020), arXiv:1809.02944 [hep-th].
  • [12] X. Dong, “Holographic entanglement entropy for general higher derivative gravity,” JHEP 01, 044 (2014), arXiv:1310.5713 [hep-th].
  • [13] J. Camps, “Generalized entropy and higher derivative gravity,” JHEP 03, 070 (2014), arXiv:1310.6659 [hep-th].
  • [14] A. C. Wall, “A second law for higher curvature gravity,” Int. J. Mod. Phys. D 24, 1544014 (2015), arXiv:1504.08040 [gr-qc].
  • [15] S. W. Hawking, “Gravitational radiation from colliding black holes,” Phys. Rev. Lett. 26, 1344 (1971).
  • [16] J. M. Bardeen, B. Carter, and S. W. Hawking, “The four laws of black hole mechanics,” Commun. Math. Phys. 31, 161 (1973).
  • [17] D. Alfyorov, “Solar system and laboratory tests of nonlocal one-loop spectral causal theory,” DOI 10.22541/au.177524450.03515205/v1 (2026).
  • [18] D. Alfyorov, “Nonlinear field equations and FLRW cosmology from the spectral action,” ResearchGate DOI 10.13140/RG.2.2.15315.95520 (2026).