pith. sign in

arxiv: 2604.27619 · v1 · submitted 2026-04-30 · 🧮 math.PR

Rising GUE Eigenvalue Process from a Fixed Level

Zoe Himwich This is my paper

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

classification 🧮 math.PR
keywords GUEeigenvalue processcorrelation kernelWigner matricesuniversalitysine kernelrandom matricesbulk statistics
0
0 comments X

The pith

The rising GUE eigenvalue process starting from any fixed initial configuration has its multilevel correlation kernel converge to the extended semi-discrete sine kernel in short polylog time.

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

The paper constructs the multilevel correlation kernel for the rising GUE eigenvalue process that begins at a fixed initial configuration rather than an equilibrium distribution. It proves that this kernel approaches the extended semi-discrete sine kernel after a short time of at most polylogarithmic order in the system size. The convergence is then applied to establish that the bulk local eigenvalue statistics of complex Hermitian Wigner matrices with GUE covariance and finite 4 plus epsilon moments match those of the GUE, without any preliminary relaxation step. A sympathetic reader would care because this removes a common technical hurdle from many earlier universality arguments and works under near-optimal moment assumptions.

Core claim

We construct the multilevel correlation kernel for the rising GUE eigenvalue process starting from a fixed initial configuration x^{(m)}, and show that it converges on short time scales (as quickly as polylog(m)) to the extended semi-discrete sine kernel. As an application, we show fixed-energy universality of bulk local statistics of complex Hermitian Wigner matrices matching the covariance structure of GUE and with a finite 4+ε moment for ε>0. This application demonstrates that it is possible to obtain universality of bulk local statistics under near-optimal moment assumptions without using a Dyson Brownian motion relaxation step.

What carries the argument

The multilevel correlation kernel of the rising GUE eigenvalue process started from a fixed initial configuration, which is shown to converge rapidly to the extended semi-discrete sine kernel.

If this is right

  • Bulk local statistics of complex Hermitian Wigner matrices match the GUE predictions under only 4+ε moment conditions on the entries.
  • Universality of these statistics holds without requiring a Dyson Brownian motion relaxation to equilibrium.
  • The convergence of the correlation kernel occurs on short time scales as fast as polylogarithmic in the matrix dimension.
  • Fixed-energy universality applies directly to the bulk eigenvalues of matrices with GUE covariance structure.

Where Pith is reading between the lines

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

  • The kernel construction could be adapted to other initial configurations that are not completely fixed but still grow slowly with dimension.
  • Bypassing the relaxation step may simplify proofs for local statistics in ensembles beyond Wigner matrices, such as those with heavier tails.
  • The short-time robustness to initial conditions suggests that local eigenvalue behavior in these dynamics is determined quickly by the covariance structure alone.

Load-bearing premise

The initial configuration is fixed and the rising GUE process obeys the standard GUE dynamics, with no further restrictions required on the starting points or any relaxation step.

What would settle it

A numerical computation of the multilevel correlation kernel for the rising process from a fixed start that fails to match the extended semi-discrete sine kernel after polylog(m) time would disprove the convergence claim.

read the original abstract

We construct the multilevel correlation kernel for the rising GUE eigenvalue process starting from a fixed initial configuration $x^{(m)}$, and show that it converges on short time scales (as quickly as $\text{polylog}(m)$) to the extended semi-discrete sine kernel. As an application, we show fixed-energy universality of bulk local statistics of complex Hermitian Wigner matrices matching the covariance structure of GUE and with a finite $4+\varepsilon$ moment for $\varepsilon>0$. This application demonstrates that it is possible to obtain universality of bulk local statistics under near-optimal moment assumptions without using a Dyson Brownian motion relaxation step, which was a key ingredient in many results on this topic.

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

2 major / 2 minor

Summary. The manuscript constructs the multilevel correlation kernel for the rising GUE eigenvalue process starting from a fixed initial configuration x^{(m)}, and proves that this kernel converges on short time scales (as quickly as polylog(m)) to the extended semi-discrete sine kernel. As an application, it establishes fixed-energy universality of bulk local statistics for complex Hermitian Wigner matrices whose entries match the GUE covariance structure and possess finite 4+ε moments, without employing a Dyson Brownian motion relaxation step.

