Unified Black-Hole Interior Dynamics with Small Scalar Input

Fu-Guo Yang

REVIEW

Unified Black-Hole Interior Dynamics with Small Scalar Input

Fu-Guo Yang

General Relativity and Quantum Cosmology · Submitted 26 Oct 2026

Pith's verdict: A clear, well-structured paper that proposes a unified dynamical picture for black-hole interiors with small scalar input, but the central KN-route derivation rests on an assumption justified only by order estimates and a single numerical test.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 5 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.36129 (version 2)

Pith ID2IWVDZJL, Pith's permanent record of this paper and its review

CitationFu-Guo Yang. "Unified Black-Hole Interior Dynamics with Small Scalar Input." arXiv:2610.36129 (2026). https://pith.science/paper/2IWVDZJL

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

This paper does something useful: it gives a single language—area contraction—for how small scalar hair changes the interior geometry, covering both the Schwarzschild and Kerr–Newman routes. The two flow diagrams are physically intuitive, and the scaling laws (ρeq ~ ln|ε|⁻¹, the positive minimum of ᵋF) are derived cleanly from the radial equations. The numerical solutions for the spherical case look solid, and the axisymmetric example in Figure 3 tests the predicted gradient amplification and positive minimum for one parameter set. The writing is direct and the reasoning is easy to follow.

The soft spot is the one the stress test flags. The derivation for the KN route assumes eCg ≈ eCi through the transition layer (sentence b110). The paper says this requires "regularity bounds on the coupled fields" but does not provide them; the support is an order estimate and one numerical point (Q=0.6/√2, a=0.8/√2, ε=0.1, θh=60°). If eCg deviates significantly from eCi, the cancellation that gives eFmin > 0 could break. The authors acknowledge the gap, but it remains load-bearing. I also note that the full derivations are in the supplemental material (not reviewed here), and two key references [16, 24] are unpublished preprints from the same group. These are structural concerns, not fatal ones—the paper is upfront about its limits—but they mean the central claim is less anchored than it could be.

Who gets value from this paper: researchers working on black-hole interiors, scalar hair, and Kasner transitions. It organizes a lot of prior results into one framework. It would be a useful paper for the field if the assumptions hold. For a referee, I would suggest asking the authors to provide a more systematic numerical test of the eCg ≈ eCi assumption (e.g., scanning Q, a, ε, θh) and to clarify what in their unpublished preprints overlaps with this work. The paper deserves a serious referee; it is not a desk reject.

Referee report

Major objections (3)

[§Route II] The central derivation for the Kerr–Newman-like route assumes that the geometric coefficient eCg remains close to its background value eCi throughout the transition layer (sentence b110). This assumption is stated as a requirement and supported only by order estimates and a reference to regularity bounds; no explicit proof or systematic numerical test is presented in the main text. The numerical example in Figure 3 uses a single parameter set (Q=0.6/√2, a=0.8/√2, ϵ=0.1, θh=60°). If eCg deviates significantly from eCi, the leading equations (11) and the derived cancellation (eFmin > 0) would not hold. Because this assumption is load-bearing for the entire explanation of inner-horizon loss, the justification must be strengthened—either by a rigorous argument or by a systematic numerical survey covering a range of background parameters, scalar masses, and amplitudes—and the limitation explicitly acknowledged.
[General] The paper states that numerical tests include 'the Reissner–Nordström and Kerr limits,' but the main text displays only one KN example (Fig. 3). The reader cannot assess how representative this case is, or whether the same scaling and positive minimum appear across the parameter space. At least one additional test varying Q, a, or ϵ should be shown in the main text (or the existing figure should explicitly state that it is representative and that the Supplemental Material contains further cases).
[§Route II] Equation (11) relies on dropping S_f and scalar angular-derivative terms. The paper acknowledges that the focusing term S_f is subleading but does not estimate its magnitude relative to the retained terms for the KN branch. For the SC branch S_f = 0 because of spherical symmetry, but for the KN branch S_f includes shear and electromagnetic contributions. A quantitative estimate (or a demonstration from the numerical solution) that |S_f| ≪ min(|eCg/eF|, ˙Ψ^2) throughout the transition layer would strengthen the derivation.

Minor objections (5)

