SearcharxivSearch

arXiv subjects

Benjamin Eichinger

Publications and source records attributed to Benjamin Eichinger.

At least 19 recordsLinked to original sources

Chebyshev polynomials on a Jordan arc

We describe the asymptotics of Chebyshev polynomials on an analytic Jordan arc in the plane. This gives an affirmative answer to a conjecture of Christiansen-Simon-Zinchenko, based on predictions of Widom from 1969. The proof combines weighted Faber polynomials with extremal signatures, discrete orthogonal polynomials and a Marcinkiewicz-Zygmund sampling inequality, and yields Szeg\H{o}-Widom asymptotics for the Chebyshev polynomials themselves.

math.CA

New universality classes associated to fractals

The local behavior of zeros of orthogonal polynomials is determined by the local scaling behavior of Christoffel-Darboux (CD) kernels. All previously studied behaviors are described by scaling limits, and different values of the limit kernel correspond to different universality classes. In this paper, we describe new universality classes in which instead of a single limit kernel, there is a limit cycle. These are naturally suited to Cantor spectra and to fractal behaviors of the measure. We show that these new phenomena occur for two canonical models with singular measures: the middle third Cantor measure and the balanced/equilibrium measure on a real Julia set of an expanding polynomial. In particular, this is the first result on the local behavior of CD kernels for an almost periodic operator with singular spectrum. As a complementary result, we describe the asymptotics of the scaling function, and the Christoffel function, at a fixed point of a quadratic iteration. This is the first such analysis for an almost periodic model with singular spectrum. It allows us to conclude that, at the fixed point, the local scaling of zeros of the polynomial of degree $n$ is precisely of order $n^{-1/\alpha}$, where $\alpha$ is the local dimension of the measure. We also study the limit chain in this case, and prove that it can be parametrized by its asymptotics with respect to a Martin function (so-called $M$-type); this is the first result of this kind for a chain with a singular measure.

math.SP

Clock spacing for two-sided Jacobi matrices

We study local eigenvalue spacing for finite truncations of a two-sided Jacobi matrix with two movable endpoints. In particular, we show that a suitable analog of clock spacing follows from a pointwise reflectionlessness condition. We obtain this as a consequence of a new scaling limit for Christoffel--Darboux kernels with a movable starting point. Without reflectionlessness, we obtain a new class of limit kernels, which combine distinct contributions from $\pm\infty$. We also show that clock spacing in the two-sided setting is a fragile phenomenon, which can be destroyed by the change of a single Jacobi coefficient; in particular, it is not merely a consequence of absolutely continuous spectrum.

math.SP

Weighted residual polynomials on a circular arc

We study the behavior of weighted residual polynomials on circular arcs, including weighted Chebyshev polynomials. For weights given by reciprocals of polynomials, we establish Szeg\H{o}-Widom asymptotics. Extending our analysis to less regular weights, we determine the asymptotic behavior of the corresponding weighted Widom factors, generalizing results by Eichinger and Thiran et al. As an application, we derive the asymptotics of Widom factors on certain lemniscatic arcs.

math.CV

A Weyl Matrix Perspective on Unbounded Non-Self-Adjoint Jacobi Matrices

A new way of encoding a non-self-adjoint Jacobi matrix $J$ by a spectral measure of $|J|$ together with a phase function was described by Pushnitski--\v Stampach in the bounded case. We present another perspective on this correspondence, based on Weyl functions instead of moments, which simplifies some proofs and generalizes the correspondence to the unbounded case. In particular, we find a bijection between proper Jacobi matrices with positive off-diagonal elements, and a class of spectral data. We prove that this mapping is continuous in a suitable sense. To prove injectivity of the map, we prove a local Borg--Marchenko theorem for unbounded non-self-adjoint Jacobi matrices in this class that may be of independent interest.

math.SP

Asymptotics of $L^r$ extremal polynomials for ${0<r\leq\infty}$ on $C^{1+}$ Jordan regions

We study strong asymptotics of $L^r$-extremal polynomials for measures supported on Jordan regions with $C^{1+}$ boundary for $0<r<\infty$. Using the results for $r=2$, we derive asymptotics of weighted Chebyshev and residual polynomials for upper-semicontinuous weights supported on a $C^{1+}$ Jordan region corresponding to $r=\infty$. As an application, we show how strong asymptotics for extremal polynomials in the Ahlfors problem on a $C^{1+}$ Jordan region can be obtained from that for the weighted residual polynomials. Based on the results we pose a conjecture for asymptotics of weighted Chebyshev and residual polynomials for a $C^{1+}$ arc.

math.CA

Necessary and sufficient conditions for universality limits

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.

math.CA

Homogeneous spaces of entire functions

