Pith. sign in

REVIEW 4 minor 37 references

Soft edge limit of the Laguerre beta-ensemble at the lower edge

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read The lower soft edge of the Laguerre beta-ensemble converges to the Airy_β process whenever the parameter a_n diverges but stays o(n).

desk verdict Closes the last open lower-edge regime for Laguerre β-ensembles with a clean two-regime operator/coupling proof; the (log log n)^3 threshold is real but not a hole. read the letter →

arxiv 2607.08536 v1 pith:NIBKBLYP submitted 2026-07-09 math.PR math-phmath.MP

Yun Li , Benedek Valkó , Jiaming Xu This is my paper · ORCID
classification math.PRmath-phmath.MP MSC 60B2060F1747B8015B52
keywords Laguerrebeta-ensemblesoftedgeAiry_βprocessstochasticAiryoperatorDumitriu-Edelmantridiagonalhard-to-softtransitionnorm-resolventconvergence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper fills the last open regime for edge limits of the classical Laguerre beta-ensemble. When the parameter a grows to infinity slower than the matrix size n, the microscopic statistics at the lower edge of the spectrum still become the $Airy_\beta$ process after the natural soft-edge scaling. This unifies the previously known hard-edge (fixed a) and soft-edge ($\frac{a}{n}$ bounded away from zero) pictures and shows that the transition occurs precisely when $a \to \infty$. For moderately fast growth the authors obtain the stronger operator-level statement that the inverse of the rescaled Dumitriu–Edelman tridiagonal matrix converges in Hilbert–Schmidt norm to the inverse of the stochastic Airy operator; the same technique recovers operator convergence for the already-known soft edges of both Laguerre and Gaussian ensembles. When a grows only logarithmically they switch to a quantitative coupling with the hard-edge Bessel process and invoke the known hard-to-soft transition.

What carries the argument

The inverse of the Dumitriu–Edelman bidiagonal matrix, viewed as a Hilbert–Schmidt integral operator after soft-edge scaling and recentering; its kernel is controlled by a discrete Riccati process whose fluctuations are shown to stay close to those of the continuous Airy Riccati diffusion.

What would settle it

Compute the smallest few eigenvalues of large Dumitriu–Edelman matrices with $a_n$ growing like $(\log \log n)^2$ (or slower) and test whether, after the claimed soft-edge scaling, their empirical measures approach the known $Airy_\beta$ statistics; systematic deviation would falsify the claimed threshold.

Watch

Extended reading notes

Core claim

For every fixed $\beta > 0$, if $\Lambda_n$ is distributed as the $\mathrm{Laguerre}_{n,\beta,2a_n}$ ensemble with $a_n \to \infty$ and $\frac{a_n}{n} \to 0$, then $a_n^{-4/3} n \left( \Lambda_n - (\sqrt{n+2a_n} - \sqrt{n})^2 \right)$ converges in distribution to the $Airy_\beta$ point process. When $a_n$ grows faster than $(\log \log n)^3$ the same limit holds at the level of operators: the inverse of the scaled tridiagonal model converges in Hilbert–Schmidt norm to the inverse of the stochastic Airy operator.

Load-bearing premise

The operator-level argument needs $a_n$ to grow faster than $(\log \log n)^3$ so that the drift of the discrete Riccati process dominates its martingale noise; slower growth is handled only by a separate coupling that itself stops at $(\log n)^{1/2}$.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper proves that the lower soft edge of the Laguerre beta-ensemble with parameter a_n converges to the Airy_beta process whenever a_n to infinity and a_n/n to 0 (Theorem 1). This fills the remaining gap between the hard-edge regime (a fixed) and the soft-edge regime with liminf a_n/n > 0. For a_n much larger than (log log n)^3 the authors establish Hilbert-Schmidt norm-resolvent convergence of the inverse of the scaled Dumitriu-Edelman tridiagonal matrix to the inverse of the stochastic Airy operator (Theorem 8). For the complementary slow-growth window 1 much less than a_n less than or equal to (log n)^{1/2} they obtain a quantitative coupling of the finite-n inverse to the hard-edge operator and invoke the known hard-to-soft transition of Dumaz-Li-Valko. The same operator-level machinery yields analogous resolvent convergences for the Gaussian beta-ensemble and for the Laguerre ensemble when liminf a_n/n is positive (Theorems 2 and 3).

