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.

A uniqueness theorem for orthonormal spline series

A New Proof of Some Polynomial Inequalities Related to Pseudo-Splines

Unimodality preservation by ratios of functional series and integral transforms

Uniqueness sets for Fourier series

A New Regularized Siegel-Weil Type Formula. Part I

Kernel-Summability Methods and the Silverman-Toeplitz Theorem

Increasingly global convergence of Hermite serie

Necessary and sufficient conditions for universality limits

A uniqueness theorem for meromorphic maps into $\mathbb{P}^n$ with generic $(2n+2)$ hyperplanes

Fourier uniqueness and non-uniqueness pairs

A uniqueness result on ordinary differential equations with singular coefficients

A Note on a Strong Uniqueness Theorem of Strauss

A note concerning polyhyperbolic and related splines

On holomorphicity of Hartogs series satisfying algebraic relations

Stability in the Cauchy and Morera Theorems for Holomorphic Functions and Their Spatial Analogs

Unimodality and certain bivariate formal Laurent series

General forms of the Menshov-Rademacher, Orlicz, and Tandori theorems on orthogonal series

A Uniqueness Theorem of Meromorphic Maps and a Generalization of the Borel's Lemma

Regularized Integrals on Elliptic Curves and Holomorphic Anomaly Equations

The Non-Substitution Theorem, Uniqueness of Solution and Convex combinations of basic optimal solutions for linear optimization

A residue formula for integrals with hyperplane singularities