Skip to content

Quantum Chaos Preview

Many-body quantum chaos is the emergence of universal statistical structure in the spectra, eigenstates, and dynamics of interacting quantum systems after every relevant symmetry, scale, and averaging prescription has been specified. It is not exponential separation of state vectors under one unitary evolution, and it is not certified by one irregular-looking time trace.

For a finite Hamiltonian, the most reproducible starting point is a symmetry-resolved energy spectrum. In a generic nonintegrable regime, nearby levels often repel and longer-range correlations approach the appropriate random-matrix prediction below a system-dependent energy scale. In the same regime, local-observable matrix elements often satisfy the eigenstate thermalization hypothesis, while initially local operators spread through the system. These signatures are related, but none is logically identical to the others.

A defensible claim therefore has the form

Hamiltonian and boundary data⟶irreducible symmetry sector⟶energy or quasienergy window⟶converged diagnostic family⟶qualified chaos statement.\begin{gathered} \text{Hamiltonian and boundary data} \\ \longrightarrow \text{irreducible symmetry sector} \\ \longrightarrow \text{energy or quasienergy window} \\ \longrightarrow \text{converged diagnostic family} \\ \longrightarrow \text{qualified chaos statement}. \end{gathered}

Skipping any arrow can turn an exact symmetry, a spectral edge, a finite-size crossover, or an averaging artifact into apparent physics.

This page is the canonical home for many-body quantum-chaos diagnostics. It owns:

  • symmetry-resolved nearest-neighbor spacings and adjacent-gap ratios;
  • the Dyson orthogonal, unitary, and symplectic universality classes as a working preview;
  • random-matrix universality as a statement about fluctuations, not a microscopic Hamiltonian model;
  • connected two-level correlations and spectral form factors;
  • Thouless, Heisenberg, transport, and scrambling times as distinct scales;
  • the relation, but not equivalence, among spectral chaos, ETH, delocalized eigenvectors, and operator growth;
  • finite-size, unfolding, filtering, averaging, and uncertainty audits;
  • benchmark local spin-chain and Floquet settings;
  • an evidence ledger for numerical and experimental claims.

Neighboring pages retain separate ownership:

This article must repeat a small amount of spectral language to be usable on its own. Detailed semiclassical derivations and the full probability theory of random matrices remain in their canonical homes.

Several layers should be kept separate.

  • Exact symmetries decompose a Hamiltonian into independent blocks, and spectral statistics must be computed block by block.
  • The three Dyson classes are selected by antiunitary structure acting within the chosen block.
  • Random-matrix level repulsion and long-range rigidity occur in a wide range of generic finite many-body models.
  • Exact or asymptotically controlled random-matrix spectral-form-factor results have been derived in special circuit and driven models.
  • Conserved densities and hydrodynamic modes modify the approach to random-matrix behavior.
  • Generic local integrability breaking drives bulk spectra toward a Dyson ensemble as system size increases.
  • A many-body Thouless scale separates nonuniversal local dynamics from a later universal spectral regime.
  • Spectral random-matrix behavior and ETH commonly emerge in the same parameter regime.
  • Deriving full random-matrix universality for broad classes of deterministic local Hamiltonians;
  • controlling the thermodynamic limit before exponentially late spectral times;
  • identifying universal relations among higher-point ETH correlations, spectral ramps, operator growth, and scrambling;
  • extracting long-range spectral correlations reliably on noisy quantum simulators.

The word chaos is not completely standardized across subfields. Some authors use it primarily for Wigner–Dyson spectral statistics, others for ETH, and others for rapid scrambling. Here the diagnostic is always named explicitly.

Let a finite many-body Hamiltonian act on a Hilbert space HL\mathcal H_L for system size LL:

HL=∑XhX.H_L = \sum_X h_X.

For a short-range lattice model, hXh_X has bounded support and the number of terms grows extensively with LL. Suppose a complete set of exact commuting unitary symmetries and superselection charges has been identified. Then

HL=⨁αHL,α,HL=⨁αHL,α.\mathcal H_L = \bigoplus_{\alpha} \mathcal H_{L,\alpha}, \qquad H_L = \bigoplus_{\alpha} H_{L,\alpha}.

The label α\alpha can include particle number, total magnetization, momentum, point-group representation, parity, gauge charge, and boundary-sector data. Spectral statistics are defined for one irreducible block HL,αH_{L,\alpha} at a time.

Within that block, order the distinct energies in a declared window:

E1<E2<⋯<EDα.E_1<E_2<\cdots<E_{\mathcal D_\alpha}.

The analysis must also state:

  • whether degeneracies required by antiunitary symmetry have been grouped;
  • whether the window is fixed in energy EE or energy density e=E/Le=E/L;
  • whether the spectrum is unfolded;
  • whether data are averaged over disorder, boundary twists, windows, or nearby times;
  • how many statistically useful levels remain;
  • how the answer changes with LL.

The thermodynamic density of states is typically exponential in LL, but exact diagonalization reaches only modest sizes. That mismatch makes convergence discipline central rather than optional.

Symmetry Resolution Is the First Diagnostic

Section titled “Symmetry Resolution Is the First Diagnostic”

If QQ commutes with HH,

[H,Q]=0,[H,Q]=0,

then matrix elements between distinct eigenspaces of QQ vanish. Levels in different sectors do not repel because no symmetry-preserving matrix element can hybridize them.

Combining two independent level sequences therefore weakens apparent repulsion. Combining many sequences can approach a Poisson-like process even if each block separately follows random-matrix statistics. This is why accidental pooling is among the most common false diagnoses of integrability or localization.

For lattice models, the minimum audit often includes:

StructureTypical block label
U(1)U(1) chargeparticle number or total SzS^z
translationcrystal momentum kk
reflectionparity, when compatible with kk
spin rotationtotal spin SS and SzS^z
particle–hole or sublattice symmetryrepresentation or paired sector
gauge constraintphysical charge sector
boundary conditionperiodic, antiperiodic, twisted, or open

Two symmetries that do not commute cannot always be diagonalized simultaneously. One must decompose into irreducible representations of the full symmetry algebra, not merely attach every familiar quantum number.

Antiunitary symmetry must act within the block

Section titled “Antiunitary symmetry must act within the block”

Let Θ\Theta be antiunitary and satisfy

ΘHΘ−1=H.\Theta H\Theta^{-1}=H.

The relevant question is not whether the full Hamiltonian is time-reversal invariant. It is whether Θ\Theta maps the chosen irreducible block to itself.

For a translation-invariant system,

Θ:Hk⟶H−k.\Theta: \mathcal H_k \longrightarrow \mathcal H_{-k}.

At generic k≠−kk\ne-k modulo a reciprocal lattice vector, a single momentum block has no antiunitary symmetry acting internally even though the union of the kk and −k-k blocks is time-reversal invariant. That block can display unitary-class statistics. At invariant momenta such as k=0k=0 or k=πk=\pi in an even periodic chain, the antiunitary operation can act within the block and select a different class.

