Pith. sign in

REVIEW 3 minor 1 cited by

The square roots of the positive Dirichlet eigenvalues of the white-noise Schrödinger operator admit the expansion k_n = nπ/L plus a stochastic integral of order 1/n plus an L^p error of order n^{-2}.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-26 09:37 UTC pith:BQMJQ7MJ

load-bearing objection This paper gives an explicit high-energy expansion for the Dirichlet eigenvalues of the white-noise Schrödinger operator that includes a concrete stochastic integral term against Brownian motion.

arxiv 2606.22426 v1 pith:BQMJQ7MJ submitted 2026-06-21 math.SP

High-energy asymptotics for finite-interval Schr\"odinger operators with Gaussian white-noise potential

Yingdu Dong , Wenwen Jian , Xiaoping Yuan This is my paper
classification math.SP
keywords Schrödinger operatorwhite noise potentialDirichlet eigenvalueshigh-energy asymptoticsstochastic integralsPrüfer coordinateseigenfunction asymptotics
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a precise high-energy asymptotic for the Dirichlet eigenvalues of the Schrödinger operator -d²/dx² + ρ Ḃ_x on a finite interval. It shows that k_n, defined as the square root of the positive part of the nth eigenvalue, equals nπ/L plus an explicit term (ρ/(nπ)) times the integral of sin²(nπ s/L) dB_s, plus a remainder that vanishes in every L^p(Ω) as n^{-2}. From this expansion it follows that the eigenvalues are positive almost surely for all large n and that k_n = nπ/L + O(n^{-1+ε}) almost surely for any ε > 0. The same methods also yield first-order almost-sure asymptotics for the corresponding L²-normalized eigenfunctions, with the difference from the unperturbed sine function controlled by O(n^{-1+ε}). The results rely on stochastic Prüfer coordinates and are presented as a first step toward KAM-type analysis for PDEs driven by white-noise spatial potentials.

Core claim

For the operator H_ω = -d²/dx² + ρ Ḃ_x(ω) on [0,L] with Dirichlet boundary conditions, realized pathwise via the quasi-derivative formulation, the quantities k_n = sqrt(λ_n^+) satisfy k_n = nπ/L + (ρ/(nπ)) ∫_0^L sin²(nπ s/L) dB_s + O_{L^p(Ω)}(n^{-2}) for every finite p. Consequently, almost surely λ_n > 0 for all sufficiently large n and, for every ε > 0, k_n = nπ/L + O(n^{-1+ε}). The L²-normalized eigenfunctions satisfy sup |φ_n(x) - sqrt(2/L) sin(k_n x)| = O(n^{-1+ε}) almost surely.

What carries the argument

Stochastic Prüfer coordinates together with stochastic Volterra expansions and the Burkholder–Davis–Gundy inequality, used to extract the explicit Brownian integral correction and control the remainder.

Load-bearing premise

The random operator can be defined pathwise for each Brownian sample path via the quasi-derivative realization of Sturm–Liouville operators with distributional potentials.

What would settle it