[§Model and definitions] The definition of C_g in the text is not written explicitly; it appears only in the sentence below Eq. (6) and in the Supplemental Material. The main text would benefit from a brief explicit expression (or clearer reference to the Supplemental Material) so that the reader can connect it to the equations.
[§Route II] Equation (12): the text says 'Solving for eF gives' but does not show the intermediate step. Adding two lines of algebra would improve transparency.
[Fig. 3] The figure uses a logarithmic vertical scale for eF and |C_b ˙Ψ| but a linear horizontal scale for (ρ - ρ_eq)/|C_b|^2. The horizontal axis is not labelled as linear. Consider adding 'linear' or remove the note to avoid confusion.
[§A common endpoint] The text defines γ as the constant in the angular ratio (Eq. 15) but first introduces it in the sentence 'Shear can split the transverse exponents even when γ² ≪ β².' This is slightly jarring; a more explicit definition earlier would help.
[References] Reference [23] (He and Liu, arXiv:2609.35500) appears to be a very recent preprint. Its connection to the present work should be briefly described in the text (e.g., 'independent confirmation' or 'extending the spherical analysis').

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Area contraction is the common mechanism that turns small scalar input into scalar–Kasner interiors for black holes with or without a Cauchy horizon.

The reading

This paper argues that the shrinking cross-sectional area of an ingoing null congruence—area contraction—provides a unified dynamical explanation for how small-amplitude stationary scalar fields at the event horizon reshape black-hole interiors. For black holes without a Cauchy horizon (the Schwarzschild-like route), contraction suppresses the curvature term relative to the scalar kinetic term, so kinetic dominance appears while the scalar gradient stays small. For black holes with a Cauchy horizon (the Kerr–Newman-like route), contraction strongly amplifies the scalar gradient as it approaches the would-be horizon zero, followed by a narrow transition to kinetic dominance; cancellation between the kinetic and geometric terms produces a positive minimum of a weighted metric diagnostic, dynamically explaining inner-horizon loss. Fully coupled numerical solutions for spherical and axisymmetric backgrounds support both routes. If correct, the picture unifies previously separate analyses of interior dynamics and provides a common endpoint—scalar–Kasner behavior—for small scalar hair.

What carries the argument

The central object is area contraction, tracked by the coordinate ρ = −(1/2) ln(dA/dA_h), which measures the shrinking cross-sectional area of the ingoing null congruence. The coupled radial equations (6) for the weighted metric diagnostic eF and the scalar field Ψ are the workhorses. On the Kerr–Newman-like route, the key identity (12) eF ≃ eCi C_b² / [(C_b ˙Ψ)(1 − C_b ˙Ψ)] shows how cancellation between the kinetic term ˙Ψ² and the geometric term −eCi/eF produces a positive minimum eF_min ≃ 4 eCi C_b². The matching analysis (9)–(14) establishes the inverse-input gradient scale (|˙Ψ| ∼ 1/|C_b|) and the plateau value C_b ˙Ψ → 1 after the transition.

Extended reading notes

Core claim

The paper identifies area contraction as the common physical mechanism driving a transition from geometric to scalar-kinetic dominance for small boundary-supported stationary scalar input. On the Schwarzschild-like branch (no Cauchy horizon), the relative curvature contribution decays exponentially while the gradient remains of order ϵ, so the scalar kinetic term becomes dominant at ρ_eq = O(ln|ϵ|⁻¹). On the Kerr–Newman-like branch (with a Cauchy horizon), the gradient is amplified to order 1/|C_b| as the solution approaches the would-be Cauchy-horizon zero at ρ_i, then within a narrow layer of width O(C_b²) the kinetic term takes over; the resulting cancellation produces a positive minimum eF_min ≃ 4 eCi C_b² > 0 for the weighted metric diagnostic, replacing the would-be horizon with a strictly spacelike surface. Both routes lead to a local scalar–Kasner regime with exponents (19) determined by the settled scalar gradient β and shear γ.

Load-bearing premise

The paper assumes that during the transition the focusing term S_f (from shear and electromagnetic fields) is negligible compared to the scalar kinetic term, and for the Kerr–Newman-like route that the geometric coefficient eCg stays close to its background value eCi; these are justified by order estimates but not proven rigorously, and the numerical tests cover a limited set of parameters.

Editorial extensions

If this is right