Antiunitary Symmetries owns the general operator theory.

If an antiunitary symmetry obeys

Θ2=−I,\Theta^2=-I,

every level in an invariant sector is at least doubly degenerate. The symplectic comparison concerns spacings between distinct Kramers doublets, not the zero spacing inside each protected pair.

If

H=H0+λVH = H_0+\lambda V

and H0H_0 has a symmetry weakly broken by λV\lambda V, finite systems can show a crossover rather than either limiting ensemble. The perturbation becomes spectrally effective when its typical matrix element between nearby unperturbed states competes with the local mean spacing:

λ∣Vmn∣≳Δ(E).\lambda \left| V_{mn} \right| \gtrsim \Delta(E).

Because Δ(E)\Delta(E) often decreases exponentially with LL, a perturbation that looks negligible microscopically can eventually mix an enormous number of many-body levels. The crossover scale is nevertheless observable-, window-, and model-dependent; it should be measured, not inferred from this inequality alone.

Let

N(E)=∑nΘ(E−En)N(E) = \sum_n \Theta(E-E_n)

be the staircase counting function in one sector. Write

N(E)=N‾(E)+Nfluc(E),N(E) = \overline N(E) + N_{\mathrm{fluc}}(E),

where N‾(E)\overline N(E) is a smooth estimate of the integrated density of states. The unfolded levels are

εn=N‾(En),\varepsilon_n = \overline N(E_n),

with spacings

sn=εn+1−εn.s_n = \varepsilon_{n+1}-\varepsilon_n.

Ideally,

⟨s⟩window≃1.\langle s\rangle_{\mathrm{window}} \simeq 1.

Unfolding removes the smooth density while retaining fluctuations. A fit that is too rigid leaves density variation in the data; a fit that is too flexible can erase the very long-range correlations being measured. Every long-range claim should be repeated with several defensible unfolding or filtering choices.

Independent unfolded levels give

PP(s)=e−s,s≥0.P_{\mathrm P}(s) = e^{-s}, \qquad s\ge0.

Thus

PP(0)=1,P_{\mathrm P}(0)=1,

so there is no level repulsion. Generic integrable systems often approach this benchmark after all ordinary symmetries are resolved, but “integrable implies Poisson” is not an exception-free theorem. Free spectra, commensurate frequencies, arithmetic structure, exact degeneracies, and effectively one-dimensional ladders can behave differently.

Poisson statistics also occurs in localized spectra. It is therefore evidence for absent spectral repulsion, not a mechanism label.

The three classical random-matrix classes are indexed by

β∈{1,2,4}.\beta \in \{1,2,4\}.

Their working interpretation is:

Dyson indexHamiltonian classAntiunitary structure in the blockSmall-spacing law
β=1\beta=1GOEΘ2=+I\Theta^2=+IP(s)∝sP(s)\propto s
β=2\beta=2GUEno internal antiunitary symmetryP(s)∝s2P(s)\propto s^2
β=4\beta=4GSEΘ2=−I\Theta^2=-I, after pairingP(s)∝s4P(s)\propto s^4

The exponent is the robust point:

Pβ(s)∼s→0cβsβ.P_\beta(s) \underset{s\to0}{\sim} c_\beta s^\beta.

Simple Wigner surmises use

PβW(s)=aβsβe−bβs2,P_\beta^{\mathrm W}(s) = a_\beta s^\beta e^{-b_\beta s^2},

with aβa_\beta and bβb_\beta chosen for normalization and unit mean spacing. These compact formulas come from small random matrices and approximate the large-matrix nearest-neighbor distributions extremely well; they are not exact finite-size laws for an arbitrary local Hamiltonian.

Dyson’s classification assumes the ordinary bulk setting. Chiral, particle–hole, non-Hermitian, and topological edge problems can require other classes and other local kernels.

Define raw gaps

δn=En+1−En\delta_n = E_{n+1}-E_n

and the symmetrized ratio

r~n=min⁡(δn,δn+1)max⁡(δn,δn+1).\widetilde r_n = \frac{ \min(\delta_n,\delta_{n+1}) }{ \max(\delta_n,\delta_{n+1}) }.

Because

0≤r~n≤1,0\le\widetilde r_n\le1,

the sample mean is robust and easy to compare across windows. It is unchanged by a locally constant rescaling of energy, so it avoids explicit unfolding to leading order.

Useful large-matrix benchmarks are

Statistics⟨r~⟩\langle\widetilde r\rangle
Poisson2ln⁡2−1≃0.386292\ln2-1\simeq0.38629
GOE≃0.5307\simeq0.5307
GUE≃0.5996\simeq0.5996
GSE≃0.6744\simeq0.6744

The often-quoted Wigner-like ratio surmises give nearby, not identical, values. For example, their GOE and GUE means are approximately 0.535900.53590 and 0.602660.60266. A report should state which benchmark is being used.

Gap ratios reduce sensitivity to density variation. They do not:

  • resolve symmetries automatically;
  • remove exact degeneracies;
  • diagnose long-range spectral rigidity;
  • distinguish integrability from localization;
  • guarantee enough independent samples;
  • eliminate finite-size drift.

If MM ratios are treated as independent, the naive standard error is

SE⁡(r‾)≃Var⁡(r~)M.\operatorname{SE} \left( \overline r \right) \simeq \sqrt{ \frac{ \operatorname{Var}(\widetilde r) }{ M } }.

Adjacent ratios share gaps and are correlated, so this formula can underestimate uncertainty. Block bootstrap over energy windows or independent disorder realizations is usually safer. For a clean model with one spectrum, changing window boundaries and system size is part of the uncertainty analysis.

Avoided Crossings Explain Repulsion Locally

Section titled “Avoided Crossings Explain Repulsion Locally”

The elementary mechanism appears in a two-level block:

Heff=(E1(λ)vv∗E2(λ)).H_{\mathrm{eff}} = \begin{pmatrix} E_1(\lambda) & v \\ v^* & E_2(\lambda) \end{pmatrix}.

Its eigenvalue separation is

ΔE=(E1−E2)2+4∣v∣2.\Delta E = \sqrt{ \left( E_1-E_2 \right)^2 + 4|v|^2 }.

If the two states share all exact quantum numbers, a generic perturbation allows v≠0v\ne0, and the levels avoid crossing. If a symmetry forbids their coupling, then v=0v=0 and an exact crossing can persist.

This argument explains why symmetry resolution is logically prior to spacing statistics. It does not by itself derive a random-matrix distribution: collective universality requires the statistics of many coupled levels.

Nearest-neighbor measures probe only the shortest spectral scale. A spectrum can show local repulsion before its longer-range correlations have reached random-matrix form.

For an unfolded interval of length ℓ\ell, let nℓ(x)n_\ell(x) count levels in [x,x+ℓ][x,x+\ell]. The number variance is

