Pith. sign in

REVIEW 2 major objections 4 minor 27 references

Short-pulse free data on a spacelike slice yields complete Cauchy data whose vacuum evolution must form a trapped surface.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-14 06:05 UTC pith:QGCBZ5DI

load-bearing objection Direct free-data construction of spacelike short-pulse data that form trapped surfaces, including time-symmetric examples; AF extension is solid only away from the critical scaling. the 2 major comments →

arxiv 2607.11236 v1 pith:QGCBZ5DI submitted 2026-07-13 gr-qc math.APmath.DG

Formation of Trapped Surfaces from Spacelike Initial Data

Xuantao Chen , Sergiu Klainerman This is my paper
classification gr-qc math.APmath.DG MSC 83C0583C5735Q76 PACS 04.20.Ex04.20.Dw
keywords trapped surfacesshort pulseEinstein constraintsfree dataCauchy dataasymptotically flatvacuum gravity
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows how to prescribe free data for the Einstein constraint equations so that the resulting Cauchy data on a spacelike hypersurface already contain a short-pulse annulus. Using local existence and forward radial integration for those free data, the authors construct complete asymptotically flat initial data that match trivial data inside the unit ball and realize large free scalars of short-pulse size in an annulus. The same data admit a semi-global vacuum evolution; if a simple integral lower bound on the shear is satisfied, that evolution necessarily develops a trapped surface. The construction is direct: free scalars are written down on the initial slice rather than being recovered after a characteristic evolution or a gluing construction. It therefore enlarges the class of spacelike data known to form trapped surfaces, including time-symmetric examples in which both gravitational polarizations can be large.

Core claim

There exist complete asymptotically flat vacuum Cauchy data on R^3 that realize prescribed large short-pulse free scalars (B, *B, K, *K) of size a^{1/2} on an annulus, match trivial data inside the unit ball, and whose future development contains a trapped surface whenever the shear lower bound ∫|bχ|^{2} dr ≥ δa holds.

What carries the argument

The free-data formalism that reduces the vacuum constraints to transport-elliptic equations for four free scalars (B, *B, K, *K) supported on ℓ ≥ 2 modes; local existence for large free data plus forward radial integration then produce the short-pulse Cauchy data and their asymptotically flat extension.

Load-bearing premise

The local existence and forward-extension theorems for large free data, taken from the authors’ earlier papers, must remain valid when the free scalars reach short-pulse size.

What would settle it

An explicit numerical or analytic solution of the vacuum constraints with free scalars of size a^{1/2} for which either local existence fails inside the short-pulse annulus or the forward radial integration cannot be continued to spatial infinity while preserving the required decay.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper constructs short-pulse type vacuum Cauchy data on R^3 that evolve to form trapped surfaces. Using the free-data formalism of the authors’ prior works [7,9], free scalars (B, *B, K, *K) of size a^{1/2} are prescribed on a short radial annulus (1,1+δ) imes S^{2} while exterior free scalars are small; local existence (Thm 3.2) produces the short-pulse data, which is then extended by forward radial integration (Thm 3.5) to complete asymptotically flat data matching trivial data inside the unit ball. The data are evolved in a double-null triangular region M_ riangle by a bootstrap (Prop 4.1), reduced to characteristic data on the outgoing cone H_{-1}, and shown to admit a semi-global evolution containing a trapped surface whenever the anisotropic lower bound ∫|bχ|^{2} dr ≥ δa holds. The construction covers both the subcritical regime δa ≪ 1 and, via a modified gauge in Appendix A, the critical Christodoulou scaling a ≈ δ^{-1}.

Significance. If correct, the result supplies the first direct (non-gluing) construction of regular spacelike short-pulse data whose future development contains trapped surfaces, and it includes time-symmetric examples. This removes the hierarchy between incoming and outgoing radiation that is forced by characteristic short-pulse constructions and substantially enlarges the class of Cauchy data known to form black holes beyond the Li–Yu gluing result. The free-data formalism itself is a reusable analytic tool for the constraint equations. The paper does not supply machine-checked proofs or code, but the logical reduction to previously established local/global existence theorems and to known characteristic trapped-surface criteria is clean and falsifiable.