Significance. The result completes the edge-scaling picture for the Laguerre beta-ensemble at fixed beta > 0 and supplies the first operator-level proofs of several classical soft-edge limits. The technical core (diffusion approximation of the discrete Riccati process, Freedman-type martingale bounds, discrete Wronskian identities, and Hilbert-Schmidt tail estimates) is carefully executed and the growth threshold a_n much greater than (log log n)^3 is openly acknowledged rather than hidden. The methods are reusable for other soft-edge problems, as demonstrated by the Gaussian and positive-ratio Laguerre cases.

minor comments (4)
  1. In the statement of Theorem 1 the ensemble is written Laguerre_n,beta,2a_n while the surrounding text sometimes uses a_n; a single consistent convention would improve readability.
  2. Proposition 20 and the subsequent moment calculations occupy a substantial part of the appendix; a short summary of the leading-order terms in the main text would help the reader follow the diffusion-limit argument without constant reference to the appendix.
  3. The function f(a) = log(min{a,n/a}) introduced in (34) is used only to define the cut-off n_1; a brief remark that any slowly diverging function with af(a) much less than n would suffice would clarify the flexibility of the construction.
  4. A few typographical inconsistencies appear (e.g., missing spaces around mathematical operators and occasional mismatched parentheses in displayed equations); a careful copy-edit would remove them.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: the soft-edge limit is derived from the Dumitriu-Edelman model by direct analysis; the sole self-citation is an independent published operator limit used only in the slow-growth regime.

  1. self citation load bearing [Section 1, Theorem D and the outline for a_n ≤ (log n)^{1/2}; also Section 4, Proposition 34 and the proof of Theorem 1 in the slow-growth regime]
    "For a_n ≤ (log n)^{1/2} we give a different argument that relies on coupling and a result of [9] for the transition between the hard and soft edge limits of the Laguerre beta-ensemble. Theorem D (Hard-to-soft edge transition, [9]). a^{-4/3}(Bessel_{β,2a} − a^{2}) ⇒ Airy_β, as a→∞."

    In the slow-growth regime the paper reduces the finite-n Laguerre spectrum to the Bessel process by a new quantitative coupling, then invokes the authors’ own prior operator-level hard-to-soft limit [9] to pass to Airy_β. The citation is load-bearing for that regime, but [9] is an independent published result (not redefined here) and the complementary fast-growth regime is proved without it; the overall theorem therefore does not collapse to a self-citation chain.

full rationale

The central claim (Theorem 1) is proved by two complementary regimes that together cover a_n o∞ with a_n/n o0. For a_n ≫ (log log n)^3 the argument is self-contained: the inverse of the scaled Dumitriu-Edelman tridiagonal is shown to converge in Hilbert-Schmidt norm to Airy_β^{-1} via moment asymptotics of the discrete recursion, diffusion approximation on compact intervals, martingale control of the discrete Riccati process, and concentration bounds (Theorem 8 and Propositions 20–33). No parameters are fitted to data and no uniqueness theorem is imported from the authors’ prior work. For the complementary window 1≪a_n≤(log n)^{1/2} the paper invokes the hard-to-soft transition of Dumaz-Li-Valkó [9] (Theorem D) together with a quantitative coupling (Proposition 35). That citation is an independent, already-published operator-level result; it is not redefined or re-proved here, and the present paper’s contribution in this regime is the new coupling estimate. The growth threshold a_n ≫ (log log n)^3 is openly flagged as a limitation of one method (Remark 29), not hidden. Consequently the derivation does not reduce to its inputs by construction, and the circularity score is 1.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper works entirely inside classical probability and random-matrix theory. No free parameters are fitted; the only external inputs are standard analytic tools and previously established operator limits for Airy_β and Bessel_β,a.

