Pith. sign in

REVIEW 3 major objections 3 minor 1 cited by

Tridiagonal random matrices, an analytic approach

T0 review · 3 major / 3 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read This paper proves that the eigenvalue distribution of a broad class of random tridiagonal matrices converges almost surely to a scale mixture T·X, under only a finite second moment on the off-diagonal entries.

desk verdict Useful L2 extension of Pop09 with a real but repairable truncation gap in the proof of Theorem 3.8. read the letter →

arxiv 2512.03628 v2 pith:BB75HEBF submitted 2025-12-03 math.PR math.OAmath.SP

Lucas Babet , Ionel Popescu This is my paper · ORCID
classification math.PRmath.OAmath.SP MSC 60B2060F1515B52
keywords randomtridiagonalmatricesempiricalspectraldistributionStieltjestransformscalemixtureslowvariationalmostsureconvergenceWassersteindistancesecondmomentconditions
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 establishes a convergence theorem for the eigenvalue distribution of random tridiagonal matrices whose off-diagonal entries are independent with finite second moment and whose diagonal entries are asymptotically negligible. The key advance over earlier moment-based results is that the proof works through the Stieltjes transform, so no higher moments are required. Under slow variation and empirical convergence of the scaling coefficients σ, the limiting spectrum is the law of a product T·X of an independent pair, where X is the limit for the unscaled simple model and T is the limit of the coefficients. The paper also proves joint convergence of the diagonal coefficient matrix and the tridiagonal matrix, and explores an algebraic structure analogous to free probability.

What carries the argument

The proof rests on the Stieltjes transform of the resolvent and its recursion. For the simple model, the diagonal resolvent entries s_i satisfy s_{i+1} = 1/(z − b_i^2 s_i), and the paper shows these converge in Wasserstein distance to a random variable S characterized by S ≃ 1/(z − b^2 S). This random continued fraction, together with slow variation of σ, lets the authors express the trace of the resolvent as an average over independent copies, leading to the scale-mixture limit. A truncation argument is then used to pass from bounded entries to the full L^2 assumption.

What would settle it

Simulate the model with b_i having a distribution with finite second moment but heavy tail (e.g., Pareto with tail index 3) and with σ_{k,N} satisfying (SV), (EM), (SM); compare the empirical spectral distribution for large N with the law of T·X computed from the Stieltjes equation. If the histograms systematically deviate, the claimed truncation continuity fails.

Watch

Extended reading notes

Core claim

The central claim of the paper is Theorem 3.8: for a tridiagonal matrix X^σ_N with i.i.d. off-diagonal entries b_i of finite second moment, diagonal entries a_{k,N} with sup_k E|a_{k,N}|^2 → 0, and coefficients σ_{k,N} that are slowly varying (sup_k |σ_{k,N}−σ_{k+1,N}|→0) and whose empirical measure converges to a law μ_T with E[T^2]<∞, the empirical spectral distribution converges almost surely to the law of T·X, where X is independent of T and has the limiting spectral distribution of the simple model with entries b_i. The limit is characterized by a Stieltjes transform equation involving the distribution of b^2 and two independent copies of a random continued fraction.

Load-bearing premise

The proof of Theorem 3.8 passes from truncated off-diagonal entries to the full ones by asserting, without proof, that the limiting spectral measures for the truncated models converge to the limit for the untruncated model as the truncation levels grow; this continuity step is the load-bearing assumption.

Editorial extensions

