{"id":"288fabe6-76fd-493d-81cf-54c4a21abb86","arxiv_id":"2411.17023","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The principal Dirichlet eigenvalue of the sphere minus a high-dimensional orthant decays like a polynomial times 2^{-d}, making the survival exponent of d Brownian particles vanish as d grows.","lead":"This paper studies how long it takes many independent Brownian particles, starting with at least one above zero, to all become negative. The authors prove that the key survival exponent decays exponentially with the number of particles, at a rate set by 2^{-d}.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Upper-bound proof of Theorem 1 fails: the trial function η_d in §2.3 does not vanish on ∂U_d, so it is not admissible in the Dirichlet Rayleigh quotient.","rationale":"The reader's weakest assumption correctly identifies the decisive flaw: the test function in §2.3 does not satisfy the Dirichlet boundary condition, because the paper's supporting statement about the complement of U_d is reversed. This is an internal inconsistency in the proof of the upper bound, not a disagreement with an external consensus. The lower bound may well be correct, and the theorem itself might be repairable with a different trial function, but the proof as written does not establish Theorem 1. Lemma 3 also contains a questionable induction inequality, as the reader notes, which makes the volume control used in Step 1 additionally insecure. Because the central claim depends on the invalid trial function, the REJECT verdict is supported. Since this stress-test does not change the reader's verdict, no adjustment is needed.","tokens_in":7521,"tokens_out":3894,"duration_ms":37672,"concrete_test":"Evaluate η_d on an explicit boundary point of ∂U_d on S^{d-1}. For d = 2, take x = (0, −a_d/2) normalized to the unit circle; this point has max(x_1, x_2) = 0, so it lies on ∂U_2. With 0 < a_d < 1, θ_d(0) = 0 while θ_d(−a_d/2) is strictly positive (indeed it is 1 if −a_d/2 ≤ −a_d, i.e. for a_d/2 ≥ a_d, which is false, so it lies in the transition region and is in (0,1)). Thus η_2(x) > 0. More plainly, for any a_d < 1, the point (0,−1) on the unit circle satisfies max = 0 but η_2(0,−1) = max(θ(0), θ(−1)) = 1. Since functions in H^1_0(U_d) must vanish almost everywhere on ∂U_d, this single evaluation settles the admissibility question: η_d is not admissible. If the authors intended a different cutoff, they must replace η_d with a genuinely vanishing trial function and recompute the Rayleigh quotient; the current proof does not supply one.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim needs both bounds in Theorem 1. The lower bound via the Yamabe inequality (§2.2) appears coherent, but the upper bound (§2.3) rests on the trial function η_d(x) = max_i θ_d(x_i). The paper claims η_d is supported in U_d because \"when x ∉ U_d then x_i > 0 for all i\". This is exactly reversed: U_d is the complement of the negative orthant, so x ∉ U_d means x_i ≤ 0 for all i. The boundary ∂U_d is {max_i x_i = 0}; at a boundary point with one coordinate zero and another coordinate negative (which exists on the sphere), θ_d of the negative coordinate is positive or 1, so η_d does not vanish on ∂U_d. Hence η_d ∉ H^1_0(U_d), and the inequality λ1(d) ≤ Y(η_d) is not justified. This gap is load-bearing: without a valid trial function, the claimed C d^3 / 2^d upper bound and the log-asymptotics are unproved. A separate algebraic error appears in the induction in §2.4, where the bound on a/√(1−a²) is not implied by the stated inequality on a, further undermining Lemma 3, which supplies the volume estimate used in Step 1.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the first time all independent standard Brownian particles become negative, equivalently the first exit time from the complement of the negative orthant in R^d. The key quantity is the principal Dirichlet eigenvalue λ1(d) of the spherical domain U_d = (R^d \\ R^d_-) ∩ S^{d-1}. Theorem 1 claims c d / 2^d ≤ λ1(d) ≤ C d^3 / 2^d for all d, and hence lim_d log(λ1)/d = log(1/2); Corollary 2 translates this into the asymptotic vanishing of the survival exponent p_d. The lower bound is proved via the Yamabe inequality, and the upper bound via an explicit trial function together with a volume estimate for spherical slabs.","tokens_in":7736,"tokens_out":10997,"duration_ms":108559,"significance":"If Theorem 1 is established, the paper provides the first high-dimensional asymptotic for the principal eigenvalue of the complement of an orthant and identifies the exponential rate log(1/2) for the survival exponent. The lower-bound argument is coherent, parameter-free, and not circular: it uses only the variational characterization of λ1, the Yamabe inequality, Hölder's inequality, and the known volume of U_{d+1}. These are genuine virtues. The upper-bound proof, however, rests on an inadmissible test function, and the volume lemma used in that proof is not established because of an algebraic error in the induction. The main claim is therefore unproved as written, although the approach appears repairable.","major_comments":[{"comment":"The trial function η_d(x) = max_i θ_d(x_i) is not admissible in the Rayleigh quotient for λ1(d). The paper states that η_d is supported in U_d because \"when x ∉ U_d then x_i > 0 for all i\"; this reverses the definition of U_d. Since U_d = {x : x_i > 0 for some i}, its complement is the closed negative orthant {x : x_i ≤ 0 for all i}. On ∂U_d, e.g. at the point (0, -1, 0, ..., 0), one coordinate is 0 and another is ≤ -a_d, so η_d equals 1 there. Hence η_d does not vanish on ∂U_d and is not in H^1_0(U_d). The inequality λ1(d) ≤ Y(η_d), and with it the entire upper-bound half of Theorem 1, is therefore unjustified.","section":"§2.3, properties of η_d"},{"comment":"The verification that a/√(1-a^2) satisfies the induction hypothesis is algebraically incorrect. Starting from a^2 ≤ ε_D^2(d+1 - (d-k)ε_D^2), the displayed chain claims a/√(1-a^2) ≤ ε_D√(d - (d-k)ε_D^2 + (1-ε_D^2)) ≤ ε_D√(d - (d-k)ε_D^2). The second inequality would require 1 - ε_D^2 ≤ 0, which is false for ε_D < 1. A numerical check already contradicts the claim: for d = 10, k = 0, and ε_D = 0.3, the allowed a can be as large as about 0.953, but then a/√(1-a^2) is about 3.15, whereas ε_D√(d - (d-k)ε_D^2) is about 0.905. Thus the induction does not close and Lemma 3, which supplies the volume estimate used in Step 1 of the upper bound, is not proved.","section":"§2.4, induction step of Lemma 3"}],"minor_comments":[{"comment":"The integrand in the Hölder step is written as |u_d|^{2d/(d-2)}, but it should be |u_{d+1}|^{2d/(d-2)}, since u_{d+1} is the eigenfunction under consideration.","section":"§2.2, after Eq. (7)"},{"comment":"The expression \"|Σ1|d1\" appears to be a typo; it should read |Σ1|_{d-1}.","section":"§2.3, Step 2"},{"comment":"The sentence \"when x ∉ U_d then x_i > 0 for all i\" should be corrected to \"x_i ≤ 0 for all i\"; the sign error is substantive, not merely typographical, because it is the source of the inadmissible trial function.","section":"§2.3, support bullet"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is plausible and the lower bound is solid, but the current manuscript does not prove the upper bound. I recommend major revision rather than immediate rejection because the trial-function error appears repairable by replacing θ_d(x_i) with θ_d(-x_i) and adjusting the sign conventions in Steps 1 and 2, and because the volume lemma may admit a corrected induction. However, if such a repair is not found, the paper should not be accepted: both bounds of Theorem 1 are load-bearing for the announced log-asymptotics."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: the main theorem is not established. The lower bound via the Yamabe inequality is a nice piece of work, and the question — the exponential decay rate of the principal Dirichlet eigenvalue for the complement of a high-dimensional orthant — is natural and worth asking. The paper is clearly written and honest about the state of the art, including that p_3 is unknown. But the upper bound in Theorem 1 rests on a trial function that is not admissible for the Dirichlet problem.\n\nThe bug is in §2.3. The domain U_d is the complement of the negative orthant on the sphere, so a point is outside U_d when all coordinates are non-positive. The paper says the opposite: it claims x outside U_d implies every coordinate is positive. That is reversed. Consequently the function η_d, defined as max_i θ_d(x_i), takes the value 1 on the boundary whenever at least one coordinate is ≤ −a_d, and it does not vanish. It is not in H^1_0(U_d), so the Rayleigh quotient bound λ_1 ≤ Y(η_d) is invalid. This is not a minor typo; it removes the only mechanism for the upper bound.\n\nThere is also a secondary algebraic gap in the induction for Lemma 3. The paper states that the condition on a immediately gives a/√(1−a²) ≤ ε_D√(d − (d−k)ε_D²). That does not follow from the displayed inequality in (13). If Lemma 3 collapses, the volume estimate in Step 1 lacks support, though the lemma itself is plausible and may be provable by a different argument.\n\nOn the positive side, the lower bound argument is coherent and likely correct: the Yamabe functional approach gives λ_1(d) ≥ c d / 2^d without any fitted parameter. The asymptotic log λ_1 / d → log(1/2) is genuinely new and would be a meaningful result if the upper bound can be fixed. Nothing in the paper suggests the result is false; the flaws are in the proof, not in the conclusion.\n\nFor a referee: I would not accept the paper in this form. A serious referee should see it, because the question is good and the lower bound is worth preserving. The authors need to supply a valid test function — a product-type cutoff that actually vanishes on ∂U_d would be the natural direction — and repair the Lemma 3 induction. With that, the paper could be publishable. My recommendation is to send it to review, but with the expectation of substantial revision.","headline":"The high-dimensional orthant eigenvalue limit is a good question and the lower bound is clean, but the upper-bound test function does not vanish on the boundary, so Theorem 1 is unproved as written.","tokens_in":8322,"tokens_out":2662,"would_cite":false,"duration_ms":25158,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J65","60G40","58C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that the principal Dirichlet eigenvalue of the complement of a high-dimensional orthant satisfies $\\lambda_1(d) \\in [c\\,d/2^d,\\, C\\,d^3/2^d]$, so the survival exponent $p_d$ goes to zero as $d\\to\\infty$.","keywords":["survival probability","Brownian motion in cones","orthant","principal eigenvalue","Laplace–Beltrami operator","high-dimensional sphere","Yamabe functional","first hitting time"],"falsifier":"Evaluate the proposed test function on the spherical boundary point with one coordinate equal to 0 and another equal to $-1$ (renormalized to the sphere): $\\eta_d$ equals 1 there, not 0, so the variational upper bound in Section 2.3 uses a function outside $H^1_0(U_d)$; replacing it with an admissible function, or computing $\\lambda_1(d)$ numerically for $d=4,\\dots,20$, would decide whether the upper bound $C d^3/2^d$ still holds.","tokens_in":7271,"feed_emoji":"📉","tokens_out":11299,"duration_ms":96717,"temperature":0.7,"pith_summary":"This paper studies how long a collection of $d$ independent Brownian particles, started with at least one particle positive, needs before all $d$ particles become negative. Exact distributions are known only for $d=1,2$, so the paper attacks the asymptotic regime $d\\to\\infty$ through the tail exponent $p_d$ of the survival probability $P_x(\\tau_d>t)\\sim V_d(x)/t^{p_d/2}$. Its main claim, Theorem 1, is that the principal Dirichlet eigenvalue $\\lambda_1(d)$ of the Laplace–Beltrami operator on the sphere cut by the complement of the negative orthant is trapped between $c\\,d/2^d$ and $C\\,d^3/2^d$, and therefore $\\log\\lambda_1(d)/d\\to\\log(1/2)$. Corollary 2 then gives $p_d\\to0$ with $p_d\\sim\\lambda_1(d)/d$, meaning the survival probability decays more and more slowly as the dimension grows. The paper's techniques are spectral-geometric, and the eigenvalue estimates are offered as a result of independent interest.","feed_headline":"High-dimensional orthant eigenvalue shrinks like 1/2^d","feed_subtitle":"As dimension grows, the chance all particles are negative at time t decays far more slowly.","key_machinery":"The load-bearing object is $\\lambda_1(d)$, the principal Dirichlet eigenvalue of the Laplace–Beltrami operator on the spherical domain $U_d$, the intersection of the sphere $\\mathbb{S}^{d-1}$ with the complement of the negative orthant. The lower bound follows from the Yamabe functional's Sobolev inequality: any function on the sphere satisfies an $L^{2d/(d-2)}$ estimate, and applying it to an eigenfunction of $U_{d+1}$ extended by zero yields $\\lambda_1(d+1) \\gtrsim d/2^d$. The upper bound is produced by an explicit cut-off test function $\\eta_d(x)=\\max_i \\theta_d(x_i)$, where $\\theta_d$ is 1 below $-a_d$ and 0 above 0, inserted into the variational formula $\\lambda_1(d) = \\inf_{u \\in H^1_0(U_d)} \\int_{U_d}|\\nabla u|^2 \\big/ \\int_{U_d} u^2$; the paper bounds the volume of the transition layer $\\Sigma_d(a) = [-a,1]^d \\cap \\mathbb{S}^{d-1}$ by $C\\omega_{d-1}/2^d$ to control the gradient term.","core_discovery":"The paper's central claim is that the small positive eigenvalue $\\lambda_1(d)$ of $-\\Delta_{\\mathbb{S}^{d-1}}$ with Dirichlet conditions on the boundary of $U_d = (\\mathbb{R}^d \\setminus \\mathbb{R}^d_-) \\cap \\mathbb{S}^{d-1}$ is controlled, for every $d \\ge 1$, by two constants $c, C>0$: $\\lambda_1(d) \\in [c\\,d/2^d,\\, C\\,d^3/2^d]$. In particular $\\log \\lambda_1(d)/d \\to \\log(1/2)$, so the eigenvalue is exponentially small in dimension, matching the fraction of the sphere occupied by the positive orthant. Through the identity $p_d = \\sqrt{\\lambda_1(d) + (d/2-1)^2} - (d/2-1)$, this forces the survival exponent $p_d$ in $P_x(\\tau_d>t) \\sim V_d(x)/t^{p_d/2}$ to go to zero, with $p_d \\sim \\lambda_1(d)/d$.","pith_inferences":["If the claimed rates are correct, the natural joint $d,t\\to\\infty$ scaling for the survival probability is likely set by the ratio $t/2^d$ rather than by $t$ alone; this joint scaling is not derived in the paper and could be tested numerically.","The same spectral strategy should apply to linear images of orthants, the unequal-variance case the paper lists as an open problem: one would expect $\\lambda_1$ to decay like the volume fraction of the corresponding transformed spherical cap.","Because the claimed rate depends only on the fraction $1/2^d$ of the sphere occupied by the positive orthant, the result suggests that spherical-cap approximations used heuristically in the physics literature capture the correct exponential order for the all-negative first-passage problem."],"forward_implications":["Corollary 2: as $d\\to\\infty$, $p_d\\to0$ and $p_d\\sim\\lambda_1(d)/d$, so the survival probability $P_x(\\tau_d>t)\\sim V_d(x)/t^{p_d/2}$ decays more slowly than any fixed power of $t$ once the dimension is large enough.","The uniform bounds $c\\,d/2^d \\le \\lambda_1(d) \\le C\\,d^3/2^d$ hold for every $d\\ge1$, so the exponential rate $\\log(1/2)$ is not merely asymptotic but sandwiched by polynomial factors in $d$.","Through the relation in [18, Thm 2], Theorem 1 converts into a quantitative approximation for the short-time behaviour of the occupation time of a large-dimensional orthant by Brownian motion.","The eigenfunction expansion of the survival probability from [1, Thm 1] inherits these bounds, giving quantitative control of the full survival probability rather than only its leading exponent."],"supporting_citations":[{"why":"Supplies the survival asymptotics $P_x(\\tau_d>t)\\sim V_d(x)/t^{p_d/2}$ and the Dirichlet eigenvalue formulation of $\\lambda_1(d)$.","marker":"[1]"},{"why":"Provides the general cone-exit asymptotics that reduce the all-negative hitting-time problem to the principal eigenvalue on the spherical domain.","marker":"[11]"},{"why":"Supplies the Yamabe functional and the Sobolev inequality whose constant-on-sphere minimizer yields the lower bound.","marker":"[17]"}],"fun_headline_variants":["Orthant eigenvalue decays like d/2^d, forcing survival exponent to zero","Eigenvalue of high-D orthant: between d/2^d and d^3/2^d","Survival exponent decays like 1/2^d as dimension grows","First exit time: eigenvalue shrinks like 1/2^d, p_d goes to zero","Hitting time tail: eigenvalue ~ d/2^d, so p_d -> 0"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The upper-bound half of the proof relies on the cut-off function $\\eta_d(x)=\\max_i\\theta_d(x_i)$ belonging to the space of test functions that vanish on the boundary of $U_d$; on boundary points where one coordinate is 0 and another coordinate is $\\le -a_d$, however, $\\eta_d$ equals 1, so this admissibility condition fails and the upper bound is not supported as written.","fun_headline_variants_meta":{"raw":{"variants":["Orthant eigenvalue decays like d/2^d, forcing survival exponent to zero","Eigenvalue of high-D orthant: between d/2^d and d^3/2^d","Survival exponent decays like 1/2^d as dimension grows","First exit time: eigenvalue shrinks like 1/2^d, p_d goes to zero","Hitting time tail: eigenvalue ~ d/2^d, so p_d -> 0"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001002,"raw_usage":{"total_tokens":4223,"prompt_tokens":914,"completion_tokens":3309,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":530,"completion_tokens_details":{"reasoning_tokens":3191}},"tokens_in":530,"tokens_out":3309,"duration_ms":24082,"temperature":1.0,"reasoning_tokens":3191,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:39:09.246695+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the proposed test function on the spherical boundary point with one coordinate equal to 0 and another equal to $-1$ (renormalized to the sphere): $\\eta_d$ equals 1 there, not 0, so the variational upper bound in Section 2.3 uses a function outside $H^1_0(U_d)$; replacing it with an admissible function, or computing $\\lambda_1(d)$ numerically for $d=4,\\dots,20$, would decide whether the upper bound $C d^3/2^d$ still holds.","supporting_citations":[{"cited_title":"Bañuelos and R","cited_arxiv_id":null,"evidence_quote":"Supplies the survival asymptotics $P_x(\\tau_d>t)\\sim V_d(x)/t^{p_d/2}$ and the Dirichlet eigenvalue formulation of $\\lambda_1(d)$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the general cone-exit asymptotics that reduce the all-negative hitting-time problem to the principal eigenvalue on the spherical domain."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Yamabe functional and the Sobolev inequality whose constant-on-sphere minimizer yields the lower bound."}],"review_version":1}