Homogeneous spaces are de Branges' Hilbert spaces of entire functions with the property that certain weighted rescaling transforms induce isometries of the space into itself. A classical example of a homogeneous space is the Paley-Wiener space of entire functions with exponential type at most a being square integrable on the real axis. Other examples occur in the theory of the Bessel equation. Being homogeneous is a strong property, and one can describe all homogeneous spaces, their structure Hamiltonians, and the measures associated with chains of such spaces, explicitly in terms of powers, logarithms, and confluent hypergeometric functions. The theory of homogeneous spaces was in large parts settled by L.de Branges in the early 1960's. However, in his work some connections and explicit formulae are not given, some results are stated without a proof, and last but not least a mistake occurs which seemingly remained unnoticed up to the day. In this paper we give a detailed account on homogeneous spaces. We provide explicit proofs for all formulae and relations between the mentioned objects, and correct the mentioned mistake.

math.CV

On point spectrum of Jacobi matrices generated by iterations of quadratic polynomials

In general, point spectrum of an almost periodic Jacobi matrix can depend on the element of the hull. In this paper, we study the hull of the limit-periodic Jacobi matrix corresponding to the equilibrium measure of the Julia set of the polynomial $z^2-\lambda$ with large enough $\lambda$; this is the leading model in inverse spectral theory of ergodic operators with zero measure spectrum. We prove that every element of the hull has empty point spectrum.

math.SP

Extremal polynomials and polynomial preimages

This article examines the asymptotic behavior of the Widom factors, denoted $\mathcal{W}_n$, for Chebyshev polynomials of finite unions of Jordan arcs. We prove that, in contrast to Widom's proposal, when dealing with a single smooth Jordan arc, $\mathcal{W}_n$ converges to 2 exclusively when the arc is a straight line segment. Our main focus is on analysing polynomial preimages of the interval $[-2,2]$, and we provide a complete description of the asymptotic behavior of $\mathcal{W}_n$ for symmetric star graphs and quadratic preimages of $[-2,2]$. We observe that in the case of star graphs, the Chebyshev polynomials and the polynomials orthogonal with respect to equilibrium measure share the same norm asymptotics, suggesting a potential extension of a conjecture posed by Christiansen, Simon and Zinchenko. Lastly, we propose a possible connection between the $S$-property and Widom factors converging to $2$.

math.CA

Asymptotics for Christoffel functions associated to continuum Schr\"odinger operators

We prove asymptotics of the Christoffel function, $\lambda_L(\xi)$, of a continuum Schr\"odinger operator for points in the interior of the essential spectrum under some mild conditions on the spectral measure. It is shown that $L\lambda_L(\xi)$ 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 $\lambda_L(\xi)$, we compute universality limits for continuum Schr\"odinger operators at scale $L$ and obtain clock spacing of the eigenvalues of the finite range truncations.

math.CA

Limit-Periodic Dirac Operators with Thin Spectra

We prove that limit-periodic Dirac operators generically have spectra of zero Lebesgue measure and that a dense set of them have spectra of zero Hausdorff dimension. The proof combines ideas of Avila from a Schr\"odinger setting with a new commutation argument for generating open spectral gaps. This overcomes an obstacle previously observed in the literature; namely, in Schr\"odinger-type settings, translation of the spectral measure corresponds to small $L^\infty$-perturbations of the operator data, but this is not true for Dirac or CMV operators. The new argument is much more model-independent. To demonstrate this, we also apply the argument to prove generic zero-measure spectrum for CMV matrices with limit-periodic Verblunsky coefficients.

math.SP

An approach to universality using Weyl m-functions

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\"odinger and Dirac operators. We also obtain analogous results for orthogonal polynomials on the unit circle.

math.CA

Asymptotics of Chebyshev rational functions with respect to subsets of the real line

There is a vast theory of Chebyshev and residual polynomials and their asymptotic behavior. The former ones maximize the leading coefficient and the latter ones maximize the point evaluation with respect to an $L^\infty$ norm. We study Chebyshev and residual extremal problems for rational functions with real poles with respect to subsets of $\overline{\mathbb{R}}$. We prove root asymptotics under fairly general assumptions on the sequence of poles. Moreover, we prove Szeg\H{o}--Widom asymptotics for sets which are regular for the Dirichlet problem and obey the Parreau--Widom and DCT conditions.

math.CA

Stahl-Totik Regularity for Dirac Operators

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\"odinger 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.

math.SP

Orthogonal rational functions with real poles, root asymptotics, and GMP matrices

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\"obius 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\`aro--Nevai property of regular Jacobi matrices on finite gap sets.

math.SP

Spectral properties of Schr\"{o}dinger operators associated to almost minimal substitution systems

We study the spectral properties of ergodic Schr\"{o}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.

math-ph

Stahl--Totik regularity for continuum Schr\"odinger operators

We develop a theory of regularity for continuum Schr\"odinger 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\"odinger 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\"odinger 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.

math.SP