If this is right

  • The empirical spectral distribution converges almost surely for any i.i.d. off-diagonal entries with finite second moment, even when higher moments are infinite.
  • The limiting law is a scale mixture: the moments of the limit factor into moments of the base law and moments of the coefficient law, with all odd moments zero.
  • Diagonal entries whose average squared magnitude goes to zero do not affect the limit.
  • The joint empirical distribution of the diagonal coefficient matrix and the tridiagonal matrix converges to that of independent (T,X), so all mixed moments factorize.
  • The main theorem includes a truncation argument that reduces general L^2 entries to bounded entries.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step is to supply the missing continuity lemma; if it fails, the theorem may still hold but needs a different proof, and the counterexample would be a distribution with finite second moment whose truncated ESD converges to a different limit.
  • The scale-mixture factorization suggests that fluctuations of linear statistics should decouple into a term driven by the empirical measure of σ and a term driven by the base model; a CLT could be derived under additional moment conditions.
  • The algebraic structure based on the shift operator and colored paths may be a precursor to a 'tridiagonal free probability'; one testable question is whether the addition operation defined in Section 6 is associative when applied to non-independent models.
  • For band matrices with growing width, the same Stieltjes-transform recursion might work with paths of multiple steps, giving an analytic route to known results that currently rely on moment methods.
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

3 major / 3 minor

Summary. The paper proposes a Stieltjes-transform approach to the empirical spectral distribution (ESD) of random tridiagonal matrices, complementing the moment method of [Pop09]. It first treats a "simple" model with i.i.d. off-diagonal entries in L^2 and zero diagonal, proving almost-sure convergence of the ESD to a law characterized by a fixed-point Stieltjes equation. It then considers a deformed model with an additional slowly varying factor sigma_{k,N} and a negligible diagonal, claiming that the limiting law is a scale mixture T·X, where X is the simple-model limit and T is independent with the empirical limit law of the sigma's. The paper also presents examples, a joint-distribution result for (Sigma_N, X_N), and a speculative algebraic interpretation via one-step paths.

Significance. If the main theorem were correct, this would be a substantive extension of [Pop09]: spectral convergence under only a finite second moment, analogous to the L^2 relaxation for Wigner matrices. The simple-model proof via Wasserstein contraction is coherent and genuinely analytic, and the compact-support deformation result (Theorem 3.1) is a clean use of the path expansion. The paper also gives explicit examples and a joint-convergence statement. However, the proof of the general theorem (Theorem 3.8) is not valid as written: the truncation bridge is missing, Lemma 3.5 is false, and Lemma 3.4 invokes an inapplicable result. These are load-bearing gaps, so the significance is conditional on a substantial repair.

major comments (3)
  1. [§3.2, Theorem 3.8 proof] The truncation step is the only bridge from the compact case to the L^2 case, and it is not justified. The paper asserts that, by moment convergence, μ_{X^{σ^M}_{N,C}} → L(T 1_{|T|≤M}·X 1_{|X|≤C}) as N→∞. This is false as stated because truncating the coefficient b_i is not the same operation as truncating the spectral variable X. For example, take b_i ~ N(0,1), σ≡1 (so the simple-model limit X is the arcsine law on [-2,2]). The truncated-entry model has limiting second moment 2E[b^2 1_{|b|≤C}], while L(X 1_{|X|≤C}) has second moment E[X^2 1_{|X|≤C}], and these are unequal for every finite C>2. What is needed is a continuity lemma: μ_{b^C} ⇒ μ_X as C→∞, and L(T_M Y_C) ⇒ L(TX), where Y_C is the limit for the truncated coefficient model. The paper neither states nor proves such a lemma. Moreover, after Eq. (3.9) the proof writes S_{μ_{X^σ}}(z) before the existence of the limit has been est
  2. [Lemma 3.5, Eqs. (3.6)–(3.7)] Lemma 3.5 is false as stated. Eq. (3.6) claims that limsup_N (1/N)∑ σ_i^2 1_{|σ_i|>M} ≤ E[T^2 1_{|T|>M}] under empirical convergence and E[T^2]<∞. But weak convergence of probability measures does not control the empirical tail of the open set {|x|>M} in the claimed direction; Portmanteau gives liminf F_N({|x|>u}) ≥ P(|T|>u), not the reverse. The claimed limsup inequality can fail even with slow variation. Let T≡0 and define σ_{k,N}=0 for k≤N−N^{2/3}, and σ_{k,N}=(k−N+N^{2/3})N^{-1/3} for the last N^{2/3} indices. Then the empirical measure of the σ's converges to δ_0, E[T^2]=0, and sup_k |σ_{k,N}−σ_{k-1,N}| = N^{-1/3}→0, so all three hypotheses of Theorem 3.8 hold, yet (1/N)∑σ_k^2 ≈ (1/3)N^{1/3} → ∞. Thus Lemma 3.5 cannot supply the uniform integrability used in the bound (3.9). The main theorem in Section 1.3 includes an explicit L^2 uniform integrability condition; Theorem 3.8 omits i
  3. [Lemma 3.4] Lemma 3.4 invokes Theorem 1.3 (Pop09) to assert that E(S_{\tilde X_N^σ}(z)) converges for the zero-diagonal model, but Theorem 1.3 assumes all moments of b_n and a specific n^α scaling, namely conditions (2.7)–(2.8). It does not apply under the hypotheses of the present paper, where the b_i are only assumed to lie in L^2 and the σ_{k,N} are arbitrary. Consequently the lemma's claim that the diagonal does not affect the limiting distribution is not proved as written. The conclusion is plausible and can likely be derived from the Hoffman–Wielandt argument used in Corollary 2.12, but a self-contained proof under the actual hypotheses of Theorem 3.8 is required.