A numerical check that the L^p(Ω) norm of the difference between k_n and nπ/L minus the explicit stochastic integral term fails to decay like n^{-2} for large n would falsify the claimed expansion.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Almost surely the eigenvalues λ_n are positive for all sufficiently large n.
  • The almost-sure rate k_n = nπ/L + O(n^{-1+ε}) holds for every ε > 0.
  • The eigenfunctions admit the explicit almost-sure approximation φ_n(x) = sqrt(2/L) sin(k_n x) + O(n^{-1+ε}) uniformly in x.
  • The expansion supplies the first step toward KAM-type small-divisor analysis for Hamiltonian PDEs with white-noise spatial potentials.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit stochastic integral term may be used to study the statistical distribution of eigenvalue spacings under white-noise perturbation.
  • The same stochastic Prüfer method could be tested on other singular random potentials that admit a pathwise operator realization.
  • Numerical sampling of many Brownian paths could directly verify the size of the 1/n correction term for moderate n.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The manuscript studies the Schrödinger operator H_ω = -d²/dx² + ρ Ḃ_x on [0,L] with Dirichlet boundary conditions, defined pathwise via the quasi-derivative realization for distributional potentials. It proves the high-energy expansion k_n = nπ/L + (ρ/(nπ)) ∫_0^L sin²(nπ s/L) dB_s + O_{L^p(Ω)}(n^{-2}) for any finite p, where k_n = sqrt(λ_n^+), and consequently almost sure bounds k_n = nπ/L + O(n^{-1+ε}) and λ_n >0 for large n. Similar first-order asymptotics are obtained for the L²-normalized eigenfunctions φ_n. The proofs employ stochastic Prüfer coordinates, Volterra expansions, the Burkholder–Davis–Gundy inequality, and Borel–Cantelli arguments.

Significance. If the central claims hold, the explicit form of the stochastic integral correction in the eigenvalue expansion and the almost-sure eigenfunction asymptotics represent a significant advance in the spectral theory of random Schrödinger operators with white-noise potentials. This provides a concrete foundation for subsequent KAM-type small-divisor analysis in Hamiltonian PDEs with spatial white-noise terms, as noted in the abstract. The pathwise treatment and use of standard stochastic analysis tools add to the robustness of the results.

minor comments (3)
  1. [Abstract] The statement of the eigenfunction asymptotics mentions 'with a fixed sign convention' but does not specify what the convention is; this should be clarified for reproducibility.
  2. [Setup] The parameters L (interval length) and ρ (noise intensity) are used without explicit statement of their ranges or assumptions (e.g., L>0 fixed, ρ real); while implicit, adding a sentence would improve clarity.
  3. [Proofs] The application of the Borel–Cantelli lemma to upgrade L^p bounds to almost sure bounds is standard, but the manuscript could briefly recall the specific form of the lemma used for the O(n^{-1+ε}) remainder.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance for subsequent KAM-type analysis, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The high-energy expansion is obtained by applying standard stochastic analysis (Prüfer coordinates, Volterra series, BDG inequality, Borel-Cantelli) directly to the stochastic integral driven by the given Brownian motion; the result is an explicit asymptotic formula whose leading correction term is the integral itself rather than a fitted or self-referential quantity. The pathwise quasi-derivative realization is a standard technical device for defining the operator and does not enter the asymptotics as a circular premise. No self-citation, ansatz smuggling, or uniqueness theorem imported from prior work by the same authors appears in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the pathwise quasi-derivative definition of the operator and standard properties of Brownian motion and stochastic integrals. No free parameters are fitted to data; ρ is an explicit scaling constant. No new entities are introduced.

axioms (1)
  • domain assumption The Schrödinger operator with distributional potential is defined pathwise via the quasi-derivative realization of Sturm–Liouville operators.
    This definition is invoked at the outset to make the random operator well-defined for each Brownian path before stochastic analysis begins.

pith-pipeline@v0.9.1-grok · 5886 in / 1566 out tokens · 32164 ms · 2026-06-26T09:37:40.871732+00:00 · methodology

0 comments
read the original abstract

