{"id":"11f54e8b-6938-4c95-9e66-7f65c1f9a267","arxiv_id":"2505.11399","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors prove that scale-critical short-pulse initial data can produce global Kerr black hole formation spacetimes with a complete apparent horizon, and they derive dynamical and spacetime Penrose inequalities in the perturbative Kerr regime.","lead":"This paper constructs, from admissible characteristic initial data, dynamical solutions of the vacuum Einstein equations that collapse to a slowly rotating Kerr black hole, with a complete apparent horizon that emerges, grows, and settles down to the event horizon. It then proves a version of the Penrose inequality in these spacetimes without assuming time symmetry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Bridge to Kerr stability rests on omitted initialization estimates in Remark 10; without them the global spacetime, apparent horizon, and Penrose inequality conclusions are unsupported.","rationale":"The reader's weakest_assumption is indeed the same as ours: the initialization to Kerr-stability initial data. I fully agree. The concern is load-bearing because every later result—the global convergence to Kerr, the construction of incoming null cones via Pretorius–Israel coordinates, the MOTS solutions, and the Penrose inequalities—presupposes the spacetime produced by Theorem 3.4. The proof of Proposition 3.3 is a sketch dense with estimates, but the decisive step (Remark 10) is deferred. This is not a mere technicality: [56]'s hypotheses are formulated in their GCM/PG framework, and the transition coefficients between the double-null and PG frames control whether the perturbed data lie in the class admitted by that theorem. A wrong sign or a missing weight in those transition/curvature estimates would invalidate the theorem application. The paper contains substantial genuine contributions—the Pretorius–Israel eikonal construction, the F·(˜r−r+) structure for tr˜χ0, and the quasiconformal elliptic estimates—but these are downstream of the hyperbolic bridge. The omitted proof could plausibly be supplied, given existing semi-global characteristic arguments, but until it is supplied the central claim should not be accepted as proven. This does not amount to evidence of falsity, so a conditional verdict rather than rejection is appropriate. The reader already issued CONDITIONAL; I would leave that unchanged.","tokens_in":82077,"tokens_out":8993,"duration_ms":96900,"concrete_test":"Independently perform the omitted initialization in Section 3.2.2: with the data of Definition 3.1, construct the new double-null frame (e′_out)µ along Hv0 and compute the transition coefficients (f_out,f_out,λ_out) and the curvature bounds asserted in Proposition 3.3 for v∈[δ,∞). Verify in particular that the corner compatibility at S_{u0,δ} and the last-slice estimates hold uniformly as v∗→∞ without additional hypotheses on the short-pulse shear. If the computation requires a condition not contained in (3.5)–(3.6), or if any estimate in (3.13) fails, then the application of Theorem 3.4 is not justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.2.2's Proposition 3.3 is the sole mechanism that converts the prescribed characteristic data into a semi-global spacetime region compatible with Klainerman–Szeftel's Theorem 3.4. Its proof uses a last-slice/bootstrap framework in a thin outgoing layer {u0≤u≤u0+d, v0≤v<∞}, but the proof explicitly omits the initialization step: Remark 10 states 'We also need to derive estimates of curvature components for the initial data along Hv0 associated with the null frame (e′_µ). This can be achieved by a initialization procedure... We omit the proof in the present paper.' The omitted transition coefficients (3.13) and the curvature bounds on Hv0 are exactly what justify the change from the double-null frame of the short-pulse construction to the PG frame required by [56]. Moreover, the 'last slice argument' only controls a compact v-interval [v0,v∗] unless the rp-weighted estimates close uniformly as v∗→∞; that closure is asserted but not demonstrated, and it relies on the same initialization. If this step fails or requires stronger smallness than (3.5)–(3.6), Theorem 3.4 cannot be applied, and Theorem 1.1's global solution, the MOTS family in Sections 5–6, and the Penrose inequalities in Section 7 all collapse. The later elliptic and eikonal arguments are detailed, but they assume the existence of the [56] spacetime.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a proof that the 3+1 Einstein vacuum equations admit Kerr black hole formation solutions arising from admissible characteristic initial data. The strategy is to combine the scale-critical short-pulse trapped-surface formation result of An--Luk with the Klainerman--Szeftel nonlinear stability of Kerr with small angular momentum. To make this connection, the authors introduce admissible Kerr black hole formation initial data, construct initial data layers in a neighborhood of the characteristic hypersurfaces, and then pass through a chain of coordinate and null-frame transformations to the principal geodesic structures used in [56]. In the resulting spacetimes, they construct incoming null hypersurfaces by solving the eikonal equation in Pretorius--Israel type coordinates, solve a quasilinear elliptic equation to find a unique marginally outer trapped surface (MOTS) on each incoming null cone, and assemble these MOTSs into a complete apparent horizon. They further prove that this apparent horizon is smooth, locally achronal, asymptotically null, and approaches the event horizon at timelike infinity. Building on this analysis, they derive an area monotonicity law and then prove a dynamical Penrose inequality in their black-hole formation spacetimes and in Klainerman--Szeftel spacetimes, as well as a spacetime Penrose inequality, without a time-symmetry assumption, in the perturbative Kerr regime.","tokens_in":82328,"tokens_out":4791,"duration_ms":55462,"significance":"If the central claims are fully substantiated, the paper represents a substantial advance: it would extend Christodoulou's trapped-surface formation theorem to a complete, dynamical Kerr black hole formation picture, and it would provide a new hyperbolic route to the Penrose inequality outside the time-symmetric setting. The paper contains several genuinely new ingredients: the construction of admissible initial data that connects the short-pulse regime to the Kerr-stability regime, the construction of incoming null foliations in perturbed Kerr spacetimes via Pretorius--Israel type coordinates, a quasilinear elliptic existence and uniqueness theory for MOTSs based on quasiconformal estimates, and the extraction of a precise leading-order structure for the null expansion. These techniques, if valid, are likely to be influential beyond the present setting, particularly the elliptic method that does not rely on smallness of the angular momentum. The main limitation is that the bridge to the Klainerman--Szeftel theorem is not fully proved in the manuscript; the omitted initialization estimates are load-bearing, and several other key steps are asserted with varying degrees of detail.","major_comments":[{"comment":"The load-bearing bridge to Theorem 3.4 is not proved. The transition coefficients (3.13) and the curvature estimates for the initial data along H_{v0} with respect to the new null frame are exactly what is needed to pass from the double-null frame of the short-pulse construction to the principal geodesic frame required by [56]. Remark 10 states 'We omit the proof in the present paper,' and this is not a peripheral detail: without these initialization estimates, Proposition 3.3 does not verify the hypotheses of Theorem 3.4, and therefore Theorem 1.1, the global spacetime used in Sections 4--6, and the Penrose inequalities in Section 7 all lack support. The 'last slice argument' also needs a uniform closure in v*; the current text asserts the rp-weighted estimates close, but the initialization step is needed for that closure. The authors should provide the full proof or a precise theorem from [45, 60, 73] that covers this exact situation, including the smallness conditions matched to (3.5)--(3.6).","section":"Section 3.2.2, Remark 10"},{"comment":"The manuscript asserts that the MOTS existence result of [3] 'extends' to the transition region F(δ) ≤ eu ≤ F(v1), but no proof or precise reference is supplied. This is not a cosmetic gap: the global optical function (glo)eu constructed in Section 4.2 is neither the short-pulse v-level foliation nor the eikonal foliation of (int)M, and the MOTS equation must be re-derived and re-solved for this intermediate foliation. Without a demonstration that the existence, uniqueness, and regularity of MOTSs remain valid across the transition region, the claimed 'complete apparent horizon' and its smooth connection between the short-pulse and Kerr-stability portions are not established. Please either provide the proof or state explicitly which theorem in [3] applies, and explain why its hypotheses are satisfied by the transition foliation.","section":"Section 5, transition region after Proposition 4.4"},{"comment":"The proof of Proposition 4.8, which yields the key leading-order identity tr˜χ0 = F·(˜r-r+) with F∼1, relies on algebraic computations summarized as 'a direct calculation' and 'it can be check readily.' In particular, the expression for λ^{-1}tr˜χ′ assembled in the proof of Lemma 4.7 contains many terms, and the positivity of the resulting factor G(r,θ) over the entire range m ≤ r ≤ r0 is essential for the MOTS equation and for the Penrose inequality. The manuscript does not display the complete algebraic verification that G has no zeros; it instead uses monotonicity and the two limits r→r+ and r→∞. Those arguments are plausible, but they are not sufficient as written because the intermediate expression is not fully derived. Please include the full computation or a verifiable derivation that shows H(r,θ) > 0 for all relevant r, θ, including the treatment of the polar angular coordinates.","section":"Section 4.3, Proposition 4.8"},{"comment":"The spacetime Penrose inequality requires the global existence of a spacetime with complete future null infinity arising from the spacelike initial data set (Σ,g,k) in the perturbative Kerr regime. The proof cites [56] and then refers to [20, 74] in a parenthetical remark, but no combined statement of the resulting global existence theorem is given, nor is it verified that the initial data set satisfies the precise hypotheses of the cited works, such as asymptotic flatness conditions and compatibility with the characteristic data framework. The equality m = MB(-∞) ≥ MB(∞) = m∞ depends on this global development. Please provide a precise statement of the global theorem being invoked, with its hypotheses, and confirm that the initial data set (Σ,g,k) and the MOTS M0 satisfy them.","section":"Section 7.1, proof of Theorem 1.4"}],"minor_comments":[{"comment":"The smallness hierarchy is stated inconsistently: Definition 3.1 and the surrounding text require δA^{1/2} ≪ ϵ1 ≪ 1, while Remark 9 says the upper bound on the initial energy is not necessarily required to be small and only the characteristic length d needs to be small. Please clarify the exact smallness assumptions used in Proposition 3.3.","section":"Section 3.1 vs Section 3.2.2, Remark 9"},{"comment":"The phrase 'processes a complete apparent horizon' appears to be a typo for 'possesses a complete apparent horizon'; please correct it.","section":"Theorem 1.1"},{"comment":"The notation for the frames (eµ), (1)eµ, (˜eµ), and (˜e′µ) is dense, and the same symbol f is used for transition coefficients and for the function f in the definition of the optical function. A summary table of the frames, their transition coefficients, and the corresponding coordinate systems would substantially improve readability.","section":"Section 4, notation near (4.26) and Proposition 4.5"},{"comment":"The expression for trχ′ is stated as a lemma from [7], but the sign conventions and the derivation of the quadratic gradient terms are not repeated. Since the signs are crucial for the elliptic structure in Proposition 5.2, please either include a short derivation or explicitly indicate the equation numbers in [7] that are being used.","section":"Section 5.1, equation (5.2)"},{"comment":"The rigidity statement is phrased both as 'if equality holds then the Gauss curvature is pointwise 1/(4m²)' and 'conversely, assuming Gauss curvature is pointwise 1/(4m²), A = 16πm².' The second implication is immediate from Gauss--Bonnet, but the first requires the transport argument along the apparent horizon to be written out with the relevant estimates; the current text states this in a few sentences and should be expanded.","section":"Section 7, Theorem 1.4 rigidity statement"}],"recommendation":"major_revision","confidential_remarks":"The omitted initialization proof in Remark 10 is the single most important obstacle to accepting the paper's central claim. This is not a matter of style: it is the step that makes the characteristic initial data of Section 3 compatible with the Klainerman--Szeftel theorem. I would ask the authors to supply the full proof or a precise, verifiable citation before the paper can be accepted. The other major concerns, such as the transition-region MOTS argument and the full computation behind Proposition 4.8, should also be addressed in the revision. The paper's ambition and the quality of the surrounding analysis are high, and I do not see this as a reject; however, the current version is not yet complete."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version. This paper is the first serious attempt I know of to connect An–Luk scale-critical short-pulse collapse to nonlinear Kerr stability, then use the resulting spacetime to solve the apparent horizon and prove dynamical and spacetime Penrose inequalities without time symmetry. The architecture is coherent and, if it works, it genuinely extends Christodoulou's trapped-surface theorem toward a full black hole formation picture. But the paper itself admits, in Remark 10 of Section 3.2.2, that the transition-coefficient and curvature estimates needed to initialize the outgoing layer in the new null frame are omitted ('We omit the proof in the present paper'). That step is the hinge: Proposition 3.3 is the only mechanism that converts the prescribed characteristic data into a semi-global region compatible with Klainerman–Szeftel's Theorem 3.4. Without it, the global spacetime, the MOTS family, and the Penrose inequalities are unsupported. The stress-test note is right on this point.\n\nThe new material that does hold up is substantial. The construction of Pretorius–Israel type coordinates in perturbed Kerr and the leading-order null expansion tr~χ0 = F·(r−r+) with F ~ 1 (Section 4.3) is careful; the indirect argument — checking the two regimes and using monotonicity to pin down the sign — is sound, and the limit computation at r = r+ is written out. The elliptic toolkit is a real upgrade over earlier MOTS work: quasiconformal mapping with L^β data, Campanato condition, Miranda–Talenti on S^2, Leray–Schauder. Those results should survive independently. The Penrose inequality chain does not fit parameters; area monotonicity plus evolution-determined Kerr mass and angular momentum close the argument, so the circularity concern is minor. Dependence on Klainerman–Szeftel is heavy but legitimate.\n\nThe main weakness, in proportion, is the omitted initialization and the last-slice closure in Section 3.2.2: the bootstrap only controls a compact v-interval [v0, v*] unless the rp-weighted estimates close uniformly as v*→∞, and that uniformity relies on the same omitted estimates. Some 'direct calculation' phrases in Section 4.3 turn out to have the details nearby, so that particular complaint is smaller than it looks. The paper is dense and long; the frame-change chains in Section 3.3 take serious patience.\n\nAudience: mathematical relativists working on black hole formation, MOTS, or the Penrose inequality. Section 4.3 and Section 5 are worth reading even on their own.\n\nRecommendation: send to a serious referee, not desk reject. The right outcome is likely conditional acceptance or a request for a companion paper that fills in Remark 10 and the initialization. As it stands, the global claims are conditional on a gap the authors themselves acknowledge.","headline":"Bold, well-architected preprint that connects short-pulse collapse to Kerr stability and proves Penrose inequalities in those spacetimes, but the load-bearing initialization step needed to invoke Klainerman–Szeftel is explicitly omitted (Remark 10), leaving the global conclusions conditional.","tokens_in":82849,"tokens_out":4297,"would_cite":true,"duration_ms":41232,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C05","83C57","35Q75","35J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs vacuum Kerr black hole formation with a complete apparent horizon and uses it to prove Penrose inequalities in the perturbative Kerr regime.","keywords":["Kerr black hole formation","apparent horizon","marginally outer trapped surface","Penrose inequality","Einstein vacuum equations","short-pulse method","Kerr stability","characteristic initial data"],"falsifier":"Run the omitted initialization check: for admissible data from Section 3 and the smooth examples in Appendix A, compute the outgoing initial layer's transition coefficients $f', \\lambda'$ and the $r^p$-weighted flux of the curvature components along $H_{v_0}$, and test the claimed bound $|f'| \\lesssim \\epsilon_1/r'$ and the energy bound $E^{N-3}_{0,\\mathrm{in}} \\lesssim \\epsilon_1$; a single admissible data set violating these would invalidate the bridge to the Kerr stability theorem and with it the global apparent horizon construction. Alternatively, in exact subextremal Kerr with $|a/m|<1$, evaluate $\\operatorname{tr}\\tilde\\chi_0/(\\tilde r - r_+)$ at $r=m$ for a near-extremal value: if it ever fails to be positive and bounded below on $[m,r_0]$, Proposition 4.5 and the MOTS existence argument fail.","tokens_in":81852,"feed_emoji":"🕳️","tokens_out":9112,"duration_ms":93078,"temperature":0.7,"pith_summary":"The paper aims to close the loop of gravitational collapse: starting from admissible characteristic initial data—a short pulse of strong shear near the center joined to nearly Kerr data farther out—it constructs full solutions of the 3+1 Einstein vacuum equations in which a trapped region emerges, its boundary (the apparent horizon) forms and expands, and the spacetime settles down to a slowly rotating Kerr black hole. It then solves for the entire apparent horizon as a family of unique marginally outer trapped surfaces on incoming null cones, and shows that this horizon is smooth, locally achronal, area-nondecreasing, asymptotically null, and converging to the event horizon at late times. If the construction is correct, no symmetry assumption is needed to prove that collapse ends at Kerr, and the Penrose area–mass bound follows in these formation spacetimes and in perturbed Kerr. The essential bridge is feeding the characteristic data into the nonlinear Kerr stability theorem, which supplies the global late-time spacetime and decay estimates.","feed_headline":"Collapse to Kerr now comes with a complete apparent horizon","feed_subtitle":"Short-pulse formation is welded to Kerr stability, proving Penrose area–mass bounds without time symmetry.","key_machinery":"The load-bearing object is the incoming null cone foliation $\\tilde H_{\\tilde u}$ with regular coordinate $\\tilde r$ obtained by solving the eikonal equation in the perturbed Kerr spacetime, using Pretorius–Israel type coordinates as the leading model. On these null cones the crucial identity is $\\operatorname{tr}\\tilde\\chi_0 = F(\\tilde r - r_+)$ with $F \\sim 1$ for all subextremal Kerr data $|a|<m$, which converts the MOTS location equation into a quasilinear elliptic PDE whose zeroth-order coefficient is negative and bounded away from zero; that negativity yields the $C^0$ bound, invertibility of the linearized operator, and the area asymptotics. The elliptic existence engine is a Leray–Schauder fixed point argument whose a priori $C^{1,\\alpha}$ estimates do not require Hölder continuity of the coefficients: they use the Campanato condition, a sharp Miranda–Talenti type inequality on $S^2$, and a generalized quasiconformal method with only an $L^\\beta$ bound on the source. The null comparison principle then upgrades the MOTS family to a locally achronal apparent horizon, giving the area non-decrease used in the Penrose inequality proof.","core_discovery":"The central claim is Theorem 1.1: admissible characteristic initial data produce Kerr black hole formation solutions of the Einstein vacuum equations, each with a complete apparent horizon that originates from a spacetime center point, is spacelike in the short-pulse region, asymptotically null, and converges to the event horizon as advanced time tends to infinity. The proof has a hyperbolic part that welds scale-critical short-pulse collapse to nonlinear Kerr stability with small angular momentum through precisely constructed initial data layers and many coordinate and frame changes, and an elliptic part that solves the MOTS equation on each incoming null cone using Leray–Schauder fixed point theory together with new a priori estimates. A structural identity for exact Kerr—the outgoing null expansion has the form $\\operatorname{tr}\\tilde\\chi_0 = F(\\tilde r - r_+)$ with $F\\sim 1$ and $r_+$ the horizon radius—gives the MOTS equation a negative zeroth-order term, which drives existence, uniqueness, asymptotics, and the inequality chain. The paper then proves the dynamical Penrose inequality $M_B(\\tilde u) \\ge m_\\infty \\ge \\sqrt{m_\\infty(m_\\infty+\\sqrt{m_\\infty^2-a_\\infty^2})/2} \\ge \\sqrt{A_M(\\tilde u)/16\\pi}$ and the spacetime Penrose inequality $m \\ge \\sqrt{A/16\\pi}$ in the perturbed Kerr regime, with rigidity when equality holds and the MOTS has constant Gauss curvature $1/(4m^2)$.","pith_inferences":["A likely transferable residue is the quasiconformal $C^{1,\\alpha}$ estimate that works with only an $L^\\beta$ source bound and no Hölder coefficients; it should apply to other quasilinear elliptic equations with uniformly elliptic but rough coefficients, such as MOTS equations on slightly timelike or spacelike slices.","The initial-layer gluing recipe suggests a modular route for black hole formation: if a target spacetime has a proven stability theorem and explicit null coordinates, the same transition-region construction may weld short-pulse collapse to that target—e.g., charged rotating black holes or other stationary backgrounds.","A concrete testable extension would be to compute how tight the inequality chain is at finite time: the gaps between $A_M(\\tilde u)$, its limiting value $4\\pi(r_+^2+a_\\infty^2)$, and the corresponding Bondi mass should be optimally controlled by the stated $\\epsilon_0/\\tilde u^{1+\\delta_{\\mathrm{dec}}}$ rates, and any loss would indicate where the elliptic estimates degrade."],"forward_implications":["The full collapse process—trapped surface emergence, apparent horizon growth, settling to Kerr—is realized without any symmetry assumption, so the later evolution of short-pulse data is no longer a separate open problem.","The apparent horizon can be located, tracked, and shown to be achronal in these spacetimes; in particular its area is non-decreasing along the formation, giving a black-hole area law during collapse.","The dynamical Penrose inequality holds along the formation: Bondi mass is bounded below by the final mass, which is bounded below by $\\sqrt{A_M(\\tilde u)/16\\pi}$, with the MOTS area approaching the Kerr horizon area $4\\pi(r_+^2+a_\\infty^2)$ at late times.","In the perturbed Kerr regime the spacetime Penrose inequality $m \\ge \\sqrt{A/16\\pi}$ holds without time symmetry, with rigidity characterized by constant Gauss curvature equal to $1/(4m^2)$.","Once nonlinear Kerr stability is established for the full subextremal range $|a/m|<1$, the same argument extends the horizon conclusions and the Penrose inequalities to all subextremal Kerr targets; the paper already proves the needed null-expansion structure in that range."],"supporting_citations":[{"why":"Supplies the global nonlinear Kerr stability theorem with small angular momentum, whose initial conditions and decay estimates the paper must verify to obtain the late-time spacetime.","marker":"[56]"},{"why":"Provides the scale-critical short-pulse collapse solution used in the early region up to the center, including the trapped surface estimates the admissible data extend.","marker":"[9]"},{"why":"Introduces the Pretorius–Israel coordinate construction in exact Kerr that the paper generalizes to solve the eikonal equation for incoming null cones.","marker":"[69]"},{"why":"Provides the general null-frame transformation formulas used throughout to pass between short-pulse, initial-layer, and principal geodesic frames.","marker":"[54]"},{"why":"Supplies the Leray–Schauder fixed point theorem, the quasiconformal method, and the Morrey-type regularity lemmas on which the MOTS existence proof rests.","marker":"[34]"},{"why":"Provides the null comparison principle, the MOTS equation derivation, and the criterion that turns a MOTS family into a locally achronal apparent horizon.","marker":"[7]"},{"why":"Supplies the $r^p$-weighted energy estimates and last-slice argument used for the semi-global existence of the outgoing initial layer.","marker":"[60, 73]"},{"why":"Provides the canonical foliation on the last slice used to initialize the new double-null foliation in the outgoing initial layer.","marker":"[45]"}],"fun_headline_variants":["Kerr collapse: complete apparent horizon, no symmetry assumed","Penrose inequality proven in Kerr formation without time symmetry","Complete apparent horizon emerges in Kerr black hole formation","Dynamical Penrose bound from Kerr collapse, no symmetry needed","Short-pulse collapse to Kerr: complete horizon and Penrose bound"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire global construction hinges on the claim, sketched in Section 3.2.2 with one proof explicitly omitted, that the characteristic data layers can be initialized—after coordinate and frame changes—so that they satisfy the hypotheses of the Kerr stability theorem; if those transition-coefficient and curvature estimates along the outgoing initial hypersurface fail, the late-time spacetime and all subsequent MOTS and Penrose conclusions collapse.","fun_headline_variants_meta":{"raw":{"variants":["Kerr collapse: complete apparent horizon, no symmetry assumed","Penrose inequality proven in Kerr formation without time symmetry","Complete apparent horizon emerges in Kerr black hole formation","Dynamical Penrose bound from Kerr collapse, no symmetry needed","Short-pulse collapse to Kerr: complete horizon and Penrose bound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001014,"raw_usage":{"total_tokens":4343,"prompt_tokens":1067,"completion_tokens":3276,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":683,"completion_tokens_details":{"reasoning_tokens":3194}},"tokens_in":683,"tokens_out":3276,"duration_ms":23461,"temperature":1.0,"reasoning_tokens":3194,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:53:26.835495+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the omitted initialization check: for admissible data from Section 3 and the smooth examples in Appendix A, compute the outgoing initial layer's transition coefficients $f', \\lambda'$ and the $r^p$-weighted flux of the curvature components along $H_{v_0}$, and test the claimed bound $|f'| \\lesssim \\epsilon_1/r'$ and the energy bound $E^{N-3}_{0,\\mathrm{in}} \\lesssim \\epsilon_1$; a single admissible data set violating these would invalidate the bridge to the Kerr stability theorem and with it the global apparent horizon construction. Alternatively, in exact subextremal Kerr with $|a/m|<1$, evaluate $\\operatorname{tr}\\tilde\\chi_0/(\\tilde r - r_+)$ at $r=m$ for a near-extremal value: if it ever fails to be positive and bounded below on $[m,r_0]$, Proposition 4.5 and the MOTS existence argument fail.","supporting_citations":[{"cited_title":"Klainerman, J","cited_arxiv_id":null,"evidence_quote":"Supplies the global nonlinear Kerr stability theorem with small angular momentum, whose initial conditions and decay estimates the paper must verify to obtain the late-time spacetime."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the scale-critical short-pulse collapse solution used in the early region up to the center, including the trapped surface estimates the admissible data extend."},{"cited_title":"Pretorius, W","cited_arxiv_id":null,"evidence_quote":"Introduces the Pretorius–Israel coordinate construction in exact Kerr that the paper generalizes to solve the eikonal equation for incoming null cones."},{"cited_title":"Klainerman, J","cited_arxiv_id":null,"evidence_quote":"Provides the general null-frame transformation formulas used throughout to pass between short-pulse, initial-layer, and principal geodesic frames."},{"cited_title":"Gilbarg, N","cited_arxiv_id":null,"evidence_quote":"Supplies the Leray–Schauder fixed point theorem, the quasiconformal method, and the Morrey-type regularity lemmas on which the MOTS existence proof rests."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the null comparison principle, the MOTS equation derivation, and the criterion that turns a MOTS family into a locally achronal apparent horizon."},{"cited_title":"Klainerman, F","cited_arxiv_id":null,"evidence_quote":"Provides the canonical foliation on the last slice used to initialize the new double-null foliation in the outgoing initial layer."}],"review_version":1}