{"id":"b760e74e-32a0-4dbb-93c1-83d89d6e1d5f","arxiv_id":"2607.22237","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Numerical evidence that every squashed three-sphere conformal infinity admits a unique horizonless static vacuum fill-in and a one-parameter family of black-hole fill-ins in 5D AdS.","lead":"This paper reports numerical evidence for new five-dimensional gravitational solutions with negative cosmological constant, filling in any squashed three-sphere at the boundary. It finds families both with and without black holes, and shows the holographic mass can be positive, negative, or zero, with a phase transition.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Existence for all B̄0 rests on unverified numerical surjectivity and monotonicity of the parameter maps.","rationale":"The paper is honest about its numerical-evidence status, and the ODE system and asymptotic expansions are plausible. The Birmingham-Kottler and large-B limits provide supporting context. However, the strongest claim—existence and uniqueness for every squashing parameter—depends on global properties of the numerically computed parameter maps (monotonicity of B̄0 vs B2, unboundedness in both directions, and coverage of the black-hole family) that are asserted without error control, code, or convergence studies. The authors explicitly disclaim a proof. This matches the reader's weakest assumption. I could not identify a more load-bearing internal inconsistency; the concern is empirical reproducibility rather than a detected mathematical error. Hence the conditional verdict remains appropriate, and the concrete test would either support or refute the global-surjectivity premise.","tokens_in":9024,"tokens_out":13065,"duration_ms":126449,"concrete_test":"Reproduce the horizonless branch by integrating (2.7)–(2.9) with an independent high-order Runge–Kutta or spectral solver with strict error control (residuals < 1e-10) for a dense grid of B2 ∈ [B2*+10^{-8}, 10^{20}], and extract B̄0 by fitting to (2.10)–(2.17) near x=π/2. Verify (i) B̄0 is strictly increasing within numerical precision, (ii) the limits (2.23) are achieved, and (iii) no additional branches appear (e.g., by continuing from x=0 and from x=π/2 and comparing). If monotonicity or the divergence limits fail, the 'for every B̄0' existence/uniqueness claim is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim — for every B̄0 ∈ R a unique horizonless fill-in plus a one-parameter black-hole family — is supported only by unverified numerical integrations of (2.7)–(2.9). No code, tolerances, or convergence data are provided, and the authors explicitly state no existence proof was attempted. For the horizonless branch, global coverage relies on the numerically observed strict monotonicity of B̄0 as a function of B2 and on asymptotic fits (2.24)–(2.25) near B2→∞ and B2↘B2*≈-0.1046384. If the integration near these singular limits misses a turning point or fails to satisfy the Fuchsian expansions (2.10)–(2.17), the 'every B̄0' assertion collapses. For the black-hole branch, coverage of all real B̄0 is inferred from limits along the boundary curve in Figure 2.5 and from B̄0≈B_h for large B_h, without a systematic scan of the full (x_h,B_h) domain or error bars. The negative-mass multiplicity (two horizonless solutions for m∈(m*,0)) is likewise a numerical curve-shape claim; a small error in the holographic mass could remove the double-valued region.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies five-dimensional static vacuum metrics with negative cosmological constant Λ = −6, restricted to SO(3)×U(1)-symmetric metrics in the ansatz (2.6). The Einstein equations reduce to the ODE system (2.7)–(2.9). The authors construct numerically two families of conformally compact solutions: horizonless fill-ins and black-hole fill-ins, with conformal infinity given by an ultrastatic metric whose spatial sections are squashed three-spheres, parameterized by B̄0 ∈ R. They claim that for every B̄0 there is a unique horizonless solution, and a one-parameter family of non-degenerate black-hole solutions. They further report that the holographic mass of horizonless solutions is positive for B̄0 ≳ 0.726 and negative below this value, with two distinct horizonless solutions for masses m* ≈ −0.34764 < m < 0.","tokens_in":9297,"tokens_out":4058,"duration_ms":43391,"significance":"If the numerical claims are correct, this is a significant contribution: it provides explicit, non-Birmingham-Kottler static vacuum metrics with arbitrary squashed-S^3 conformal infinity, both with and without horizons, and exhibits a holographic-mass phase transition and a non-uniqueness region not present in the spherically symmetric case. The ODE reduction is exact and the Fuchsian-type boundary expansions (2.10)–(2.17) are internally consistent and match the authors' previous rigorous local existence results near AdS and Birmingham-Kottler metrics. These are genuine strengths. However, the global statements 'for every B̄0' and 'exactly two solutions' are supported only by numerical integrations without published code, convergence tests, error estimates, or uncertainty quantification; the authors explicitly state in §2.3 that no existence proof throughout the range was attempted. The paper is therefore best judged as numerical evidence of a conjectured geometric existence result, rather than as a proof of that result.","major_comments":[{"comment":"The statement that horizonless solutions exist for every B̄0 ∈ R rests on the numerically observed monotonicity of B̄0 as a function of B2 and on the logarithmic fits (2.24)–(2.25) near the two ends of the interval. No integrator details, error tolerances, convergence tests, or data files are provided, and the text explicitly states that an existence proof was not attempted. This is load-bearing: if the numerical branch has a turning point near B2 ≈ B2* or the fits fail at large B2, the 'for every B̄0' conclusion collapses. Please supply the numerical method, step-size/residual convergence studies, and uncertainty estimates, or restrict the claim to a numerically verified finite range.","section":"§2.3, Eqs. (2.23)–(2.25)"},{"comment":"For the black-hole family, coverage of all real B̄0 is inferred from the boundary curve in Figure 2.5, the fit (2.31), and the asymptotic statement B̄0 ≈ B_h for large tan x_h or B_h. The boundary B*(x_h) determines which initial data (x_h, B_h) are admissible and hence the claimed one-parameter family for each B̄0; however, no systematic scan of the (x_h, B_h) domain is documented and no error bars are given. In particular, the negative-B̄0 end depends on the unquantified statement that B̄0 < B_h along the boundary for large tan x_h. Please provide a quantitative scan with convergence diagnostics, or soften the claim to 'numerical evidence'.","section":""},{"comment":"The claimed non-uniqueness for negative masses — exactly two horizonless solutions with distinct B̄0 for m* < m < 0 and none for m < m* — is a curve-shape assertion about the numerically computed holographic mass. The value m* ≈ −0.34764 is quoted without an error estimate, and a small error in the mass functional could eliminate the double-valued region entirely. Please report numerical errors and the method used to locate the minimum of the mass curve; otherwise this central physical claim is not established.","section":"§1, Fig. 1.1; §2.3"}],"minor_comments":[{"comment":"The sentence 'we have B*(x_h) < 0 for x_h < 0' appears to contain a typo: since x_h ∈ (0, π/2), presumably B*(x_h) < 0 for x_h > 0 near zero. Please correct.","section":"§2.4"},{"comment":"The shaded existence region and its boundary are clear qualitatively, but it would help to state explicitly whether the boundary curve itself is included in the admissible set, and to label the axes in the caption.","section":"Figure 2.5"},{"comment":"The asymptotic fits would be more useful if the fitted B2 intervals and the maximum absolute or relative residuals were stated. This is particularly important because these fits are used to support the limits (2.23).","section":"§2.3, Eqs. (2.24)–(2.25)"},{"comment":"Reference [7] has an unusual year entry ('8 [2020]©2020') that should be cleaned up. Also, the arXiv number for arXiv:2607.22237 appears in the header but is not in the reference list; this is not required but may help readers.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central claims are numerically supported but the manuscript lacks reproducibility and quantitative error control. The authors are well-positioned to address this by depositing the integration code, providing convergence and residual tests, and reporting error bars for all claimed critical values (B2*, B̄0 phase transition, m*). If they do so, the paper could become acceptable; without those details, the global 'for every B̄0' statements exceed the evidence presented. I do not see grounds for rejection if the numerical evidence is supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Chruściel and co-workers have written a careful paper. The new thing is numerical evidence that every squashed S^3 conformal boundary in 5D AdS admits both horizonless and black-hole static vacuum fill-ins within their SO(3)×U(1) ansatz, and that the horizonless family has a holographic mass that changes sign at B̄0≈0.726 with a small window of double-valued negative mass. That phase structure is the kind of surprise worth knowing about.\n\nThe paper does several things right. The ODE reduction is exact; the boundary expansions line up with Fuchsian theory; the near-BK regime connects to prior published work; and the limiting analysis for large B (toroidal BK at infinity) is a genuine cross-check. The authors repeatedly label their results as numerical evidence and explicitly say they did not attempt an existence proof. That honesty is not a flaw — it is the right frame for this kind of paper.\n\nThe soft spot is exactly the one flagged in the stress-test: the universal 'every B̄0' is inferred from monotonicity of the map from B2 to B̄0 plus asymptotic fits. No code, no tolerances, no convergence studies, no error bars. If the ODE integrator drifts near the endpoints, or if the fits hide a turning point, the conclusion collapses. The black-hole branch is inferred from the boundary curve in Figure 2.5 and from B̄0≈Bh for large Bh, again without a systematic scan of the full parameter plane. The negative-mass double-valued region is a curve-shape claim; a small mass error could erase it. These are not manufactured flaws; they are the difference between numerical evidence and a theorem. The paper does not pretend otherwise.\n\nMy own verdict is the same as the reader's: conditional. I would accept it for peer review because the question is important enough and the numerics, if reproducible, are a real step beyond the perturbative results. But I would ask the authors to ship the code or at least a detailed convergence study before I'd trust the 'every B̄0' language as more than a strong conjecture.","headline":"A careful numerical-construction paper that likely delivers what it claims, but the universal 'every B̄0' rests on unverified numerics with no code or error analysis.","tokens_in":9795,"tokens_out":2840,"would_cite":true,"duration_ms":28674,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-01T05:21:17.072653+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":1}