Search arXivSearch

arXiv · 2607.28379

New universality classes associated to fractals

Abstract

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/α}$, where $α$ 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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Benjamin Eichinger, Alexander Kheifets, Milivoje Lukić, Peter Yuditskii. 2026-07-30. New universality classes associated to fractals. https://arxiv.org/abs/2607.28379

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Dirichlet--Neumann bracketing for nonlocal operators

We establish Dirichlet--Neumann bracketing for the Dirichlet eigenvalues of $ψ(-Δ)$ on bounded Lipschitz domains, where $ψ$ is an arbitrary complete Bernstein function. The eigenvalues lie between $ψ$ applied to the corresponding Neumann and Dirichlet eigenvalues of the Laplacian. Both inequalities are strict whenever $ψ$ admits no meromorphic continuation to $\mathbb C \setminus \{0\}$. The proof uses quadratic forms, operator monotonicity, and an analysis of equality in resolvent comparisons. Applying the bracketing to intervals and balls gives a unified proof of simplicity of interval eigenvalues and antisymmetry of second eigenfunctions in balls under the same condition on $ψ$. For fractional powers, these recover results of Fall, Ghimenti, Micheletti and Pistoia for the interval, and of Fall, Feulefack, Temgoua and Weth and, independently, Benedikt, Bobkov, Dhara and Girg for the ball. The argument extends these conclusions to a broader class of nonlocal operators.

math.SP

New matrix perturbation bounds with relative strength: Perturbation of eigenspaces

Matrix perturbation bounds (such as Weyl and Davis--Kahan) are used abundantly in many areas of mathematics and data science. Many bounds (such as the above two) involve the spectral norm of the noise matrix and are sharp in worst-case analysis. In order to refine these classical bounds, we introduce a new parameter, which we refer to as the relative strength. This parameter measures the strength of the action of the noise matrix on the relevant eigenvectors of the ground matrix. It has turned out that in a number of situations, we can use the relative strength as a replacement for the spectral norm (which can be seen as the absolute strength). This has led to a number of notable improvements under certain sets of assumptions, which are frequently met in practice. A representative example is the case when the noise matrix is random. For the purpose of our study, we introduce a new method of analysis, which combines the classical contour integral argument with new (combinatorial) ideas. This method is robust and of independent interest. In the current paper, we focus on the perturbation of eigenspaces (Davis--Kahan type results). Perturbation bounds for eigenspaces are essential in statistics and theoretical computer science, and thus deserve a special treatment. Furthermore, this will lay the ground for the more technical treatment of general matrix functionals, which appears in a future paper.

math.SP

One-dimensional optimisation of indefinite-weight principal eigenvalues with asymmetric Robin parameters and a Schrödinger-type perturbation

We study the minimisation of the positive principal eigenvalue for an indefinite-weight problem with asymmetric Robin parameters. The model is motivated by diffusive logistic equations in spatially heterogeneous environments, where the weight describes allocatable favourable resources and the Robin parameters measure boundary loss. After recalling the variational setting and the bang--bang reduction, we analyse the one-dimensional optimisation problem: the optimal favourable set is an interval, and the placement problem is reduced to a branchwise criterion. The key analytical tool is a shape-derivative formula for $a\mapstoλ(a)$, which shows that interior candidates are characterised by equality of the endpoint values of the positive eigenfunction, equivalently by the coupled transfer-matrix equations $f=0$ and $g=0$. We also introduce a Schrödinger-type extension with a fixed nonnegative background potential. In the coercive case we establish the corresponding principal-eigenvalue and bang--bang results, and in one dimension with constant potential we prove a compactness-type stability result showing that minimisers for small background potential converge, along subsequences, to minimisers of the unperturbed problem. No placement classification is claimed for general positive background potential. The computations are presented as numerical illustrations generated with an adaptive root-search protocol.

math.SP