We study the one-dimensional Schr\"odinger operator on a fixed interval with Gaussian white-noise potential, \[ H_\omega=-\frac{\dd^2}{\dd x^2}+\rho\dot B_x(\omega), \] under Dirichlet boundary conditions. The operator is defined pathwise through the quasi-derivative realization of Sturm--Liouville operators with distributional potentials. Let $\lambda_n$ be the Dirichlet eigenvalues, $\lambda_n^+=\max\{\lambda_n,0\}$, and $k_n=\sqrt{\lambda_n^+}$. For every finite $p$, we prove the high-energy expansion \[ k_n=\frac{n\pi}{L} +\frac{\rho}{n\pi}\int_0^L \sin^2\left(\frac{n\pi s}{L}\right)\,\dd B_s +O_{L^p(\Omega)}(n^{-2}). \] Consequently, almost surely, $\lambda_n>0$ for all sufficiently large $n$ and, for every $\varepsilon>0$, \[ k_n=\frac{n\pi}{L}+O(n^{-1+\varepsilon}). \] We also obtain first-order eigenfunction asymptotics with explicit Brownian stochastic-integral corrections. In particular, for the $L^2(0,L)$-normalized Dirichlet eigenfunction $\varphi_n$, with a fixed sign convention, \[ \sup_{0\le x\le L} \left|\varphi_n(x)-\sqrt{\frac{2}{L}}\sin(k_n x)\right| =O(n^{-1+\varepsilon}) \] almost surely. The proofs use stochastic Pr\"ufer coordinates, stochastic Volterra expansions, the Burkholder--Davis--Gundy inequality, and a Borel--Cantelli argument. The estimates provide a first step toward KAM-type small-divisor analysis for Hamiltonian PDEs with white-noise spatial potentials.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Optimal Covariance Estimates for Schr\"odinger Semigroups with White Noise in $d=1,2$

    math.PR 2026-07 conditional novelty 7.0

    In d=1,2, C(s,t) ≍ min{s,t}^{1-d/2} max{s,t}^{1-d/2-d/κ} as s,t→0 for the white-noise Schrödinger trace under two-sided power-law potential growth.

Reference graph

Works this paper leans on

