Abstract:We derive necessary and sufficient conditions for universality limits for orthogonal polynomials on the real line and related systems. One of our results is that the Christoffel-Darboux kernel has sine kernel asymptotics at a point $\xi$, with regularly varying scaling, if and only if the orthogonality measure (spectral measure) has a unique tangent measure at $\xi$ and that tangent measure is the Lebesgue measure. This includes all prior results with absolutely continuous or singular measures. Our work is not limited to bulk universality; we show that the Christoffel-Darboux kernel has a regularly varying scaling limit with a nontrivial limit kernel if and only if the orthogonality measure has a unique tangent measure at $\xi$ and that tangent measure is not a point mass. The possible limit kernels correspond to homogeneous de Branges spaces; in particular, this equivalence completely characterizes several prominent universality classes such as hard edge universality, Fisher-Hartwig singularities, and jump discontinuities in the weights. The main part of the proof is the derivation of a new homeomorphism. In order to directly apply to the Christoffel-Darboux kernel, this homeomorphism is between measures and chains of de Branges spaces, not between Weyl functions and Hamiltonians. In order to handle limits with power law weights, this homeomorphism goes beyond the more common setting of Poisson-finite measures, and allows arbitrary power bounded measures.

Orthogonality of measures and states

The Logarithmic Minkowski Problem For Non-Symmetric Measures

Projective maximal families of orthogonal measures with large continuum

Equivalence of two orthogonalities between probability measures

Harish-Chandra's Orthogonality Relations for Admissible Representations

Generalized orthogonal measures on the space of unital completely positive maps

Maximality and completeness of orthogonal exponentials on the cube

Orthogonality Spaces Associated with Posets

On the orthogonality of zero-mean Gaussian measures: Sufficiently dense sampling

On orthogonality to uniquely ergodic systems

A universality theorem for ratios of random characteristic polynomials

Is an arbitrary diffused Borel probability measure in a Polish space without isolated points Haar measure?

Necessary and sufficient conditions for universality limits

Multiple orthogonal polynomials in random matrix theory

Conditions for the existence of positive operator valued measures

Orthonormal bases of extreme quantumness

Local Distinguishability and Schmidt Number of Orthogonal States

An elementary proof of representation of submodular function as an supremum of measures on $σ$-algebra with totally ordered generating class

Dense weakly lacunary subsystems of orthogonal systems and maximal partial sum operator