{"id":"b6523334-735c-4974-bf85-0119e314c1b1","arxiv_id":"1908.11273","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The rescaled smallest eigenvalues and localization centers of the stochastic Airy operator converge, as the inverse temperature tends to zero, to the atoms of a Poisson point process with intensity e^x e^{-t} dx dt, and the eigenfunctions collapse to Dirac masses.","lead":"When the temperature of the beta-ensemble model becomes very large, the bottom of the spectrum of the stochastic Airy operator converges to a Poisson point process, and its eigenfunctions become sharply localized at random centers. This gives the first joint law of the high-temperature edge eigenvalues and their localization positions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.1's explosion equivalence is only proven in one direction, and the missing converse is needed for the Poisson independence step.","rationale":"The reader's weakest assumption is the uniform approximation of the time-inhomogeneous diffusion by homogeneous ones over the ε-grid, and that is precisely the step where Lemma 5.1 operates. My read agrees with the reader's concern and locates it more sharply: the proof of Lemma 5.1 establishes only one direction of the claimed explosion equivalence, and the converse is not a corollary of the monotonicity property because the drift parameters differ. The subsequent identification of the discretized counters Q_L^(n) with the true eigenvalue counts depends on the full equivalence, so this is a genuine gap in the central argument, not a merely cosmetic omission. Since the gap is a missing proof rather than a demonstrated contradiction, the appropriate disposition is to keep the reader's conditional verdict: the paper's central claim would be established if this lemma is completed, but it is not fully justified as written.","tokens_in":47728,"tokens_out":13661,"duration_ms":123327,"concrete_test":"Re-derive the missing half of Lemma 5.1 on the event D: writing D(t) = Z_j^a(t) - Za(t), use the correct equation dD = -(βt/4)dt - (Z_j^a+Za)D dt together with the bounds in D1-D4 to prove that τ_{-∞}(Z_j^a) ≤ t_{j+1}^n L implies τ_{-∞}(Za) ≤ t_{j+1}^n L. If the implication fails, identify the sign of the neglected drift term that breaks it and decide whether the discrepancy has probability tending to zero as L→∞ and n→∞.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5.1's reduction to independent restricted operators rests on Lemma 5.1, which asserts that, on a high-probability event, for every grid point a and every interval (t_j^n L, t_{j+1}^n L], the time-inhomogeneous diffusion Za explodes if and only if the time-homogeneous diffusion Z_j^a (started from +∞ at t_j^n L with parameter a) explodes. The proof in §6.3 introduces the event D and then treats only the case where Za explodes: it shows that if Za hits −2√a then Z_j^a is below −2√a+1 and explodes shortly after (top of p.40). The converse case, where Z_j^a explodes but Za does not, is never addressed. The difference equation written there, dD = −(Z_j^a+Za)D dt, also omits the drift mismatch term −(β/4)t dt, since Za has parameter a+βt/4, so even the stated comparison is not literally the equation being solved. The 'if and only if' is used immediately afterwards to identify Q_L^(n)(i) with the true eigenvalue count Q_L((r_{i−1}, r_i]) on the event G; without the missing direction, a spurious explosion of Z_j^a would inflate Q_L^(n) and break the Poisson convergence in Lemma 5.2 and Theorem 1. This is the exact point where the time-inhomogeneous/homogeneous approximation is load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the stochastic Airy operator Lβ = −∂² + (β/4)x + ξ as the inverse temperature β tends to 0. The main results, Theorems 1 and 2, give a complete description of the bottom of the spectrum in this regime: after shifting by aL and rescaling by 4√aL, the eigenvalues converge jointly with the localization centers U_k/L and the rescaled eigenfunction measures m_k to the atoms of a Poisson point process on R×R₊ with intensity eˣe⁻ᵗ dx dt, with m_k converging to δ_{I_k}; and near each localization center the rescaled eigenfunction converges locally uniformly to h(x)=1/cosh x while the rescaled Brownian increment converges to b(x)=−2 tanh x. The proof proceeds through the Riccati transform, the construction of backward diffusions, a discretization into independent restricted operators, and a detailed analysis of the diffusion Z_a crossing its potential barrier. The paper implements a strategy that extends the authors' earlier work [DL20] on the continuous Anderson Hamiltonian to the time-inhomogeneous setting of the stochastic Airy operator.","tokens_in":48010,"tokens_out":13174,"duration_ms":139337,"significance":"If correct, the paper resolves a conjecture left open in [AD14] and gives a strikingly complete picture of high-temperature delocalization-to-localization at the edge of the β-ensemble spectrum: Poisson statistics, exponential localization centers, and an explicit universal microscopic profile. A notable strength is that the limiting intensity eˣe⁻ᵗ dx dt is derived from the asymptotic ratio of McKean's mean explosion time m(a), rather than imposed, so the limit law is effectively parameter-free. The microscopic statement of Theorem 2 is sharp and falsifiable. The analytical core is substantial, with the argument organized as a sequence of explicit estimates. I see no circularity in the scaling: aL is determined externally by m(a), and the Poisson intensity is computed from the ratio m(a+x/(4√a))/m(a). The main risk is the heavy reliance on the companion paper [DL20] for several key comparison estimates, but the statements used are specific and the dependence appears legitimate.","major_comments":[],"minor_comments":[{"comment":"The proof of the 'if and only if' is written in a one-sided way: it shows that if Z_a explodes on (t_j^nL, t_{j+1}^nL] then Z_j^a explodes as well, and then asserts that if τ~_{-∞}>t_{j+1}^nL then none of the diffusions explode. The missing direction is however immediate from the monotonicity property stated in Section 3: since Z_a(t_j^nL)<∞ and Z_j^a(t_j^nL)=+∞, the two paths are ordered up to the first explosion of Z_a, so an explosion of Z_j^a forces one of Z_a by the same time. I therefore do not regard this as a gap, but the authors should add this one-line argument at the point where the direction is used.","section":"§6.3, Lemma 5.1"},{"comment":"The proofs of Lemma 3.11 and of the two lemmas leading to Proposition 3.6 are deferred with statements such as 'the proof is very similar' or 'the arguments are essentially the same'. Since these results are load-bearing for Theorem 3, the authors should either include the deferred arguments or give precise references to the analogous statements in [DL20] so that a reader can verify them without reconstructing the arguments.","section":"§3.4, Lemmas 3.11 and 3.12–3.13"},{"comment":"The proof of Proposition 4.1 and the proof of Lemma 4.3 refer to specific results in [DL20] (Proposition 2.6, Corollary 4.8, Lemmas 4.1 and 4.2) without stating their content. Because the present paper relies on these estimates at several later points, it would improve readability to collect the precise statements in a short appendix or to restate them at the point of use.","section":"§4.2 and §4.3"},{"comment":"The original manuscript contains typographical artifacts in displayed formulas, notably the average sign written as a superscript 't' in lines such as 'ˆ ˆθa_t Za(s)ds' and 't_τ...'. These should be corrected to the intended int notation during production so the displayed estimates are unambiguous.","section":"§5.4, around Eq. (24)"},{"comment":"There is a typo in the phrase 'ForL |arge enough' in the proof of Lemma 7.4; it should read 'large'. This is purely cosmetic.","section":"§7.4, Lemma 7.4 proof"},{"comment":"The notation '2I₁ < I₂' in the sentence defining the intervals I₁,...,I_k is nonstandard and could confuse readers; a verbal description of the ordering would be clearer.","section":"§5.6"}],"recommendation":"minor_revision","confidential_remarks":"The paper is within the scope of the journal and the central claims appear sound. The stress-test concern about Lemma 5.1 does not, on close reading, land: the allegedly missing converse is supplied by the monotonicity of the Riccati flow, and the difference equation in §6.3 is written for two processes with the same time-inhomogeneous drift, so there is no omitted drift-mismatch term. The main residual risk is the paper's dependence on [DL20]; I would ask the authors to make the borrowed statements fully explicit, but this is a presentation issue rather than a correctness problem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe thing to know: this paper has the right result—joint Poisson convergence of the rescaled bottom eigenvalues and localization centers for the stochastic Airy operator as β→0, with explicit intensity and a 1/cosh eigenfunction profile—and the overall strategy is sound. But the current write-up has a genuine gap in Lemma 5.1, and it sits exactly where the proof needs to hold.\n\nWhat's new is real. Vague convergence of the eigenvalue point process and the one-eigenvalue Gumbel law were known from Allez–Dumaz. The genuinely new content is the joint convergence of eigenvalues and localization centers to a marked Poisson process, plus the microscopic description of eigenfunctions near those centers. The Riccati-diffusion framework is coherent, and the heavy reliance on the companion paper [DL20] is legitimate since that paper is published and the estimates transfer.\n\nThe soft spot is Lemma 5.1. It asserts that on a high-probability event, on each dyadic interval the time-inhomogeneous diffusion Za explodes if and only if the time-homogeneous approximation Zj_a explodes. The proof in §6.3 only handles the forward direction: if Za explodes, then Zj_a explodes. The converse, which is needed to prevent the discretized counts from overcounting, is never established. On the event D the authors write \"if Za doesn't explode, none of the diffusions explode,\" which is exactly the missing direction. There is also a smaller technical slip: the difference equation for D = Zj_a − Za omits the drift mismatch term −(β/4)t dt. On the short intervals in question the integrated error is o(1), so that part is probably repairable; the missing converse is not obviously so.\n\nMinor issues: Lemma 3.11 is sketched, the excursion point process convergence in §7.4 is asserted rather than proved, and some eigenfunction consequences are deferred to [DL20]. These are acceptable if the main gap is closed.\n\nBottom line: this deserves a serious referee, but I would not accept it as is. Ask the authors to fix Lemma 5.1 or explain why the converse is unnecessary. The rest can be read with normal refereeing.","headline":"Important result with a genuine gap: Lemma 5.1's explosion equivalence is only proven one way, and the missing direction is load-bearing for the Poisson step.","tokens_in":48528,"tokens_out":5755,"would_cite":true,"duration_ms":54828,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H25","60J60","35P20"],"pacs":[],"model":"deepseek-v4-flash","headline":"At large temperature, the stochastic Airy operator's low spectrum becomes a Poisson cloud and its eigenfunctions collapse to spikes with a hyperbolic-cosine shape.","keywords":["stochastic Airy operator","beta ensemble","high temperature","localization","Poisson point process","Riccati transform","eigenfunction profile","hyperbolic cosine"],"falsifier":"Take a fixed small $\\beta$, run the tridiagonal $\\beta$-ensemble with $N$ large enough that $N\\beta$ is large, rescale the lowest eigenvalues by $4\\sqrt{a_L}(\\lambda_k+a_L)$, and compare the empirical counting process to a Poisson process of intensity $e^x dx$: the claim fails if the variance-to-mean ratio of counts on a fixed interval does not approach $1$, or if the first-gap distribution does not approach the standard exponential.","tokens_in":47506,"feed_emoji":"🎲","tokens_out":6923,"duration_ms":69348,"temperature":0.7,"pith_summary":"This paper establishes what happens to the bottom of the spectrum of the stochastic Airy operator when the inverse temperature $\\beta$ goes to $0$, i.e. when temperature tends to infinity. It proves that the rescaled eigenvalues converge to the atoms of a Poisson point process with explicit intensity $e^x dx$, and that each eigenfunction becomes a Dirac mass located at an independent exponentially distributed point. On the microscopic scale around that point, the eigenfunction converges to the deterministic profile $1/\\cosh(x)$, with the driving Brownian increment converging to $-2\\tanh(x)$. This gives a complete answer to the conjecture left open after the earlier Gumbel law for the first eigenvalue.","feed_headline":"High-temperature Airy edge becomes Poisson and eigenfunctions localize","feed_subtitle":"A complete limit law: rescaled eigenvalues form a Poisson cloud and each eigenfunction collapses to a hyperbolic-cosine spike.","key_machinery":"The load-bearing object is the Riccati transform, which sends each eigenfunction $\\phi_k$ to a diffusion $Z_a(t)$ solving $dZ_a=(a+\\beta t/4-Z_a^2)\\,dt+dB$, started from $+\\infty$, with $a=-\\lambda_k$; explosions of $Z_a$ to $-\\infty$ count eigenvalues below $-a$. The proof also constructs backward diffusions $\\hat{Z}_a$ ending at $-\\infty$ at $+\\infty$, and uses McKean's expected explosion time $m(a)$ to define the scale $a_L$ by $m(a_L)=L$. The argument slices time into $2^n$ intervals, approximates each restricted operator by a time-homogeneous Anderson Hamiltonian, and controls the rare crossing of the potential barrier, where the trajectory is close to the deterministic hyperbolic tangent $\\sqrt{a_L}\\tanh(-\\sqrt{a_L}(t-\\upsilon_a))$.","core_discovery":"On the paper's own terms, the central discovery is a complete distributional limit for the low-lying spectrum of $L_\\beta=-\\partial_x^2+(\\beta/4)x+\\xi$ as $\\beta\\to0$. Theorem 1 says that the sequence $(4\\sqrt{a_L}(\\lambda_k+a_L),\\,U_k/L,\\,m_k)$ converges in law to $(\\Lambda_k,\\,I_k,\\,\\delta_{I_k})$, where $(\\Lambda_k,I_k)$ are the atoms of a Poisson point process on $\\mathbb{R}\\times\\mathbb{R}_+$ with intensity $e^x e^{-t}\\,dx\\,dt$ and $m_k$ is the probability measure induced by the rescaled eigenfunction. Theorem 2 says that near its localization center $U_k$ the rescaled eigenfunction converges locally uniformly to $h(x)=1/\\cosh(x)$, while the rescaled Brownian increment converges to $b(x)=-2\\tanh(x)$. In words: at infinite temperature the edge eigenvalues are asymptotically independent and the eigenfunctions are single localized bumps with a deterministic shape.","pith_inferences":["An extension the authors mention but leave unproved: the zeros of $\\phi_k$ should interlace with the localization centers of lower eigenfunctions, so the full eigenfunction can be read as a chain of hyperbolic-cosine bumps; the estimates in the paper appear sufficient to prove it.","The proof mechanism predicts a quantitative crossover for finite $N\\beta$: as $N\\beta$ grows, the edge point process should approach Poisson with correction terms of order $a_L^{-1}$. This is testable by simulating the tridiagonal $\\beta$-ensemble and measuring the variance-to-mean ratio of edge counts.","Because the barrier crossing is driven by the deterministic hyperbolic tangent, the same Poisson-plus-cosh localization should persist for any noise whose increments at the microscopic scale are Brownian-like; a long-range correlated noise should break it, giving a sharp criterion."],"forward_implications":["The low edge of the $\\beta$-ensemble spectrum, when $N\\to\\infty$ first and then $\\beta\\to0$, is completely described by a Poisson point process of intensity $e^x dx$ on the rescaled eigenvalue axis.","Eigenfunctions localize: their $L^2$ mass concentrates on a window of length of order $L/\\sqrt{a_L}$, and outside that window they decay exponentially at rate $\\sqrt{a_L}$.","The localization centers, divided by the scale $L$, are IID exponential random variables, so eigenvalues and centers are asymptotically independent.","The microscopic profile of every eigenfunction near its center is asymptotically deterministic: $1/\\cosh(x)$ for the eigenfunction and $-2\\tanh(x)$ for the Brownian increment."],"supporting_citations":[{"why":"Introduces the stochastic Airy operator, its Dirichlet eigenfunctions, and the Riccati-transform diffusions on which the whole proof is built.","marker":"[RRV11]"},{"why":"Establishes the $a_L$ scale and the Gumbel limit for the first eigenvalue, which this paper extends to the full point process and eigenfunctions.","marker":"[AD14]"},{"why":"Supplies the detailed estimates on explosion, barrier crossing, and localization for the time-homogeneous Anderson Hamiltonian that the present proof adapts.","marker":"[DL20]"},{"why":"Provides the exponential law for the rescaled first explosion time and the asymptotic $m(a)$ used to define $a_L$ and the Poisson intensity.","marker":"[McK94]"}],"fun_headline_variants":["Airy edge at infinite temp: Poisson eigenvalues, localized spikes","Infinite-temperature Airy edge becomes Poisson, eigenfunctions localize","Airy edge at high temp: Poisson point process, cosh spikes","Infinite-temperature Airy spectrum: Poisson and localized eigenfunctions","Poisson cloud and cosh spikes: high-temperature Airy edge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole Poisson-independence step rests on the approximation that, on each tiny interval of the discretization, the diffusion with slowly changing drift is indistinguishable from a diffusion with frozen drift, so independent pieces of the operator behave like independent random Schrödinger operators; if that approximation failed at any grid point, the joint Poisson structure would break down.","fun_headline_variants_meta":{"raw":{"variants":["Airy edge at infinite temp: Poisson eigenvalues, localized spikes","Infinite-temperature Airy edge becomes Poisson, eigenfunctions localize","Airy edge at high temp: Poisson point process, cosh spikes","Infinite-temperature Airy spectrum: Poisson and localized eigenfunctions","Poisson cloud and cosh spikes: high-temperature Airy edge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000781,"raw_usage":{"total_tokens":3431,"prompt_tokens":909,"completion_tokens":2522,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":525,"completion_tokens_details":{"reasoning_tokens":2432}},"tokens_in":525,"tokens_out":2522,"duration_ms":16327,"temperature":1.0,"reasoning_tokens":2432,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:19:59.076451+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a fixed small $\\beta$, run the tridiagonal $\\beta$-ensemble with $N$ large enough that $N\\beta$ is large, rescale the lowest eigenvalues by $4\\sqrt{a_L}(\\lambda_k+a_L)$, and compare the empirical counting process to a Poisson process of intensity $e^x dx$: the claim fails if the variance-to-mean ratio of counts on a fixed interval does not approach $1$, or if the first-gap distribution does not approach the standard exponential.","supporting_citations":[],"review_version":1}