assumptions (6)
  • domain assumption Dumitriu-Edelman tridiagonal/bidiagonal matrix models realize the Laguerre and Gaussian beta-ensembles for every β>0.
    Used throughout as the starting finite-n model (Section 1.1 and equations (6),(9)).
  • domain assumption The stochastic Airy operator Airy_β is almost surely self-adjoint with discrete spectrum equal to the Airy_β point process, and its inverse is Hilbert-Schmidt with the explicit kernel built from Dirichlet/Neumann solutions.
    Target limit object; properties taken from Ramírez-Rider-Virág and Bloemendal (Section 2.2).
  • standard math Ethier-Kurtz diffusion-limit theorem for Markov chains under local moment conditions (Proposition 15).
    Applied to obtain process-level convergence of the discrete solution on compact intervals (Proposition 21).
  • standard math Freedman-type martingale concentration (Theorem 17 / Lemma 18) and standard chi/Gaussian tail bounds.
    Control discrete Riccati fluctuations beyond the diffusion scale (Section 3.4).
  • domain assumption Hard-to-soft edge transition a^{-4/3}(Bessel_β,2a - a^2) ⇒ Airy_β as a→∞ (Dumaz-Li-Valkó).
    Invoked for the slowly-growing regime a_n ≤ (log n)^{1/2} (Theorem D and Section 4).
  • standard math Hoffman-Wielandt inequality for Hilbert-Schmidt perturbations of self-adjoint operators.
    Converts operator-norm closeness into eigenvalue closeness (proof of Proposition 34).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Soft edge limit of the Laguerre beta-ensemble at the lower edge." pith.science (2026). https://pith.science/paper/NIBKBLYP

@misc{pith2026260708536,
  author       = {Pith},
  title        = {Pith review of: Soft edge limit of the Laguerre beta-ensemble at the lower edge},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NIBKBLYP}},
  note         = {Machine review of arXiv:2607.08536}
}
abstract

We show that the lower edge of the appropriately scaled size $n$ Laguerre beta-ensemble with parameter $a=a_n$ converges to the $\operatorname{Airy}_{\beta}$ process as $n\to \infty$ when $a_n\to \infty$ and $\tfrac{a_n}{n}\to 0$. This completes the picture of the possible edge scaling limits of the Laguerre beta-ensemble with a fixed $\beta>0$. When $a_n\gg (\log \log n)^3$ our proof establishes operator level convergence of the inverse of the scaled Dumitriu-Edelman tridiagonal matrix to the inverse of the stochastic Airy operator. Our methods allow us to prove similar operator level limits for the known soft edge scaling limits of the Laguerre and Gaussian beta-ensembles. For $a_n\le (\log n)^{1/2}$ we give a different argument that relies on coupling and a result of Dumaz-Li-Valko for the transition between the hard and soft edge limits of the Laguerre beta-ensemble.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    The Hoffman-Wielandt inequality in infinite dimensions

    Rajendra Bhatia and Ludwig Elsner. The Hoffman-Wielandt inequality in infinite dimensions. InProceedings of the Indian Academy of Sciences-Mathematical Sciences, volume 104, pages 483–494. Springer, 1994

    work page 1994

  2. [2]

    PhD thesis, University of Toronto, 2011

    Alexander Bloemendal.Finite rank perturbations of random matrices and their continuum limits. PhD thesis, University of Toronto, 2011. 58

    work page 2011

  3. [3]

    Increasing subsequences and the hard-to-soft edge transition in matrix ensembles.Journal of Physics A: Mathematical and General, 36(12):2963, 2003

    Alexei Borodin and Peter J Forrester. Increasing subsequences and the hard-to-soft edge transition in matrix ensembles.Journal of Physics A: Mathematical and General, 36(12):2963, 2003

    work page 2003

  4. [4]

    Edge universality of beta ensembles

    Paul Bourgade, L´ aszl´ o Erd˝ os, and Horng-Tzer Yau. Edge universality of beta ensembles. Comm. Math. Phys., 332(1):261–353, 2014

    work page 2014

  5. [5]

    Universality of generalβ-ensembles.Duke Math

    Paul Bourgade, L´ aszl´ o Erd˝ os, and Horng-Tzer Yau. Universality of generalβ-ensembles.Duke Math. J., 163(6):1127–1190, 2014

    work page 2014

  6. [6]

    Conway.A Course in Functional Analysis, volume 96 ofGraduate Texts in Mathe- matics

    John B. Conway.A Course in Functional Analysis, volume 96 ofGraduate Texts in Mathe- matics. Springer-Verlag, 2013

    work page 2013

  7. [7]

    Deift, Govind Menon, and Thomas Trogdon

    Percy A. Deift, Govind Menon, and Thomas Trogdon. On the condition number of the critically-scaled Laguerre Unitary Ensemble.Discrete and Continuous Dynamical Systems, 36(8):4287–4347, Mar 2016

    work page 2016

  8. [8]

    Localization of the continuous Anderson Hamiltonian in 1-d

    Laure Dumaz and Cyril Labb´ e. Localization of the continuous Anderson Hamiltonian in 1-d. Probability Theory and Related Fields, pages 1–67, 2017

    work page 2017

