{"id":"b84c5335-4906-467d-b50c-eafe16bedf65","arxiv_id":"2607.05002","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Einstein manifolds with boundary are analyzed for Einstein-Hilbert stability via TVg tensors; Schwarzschild-AdS is mode-stable at R=((n-1)m)^{1/(n-3)} under spherical perturbations, while 4D Schwarzschild is unstable for R>3m.","lead":"The paper develops a stability theory for Einstein metrics on manifolds with boundary under geometric boundary conditions from Ricci flow, introducing TVg tensors in place of the usual TTg space. It proves mode stability for Schwarzschild-AdS black holes in a spherical cavity at a specific radius and shows the 4D Schwarzschild metric becomes unstable past the photon sphere.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the paper's own caveat on spherical symmetry.","rationale":"The paper’s strongest claim is already qualified by the spherical-symmetry restriction that the reader correctly flags. All supporting steps—Green identities, the ADN estimate establishing Fredholmness of ΔE on KmB, the reduction to a radial master ODE, and the Frobenius analysis at the regular singular point—are standard differential-geometric arguments that can be checked line-by-line and contain no free parameters or circular appeals. Because the limitation is openly stated and does not undermine the claims as formulated, no adjustment to the CONDITIONAL verdict is warranted. The concrete test simply reconfirms the key algebraic step that produces the eigenvalue sign under the paper’s own hypotheses.","tokens_in":28531,"tokens_out":490,"duration_ms":10857,"concrete_test":"Independently re-derive the master equation for χ (the rr-component of ΔEh after imposing the divergence constraint (6.4)) for n=4 at R=3m and confirm that the only regular solution compatible with the conformal boundary condition (6.7) yields λ=2μ/3 (or λ=0 when μ=0). If the eigenvalue sign flips or the Frobenius series fails to satisfy the boundary condition, the claim collapses; otherwise the restricted result stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims (Theorems 30–31) are carefully scoped to spherically symmetric modes in TVg, with the restriction that the lowest eigenvalue of ΔE on the full TVg still lies in that sector left as an explicit open caveat (Section 6, immediately before Theorem 30). The elliptic well-posedness of (ΔE, β, B) on TVg is established (Proposition 23), the master ODE and Frobenius analysis at the umbilic radius R=((n-1)m)^{1/(n-3)} are standard and self-contained, and the sign of the principal eigenvalue is obtained rigorously under the stated restriction. No internal inconsistency, hidden assumption, or circular step appears in the argument as written. The reader’s weakest-assumption already isolates precisely this limitation; nothing more load-bearing is present.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies the second variation of the Einstein–Hilbert action for Einstein metrics on compact manifolds with boundary, using geometric boundary conditions (conformal class of the induced metric and a coupled mean-curvature condition) motivated by the Ricci-flow variational calculus. Because the usual TT space is no longer natural, the author works with the larger space TVg of Bianchi-gauged, scalar-curvature-preserving, zero-total-trace tensors. The main structural results are an L2-orthogonal decomposition of TgMB, a Koiso-type slice theorem for constant-scalar-curvature metrics near Einstein metrics (under a spectral assumption), Green identities establishing self-adjointness of the stability operator Fg, and a proof that (ΔE, β, B) is a regular elliptic boundary-value problem on TVg with discrete spectrum (Proposition 23). Conformal versus mode stability are defined separately; an Obata-type uniqueness theorem for Einstein metrics in the same conformal class in MB is proved; two families of conformally unstable positive Einstein metrics with non-convex boundary are exhibited; and, as the principal application, mode stability of the Riemannian Schwarzschild–AdS family is established for spherically symmetric perturbations at the umbilic cavity radius R=((n−1)m)1/(n−3), with a local instability statement for four-dimensional Schwarzschild past the photon sphere R=3m.","tokens_in":28714,"tokens_out":1342,"duration_ms":27979,"significance":"The work supplies a carefully developed elliptic and variational framework for Einstein metrics with Anderson-type boundary data, filling a genuine gap between the closed-manifold theory and the boundary setting that arises in Ricci flow and in gravitational ‘black hole in a box’ problems. The Green identities, the Fredholm theory on TVg, the slice theorem, and the Obata-type uniqueness result are first-principles and appear solid. The SAdS analysis is explicit (master ODE, Frobenius expansion at the umbilic radius, constraint-condition evaluation of the principal eigenvalue) and parameter-free; the special radius is forced by the vanishing of rV′−2V rather than chosen to fit data. The honest caveat that the lowest eigenvalue on the full TVg is not proved to lie in the spherical sector is a strength of presentation. If the spherical-mode results extend, or even as a rigorously scoped statement, the paper is a useful contribution to geometric analysis and to the mathematical side of Euclidean black-hole thermodynamics.","major_comments":[{"comment":"Theorem 31 (and the parallel claim Theorem 4 in the introduction) is inconsistent with the local analysis that precedes it. The body of §6 shows λSC(3m)=0 and dλSC/dR|R=3m<0, so ΔE is positive definite for R slightly less than 3m and develops a negative eigenvalue for R slightly larger than 3m. The concrete statement, however, asserts the existence of r0<L≤∞ such that gSC is unstable on MR for all R∈(r0,L). That interval begins at the horizon and therefore includes radii below the photon sphere where the same calculation shows stability. The claim should be corrected to an interval of the form (3m,L) (or an equivalent formulation). Moreover, Theorem 4 asserts instability for all R>3m, while the proof only establishes a local crossing at R=3m and the existence of some L; a global statement for all R>3m is not justified by the given argument (numerical evidence in Figure 2 is suggestive bu","section":null},{"comment":"The mode-stability theorems (Theorem 30 / Theorem 3) are carefully restricted to spherically symmetric perturbations, and the paper explicitly flags that proving the lowest eigenvalue of ΔE on the full TVg still lies in that sector is ‘beyond the spectrum of the present paper’ (§6, immediately before Theorem 30). This caveat is load-bearing for any claim of unrestricted mode stability of SAdS. The abstract and the informal discussion of ‘a Black hole in a box’ should state the spherical-symmetry restriction with the same clarity as the theorem statements, so that the scope of the main application is unambiguous to a casual reader.","section":null}],"minor_comments":[{"comment":"Notation for the Einstein constant flips sign between the general theory (Ric=μg) and §6 (Ric=−μg, μ≥0). A single sentence at the start of §6 recording the change would prevent confusion when comparing eigenvalues such as λ=(n−2)/(n−1)μ with earlier formulae.","section":null},{"comment":"In Proposition 10 and Theorem 12 the spectral hypothesis scalg/(n−1)∉σN(Δ) is used repeatedly; Remark 13 notes that non-isometry with the hemisphere sometimes suffices. A short pointer in the statements of the main structural theorems would help the reader track when the stronger hypothesis is essential.","section":null},{"comment":"Figure 1 (spherical-cap Rayleigh quotients) and Figure 2 (numerical SAdS eigenvalues) are useful but lack axis labels and error-band discussion. A brief caption note on the numerical method used for Figure 2 would improve reproducibility.","section":null},{"comment":"Several references appear only by arXiv number or with incomplete bibliographic data (e.g. [AH], [Jou]). Standard journal formatting should be completed before publication.","section":null},{"comment":"Typographical inconsistencies: occasional missing spaces after punctuation, ‘á priori’ / ‘á priori’, and the mixed use of ‘TTg’ / ‘TT g’ / ‘TVg’. A light copy-edit pass would clean these.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The mathematical core (elliptic theory on TVg, slice theorem, Obata-type uniqueness, and the spherical-mode SAdS calculation) looks correct and carefully written. The only substantive issues are the misstated interval in Theorem 31 and the slightly over-strong global claim in Theorem 4; both are easily repaired. The spherical-symmetry caveat is already present and honest. I would not block the paper on that restriction. Fit for a solid geometry journal is good; the physics connection is a plus rather than a distraction."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news is the clean elliptic package for the Einstein–Hilbert second variation under Anderson-type boundary data (conformal class of the induced metric plus mean curvature). Once the boundary is present, TTg no longer sits naturally inside the tangent space of the admissible metrics, so the author works with the larger space TVg of Bianchi-gauged, scalar-curvature-preserving, volume-preserving tensors. Proposition 23 shows that (ΔE, β, B) is a regular elliptic boundary-value problem on that space, the Green identities close, and the spectrum is discrete. That framework, the accompanying slice theorem, and the Obata-type uniqueness statement for Einstein metrics in the same conformal class are the genuine additions relative to the closed-manifold literature.\n\nThe conformal-instability examples (spherical strips and caps past the equator) are explicit and useful: they show that positive Einstein metrics with non-convex boundary can fail conformal stability, something that cannot happen in the closed case. The SAdS calculations are equally concrete. At the umbilic radius R = ((n−1)m)^{1/(n−3)} the master ODE for spherically symmetric modes admits a regular Frobenius solution whose eigenvalue is forced by the constraint condition to be (n−2)/(n−1)μ (strictly positive when μ > 0). In four dimensions the same expansion shows that the Schwarzschild metric develops a negative mode precisely when the cavity radius exceeds the photon sphere 3m, resolving the earlier numerical discrepancy with thermodynamic stability. All of this is first-principles differential geometry; no free parameters or circular fitting appear.\n\nThe only material limitation is the one the author flags himself: mode stability for SAdS is proved only inside the spherically symmetric sector of TVg. Whether the lowest eigenvalue of the full operator still lives in that sector is left open. That is a genuine caveat, but it does not undermine the claims as written, nor does it affect the general elliptic theory.\n\nThis is for people who work on Einstein metrics, Ricci flow with boundary, or the mathematical side of black-hole thermodynamics. The math is checkable line-by-line and the citation pattern is appropriate. I would send it to referees without hesitation; the spherical-symmetry restriction is already stated clearly enough that a referee can simply ask for a sharper statement of the open question.","headline":"Solid, carefully scoped second-variation theory for Einstein metrics with Anderson-type boundary conditions; the SAdS mode-stability theorems are rigorous under the paper's own spherical-symmetry caveat.","tokens_in":29326,"tokens_out":582,"would_cite":true,"duration_ms":5483,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","58J05","83C57"],"pacs":[],"model":"grok-4.5","headline":"Einstein metrics with boundary are stable only after replacing TT tensors by a larger TV space; Schwarzschild-AdS is mode-stable exactly at the umbilic cavity radius.","keywords":["Einstein manifolds with boundary","Einstein-Hilbert stability","TV tensors","Bianchi gauge","Schwarzschild-AdS","mode stability","conformal instability","Anderson boundary conditions"],"falsifier":"Compute or rigorously bound the lowest eigenvalue of Δ_E on the full space TV for a four-dimensional Schwarzschild metric in a cavity slightly larger than 3m; a negative eigenvalue outside the spherical sector would falsify the claim that the metric is unstable only past the photon sphere.","tokens_in":29418,"feed_emoji":"◉","tokens_out":795,"duration_ms":6241,"temperature":0.7,"pith_summary":"The paper asks when an Einstein metric on a manifold with boundary is a local extremum of the Einstein-Hilbert action under natural geometric boundary conditions (conformal class of the induced metric fixed together with a Neumann-type condition on mean curvature). With a boundary the familiar space of transverse-traceless tensors is no longer the correct domain, so the author works on the larger space TV of tensors that preserve scalar curvature, volume and the Bianchi gauge. The associated stability operator is shown to be elliptic and self-adjoint on this space. Conformal stability can fail for positive Einstein metrics whose boundary is non-convex, yet an Obata-type uniqueness theorem still holds. As the main application the Riemannian Schwarzschild-anti-deSitter family is proved mode-stable (strictly when the cosmological constant is nonzero) for spherically symmetric perturbations inside a spherical cavity of umbilic radius R=((n-1)m)^{1/(n-3)}; in four dimensions the pure Schwarzschild metric becomes unstable the moment the cavity expands past the photon sphere R=3m.","feed_headline":"Black holes in a box are stable exactly at the umbilic radius","feed_subtitle":"Schwarzschild-AdS is mode-stable for spherical perturbations; pure Schwarzschild turns unstable past R=3m","key_machinery":"The space TV_g of tensors that are simultaneously in the kernel of the linearised scalar curvature, of zero total trace, and in the kernel of the Bianchi operator eta_g, together with the boundary operator B that freezes the conformal class of the induced metric and imposes the natural Neumann condition on mean curvature. On this domain the Einstein operator Δ_E is self-adjoint and Fredholm, so its spectrum decides mode stability.","core_discovery":"Under the Anderson-type boundary conditions that arise from Ricci-flow variations, the second variation of the Einstein-Hilbert action on an Einstein metric reduces to the Einstein operator on the space TV of Bianchi-gauged, scalar-curvature-preserving, zero-mean tensors. On that space the operator is elliptic and Fredholm, so a spectral notion of mode stability is well-defined. Every Schwarzschild-AdS metric (n≥4) is mode-stable for spherically symmetric perturbations precisely when the cavity radius equals the umbilic value ((n-1)m)^{1/(n-3)}; the four-dimensional Schwarzschild metric is unstable for every larger radius.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["S-AdS mode-stable for spherical modes exactly at umbilic cavity radius","Black holes in a box stable only when cavity equals umbilic value","Einstein operator on TV space pins S-AdS stability at umbilic radius","Schwarzschild unstable past R=3m under Anderson boundary conditions","Boundary Einstein metrics: mode stability holds precisely at umbilic R"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"Mode stability of Schwarzschild-AdS is proved only for spherically symmetric perturbations; the paper leaves open whether the lowest eigenvalue still lives in that sector for the full space TV.","fun_headline_variants_meta":{"raw":{"variants":["S-AdS mode-stable for spherical modes exactly at umbilic cavity radius","Black holes in a box stable only when cavity equals umbilic value","Einstein operator on TV space pins S-AdS stability at umbilic radius","Schwarzschild unstable past R=3m under Anderson boundary conditions","Boundary Einstein metrics: mode stability holds precisely at umbilic R"]},"model":"grok-4.5","effort":"low","cost_usd":0.00737,"raw_usage":{"total_tokens":1743,"prompt_tokens":724,"num_sources_used":0,"completion_tokens":96,"cost_in_usd_ticks":73700000,"prompt_tokens_details":{"text_tokens":724,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":923,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":724,"tokens_out":96,"duration_ms":6844,"temperature":1.0,"reasoning_tokens":923,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T10:15:06.670132+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute or rigorously bound the lowest eigenvalue of Δ_E on the full space TV for a four-dimensional Schwarzschild metric in a cavity slightly larger than 3m; a negative eigenvalue outside the spherical sector would falsify the claim that the metric is unstable only past the photon sphere.","supporting_citations":[],"review_version":1}