major comments (2)
  1. Theorem 1.1 asserts complete asymptotically flat Cauchy data for free scalars of size a^{1/2}, including the critical regime a ≈ δ^{-1} treated in Appendix A. After the local construction, the forward-extension step (Thm 3.5) requires the sphere data on S_{1+δ} to be O(ε_0)-almost round. In the critical regime the integrated quadratic terms produce O(1) contributions to }/tr heta and /trΘ (displayed after Prop A.1). The authors note that these destroy the smallness needed for Thm 3.5 unless the angular-independence conditions ∫(|b heta_0|^{2}+|bΘ_0|^{2})dr independent of ϑ and ∫ b heta_0·bΘ_0 dr = O(δ^{1/2}) are imposed. Those conditions are not part of the free-data hypotheses of Thm 1.1, nor is a modified global theorem proved. Consequently the AF extension (and therefore the complete Cauchy data of the main theorem) is not established for the original Christodoulou scaling without fur
  2. The short-pulse estimates of Prop 3.3 and the entire critical-regime construction of Appendix A rest on the local existence theorem of [9] remaining valid for free data of size a^{1/2} with δa ≲ 1 (or after the gauge modification µ o µ'). While the iteration scheme is re-examined, the paper treats the prior local-existence result essentially as a black box. A self-contained verification that the large-data iteration of [9] closes under the modified gauge of Appendix A would remove a load-bearing external dependence.
minor comments (4)
  1. The abstract and introduction claim that the construction “greatly extends” Li–Yu, yet the comparison paragraph (Rem 1.3) does not quantify the enlargement of the free-data class (e.g., the inclusion of time-symmetric data) in a single sentence that a non-specialist can extract.
  2. Notation for the free scalars switches between (Bsp,*Bsp,Ksp,*Ksp) and the generic (B,*B,K,*K) without a consistent subscript convention; a short glossary in §2 would help.
  3. Figure 2 is referenced but never described in the text; a one-sentence caption explaining the regions M_ riangle and M_C would improve readability.
  4. Several arXiv identifiers in the bibliography (e.g., [7],[9]) appear with future dates; consistency with the published or final arXiv versions should be checked.

Circularity Check

1 steps flagged

Heavy self-citation of the authors' free-data local/global existence theorems is load-bearing for the construction, but the short-pulse Cauchy data and trapped-surface claim do not reduce to those inputs by definition.

specific steps
  1. self citation load bearing [Thm 1.1 / Sec. 3.1–3.2 (Thms 3.2, 3.5 citing [9])]
    "We make use of the free data formalism developed in [7, 9] to provide a direct construction of short-pulse type Cauchy data. The construction of the spacelike short-pulse follows from the local existence result established in [9]. The forward integration construction in [9] allows us to show that such data can be extended to a set of asymptotically flat Cauchy data."

    The existence of the short-pulse Cauchy data and their AF extension are obtained solely by invoking the authors' own local existence and forward-integration theorems for free data of size a^{1/2}. Without those self-citations the construction has no independent existence proof in this paper. This is load-bearing self-citation, but not definitional circularity: [9] does not assume or encode trapped-surface formation, and the free scalars remain free inputs rather than quantities defined from the target.

full rationale

The derivation chain is: prescribe free scalars (B,*B,K,*K) of short-pulse size a^{1/2} on a thin annulus (plus small exterior free scalars); invoke the authors' local existence (Thm 3.2 / [9]) and forward radial integration (Thm 3.5 / [9]) to obtain a complete AF solution of the vacuum constraints; induce double-null data on the outgoing cone H_{-1}; run a short triangular evolution and a semi-global characteristic evolution (via [8] and classical short-pulse theory); conclude trapped-surface formation if the independent lower bound (4.4) holds. None of these steps is self-definitional: free data are inputs to a PDE system, not defined in terms of trapped surfaces; the lower bound (4.4) is an extra geometric condition on bχ (equivalently on free scalars via Remark 4.2), not forced by the free-data ansatz; there is no parameter fit renamed as a prediction. The only circularity-adjacent feature is that the entire spacelike construction rests on the authors' prior free-data formalism and large-data local existence ([7,9]) and on their geodesic-foliation paper ([8]). Those citations supply independent analytic machinery (transport/elliptic decomposition of the constraints, iteration for local existence, energy estimates) whose statements do not include the present target. Per the rules this is ordinary self-citation of prior work, not a reduction of the claim to its inputs. Correctness gaps (e.g. Appendix A needing extra angular conditions for critical AF extension) are outside the circularity criterion. Score 2 reflects substantial but non-tautological self-citation; central geometric content remains independent once the free-data theorems are granted.

Axiom & Free-Parameter Ledger

3 free parameters · 5 axioms · 0 invented entities

The central claim rests on the vacuum Einstein equations, the free-data decomposition of the constraints developed in the authors’ prior work, local existence and forward integration theorems from that work, and standard null-structure/Bianchi estimates. No numerical free parameters are fitted; the large constant a and small δ are scaling parameters of the short-pulse regime. No new physical entities are postulated.

free parameters (3)
  • a (short-pulse amplitude) = large positive constant
    Universal large constant controlling the L² size of free scalars on the short-pulse annulus; chosen by hand to realize the An–Luk scale-critical regime.
  • δ (short-pulse width) = sufficiently small positive
    Length of the annular region on which large free data are prescribed; required to satisfy δa ≪ 1 (or δa ∼ 1 in the appendix) so that local existence and extension close.
  • ε₀ (exterior smallness) = sufficiently small positive
    Small constant controlling the weighted Sobolev size of exterior free scalars; independent of a and chosen small enough for the forward-integration theorem.
axioms (5)
  • domain assumption Vacuum Einstein constraint equations (div k − ∇ tr k = 0, R_g + (tr k)² − |k|² = 0) admit a free-data decomposition into four scalars (B,*B,K,*K) on ℓ≥2 modes plus gauge conditions.
    Taken from the authors’ prior free-data formalism [7]; invoked throughout Sections 1–3 as the starting point for prescribing short-pulse data.
  • domain assumption Local existence theorem for the free-data system with large free scalars of size a^{1/2} on a short radial interval (Theorem 3.2 / [9, Thm 3.4]).
    Black-box input from the companion paper [9]; used to construct the short-pulse annulus data in Section 3.1.
  • domain assumption Forward radial integration theorem producing asymptotically flat solutions from almost-round sphere data and small exterior free scalars (Theorem 3.5 / [9, Thm 4.3]).
    Black-box input from [9]; used in Section 3.2 to extend the short-pulse data to spatial infinity.
  • standard math Standard null structure equations and renormalized Bianchi identities in double-null gauge (Section 2.3).
    Classical identities of Christodoulou–Klainerman; used for the spacetime bootstrap in Section 4.
  • domain assumption Anisotropic trapped-surface formation criterion of Klainerman–Luk–Rodnianski (and An–Han) under a lower bound on ∫|bχ|².
    Invoked in Section 4.4 to convert the conserved shear lower bound into the existence of a trapped surface.

pith-pipeline@v1.1.0-grok45 · 21605 in / 3449 out tokens · 29307 ms · 2026-07-14T06:05:39.325863+00:00 · methodology

0 comments
read the original abstract

We make use of the free data formalism developed in \cite{CK25,CK26} to provide a direct construction of short-pulse type Cauchy data. The construction of the spacelike short-pulse follows from the local existence result established in \cite{CK26}. The forward integration construction in \cite{CK26} allows us to show that such data can be extended to a set of asymptotically flat Cauchy data. This greatly extends the result of Li--Yu \cite{LiYu}.

Figures

Figures reproduced from arXiv: 2607.11236 by Sergiu Klainerman, Xuantao Chen.

Figure 1
Figure 1. Figure 1: Penrose diagrams for finite-region short pulse (on the [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Illustration of Theorem 1.1. 1.3 Acknowledgements The authors thank Xinliang An for helpful comments that partly motivated the inclusion of the appendix. The first author is supported by ERC-2023 AdG 101141855 BlaHSt. The second author is supported by the NSF grant 2453843. 2 Notations, Preliminaries 2.1 Geometric quantities introduced in [7] We recall the notation of geometric quantities introduced in [7]… view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

27 extracted references · 6 linked inside Pith

  1. [1]

    An,Formation of trapped surfaces from past null infinity, arXiv:1207.5271

    X. An,Formation of trapped surfaces from past null infinity, arXiv:1207.5271

    Pith/arXiv arXiv

  2. [2]

    An,A scale-critical trapped surface formation criterion: a new proof via signature for decay rates,Ann

    X. An,A scale-critical trapped surface formation criterion: a new proof via signature for decay rates,Ann. PDE8(2022), no. 1, Paper No. 3

    2022

  3. [3]

    An and Q

    X. An and Q. Han,Anisotropic dynamical horizons arising in gravitational collapse, arXiv:2010.12524

    Pith/arXiv arXiv 2010

  4. [4]

    An and J

    X. An and J. Luk,Trapped surfaces in vacuum arising dynamically from mild incoming radiation,Adv. Theor. Math. Phys.21(2017), no. 1, 1–120

    2017

  5. [5]

    Bieri and P

    L. Bieri and P. T. Chru´ sciel,Future-complete null hypersurfaces, interior gluings, and the Trautman–Bondi mass,Proc. Harv. CMSA1(2017), 1–31

    2017

  6. [6]

    Chen,Gauge scalars for the Einstein constraint equations, in preparation

    X. Chen,Gauge scalars for the Einstein constraint equations, in preparation

  7. [7]

    Chen and S

    X. Chen and S. Klainerman,Solving the constraint equation for general free data, arXiv:2512.22704

    arXiv

  8. [8]

    Chen and S

    X. Chen and S. Klainerman,Formation of Trapped Surfaces in Geodesic Foliation,Comm. Math. Phys.407, 98 (2026). 16In our language, to extend the solution tor=∞through a bootstrap argument, one needs smallness relative to a suitable reference solution. 19

    2026

  9. [9]

    Chen and S

    X. Chen and S. Klainerman,Forward Construction of Vacuum Initial Data with Borderline Decay, arXiv:2606.08716

    Pith/arXiv arXiv

  10. [10]

    Christodoulou,The formation of Black Holes in General Relativity, EMS Monographs in Mathematics, 2009

    D. Christodoulou,The formation of Black Holes in General Relativity, EMS Monographs in Mathematics, 2009

    2009

  11. [11]

    Christodoulou and S

    D. Christodoulou and S. Klainerman,The nonlinear stability of the Minkowski space, Princeton University Press, 1993

    1993

  12. [12]

    P. T. Chru´ sciel and E. Delay,On mapping properties of the general relativistic constraints operator in weighted function spaces, with applications,M´ em. Soc. Math. Fr. (N.S.)94(2003), vi+103 pp

    2003

  13. [13]

    Corvino,Scalar curvature deformation and a gluing construction for the Einstein constraint equations,Comm

    J. Corvino,Scalar curvature deformation and a gluing construction for the Einstein constraint equations,Comm. Math. Phys.214(2000), no. 1, 137–189

    2000

  14. [14]

    Corvino and R

    J. Corvino and R. M. Schoen,On the asymptotics for the vacuum Einstein constraint equations, J. Differential Geom.73(2006), no. 2, 185–217

    2006

  15. [15]

    Giorgi, D

    E. Giorgi, D. Shen, and J. Wan,Cauchy data for multiple collapsing boson stars, arXiv:2512.01844

    arXiv

  16. [16]

    Klainerman, J

    S. Klainerman, J. Luk and I. Rodnianski,A Fully Anisotropic Mechanism for Formation of Trapped Surfaces in Vacuum, Inventiones, Volume 198, Issue 1 (2014), Page 1-26

    2014

  17. [17]

    Klainerman and I

    S. Klainerman and I. Rodnianski,Causal geometry of Einstein-vacuum spacetimes with finite curvature flux, Invent. Math.159(2005), 437–529

    2005

  18. [18]

    Klainerman and I

    S. Klainerman and I. Rodnianski,On the formation of trapped surfaces, Acta Math.208 (2012), 211–333

    2012

  19. [19]

    Li and H

    J. Li and H. Mei,A construction of collapsing spacetimes in vacuum, Comm. Math. Phys.378 (2020), no. 2, 1343–1389

    2020

  20. [20]

    Li and P

    J. Li and P. Yu,Construction of Cauchy data of vacuum Einstein field equations evolving to black holes,Ann. Math.(2)181(2015), 699–768

    2015

  21. [21]

    Luk and I

    J. Luk and I. Rodnianski,Local propagation of impulsive gravitational waves, Comm. Pure Appl. Math.68(2015), no. 4, 511–624

    2015

  22. [22]

    Luk and I

    J. Luk and I. Rodnianski, Nonlinear interaction of impulsive gravitational waves for the vacuum Einstein equations,Cambridge J. Math.5(2017), no. 4, 435–570

    2017

  23. [23]

    Mao, S.-J

    Y. Mao, S.-J. Oh, and Z. Tao,Initial data gluing in the asymptotically flat regime via solution operators with prescribed support properties, arXiv:2308.13031

    Pith/arXiv arXiv

  24. [24]

    Shen,Stability of the Minkowski space with minimal decay, arXiv:2310.07483

    D. Shen,Stability of the Minkowski space with minimal decay, arXiv:2310.07483

    Pith/arXiv arXiv

  25. [25]

    Shen, Exterior stability of Minkowski spacetime with borderline decay,Ann

    D. Shen, Exterior stability of Minkowski spacetime with borderline decay,Ann. Sci. ´Ec. Norm. Sup´ er.,59(2026), no. 4, 867–907

    2026

  26. [26]

    Shen and J

    D. Shen and J. Wan,Formation of multiple black holes from Cauchy data, arXiv:2506.16117

    Pith/arXiv arXiv

  27. [27]

    Shen and J

    D. Shen and J. Wan, Cauchy data for formation of multiple black holes with prescribed ADM parameters, arXiv:2601.01517. 20

    arXiv