{"id":"a2f1ce3d-27da-43ad-aa21-15d98f9f956d","arxiv_id":"2501.13427","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For asymptotically flat manifolds whose boundary capacity potential satisfies an overdetermined condition, the ADM mass is bounded below by a capacity term, with equality characterizing Schwarzschild exteriors.","lead":"This paper proves a lower bound on the ADM mass of certain curved spaces with boundary, called critical area-normalized capacitors, and shows equality only for the Schwarzschild geometry. The result sharpens known uniqueness theorems for black-hole-like photon surfaces in Einstein gravity by requiring only asymptotic flatness rather than stronger asymptotic symmetry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (22) misstates the conformal scaling of the boundary scalar curvature; with the displayed exponent the proof of Theorem 1 does not close, though a corrected exponent restores the argument.","rationale":"The paper's central claim is a mass-capacity inequality for critical area-normalized capacitors, with rigidity for Schwarzschild. The proof strategy is coherent: split the parameter regime, use Hirsch-Miao directly in one case, and in the other apply a positive-mass theorem to a conformally deformed metric g_alpha. The key computations all check out except for the conformal scaling of the boundary scalar curvature in Eq. (22). The reader's verdict is CONDITIONAL, correctly, because a displayed formula in the core proof is wrong and must be corrected before the argument is rigorous. However, the error is exactly the kind of typographical exponent slip that a careful re-derivation fixes: the corrected exponent 4/(n-2) makes the subsequent inequalities work cleanly, and formula (21) for the mean curvature scaling is consistent with that correction. The reader's stated weakest assumption concerns the overdetermined capacitor condition and the need for total umbilicity in applications; that is a real limitation but not an internal inconsistency, since the theorems explicitly assume the capacitor condition and the applications derive it from total umbilicity via Lemma 1. Thus the proof is repairable and the central claim is plausible, but as written the manuscript should not be accepted without the correction and a recheck of the downstream inequalities in Theorems 1 and 2. This supports the CONDITIONAL verdict already assigned.","tokens_in":11975,"tokens_out":19170,"duration_ms":121681,"concrete_test":"Recompute Rbar_alpha from g_alpha = Psi_alpha^(4/(n-2)) g with Psi_alpha constant on Sigma using the standard conformal scalar-curvature formula; verify that Eq. (22) should read 2^(4/(n-2)) (1+alpha)^(-4/(n-2)) Rbar. With this correction, check that the chain c(1+alpha)^2 >= (1+c alpha)^2 under alpha^2 c <= 1 yields inf_Sigma Rbar_alpha >= (n-2)/(n-1) max_Sigma H_alpha^2, so Theorem 7 applies to (M,g_alpha). If the printed exponents are instead taken literally, derive the resulting bound and confirm that it does not imply the required pinching condition, which would leave the central inequality (9) unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The displayed formula (22) claims Rbar_alpha = 2^(2/(n-2)) (1+alpha)^(-2/(n-2)) Rbar. But g_alpha = Psi_alpha^(4/(n-2)) g and Psi_alpha is constantly (1+alpha)/2 on Sigma, so the induced metric is rescaled by k = ((1+alpha)/2)^(4/(n-2)). Scalar curvature scales by k^(-1), giving Rbar_alpha = 2^(4/(n-2)) (1+alpha)^(-4/(n-2)) Rbar. The printed exponent is off by a factor of two. This is load-bearing: the chain 'Rbar_alpha >= ... >= c(1+alpha)^2/(1+c alpha)^2 (n-2)/(n-1) max H_alpha^2' only closes with the corrected exponent; with (22) as written the factors do not cancel and the pinching condition for Theorem 7/8 is not established. The same typo propagates into the proof of Theorem 2: the text says Rbar_alpha >= H_alpha^2/2, whereas the correct conclusion is Rbar_alpha >= (n-2)/(n-1) H_alpha^2, which for n=3 is exactly H_alpha^2/2 but for n>=4 is stronger. Formula (21) for H_alpha is correct, so a one-line correction of (22) fixes the proof; this appears to be a typographical exponent error rather than a conceptual gap. The restriction to totally umbilical boundaries in the static-vacuum applications is a genuine scope limitation, but it is explicitly assumed and follows from Lemma 1, so it does not undermine the internal validity of Theorem 1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the class of 'critical area-normalized capacitors': asymptotically flat manifolds whose boundary capacity potential satisfies the overdetermined boundary condition (3). The main result, Theorem 1, is a mass-capacity inequality m >= (1 + Lambda/(c-1))^{-1} C(Sigma,M) under the boundary pinching (8), with equality characterized by rotationally symmetric Schwarzschild exteriors. Theorem 2 gives an analogous inequality under the pointwise boundary curvature bound (10) when n=3 or the boundary admits an isometric Euclidean embedding. Corollaries 1-2 reformulate these results in terms of the static potential V, and Theorems 3-6 apply them to static vacuums with equipotential boundaries, photon surfaces, and static manifolds with boundary. The proofs combine the Hirsch-Miao mass-capacity inequality with a conformal deformation g_alpha and positive mass theorems for manifolds with boundary (Herzlich-Friedrich and Miao).","tokens_in":12309,"tokens_out":15077,"duration_ms":125142,"significance":"If the results are correct, the paper gives clean mass-capacity inequalities for a geometrically natural class of boundary conditions and yields Schwarzschild rigidity statements for spin static manifolds under asymptotic flatness rather than asymptotic isotropy, which would strengthen several known uniqueness theorems. The proof strategy is transparent and uses established external inequalities; there is no circularity and no fitted parameter. The central argument as printed, however, contains a misstated conformal scaling formula in Eq. (22), and the proof of Theorem 2 uses an inequality that is too weak for n >= 4. Both issues are local and repairable, and the overall strategy appears sound. The scope limitation to totally umbilical equipotential boundaries in the static applications is explicit and does not by itself undermine the internal proofs.","major_comments":[{"comment":"The displayed formula (22), Rbar_alpha = 2^{2/(n-2)} (1+alpha)^{-2/(n-2)} Rbar, is not the correct conformal scaling. Since g_alpha|Sigma = ((1+alpha)/2)^{4/(n-2)} gamma, the induced metric is rescaled by k = ((1+alpha)/2)^{4/(n-2)} and the scalar curvature scales by k^{-1}, so the correct formula is Rbar_alpha = 2^{4/(n-2)} (1+alpha)^{-4/(n-2)} Rbar. With the printed exponent, the subsequent chain involving max H_alpha^2 does not close: the factors do not cancel and the pinching condition for Theorem 7 is not established. Replacing the exponent 2/(n-2) by 4/(n-2) in (22) restores the argument, so this appears to be a typographical error rather than a conceptual gap, but it is load-bearing for the proof of Theorem 1 as printed.","section":"Section 3, Eq. (22)"},{"comment":"In the proof of Theorem 2, the text states that formulas (21) and (22) ensure Rbar_alpha >= H_alpha^2/2. This is insufficient for n >= 4, where Theorem 8 requires Rbar_alpha >= (n-2)/(n-1) H_alpha^2, which is stronger than H_alpha^2/2. With the corrected formula (22), one instead obtains Rbar_alpha >= c(1+alpha)^2/(1+c alpha)^2 (n-2)/(n-1) H_alpha^2 >= (n-2)/(n-1) H_alpha^2, so the intended application of Theorem 8 does go through after the correction. As printed, however, the proof does not establish the hypothesis of Theorem 8 in the n >= 4 embedding case.","section":"Section 3, proof of Theorem 2"},{"comment":"The proof of Lemma 1 contains an incorrect displayed Gauss equation. With the manuscript's sign conventions, scalar-flatness of g gives Ric(nu,nu) = 1/2((n-2)/(n-1)H^2 - Rbar - |O|^2), not 1/2(Rbar - (n-2)/(n-1)H^2 + |O|^2). As printed, combining the displayed Gauss equation with H partial_nu V = -Hess V(nu,nu) does not yield the stated formula for partial_nu V. The stated formula itself is the correct one and is what the later applications use, so the error is repairable, but it should be corrected for the proof of Lemma 1 to be valid.","section":"Section 2, Lemma 1"}],"minor_comments":[{"comment":"In the displayed Gauss equation, the denominator '(n-2)/(n-2)' is a typo for '(n-2)/(n-1)'.","section":"Section 2, Lemma 1"},{"comment":"There are several typographical errors: 'connecter' should be 'connected' in Corollaries 1 and 2; 'get ride of' should be 'get rid of' in the proof of Theorem 7; 'This conclude the proof' should be 'This concludes the proof' at the end of Theorem 1's proof.","section":"Throughout"},{"comment":"The reference [DSW] is incomplete: it lacks volume, page numbers, and year. The reference [Loh16] is an arXiv preprint and should be labeled as such if no published version is intended.","section":"References"},{"comment":"In the equality discussion after Theorem 1, the phrase 'exterior of a rotationally symmetric sphere exterior' contains a duplicated word; it should read 'exterior of a rotationally symmetric sphere'.","section":"Section 3"}],"recommendation":"major_revision","confidential_remarks":"The scaling error in Eq. (22) and the too-weak inequality in the proof of Theorem 2 are local and fixable, but they are load-bearing as printed. The sign error in the displayed Gauss equation inside Lemma 1 is also local. I would be willing to accept a revision that corrects these formulas and re-verifies the equality cases. The paper's use of external mass-capacity and positive mass theorems is appropriate, and the literature discussion appears balanced."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Simon, quick read of Raulot's note. The headline: this is a real result, not just a repackaging. Theorems 1 and 2 are new mass-capacity inequalities for critical area-normalized capacitors, derived by feeding the overdetermined boundary condition into Hirsch-Miao and then a conformal deformation. The applications—photon surface uniqueness and static manifold with boundary—are genuinely broader than earlier work in that they replace asymptotic isotropy with asymptotic flatness. That's a meaningful step.\n\nThe proof works modulo one displayed formula. Equation (22) says the boundary scalar curvature scales with exponent 2/(n-2) under the homothety, but it should be 4/(n-2). As printed, the chain of inequalities does not close; the pinching condition for Theorem 7/8 is not established. The stress-test correctly identifies this. It looks like a typo, and with the corrected exponent everything cancels. The same typo appears in the proof of Theorem 2, where 'H^2_alpha / 2' should read '(n-2)/(n-1) H^2_alpha' for n >= 4. These are load-bearing but easily fixed. I would not reject on this basis, but it needs a careful rewrite.\n\nThe scope limitation to totally umbilical boundaries in the static vacuum applications is real but explicit. Lemma 1 shows exactly where the extra |O|^2 term appears, so the author doesn't overreach. The paper doesn't pretend to handle general equipotential boundaries.\n\nThe citation pattern looks fair. The main inputs (Hirsch-Miao, Herzlich, Friedrich, Miao) are standard and correctly attributed. The author's own previous work appears only in the context discussion, not in the proof chain.\n\nBottom line: this deserves a serious referee. The central ideas are sound, the applications are interesting, and the flaws are typographical rather than conceptual. If I were the editor I'd send it out and ask the referee to check the exponents. I'd cite it once it's corrected.","headline":"New mass-capacity inequalities for critical area-normalized capacitors, with a load-bearing but clearly typographical exponent error in Eq. (22) that is fixable in revision.","tokens_in":12833,"tokens_out":3140,"would_cite":true,"duration_ms":694496,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C20","53C24","53C27","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"For an asymptotically flat manifold whose boundary capacity potential satisfies a critical overdetermined condition, the ADM mass is bounded below by a capacity ratio, and equality occurs exactly for Schwarzschild exteriors.","keywords":["ADM mass","mass-capacity inequality","critical area-normalized capacitor","Schwarzschild rigidity","photon surface","static vacuum","positive mass theorem","conformal deformation"],"falsifier":"Construct a spin asymptotically flat manifold with $R\\ge 0$, $H>0$, and pinching condition (8) whose boundary capacity potential satisfies (3) but whose ADM mass is strictly less than $C(\\Sigma,M)/(1+\\Lambda/(c-1))$; such an example would directly refute Theorem 1.","tokens_in":11743,"feed_emoji":"🕳️","tokens_out":9577,"duration_ms":80175,"temperature":0.7,"pith_summary":"This paper establishes a sharp lower bound on the ADM mass of an asymptotically flat manifold whose boundary is a critical area-normalized capacitor: the boundary capacity potential has a normal derivative proportional to the boundary mean curvature. Under nonnegative scalar curvature, positive mean curvature, and a pinching condition on the boundary, the mass is at least the boundary capacity divided by $1+\\Lambda/(c-1)$. Equality holds exactly for the exterior of a rotationally symmetric sphere in the Riemannian Schwarzschild manifold. The proof uses a conformal deformation and positive-mass theorems for manifolds with boundary, and the resulting inequality yields uniqueness statements for static vacuum spacetimes with connected photon surfaces and for static manifolds with boundary.","feed_headline":"ADM mass bound pins critical capacitors to Schwarzschild","feed_subtitle":"A critical boundary condition forces equality only on Schwarzschild exteriors.","key_machinery":"The central object is the critical area-normalized capacitor, defined by a boundary capacity potential $\\Phi$ (the harmonic function equal to $1$ on the boundary and $0$ at infinity) satisfying $\\partial\\Phi/\\partial\\nu = -\\frac12\\frac{n-2}{n-1}\\Lambda H$ on $\\Sigma$. The proof's main mechanism is the conformal deformation $g_\\alpha = \\Psi_\\alpha^{4/(n-2)}g$ with $\\Psi_\\alpha = 1-\\frac{1-\\alpha}{2}\\Phi$. This deformation subtracts $(1-\\alpha)C(\\Sigma,M)$ from the ADM mass, preserves nonnegative scalar curvature, and, through the capacitor condition, controls the mean curvature of the new boundary so that a positive-mass theorem with boundary applies. Equality analysis then forces the conformal factor to be the Schwarzschild radial function, yielding rigidity.","core_discovery":"The central discovery is that the overdetermined boundary condition (3) converts the general mass-capacity inequality into a sharp one, with Schwarzschild rigidity as the equality case. Specifically, for a spin critical area-normalized capacitor with connected boundary, $R\\ge 0$, $H>0$, and $\\inf_\\Sigma \\bar R \\ge \\frac{n-2}{n-1}c\\max_\\Sigma H^2$ for $c>1$, the ADM mass satisfies $m\\ge \\frac{1}{1+\\Lambda/(c-1)}\\,C(\\Sigma,M)$, and equality is achieved if and only if the manifold is isometric to the region outside a rotationally symmetric sphere in an $n$-dimensional Schwarzschild manifold. The same inequality and rigidity hold under the pointwise pinching $\\bar R\\ge \\frac{n-2}{n-1}cH^2$ when $n=3$ or the boundary admits an isometric embedding into Euclidean space. These abstract results are applied to static vacuums: a totally umbilical equipotential boundary satisfying the pinching condition forces the Schwarzschild metric, and the spin photon-surface and static-manifold-with-boundary uniqueness theorems follow.","pith_inferences":["Beyond the paper's statements, the $|O|^2$ term in Lemma 1 suggests a concrete extension: when total umbilicity is dropped, the proportionality defining a critical capacitor fails, so the classification should be tested against non-totally-umbilical equipotential boundaries.","The proof's conformal deformation also raises a stability question not addressed here: the deficit $m - C/(1+\\Lambda/(c-1))$ should control some geometric distance to the Schwarzschild exterior, and the same $g_\\alpha$ construction is a natural tool for making that quantitative.","The connectedness assumption is likely removable in spirit, but would need a multi-boundary version of the positive-mass theorem with boundary; such an extension would align with earlier photon-surface rigidity results that allow black-hole components.","A direct numerical test could start from small perturbations of a Schwarzschild exterior: solving the critical capacitor condition to first order and checking whether the inequality persists would localise how rigid the equality case really is."],"forward_implications":["For any spin critical area-normalized capacitor satisfying the hypotheses, the ADM mass is bounded below by the boundary capacity divided by $1+\\Lambda/(c-1)$, and equality forces the manifold to be a Schwarzschild exterior.","A spin asymptotically flat static vacuum with a connected totally umbilical equipotential boundary satisfying the pinching condition must be the corresponding Schwarzschild exterior, so the uniqueness results extend from isotropic to merely asymptotically flat settings.","A spin asymptotically flat static vacuum spacetime that is geodesically complete up to a connected, outward-directed equipotential photon surface with compact time slices is a piece of the Schwarzschild spacetime.","A one-ended spin asymptotically flat static manifold with boundary, with a connected equipotential boundary and positive mean curvature, is isometric to the exterior of the unique photon sphere in the Schwarzschild manifold of positive mass.","The pointwise version of the pinching yields the same mass-capacity inequality and rigidity in dimension three, or whenever the boundary admits an isometric embedding into Euclidean space."],"supporting_citations":[{"why":"Supplies the background mass-capacity inequality for asymptotically flat manifolds with boundary that the conformal argument uses.","marker":"[HM20]"},{"why":"Gives the boundary Dirac condition implying nonnegative mass in the spin case.","marker":"[Her97]"},{"why":"Provides the equality analysis for the Dirac-based positive mass theorem with boundary.","marker":"[Her02]"},{"why":"Provides the eigenvalue lower bound on the boundary Dirac operator used to turn the pinching condition into nonnegative mass.","marker":"[Fri80]"},{"why":"Supplies the positive mass theorem for manifolds with corners used in the non-spin cases.","marker":"[Mia02]"},{"why":"Provides the photon-surface formulas identifying totally umbilical constant-mean-curvature boundaries satisfying the pinching in static vacuum spacetimes.","marker":"[CG21]"},{"why":"Supplies the static-manifold-with-boundary framework and the value $c=n/(n-2)$ needed in Theorem 6.","marker":"[Med24]"},{"why":"Introduces critical area-normalized capacitors as critical points of an area-normalized functional, the object studied here.","marker":"[FMR22]"},{"why":"Supplies the classical positive mass theorem used in the final rigidity step after gluing a Euclidean ball.","marker":"[SY79b]"}],"fun_headline_variants":["Critical capacitors force sharp mass-capacity bound","Schwarzschild rigidity from critical capacitor bound","Mass-capacity equality pins Schwarzschild exterior","Sharp bound yields Schwarzschild uniqueness for capacitors"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the boundary satisfies the overdetermined capacitor condition $\\partial\\Phi/\\partial\\nu = -\\frac12\\frac{n-2}{n-1}\\Lambda H$; in the static-vacuum applications this follows only under total umbilicity, and Lemma 1 shows that without it an extra $|O|^2$ term appears, so the inequality and rigidity may fail for general equipotential boundaries.","fun_headline_variants_meta":{"raw":{"variants":["Critical capacitors force sharp mass-capacity bound","Schwarzschild rigidity from critical capacitor bound","Mass-capacity equality pins Schwarzschild exterior","Sharp bound yields Schwarzschild uniqueness for capacitors"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000699,"raw_usage":{"total_tokens":3101,"prompt_tokens":834,"completion_tokens":2267,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":450,"completion_tokens_details":{"reasoning_tokens":2212}},"tokens_in":450,"tokens_out":2267,"duration_ms":19628,"temperature":1.0,"reasoning_tokens":2212,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T15:59:09.098387+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a spin asymptotically flat manifold with $R\\ge 0$, $H>0$, and pinching condition (8) whose boundary capacity potential satisfies (3) but whose ADM mass is strictly less than $C(\\Sigma,M)/(1+\\Lambda/(c-1))$; such an example would directly refute Theorem 1.","supporting_citations":[],"review_version":1}