-
Necessary and sufficient conditions for universality limits
Authors:
Benjamin Eichinger,
Milivoje Lukić,
Harald Woracek
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 $ξ$, with regularly varying scaling, if and only if the orthogonality measure (spectral measure) has a unique tangent measure at $ξ$ and that tangent measure is the Leb…
▽ More
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 $ξ$, with regularly varying scaling, if and only if the orthogonality measure (spectral measure) has a unique tangent measure at $ξ$ 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 $ξ$ 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.
△ Less
Submitted 26 September, 2024;
originally announced September 2024.
-
Asymptotics for Christoffel functions associated to continuum Schrödinger operators
Authors:
Benjamin Eichinger
Abstract:
We prove asymptotics of the Christoffel function, $λ_L(ξ)$, of a continuum Schrödinger operator for points in the interior of the essential spectrum under some mild conditions on the spectral measure. It is shown that $Lλ_L(ξ)$ has a limit and that this limit is given by the Radon--Nikodym derivative of the spectral measure with respect to the Martin measure. Combining this with a recently develop…
▽ More
We prove asymptotics of the Christoffel function, $λ_L(ξ)$, of a continuum Schrödinger operator for points in the interior of the essential spectrum under some mild conditions on the spectral measure. It is shown that $Lλ_L(ξ)$ has a limit and that this limit is given by the Radon--Nikodym derivative of the spectral measure with respect to the Martin measure. Combining this with a recently developed local criterion for universality limits at scale $λ_L(ξ)$, we compute universality limits for continuum Schrödinger operators at scale $L$ and obtain clock spacing of the eigenvalues of the finite range truncations.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
An approach to universality using Weyl m-functions
Authors:
Benjamin Eichinger,
Milivoje Lukić,
Brian Simanek
Abstract:
We describe an approach to universality limits for orthogonal polynomials on the real line which is completely local and uses only the boundary behavior of the Weyl m-function at the point. We show that bulk universality of the Christoffel-Darboux kernel holds for any point where the imaginary part of the m-function has a positive finite nontangential limit. This approach is based on studying a ma…
▽ More
We describe an approach to universality limits for orthogonal polynomials on the real line which is completely local and uses only the boundary behavior of the Weyl m-function at the point. We show that bulk universality of the Christoffel-Darboux kernel holds for any point where the imaginary part of the m-function has a positive finite nontangential limit. This approach is based on studying a matrix version of the Christoffel-Darboux kernel and the realization that bulk universality for this kernel at a point is equivalent to the fact that the corresponding m-function has normal limits at the same point. Our approach automatically applies to other self-adjoint systems with $2\times 2$ transfer matrices such as continuum Schrödinger and Dirac operators. We also obtain analogous results for orthogonal polynomials on the unit circle.
△ Less
Submitted 24 August, 2021; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Stahl-Totik Regularity for Dirac Operators
Authors:
Benjamin Eichinger,
Ethan Gwaltney,
Milivoje Lukić
Abstract:
We develop a theory of regularity for Dirac operators with uniformly locally square-integrable operator data. This is motivated by Stahl--Totik regularity for orthogonal polynomials and by recent developments for continuum Schrödinger operators, but contains significant new phenomena. We prove that the symmetric Martin function at $\infty$ for the complement of the essential spectrum has the two-t…
▽ More
We develop a theory of regularity for Dirac operators with uniformly locally square-integrable operator data. This is motivated by Stahl--Totik regularity for orthogonal polynomials and by recent developments for continuum Schrödinger operators, but contains significant new phenomena. We prove that the symmetric Martin function at $\infty$ for the complement of the essential spectrum has the two-term asymptotic expansion $\Im \left( z - \frac{b}{2 z}\right) + o(\frac 1z)$ as $z \to i \infty$, which is seen as a thickness statement for the essential spectrum. The constant $b$ plays the role of a renormalized Robin constant and enters a universal inequality involving the lower average $L^2$-norm of the operator data. However, we show that regularity of Dirac operators is not precisely characterized by a single scalar equality involving $b$ and is instead characterized by a family of equalities. This work also contains a sharp Combes--Thomas estimate (root asymptotics of eigensolutions), a study of zero counting measures, and applications to ergodic and decaying operator data.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
Orthogonal rational functions with real poles, root asymptotics, and GMP matrices
Authors:
Benjamin Eichinger,
Milivoje Lukić,
Giorgio Young
Abstract:
There is a vast theory of the asymptotic behavior of orthogonal polynomials with respect to a measure on $\mathbb{R}$ and its applications to Jacobi matrices. That theory has an obvious affine invariance and a very special role for $\infty$. We extend aspects of this theory in the setting of rational functions with poles on $\overline{\mathbb{R}} = \mathbb{R} \cup \{\infty\}$, obtaining a formulat…
▽ More
There is a vast theory of the asymptotic behavior of orthogonal polynomials with respect to a measure on $\mathbb{R}$ and its applications to Jacobi matrices. That theory has an obvious affine invariance and a very special role for $\infty$. We extend aspects of this theory in the setting of rational functions with poles on $\overline{\mathbb{R}} = \mathbb{R} \cup \{\infty\}$, obtaining a formulation which allows multiple poles and proving an invariance with respect to $\overline{\mathbb{R}}$-preserving Möbius transformations. We obtain a characterization of Stahl--Totik regularity of a GMP matrix in terms of its matrix elements; as an application, we give a proof of a conjecture of Simon -- a Cesàro--Nevai property of regular Jacobi matrices on finite gap sets.
△ Less
Submitted 6 April, 2022; v1 submitted 26 August, 2020;
originally announced August 2020.
-
Spectral properties of Schrödinger operators associated to almost minimal substitution systems
Authors:
Benjamin Eichinger,
Philipp Gohlke
Abstract:
We study the spectral properties of ergodic Schrödinger operators that are associated to a certain family of non-primitive substitutions on a binary alphabet. The corresponding subshifts provide examples of dynamical systems that go beyond minimality, unique ergodicity and linear complexity. In some parameter region, we are naturally in the setting of an infinite ergodic measure. The almost sure s…
▽ More
We study the spectral properties of ergodic Schrödinger operators that are associated to a certain family of non-primitive substitutions on a binary alphabet. The corresponding subshifts provide examples of dynamical systems that go beyond minimality, unique ergodicity and linear complexity. In some parameter region, we are naturally in the setting of an infinite ergodic measure. The almost sure spectrum is singular and contains an interval. Some criteria for the exclusion of eigenvalues are fully characterized, including the existence of strongly palindromic sequences. Many of our structural insights rely on return word decompositions in the context of non-uniformly recurrent sequences. We introduce an associated induced system that is conjugate to an odometer.
△ Less
Submitted 16 September, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
Stahl--Totik regularity for continuum Schrödinger operators
Authors:
Benjamin Eichinger,
Milivoje Lukić
Abstract:
We develop a theory of regularity for continuum Schrödinger operators based on the Martin compactification of the complement of the essential spectrum. This theory is inspired by Stahl--Totik regularity for orthogonal polynomials, but requires a different approach, since Stahl--Totik regularity is formulated in terms of the potential theoretic Green function with a pole at $\infty$, logarithmic ca…
▽ More
We develop a theory of regularity for continuum Schrödinger operators based on the Martin compactification of the complement of the essential spectrum. This theory is inspired by Stahl--Totik regularity for orthogonal polynomials, but requires a different approach, since Stahl--Totik regularity is formulated in terms of the potential theoretic Green function with a pole at $\infty$, logarithmic capacity, and the equilibrium measure for the support of the measure, notions which do not extend to the case of unbounded spectra. For any half-line Schrödinger operator with a bounded potential (in a locally $L^1$ sense), we prove that its essential spectrum obeys the Akhiezer--Levin condition, and moreover, that the Martin function at $\infty$ obeys the two-term asymptotic expansion $\sqrt{-z} + \frac{a}{2\sqrt{-z}} + o(\frac 1{\sqrt{-z}})$ as $z \to -\infty$. The constant $a$ in that expansion plays the role of a renormalized Robin constant suited for Schrödinger operators and enters a universal inequality $a \le \liminf_{x\to\infty} \frac 1x \int_0^x V(t)dt$. This leads to a notion of regularity, with connections to the root asymptotics of Dirichlet solutions and zero counting measures. We also present applications to decaying and ergodic potentials.
△ Less
Submitted 3 January, 2020;
originally announced January 2020.
-
Szegő's Theorem for Canonical Systems: the Arov Gauge and a Sum Rule
Authors:
David Damanik,
Benjamin Eichinger,
Peter Yuditskii
Abstract:
We consider canonical systems and investigate the Szegő class, which is defined via the finiteness of the associated entropy functional. Noting that the canonical system may be studied in a variety of gauges, we choose to work in the Arov gauge, in which we prove that the entropy integral is equal to an integral involving the coefficients of the canonical system. This sum rule provides a spectral…
▽ More
We consider canonical systems and investigate the Szegő class, which is defined via the finiteness of the associated entropy functional. Noting that the canonical system may be studied in a variety of gauges, we choose to work in the Arov gauge, in which we prove that the entropy integral is equal to an integral involving the coefficients of the canonical system. This sum rule provides a spectral theory gem in the sense proposed by Barry Simon.
△ Less
Submitted 7 July, 2019;
originally announced July 2019.
-
KdV hierarchy via Abelian coverings and operator identities
Authors:
Benjamin Eichinger,
Tom VandenBoom,
Peter Yuditskii
Abstract:
We establish precise spectral criteria for potential functions $V$ of reflectionless Schrödinger operators $L_V = -\partial_x^2 + V$ to admit solutions to the Korteweg de-Vries (KdV) hierarchy with $V$ as an initial value. More generally, our methods extend the classical study of algebro-geometric solutions for the KdV hierarchy to noncompact Riemann surfaces by defining generalized Abelian integr…
▽ More
We establish precise spectral criteria for potential functions $V$ of reflectionless Schrödinger operators $L_V = -\partial_x^2 + V$ to admit solutions to the Korteweg de-Vries (KdV) hierarchy with $V$ as an initial value. More generally, our methods extend the classical study of algebro-geometric solutions for the KdV hierarchy to noncompact Riemann surfaces by defining generalized Abelian integrals and analogues of the Baker-Akhiezer function on infinitely connected domains with a uniformly thick boundary satisfying a fractional moment condition.
△ Less
Submitted 31 January, 2018;
originally announced February 2018.
-
Flag Manifolds and Grassmannians
Authors:
B. E. Eichinger
Abstract:
Flag manifolds are shown to describe the relations between configurations of distinguished points (topologically equivalent to punctures) embedded in a general spacetime manifold. Grassmannians are flag manifolds with just two subsets of points selected out from a set of N points. The geometry of Grassmannians is determined by a group acting by linear fractional transformations, and the associated…
▽ More
Flag manifolds are shown to describe the relations between configurations of distinguished points (topologically equivalent to punctures) embedded in a general spacetime manifold. Grassmannians are flag manifolds with just two subsets of points selected out from a set of N points. The geometry of Grassmannians is determined by a group acting by linear fractional transformations, and the associated Lie algebra induces transitions between subspaces. Curvature tensors are derived for a general flag manifold, showing that interactions between a subset of k points and the remaining N-k points in the configuration is determined by the coordinates in the flag manifold.
△ Less
Submitted 11 February, 2016; v1 submitted 22 January, 2015;
originally announced April 2015.
-
Killip-Simon problem and Jacobi flow on GSMP matrices
Authors:
B. Eichinger,
P. Yuditskii
Abstract:
One of the first and therefore most important theorems in perturbation theory claims that for an arbitrary self-adjoint operator A there exists a perturbation B of Hilbert-Schmidt class with arbitrary small operator norm, which destroys completely the absolutely continuos (a.c.) spectrum of the initial operator A (von Neumann). However, if A is the discrete free 1-D Schrödinger operator and B is a…
▽ More
One of the first and therefore most important theorems in perturbation theory claims that for an arbitrary self-adjoint operator A there exists a perturbation B of Hilbert-Schmidt class with arbitrary small operator norm, which destroys completely the absolutely continuos (a.c.) spectrum of the initial operator A (von Neumann). However, if A is the discrete free 1-D Schrödinger operator and B is an arbitrary Jacobi matrix (of Hilbert-Schmidt class) the a.c. spectrum remains perfectly the same, that is, the interval [-2,2]. Moreover, Killip and Simon described explicitly the spectral properties for such A+B. Jointly with Damanik they generalized this result to the case of perturbations of periodic Jacobi matrices in the non-degenerated case. Recall that the spectrum of a periodic Jacobi matrix is a system of intervals of a very specific nature. Christiansen, Simon and Zinchenko posed in a review dedicated to F. Gesztesy (2013) the following question: "is there an extension of the Damanik-Killip-Simon theorem to the general finite system of intervals case?" In this paper we solve this problem completely. Our method deals with the Jacobi flow on GSMP matrices. GSMP matrices are probably a new object in the spectral theory. They form a certain Generalization of matrices related to the Strong Moment Problem, the latter ones are a very close relative of Jacobi and CMV matrices. The Jacobi flow on them is also a probably new member of the rich family of integrable systems. Finally, related to Jacobi matrices of Killip-Simon class, analytic vector bundles and their curvature play a certain role in our construction and, at least on the level of ideology, this role is quite essential.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
Spin and the Symplectic Flag Manifold
Authors:
Bruce E. Eichinger
Abstract:
A theory for the transitive action of a group on the configuration space of a system of particles is shown to lead to the conclusion that interactions can be represented by the action of cosets of the group. By application of this principle to Pauli spinors, the symplectic group Sp(n) is shown to be the largest group of isometries of the space. Interactions between particles are represented by the…
▽ More
A theory for the transitive action of a group on the configuration space of a system of particles is shown to lead to the conclusion that interactions can be represented by the action of cosets of the group. By application of this principle to Pauli spinors, the symplectic group Sp(n) is shown to be the largest group of isometries of the space. Interactions between particles are represented by the complete quaternionic flag variety Sp(n)/Sp(1)^n.
△ Less
Submitted 13 August, 2013; v1 submitted 7 September, 2011;
originally announced September 2011.
-
Bosons Live in Symplectic Coset Spaces
Authors:
B. E. Eichinger
Abstract:
A theory for the transitive action of a group on the configuration space of a system of fermions is shown to lead to the conclusion that bosons can be represented by the action of cosets of the group. By application of the principle to fundamental, indivisible fermions, the symplectic group $Sp(n)$ is shown to be the largest group of isometries of the space. Interactions between particles are re…
▽ More
A theory for the transitive action of a group on the configuration space of a system of fermions is shown to lead to the conclusion that bosons can be represented by the action of cosets of the group. By application of the principle to fundamental, indivisible fermions, the symplectic group $Sp(n)$ is shown to be the largest group of isometries of the space. Interactions between particles are represented by the coset space $Sp(n)/ \bigotimes_1^n Sp(1)$.
△ Less
Submitted 24 April, 2009;
originally announced April 2009.
