Solvable Families of Random Block Tridiagonal Matrices

Benedek Valk\'o; Brian Rider

arxiv: 2412.04579 · v3 · pith:ONXPN322new · submitted 2024-12-05 · 🧮 math.PR · math-ph· math.MP

Solvable Families of Random Block Tridiagonal Matrices

Brian Rider , Benedek Valk\'o This is my paper

Pith reviewed 2026-05-23 08:11 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MP

keywords random matricesblock tridiagonal matricesjoint eigenvalue distributionspoint processesVandermonde determinantsrandom differential operatorscoupled diffusions

0 comments

The pith

Two families of random block tridiagonal matrices admit explicit joint eigenvalue distributions that go beyond standard log-gas interactions.

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

The paper introduces two families of random block tridiagonal matrices for which the joint eigenvalue distributions can be written in closed form. These distributions are novel because the eigenvalue coordinates interact in ways not captured by the usual mean-field log-gas models common in random matrix theory. The explicit formulas are then used to characterize the limiting point processes at the edges of the spectrum, once through random differential operators and again through coupled systems of diffusions. Along the way the authors prove algebraic identities involving sums of products of Vandermonde determinants. A sympathetic reader would care because exactly solvable ensembles remain scarce and can anchor the study of more general random matrices.

Core claim

We introduce two families of random tridiagonal block matrices for which the joint eigenvalue distributions can be computed explicitly. These distributions are novel within random matrix theory and exhibit interactions among eigenvalue coordinates beyond the typical mean-field log-gas type. Leveraging the matrix models, we describe the point process limits at the edges of the spectrum through certain random differential operators and also in terms of coupled systems of diffusions. Along the way we establish several algebraic identities involving sums of Vandermonde determinant products.

What carries the argument

The explicit joint eigenvalue density formulas obtained from the two specially constructed families of block tridiagonal matrices.

If this is right

The edge point processes admit descriptions as random differential operators.
The same edge limits are also realized by coupled systems of diffusions.
Algebraic identities hold for certain sums of products of Vandermonde determinants.

Where Pith is reading between the lines

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

These models may supply exact benchmarks for testing conjectures on eigenvalue repulsion in non-log-gas settings.
The coupled diffusion descriptions at the edge could link to other exactly solvable stochastic processes outside random matrix theory.
The Vandermonde sum identities might simplify calculations in related combinatorial or representation-theoretic problems.

Load-bearing premise

The specific choice of block entries and randomness in the two families permits an explicit closed-form expression for the joint eigenvalue density.

What would settle it

Direct numerical sampling of the eigenvalues for a small finite matrix drawn from either family and comparison against the claimed closed-form joint density formula.

read the original abstract

We introduce two families of random tridiagonal block matrices for which the joint eigenvalue distributions can be computed explicitly. These distributions are novel within random matrix theory, and exhibit interactions among eigenvalue coordinates beyond the typical mean-field log-gas type. Leveraging the matrix models, we go on to describe the point process limits at the edges of the spectrum in two ways: through certain random differential operators, and also in terms of coupled systems of diffusions. Along the way we establish several algebraic identities involving sums of Vandermonde determinant products.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Rider and Valkó construct two block-tridiagonal ensembles with explicit joint eigenvalue densities that include non-log-gas interactions.

read the letter

Hi, the main point is that Rider and Valkó give two families of random block tridiagonal matrices whose joint eigenvalue distributions are written down explicitly and include coordinate interactions that go past the standard mean-field log-gas repulsion. They then use the models to identify the edge point process limits both as random differential operators and as coupled diffusion systems, and they record some algebraic identities on sums of Vandermonde determinant products. The explicit formulas are the real contribution; they supply concrete new examples that can be used to test ideas about eigenvalue statistics without falling back on general theory that may not cover these cases. The algebraic identities are a useful byproduct that might stand on their own. The soft spots are limited. The abstract alone does not display the actual density expressions or the derivation steps, so it is impossible to judge how compact or usable the closed forms turn out to be or how much hidden calculation sits behind the limit statements. The block entries are plainly chosen to make the algebra close, which is normal for solvable-model work but restricts how far the method travels. This paper is for readers already working inside random matrix theory on exactly solvable ensembles and their scaling limits. A specialist who needs fresh examples with non-standard repulsion would get something concrete from it. It deserves a serious referee because the claims are specific, the authors have a record of carrying out these calculations cleanly, and the topic sits squarely in the subfield even if the broader impact stays narrow. Recommendation: send it to peer review.