Small boundary-supported stationary scalar input inevitably drives black-hole interiors to a scalar–Kasner regime, independent of the presence of a Cauchy horizon.
The inner Cauchy horizon of a Kerr–Newman black hole is dynamically replaced by a spacelike scalar-dominated region, providing a concrete mechanism for the no-inner-horizon theorems of Refs. [9,10].
The emergent scaling symmetry reported for spherical interiors in Ref. [24] is derived from the layer equations in the axisymmetric case, unifying the scaling behavior across angular dependence.
The transition width and gradient amplification scale with the input amplitude: ρ_eq = O(ln|ϵ|⁻¹) for the Schwarzschild-like route; ρ_eq − ρ_i = O(C_b² ln|C_b|⁻¹) for the Kerr–Newman-like route.
The final Kasner exponents (19) are determined by the settled scalar gradient β and shear γ, with scalar kinetic dominance (γ²/β² → 0 for small input) ensuring the exponents approach the spherical limit.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The area-contraction mechanism may extend to time-dependent scalar input; if the same scaling holds, it would simplify the analysis of dynamical black-hole interiors.
The positive minimum of eF offers a diagnostic that could be searched for in numerical simulations of gravitational collapse with scalar matter, serving as a signature of the dynamical replacement of the Cauchy horizon.
The result suggests that the universality of the scalar–Kasner endpoint may apply to other matter fields (e.g., vector or p-form fields) as long as the gradient amplification and kinetic-dominance conditions are met, but the paper explicitly leaves this open.

Original abstract

We identify a unified dynamical picture connecting small-amplitude scalar input at the event horizon to scalar--Kasner interiors. Within boundary-supported stationary families, area contraction drives the transition from geometric to scalar kinetic dominance. For the Schwarzschild-like branch, the scalar kinetic term remains small but becomes dominant as area contraction suppresses the relative curvature contribution. For the Kerr--Newman-like branch, the scalar kinetic term is strongly amplified as area contraction carries the solution toward the would-be Cauchy horizon. A transition layer then transfers dominance to the kinetic term. The scalar kinetic and geometric terms balance at a positive minimum of the weighted metric diagnostic, explaining inner-horizon loss dynamically. Fully coupled spherical and axisymmetric solutions, including the Reissner--Nordstr\"om and Kerr limits, support this picture. Area contraction provides the physical mechanism, while the would-be Cauchy horizon determines the strength of kinetic amplification and the localization of the transition.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-28: 1 request, 5,617 input tokens.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.10 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.06 · compares with prior results 0.08 · mentions code or data availability 0.03.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We identify a unified dynamical picture connecting small-amplitude scalar input at the event horizon to scalar--Kasner interiors. Within boundary-supported stationary families, area contraction drives the transition from geometric to scalar kinetic dominance. For the Schwarzschild-like branch, contraction suppresses the relative curvature contribution, so the scalar kinetic term becomes dominant while the gradient remains small. For the Kerr--Newman-like branch, the scalar gradient is strongly amplified as area contraction carries the solution toward the would-be Cauchy-horizon zero, followed by a narrow transition to scalar kinetic dominance. Cancellation between the kinetic and geometric terms produces a positive minimum of a metric diagnostic, explaining inner-horizon loss dynamically. Fully coupled numerical solutions for the Schwarzschild-like branch and four-dimensional stationary axisymmetric Kerr--Newman interiors, including the Reissner--Nordstr\"om and Kerr limits, support this picture. Area contraction provides the common physical mechanism, while the would-be Cauchy-horizon zero determines the strength of gradient amplification and the localization of the transition.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We identify a unified dynamical picture connecting small-amplitude scalar input at the event horizon to scalar--Kasner interiors.	contribution 0.74	0.92	0.69	asserted 1.00
s1	Within boundary-supported stationary families, area contraction drives the transition from geometric to scalar kinetic dominance.	result 0.78	0.75	0.38	asserted 1.00
s2	For the Schwarzschild-like branch, contraction suppresses the relative curvature contribution, so the scalar kinetic term becomes dominant while the gradient remains small.	result 0.87	0.79	0.15	asserted 1.00
s3	For the Kerr--Newman-like branch, the scalar gradient is strongly amplified as area contraction carries the solution toward the would-be Cauchy-horizon zero, followed by a narrow transition to scalar kinetic dominance.	result 0.98	0.82	0.13	asserted 1.00
s4	Cancellation between the kinetic and geometric terms produces a positive minimum of a metric diagnostic, explaining inner-horizon loss dynamically.	result 0.53	0.82	0.13	asserted 1.00
s5	Fully coupled numerical solutions for the Schwarzschild-like branch and four-dimensional stationary axisymmetric Kerr--Newman interiors, including the Reissner--Nordstr\"om and Kerr limits, support this picture.	method 0.53	0.94	0.12	asserted 1.00
s6	Area contraction provides the common physical mechanism, while the would-be Cauchy-horizon zero determines the strength of gradient amplification and the localization of the transition.	interpretation 0.97	0.79	0.37	asserted 1.00

What kind of paper the classifier reports this is: simulation study 0.60 · evidence from simulation or computation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** FIG. 1. Two dynamical routes for small, boundary-supported stationary scalar input as the area of the ingoing null geodesic

**Figure 2.** FIG. 2. Area contraction for

Figures reproduced from arXiv:2610.36129 by the authors.

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.