minor comments (3)
  1. [Theorem 2.11] The proof establishes convergence of E(tr_N S_N(z)) on the half-plane ℑz > E(b^2) and then says "by analyticity" this holds on all of C^+. The analytic extension of the expectation is fine, but the almost-sure convergence is not explicitly extended from a half-plane to all z ∈ C^+. The standard Montel/diagonal argument should be spelled out.
  2. [Theorem 1.3 statement] The displayed Theorem 1.3 references assumptions labelled (2.7)–(2.11), but those equation numbers have not been introduced at that point in the text; they belong to the quoted result from Pop09. Please renumber or clarify.
  3. [Throughout] There are several typos and missing items: "eivenvalues and eigenvectors" in the introduction, "reated" for "related", "reusult" in §3.2, and Figure 1 is referenced but not visible in the text. Proposition 4.1's second proof also contains a typographical oddity in the display S(z)=1/(z−z+√(z^2−4)).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: central scale-mixture theorem extends [Pop09] rather than reducing to it.

full rationale

The central claim (Theorem 3.8) is a new scale-mixture limit for tridiagonal models with slowly varying coefficients and L2 off-diagonal entries. The proof is built by first proving a compact-case result (Theorem 3.1) using the moment/path-expansion technology of [Pop09], a published prior paper by one coauthor, and then extending to the general case by truncation and resolvent bounds. [Pop09] supplies baseline moment limits and variance summability for fixed bounded coefficients; the slow-variation deformation to T·X and the L2 relaxation are proved in the present paper and are not assumed in the cited result. The self-citations to [Pop09] are load-bearing but are citations to independent, stated-assumption prior work, not to an unverified uniqueness theorem or ansatz chain. The only notable issue is the 'By moment convergence' step in Theorem 3.8, which identifies the limit of coefficient-truncated models with a truncated version of the limiting variable; this is a technical correctness gap (the two truncations do not coincide at fixed C,M), not a circularity, because the target law is not defined in terms of the truncated model. No fitted parameter is renamed as a prediction, and no definitional equivalence between input and output appears. Accordingly, the derivation chain does not exhibit circularity at the evidentiary standard required.

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

The paper introduces no fitted values; its parameters are model inputs. The main external reliance is Pop09's moment/path framework. The most fragile implicit premise is the truncation-continuity step in Theorem 3.8, which is asserted rather than proved.