26 extracted references · cited by 1 Pith paper

  1. [1]

    Bal and Y

    G. Bal and Y. Gu, Limiting models for equations with large random potential; a review, Commun. Math. Sci.13(2015), no. 3, 729–748

    2015

  2. [2]

    Billingsley,Convergence of Probability Measures, second edition, Wiley Series in Prob- ability and Statistics, John Wiley & Sons, New York, 1999

    P. Billingsley,Convergence of Probability Measures, second edition, Wiley Series in Prob- ability and Statistics, John Wiley & Sons, New York, 1999

    1999

  3. [3]

    Carmona and J

    R. Carmona and J. Lacroix,Spectral Theory of Random Schr¨ odinger Operators, Birkh¨ auser, 1990

    1990

  4. [4]

    Yu. A. Davydov, Convergence of distributions generated by stationary stochastic processes, Theory Probab. Appl.13(1968), no. 4, 691–696

    1968

  5. [5]

    Doukhan, P

    P. Doukhan, P. Massart, and E. Rio, The functional central limit theorem for strongly mixing processes,Ann. Inst. H. Poincar´ e Probab. Statist.30(1994), no. 1, 63–82

    1994

  6. [6]

    Du and X

    L. Du and X. Yuan, Invariant tori of nonlinear Schr¨ odinger equations with a given potential, Dyn. Partial Differ. Equ.3(2006), no. 4, 331–346

    2006

  7. [7]

    Dumaz and C

    L. Dumaz and C. Labb´ e, Localization of the continuous Anderson Hamiltonian in 1-D, Probab. Theory Related Fields176(2020), 353–419

    2020

  8. [8]

    Dumaz and C

    L. Dumaz and C. Labb´ e, The delocalized phase of the Anderson Hamiltonian in 1-D,Ann. Probab.51(2023), 805–839

    2023

  9. [9]

    Dumaz and C

    L. Dumaz and C. Labb´ e, Localization crossover for the continuous Anderson Hamiltonian in 1-D,Invent. Math.235(2024), 345–440

    2024

  10. [10]

    Dumaz and C

    L. Dumaz and C. Labb´ e, Anderson localization for the 1-D Schr¨ odinger operator with white noise potential,J. Funct. Anal.286(2024), no. 1, 110191

    2024

  11. [11]

    Eckhardt, F

    J. Eckhardt, F. Gesztesy, R. Nichols, and G. Teschl, Weyl–Titchmarsh theory for Sturm– Liouville operators with distributional potentials,Opuscula Math.33(2013), 467–563

    2013

  12. [12]

    Fukushima and S

    M. Fukushima and S. Nakao, On spectra of the Schr¨ odinger operator with a white Gaussian noise potential,Z. Wahrscheinlichkeitstheorie verw. Gebiete37(1977), 267–274

    1977

  13. [13]

    R. O. Hryniv and Ya. V. Mykytyuk, Inverse spectral problems for Sturm–Liouville oper- ators with singular potentials. IV. Potentials in the Sobolev space scale,Proc. Edinburgh Math. Soc.49(2006), 309–329

    2006

  14. [14]

    R. O. Hryniv and Ya. V. Mykytyuk, Eigenvalue asymptotics for Sturm–Liouville operators with singular potentials,J. Funct. Anal.238(2006), no. 1, 27–57. 28

    2006

  15. [15]

    R. O. Hryniv and Ya. V. Mykytyuk, Self-adjointness of Schr¨ odinger operators with singular potentials,Methods Funct. Anal. Topology18(2012), no. 2, 152–159

    2012

  16. [16]

    Kampf and E

    J. Kampf and E. Spodarev, A functional central limit theorem for integrals of stationary mixing random fields,Theory Probab. Appl.63(2018), no. 1, 135–150

    2018

  17. [17]

    Kirsch, An Invitation to Random Schr¨ odinger Operators,Panoramas et Synth` eses25 (2008), 1–119

    W. Kirsch, An Invitation to Random Schr¨ odinger Operators,Panoramas et Synth` eses25 (2008), 1–119

    2008

  18. [18]

    S. B. Kuksin,Nearly Integrable Infinite-Dimensional Hamiltonian Systems, Lecture Notes in Mathematics, Vol. 1556, Springer, Berlin, 1993

    1993

  19. [19]

    S. B. Kuksin and J. P¨ oschel, Invariant Cantor manifolds of quasi-periodic oscillations for a nonlinear Schr¨ odinger equation,Ann. of Math.143(1996), no. 1, 149–179

    1996

  20. [20]

    Minami, Definition and self-adjointness of the stochastic Airy operator,Markov Process

    N. Minami, Definition and self-adjointness of the stochastic Airy operator,Markov Process. Relat. Fields21(2015), no. 3, 695–711

    2015

  21. [21]

    Pastur and A

    L. Pastur and A. Figotin,Spectra of Random and Almost-Periodic Operators, Springer, 1992

    1992

  22. [22]

    Peng, Problem of eigenvalues of stochastic Hamiltonian systems with boundary condi- tions,Stochastic Process

    S. Peng, Problem of eigenvalues of stochastic Hamiltonian systems with boundary condi- tions,Stochastic Process. Appl.88(2000), no. 2, 259–290

    2000

  23. [23]

    J. A. Ram´ ırez, B. Rider, and B. Vir´ ag, Beta ensembles, stochastic Airy spectrum, and a diffusion,J. Amer. Math. Soc.24(2011), no. 4, 919–944

    2011

  24. [24]

    A. M. Savchuk and A. A. Shkalikov, Sturm–Liouville operators with distribution potentials, Trans. Moscow Math. Soc.2003, 143–192

    2003

  25. [25]

    Thompson, The state density for second order ordinary differential equations with white Gaussian noise potential,Boll

    M. Thompson, The state density for second order ordinary differential equations with white Gaussian noise potential,Boll. Un. Mat. Ital. B2(1983), 283–296

    1983

  26. [26]

    Yuan, Quasi-periodic solutions of nonlinear wave equations with a prescribed potential, Discrete Contin

    X. Yuan, Quasi-periodic solutions of nonlinear wave equations with a prescribed potential, Discrete Contin. Dyn. Syst.16(2006), no. 3, 615–634. 29

    2006