{"id":"c3340132-824c-4f76-9f27-25c2dbdd9444","arxiv_id":"2507.16588","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"On area-constrained critical surfaces of the Hawking functional, zero Hawking energy implies the enclosed region is flat or the reference space form, but the dynamical statement is conditional on a restrictive technical assumption.","lead":"Finding: on area-constrained Willmore surfaces, vanishing Hawking energy forces the enclosed region to be Euclidean, with analogues for charge, cosmological constant, and higher dimensions. For non-time-symmetric initial data, the same conclusion holds only under a technical integral condition that the paper shows is violated by some zero-energy Hawking surfaces in Minkowski spacetime.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The dynamical claim in the abstract is not established: Theorem 3.6 requires the ad hoc sign condition ∫Σ(fβ−λ)dμ≤0, which is violated by the paper's own zero-Hawking-energy Hawking spheres in Minkowski spacetime (Examples 3.12–3.13); the unconditional DEC statement is therefore not supported.","rationale":"The reader's weakest_assumption is the same as mine: the dynamical theorems hinge on an unexplained integral sign condition. I agree. I also checked the main time-symmetric proofs and the conditional algebra in Theorem 3.6; the conditional argument appears coherent, apart from possible minor coefficient typos. The concern is not that the conditional theorem is false, but that the central advertised claim, nonnegativity and rigidity under the dominant energy condition, is not a corollary of the results as stated. The paper's own remarks and examples show the condition is nonempty and excludes natural zero-energy Hawking surfaces. Because the abstract and title do not carry the caveat, the current verdict of reject as written is appropriate; a revised version that states the theorem conditionally and adjusts the abstract would deserve reconsideration. No ad hominem, no manufactured concern.","tokens_in":29380,"tokens_out":20380,"duration_ms":196649,"concrete_test":"Compute, for the round spheres Σ_r in the Minkowski hyperboloid of Example 3.12, the quantities H=2r^-1(1+r^2/a^2)^{1/2}, P=2/a, |k|^2=3/a^2, λ=0; then ∫Σ_r(f−λ)dμ=∫Σ_r(P/H)^2|k|^2dμ>0, while E(Σ_r)=0. This one computation settles that the sign condition in Theorem 3.6 is not automatic and is violated by zero-energy Hawking surfaces, so the theorem cannot support the abstract's unconditional 'under the dominant energy condition' formulation. If the authors can instead prove the inequality for all Hawking surfaces in DEC initial data, or find an alternative argument, the overclaim would be resolved; otherwise the abstract and conclusion must be narrowed to the conditional statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The single most load-bearing weakness is the gap between the advertised result and what is proved in the dynamical section. The abstract and concluding summary state that, under the dominant energy condition, the Hawking energy is nonnegative and rigid on its natural critical surfaces. Theorem 3.6, however, is explicitly conditional: positivity requires ∫Σ(f−λ)dμ≤0 and rigidity requires ∫Σ(fβ−λ)dμ≤0 for fβ defined in Section 3. Remark 3.8 concedes that neither condition is optimal nor physically motivated and that fβ was introduced for a purely technical reason. The paper then exhibits, in Examples 3.12 and 3.13, Hawking surfaces in Minkowski spacetime with zero Hawking energy for which the integral is positive, namely ∫Σ(f−λ)dμ=∫Σ(P/H)^2|k|^2dμ>0. Hence the additional hypothesis is not a consequence of the dominant energy condition, nor of being a Hawking surface; it excludes the very rigidity examples one would want to capture. Since Theorem 3.6 gives no information when the integral is positive, the body of the paper does not establish the abstract's unconditional DEC claim. The time-symmetric theorems are not affected; the gap is confined to the dynamical claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Hawking quasi-local energy on area-constrained critical surfaces in initial data sets. In the time-symmetric case these are area-constrained Willmore surfaces, and the author proves nonnegativity and rigidity theorems under nonnegative scalar curvature (Theorems 2.8 and 2.11), with extensions to charged manifolds (Corollary 2.18), cosmological constant settings (Theorems 2.23 and 2.26), and higher dimensions (Theorems 2.29, 2.30, 2.33, 2.35). In the dynamical case (k≠0), critical surfaces are called Hawking surfaces (equation (35)), and the main results (Theorem 3.6, Corollary 3.9) assert positivity and rigidity for the Hawking energy under the dominant energy condition plus an additional integral hypothesis involving a technically constructed function f_beta. The paper also gives examples in Minkowski spacetime of Hawking surfaces with zero Hawking energy for which this integral hypothesis fails (Examples 3.12 and 3.13).","tokens_in":29560,"tokens_out":3702,"duration_ms":40732,"significance":"The time-symmetric results are a solid contribution: they combine the Willmore equation with Shi-Tam and Hang-Wang rigidity to obtain clean rigidity statements on area-constrained Willmore surfaces, and the charged, cosmological, and higher-dimensional generalizations are natural and appear correct. The dynamical results, however, are not established in the unconditional form promised by the abstract and conclusion: Theorem 3.6 requires an ad hoc integral condition on the surface, and the paper itself concedes in Remark 3.8 that this condition is neither optimal nor physically motivated, while Examples 3.12 and 3.13 show that the condition is violated by natural zero-energy Hawking surfaces in Minkowski spacetime. The conditional theorems are still meaningful, but the advertised claim that the Hawking energy is nonnegative and rigid under the dominant energy condition on its critical surfaces is not supported by the body of the paper.","major_comments":[{"comment":"The abstract and the concluding summary state that, under the dominant energy condition, the Hawking energy is nonnegative and rigid on its natural critical surfaces. This is not what Theorem 3.6 proves: both parts (i) and (ii) require the integral condition ∫Σ(fβ−λ)dμ≤0 (or the weaker ∫Σ(f−λ)dμ≤0), which is not a consequence of the dominant energy condition, as the paper itself notes in Remark 3.8. The advertised claim is therefore unsupported and should be revised to state the conditional nature of the dynamical results.","section":"Abstract and §1.3"},{"comment":"The two Minkowski examples are Hawking surfaces with zero Hawking energy for which ∫Σ(f−λ)dμ = ∫Σ(P/H)^2|k|^2 dμ > 0, so the technical hypothesis of Theorem 3.6 fails exactly in the rigidity regime one would most want to capture. This shows that the integral condition is not merely a technical convenience but actively excludes natural flat-space surfaces, undermining the interpretation that the theorem establishes 'positive mass' behavior for the Hawking energy on its critical surfaces in the dynamical setting.","section":"Examples 3.12 and 3.13"},{"comment":"The alternative function f̃ introduced in Remark 3.7 is said to satisfy the needed sign condition automatically on the Examples 3.12 and 3.13, but no theorem is proved using f̃, and it is not shown that the f̃-condition is implied by any physical hypothesis. As a result, the paper does not supply a positive dynamical theorem whose hypotheses hold on any nontrivial class of Hawking surfaces broader than those already covered by the fβ-condition; the discussion in Remark 3.14 remains heuristic.","section":"Remark 3.7 and Remark 3.14"},{"comment":"Corollary 3.9 is stated as a positive energy theorem for the dynamical setting, but its hypothesis is the same ad hoc integral condition. Given that the condition can be violated by zero-energy Hawking surfaces in Minkowski spacetime, the corollary should be framed as a conditional statement rather than as a confirmation that the Hawking energy satisfies the basic physical principles of positivity and rigidity without further assumptions.","section":"Corollary 3.9"}],"minor_comments":[{"comment":"In the Hawking surface equation, the term 2k(∇ΣP,ν) appears with a sign that differs from the sign in the derivation in the proof of Lemma 3.1; please check the overall sign convention and ensure consistency between equation (35) and equation (38).","section":"Equation (35)"},{"comment":"The phrase 'the rest of components have positive scalar curvature' should be clarified: for 2-dimensional boundary components, positive scalar curvature means positive Gauss curvature, which is what is needed for the Weyl-Nirenberg-Pogorelov embedding theorem; please make this explicit to avoid ambiguity.","section":"Theorem 2.8"},{"comment":"The proof of Theorem 3.15 is only a sentence saying it is a direct combination of Theorems 2.30 and 3.6; since the higher-dimensional Hawking equation (56) contains an extra term involving n, the proof should indicate how the dimensional constants enter the inequalities.","section":"Theorem 3.15"},{"comment":"There are several typographical issues, including inconsistent use of 'its' and 'it's', missing spaces around equations, and the variable 'a' in Remark 3.14 referring to the hyperboloid parameter while 'a' is also used for the constant in Example 3.12; a careful proofreading pass is recommended.","section":"General"},{"comment":"The reference list is generally complete, but the companion paper [40] is cited as 'Communications in Analysis and Geometry 34 (2026)' while other citations from the same venue use different formatting; please verify all bibliographic details.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The time-symmetric part appears sound and publishable. The decisive issue is the mismatch between the abstract's unconditional claims and the conditional dynamical theorems. Since the author explicitly acknowledges the limitations in Remarks 3.7, 3.8, and 3.14, the gap is fixable by rewriting the abstract, introduction, and conclusion to present the dynamical results as conditional on an explicit technical hypothesis, and by moving the examples to a more prominent position. If the author prefers to keep the unconditional framing, the dynamical claims would need to be substantially strengthened or the paper restricted to the time-symmetric case."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: the time-symmetric part is genuinely good and worth knowing; the dynamical part as advertised in the abstract is overclaimed. The two halves should be judged separately.\n\nWhat is new: Theorem 2.8 shows that a single area-constrained Willmore surface with nonnegative Lagrange parameter and zero Hawking energy forces the enclosed domain to be a Euclidean ball. That removes the even-symmetry and near-roundness assumptions needed in the stable CMC rigidity results of Sun and Shi-Tian-Wei. The proof is short, transparent, and correct: integrate the Willmore equation, use Gauss-Bonnet, then apply Shi-Tam rigidity. Corollary 2.11 gives positivity cleanly. The charged and cosmological-constant variants are routine but useful, and the higher-dimensional framework looks coherent even if I did not verify every constant.\n\nThe soft spot is the dynamical section. Theorem 3.6 is explicitly conditional on an integral inequality involving f_beta and lambda. The paper itself concedes in Remark 3.8 that f_beta is not physically motivated and may bias the Hawking energy toward positivity. More seriously, Examples 3.12 and 3.13 exhibit round Hawking spheres in Minkowski spacetime with zero Hawking energy that violate the inequality. So the extra hypothesis excludes exactly the rigidity examples one would want to capture. The abstract and the concluding summary state that under the dominant energy condition the Hawking energy is nonnegative and rigid on Hawking surfaces, without flagging the condition. That is not supported by the theorems. The body is more honest, but the advertisement is what most readers will see.\n\nA smaller concern: equation (21) defining E_{n,Lambda,1} looks odd; in n=3 it does not seem to reduce to the standard Hawking energy with cosmological constant as claimed. I would check the normalization before citing the higher-dimensional results.\n\nWho gets value from this? Geometric relativists working on quasi-local mass. The time-symmetric rigidity will be cited. The dynamical theorem, in its honest conditional form, is a real contribution but not the breakthrough the abstract suggests.\n\nMy recommendation: this deserves peer review, not desk rejection. The time-symmetric result alone justifies referee time, and a good referee can force the abstract to match the theorems. But the current version should not be accepted as is; it needs a revision that either narrows the abstract or finds a physically motivated condition that does not exclude the Minkowski examples.","headline":"Time-symmetric rigidity on Willmore surfaces is a genuine and clean result, but the dynamical theorem as advertised in the abstract is not proven; the technical sign condition is artificial and violated by the paper's own zero-energy examples.","tokens_in":30166,"tokens_out":2187,"would_cite":true,"duration_ms":26477,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C42","83C40","83C99"],"pacs":["04.20.-q","04.20.Cv"],"model":"deepseek-v4-flash","headline":"The Hawking energy is nonnegative and rigid on its natural critical surfaces, with zero forcing a Euclidean or Minkowski region.","keywords":["Hawking energy","quasi-local energy","Willmore surfaces","Hawking surfaces","rigidity","positive energy theorem","initial data sets","dominant energy condition"],"falsifier":"Compute the integral $\\int_\\Sigma(f_\\beta-\\lambda)\\,d\\mu$ on the zero-Hawking-energy round spheres in the hyperboloid and paraboloid hypersurfaces of Minkowski spacetime constructed in Examples 3.12 and 3.13; the paper shows it is positive, so the hypothesis is not necessary. To test the theorem directly, search for any initial data set satisfying the dominant energy condition that contains a positive-mean-curvature Hawking surface with $\\int_\\Sigma(f_\\beta-\\lambda)\\,d\\mu\\le 0$ and $\\int_\\Sigma(H^2-P^2)\\,d\\mu=16\\pi$ but whose enclosed region is not Minkowski; finding one refutes Theorem 3.6(ii).","tokens_in":2194,"feed_emoji":"","tokens_out":4598,"duration_ms":135531,"temperature":0.7,"pith_summary":"This paper claims that the Hawking energy, the standard quasi-local measure of gravitational energy inside a closed 2-surface, becomes nonnegative and rigid when evaluated on its natural area-constrained critical surfaces rather than on arbitrary surfaces. In the time-symmetric case those surfaces are area-constrained Willmore surfaces, and zero Hawking energy forces the enclosed region to be a Euclidean ball with a round spherical boundary; charged, cosmological-constant, and higher-dimensional analogues are proved. In the fully dynamical case, where the critical surfaces are called Hawking surfaces, the paper gives the first nonnegativity and rigidity theorems under the dominant energy condition, with zero energy forcing the enclosed domain to be a spacelike hypersurface in Minkowski spacetime. The dynamical rigidity relies on a technical integral sign hypothesis that the paper itself identifies as neither optimal nor physically motivated, and the paper's own Minkowski-spacetime examples violate this hypothesis even though the surfaces there have zero Hawking energy.","feed_headline":"Zero Hawking energy forces flat space on critical surfaces","feed_subtitle":"New proofs on Willmore and Hawking surfaces add charged, cosmological-constant, and higher-dimensional cases.","key_machinery":"The central object is the area-constrained Euler-Lagrange equation of the Hawking functional $\\int_\\Sigma(H^2-P^2)\\,d\\mu$. For $k=0$ it reduces to the Willmore equation $0=\\lambda H+\\Delta_\\Sigma H+H|\\mathring B|^2+H\\,\\mathrm{Ric}_M(\\nu,\\nu)$; for general $k$ it becomes the Hawking-surface equation, which adds terms involving the second fundamental form $k$, its normal derivative, and the tangential gradient of $P$. Multiplying either equation by $H^{-1}$ and integrating by parts yields a master integral identity that separates nonnegative terms such as $|\\nabla_\\Sigma\\log H|^2$ and $|\\mathring B|^2$ from the integral controlling the Hawking energy; when the Hawking energy vanishes, all nonnegative terms must vanish, making $H$ constant, the surface umbilic, and the ambient Ricci tensor aligned, after which boundary rigidity theorems identify the region as Euclidean or Minkowski.","core_discovery":"The paper's central claim is that the Hawking energy, although not positive on arbitrary surfaces (every non-round sphere in Euclidean space has negative Hawking energy), becomes nonnegative and rigid when evaluated on area-constrained critical surfaces of the Hawking functional. In the time-symmetric case these surfaces are area-constrained Willmore surfaces, and under $\\mathrm{Sc}_M\\ge 0$, positive mean curvature, and nonnegative Lagrange parameter, the Hawking energy is nonnegative; vanishing energy forces the enclosed region to be a Euclidean ball and the surface a round sphere. In the dynamical case, for Hawking surfaces under the dominant energy condition, the paper proves nonnegativity and, under an additional integral sign condition, rigidity: zero Hawking energy forces the enclosed domain to be isometric to a spacelike hypersurface in Minkowski spacetime, with vanishing second fundamental form on the round umbilic boundary. The same pattern is extended to charged Einstein-Maxwell data, to negative and positive cosmological-constant backgrounds, and to two higher-dimensional analogues, with rigidity against hyperbolic, Euclidean, spherical, or hemispherical reference geometries.","pith_inferences":["The paper's own Minkowski examples suggest that the sign hypothesis on $f$ is stronger than needed; a plausible inference, not proven here, is that a sharper definition such as the paper's $\\tilde f$ could yield the same rigidity under the dominant energy condition alone.","Because Hawking surfaces are defined relative to a chosen spacelike hypersurface, applying these results in numerical relativity would require checking the integral condition on the surfaces of evolved slices; the foliation construction advertised in the companion paper is the natural place to test it.","The master-integral strategy may transfer to other quasi-local quantities, such as charged mass or angular momentum, where analogous Euler-Lagrange identities could yield rigidity against Kerr or Reissner-Nordström reference geometries rather than flat space.","The positive-cosmological-constant hemisphere endpoint is a Ricci-strengthened rigidity of the same shape as the scalar-curvature hemisphere conjecture; if that conjecture were available, the spherical rigidity hypotheses could likely be weakened."],"forward_implications":["In any 3-manifold with nonnegative scalar curvature, an area-constrained Willmore sphere with positive mean curvature and nonnegative Lagrange parameter has nonnegative Hawking energy, and equality forces the enclosed domain to be a Euclidean ball with round spherical boundary.","In an asymptotically flat 3-manifold with nonnegative scalar curvature, every leaf of the canonical Willmore foliation has positive Hawking and Brown-York energy unless the manifold is Euclidean.","In the dynamical setting, a Hawking surface with positive mean curvature, a dominant energy condition, and $\\int_\\Sigma(f-\\lambda)\\,d\\mu\\le 0$ has nonnegative Hawking energy; if additionally $\\int_\\Sigma(f_\\beta-\\lambda)\\,d\\mu\\le 0$ and the energy vanishes, the enclosed region is a spacelike hypersurface in Minkowski spacetime with $k=0$ on the round umbilic boundary.","The positivity-rigidity pattern extends to charged data, to both signs of the cosmological constant, and to two higher-dimensional Hawking-type energies, with the positive-$\\Lambda$ minimal-surface endpoint forcing a hemisphere.","Under the technical dynamical hypothesis, Hawking surfaces in Minkowski spacetime have strictly positive Hawking energy unless the surface lies in a hyperplane, mirroring the over-positivity of the Kijowski-Liu-Yau energy."],"supporting_citations":[{"why":"Introduces the Hawking energy whose positivity and rigidity are the paper's subject.","marker":"[17]"},{"why":"Proves nonnegativity of the Hawking energy on area-constrained Willmore surfaces in nonnegative scalar curvature and constructs the Willmore foliation, the time-symmetric starting point.","marker":"[20]"},{"why":"Shows nonnegativity on stable constant-mean-curvature spheres in the time-symmetric setting, the prior benchmark extended here.","marker":"[9]"},{"why":"Supplies the boundary Brown-York positivity and rigidity theorem whose equality case forces a Euclidean domain, used in the time-symmetric rigidity proof.","marker":"[46]"},{"why":"Establishes rigidity of the Hawking mass on stable CMC spheres, the closest earlier rigidity results.","marker":"[45, 50]"},{"why":"Provides the Kijowski-Liu-Yau positivity and rigidity theorem used to conclude Minkowski rigidity in the dynamical case.","marker":"[23, 24]"},{"why":"Characterizes zero Kijowski-Liu-Yau energy surfaces in Minkowski spacetime, used in the over-positivity corollary.","marker":"[30]"},{"why":"Gives the Ricci-lower-bound rigidity theorems that close the positive-cosmological-constant and hemisphere cases.","marker":"[16]"},{"why":"Supplies the hyperbolic-space boundary rigidity used in the negative-cosmological-constant theorem.","marker":"[47]"},{"why":"Introduces the first variation of the Hawking functional and the Hawking-surface equation used for the dynamical surfaces.","marker":"[38]"}],"fun_headline_variants":["Vanishing Hawking energy forces flat space on Willmore surfaces","Hawking energy positivity and rigidity on critical surfaces","Zero Hawking energy implies round sphere and flat interior","New proof: Hawking mass nonnegative on Willmore surfaces","Rigidity for Hawking energy on area-constrained critical surfaces"],"cache_read_input_tokens":32256,"weakest_assumption_plain":"The load-bearing premise in the dynamical rigidity theorem is the technical integral inequality $\\int_\\Sigma(f_\\beta-\\lambda)\\,d\\mu\\le 0$, which the paper itself calls neither optimal nor physically motivated; if that integral is positive, the rigidity argument does not go through, as happens in the paper's own Minkowski-spacetime examples with zero Hawking energy.","fun_headline_variants_meta":{"raw":{"variants":["Vanishing Hawking energy forces flat space on Willmore surfaces","Hawking energy positivity and rigidity on critical surfaces","Zero Hawking energy implies round sphere and flat interior","New proof: Hawking mass nonnegative on Willmore surfaces","Rigidity for Hawking energy on area-constrained critical surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00093,"raw_usage":{"total_tokens":3973,"prompt_tokens":927,"completion_tokens":3046,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":543,"completion_tokens_details":{"reasoning_tokens":2964}},"tokens_in":543,"tokens_out":3046,"duration_ms":24966,"temperature":1.0,"reasoning_tokens":2964,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:10:18.225171+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the integral $\\int_\\Sigma(f_\\beta-\\lambda)\\,d\\mu$ on the zero-Hawking-energy round spheres in the hyperboloid and paraboloid hypersurfaces of Minkowski spacetime constructed in Examples 3.12 and 3.13; the paper shows it is positive, so the hypothesis is not necessary. To test the theorem directly, search for any initial data set satisfying the dominant energy condition that contains a positive-mean-curvature Hawking surface with $\\int_\\Sigma(f_\\beta-\\lambda)\\,d\\mu\\le 0$ and $\\int_\\Sigma(H^2-P^2)\\,d\\mu=16\\pi$ but whose enclosed region is not Minkowski; finding one refutes Theorem 3.6(ii).","supporting_citations":[{"cited_title":"Hawking,Gravitational radiation in an expanding universe, J","cited_arxiv_id":null,"evidence_quote":"Introduces the Hawking energy whose positivity and rigidity are the paper's subject."},{"cited_title":"Ann.350(2011), no","cited_arxiv_id":null,"evidence_quote":"Proves nonnegativity of the Hawking energy on area-constrained Willmore surfaces in nonnegative scalar curvature and constructs the Willmore foliation, the time-symmetric starting point."},{"cited_title":"Math., vol","cited_arxiv_id":null,"evidence_quote":"Shows nonnegativity on stable constant-mean-curvature spheres in the time-symmetric setting, the prior benchmark extended here."},{"cited_title":"2, 437–459","cited_arxiv_id":null,"evidence_quote":"Characterizes zero Kijowski-Liu-Yau energy surfaces in Minkowski spacetime, used in the over-positivity corollary."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Ricci-lower-bound rigidity theorems that close the positive-cosmological-constant and hemisphere cases."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the hyperbolic-space boundary rigidity used in the negative-cosmological-constant theorem."},{"cited_title":"3, 035002","cited_arxiv_id":null,"evidence_quote":"Introduces the first variation of the Hawking functional and the Hawking-surface equation used for the dynamical surfaces."}],"review_version":1}