assumptions (4)
  • domain assumption The prior moment-convergence result for general tridiagonal models (Pop09, Theorem 1.3) is valid and applicable to the bounded/truncated cases used here.
    Theorem 3.1 and Section 5 rely on [Pop09, Sec. 2, eqs (2.5), (2.6), (2.12)-(2.17)] for path expansion and variance summability; this is prior literature by a coauthor and is not re-derived.
  • ad hoc to paper The limiting Stieltjes transform S_{μ_b} defined by S = E[1/(z - b_1^2 S_1 - b_2^2 S_2)] with S_i = 1/(z - b_i^2 S_i) is the Stieltjes transform of a probability measure and uniquely characterizes μ_b.
    Theorem 2.11 defines μ_b through this fixed-point equation. Convergence of the iterates s_i is shown only for ℑz > E(b^2); extension to all C+ uses analyticity, but uniqueness and the measure interpretation are not fully proved.
  • domain assumption The off-diagonal entries b_i are i.i.d. in L2, the diagonal entries satisfy lim_N sup_k E|a_{k,N}|^2 = 0, and the weight sequence σ satisfies (SV), (EM), (SM).
    These are explicit hypotheses of the main theorems; they are load-bearing because without them the limiting distribution may differ or may not exist.
  • ad hoc to paper Truncation continuity: as C,M → ∞, the limiting measure for truncated coefficients converges to the limit for untruncated coefficients, so that L(T_M · X_C) converges to L(T·X).
    The proof of Theorem 3.8 passes from truncated models to the full limit by sending C,M→∞; no lemma in the paper proves this continuity, and the notational identification with X1_{|X|≤C} is not justified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tridiagonal random matrices, an analytic approach." pith.science (2026). https://pith.science/paper/BB75HEBF

@misc{pith2026251203628,
  author       = {Pith},
  title        = {Pith review of: Tridiagonal random matrices, an analytic approach},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BB75HEBF}},
  note         = {Machine review of arXiv:2512.03628}
}
read the original abstract

In this paper, we study the limiting distribution of the eigenvalues for random tridiagonal matrix models. In the paper \cite{P09}, the limiting distribution is well described by its moments. Here, an analytical approach allows us, as in the case of Wigner matrices, to relax the assumptions on the random variables. With this method, we proved the convergence of the spectral distribution under an assumption on the second moment. We discuss also about an algebraic approach for the tridiagonal models, which are more complicated than the classic freeness.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Enumeration of maps with the Dumitriu-Edelman model

    math.CO 2025-12 conditional novelty 8.0 of 10

    The cumulants of the β-ensemble admit an expansion in 1/N and 2/β whose coefficients are sums over suitably labelled maps, with the subleading order identified with maps on the projective plane via a new 2^{c(θ)-1}-to...

Reference graph

Works this paper leans on

38 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [1]

    A clt for the characteristic polynomial of random jacobi matrices, and the g e

    Fanny Augeri, Raphael Butez, and Ofer Zeitouni. A clt for the characteristic polynomial of random jacobi matrices, and the g e . Probability theory and related fields , 186(1):1--89, 2023

    2023

  2. [2]

    Anderson, Alice Guionnet, and Ofer Zeitouni

    Greg W. Anderson, Alice Guionnet, and Ofer Zeitouni. An Introduction to Random Matrices , volume 118 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2010

    2010

  3. [3]

    N. I. Akhiezer. The Classical Moment Problem and Some Related Questions in Analysis . Oliver and Boyd, Edinburgh and London, 1965. Translated by N. Kemmer. Reprinted by Dover (1990) and by Hafner (1965)

    1965

  4. [4]

    An Invitation to C \^ *-Algebras , volume 39 of Graduate Texts in Mathematics

    William Arveson. An Invitation to C \^ *-Algebras , volume 39 of Graduate Texts in Mathematics . Springer, New York, 1976

    1976

  5. [5]

    Anderson and Ofer Zeitouni

    Greg W. Anderson and Ofer Zeitouni. A CLT for a band matrix model. Probability Theory and Related Fields , 134(2):283--338, 2006

    2006

  6. [6]

    Methodologies in spectral analysis of large dimensional random matrices, a review

    Zhidong D Bai. Methodologies in spectral analysis of large dimensional random matrices, a review. Advances in statistics , pages 174--240, 1999

    1999

  7. [7]

    Limiting spectral distributions of some band matrices

    Anirban Basak and Arup Bose. Limiting spectral distributions of some band matrices. Periodica Mathematica Hungarica , 63(1):113--150, 2011

    2011

  8. [8]

    Limiting spectral distributions of some band matrices

    Anirban Basak and Arup Bose. Limiting spectral distributions of some band matrices. Periodica Mathematica Hungarica , 65(2):257--265, 2012

    2012

