Last's periodic approximation conjecture for almost periodic Schrödinger operators

About 15 years old · traced to

Let ff be a real-valued analytic potential, let Hβ,θH_{\beta,\theta} be the associated discrete Schrödinger operator, and for irrational β\beta let

A(β)={E∣γˉ(E,β)=0}.\mathcal{A}(\beta)=\left\{E\mid \bar\gamma(E,\beta)=0\right\}.

For rational p/qp/q, let σ(p/q,θ)\sigma(p/q,\theta) denote the spectrum of the corresponding periodic operator, and set

S−(p/q)=⋂0≤θ<2πσ(p/q,θ).S_-(p/q)=\bigcap_{0\leq\theta<2\pi}\sigma(p/q,\theta).

Last's periodic approximation conjecture. For any α∉Q\alpha\notin\mathbb{Q}, A(α)=lim⁡p/q→αS−(p/q)\mathcal{A}(\alpha)=\lim_{p/q\to\alpha}S_-(p/q), in the sense that

lim sup⁡p/q→αS−(p/q)=⋂δ>0⋃∣p/q−α∣<δS−(p/q)\limsup_{p/q\to\alpha}S_-(p/q)=\bigcap_{\delta>0}\bigcup_{\left|p/q-\alpha\right|<\delta}S_-(p/q)

and

lim inf⁡p/q→αS−(p/q)=⋃δ>0⋂∣p/q−α∣<δS−(p/q)\liminf_{p/q\to\alpha}S_-(p/q)=\bigcup_{\delta>0}\bigcap_{\left|p/q-\alpha\right|<\delta}S_-(p/q)

coincide, at least up to Lebesgue measure zero, with one another and with A(α)\mathcal{A}(\alpha). This conjecture proposes that the zero-Lyapunov-exponent set for an irrational frequency is captured by the common spectral portions of nearby periodic approximants. The source attributes the conjecture to Y. Last; no resolution is supplied here.

References

Primary source

Mira Shamis, “Some connections between almost periodic and periodic discrete Schroedinger operators with analytic potentials”, arXiv:1101.4700 (2011).

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.