Σ2(ℓ)=⟨[nℓ(x)−ℓ]2⟩x.\Sigma^2(\ell) = \left\langle \left[ n_\ell(x)-\ell \right]^2 \right\rangle_x.

For Poisson statistics,

ΣP2(ℓ)=ℓ.\Sigma_{\mathrm P}^2(\ell) = \ell.

Random-matrix spectra are more rigid: their variance grows only logarithmically at large ℓ\ell, with a class-dependent coefficient. Spectral rigidity and the two-level cluster function contain related information.

The largest trustworthy ℓ\ell is limited by the unfolding scale, the energy window, and nonuniversal transport physics.

Choose a smooth window f(E)f(E) centered on the energy region of interest and define

Zf(t)=∑nf(En)e−iEnt/ℏ.Z_f(t) = \sum_n f(E_n) e^{-iE_nt/\hbar}.

The filtered spectral form factor is

Kf(t)=⟨∣Zf(t)∣2⟩,K_f(t) = \left\langle \left| Z_f(t) \right|^2 \right\rangle,

where the angle brackets denote a declared average over disorder, circuit realizations, nearby spectral windows, boundary twists, or a controlled time smoothing.

Expanding the modulus gives

Kf(t)=⟨∑m,nf(Em)f(En)×e−i(Em−En)t/ℏ⟩.\begin{aligned} K_f(t) &= \Bigg\langle \sum_{m,n} f(E_m)f(E_n) \\ &\qquad\times e^{-i(E_m-E_n)t/\hbar} \Bigg\rangle. \end{aligned}

Thus Kf(t)K_f(t) is a Fourier probe of two-level spectral correlations.

The smooth density of states produces a large nonuniversal contribution. Define

Kf,c(t)=Kf(t)−∣⟨Zf(t)⟩∣2.K_{f,\mathrm c}(t) = K_f(t) - \left| \left\langle Z_f(t) \right\rangle \right|^2.

The subtraction matters. Without it, the early-time decay of the Fourier-transformed density can be mistaken for a universal correlation feature.

For a single deterministic spectrum, the meaning of the average is especially delicate. Time smoothing can reveal a trend but also alter it. A credible analysis reports the filter and smoothing bandwidth and demonstrates stability under reasonable changes.

The familiar shorthand combines two related plots. In the full form factor Kf(t)K_f(t):

  1. a nonuniversal early decay can be dominated by the Fourier transform of the smooth density;
  2. a correlation hole or dip can appear below an uncorrelated baseline;
  3. the result rises toward its late-time value.

After subtracting the disconnected density contribution, the connected form factor Kf,c(t)K_{f,\mathrm c}(t) isolates fluctuation correlations more cleanly. It can contain nonuniversal hydrodynamic or constrained-mode corrections before tTht_{\mathrm{Th}}, approach a random-matrix ramp after those modes relax, and reach a plateau when spectral discreteness dominates near tHt_{\mathrm H}.

Thus “dip–ramp–plateau” is useful morphology, not a claim that every feature belongs to the connected piece or that the four regions are phases. Exact slopes, normalizations, and crossover times depend on whether the ensemble is Gaussian or circular, on β\beta, and on the chosen normalization of KK.

Four-panel audit of symmetry sectors, local gap statistics, the spectral-form-factor timeline, and complementary many-body chaos evidence

A many-body chaos claim is assembled in layers. Exact sectors must be separated before gap statistics are measured. Short-range repulsion does not fix the long-range form factor: the full form factor can contain smooth-density decay, while the connected random-matrix ramp begins only after a model-dependent Thouless time tTht_{\rm Th} and saturates near the Heisenberg time tHt_{\rm H}. ETH and operator growth provide complementary, not interchangeable, evidence.

Let ρα(E)\rho_\alpha(E) be the smooth density of states in the chosen sector. The local mean spacing is

Δα(E)=1ρα(E).\Delta_\alpha(E) = \frac{1}{ \rho_\alpha(E) }.

One common Heisenberg-time convention is

tH(E)=2πℏΔα(E)=2πℏρα(E).t_{\mathrm H}(E) = \frac{ 2\pi\hbar }{ \Delta_\alpha(E) } = 2\pi\hbar \rho_\alpha(E).

At finite energy density, with entropy measured in units of kBk_{\mathrm B},

ρα(E)∼eSα(E),\rho_\alpha(E) \sim e^{S_\alpha(E)},

so

tH∼ℏeSα(E)t_{\mathrm H} \sim \hbar e^{S_\alpha(E)}

up to algebraic and convention-dependent factors. The plateau is therefore exponentially late in system size for a many-body Hamiltonian.

The many-body Thouless time tTht_{\mathrm{Th}} is the scale beyond which a chosen spectral diagnostic approaches its random-matrix prediction:

t≳tTh⟺RMT-like correlationsat the probed scale.\begin{gathered} t \gtrsim t_{\mathrm{Th}} \\ \Longleftrightarrow \\ \text{RMT-like correlations} \\ \text{at the probed scale}. \end{gathered}

Its reciprocal defines a Thouless energy,

ETh∼ℏtTh.E_{\mathrm{Th}} \sim \frac{\hbar}{ t_{\mathrm{Th}} }.

The notation hides conventions. A value inferred from the connected spectral form factor need not match one inferred from number variance or observable matrix elements without order-one or even parametric differences.

The expected hierarchy in a developed chaotic regime is

tmicro≪tTh≪tH.t_{\mathrm{micro}} \ll t_{\mathrm{Th}} \ll t_{\mathrm H}.

If no interval separates tTht_{\mathrm{Th}} and tHt_{\mathrm H} at accessible sizes, a visible ramp may be too short to support a scaling claim.

Locality prevents conserved densities from relaxing instantly. For a diffusive mode,

∂tn(x,t)=D∇2n(x,t).\partial_t n(\mathbf x,t) = D\nabla^2 n(\mathbf x,t).

In a periodic box of linear size LL, the slowest nonuniform mode has

qmin⁡=2πL,q_{\min} = \frac{2\pi}{L},

and a relaxation time

τdiff=1Dqmin⁡2=L24π2D.\tau_{\mathrm{diff}} = \frac{1}{ Dq_{\min}^2 } = \frac{ L^2 }{ 4\pi^2D }.

In models where diffusion controls the onset of spectral universality,

tTh∼τdifft_{\mathrm{Th}} \sim \tau_{\mathrm{diff}}

up to definition-dependent factors. Ballistic, subdiffusive, anomalous, or constrained systems can scale differently. Energy conservation in a static Hamiltonian and charge conservation in a Floquet circuit need not produce identical form factors.

A useful scale count is

gTh∼EThΔ∼tHtTh,g_{\mathrm{Th}} \sim \frac{ E_{\mathrm{Th}} }{ \Delta } \sim \frac{ t_{\mathrm H} }{ t_{\mathrm{Th}} },

where factors such as 2π2\pi depend on convention. Large gThg_{\mathrm{Th}} means many levels lie inside the universal energy window.