Show all 38 references
  1. [9]

    a nd \'e n, Mikael Passare, and Mihai Putinar, editors, Notions of Positivity and the Geometry of Polynomials , Trends in Mathematics, pages 153--190. Birkh \

    Serban Teodor Belinschi. Complex analysis methods in noncommutative probability. In Petter Br \"a nd \'e n, Mikael Passare, and Mihai Putinar, editors, Notions of Positivity and the Geometry of Polynomials , Trends in Mathematics, pages 153--190. Birkh \"a user, Basel, 2011

    2011

  2. [10]

    Patterned random matrices and method of moments

    Arup Bose, Rajat Subhra Hazra, and Koushik Saha. Patterned random matrices and method of moments. In Proceedings of the International Congress of Mathematicians 2010 (ICM 2010) (In 4 Volumes) Vol. I: Plenary Lectures and Ceremonies Vols. II--IV: Invited Lectures , pages 2203--...

    2010

  3. [11]

    Finite diagonal random matrices

    Arup Bose and Sanchayan Sen. Finite diagonal random matrices. Journal of Theoretical Probability , 26(3):819--835, 2013

    2013

  4. [12]

    xx^t matrices with independent entries

    Arup Bose and Priyanka Sen. xx^t matrices with independent entries. arXiv preprint arXiv:2205.10811 , 2022

    2022 arXiv

  5. [13]

    Some patterned matrices with independent entries

    Arup Bose, Koushik Saha, and Priyanka Sen. Some patterned matrices with independent entries. Random Matrices: Theory and Applications , 10(03):2150030, 2021

    2021

  6. [14]

    Introduction aux grandes matrices aléatoires

    Mireille Capitain. Introduction aux grandes matrices aléatoires. In Cours M2 . none, 2012-2013

    2012

  7. [15]

    da Fonseca

    J.Petronilho C.M. da Fonseca. Explicit inverses of some tridiagonal matrices. Linear Algebra and its Applications , 325(1--3):7--21, 2001

    2001

  8. [16]

    Aspects of large random markov kernels

    Djalil Chafai. Aspects of large random markov kernels. Stochastics: An International Journal of Probability and Stochastics Processes , 81(3-4):415--429, 2009

    2009

  9. [17]

    Matrix models for beta ensembles

    Ioana Dumitriu and Alan Edelman. Matrix models for beta ensembles. Journal of Mathematical Physics , 43(11):5830--5847, 2002

    2002

  10. [18]

    Asymptotic analysis of the characteristic polynomial for the elliptic ginibre ensemble

    Quentin Fran c ois and David Garc \' a-Zelada. Asymptotic analysis of the characteristic polynomial for the elliptic ginibre ensemble. arXiv preprint arXiv:2306.16720 , 2023

    2023 arXiv

  11. [19]

    Forrester

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

    2010

  12. [20]

    Universality of the stochastic airy operator

    Manjunath Krishnapur, Brian Rider, and B \'a lint Vir \'a g. Universality of the stochastic airy operator. Communications on Pure and Applied Mathematics , 69(1):145--199, 2016

    2016

  13. [21]

    Eigenvalue statistics for cmv matrices: from poisson to clock via random matrix ensembles

    Rowan Killip and Mihai Stoiciu. Eigenvalue statistics for cmv matrices: from poisson to clock via random matrix ensembles. Duke Mathematical Journal , 146(3):361--399, 2009

    2009

  14. [22]

    Bulk asymptotics of the gaussian beta-ensemble characteristic polynomial

    Gaultier Lambert and Elliot Paquette. Bulk asymptotics of the gaussian beta-ensemble characteristic polynomial. arXiv preprint arXiv:2508.01458 , 2025

    2025 arXiv

  15. [23]

    On fluctuations for random band toeplitz matrices

    Yiting Li and Xin Sun. On fluctuations for random band toeplitz matrices. Random Matrices: Theory and Applications , 4(03):1550012, 2015

    2015

  16. [24]

    Fluctuation of eigenvalues for random toeplitz and related matrices, 2010

    Dang-Zheng Liu, Xin Sun, and Zheng-Dong Wang. Fluctuation of eigenvalues for random toeplitz and related matrices, 2010

    2010

  17. [25]

    Random matrices , volume 142

    Madan Lal Mehta. Random matrices , volume 142. Elsevier, 2004

    2004

  18. [26]

    General tridiagonal random matrix models, limiting distributions and fluctuations

    Ionel Popescu. General tridiagonal random matrix models, limiting distributions and fluctuations. Probability Theory and Related Fields , 144(1--2):179--220, 2009

    2009

  19. [27]

    Ram \'i rez, Brian Rider, and B \'a lint Vir \'a g

    Jos \'e A. Ram \'i rez, Brian Rider, and B \'a lint Vir \'a g. Beta ensembles, stochastic airy spectrum, and a diffusion. Journal of the American Mathematical Society , 24(4):919--944, 2011

    2011

  20. [28]

    Free calculus

    Roland Speicher. Free calculus. In Dan-Virgil Voiculescu, editor, Free Probability Theory , volume 12 of Fields Institute Communications , pages 94--114. American Mathematical Society, Providence, RI, 1997

    1997

  21. [29]

    Free probability theory, 2009

    Roland Speicher. Free probability theory, 2009

    2009

  22. [30]

    Global spectrum fluctuations for gaussian beta ensembles: a martingale approach

    Khanh Duy Trinh. Global spectrum fluctuations for gaussian beta ensembles: a martingale approach. Journal of Theoretical Probability , 32(3):1420--1437, 2019

    2019

  23. [31]

    Hale F. Trotter. Eigenvalue distributions of large hermitian matrices; wigner's semi-circle law and a theorem of kac, murdock, and szego. Advances in Mathematics , 54:67--82, 1984

    1984

  24. [32]

    Dykema, and Alexandru Nica

    Dan-Virgil Voiculescu, Kenneth J. Dykema, and Alexandru Nica. Free Random Variables , volume 1 of CRM Monograph Series . American Mathematical Society, Providence, RI, 1992

    1992

  25. [33]

    Optimal Transport: Old and New , volume 338 of Grundlehren der Mathematischen Wissenschaften

    C \'e dric Villani. Optimal Transport: Old and New , volume 338 of Grundlehren der Mathematischen Wissenschaften . Springer, Berlin, 2009

    2009

  26. [34]

    Continuum limits of random matrices and the brownian carousel

    Benedek Valk \'o and B \'a lint Vir \'a g. Continuum limits of random matrices and the brownian carousel. Inventiones mathematicae , 177:463--508, 2007

    2007

  27. [35]

    E. P. Wigner. On the distribution of the roots of certain symmetric matrices. Annals of Mathematics , 67(2):325--327, 1958

    1958

  28. [36]

    On the distribution of the roots of certain symmetric matrices

    Eugene Paul Wigner. On the distribution of the roots of certain symmetric matrices. Annals of Mathematics , 67:325, 1958

    1958

  29. [37]

    Tridiagonal random matrix: Gaussian fluctuations and deviations

    Deng Zhang. Tridiagonal random matrix: Gaussian fluctuations and deviations. Journal of Theoretical Probability , 30(3):1076--1103, 2017

    2017

  30. [38]

    A graphon approach to limiting spectral distributions of wigner‐type matrices

    Yizhe Zhu. A graphon approach to limiting spectral distributions of wigner‐type matrices. Random Structures & ; Algorithms , 56(1):251–279, October 2019

    2019

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.