{"id":"b4b042ef-c60f-4696-8121-5b18be771fc3","arxiv_id":"2603.16707","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Stable STCMC surfaces under the dominant energy condition satisfy |H⃗|² ≤ 16π/|Σ|, with equality forcing the enclosed development to be a Minkowski causal diamond; a weaker CMC stability also recovers Christodoulou–Yau.","lead":"The paper claims sharper curvature inequalities and rigidity theorems for CMC and spacetime-CMC surfaces in Riemannian and Lorentzian geometry. If correct, it strengthens quasi-local mass positivity and identifies when enclosed regions must be flat Minkowski diamonds.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"Full text is the wrong paper (quantum Rabi model); STCMC stability operator and rigidity assumptions remain invisible, so central claims cannot be stress-tested.","rationale":"The reader already diagnosed the mismatch and correctly flagged the unspecified geometric assumptions and the new STCMC stability theory as the weakest points visible from the abstract. The supplied “full text” confirms that diagnosis rather than resolving it. No further mathematical soft spot inside the actual argument can be isolated until the correct manuscript appears; therefore the verdict stays UNVERDICTED and the reader’s weakest-assumption statement stands unchanged.","tokens_in":10896,"tokens_out":394,"duration_ms":13632,"concrete_test":"Obtain the correct PDF of arXiv:2603.16707; extract the definition of the STCMC stability operator (and admissible variations) together with the exact list of geometric assumptions in the equality-case theorem; verify whether constant-mode stability reduces to a single integral inequality and whether those assumptions hold for the known asymptotic STCMC foliations of asymptotically flat initial data sets.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The cacheable manuscript is arXiv:2603.16709 (Kibble–Zurek in the open quantum Rabi model), not 2603.16707. Consequently the newly introduced STCMC second-variation operator, its domain/function space, the precise meaning of “stable,” and the “suitable geometric assumptions” that turn equality |H⃗|² = 16π/|Σ| into a Minkowski causal diamond are all unavailable. Without those ingredients the equality-case rigidity (and the resulting Hawking-energy positivity) cannot be checked for hidden strength or for exclusion of physically relevant data. The abstract’s weaker CMC constant-mode stability and the DEC inequality are field-standard in outline but remain unexamined.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The abstract claims curvature inequalities and rigidity for CMC surfaces in Riemannian geometry and for spacetime CMC (STCMC) surfaces in Lorentzian geometry. In the Riemannian setting it asserts that the Christodoulou–Yau inequality H² ≤ 16π/|Σ| continues to hold under a weaker stability hypothesis that controls only the constant mode of the second variation, with equality plus an extrinsic-curvature sign condition forcing the enclosed region to be Euclidean (with extensions to higher dimensions and constant-curvature backgrounds). In the Lorentzian setting it introduces a stability theory for STCMC surfaces, proves the sharp bound |H⃗|² ≤ 16π/|Σ| under the dominant energy condition, and claims that equality (under suitable geometric assumptions) implies that the maximal globally hyperbolic development of the enclosed region is a causal diamond in Minkowski spacetime, yielding positivity and rigidity of the Hawking energy on stable STCMC surfaces; asymptotic STCMC leaves are asserted to be stable under positive mass while local leaves are controlled by matter density and shear.","tokens_in":11011,"tokens_out":763,"duration_ms":20802,"significance":"If the stated theorems are correct, the work would be a substantial contribution to geometric analysis and mathematical general relativity: a genuine weakening of the stability hypothesis for Christodoulou–Yau-type inequalities, a new second-variation framework for STCMC surfaces, a sharp DEC-based curvature bound, and a Minkowski-diamond rigidity theorem that would give a clean positivity/rigidity statement for the Hawking quasi-local energy on a natural class of surfaces. Those results would be of clear interest to the geometric-analysis and mathematical-GR communities. However, the supplied full-text body is an unrelated quantum-optics manuscript (Kibble–Zurek mechanism in the open quantum Rabi model), so none of the claimed definitions, operators, or proofs can be examined and the significance cannot be confirmed from the submission as received.","major_comments":[{"comment":"The full manuscript body supplied with the submission does not match the title, abstract, or arXiv identifier 2603.16707. The body is the quant-ph paper “Kibble–Zurek Mechanism in the Open Quantum Rabi Model” (arXiv:2603.16709). Consequently there are no definitions of the STCMC stability operator or its function space, no second-variation formulae, no proofs of the claimed inequalities, and no rigidity arguments. The central mathematical claims of the abstract cannot be checked against any supporting text.","section":null},{"comment":"Even restricting attention to the abstract of 2603.16707, the load-bearing equality-case rigidity (“under suitable geometric assumptions, the MGHD is isometric to a causal diamond in Minkowski spacetime”) and the newly introduced STCMC stability theory remain unspecified: the precise second-variation operator, the class of admissible variations, and the geometric assumptions that convert |H⃗|² = 16π/|Σ| into Minkowski rigidity are not stated. Without those ingredients the rigidity and Hawking-energy conclusions cannot be assessed for hidden strength or for exclusion of physically relevant data.","section":null}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":"The PDF/body attached to this submission is the wrong paper (open quantum Rabi / Kibble–Zurek, quant-ph). Only the abstract of the claimed math.DG work is present. I cannot produce a content-level report on 2603.16707 until the correct manuscript is supplied. Please return the submission to the authors or re-upload the proper file; once the correct text is available I am happy to re-referee promptly. Until then the recommendation is necessarily “uncertain.”"},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The cache is broken for 2603.16707. The abstract is a clean geometric-analysis/GR program: weaken Christodoulou–Yau CMC stability to a constant-mode second-variation condition, introduce a stability theory for spacetime CMC surfaces, prove |H⃗|² ≤ 16π/|Σ| under the dominant energy condition, and get equality rigidity to a Minkowski causal diamond (hence Hawking-energy positivity on stable STCMC surfaces), plus a short analysis of known STCMC foliations. That outline is standard and, if proved, would be a solid extension of an established line—not a reorganization of the field, but real work people in initial-data geometry would read.\n\nWhat is actually new, on the abstract’s word: the weaker CMC hypothesis, the STCMC stability package, the DEC inequality with diamond rigidity, and the foliation stability remarks (asymptotic leaves under positive mass; local instability driven by matter density and shear). Credit where due: the program is coherent, cites the right classical inputs, and targets a known quasi-local energy application.\n\nThe soft spot is not subtle. The body we were given is arXiv 2603.16709 (Kibble–Zurek / open Rabi model). No STCMC second-variation operator, domain, or “suitable geometric assumptions” appear. Without those, equality-case rigidity and Hawking positivity are uncheckable; if stability is too strong or the assumptions exclude interesting data, the headline claims shrink. That is a documentation failure on our side, not a found error in the math.\n\nWho this is for: people who work on CMC/STCMC surfaces, quasi-local mass, and rigidity under DEC. A serious editor would send a correct PDF to referees. I would not cite or bring it to reading group until the real manuscript is in hand. Get the right PDF and re-read; until then treat the abstract as a plausible claim list, not a verified theorem.","headline":"We only have the abstract for the CMC/STCMC paper; the supplied “full text” is an unrelated quantum-optics manuscript, so the claimed inequalities and Minkowski rigidity cannot be checked.","tokens_in":11677,"tokens_out":506,"would_cite":false,"duration_ms":10812,"reading_group":"no","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53C50","83C05","53C24"],"pacs":[],"model":"grok-4.5","headline":"Stable spacetime constant-mean-curvature surfaces obey the sharp bound |H⃗|^{2} ≤ 16π/|Σ| under the dominant energy condition; equality forces the enclosed region’s development to be a Minkowski causal diamond, and a weaker constant-mode st","keywords":["constant mean curvature","spacetime constant mean curvature","Christodoulou–Yau inequality","Hawking energy","dominant energy condition","rigidity","Minkowski diamond","stability of surfaces"],"falsifier":"Construct (or rule out) a stable STCMC surface in a spacetime that satisfies the dominant energy condition, for which |H⃗|^{2} = 16π/|Σ|, yet whose maximal globally hyperbolic development is not isometric to a Minkowski causal diamond; any such example would falsify the rigidity claim.","tokens_in":11691,"feed_emoji":"📐","tokens_out":826,"duration_ms":15756,"temperature":0.7,"pith_summary":"The paper proves curvature inequalities and rigidity theorems for surfaces of constant mean curvature type in both Riemannian and Lorentzian geometry. In the Riemannian setting it shows that the classical Christodoulou–Yau inequality H^{2} ≤ 16π/|Σ| continues to hold under a strictly weaker stability hypothesis that only controls the constant mode of the second variation; when equality holds and an extrinsic-curvature sign condition is satisfied, the enclosed region must be Euclidean. The same pattern extends to higher dimensions and to hyperbolic and spherical ambient spaces. In the Lorentzian setting the authors introduce a stability theory for spacetime constant mean curvature (STCMC) surfaces and prove the analogous sharp inequality |H⃗|^{2} ≤ 16π/|Σ| under the dominant energy condition. Equality, under suitable geometric assumptions, forces the maximal globally hyperbolic development of the enclosed spacelike region to be isometric to a causal diamond in Minkowski spacetime. As a direct consequence the Hawking quasi-local energy is non-negative and rigid when evaluated on stable STCMC surfaces. The paper also analyses existing STCMC foliations, showing that asymptotic leaves remain stable under positive-mass conditions while local matter density and shear control the instability of local leaves.","feed_headline":"Stable STCMC surfaces force Minkowski diamonds at equality","feed_subtitle":"The sharp bound |H⃗|^{2} ≤ 16π/area holds under the dominant energy condition and yields positive Hawking energy.","key_machinery":"A newly introduced stability theory for spacetime constant mean curvature (STCMC) surfaces, together with a weaker “constant-mode” stability condition for ordinary CMC surfaces that only requires non-negativity of the second variation on constant functions; both notions convert the second-variation inequality into the sharp integral curvature bound and, at equality, into rigidity.","core_discovery":"Under the dominant energy condition every stable STCMC surface satisfies the sharp inequality |H⃗|^{2} ≤ 16π/|Σ|; when equality holds and suitable geometric assumptions are met, the maximal globally hyperbolic development of the enclosed spacelike region is a causal diamond in Minkowski spacetime. In the Riemannian setting the same numerical bound for CMC surfaces already follows from a weaker stability condition that only controls the constant mode of the second variation, and equality plus an extrinsic-curvature sign condition forces the enclosed region to be Euclidean.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Stable STCMC equality forces Minkowski causal diamonds","Weaker CMC stability recovers Christodoulou-Yau bound with rigidity","DEC plus STCMC stability yields |H⃗|^{2} ≤ 16π/area","STCMC equality cases enclose Minkowski diamonds under DEC","CMC constant-mode stability forces Euclidean enclosed regions"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The rigidity statements rest on “suitable geometric assumptions” and on a newly defined notion of stability for STCMC surfaces; if that stability condition is too strong or the geometric assumptions exclude the physically relevant cases, the identification of equality with Minkowski diamonds fails.","fun_headline_variants_meta":{"raw":{"variants":["Stable STCMC equality forces Minkowski causal diamonds","Weaker CMC stability recovers Christodoulou-Yau bound with rigidity","DEC plus STCMC stability yields |H⃗|^{2} ≤ 16π/area","STCMC equality cases enclose Minkowski diamonds under DEC","CMC constant-mode stability forces Euclidean enclosed regions"]},"model":"grok-4.5","effort":"low","cost_usd":0.006878,"raw_usage":{"total_tokens":1753,"prompt_tokens":862,"num_sources_used":0,"completion_tokens":88,"cost_in_usd_ticks":68780000,"prompt_tokens_details":{"text_tokens":862,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":803,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":862,"tokens_out":88,"duration_ms":7600,"temperature":1.0,"reasoning_tokens":803,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T23:33:40.228092+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct (or rule out) a stable STCMC surface in a spacetime that satisfies the dominant energy condition, for which |H⃗|^{2} = 16π/|Σ|, yet whose maximal globally hyperbolic development is not isometric to a Minkowski causal diamond; any such example would falsify the rigidity claim.","supporting_citations":[],"review_version":1}