The important lesson is directional:

RMT is an infrared statementin energy differences\begin{gathered} \text{RMT is an infrared statement} \\ \text{in energy differences} \end{gathered}

or, equivalently, a late-time statement before the discrete-spectrum plateau. It does not say that a local Hamiltonian resembles a dense random matrix at microscopic energy scales.

Random Matrix Theory as an Effective Description

Section titled “Random Matrix Theory as an Effective Description”

Random-matrix theory enters a local many-body problem as an effective theory of selected unfolded fluctuations, not as an entry-by-entry model of the Hamiltonian. A spin chain or lattice Hamiltonian remains sparse, local, and constrained by conservation laws even when its late, symmetry-resolved spectral correlations approach an invariant-ensemble benchmark.

The universal layer can include the Dyson class, short-range repulsion, long-range unfolded correlations, and a connected form-factor ramp and plateau. It does not determine the global density of states, hydrodynamic coefficients, quasiparticles, operator support, ETH envelopes, or microscopic relaxation times. Those nonuniversal structures set the Thouless scale and the window in which a random-matrix comparison is justified.

Random Matrix Theory in Quantum Matter derives the Gaussian and circular measures, Vandermonde repulsion, Wigner surmises, sine kernel, and symmetry-class extension. The present page retains the many-body applicability boundary, finite-size workflow, and dynamical interpretation.

For a static Hamiltonian, one commonly compares bulk energies with the matching Gaussian class. For a periodic drive, the one-period unitary

UF∣ϕn⟩=e−iθn∣ϕn⟩U_F \lvert\phi_n\rangle = e^{-i\theta_n} \lvert\phi_n\rangle

has eigenphases θn\theta_n on a circle. The natural benchmarks are circular orthogonal, unitary, or symplectic ensembles. Phase wrapping, exact quasienergy symmetries, and the absence of energy conservation change the many-body analysis.

Floquet Operators owns quasienergy kinematics, and Floquet Systems Preview owns heating and driven phase structure.

Bulk sine-kernel intuition should not be applied blindly to:

  • the ground-state edge;
  • a mobility edge;
  • a symmetry-protected zero energy;
  • a many-body phase transition;
  • an exceptional point of a non-Hermitian generator;
  • a quasienergy symmetry point at 00 or π\pi.

Edge statistics, chiral kernels, and non-Hermitian spectra require separate ensembles and scalings.

Consider an open spin chain

H=−J∑j=1L−1σjzσj+1z−hx∑j=1Lσjx−hz∑j=1Lσjz.\begin{aligned} H &= -J \sum_{j=1}^{L-1} \sigma_j^z\sigma_{j+1}^z \\ &\quad - h_x \sum_{j=1}^{L} \sigma_j^x \\ &\quad - h_z \sum_{j=1}^{L} \sigma_j^z. \end{aligned}

At hz=0h_z=0, the transverse-field Ising chain maps to free fermions and is integrable. Generic nonzero hxh_x and hzh_z break that structure. With real couplings and a basis in which the Hamiltonian is real, an irreducible block typically compares with GOE statistics.

Open boundaries leave reflection symmetry when the fields are uniform. Pooling even and odd reflection sectors obscures repulsion. Edge fields can remove reflection symmetry, but they also change finite-size effects and must be declared.

A standard interpolation is

H(λ)=J1∑j(SjxSj+1x+SjySj+1y+ΔzSjzSj+1z)+λJ2∑j(SjxSj+2x+SjySj+2y+Δ2SjzSj+2z).\begin{aligned} H(\lambda) &= J_1 \sum_j \left( S_j^xS_{j+1}^x + S_j^yS_{j+1}^y \right. \\ &\qquad\left. + \Delta_z S_j^zS_{j+1}^z \right) \\ &\quad + \lambda J_2 \sum_j \left( S_j^xS_{j+2}^x + S_j^yS_{j+2}^y \right. \\ &\qquad\left. + \Delta_2 S_j^zS_{j+2}^z \right). \end{aligned}

At an integrable point, symmetry-resolved bulk statistics are often approximately Poisson. Generic next-nearest-neighbor couplings produce a finite-size crossover toward Wigner–Dyson statistics.

The phrase “the crossover coupling” is incomplete unless it names:

  • system size;
  • magnetization and momentum sector;
  • energy-density window;
  • boundary conditions;
  • chosen statistic;
  • numerical threshold.

Different diagnostics can cross over at different apparent couplings.

Local random circuits and dual-unitary circuits provide analytically tractable laboratories. For a Floquet unitary,

K(t)=⟨∣Tr⁡UFt∣2⟩,t∈Z.K(t) = \left\langle \left| \operatorname{Tr} U_F^t \right|^2 \right\rangle, \qquad t\in\mathbb Z.

Special circuit ensembles admit exact mappings to classical partition functions or transfer matrices. They demonstrate that many-body random-matrix correlations can emerge without a semiclassical limit.

They are proofs for stated model classes, not proofs that every nonintegrable Hamiltonian has the same onset scale.

The ETH ansatz for a few-body observable OO has the schematic form

Omn=O‾(E)δmn+e−S(E)/2fO(E,ω)Rmn,\begin{aligned} O_{mn} &= \overline O(E) \delta_{mn} \\ &\quad + e^{-S(E)/2} f_O(E,\omega) R_{mn}, \end{aligned}

with

E=Em+En2,ω=Em−En.E = \frac{E_m+E_n}{2}, \qquad \omega = E_m-E_n.

Spectral chaos concerns correlations among the EnE_n. ETH concerns matrix elements of a declared observable in the energy basis. The two data sets are not the same.

A generic nonintegrable parameter regime often exhibits both:

Wigner–Dyson spectral correlationsandETH-like local matrix elements.\begin{gathered} \text{Wigner–Dyson spectral correlations} \\ \text{and} \\ \text{ETH-like local matrix elements}. \end{gathered}

This is a powerful empirical pattern, not a biconditional theorem.

Random variables retain envelopes and correlations

Section titled “Random variables retain envelopes and correlations”

The factor RmnR_{mn} is often modeled as a zero-mean unit-variance random variable over a local energy window. But locality, conservation, Hermiticity, and higher-point consistency impose correlations. The smooth envelope fO(E,ω)f_O(E,\omega) contains dynamical information such as transport and spectral weight.

At low frequency, a conserved mode can produce structure that a featureless random matrix misses. Random-matrix behavior for matrix elements may emerge only below an observable-dependent frequency scale.

  • A spectrum can have Wigner–Dyson statistics while a rare set of scarred states violates strong ETH.
  • Hilbert-space fragmentation can support ETH-like behavior inside each large component while the union retains memory.
  • A chosen local observable can look thermal in a model whose full spectral diagnostics are subtle.
  • Mixing exact sectors can make a thermalizing model look Poisson.
  • A localized or integrable model can show Poisson statistics for entirely different reasons.
  • Spectral statistics alone do not determine a relaxation time or transport law.

