{"id":"7996cc2c-594d-4790-9bc9-b441477eccd0","arxiv_id":"1909.02350","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"On negatively curved spaces in dimensions 2 and 3, sufficiently small clamped plates have fundamental tone at least that of a hyperbolic ball of the same volume, yielding a McKean-type spectral gap.","lead":"This paper proves sharp lower bounds for the fundamental tone of clamped plates on curved spaces with nonpositive curvature. In two and three dimensions, small plates vibrate at least as fast as the corresponding hyperbolic ball of the same volume.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2's explicit volume thresholds rest on numerically verified inequality (5.5); the proof only establishes it asymptotically, so the stated constants c2, c3 are not rigorously secured.","rationale":"The reader's weakest assumption identifies exactly the point where the central claim is least secure: inequality (5.5) is necessary for the two-ball-to-one-ball reduction, it is proved only asymptotically and disproved for large L, and the explicit thresholds are numerical. I agree that this threatens the quantitative constants of Theorem 1.2, not the qualitative small-volume comparison. The paper has substantial independent support: the 2D and 3D κ-Cartan-Hadamard conjecture supplies the isoperimetric input, the decomposition argument is a coherent curved-space analogue of Talenti and Ashbaugh–Benguria, and the asymptotic computations secure a small-volume version. The missing analytic verification of (5.5) on the claimed interval, together with the unshown monotonicity assertions in Step 1 and Step 3, makes the stated constants conditional rather than proven. This does not move me to reject: the numerical evidence is explicit and the paper is honest about its empirical nature. It does mean the paper should be accepted with the condition that the analytic details be supplied or the theorem restated with an existential small-volume constant plus numerical evidence. That is precisely the reader's conditional verdict, so I recommend no change.","tokens_in":29052,"tokens_out":19200,"duration_ms":182874,"concrete_test":"Fix κ = 1. For n = 2 and n = 3, compute to high precision λ_ν(0, sinh^2(L/2)) and g_{ν,1}(sinh^2(L0/2)), with L0 determined by 2V_κ(L0) = V_κ(L), at a dense grid of L in [0, l_n] including L = l_n − ε and l_n + ε. Verify the sign of g_{ν,1} − λ_ν with validated interval arithmetic (e.g., Arb or MPFI). If any L below l_n gives a negative sign, the stated thresholds are too large; if no such L exists, the numerical basis of Theorem 1.2 is confirmed, though the analytic proof of (5.5) on the whole interval would still be missing.","verdict_should_be":"UNCHANGED","load_bearing_attack":"To reach Γ_g(Ω) ≥ Γ_κ(Ω*), the argument must prove (5.3) for every α, β satisfying the volume constraint; the decisive condition isolated in §5.1 is (5.5), g_{ν,1}(L0) ≥ λ_ν(0, L). The paper proves (5.5) only in the limit L→0, via (5.10)–(5.14), and shows it fails for large L (n = 3 explicitly, (5.15)). The claimed maximal intervals 0 < L < 2.1492/κ and 0 < L < 0.719/κ, and hence the constants c2 ≈ 21.031 and c3 ≈ 1.721 in Theorem 1.2, are supported only by numerical approximation and Figure 2. If (5.5) failed for some L below the stated threshold, the theorem's volume restriction would be too optimistic and the constants would have to shrink; the proof would still give an existential small-volume comparison because of the asymptotic argument, but not the stated quantitative result. In addition, two monotonicity facts in the same chain are asserted without displayed proofs: λ ↦ K_0(λ, t) is decreasing between consecutive zeros ('long computation', Karp [24]), and d/dα F_ν(λ_ν(0, L), α, β(α)) > 0 in Step 3 (Karp–Sitnik [25]). These facts are needed to pass from the necessary condition (5.5) to the full comparison (5.3).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the fundamental tone of clamped plates on Cartan-Hadamard manifolds with sectional curvature bounded above by -κ². It proves a McKean-type lower bound Γ_g(Ω) ≥ ((n-1)^4/16)κ⁴ under the κ-Cartan-Hadamard conjecture, and, for n = 2,3, a sharp comparison Γ_g(Ω) ≥ Γ_κ(Ω⋆) whenever V_g(Ω) ≤ c_n/κⁿ with stated numerical constants c₂ ≈ 21.031 and c₃ ≈ 1.721. The proof combines a Talenti-type two-ball rearrangement on the model space-form with an analysis of Gaussian hypergeometric functions; an asymptotic small-radius formula and an application to a semilinear biharmonic problem are also given.","tokens_in":29370,"tokens_out":3489,"duration_ms":37916,"significance":"If fully established, this would be the first sharp isoperimetric comparison for clamped plates on negatively curved spaces, recovering the classical Euclidean results of Nadirashvili and Ashbaugh-Benguria as a limiting case. The method is conceptually natural and the paper is honest about its hypotheses: the κ-Cartan-Hadamard conjecture is an external geometric input, and the constants h_ν, j_ν, and the Euclidean Rayleigh results enter as independent benchmarks rather than fitted parameters. The small-L asymptotic mechanism is a promising and, in outline, credible route, and the applications to biharmonic boundary value problems are interesting. However, the exact numerical thresholds in Theorem 1.2 are not proved rigorously, and several monotonicity assertions are imported from non-public or not-fully-displayed sources, so the central quantitative claim is not yet fully secured.","major_comments":[{"comment":"The proof of the decisive inequality (5.5), g_{ν,1}(L0) ≥ λ_ν(0,L), is only asymptotic as L→0 (via (5.10)–(5.14)) and is shown to fail for large L in the case n=3 via (5.15). The precise claimed intervals 0 < L < 2.1492/κ and 0 < L < 0.719/κ, and hence the constants c₂ ≈ 21.031 and c₃ ≈ 1.721 in Theorem 1.2, are supported only by numerical approximation and Figure 2. Since these thresholds are load-bearing for the volume restriction in the theorem, the quantitative statement of Theorem 1.2 is not rigorously established as written; Theorem 1.3 inherits the same numerical threshold.","section":"§5.2, Step 2 and Theorem 1.2"},{"comment":"The monotonicity of λ ↦ K_ν(λ,t) between consecutive zeros of G_-(ν,·,t) is asserted for ν=0 by a 'long computation' and attribution to Karp [24], which is listed as a private communication and manuscript in preparation. This monotonicity is needed to justify the pole-interval bound (5.4) and the contradiction argument in Step 3; without a publicly available or displayed proof, the reduction from (5.5) to (5.3) is incomplete. Similarly, the monotonicity of α ↦ F_ν(λ_ν(0,L), α, β(α)) used in Step 3 is invoked from Karp–Sitnik [25] without a verification tailored to the specific function F_ν and the algebraic relation between α and β; this step is also load-bearing.","section":"§5.1 and §5.2, Step 1"},{"comment":"The asymptotic expansion λ_ν(0,L) ~ sqrt(((n-1)^2/4)κ² + h_ν²/L²) as L→0 is obtained by replacing the hypergeometric functions with Bessel functions and by 'uniform-convergence reasons'. The limiting interchange is not justified in detail. This asymptotic is the rigorous core of the small-L verification of (5.5), so the paper should provide a self-contained estimate, for example by writing the hypergeometric series with remainder bounds in the relevant range of the parameters, rather than only a formal limit.","section":"§5.2, Step 2, around (5.10)–(5.11)"},{"comment":"The proof of (1.8) for n=2 uses the asymptotic formula γ_k ∼ kπ/(κL) derived from an integral representation of the spherical Legendre function and then converts this into the two-sided estimate for λ_0(0,L) via (5.19). No rigorous control of the quantities v_k and u_k is given, and passing from an asymptotic relation to a limit for the fundamental tone requires an epsilon-N argument that is not supplied. This point affects the sharpness claim (1.8), though it is secondary to Theorem 1.2.","section":"§5.3, Case 2"}],"minor_comments":[{"comment":"The abstract and the application section contain the typo 'necessarily and sufficient conditions'; it should read 'necessary and sufficient conditions'.","section":"Abstract and §6, Theorem 1.3"},{"comment":"In the statement of Theorem 1.3 the notation 'Bk(L)' appears twice; it should be 'B_κ(L)' to match the rest of the paper.","section":"Theorem 1.3 statement"},{"comment":"The numerical thresholds l₂ and l₃ are presented without stating the numerical method, grid resolution, or error estimates; the caption and text should clarify that these are empirical values, not rigorous bounds.","section":"Figure 2 and §5.2"},{"comment":"The column heading 'Algebraic value' is misleading: the values are numerical roots of a transcendental equation, not closed-form algebraic expressions. A heading such as 'Numerically computed value' would be more accurate.","section":"Table 1"},{"comment":"Reference [24] is cited as 'private communication & manuscript in preparation'; such a source is not publicly verifiable, and the paper should either include the proof in an appendix or replace the reference with a published source.","section":"References"},{"comment":"Remark 2.1 attributes to Karp a monotonicity statement for x ↦ F(1/2−x, 1/2+x; β; −t), while Step 1 uses a different monotonicity of K_ν in λ; the relation between these two statements should be clarified to avoid confusion.","section":"Remark 2.1 and Step 1"},{"comment":"There are minor formatting artifacts, such as the spaced header 'FUNDAMENT AL TONES' and inconsistent uses of 'K ≤ −κ²' vs 'K ≤ −κ²'; these should be fixed in the final version.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is potentially important and the overall strategy is sound, but the exact numerical constants in Theorem 1.2 are not rigorously established, and the reliance on a private communication for a key monotonicity fact is a serious concern. The authors could repair this either by providing a complete analytic proof of (5.5) on the stated interval, or by restating Theorem 1.2 with an existential small-volume constant and proving it rigorously. I would also advise the editor to check the availability of Karp's manuscript, since reference [24] currently cannot be verified by readers."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a serious paper and worth refereeing. The genuinely new content is the transfer of the Talenti two-ball decomposition to Cartan-Hadamard manifolds with curvature bounded above by -kappa^2, yielding both a McKean-type spectral gap for clamped plates and a sharp Rayleigh comparison in dimensions 2 and 3 for sufficiently small domains. The kappa=0 limit correctly recovers the Euclidean results of Nadirashvili and Ashbaugh-Benguria, and the asymptotic formula (1.11) is a nice, honest check. The n=3 reduction formulas are explicit, and the limiting argument that produces h_nu from hypergeometric data is convincing.\n\nThe soft spot is exactly where the reader put it. Inequality (5.5) is the load-bearing step: it is proved only as L approaches 0 and shown to fail for large L, so the claimed intervals 0<L<2.1492/kappa and 0<L<0.719/kappa, and therefore the constants c2 and c3 in Theorem 1.2, are supported by numerical approximation and Figure 2 rather than by a complete analytic proof. The asymptotic argument establishes an existential small-volume comparison, but not the quantitative statement as written. That is a real gap in the proof, though not a sign the central idea is wrong. Two smaller issues sit in the same chain: the monotonicity of K_0(.,t) is attributed to a long computation and a private communication from Karp, and the monotonicity of F_nu in Step 3 relies on an argument from Karp-Sitnik that is cited but not displayed. These are exactly the facts needed to pass from the necessary condition (5.5) to the full comparison, so a referee should ask for details or for a restatement with an existential constant and numerical evidence for the explicit ones.\n\nThe dependence on the kappa-Cartan-Hadamard conjecture is stated clearly and is not a defect: the paper uses it as an external hypothesis, not as a consequence of the conclusion. The citation pattern looks appropriate. The application to the biharmonic PDE is a reasonable byproduct.\n\nRecommendation: send to peer review. The paper is original, the asymptotic core is rigorous, and the soft spots are identifiable and fixable. The right outcome is likely acceptance after the quantitative claim is either proven or downgraded to an existential small-volume theorem plus numerically supported constants.","headline":"A genuine curved-space analogue of Rayleigh's clamped-plate conjecture, with a solid asymptotic core and explicit volume thresholds that currently rest on numerical verification rather than proof.","tokens_in":29907,"tokens_out":1546,"would_cite":true,"duration_ms":19890,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35P15","53C21","35J35","35J40"],"pacs":[],"model":"deepseek-v4-flash","headline":"In dimensions two and three, small clamped plates on negatively curved manifolds have fundamental tone at least as large as the equal-volume geodesic ball in constant negative curvature, with equality only for the ball itself.","keywords":["Rayleigh conjecture","clamped plate","fundamental tone","Cartan-Hadamard manifold","hyperbolic space","biharmonic operator","Gaussian hypergeometric function","isoperimetric inequality"],"falsifier":"Compute the two sides of (5.5) to high precision just below the claimed thresholds: for $n=2$, check whether $g_{\\nu,1}(\\sinh^2(\\kappa L_0/2))\\geq \\lambda_\\nu(0,\\sinh^2(\\kappa L/2))$ when $2V_\\kappa(L_0)=V_\\kappa(L)$ and $L=2.1492/\\kappa$; for $n=3$ do the same at $L=0.719/\\kappa$. A single radius below the threshold where the inequality reverses would shrink the constants; verifying the inequality at the endpoint would turn the numerical thresholds into proven ones.","tokens_in":28767,"feed_emoji":"🎵","tokens_out":13446,"duration_ms":118593,"temperature":0.7,"pith_summary":"This paper establishes a curved-space version of Lord Rayleigh's conjecture for the vibrating clamped plate: in dimensions two and three, on any simply connected complete manifold with sectional curvature at most $-\\kappa^2$, a bounded domain of sufficiently small volume has fundamental tone no smaller than the equal-volume geodesic ball in the constant-curvature space. The volume thresholds are explicit constants divided by $\\kappa^n$, about $21.031/\\kappa^2$ in the plane and $1.721/\\kappa^3$ in three dimensions. The proof also yields a spectral gap that holds for every domain, independent of volume, and sharp asymptotics for small and large hyperbolic balls. If the comparison is correct, it transfers a classical Euclidean minimax inequality to negatively curved geometry and gives a precise existence criterion for a biharmonic elliptic equation on hyperbolic discs.","feed_headline":"Small clamped plates obey Rayleigh's ball bound in curved spaces","feed_subtitle":"In dimensions 2 and 3, the curved-space tone stays above the equal-volume ball's value up to explicit volume thresholds.","key_machinery":"The argument is carried by a two-ball rearrangement decomposition: the first eigenfunction is split into positive and negative parts, each is radially rearranged on the model space, and the energy ratio on the arbitrary domain is bounded below by a minimization over two geodesic balls joined by a flux boundary condition. A fourth-order ordinary differential equation turns each ball's minimizer into an explicit combination of values of the Gaussian hypergeometric function ${}_2F_1$ (with Bessel functions appearing when $\\kappa=0$). The decisive mechanism is an inequality, (5.5) in the paper, comparing the first zero associated with the two-ball configuration against the single-ball value; when it holds, one of the two balls disappears and the comparison to the geodesic ball follows. The paper proves the inequality analytically only in the small-radius limit, disproves it for large radius, and identifies the transition by numerical computation, yielding the stated volume thresholds.","core_discovery":"The central claim is the sharp isoperimetric comparison for the fundamental tone of clamped plates on Cartan-Hadamard manifolds. For $n\\in\\{2,3\\}$, let $(M,g)$ have sectional curvature $K\\leq -\\kappa^2$, and let $\\Omega$ be a bounded smooth domain with volume $V_g(\\Omega)\\leq c_n/\\kappa^n$, where $c_2\\approx 21.031$ and $c_3\\approx 1.721$. If $\\Omega^*$ is the geodesic ball in the space form of curvature $-\\kappa^2$ with the same volume, then $\\Gamma_g(\\Omega)\\geq \\Gamma_\\kappa(\\Omega^*)$, with equality exactly when $\\Omega$ is isometric to $\\Omega^*$. A companion theorem proves the spectral gap $\\Gamma_g(\\Omega)\\geq \\frac{(n-1)^4}{16}\\kappa^4$ for every bounded smooth domain, and shows it is sharp in the limit of geodesic balls exhausting the whole hyperbolic space. The Euclidean case $\\kappa=0$ is the classical solution of Rayleigh's conjecture, recovered as a limiting case. An additional asymptotic formula describes the tone of a small hyperbolic ball as $\\left(\\frac{(n-1)^2}{4}\\kappa^2 + \\frac{h_\\nu^2}{L^2}\\right)^2$ as $L\\to 0$.","pith_inferences":["The numerically located thresholds $l_2=2.1492/\\kappa$ and $l_3=0.719/\\kappa$ suggest a genuine transition: if inequality (5.5) could be proved rigorously on the whole interval, the constants $c_2$ and $c_3$ would be fully proven; the analytic gap is a single sharpened estimate on hypergeometric zeros.","Above the threshold, the rearrangement argument fails because the positive and negative parts separate into two large balls whose joint tone drops below the single-ball value; this indicates that nodal-domain effects, not merely technical restrictions, limit the range of validity of the comparison.","The same two-ball-to-one-ball mechanism, with the appropriate curvature-adapted special functions, is likely to transfer to clamped plates on positively curved spaces such as spheres, where the parameter range of the hypergeometric equation changes sign.","A direct numerical test in dimension four, using the paper's high-dimensional nonoptimal estimates as a baseline, could reveal whether the volume thresholds have analogues in higher dimensions once the relevant isoperimetric conjecture is available."],"forward_implications":["In two and three dimensions, the geodesic ball in the constant-negative-curvature space is the unique minimizer of the clamped-plate fundamental tone among all domains of fixed volume $v$, for every $v$ up to $c_n/\\kappa^n$.","Every bounded smooth domain on such a manifold has fundamental tone at least $\\left(\\frac{(n-1)^2}{4}\\kappa^2\\right)^2 = \\frac{(n-1)^4}{16}\\kappa^4$, regardless of its shape or size.","Small hyperbolic balls satisfy $\\Gamma_\\kappa(B_\\kappa(L))\\sim \\left(\\frac{(n-1)^2}{4}\\kappa^2 + \\frac{h_\\nu^2}{L^2}\\right)^2$ as $L\\to 0$, so the Euclidean $L^{-4}$ scaling survives with a curvature correction.","For the biharmonic equation $\\Delta^2 u - \\mu\\Delta u + \\gamma u = |u|^{p-2}u$ on a hyperbolic disc of radius below the threshold, a nontrivial solution exists whenever $\\mu>0$ and $\\gamma>-\\Gamma_\\kappa(B_\\kappa(L))$, and when $\\mu=0$ existence forces that same lower bound.","The Euclidean Rayleigh conjecture for clamped plates appears as the $\\kappa\\to 0$ limit of the comparison, unifying the flat and negatively curved cases in dimensions two and three."],"supporting_citations":[{"why":"Introduces the two-ball decomposition of the clamped-plate eigenvalue problem on which the curved-space reduction is built.","marker":"[40]"},{"why":"Resolves the Euclidean Rayleigh conjecture in dimensions two and three, the flat case that the present comparison extends to negative curvature.","marker":"[1]"},{"why":"Supplies the sharp isoperimetric inequality in the plane, the load-bearing geometric hypothesis in dimension two.","marker":"[5]"},{"why":"Supplies the sharp isoperimetric inequality in three dimensions, the load-bearing geometric hypothesis for n=3.","marker":"[26]"},{"why":"Provides the membrane spectral gap whose biharmonic analogue is Theorem 1.1.","marker":"[30]"},{"why":"Provides the hypergeometric connection and reduction formulas used to express the fundamental tone and locate its zeros.","marker":"[33]"},{"why":"Gives the oscillation criterion used to show the hypergeometric function oscillates for large spectral parameters, controlling the relevant zeros.","marker":"[39]"}],"fun_headline_variants":["Clamped plate tone in curved 2D/3D meets ball bound for small volumes","Sharp tone comparison for small clamped plates on negatively curved spaces","Rayleigh's plate conjecture extends to curved spaces in dims 2 and 3","Curved-space clamped plates: sharp lower tone bound via geodesic balls"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The quantitative comparison relies on inequality (5.5) holding for the entire claimed interval, but the paper proves it only asymptotically for small radii and verifies the endpoint behaviour numerically; if the inequality fails anywhere below $l_2=2.1492/\\kappa$ or $l_3=0.719/\\kappa$, the volume constants $c_2$ and $c_3$ must be reduced.","fun_headline_variants_meta":{"raw":{"variants":["Clamped plate tone in curved 2D/3D meets ball bound for small volumes","Sharp tone comparison for small clamped plates on negatively curved spaces","Rayleigh's plate conjecture extends to curved spaces in dims 2 and 3","Curved-space clamped plates: sharp lower tone bound via geodesic balls"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001164,"raw_usage":{"total_tokens":4963,"prompt_tokens":1238,"completion_tokens":3725,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":854,"completion_tokens_details":{"reasoning_tokens":3642}},"tokens_in":854,"tokens_out":3725,"duration_ms":30931,"temperature":1.0,"reasoning_tokens":3642,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:52:19.180238+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two sides of (5.5) to high precision just below the claimed thresholds: for $n=2$, check whether $g_{\\nu,1}(\\sinh^2(\\kappa L_0/2))\\geq \\lambda_\\nu(0,\\sinh^2(\\kappa L/2))$ when $2V_\\kappa(L_0)=V_\\kappa(L)$ and $L=2.1492/\\kappa$; for $n=3$ do the same at $L=0.719/\\kappa$. A single radius below the threshold where the inequality reverses would shrink the constants; verifying the inequality at the endpoint would turn the numerical thresholds into proven ones.","supporting_citations":[{"cited_title":"Talenti, On the first eigenvalue of the clamped plate","cited_arxiv_id":null,"evidence_quote":"Introduces the two-ball decomposition of the clamped-plate eigenvalue problem on which the curved-space reduction is built."},{"cited_title":"Ashbaugh, R","cited_arxiv_id":null,"evidence_quote":"Resolves the Euclidean Rayleigh conjecture in dimensions two and three, the flat case that the present comparison extends to negative curvature."},{"cited_title":"Bol, Isoperimetrische Ungleichungen f¨ ur Bereiche auf Fl¨ achen.Jber","cited_arxiv_id":null,"evidence_quote":"Supplies the sharp isoperimetric inequality in the plane, the load-bearing geometric hypothesis in dimension two."},{"cited_title":"Kleiner, An isoperimetric comparison theorem","cited_arxiv_id":null,"evidence_quote":"Supplies the sharp isoperimetric inequality in three dimensions, the load-bearing geometric hypothesis for n=3."},{"cited_title":"McKean, An upper bound to the spectrum of ∆ on a manifold of negative curvature","cited_arxiv_id":null,"evidence_quote":"Provides the membrane spectral gap whose biharmonic analogue is Theorem 1.1."},{"cited_title":"Olver, D.W","cited_arxiv_id":null,"evidence_quote":"Provides the hypergeometric connection and reduction formulas used to express the fundamental tone and locate its zeros."},{"cited_title":"Sugie, K","cited_arxiv_id":null,"evidence_quote":"Gives the oscillation criterion used to show the hypergeometric function oscillates for large spectral parameters, controlling the relevant zeros."}],"review_version":1}