Table of Contents
Fetching ...

Bethe-Sommerfeld Conjecture and Absolutely Continuous Spectrum of Multi-Dimensional Quasi-Periodic Schrödinger Operators

Yulia Karpeshina, Leonid Parnovski, Roman Shterenberg

TL;DR

The paper proves a Bethe-Sommerfeld-type result for multidimensional quasi-periodic Schrödinger operators by developing a momentum-space multi-scale analysis anchored in a fibre/Aubry-dual framework. It introduces a Strong Diophantine Condition (SDC) on base frequencies, constructs zeroth- and first-step isoenergetic surfaces via perturbative cluster restrictions, and advances an enlarged multiscale structure to sustain an inductive stepping from step zero to step two and beyond. The key outcome is that, for a full-measure set of basic frequencies, the spectrum contains a semi-axis $[\lambda_*,\infty)$ and there exist generalized eigenfunctions closely approximating exponentials, indicating absolutely continuous spectrum with ballistic-type propagation properties. The methodology integrates perturbation theory on clusters, Bourgain-type measure estimates, and semi-algebraic set techniques to control resonances across scales, yielding robust high-energy spectral information for quasi-periodic perturbations in any dimension. These results extend Bethe-Sommerfeld-type conclusions beyond periodic or limit-periodic cases, providing a framework with potential applications to transport and spectral theory in higher-dimensional quasi-periodic media.

Abstract

We consider Schrödinger operators $H=-Δ+V({\mathbf x})$ in ${\mathbb R}^d$, $d\geq2$, with quasi-periodic potentials $V({\mathbf x})$. We prove that the absolutely continuous spectrum of a generic $H$ contains a semi-axis $[λ_*,+\infty)$. We also construct a family of eigenfunctions of the absolutely continuous spectrum; these eigenfunctions are small perturbations of the exponentials. The proof is based on a version of the multi-scale analysis in the momentum space with several new ideas introduced along the way.

Bethe-Sommerfeld Conjecture and Absolutely Continuous Spectrum of Multi-Dimensional Quasi-Periodic Schrödinger Operators

TL;DR

The paper proves a Bethe-Sommerfeld-type result for multidimensional quasi-periodic Schrödinger operators by developing a momentum-space multi-scale analysis anchored in a fibre/Aubry-dual framework. It introduces a Strong Diophantine Condition (SDC) on base frequencies, constructs zeroth- and first-step isoenergetic surfaces via perturbative cluster restrictions, and advances an enlarged multiscale structure to sustain an inductive stepping from step zero to step two and beyond. The key outcome is that, for a full-measure set of basic frequencies, the spectrum contains a semi-axis and there exist generalized eigenfunctions closely approximating exponentials, indicating absolutely continuous spectrum with ballistic-type propagation properties. The methodology integrates perturbation theory on clusters, Bourgain-type measure estimates, and semi-algebraic set techniques to control resonances across scales, yielding robust high-energy spectral information for quasi-periodic perturbations in any dimension. These results extend Bethe-Sommerfeld-type conclusions beyond periodic or limit-periodic cases, providing a framework with potential applications to transport and spectral theory in higher-dimensional quasi-periodic media.

Abstract

We consider Schrödinger operators in , , with quasi-periodic potentials . We prove that the absolutely continuous spectrum of a generic contains a semi-axis . We also construct a family of eigenfunctions of the absolutely continuous spectrum; these eigenfunctions are small perturbations of the exponentials. The proof is based on a version of the multi-scale analysis in the momentum space with several new ideas introduced along the way.

Paper Structure

This paper contains 37 sections, 97 theorems, 599 equations, 2 figures.

Key Result

Theorem 1.1

For any finite set $\{V_\mathbf n\}$, $V_{\mathbf n}=\bar{V}_{-\mathbf n}$ ($\mathbf n\in\mathbb Z^l$, $|\mathbf n|<Q$) of Fourier coefficients there exists a subset $\boldsymbol\Omega_*=\boldsymbol\Omega_*(\{V_\mathbf n\})\subset[-1/2,1/2]^{dl}$ of basic frequencies with $meas(\boldsymbol\Omega_*)=

Figures (2)

  • Figure 1:
  • Figure 2:

Theorems & Definitions (217)

  • Theorem 1.1
  • Definition 2.1
  • Remark 2.2
  • Remark 2.3
  • Remark 2.4
  • Definition 2.5
  • Remark 2.6
  • Definition 2.7
  • Remark 2.8
  • Remark 2.9
  • ...and 207 more