{"id":"b1f65e7d-ec40-4452-aa43-4f160c8a392b","arxiv_id":"2607.11411","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Asymptotically Schwarzschildean lightcones of mass m>0 admit a unique asymptotically flat STCMC foliation with Bondi energy m and vanishing Bondi linear momentum.","lead":"This paper proves that an asymptotically Schwarzschildean lightcone of positive mass has a unique asymptotically flat foliation by constant-spacetime-mean-curvature surfaces, with Bondi energy equal to the mass and zero linear momentum. The result upgrades a prior existence theorem by showing uniqueness holds under substantially weaker surface assumptions than those needed for the construction.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper’s strongest claim is an a-posteriori uniqueness statement inside a precisely delimited class that still requires mild C^{2}-comparability to boosted spheres. That class is weaker than the one used for construction, the reduction is self-contained, and the authors correctly advertise that full uniqueness without a-priori assumptions is expected to fail. The technical steps (Sobolev inequality w.r.t. H^{2}, Stampacchia bound on |Å|, quantitative almost-roundness under controlled boosts) are standard and appear correctly executed. No load-bearing gap beyond the already-acknowledged scope limitation is visible; the reader’s ACCEPT verdict with low correctness risk therefore stands.","tokens_in":36792,"tokens_out":436,"duration_ms":5914,"concrete_test":"Independently re-derive the contracted null Simons identity (Prop C.1 / Rem 2.4) from the untraced form (Prop 2.3) under the sole assumption that H^{2} is constant, then verify that the leading-order term of G in Prop C.2 matches the curvature expansion of Prop B.1 when |∇ln ω| is controlled by the a-priori class; if the coefficient of the 4m/ω^{3} term fails to cancel, the Stampacchia iteration loses its critical rate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central uniqueness claim (Thm 4.2/4.6) is carefully scoped to the a-priori class S^{1}_{α,ε,κ} of Def 4.1, which the authors themselves flag as necessary and note is expected to be sharp by Brendle–Eichmair analogy. The reduction via Stampacchia (Prop 4.10) + almost-roundness (Cor 2.15) to the stronger class of the prior work is transparent and the estimates close. No hidden circularity or free parameters appear; the reader’s weakest-assumption correctly identifies the only structural limitation, which is already stated as such.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves uniqueness of an asymptotically flat STCMC foliation in an asymptotically Schwarzschildean lightcone of mass m>0. Existence of such a foliation (with Bondi energy m and vanishing Bondi linear momentum) was obtained in the authors’ prior work [13] inside a restrictive a-priori class B_σ. Here the authors introduce a substantially weaker class S^{1}_{α,ε,κ}[v_{1},v_{2},V_{1},V_{2}] (Definition 4.1) that still requires C^{2}-comparability to a boosted sphere with |a| ≲ ρ^{2α} (α small) and a controlled Sobolev constant with respect to H^{2}. They show that any STCMC surface in this class must in fact lie in B_σ (Theorem 4.2), by deriving critical pointwise bounds on |Å| and |∇Å| via a contracted null Simons identity (Proposition C.2), a Stampacchia iteration (Proposition 4.10), and quantitative almost-roundness estimates (Corollary 2.15). The uniqueness of the foliation then follows from the earlier result (Theorem 4.6).","tokens_in":36951,"tokens_out":797,"duration_ms":9679,"significance":"The result closes a natural gap left by the existence theory of [13]: the restrictive gauge (vanishing Bondi linear momentum) needed for construction is shown a posteriori to be forced by the STCMC condition under fairly generic asymptotic flatness. The technical core—null Simons identity, H^{2}-controlled Sobolev inequality, Stampacchia bootstrap, and reduction to the stronger class—is self-contained and carefully scoped. The authors correctly flag that full uniqueness without a-priori assumptions is expected to fail by Brendle–Eichmair analogy, so the limitation is transparent rather than hidden. The work supplies a solid foundation for subsequent center-of-mass applications in the null setting.","major_comments":[],"minor_comments":[{"comment":"Definition 4.1 and Lemma 4.4: the dependence of the constants H^{2}_{0}, α_{0}, ε_{0} on the parameters (m,α,ε,κ,v_i,V_i) is stated but never made fully explicit; a short remark collecting the hierarchy of smallness would help the reader track the bootstrap.","section":null},{"comment":"Proposition 3.3 / Remark 3.4: the constant c in the Minkowski Sobolev inequality depends on ||∇̂ ln ω||_{C^{1}}; while the subsequent Lorentz-invariant infimum c_{0}(Σ) is well-motivated, a one-line comparison with the classical Michael–Simon constant would clarify the loss of uniformity.","section":null},{"comment":"Appendix D: the outline of the improved Onofri inequality under the balancing condition ∫ f_i ω^{3} dμ̂ = 0 is clear, but the reference to Chang–Yang [5] could be supplemented by a pointer to the precise place where the Kazdan–Warner identity is applied (Eq. (28)).","section":null},{"comment":"Typographical: several instances of missing spaces after punctuation and occasional inconsistent use of “STCMC” versus “spacetime mean curvature” appear in the introduction and Section 4; a light copy-edit would remove them.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a natural and carefully executed sequel to the authors’ existence paper [13]. The reduction strategy is transparent and the a-priori class is honestly scoped. I see no reason to delay publication; the minor presentation points can be handled at the proof stage."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper finishes the job the authors started in their existence work. They already built an asymptotic STCMC foliation on an asymptotically Schwarzschildean lightcone; uniqueness held only inside a restrictive class that forced vanishing Bondi linear momentum. Here they show that any STCMC surface in a substantially weaker a-priori class (C^{2}-comparable to a mildly boosted sphere with |a| ≲ ρ^{2α}, α small, plus a controlled Sobolev constant) must actually sit inside the old strong class. The earlier uniqueness then applies, so the foliation is unique among surfaces that look like mildly boosted spheres at infinity, and it has Bondi energy m and zero linear momentum.\n\nWhat is new is the reduction itself. They derive a contracted null Simons identity, run a Stampacchia iteration to get a critical pointwise bound on the trace-free second fundamental form, bootstrap the gradient, then feed those rates into quantitative almost-roundness estimates that tolerate mild boosts. The chain is self-contained once you accept the black-box uniqueness from the previous paper; that citation is used cleanly as a reduction, not as circular reasoning. The appendices supply the curvature expansions and the refined C^{0} estimate under the balancing condition, so the argument can be checked line by line.\n\nThe soft spot is exactly the one they flag: uniqueness still lives inside an a-priori class. Surfaces that are not C^{2}-close to a boosted sphere are not ruled out, and they correctly note that full uniqueness without assumptions is expected to fail by Brendle–Eichmair analogy. That is a genuine limitation, but it is stated up front and does not undermine the theorem as written. No free parameters, no invented objects, citations look appropriate.\n\nThis is for people working on geometric notions of centre of mass or null geometry in mathematical GR. If that is your area, the estimates are worth reading carefully. I would send it to referees; the math is careful enough to deserve the time.","headline":"Solid uniqueness upgrade for STCMC foliations on null cones; the estimates close the gap left by the authors' existence paper without overclaiming.","tokens_in":37563,"tokens_out":498,"would_cite":true,"duration_ms":7163,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53C50","83C30"],"pacs":[],"model":"grok-4.5","headline":"A unique asymptotically flat STCMC foliation exists in asymptotically Schwarzschildean lightcones of positive mass, with Bondi energy m and vanishing linear momentum.","keywords":["spacetime mean curvature","STCMC surfaces","null hypersurfaces","asymptotically Schwarzschildean lightcones","Bondi energy","Bondi linear momentum","uniqueness of foliations","null Simons identity"],"falsifier":"Exhibit an STCMC surface in an asymptotically Schwarzschildean lightcone that is C^{2}-comparable to a boosted sphere with boost growing faster than any allowed power, or construct a second distinct asymptotically flat STCMC foliation whose Bondi linear momentum is non-zero.","tokens_in":37666,"feed_emoji":"🌑","tokens_out":614,"duration_ms":6463,"temperature":0.7,"pith_summary":"The paper proves that an asymptotically Schwarzschildean lightcone of mass m>0 admits a unique asymptotically flat foliation by surfaces of constant spacetime mean curvature (STCMC). That foliation carries Bondi energy equal to m and vanishing Bondi linear momentum. Existence of the foliation was already known from earlier work of the same authors, but uniqueness held only inside a very restrictive a-priori class of surfaces that forced the linear momentum to vanish by construction. Here the authors enlarge the a-priori class substantially: any STCMC surface that is merely C^{2}-comparable to a (possibly mildly boosted) round sphere must in fact lie in the original restrictive class, and is therefore unique. The argument proceeds by a Stampacchia iteration that yields a critical pointwise bound on the trace-free second fundamental form, followed by quantitative almost-roundness estimates that improve the decay and close the uniqueness. The result supplies the uniqueness needed for a well-defined notion of centre of mass on null hypersurfaces under a generic notion of asymptotic flatness.","feed_headline":"Unique STCMC foliation on Schwarzschild lightcones","feed_subtitle":"Bondi energy equals mass and linear momentum vanishes under generic asymptotic flatness","key_machinery":"A contracted null Simons identity together with a Stampacchia iteration that produces a critical pointwise bound on the trace-free scalar second fundamental form |A°|; the bound is then upgraded by quantitative almost-roundness estimates for conformally round metrics under a balancing condition.","core_discovery":"In an asymptotically Schwarzschildean lightcone of mass m>0 there exists a unique asymptotically flat background foliation by STCMC surfaces; the foliation realises Bondi energy m and vanishing Bondi linear momentum. Uniqueness holds inside a significantly weaker a-priori class than the one used for the original construction, so the restrictive class is recovered a posteriori.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Unique STCMC foliation in asymptotically Schwarzschildean lightcones","STCMC surfaces yield unique foliation with Bondi energy m","A posteriori unique STCMC foliation under weak asymptotics","Unique STCMC background foliation realises vanishing momentum","Constant spacetime mean curvature foliation unique for mass m>0"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"Uniqueness is proved only for surfaces that stay C^{2}-close to a boosted round sphere whose boost vector grows at most like a small power of the area radius; surfaces outside this class are not excluded.","fun_headline_variants_meta":{"raw":{"variants":["Unique STCMC foliation in asymptotically Schwarzschildean lightcones","STCMC surfaces yield unique foliation with Bondi energy m","A posteriori unique STCMC foliation under weak asymptotics","Unique STCMC background foliation realises vanishing momentum","Constant spacetime mean curvature foliation unique for mass m>0"]},"model":"grok-4.5","effort":"low","cost_usd":0.005548,"raw_usage":{"total_tokens":1358,"prompt_tokens":650,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":55480000,"prompt_tokens_details":{"text_tokens":650,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":641,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":650,"tokens_out":67,"duration_ms":6107,"temperature":1.0,"reasoning_tokens":641,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T05:45:12.383235+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit an STCMC surface in an asymptotically Schwarzschildean lightcone that is C^{2}-comparable to a boosted sphere with boost growing faster than any allowed power, or construct a second distinct asymptotically flat STCMC foliation whose Bondi linear momentum is non-zero.","supporting_citations":[],"review_version":1}