Use spectral and ETH tests as mutually constraining evidence, not as synonyms.

For initially separated local operators WxW_x and V0V_0, define

Wx(t)=eiHt/ℏWxe−iHt/ℏW_x(t) = e^{iHt/\hbar} W_x e^{-iHt/\hbar}

and a squared commutator

C(x,t)=12⟨[Wx(t),V0]†[Wx(t),V0]⟩.C(x,t) = \frac{1}{2} \left\langle [W_x(t),V_0]^\dagger [W_x(t),V_0] \right\rangle.

This probes whether the evolved operator has reached and become noncommuting with the probe at the origin. Spatially resolved C(x,t)C(x,t) can reveal a butterfly front, broadening, and saturation.

It answers a different question from level statistics:

level statistics⟶energy correlations,OTOC⟶operator noncommutativity,scrambling⟶delocalization ofrecoverable information.\begin{gathered} \text{level statistics} \longrightarrow \text{energy correlations}, \\ \text{OTOC} \longrightarrow \text{operator noncommutativity}, \\ \text{scrambling} \longrightarrow \\ \text{delocalization of} \\ \text{recoverable information}. \end{gathered}

Chaotic systems often show all three, but:

  • integrable systems can have ballistic operator fronts;
  • free systems can make selected OTOCs decay;
  • random-matrix-like spectra do not determine spatial growth;
  • a global OTOC can hide front geometry;
  • finite-dimensional saturation can mimic a plateau.

Scrambling and OTOCs Preview supplies the regularized thermal correlators, velocity hierarchy, chaos-bound assumptions, and measurement protocols. Here the OTOC is only one independent column in the evidence ledger.

The SYK Model Preview gives a controlled all-to-all example in which an early large-NN Lyapunov window and much later parity-resolved random-matrix correlations coexist without being the same observable.

Let

∣En⟩=∑aca(n)∣a⟩\lvert E_n\rangle = \sum_a c_a^{(n)} \lvert a\rangle

in a chosen basis. The inverse participation ratio is

IPR⁡n=∑a∣ca(n)∣4.\operatorname{IPR}_n = \sum_a \left| c_a^{(n)} \right|^4.

An extended vector over D\mathcal D comparable components has

IPR⁡∼1D,\operatorname{IPR} \sim \frac{1}{\mathcal D},

while a basis vector has IPR⁡=1\operatorname{IPR}=1.

This diagnostic is explicitly basis dependent. Delocalization in the computational basis can mean something different from delocalization in the eigenbasis of a nearby integrable Hamiltonian. Haar-random vector benchmarks also ignore energy locality and conservation laws unless the comparison ensemble is restricted appropriately.

Entanglement entropy, Porter–Thomas intensity statistics, participation entropies, and eigenstate correlations provide additional evidence. None alone defines chaos. Volume Laws owns the entanglement scaling of states.

Record the Hamiltonian or Floquet unitary, couplings, boundary conditions, system size, and numerical precision. Verify Hermiticity or unitarity.

Identify every exact unitary and antiunitary symmetry. Check dimensions against independent state counting. Remove Kramers duplication correctly.

Use a fixed energy-density interval where the density is smooth and enough levels remain. Repeat with shifted and narrowed windows.

Look for unexplained exact degeneracies, duplicate states, solver failures, and sector contamination before applying statistics.

Report the full r~\widetilde r distribution, its mean, sample count, uncertainty, and size drift. If unfolded spacings are used, publish the unfolding method.

Use number variance, rigidity, or a connected filtered spectral form factor. Vary filters and smoothing bandwidths.

Define the fitting criterion for tTht_{\mathrm{Th}}, tHt_{\mathrm H}, or EThE_{\mathrm{Th}}. Compare with transport times rather than assigning an interpretation from the symbol alone.

Test ETH matrix elements, local relaxation, transport, entanglement, or operator growth as appropriate. State disagreements instead of averaging them away.

Increase LL, compare adjacent symmetry sectors when theoretically appropriate, vary boundary conditions, and track the number of levels. A single mid-spectrum curve is an observation, not a thermodynamic conclusion.

EvidenceStrong observationWhat it does not establish
adjacent-gap ratioslocal repulsion in one blocklong-range rigidity or ETH
spacing distributionDyson small-ss exponentmechanism or universal window
number variancerigidity across many levelsdynamics of local observables
connected form factorramp and plateau after declared averagingspatial scrambling
ETH matrix elementsthermal smoothness and entropy scalingcomplete RMT independence
participation statisticsbasis-relative delocalizationlocality or thermalization
OTOC frontspatial operator growthspectral universality
local relaxationloss of memory for chosen observablesabsence of scars or hidden sectors
size scalingstability or systematic driftthe infinite-size limit without a model

The strongest case is overdetermined: several columns agree after their assumptions and scales are made compatible.

In a bulk sector,

Δ(E)∼e−s(e)L\Delta(E) \sim e^{-s(e)L}

up to powers of LL. Numerical eigenvalue errors must be much smaller than the spacings being analyzed. Loss of orthogonality, insufficient solver tolerance, or accidental duplicate eigenpairs can distort the smallest gaps first.

Correctly resolving symmetries reduces matrix dimension. A very small block may not support a stable histogram. Pooling inequivalent blocks to increase statistics solves the sample-size problem by changing the physical ensemble, which is not acceptable.

Equivalent sectors related by an exact unitary mapping may be averaged only after demonstrating their equivalence and removing duplicate eigenvalues.

The low-energy edge can retain quasiparticles, broken-symmetry towers, topology, or critical scaling even when the middle of the spectrum is chaotic. State the energy density and do not generalize a mid-spectrum result to the ground state.

A high-order fit can absorb genuine rigidity, while a low-order fit can leave curvature. Gap ratios, several unfolding schemes, and filtered form factors should be compared.

Disorder averaging can conceal broad sample-to-sample distributions. Report medians or quantiles when rare samples matter. Do not treat neighboring levels from one realization as fully independent observations.

Shift-invert methods can target a spectral window, but spectral transformation and finite tolerance require validation against dense diagonalization at smaller LL. Missing or duplicated states invalidate spacing statistics even if individual eigenvalues look accurate.

Direct many-body spectroscopy becomes exponentially demanding, so experiments often probe adjacent ideas rather than reconstructing a macroscopic spectrum.

Controllable few-qubit systems can map eigenphases, reconstruct states, and compare ergodic and regular parameter regions. Larger quantum processors can measure OTOCs, operator spreading, randomized observables, return probabilities, or spectral form factors through interferometric and randomized protocols.

Experimental claims need an expanded ledger:

  • finite coherence time and gate error;
  • imperfect symmetry conservation;
  • state-preparation and measurement bias;
  • ensemble or random-circuit averaging;
  • classical postprocessing assumptions;
  • accessible time relative to tTht_{\mathrm{Th}} and tHt_{\mathrm H};
  • comparison with calibrated integrable and chaotic controls.