Referee Report

1 major / 0 minor

Summary. The paper introduces two families of random tridiagonal block matrices for which the joint eigenvalue distributions can be computed explicitly. These distributions are claimed to be novel within random matrix theory and to exhibit interactions among eigenvalue coordinates beyond the typical mean-field log-gas type. The work also describes point process limits at the edges of the spectrum via random differential operators and coupled systems of diffusions, while establishing algebraic identities involving sums of Vandermonde determinant products.

Significance. If the explicit computations hold, the results would provide rare exactly solvable ensembles in random matrix theory with non-standard eigenvalue interactions, enabling precise analysis of spectral statistics and edge behaviors not captured by classical log-gas models. The algebraic identities on Vandermonde sums could have independent interest in combinatorics or representation theory.

major comments (1)

Abstract: the central claim that the joint eigenvalue distributions can be computed explicitly for the two families rests on the specific choice of block entries and randomness, but the provided text supplies no derivations, error controls, or verification steps, preventing assessment of whether the closed-form expressions are correct or novel.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review of our manuscript. We address the single major comment below.

read point-by-point responses

Referee: Abstract: the central claim that the joint eigenvalue distributions can be computed explicitly for the two families rests on the specific choice of block entries and randomness, but the provided text supplies no derivations, error controls, or verification steps, preventing assessment of whether the closed-form expressions are correct or novel.

Authors: The full manuscript derives the joint eigenvalue distributions explicitly in Sections 3 and 4. These sections specify the block entries and randomness, compute the distributions via direct integration over the block structure using algebraic identities (including the Vandermonde sum relations established in the appendix), and verify the expressions through consistency with special cases and explicit low-dimensional checks. The derivations include the necessary error controls via bounded moments and convergence arguments. We believe this establishes both correctness and novelty relative to standard log-gas ensembles. If the referee requires additional verification steps or expanded error bounds in a particular section, we are happy to incorporate them. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and context introduce two families of random block-tridiagonal matrices and claim explicit joint eigenvalue distributions derived from them, along with point process limits and Vandermonde identities. No equations, self-citations, fitted parameters, or ansatzes are quoted that reduce any claimed result to its own inputs by construction. The central claims rest on algebraic identities established within the work rather than external self-referential loops or renamings. With no full manuscript equations available for inspection and no load-bearing reductions exhibited, the derivation chain is self-contained against the given material.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, invented entities, or non-standard axioms; all background appears to be standard linear algebra and probability.

axioms (1)

standard math Standard properties of determinants and random matrix joint densities hold for the block tridiagonal construction.
Invoked implicitly to obtain explicit eigenvalue distributions.

pith-pipeline@v0.9.0 · 5605 in / 1098 out tokens · 27828 ms · 2026-05-23T08:11:08.663696+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1. For β=1 and 2, the symmetrized joint eigenvalue density of H_{β,n}(r,s) ... |Δ(λ)|^β (∑_{(A1,...,Ar)∈P_{r,n}} ∏_{j=1}^r Δ(Aj)^2 ) e^{-β/4 ∑ λ_i^2} for r≥2, βs=2
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proposition 25 ... n-1 ∏ det(B_j)^{n-j} = |det M(λ,Q)|

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

The Tracy-Widom distribution at large Dyson index
cond-mat.stat-mech 2025-10 conditional novelty 7.0

For large beta the TW density takes the form exp(-beta Phi(a)) with Phi(a) obtained as the solution of a Painleve II equation via saddle-point analysis of the stochastic Airy operator.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

[1]

M. S. Bartlett. On the theory of statistical regression.Proc. R. Soc. Edinburgh, 53:260–283, 1933

work page 1933
[2]

Bloemendal and B

A. Bloemendal and B. Vir´ ag. Limits of spiked random matrices II.Ann. Probab., 44:2726–2769, 2016. 40

work page 2016
[3]

Damanik, A

D. Damanik, A. Pushnitski, and B. Simon. The analytic theory of matrix orthogonal polynomials.Surveys in Approximation Theory, 8:1–85, 2008

work page 2008
[4]

Dette and B

H. Dette and B. Reuther. Random block matrices and matrix orthogonal polynomials. J. Theoretical Probab., 23:378–400, 2008

work page 2008
[5]

Di Francesco, H

