pith. sign in

arxiv: 2607.01655 · v1 · pith:RW5YUGGFnew · submitted 2026-07-02 · 🧮 math.DS

Linking effective Ratner equidistribution to the semicircle law for skew-shift matrices

Pith reviewed 2026-07-03 05:26 UTC · model grok-4.3

classification 🧮 math.DS
keywords skew-shiftRatner equidistributionsemicircle lawempirical spectral distributionWigner lawDiophantine conditionMarchenko-Pastur law
0
0 comments X

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.

The paper shows that Hermitian matrices with entries from the skew-shift orbit under Diophantine ω have their eigenvalue distribution approaching the Wigner semicircle law. The proof connects effective Ratner equidistribution in SL(3,R) quotients to mixing properties that control matrix moments through combinatorial expansions. This yields the optimal rate of convergence. Sympathetic readers care because it derives a classic random matrix result from deterministic dynamics with explicit quantitative bounds.

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

Figures reproduced from arXiv: 2607.01655 by Cong Chen, Yong Li.

Figure 1
Figure 1. Figure 1: Empirical spectral distribution of a 6000 [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An example of an exploration graph GL on k = 8 edges and l = 4 vertices. Eulerian Circuit: 1 → 2 → 1 → 3 → 2 → 3 → 4 → 4 → 1. Definition 2.2 (Edge currents and Kirchhoff law). For a fixed exploration graph GL, an assignment of integers j1, . . . , jk (the currents) to the edges e1, . . . , ek (in the order of L) is called admissible if at every vertex v ∈ V the sum of currents on incoming edges equals the … view at source ↗
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.

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.

Referee Report

1 major / 1 minor

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)
  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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim depends on the Diophantine condition and the applicability of the Ratner theorem to obtain the required mixing rates for the moment method.

axioms (1)
  • domain assumption Effective Ratner equidistribution theorem for unipotent orbits in SL(3,R)/SL(3,Z)
    Provides the multi-parameter effective mixing property.

pith-pipeline@v0.9.1-grok · 5724 in / 1163 out tokens · 35528 ms · 2026-07-03T05:26:12.779164+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

36 extracted references

  1. [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

  2. [2]

    E. P. Wigner,Characteristic vectors of bordered matrices with infinite dimensions, Ann. of Math.62 (1955), 548–564

  3. [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

  4. [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

  5. [5]

    C. W. Chin,Necessary and sufficient conditions for convergence to the semicircle distribution, Random Matrices: Theory Appl.12(2023), no. 1, 2250050

  6. [6]

    P. A. Yaskov,On the asymptotics of the spectrum of random matrices with independent entries, Russian Math. Surveys79(2024), no. 5, 923–924

  7. [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

  8. [8]

    D. V. Voiculescu,Limit laws for random matrices and free products, Invent. Math.104(1991), 201–220

  9. [9]

    D. V. Voiculescu, K. J. Dykema, and A. Nica,Free Random Variables, CRM Monograph Series, vol. 1, American Mathematical Society, Providence, RI, 1992

  10. [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

  11. [11]

    J. A. Mingo and R. Speicher,Free Probability and Random Matrices, Fields Institute Monographs, vol. 35, Springer, New York, 2017

  12. [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

  13. [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

  14. [14]

    independence

    R. Speicher,A new example of “independence” and “white noise”, Probab. Theory Related Fields84 (1990), 141–159

  15. [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

  16. [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

  17. [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

  18. [18]

    M. L. Mehta,Random Matrices, 3rd ed., Pure and Applied Mathematics, vol. 142, Elsevier/Academic Press, Amsterdam, 2004

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [24]

    G. H. Hardy and J. E. Littlewood,Some problems of Diophantine approximation, Acta Math.37(1914), 193–239

  25. [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

  26. [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

  27. [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

  28. [28]

    Ratner,On Raghunathan’s measure conjecture, Ann

    M. Ratner,On Raghunathan’s measure conjecture, Ann. of Math.134(1991), 545–607

  29. [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

  30. [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

  31. [31]

    N. A. Shah,Equidistribution of expanding translates of curves and Dirichlet’s theorem on Diophantine approximation, Invent. Math.177(2009), 509–532

  32. [32]

    N. A. Shah,Limiting distributions of curves under geodesic flow on hyperbolic manifolds, Duke Math. J.148(2009), 251–279

  33. [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

  34. [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

  35. [35]

    Chow and L

    S. Chow and L. Yang,Effective equidistribution for multiplicative Diophantine approximation on lines, Invent. Math.235(2024), 973–1007

  36. [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