Observing rapid entanglement growth or OTOC decay is valuable evidence for information spreading. It is not a direct measurement of Wigner–Dyson energy statistics unless the protocol explicitly reconstructs the relevant spectral correlator.

Integrability is positive structure: an extensive controlled family of charges, factorized scattering, transfer matrices, or equivalent exact machinery. Poisson statistics is supportive evidence after symmetry resolution, not the definition.

MBL phenomenology combines Poisson-like spectra with local memory, nonthermal eigenstates, suppressed transport, and characteristic entanglement dynamics. Poisson statistics alone cannot distinguish it from a clean integrable model or sector mixing.

A prethermal system can show chaotic dynamics within an approximately conserved sector while drifting only slowly between sectors. The relevant random-matrix block can therefore be defined by dressed quasi-conserved quantities over an intermediate time window.

A sparse set of atypical eigenstates can coexist with a mostly Wigner–Dyson spectrum and weak ETH. Special initial states can revive even when typical states thermalize. Bulk spectral chaos does not erase every structured eigenstate.

Hydrodynamic modes are not failures of chaos. They are universal consequences of conservation and locality that control relaxation before the pure random-matrix regime. Calling every slow mode “nonergodic” confuses a transport timescale with asymptotic memory.

Liouvillian and non-Hermitian spectra have complex eigenvalues and different symmetry classifications. Hermitian spacing ratios and Gaussian ensembles cannot be transferred unchanged.

  • Pooling particle-number, momentum, parity, spin, or gauge sectors.
  • Checking time-reversal symmetry of the full Hamiltonian instead of its action within one block.
  • Leaving Kramers zero spacings in a GSE comparison.
  • Treating the Wigner surmise as the exact large-matrix spacing distribution.
  • Quoting a gap-ratio mean without the energy window, sample count, uncertainty, or system size.
  • Claiming that gap ratios require no density or edge checks because they avoid explicit unfolding.
  • Inferring long-range rigidity from nearest-neighbor repulsion.
  • Plotting an unconnected spectral form factor and labeling density-of-states decay a universal dip.
  • Extracting a Thouless time without a fitting criterion or competing transport scale.
  • Equating spectral chaos with ETH, thermalization, operator growth, or scrambling.
  • Calling Poisson statistics proof of integrability or localization.
  • Comparing a static Hamiltonian spectrum with a circular ensemble, or Floquet eigenphases with a Gaussian ensemble, without justification.
  • Ignoring solver precision when spacings are exponentially small.
  • Treating one finite-size crossover as a thermodynamic phase boundary.
  • Using eigenvector delocalization without naming the basis.

Suppose

H=H+⊕H−,H = H_+\oplus H_-,

where each parity block has GOE-like statistics. A level Em+E_m^+ can cross a level En−E_n^- because parity forbids coupling:

⟨Em+∣H∣En−⟩=0.\langle E_m^+|H|E_n^-\rangle = 0.

The merged sequence contains many unconstrained cross-sector spacings. Its small-ss distribution can have nonzero weight even though each block separately repels. The correct conclusion is not “the model is integrable,” but “the pooled spectrum is not an irreducible ensemble.”

For independent exponential gaps xx and yy with unit mean, define

r=min⁡(x,y)max⁡(x,y).r = \frac{\min(x,y)}{\max(x,y)}.

The ratio density on 0≤r≤10\le r\le1 is

pP(r)=2(1+r)2.p_{\mathrm P}(r) = \frac{2}{ (1+r)^2 }.

Its mean is

⟨r⟩P=2∫01r dr(1+r)2=2ln⁡2−1.\begin{aligned} \langle r\rangle_{\mathrm P} &= 2 \int_0^1 \frac{r\,dr}{ (1+r)^2 } \\ &= 2\ln2-1. \end{aligned}

The derivation appears as an exercise below and illustrates why no unfolding is needed for this local ratio.

If a sector contains

Dα∼esL\mathcal D_\alpha \sim e^{sL}

states in a fixed-width bulk band, then

Δ∼e−sL\Delta \sim e^{-sL}

and

tH∼esL.t_{\mathrm H} \sim e^{sL}.

If diffusion sets

tTh∼L2,t_{\mathrm{Th}} \sim L^2,

then

tHtTh∼esLL2.\frac{ t_{\mathrm H} }{ t_{\mathrm{Th}} } \sim \frac{ e^{sL} }{ L^2 }.

The universal spectral window can contain exponentially many levels even though it starts only after a polynomially long hydrodynamic time.

Let xx and yy be independent exponentially distributed gaps with density e−xe^{-x} for x≥0x\ge0. Derive the probability density and mean of

r=min⁡(x,y)max⁡(x,y).r = \frac{\min(x,y)}{\max(x,y)}.
Solution

By symmetry, restrict to 0<x<y0<x<y and multiply by two. Insert a delta function:

p(r)=2∫0∞dy×∫0ydx e−x−yδ(r−xy).\begin{aligned} p(r) &= 2 \int_0^\infty dy \\ &\quad\times \int_0^y dx\, e^{-x-y} \delta\left( r-\frac{x}{y} \right). \end{aligned}

Using

δ(r−xy)=y δ(x−ry),\delta\left( r-\frac{x}{y} \right) = y\, \delta(x-ry),

gives

p(r)=2∫0∞ye−(1+r)y dy=2(1+r)2,0≤r≤1.\begin{aligned} p(r) &= 2 \int_0^\infty y e^{-(1+r)y}\,dy \\ &= \frac{2}{ (1+r)^2 }, \qquad 0\le r\le1. \end{aligned}

It is normalized because

∫012 dr(1+r)2=1.\int_0^1 \frac{2\,dr}{ (1+r)^2 } = 1.

For the mean,

⟨r⟩=2∫01r dr(1+r)2=2[ln⁡(1+r)+11+r]01=2ln⁡2−1.\begin{aligned} \langle r\rangle &= 2 \int_0^1 \frac{r\,dr}{ (1+r)^2 } \\ &= 2 \left[ \ln(1+r) + \frac{1}{1+r} \right]_0^1 \\ &= 2\ln2-1. \end{aligned}

Show that

P(s)=π2se−πs2/4P(s) = \frac{\pi}{2} s e^{-\pi s^2/4}

is normalized and has unit mean spacing.

Solution

For a>0a>0,

∫0∞se−as2 ds=12a.\int_0^\infty s e^{-as^2}\,ds = \frac{1}{2a}.

With a=π/4a=\pi/4,

∫0∞P(s) ds=π212(π/4)=1.\int_0^\infty P(s)\,ds = \frac{\pi}{2} \frac{1}{ 2(\pi/4) } = 1.

Also,

∫0∞s2e−as2 ds=π4a3/2.\int_0^\infty s^2e^{-as^2}\,ds = \frac{\sqrt{\pi}}{ 4a^{3/2} }.

Therefore