P. Di Francesco, H. Saluer, and J.B. Zuber. Critical Ising correlation functions in the plane and on the torus.Nuclear Phyics B, B290:527–581, 1987

work page 1987
[6]

Dumitriu and A

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

work page 2002
[7]

Edelman and B

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

work page 2007
[8]

P. J. Forrester.Log-gases and random matrices, volume 34 ofLondon Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2010

work page 2010
[9]

Fr¨ ohlich, R

J. Fr¨ ohlich, R. G¨ otschmann, and P.A. Marchetti. The effective gauge field action of a system of non-relativistic electrons.Comm. Math. Physics, 173:417–452, 1995

work page 1995
[10]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault. Sum rules and large deviations for spectral matrix measures.Bernoulli, 25(1):712–741, 2019

work page 2019
[11]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault. Large deviations and a new sum rule for spectral matrix measures of the Jacobi ensemble.Random Matrices Theory Appl., 10(1):Paper No. 2150008, 36, 2021

work page 2021
[12]

Guhlich, J

M. Guhlich, J. Nagel, and H. Dette. Random block matrices generalizing the classical Jacobi and Laguerre ensembles.J. Multivariate Anal., 101(8):1884–1897, 2010

work page 2010
[13]

Khatri and C.G

C.G. Khatri and C.G. Rao. Solutions to some functional equations and their appli- cations to characterization of probability distributions.Sankhy¯ a: the Indian journal of statistics, series A, pages 167–180, 1968

work page 1968
[14]

Killip and I

R. Killip and I. Nenciu. Matrix models for circular ensembles.International Mathe- matics Research Notices, 2004(50):2665–2701, 2004

work page 2004
[15]

Killip and M

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

work page 2009
[16]

Krishnapur, B

M. Krishnapur, B. Rider, and B. Vir´ ag. Universality of the stochastic Airy operator. Comm. Pure and Appl. Math., 2016

work page 2016
[17]

Luque and J-Y

J-G. Luque and J-Y. Thibon. Pfaffian and Hafnian identities in shuffle algebras. Adv. Appl. Math., 29(4):620–646, 2002

work page 2002
[18]

E. S. Meckes.The Random Matrix Theory of the Classical Compact Groups. Cam- bridge Tracts in Mathematics. Cambridge University Press, 2019. 41

work page 2019
[19]

Moore and N

G. Moore and N. Read. Nonabelians in the fractional quantum Hall effect.Nuclear Phyics B, B360:527–581, 1991

work page 1991
[20]

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

work page 2009
[21]

J. A. Ram´ ırez and B. Rider. Spiking the random matrix hard edge.Probab. Theory Rel. Fields, 169(1):425–467, 2017

work page 2017
[22]

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

work page 2011
[23]

Scherbina and T

M. Scherbina and T. Scherbina. Universality for 1d random band matrices. Comm. Math. Phys., 385(2):667–716, 2021

work page 2021
[24]

Sylvester

J. Sylvester. On a certain fundamental theorem of determinants.The London, Ed- inburgh, and Dublin Philosophical Magazine and Journal of Science, 2(9):142–145, 1851

work page
[25]

H. F. Trotter. Eigenvalue distributions of large Hermitian matrices; Wigner’s semi- circle law and a theorem of Kac, Murdock, and Szeg˝ o.Adv. in Math., 54(1):67–82, 1984

work page 1984
[26]

Valk´ o and B

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

work page 2009
[27]

Valk´ o and B

B. Valk´ o and B. Vir´ ag. The Sineβ operator.Inventiones Math., 209(1):275–327, 2017. Brian Rider,Department of Mathematics, Temple University, 1805 North Broad St, Philadelphia, PA 19122,brian.rider@temple.edu Benedek Valk ´o,Department of Mathematics, University of Wisconsin – Madison, 480 Lincoln Dr, Madison, WI 53706,valko@math.wisc.edu 42

work page 2017

[1] [1]

M. S. Bartlett. On the theory of statistical regression.Proc. R. Soc. Edinburgh, 53:260–283, 1933

work page 1933

[2] [2]

Bloemendal and B

A. Bloemendal and B. Vir´ ag. Limits of spiked random matrices II.Ann. Probab., 44:2726–2769, 2016. 40

work page 2016

[3] [3]

Damanik, A

D. Damanik, A. Pushnitski, and B. Simon. The analytic theory of matrix orthogonal polynomials.Surveys in Approximation Theory, 8:1–85, 2008

