Zero-spacing conjecture for orthogonal polynomials on Cantor-type sets

About 10 years old · traced to

For a measure μ\mu supported on R\mathbb{R}, let Zn(μ)Z_n(\mu) be the zero set of its degree-nn orthogonal polynomial. For n>1n>1, define

Mn(μ):=inf⁡x,x′∈Zn(μ)\x≠x′∣x−x′∣.M_n(\mu):=\inf_{\substack{x,x'\in Z_n(\mu)\x\neq x'}}|x-x'|.

Enumerate ZN(μK(γ))Z_N(\mu_{K(\gamma)}) as x1,N<⋯<xN,Nx_{1,N}<\cdots<x_{N,N} and set

An,N:=∣x2n,N−x2n−1,N∣,AN:=max⁡n,m∈{1,…,N/2}An,NAm,N.A_{n,N}:=|x_{2n,N}-x_{2n-1,N}|, \qquad A_N:=\max_{n,m\in\{1,\ldots,N/2\}}\frac{A_{n,N}}{A_{m,N}}.

Zero-spacing conjecture. For each γ=(γk)k=1∞\gamma=(\gamma_k)_{k=1}^\infty with inf⁡kγk>0\inf_k\gamma_k>0, (A2k)k=1∞(A_{2^k})_{k=1}^\infty is unbounded. If s=2ks=2^k for some k∈Nk\in\mathbb{N}, there is a c0∈Rc_0\in\mathbb{R} depending on kk such that

lim⁡n→∞As,2nA1,2n=c0.\lim_{n\rightarrow\infty}\frac{A_{s,2^n}}{A_{1,2^n}}=c_0.

The conjecture describes global growth and selected limiting ratios of zero spacings; the source supports it with numerical experiments and excludes small-γ\gamma regimes where boundedness is known. Its resolution is not given.

References

Primary source

Gökalp Alpan, Alexander Goncharov and Ahmet Nihat Şimşek, “Asymptotic properties of Jacobi matrices for a family of fractal measures”, arXiv:1603.02312 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.