Significance. The result is significant for random matrix theory because it demonstrates a route to bulk universality under near-optimal moment assumptions by avoiding the DBM relaxation step that has been central to many prior proofs. The explicit construction of the multilevel kernel and the short-time convergence rate constitute technically substantive contributions, provided the convergence holds under the stated hypotheses on the initial data.

major comments (2)
  1. [Application section (following §§3–5)] Application section (following the kernel analysis in §§3–5): The transfer from the GUE-process kernel convergence to fixed-energy universality for Wigner matrices with only 4+ε moments rests on the assertion that polylog(m) evolution from an arbitrary fixed x^{(m)} erases all dependence on the initial local configuration. Under 4+ε moments, however, atypical local eigenvalue configurations occur with positive probability; the manuscript does not supply a quantitative estimate showing that the short-time dynamics suffice to restore the local law in such cases. This assumption is load-bearing for the universality claim and requires either an explicit restriction on x^{(m)} (e.g., that it satisfies a local law at scale 1/m) or a separate argument that the polylog(m) window is long enough for all admissible initial data.
  2. [§§3–5] §§3–5, kernel construction and convergence statement: The derivation of the multilevel kernel and its asymptotic analysis to the extended semi-discrete sine kernel are presented via contour-integral or Fredholm-determinant representations. The error bounds that yield the polylog(m) rate are not visible in the abstract; the full text must contain uniform estimates that remain valid for every fixed (non-random) initial configuration x^{(m)}, without hidden reliance on GUE-type local statistics at time zero. If such estimates are conditional on the initial data, the Wigner application is affected.
minor comments (2)
  1. [Main theorem statement] The precise polylog(m) rate (e.g., (log m)^C for which C) should be stated explicitly in the main convergence theorem rather than only in the abstract.
  2. [§2 or §3] Notation for the rising process and the multilevel kernel should be introduced with a short self-contained definition before the contour-integral analysis begins.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive major comments. The points raised concern the uniformity of the kernel convergence estimates with respect to arbitrary initial data and the implications for the Wigner universality application. We address each comment below and have revised the manuscript to make the relevant uniformity statements and error bounds more explicit.

read point-by-point responses

  1. Referee: Application section (following §§3–5): The transfer from the GUE-process kernel convergence to fixed-energy universality for Wigner matrices with only 4+ε moments rests on the assertion that polylog(m) evolution from an arbitrary fixed x^{(m)} erases all dependence on the initial local configuration. Under 4+ε moments, however, atypical local eigenvalue configurations occur with positive probability; the manuscript does not supply a quantitative estimate showing that the short-time dynamics suffice to restore the local law in such cases. This assumption is load-bearing for the universality claim and requires either an explicit restriction on x^{(m)} (e.g., that it satisfies a local law at scale 1/m) or a separate argument that the polylog(m) window is long enough for all admissible initial data.

    Authors: We thank the referee for highlighting this point. The convergence theorems in §§3–5 are established for every fixed (deterministic) initial configuration x^{(m)} ∈ ℝ^m consisting of distinct real numbers lying in the bulk interval. The error bounds obtained from the contour-integral representations and Fredholm-determinant asymptotics depend only on m and the time scale, and are independent of the specific local arrangement of the x_i^{(m)}. Consequently, the polylog(m) convergence to the extended semi-discrete sine kernel holds uniformly, including for any atypical configuration. Because the eigenvalue vector of a Wigner matrix with 4+ε moments is simply one (random) instance of such an x^{(m)}, the fixed-energy universality statement follows directly from the uniform kernel convergence without requiring an additional restoration argument or restriction on the initial data. We have revised the application section (now containing a new paragraph after the statement of the main universality theorem) to emphasize this uniformity and to clarify that the short-time dynamics erase initial dependence at the level of the correlation kernel for all admissible fixed configurations. revision: yes

  2. Referee: §§3–5, kernel construction and convergence statement: The derivation of the multilevel kernel and its asymptotic analysis to the extended semi-discrete sine kernel are presented via contour-integral or Fredholm-determinant representations. The error bounds that yield the polylog(m) rate are not visible in the abstract; the full text must contain uniform estimates that remain valid for every fixed (non-random) initial configuration x^{(m)}, without hidden reliance on GUE-type local statistics at time zero. If such estimates are conditional on the initial data, the Wigner application is affected.

    Authors: The full text already contains the required uniform estimates, although we agree that their independence from the initial configuration could be stated more prominently. In the proofs of Theorems 3.1, 4.2 and 5.1, the multilevel kernel is expressed via a contour-integral formula whose only dependence on x^{(m)} appears in a fixed determinant prefactor. This prefactor is controlled by a uniform Hadamard-type bound that uses only the global location of the points inside the bulk and the fact that they are distinct; no local spacing or GUE-type local law is invoked. The subsequent steepest-descent analysis and approximation of the resulting Fredholm determinants produce error terms whose constants depend solely on m, the time parameter, and the fixed bulk parameters of the GUE process. We have revised §§3–5 by adding Remark 3.4, which explicitly records this uniformity, and by inserting parenthetical statements in the hypotheses of the main theorems confirming that x^{(m)} is an arbitrary fixed vector with no further local assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity: kernel construction and convergence are derived from process definition and external sine-kernel target