work page 2008

[4] [4]

Dette and B

H. Dette and B. Reuther. Random block matrices and matrix orthogonal polynomials. J. Theoretical Probab., 23:378–400, 2008

work page 2008

[5] [5]

Di Francesco, H

P. Di Francesco, H. Saluer, and J.B. Zuber. Critical Ising correlation functions in the plane and on the torus.Nuclear Phyics B, B290:527–581, 1987

work page 1987

[6] [6]

Dumitriu and A

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

work page 2002

[7] [7]

Edelman and B

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

work page 2007

[8] [8]

P. J. Forrester.Log-gases and random matrices, volume 34 ofLondon Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2010

work page 2010

[9] [9]

Fr¨ ohlich, R

J. Fr¨ ohlich, R. G¨ otschmann, and P.A. Marchetti. The effective gauge field action of a system of non-relativistic electrons.Comm. Math. Physics, 173:417–452, 1995

work page 1995

[10] [10]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault. Sum rules and large deviations for spectral matrix measures.Bernoulli, 25(1):712–741, 2019

work page 2019

[11] [11]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault. Large deviations and a new sum rule for spectral matrix measures of the Jacobi ensemble.Random Matrices Theory Appl., 10(1):Paper No. 2150008, 36, 2021

work page 2021

[12] [12]

Guhlich, J

M. Guhlich, J. Nagel, and H. Dette. Random block matrices generalizing the classical Jacobi and Laguerre ensembles.J. Multivariate Anal., 101(8):1884–1897, 2010

work page 2010

[13] [13]

Khatri and C.G

C.G. Khatri and C.G. Rao. Solutions to some functional equations and their appli- cations to characterization of probability distributions.Sankhy¯ a: the Indian journal of statistics, series A, pages 167–180, 1968

work page 1968

[14] [14]

Killip and I

R. Killip and I. Nenciu. Matrix models for circular ensembles.International Mathe- matics Research Notices, 2004(50):2665–2701, 2004

work page 2004

[15] [15]

Killip and M

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

work page 2009

[16] [16]

Krishnapur, B

M. Krishnapur, B. Rider, and B. Vir´ ag. Universality of the stochastic Airy operator. Comm. Pure and Appl. Math., 2016

work page 2016

[17] [17]

Luque and J-Y

J-G. Luque and J-Y. Thibon. Pfaffian and Hafnian identities in shuffle algebras. Adv. Appl. Math., 29(4):620–646, 2002

work page 2002

[18] [18]

E. S. Meckes.The Random Matrix Theory of the Classical Compact Groups. Cam- bridge Tracts in Mathematics. Cambridge University Press, 2019. 41

work page 2019

[19] [19]

Moore and N

G. Moore and N. Read. Nonabelians in the fractional quantum Hall effect.Nuclear Phyics B, B360:527–581, 1991

work page 1991

[20] [20]

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

work page 2009

[21] [21]

J. A. Ram´ ırez and B. Rider. Spiking the random matrix hard edge.Probab. Theory Rel. Fields, 169(1):425–467, 2017

work page 2017

[22] [22]

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

work page 2011

[23] [23]

Scherbina and T

M. Scherbina and T. Scherbina. Universality for 1d random band matrices. Comm. Math. Phys., 385(2):667–716, 2021

work page 2021

[24] [24]

Sylvester

J. Sylvester. On a certain fundamental theorem of determinants.The London, Ed- inburgh, and Dublin Philosophical Magazine and Journal of Science, 2(9):142–145, 1851

work page

[25] [25]

H. F. Trotter. Eigenvalue distributions of large Hermitian matrices; Wigner’s semi- circle law and a theorem of Kac, Murdock, and Szeg˝ o.Adv. in Math., 54(1):67–82, 1984

work page 1984

[26] [26]

Valk´ o and B

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

work page 2009

[27] [27]

Valk´ o and B

B. Valk´ o and B. Vir´ ag. The Sineβ operator.Inventiones Math., 209(1):275–327, 2017. Brian Rider,Department of Mathematics, Temple University, 1805 North Broad St, Philadelphia, PA 19122,brian.rider@temple.edu Benedek Valk ´o,Department of Mathematics, University of Wisconsin – Madison, 480 Lincoln Dr, Madison, WI 53706,valko@math.wisc.edu 42

work page 2017