⟨s⟩=π2π4(π/4)3/2=1.\begin{aligned} \langle s\rangle &= \frac{\pi}{2} \frac{\sqrt{\pi}}{ 4(\pi/4)^{3/2} } \\ &= 1. \end{aligned}

The result verifies the chosen normalization. It does not make the surmise the exact large-GOE distribution.

3. Resolve a translation and time-reversal subtlety

Section titled “3. Resolve a translation and time-reversal subtlety”

A periodic spin chain has time-reversal symmetry and translation symmetry. Explain why a generic momentum block kk can display GUE statistics while the k=0k=0 block displays GOE statistics, assuming Θ2=+I\Theta^2=+I and no other antiunitary operation acts within the generic block.

Solution

Time reversal reverses momentum:

Θ:Hk⟶H−k.\Theta: \mathcal H_k \longrightarrow \mathcal H_{-k}.

For generic kk, the sectors kk and −k-k are distinct. Thus Θ\Theta is a symmetry of their direct sum but is not an antiunitary operator acting inside Hk\mathcal H_k. The irreducible kk block therefore has no internal antiunitary constraint and can belong to the unitary class.

At k=0k=0, one has −k=k-k=k modulo the reciprocal lattice vector. Time reversal acts within the block and squares to +I+I, selecting the orthogonal class after any remaining unitary symmetries are resolved.

Pooling kk and −k-k to “restore” time reversal is not a GOE analysis; it combines two correlated but distinct blocks.

Diagonalize

H(λ)=(aλvv∗−aλ)H(\lambda) = \begin{pmatrix} a\lambda & v \\ v^* & -a\lambda \end{pmatrix}

and find its minimum level spacing. What changes if a symmetry forces v=0v=0?

Solution

The characteristic equation is

E2=a2λ2+∣v∣2,E^2 = a^2\lambda^2+|v|^2,

so

E±=±a2λ2+∣v∣2.E_\pm = \pm \sqrt{ a^2\lambda^2+|v|^2 }.

The spacing is

E+−E−=2a2λ2+∣v∣2,E_+-E_- = 2 \sqrt{ a^2\lambda^2+|v|^2 },

with minimum

ΔEmin⁡=2∣v∣\Delta E_{\min} = 2|v|

at λ=0\lambda=0.

If symmetry forces v=0v=0, then

E±=±∣aλ∣,E_\pm = \pm|a\lambda|,

and the levels cross exactly at λ=0\lambda=0. This is the local reason independent symmetry sectors must not be pooled in a repulsion test.

Assume a one-dimensional diffusive chaotic chain has entropy density ss, diffusion constant DD independent of LL, and a fixed-width bulk spectral window. Estimate the size dependence of tTht_{\mathrm{Th}}, tHt_{\mathrm H}, and their ratio.

Solution

The slowest diffusive wave number is

qmin⁡=2πL.q_{\min} = \frac{2\pi}{L}.

Hence

tTh∼1Dqmin⁡2∼L2D,t_{\mathrm{Th}} \sim \frac{1}{ Dq_{\min}^2 } \sim \frac{L^2}{D},

where an order-one geometric factor has been suppressed.

The number of states in the bulk window scales as

D∼esL,\mathcal D \sim e^{sL},

so the mean spacing scales as

Δ∼e−sL.\Delta \sim e^{-sL}.

Therefore

tH∼ℏΔ∼ℏesL.t_{\mathrm H} \sim \frac{\hbar}{\Delta} \sim \hbar e^{sL}.

The ratio is

tHtTh∼ℏDesLL2.\frac{ t_{\mathrm H} }{ t_{\mathrm{Th}} } \sim \frac{ \hbar D e^{sL} }{ L^2 }.

Thus the interval between hydrodynamic relaxation and spectral discreteness grows rapidly with LL, even though direct numerical access to tHt_{\mathrm H} becomes correspondingly difficult.

6. Why the connected form factor is needed

Section titled “6. Why the connected form factor is needed”

Suppose the averaged filtered amplitude is nonzero:

⟨Zf(t)⟩≠0.\left\langle Z_f(t)\right\rangle \ne 0.

Show how the ordinary form factor decomposes and explain what the disconnected term measures.

Solution

Write

Zf(t)=⟨Zf(t)⟩+δZf(t),Z_f(t) = \left\langle Z_f(t)\right\rangle + \delta Z_f(t),

with

⟨δZf(t)⟩=0.\left\langle \delta Z_f(t) \right\rangle = 0.

Then

⟨∣Zf(t)∣2⟩=∣⟨Zf(t)⟩∣2+⟨∣δZf(t)∣2⟩.\begin{aligned} \left\langle \left| Z_f(t) \right|^2 \right\rangle &= \left| \left\langle Z_f(t) \right\rangle \right|^2 \\ &\quad + \left\langle \left| \delta Z_f(t) \right|^2 \right\rangle. \end{aligned}

The first term is the disconnected piece. It is controlled by the smooth one-level density and the chosen filter. The second term is

Kf,c(t)=⟨∣δZf(t)∣2⟩,K_{f,\mathrm c}(t) = \left\langle \left| \delta Z_f(t) \right|^2 \right\rangle,

which probes connected spectral fluctuations. Failing to subtract the first term can confuse the Fourier transform of the density of states with two-level universality.

A model has GOE-like gap ratios in the middle of each symmetry sector, but one specially prepared product state shows long-lived revivals. List three logically different explanations and one diagnostic for each.

Solution

Possible explanations include:

  1. Quantum scars. A sparse set of atypical eigenstates has large overlap with the product state. Inspect overlap weights, eigenstate entanglement, and diagonal matrix elements of the participating states.
  2. Approximate conservation or prethermalization. The state lies in an almost-invariant manifold. Track a proposed quasi-conserved quantity and scale the revival or plateau lifetime with the symmetry-breaking parameter.
  3. Finite-size recurrence. A small set of commensurate gaps produces a revival. Increase LL, vary boundaries, and test whether the recurrence time and amplitude drift.

One could also test sector contamination, an exact dynamical symmetry, or fragmentation. GOE-like bulk spacings rule out none of these state-selective mechanisms by themselves.

Design a numerical test of the integrability-to-chaos crossover in the mixed-field Ising chain. Your answer must specify sectors, windows, local and long-range diagnostics, and a finite-size check.

Solution

A defensible design is:

  1. Choose open boundaries and fixed JJ and hxh_x, then scan hzh_z from zero into a generic nonintegrable regime.
  2. Resolve reflection parity for uniform open chains. If edge fields break reflection, document them and analyze the resulting single block.
  3. For each LL, choose one or more fixed central energy-density windows and exclude the spectral edges.
  4. Compute the full adjacent-gap-ratio distribution and mean with a bootstrap uncertainty.
  5. Independently unfold with at least two smooth-density procedures and compare the spacing distribution and number variance.
  6. Compute a filtered connected spectral form factor, varying the filter and smoothing bandwidth.
  7. Extract crossover couplings separately for each diagnostic rather than assuming one value.
  8. Repeat over several LL and shifted windows. Validate partial eigensolver output against dense diagonalization at smaller sizes.
  9. Compare with ETH diagonal fluctuations for a local observable, while keeping that result conceptually separate from the spectral tests.

