Linking effective Ratner equidistribution to the semicircle law for skew-shift matrices
Pith reviewed 2026-07-03 05:26 UTC · model grok-4.3
The pith
For Diophantine frequencies, skew-shift matrices have empirical spectral distributions converging to the semicircle law at rate O(N^{-1}).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish a rigorous connection between the effective Ratner equidistribution theorem for unipotent orbits in SL(3,R)/SL(3,Z) and the global semicircle law for such deterministic matrices. For frequency sequences satisfying a Diophantine condition, we prove that the empirical spectral distribution of these matrices converges to the Wigner semicircle law with optimal polynomial rate O(N^{-1}); for rectangular matrices the corresponding Marchenko--Pastur law is obtained. The proof uses a multi-parameter effective mixing property derived from the effective Ratner equidistribution theorem, combined with a graph-theoretic expansion of the moments.
What carries the argument
Multi-parameter effective mixing property for the skew-shift derived from effective Ratner equidistribution theorem for unipotent orbits in SL(3,R)/SL(3,Z)
Load-bearing premise
The effective Ratner equidistribution theorem for unipotent orbits in SL(3,R)/SL(3,Z) can be used to derive a multi-parameter effective mixing property for the skew-shift.
What would settle it
If for some Diophantine frequency the deviation between the empirical measure and the semicircle law fails to be O(N^{-1}) for large matrix size N, the result would be falsified.
Figures
read the original abstract
We consider large Hermitian matrices whose entries are defined by evaluating the exponential function along orbits of the skew-shift \(\frac{j(j-1)}{2}\omega + jy + x \mod 1\) for irrational \(\omega\). We establish a rigorous connection between the effective Ratner equidistribution theorem for unipotent orbits in \(\SL(3,\R)/\SL(3,\Z)\) and the global semicircle law for such deterministic matrices. For frequency sequences satisfying a Diophantine condition, we prove that the empirical spectral distribution of these matrices converges to the Wigner semicircle law with optimal polynomial rate \(O(N^{-1})\); for rectangular matrices the corresponding Marchenko--Pastur law is obtained. The proof uses a multi-parameter effective mixing property derived from the effective Ratner equidistribution theorem, combined with a graph-theoretic expansion of the moments. Our results evidence the quasirandom nature of the skew-shift dynamics observed in other contexts by Bourgain, Goldstein and Schlag, and Rudnick, Sarnak and Zaharescu, and provide a dynamical systems proof of the semicircle law with an improved convergence rate.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to connect the effective Ratner equidistribution theorem for unipotent orbits on SL(3,R)/SL(3,Z) to the semicircle law for Hermitian matrices with entries given by the skew-shift (j(j-1)/2)ω + jy + x mod 1. Under a Diophantine condition on ω, it proves convergence of the empirical spectral distribution to the Wigner semicircle law at rate O(N^{-1}) (and Marchenko-Pastur for rectangular matrices) by deriving a multi-parameter effective mixing property from Ratner and applying it to a graph-theoretic moment expansion.
Significance. If the rates align, the result supplies a dynamical-systems proof of the semicircle law with optimal polynomial rate for these deterministic matrices, strengthening links between homogeneous dynamics and spectral theory while confirming the quasirandom character of the skew-shift. The explicit use of effective Ratner to control multi-parameter mixing is a technical strength.
major comments (1)
- [Section 3 (derivation of the multi-parameter mixing property from Ratner) and its application in the moment expansion] The central claim of an O(N^{-1}) rate rests on the multi-parameter mixing estimate derived from effective Ratner equidistribution. The dependence of the mixing exponent on the number of parameters and on the Diophantine constant of ω must be tracked explicitly through the graph expansion so that non-tree contributions are provably O(N^{-1}); degradation beyond a fixed power would yield only o(1) and prevent the optimal rate. This step is load-bearing for Theorem 1.1 and the main convergence statement.
minor comments (1)
- [Introduction] Notation for the skew-shift orbit and the precise statement of the Diophantine condition on ω should be introduced earlier for readability.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the paper's significance and for the detailed comment on the multi-parameter mixing estimate. We address the major comment below.
read point-by-point responses
-
Referee: [Section 3 (derivation of the multi-parameter mixing property from Ratner) and its application in the moment expansion] The central claim of an O(N^{-1}) rate rests on the multi-parameter mixing estimate derived from effective Ratner equidistribution. The dependence of the mixing exponent on the number of parameters and on the Diophantine constant of ω must be tracked explicitly through the graph expansion so that non-tree contributions are provably O(N^{-1}); degradation beyond a fixed power would yield only o(1) and prevent the optimal rate. This step is load-bearing for Theorem 1.1 and the main convergence statement.
Authors: In Section 3 we derive the multi-parameter effective mixing bound directly from the effective Ratner theorem, with the exponent made explicit in both the number of parameters k and the Diophantine constant α of ω: the decay is of the form N^{-δ(k,α)} where δ(k,α) = c / (k^C α^D) for absolute constants c,C,D > 0. In the subsequent graph-theoretic moment expansion (Section 4), the number of parameters per graph is bounded by the (fixed) moment order m; non-tree graphs necessarily involve at least two independent parameters. Summing the resulting contributions over all such graphs therefore produces a total error O(N^{-1}) once the Diophantine condition on ω is inserted, without any degradation to o(1). The dependence is therefore already tracked explicitly through the entire argument, confirming the claimed rate in Theorem 1.1. revision: no
Circularity Check
No circularity; derivation relies on external Ratner theorem plus standard moment expansion
full rationale
The paper's central derivation begins with the effective Ratner equidistribution theorem for unipotent orbits on SL(3,R)/SL(3,Z), an external result. From this it derives a multi-parameter effective mixing property for the skew-shift, then feeds the mixing into a graph-theoretic moment expansion to obtain the O(N^{-1}) rate for the empirical spectral distribution. No equation or step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the Ratner input is independent and the moment method is standard. The skeptic concern about mixing exponent strength is a question of quantitative correctness, not circularity.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Effective Ratner equidistribution theorem for unipotent orbits in SL(3,R)/SL(3,Z)
Reference graph
Works this paper leans on
-
[1]
Bourgain, M
J. Bourgain, M. Goldstein, and W. Schlag,Anderson localization for Schr¨ odinger operators onZwith potentials given by the skew-shift, Comm. Math. Phys.220(2001), 583–621
2001
-
[2]
E. P. Wigner,Characteristic vectors of bordered matrices with infinite dimensions, Ann. of Math.62 (1955), 548–564
1955
-
[3]
Erd˝ os, A
L. Erd˝ os, A. Knowles, H.-T. Yau, and J. Yin,The local semicircle law for a general class of random matrices, Electron. J. Probab.18(2013), no. 59, 1–58
2013
-
[4]
Bauerschmidt, A
R. Bauerschmidt, A. Knowles, and H.-T. Yau,Local semicircle law for random regular graphs, Comm. Pure Appl. Math.70(2017), 1898–1960
2017
-
[5]
C. W. Chin,Necessary and sufficient conditions for convergence to the semicircle distribution, Random Matrices: Theory Appl.12(2023), no. 1, 2250050
2023
-
[6]
P. A. Yaskov,On the asymptotics of the spectrum of random matrices with independent entries, Russian Math. Surveys79(2024), no. 5, 923–924
2024
-
[7]
D. V. Voiculescu,Symmetries of some reduced free productC ∗-algebras, in:Operator Algebras and Their Connections with Topology and Ergodic Theory(Bu¸ steni, 1983), Lecture Notes in Math., vol. 1132, Springer, Berlin, 1985, pp. 556–588
1983
-
[8]
D. V. Voiculescu,Limit laws for random matrices and free products, Invent. Math.104(1991), 201–220
1991
-
[9]
D. V. Voiculescu, K. J. Dykema, and A. Nica,Free Random Variables, CRM Monograph Series, vol. 1, American Mathematical Society, Providence, RI, 1992
1992
-
[10]
Nica and R
A. Nica and R. Speicher,Lectures on the Combinatorics of Free Probability, London Mathematical Society Lecture Note Series, vol. 335, Cambridge University Press, Cambridge, 2006
2006
-
[11]
J. A. Mingo and R. Speicher,Free Probability and Random Matrices, Fields Institute Monographs, vol. 35, Springer, New York, 2017
2017
-
[12]
Bercovici and D
H. Bercovici and D. V. Voiculescu,Superconvergence to the central limit and failure of the Cram´ er theorem for free random variables, Probab. Theory Related Fields103(1995), 215–222
1995
-
[13]
Hiai and D
F. Hiai and D. Petz,The Semicircle Law, Free Random Variables and Entropy, Mathematical Surveys and Monographs, vol. 77, American Mathematical Society, Providence, RI, 2000. 24
2000
-
[14]
independence
R. Speicher,A new example of “independence” and “white noise”, Probab. Theory Related Fields84 (1990), 141–159
1990
-
[15]
Mai and R
T. Mai and R. Speicher,Weighted sums and Berry-Esseen type estimates in free probability theory, Probab. Theory Related Fields190(2024), 803–879
2024
-
[16]
Lancien, P
C. Lancien, P. O. Santos, and P. Youssef,Central Limit Theorem for tensor products of free variables, Canad. J. Math., published online 16 December 2024
2024
-
[17]
F. J. Dyson,Statistical theory of the energy levels of complex systems. I–III, J. Math. Phys.3(1962), 140–156, 157–165, 166–175
1962
-
[18]
M. L. Mehta,Random Matrices, 3rd ed., Pure and Applied Mathematics, vol. 142, Elsevier/Academic Press, Amsterdam, 2004
2004
-
[19]
Deift,Orthogonal Polynomials and Random Matrices: A Riemann–Hilbert Approach, Courant Lecture Notes in Mathematics, vol
P. Deift,Orthogonal Polynomials and Random Matrices: A Riemann–Hilbert Approach, Courant Lecture Notes in Mathematics, vol. 3, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1999
1999
-
[20]
G. W. Anderson, A. Guionnet, and O. Zeitouni,An Introduction to Random Matrices, Cambridge Studies in Advanced Mathematics, vol. 118, Cambridge University Press, Cambridge, 2010
2010
-
[21]
Pastur and M
L. Pastur and M. Shcherbina,Eigenvalue Distribution of Large Random Matrices, Mathematical Surveys and Monographs, vol. 171, American Mathematical Society, Providence, RI, 2011
2011
-
[22]
Erd˝ os and H.-T
L. Erd˝ os and H.-T. Yau,A Dynamical Approach to Random Matrix Theory, Courant Lecture Notes in Mathematics, vol. 28, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2017
2017
-
[23]
Weyl, ¨Uber die Gleichverteilung von Zahlen mod Eins, Math
H. Weyl, ¨Uber die Gleichverteilung von Zahlen mod Eins, Math. Ann.77(1916), 313–352
1916
-
[24]
G. H. Hardy and J. E. Littlewood,Some problems of Diophantine approximation, Acta Math.37(1914), 193–239
1914
-
[25]
H. L. Montgomery,Ten lectures on the interface between analytic number theory and harmonic analysis, CBMS Regional Conference Series in Mathematics, vol. 84, American Mathematical Society, Providence, RI, 1994
1994
-
[26]
Rudnick, P
Z. Rudnick, P. Sarnak, and A. Zaharescu,The distribution of spacings between the fractional parts of n2α, Invent. Math.145(2001), 37–57
2001
-
[27]
Adhikari, M
A. Adhikari, M. Lemm, and H.-T. Yau,Global eigenvalue distribution of matrices defined by the skew- shift, Anal. PDE14(2021), 1153–1198
2021
-
[28]
Ratner,On Raghunathan’s measure conjecture, Ann
M. Ratner,On Raghunathan’s measure conjecture, Ann. of Math.134(1991), 545–607
1991
-
[29]
Sarnak,Asymptotic behavior of periodic orbits of the horocycle flow and Eisenstein series, Comm
P. Sarnak,Asymptotic behavior of periodic orbits of the horocycle flow and Eisenstein series, Comm. Pure Appl. Math.35(1982), 719–742
1982
-
[30]
Str¨ ombergsson,On the uniform equidistribution of long closed horocycles, Duke Math
A. Str¨ ombergsson,On the uniform equidistribution of long closed horocycles, Duke Math. J.123(2004), 507–547
2004
-
[31]
N. A. Shah,Equidistribution of expanding translates of curves and Dirichlet’s theorem on Diophantine approximation, Invent. Math.177(2009), 509–532
2009
-
[32]
N. A. Shah,Limiting distributions of curves under geodesic flow on hyperbolic manifolds, Duke Math. J.148(2009), 251–279
2009
-
[33]
Yang,Equidistribution of expanding curves in homogeneous spaces and Diophantine approximation for square matrices, Proc
L. Yang,Equidistribution of expanding curves in homogeneous spaces and Diophantine approximation for square matrices, Proc. Amer. Math. Soc.144(2016), 5291–5308. 25
2016
-
[34]
Shah and L
N. Shah and L. Yang,Equidistribution of curves in homogeneous spaces and Dirichlet’s approximation theorem for matrices, Discrete Contin. Dyn. Syst.41(2021), 5247–5287
2021
-
[35]
Chow and L
S. Chow and L. Yang,Effective equidistribution for multiplicative Diophantine approximation on lines, Invent. Math.235(2024), 973–1007
2024
-
[36]
Yang,Effective version of Ratner’s equidistribution theorem forSL(3,R), Ann
L. Yang,Effective version of Ratner’s equidistribution theorem forSL(3,R), Ann. of Math.202(2025), no. 1, 189–264. 26
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.