full rationale

The paper defines the rising GUE process from a fixed initial configuration x^{(m)} and constructs its multilevel correlation kernel explicitly (likely via determinantal formulas or contour integrals in §§3–5). It then proves short-time convergence to the independently known extended semi-discrete sine kernel. The Wigner universality application follows from this convergence under the stated moment assumptions. No step reduces a claimed prediction to a fitted parameter by construction, no self-citation is load-bearing for the central uniqueness or convergence statement, and no ansatz is smuggled via prior work by the same author. The derivation chain remains self-contained against external benchmarks (GUE properties and sine-kernel literature).

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard domain assumptions of random matrix theory (GUE eigenvalue process, Wigner entry independence and moments) plus the new construction of the rising process and its kernel; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Standard GUE eigenvalue process and Wigner matrices with covariance matching GUE and finite 4+ε moments.
    Invoked to define the rising process and to state the universality conclusion.

pith-pipeline@v0.9.0 · 5399 in / 1455 out tokens · 119818 ms · 2026-05-07T05:07:39.406656+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

52 extracted references · 52 canonical work pages

  1. [1]

    Mark Adler, Eric Nordenstam, and Pierre Van Moerbeke,The Dyson Brownian minor process, Ann. Inst. Fourier (Greno- ble) 64 (2014), 971–1009. 3

    work page 2014

  2. [2]

    Theory Related Fields173 (2019), 375–432

    Amol Aggarwal,Bulk universality for generalized Wigner matrices with few moments, Probab. Theory Related Fields173 (2019), 375–432. 1, 2

    work page 2019

  3. [3]

    Theory Related Fields 184 (2022), 1139–1166

    Amol Aggarwal and Vadim Gorin,Gaussian unitary ensemble in random lozenge tilings, Probab. Theory Related Fields 184 (2022), 1139–1166. 2, 4, 46

    work page 2022

  4. [4]

    Baryshnikov,GUEs and queues, Probab

    Yu. Baryshnikov,GUEs and queues, Probab. Theory Related Fields119 (2001), 256–274. 3

    work page 2001

  5. [5]

    Pavel Bleher and Alexander Its, Semiclassical asymptotics of orthogonal polynomials, Riemann-Hilbert problem, and universality in the matrix model, Ann. of Math. (2)150 (1999), 185–266. 1

    work page 1999

  6. [6]

    Press, Oxford, 2011, pp

    Alexei Borodin, Determinantal point processes, The Oxford handbook of random matrix theory, Oxford Univ. Press, Oxford, 2011, pp. 231–249. 6, 7, 8, 44, 45, 49

    work page 2011

  7. [7]

    Rains,Eynard-Mehta theorem, Schur process, and their Pfaffian analogs, J

    Alexei Borodin and Eric M. Rains,Eynard-Mehta theorem, Schur process, and their Pfaffian analogs, J. Stat. Phys.121 (2005), 291–317. 7, 8, 44

    work page 2005

  8. [8]

    Pure Appl

    Paul Bourgade, Laszlo Erdős, Horng-Tzer Yau, and Jun Yin,Fixed energy universality for generalized Wigner matrices, Comm. Pure Appl. Math.69 (2016), 1815–1881. 1, 2

    work page 2016

  9. [9]

    Probab.37 (2009), 107–142

    Cédric Boutillier,The bead model and limit behaviors of dimer models, Ann. Probab.37 (2009), 107–142. 1, 4

    work page 2009

  10. [10]

    27, 29, 51

    Nguyen Viet Dang, Yannick Guedes Bonthonneau, Matthieu Léautaud, and Gabriel Rivière,Poincaré series for analytic convex bodies, 2025. 27, 29, 51

    work page 2025

  11. [11]

    Deift, T

    P. Deift, T. Kriecherbauer, K. T.-R. McLaughlin, S. Venakides, and X. Zhou, Uniform asymptotics for polynomials orthogonal with respect to varying exponential weights and applications to universality questions in random matrix theory, Comm. Pure Appl. Math.52 (1999), 1335–1425. 1

    work page 1999

  12. [12]

    Evgeni Dimitrov,Airy wanderer line ensembles, J. Lond. Math. Soc. (2)113 (2026), Paper No. e70482. 8

    work page 2026

  13. [13]

    Dyson,Correlations between eigenvalues of a random matrix, Comm

    Freeman J. Dyson,Correlations between eigenvalues of a random matrix, Comm. Math. Phys.19 (1970), 235–250. 1

    work page 1970

  14. [14]

    László Erdős, Antti Knowles, Horng-Tzer Yau, and Jun Yin,Spectral statistics of Erdös-Rényi Graphs II: Eigenvalue spacing and the extreme eigenvalues, Comm. Math. Phys.314 (2012), 587–640. 1, 2, 42, 44

    work page 2012

  15. [15]

    Ramírez, Benjamin Schlein, and Horng-Tzer Yau,Bulk universality for Wigner matrices, Comm

    László Erdős, Sandrine Péché, José A. Ramírez, Benjamin Schlein, and Horng-Tzer Yau,Bulk universality for Wigner matrices, Comm. Pure Appl. Math.63 (2010), 895–925. 1, 2

    work page 2010

  16. [16]

    László Erdős, José Ramírez, Benjamin Schlein, Terence Tao, Van Vu, and Horng-Tzer Yau,Bulk universality for Wigner Hermitian matrices with subexponential decay, Math. Res. Lett.17 (2010), 667–674. 1

    work page 2010

  17. [17]

    Ramírez, Benjamin Schlein, and Horng-Tzer Yau,Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation, Electron

    László Erdős, José A. Ramírez, Benjamin Schlein, and Horng-Tzer Yau,Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation, Electron. J. Probab.15 (2010), no. 18, 526–603. 1

    work page 2010

  18. [18]

    László Erdős, Benjamin Schlein, and Horng-Tzer Yau,Local semicircle law and complete delocalization for Wigner random matrices, Comm. Math. Phys.287 (2009), 641–655. 1

    work page 2009

  19. [19]

    Probab.37 (2009), 815–852

    László Erdős, Benjamin Schlein, and Horng-Tzer Yau,Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices, Ann. Probab.37 (2009), 815–852. 1

    work page 2009

  20. [20]

    László Erdős, Benjamin Schlein, and Horng-Tzer Yau,Universality of random matrices and local relaxation flow, Invent. Math. 185 (2011), 75–119. 1

    work page 2011

  21. [21]

    László Erdős, Benjamin Schlein, Horng-Tzer Yau, and Jun Yin,The local relaxation flow approach to universality of the local statistics for random matrices, Ann. Inst. Henri Poincaré Probab. Stat.48 (2012), 1–46. 1

    work page 2012

  22. [22]

    László Erdős and Horng-Tzer Yau,A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices, Electron. J. Probab.17 (2012), no. 28, 5. 1

    work page 2012

  23. [23]

    László Erdős and Horng-Tzer Yau,Gap universality of generalized Wigner andβ-ensembles, J. Eur. Math. Soc. (JEMS) 17 (2015), 1927–2036. 1, 2

    work page 2015

  24. [24]

    Theory Related Fields 154 (2012), 341–407

    László Erdős, Horng-Tzer Yau, and Jun Yin,Bulk universality for generalized Wigner matrices, Probab. Theory Related Fields 154 (2012), 341–407. 1, 6, 42, 43, 44 54

    work page 2012

  25. [25]

    Bertrand Eynard and Madan Lal Mehta,Matrices coupled in a chain. I. Eigenvalue correlations, J. Phys. A31 (1998), 4449–4456. 7

    work page 1998

  26. [26]

    Forrester and Eric Nordenstam,The anti-symmetric GUE minor process, Mosc

    Peter J. Forrester and Eric Nordenstam,The anti-symmetric GUE minor process, Mosc. Math. J.9 (2009), 749–774, 934. 8, 12, 15

    work page 2009

  27. [27]

    Vadim Gorin,Bulk universality for random lozenge tilings near straight boundaries and for tensor products, Comm. Math. Phys. 354 (2017), 317–344. 2

    work page 2017

  28. [28]

    Probab.47 (2019), 2686–2753

    Vadim Gorin and Leonid Petrov,Universality of local statistics for noncolliding random walks, Ann. Probab.47 (2019), 2686–2753. 5, 6, 22, 29, 52, 53, 54

    work page 2019

  29. [29]

    Friedrich Götze, Alexey Naumov, Alexander Tikhomirov, and Dmitry Timushev,On the local semicircular law for Wigner ensembles, Bernoulli 24 (2018), 2358–2400. 2, 9

    work page 2018

  30. [30]

    F Götze, AA Naumov, and AN Tikhomirov, Local semicircle law under moment conditions: The stieltjes transform, rigidity, and delocalization, Theory of Probability & Its Applications62 (2018), 58–83. 2, 9

    work page 2018

  31. [31]

    Jiaoyang Huang, Eigenvalues for the minors of Wigner matrices, Ann. Inst. Henri Poincaré Probab. Stat. 58 (2022), 2201–2215. 5

    work page 2022

  32. [32]

    Jiaoyang Huang, Benjamin Landon, and Horng-Tzer Yau,Bulk universality of sparse random matrices, J. Math. Phys.56 (2015), 123301, 19. 1

    work page 2015

  33. [33]

    Kurt Johansson,Universality of the local spacing distribution in certain ensembles of Hermitian Wigner matrices, Comm. Math. Phys. 215 (2001), 683–705. 1

    work page 2001

  34. [34]

    V., Amster- dam, 2006, pp

    Kurt Johansson,Random matrices and determinantal processes, Mathematical statistical physics, Elsevier B. V., Amster- dam, 2006, pp. 1–55. 6

    work page 2006

  35. [35]

    Kurt Johansson, Universality for certain Hermitian Wigner matrices under weak moment conditions, Ann. Inst. Henri Poincaré Probab. Stat.48 (2012), 47–79. 1

    work page 2012

  36. [36]

    Press, Somerville, MA, 2018, pp

    Kurt Johansson,Edge fluctuations of limit shapes, Current developments in mathematics 2016, Int. Press, Somerville, MA, 2018, pp. 47–110. 8

    work page 2016

  37. [37]

    Kurt Johansson and Eric Nordenstam,Eigenvalues of GUE minors, Electron. J. Probab.11 (2006), no. 50, 1342–1371. 3, 15

    work page 2006

  38. [38]

    Kriecherbauer, K

    T. Kriecherbauer, K. Schubert, K. Schüler, and M. Venker,Global asymptotics for the Christoffel-Darboux kernel of random matrix theory, Markov Process. Related Fields21 (2015), 639–694. 9

    work page 2015

  39. [39]

    Benjamin Landon, Philippe Sosoe, and Horng-Tzer Yau,Fixed energy universality of Dyson Brownian motion, Adv. Math. 346 (2019), 1137–1332. 1

    work page 2019

  40. [40]

    Lenard, Correlation functions and the uniqueness of the state in classical statistical mechanics, Comm

    A. Lenard, Correlation functions and the uniqueness of the state in classical statistical mechanics, Comm. Math. Phys. 30 (1973), 35–44. 6

    work page 1973

  41. [41]

    M. L. Mehta and M. Gaudin,On the density of eigenvalues of a random matrix, Nuclear Phys.18 (1960), 420–427. 1

    work page 1960

  42. [42]

    142, Elsevier/Academic Press, Amsterdam, 2004

    Madan Lal Mehta,Random matrices, third ed., Pure and Applied Mathematics (Amsterdam), vol. 142, Elsevier/Academic Press, Amsterdam, 2004. 1

    work page 2004

  43. [43]

    Metcalfe, Universality properties of Gelfand-Tsetlin patterns, Probab

    Anthony P. Metcalfe, Universality properties of Gelfand-Tsetlin patterns, Probab. Theory Related Fields 155 (2013), 303–346. 1, 2, 4, 12, 48

    work page 2013

  44. [44]

    Pastur and M

    L. Pastur and M. Shcherbina,Universality of the local eigenvalue statistics for a class of unitary invariant random matrix ensembles, J. Statist. Phys.86 (1997), 109–147. 1

    work page 1997

  45. [45]

    Theory Related Fields160 (2014), 429–487

    Leonid Petrov,Asymptotics of random lozenge tilings via Gelfand-Tsetlin schemes, Probab. Theory Related Fields160 (2014), 429–487. 4, 6, 7, 12, 46

    work page 2014

  46. [46]

    Leonid Petrov,The boundary of the Gelfand-Tsetlin graph: new proof of Borodin-Olshanski’s formula, and itsq-analogue, Mosc. Math. J.14 (2014), 121–160, 171. 7

    work page 2014

  47. [47]

    Shcherbina, On universality of bulk local regime of the deformed Gaussian unitary ensemble, J

    T. Shcherbina, On universality of bulk local regime of the deformed Gaussian unitary ensemble, J. Math. Phys. Anal. Geom. 5 (2009), 396–433, 440. 1

    work page 2009

  48. [48]

    Theory Related Fields 157 (2013), 81–106

    Terence Tao,The asymptotic distribution of a single eigenvalue gap of a Wigner matrix, Probab. Theory Related Fields 157 (2013), 81–106. 1, 6, 42

    work page 2013

  49. [49]

    1, 2, 6, 42

    Terence Tao and Van Vu,Random matrices: universality of local eigenvalue statistics, Acta Math.206 (2011), 127–204. 1, 2, 6, 42

    work page 2011

  50. [50]

    Terence Tao and Van Vu,The Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices, Electron. J. Probab. 16 (2011), no. 77, 2104–2121. 1

    work page 2011

  51. [51]

    Terence Tao and Van Vu,Random covariance matrices: universality of local statistics of eigenvalues, Ann. Probab. 40 (2012), 1285–1315. 1

    work page 2012

  52. [52]

    9 Department of Statistics, University of California, Berkeley, Berkeley, CA 94705 Email address: himwich@berkeley.edu 55

    Terence Tao and Van Vu,Random matrices have simple spectrum, Combinatorica 37 (2017), 539–553. 9 Department of Statistics, University of California, Berkeley, Berkeley, CA 94705 Email address: himwich@berkeley.edu 55

    work page 2017