The output should report drift and uncertainty, not only the visually best collapse.

  • Dyson symmetry classes organize bulk spectral correlations after irreducible sector resolution.
  • Local repulsion and long-range rigidity are distinct observables.
  • Exact or asymptotically controlled random-matrix form-factor results occur in special solvable many-body circuits and driven models.
  • Conserved modes can control the onset of the random-matrix ramp.
  • The crossover strength away from integrability;
  • the scaling and even the operational definition of tTht_{\mathrm{Th}};
  • the relation between spectral onset and transport or scrambling times;
  • the size of the energy window over which RMT applies;
  • the quality of eigenvector random-matrix statistics.
  • Generic derivations for deterministic finite-range Hamiltonians;
  • higher-order spectral and eigenstate correlations beyond pairwise ETH;
  • controlled extrapolation from accessible exact-diagonalization sizes;
  • robust spectral-form-factor protocols on large quantum devices;
  • universality across all Dyson classes and conserved-mode structures.

Recent analytic work continues to extend spectral-form-factor calculations across symmetry classes in periodically kicked interacting systems. Those results strengthen a program, not a theorem covering all local many-body Hamiltonians.

  • Many-body quantum chaos is diagnosed by a family of scale- and symmetry-aware tests.
  • Exact symmetry resolution comes before every spacing or form-factor calculation.
  • Gap ratios are convenient local probes, not substitutes for long-range statistics or finite-size analysis.
  • Random-matrix universality concerns fluctuations below a Thouless energy, not microscopic matrix entries or global density of states.
  • tTht_{\mathrm{Th}} marks the onset of a universal regime; tHt_{\mathrm H} resolves discreteness and is typically exponentially larger.
  • ETH, spectral chaos, eigenvector delocalization, and scrambling are deeply related but not equivalent.
  • Conserved hydrodynamic modes delay universal spectral behavior without disproving chaos.
  • The most trustworthy conclusion is overdetermined and reports all averaging, windows, uncertainties, and size drift.
  • F. J. Dyson, “The threefold way: algebraic structure of symmetry groups and ensembles in quantum mechanics,” Journal of Mathematical Physics 3, 1199–1215 (1962). doi:10.1063/1.1703863
  • M. L. Mehta, Random Matrices, 3rd ed., Elsevier (2004).
  • F. Haake, Quantum Signatures of Chaos, 3rd ed., Springer (2010).
  • M. V. Berry and M. Tabor, “Level clustering in the regular spectrum,” Proceedings of the Royal Society A 356, 375–394 (1977). doi:10.1098/rspa.1977.0140
  • O. Bohigas, M. J. Giannoni, and C. Schmit, “Characterization of chaotic quantum spectra and universality of level fluctuation laws,” Physical Review Letters 52, 1–4 (1984). doi:10.1103/PhysRevLett.52.1
  • D. A. Rabson, B. N. Narozhny, and A. J. Millis, “Crossover from Poisson to Wigner–Dyson level statistics in spin chains with integrability breaking,” Physical Review B 69, 054403 (2004). doi:10.1103/PhysRevB.69.054403
  • V. Oganesyan and D. A. Huse, “Localization of interacting fermions at high temperature,” Physical Review B 75, 155111 (2007). doi:10.1103/PhysRevB.75.155111
  • L. F. Santos and M. Rigol, “Onset of quantum chaos in one-dimensional bosonic and fermionic systems and its relation to thermalization,” Physical Review E 81, 036206 (2010). doi:10.1103/PhysRevE.81.036206
  • Y. Y. Atas, E. Bogomolny, O. Giraud, and G. Roux, “Distribution of the ratio of consecutive level spacings in random matrix ensembles,” Physical Review Letters 110, 084101 (2013). doi:10.1103/PhysRevLett.110.084101
  • L. D’Alessio, Y. Kafri, A. Polkovnikov, and M. Rigol, “From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics,” Advances in Physics 65, 239–362 (2016). doi:10.1080/00018732.2016.1198134
  • P. Kos, M. Ljubotina, and T. Prosen, “Many-body quantum chaos: analytic connection to random matrix theory,” Physical Review X 8, 021062 (2018). doi:10.1103/PhysRevX.8.021062
  • B. Bertini, P. Kos, and T. Prosen, “Exact spectral form factor in a minimal model of many-body quantum chaos,” Physical Review Letters 121, 264101 (2018). doi:10.1103/PhysRevLett.121.264101
  • A. Chan, A. De Luca, and J. T. Chalker, “Spectral statistics in spatially extended chaotic quantum many-body systems,” Physical Review Letters 121, 060601 (2018). doi:10.1103/PhysRevLett.121.060601
  • A. Chan, A. De Luca, and J. T. Chalker, “Solution of a minimal model for many-body quantum chaos,” Physical Review X 8, 041019 (2018). doi:10.1103/PhysRevX.8.041019
  • H. Gharibyan, M. Hanada, S. H. Shenker, and M. Tezuka, “Onset of random matrix behavior in scrambling systems,” Journal of High Energy Physics 2018, 124 (2018). doi:10.1007/JHEP07(2018)124
  • A. J. Friedman, A. Chan, A. De Luca, and J. T. Chalker, “Spectral statistics and many-body quantum chaos with conserved charge,” Physical Review Letters 123, 210603 (2019). doi:10.1103/PhysRevLett.123.210603
  • A. Chan, A. De Luca, and J. T. Chalker, “Eigenstate correlations, thermalization, and the butterfly effect,” Physical Review Letters 122, 220601 (2019). doi:10.1103/PhysRevLett.122.220601
  • L. Foini and J. Kurchan, “Eigenstate thermalization hypothesis and out of time order correlators,” Physical Review E 99, 042139 (2019). doi:10.1103/PhysRevE.99.042139
  • M. Winer and B. Swingle, “Hydrodynamic theory of the connected spectral form factor,” Physical Review X 12, 021009 (2022). doi:10.1103/PhysRevX.12.021009
  • A. Dymarsky, “Bound on eigenstate thermalization from transport,” Physical Review Letters 128, 190601 (2022). doi:10.1103/PhysRevLett.128.190601
  • C. Neill et al., “Ergodic dynamics and thermalization in an isolated quantum system,” Nature Physics 12, 1037–1041 (2016). doi:10.1038/nphys3830
  • X. Mi et al., “Information scrambling in computationally complex quantum circuits,” Science 374, 1479–1483 (2021). doi:10.1126/science.abg5029
  • V. Kumar, T. Prosen, and D. Roy, “Leading and beyond leading-order spectral form factor in chaotic quantum many-body systems across all Dyson symmetry classes,” Physical Review X, accepted 21 May 2026. doi:10.1103/kwh6-hncn