Show all 37 references
  1. [9]

    Operator level hard-to-soft transition forβ- ensembles.Electronic Journal of Probability, 26:1–28, 2021

    Laure Dumaz, Yun Li, and Benedek Valk´ o. Operator level hard-to-soft transition forβ- ensembles.Electronic Journal of Probability, 26:1–28, 2021

    2021

  2. [10]

    Matrix models for beta ensembles.J

    Ioana Dumitriu and Alan Edelman. Matrix models for beta ensembles.J. Math. Phys., 43(11):5830–5847, 2002

    2002

  3. [11]

    On Bernstein-type inequalities for martingales

    Kacha Dzhaparidze and Harry van Zanten. On Bernstein-type inequalities for martingales. Stochastic Processes and their Applications, 93(1):109–117, 2001

    2001

  4. [12]

    Alan Edelman and Brian D. Sutton. From random matrices to stochastic operators.J. Stat. Phys., 127(6):1121–1165, 2007

    2007

  5. [13]

    Ethier and Thomas G

    Stewart N. Ethier and Thomas G. Kurtz.Markov processes. Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics. John Wiley & Sons Inc., New York, 1986

    1986

  6. [14]

    Forrester.Log-gases and random matrices

    Peter J. Forrester.Log-gases and random matrices. Princeton University Press, Princeton, NJ, 2010

    2010

  7. [15]

    The random matrix hard edge: rare events and a transition.Electronic Journal of Probability, 23(none), January 2018

    Diane Holcomb. The random matrix hard edge: rare events and a transition.Electronic Journal of Probability, 23(none), January 2018

    2018

  8. [16]

    Moreno Flores

    Diane Holcomb and Gregorio R. Moreno Flores. Edge scaling of theβ-Jacobi ensemble.Journal of Statistical Physics, 149(6):1136–1160, November 2012. 59

    2012

  9. [17]

    Bulk scaling limit of the Laguerre ensemble.Electron

    St´ ephanie Jacquot and Benedek Valk´ o. Bulk scaling limit of the Laguerre ensemble.Electron. J. Probab., 16:no. 11, 314–346, 2011

    2011

  10. [18]

    Eigenvalue statistics for CMV matrices: from Poisson to clock via random matrix ensembles.Duke Math

    Rowan Killip and Mihai Stoiciu. Eigenvalue statistics for CMV matrices: from Poisson to clock via random matrix ensembles.Duke Math. J., 146(3):361–399, 2009

    2009

  11. [19]

    Universality of the stochastic Airy operator.Communications on Pure and Applied Mathematics, 69(1):145–199, 2016

    Manjunath Krishnapur, Brian Rider, and B´ alint Vir´ ag. Universality of the stochastic Airy operator.Communications on Pure and Applied Mathematics, 69(1):145–199, 2016

    2016

  12. [20]

    Thomas G. Kurtz. Strong approximation theorems for density dependent Markov chains. Stochastic Processes and their Applications, 6(3):223–240, 1978

    1978

  13. [21]

    Small deviations for beta ensembles.Electronic Journal of Probability, 15:1319–1343, 2010

    Michel Ledoux and Brian Rider. Small deviations for beta ensembles.Electronic Journal of Probability, 15:1319–1343, 2010

    2010

  14. [22]

    Operator level limit of the circular Jacobiβ-ensemble.Random Matrices: Theory and Applications, 11(04):2250043, 2022

    Yun Li and Benedek Valk´ o. Operator level limit of the circular Jacobiβ-ensemble.Random Matrices: Theory and Applications, 11(04):2250043, 2022

    2022

  15. [23]

    Vladimir. A. Marˇ cenko and Leonid. A. Pastur. Distribution of eigenvalues in certain sets of random matrices.Mat. Sb. (N.S.), 72 (114):507–536, 1967

    1967

  16. [24]

    A review on the inverse of symmetric tridiagonal and block tridiagonal matrices.SIAM Journal on Matrix Analysis and Applications, 13(3):707–728, 1992

    G´ erard Meurant. A review on the inverse of symmetric tridiagonal and block tridiagonal matrices.SIAM Journal on Matrix Analysis and Applications, 13(3):707–728, 1992

    1992

  17. [25]

    Definition and Self-Adjointness of the Stochastic Airy Operator.Markov Processes and Related Fields, 21(3):695–711, 2015

    Nariyuki Minami. Definition and Self-Adjointness of the Stochastic Airy Operator.Markov Processes and Related Fields, 21(3):695–711, 2015

    2015

  18. [26]

    Cambridge University Press, 2010

    Peter M¨ orters and Yuval Peres.Brownian motion, volume 30. Cambridge University Press, 2010

    2010

  19. [27]

    Ram´ ırez and Brian Rider

    Jos´ e A. Ram´ ırez and Brian Rider. Diffusion at the random matrix hard edge.Comm. Math. Phys., 288(3):887–906, 2009

    2009

  20. [28]

    Ram´ ırez and Brian Rider

    Jos´ e A. Ram´ ırez and Brian Rider. Erratum to: Diffusion at the random matrix hard edge. Comm. Math. Phys., 307(2):561–563, 2011

    2011

  21. [29]

    Ram´ ırez and Brian Rider

    Jos´ e A. Ram´ ırez and Brian Rider. Spiking the random matrix hard edge.Probability Theory and Related Fields, 169(1):425–467, 2017

    2017

  22. [30]

    Ram´ ırez, Brian Rider, and B´ alint Vir´ ag

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

    2011

  23. [31]

    Universality of the Stochastic Bessel Operator.Probability Theory and Related Fields, 2018

    Brian Rider and Patrick Waters. Universality of the Stochastic Bessel Operator.Probability Theory and Related Fields, 2018. 60

    2018

  24. [32]

    American Mathe- matical Soc., 2014

    Gerald Teschl.Mathematical methods in quantum mechanics, volume 157. American Mathe- matical Soc., 2014

    2014

  25. [33]

    Riaz A. Usmani. Inversion of Jacobi’s tridiagonal matrix.Computers and Mathematics with Applications, 27(8):59–66, 1994

    1994

  26. [34]

    Continuum limits of random matrices and the Brownian carousel.Inventiones Math., 177:463–508, 2009

    Benedek Valk´ o and B´ alint Vir´ ag. Continuum limits of random matrices and the Brownian carousel.Inventiones Math., 177:463–508, 2009

    2009

  27. [35]

    The Sineβ operator.Inventiones mathematicae, 209(1):275– 327, Dec 2016

    Benedek Valk´ o and B´ alint Vir´ ag. The Sineβ operator.Inventiones mathematicae, 209(1):275– 327, Dec 2016

    2016

  28. [36]

    Operator limit of the circular beta ensemble.The Annals of Probability, 48(3):1286 – 1316, 2020

    Benedek Valk´ o and B´ alint Vir´ ag. Operator limit of the circular beta ensemble.The Annals of Probability, 48(3):1286 – 1316, 2020

    2020

  29. [37]

    Generalized product moment distribution in samples.Biometrika, 20:1–21, 1928

    John Wishart. Generalized product moment distribution in samples.Biometrika, 20:1–21, 1928. Yun Li,Yau Mathematical Sciences Center, Tsinghua University, Beijing 100084, China. Email:liyun1723@hotmail.com Benedek Valk´ o,Department of Mathematics, University of Wisconsin – Mad...

    1928

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.