[論文レビュー] On the Measure of the Absolutely Continuous Spectrum for Jacobi Matrices

Mira Shamis, Sasha Sodin|arXiv (Cornell University)|Jul 28, 2010

Spectral Theory in Mathematical Physics参考文献 5被引用数 5

ひとこと要約

この論文は、古典的近似理論—特にチェビシェフ多項式の極値的性質—を用いて、ジャコビ行列の絶対連続スペクトルの測度に対する鋭い上界を導出する。デイフト＝シモンの微分不等式を一般化し、対角要素 $b(n)$ の値分布を考慮した改良された推定値を提示し、$b(n)$ が与えられた区間から遠ざかっている場合にはスペクトル測度が消えることを示す。

ABSTRACT

We apply the methods of classical approximation theory (extreme properties of polynomials) to study the essential support $Σ_{ac}$ of the absolutely continuous spectrum of Jacobi matrices. First, we prove an upper bound on the measure of $Σ_{ac}$ which takes into account the value distribution of the diagonal elements, and implies the bound due to Deift-Simon and Poltoratski-Remling. Second, we generalise the differential inequality of Deift-Simon for the integrated density of states associated with the absolutely continuous spectrum to general Jacobi matrices.

研究の動機と目的

• エルゴディックシュレーディンガー作用素を超える一般ジャコビ行列に対する統合密度の状態のデイフト＝シモン微分不等式を一般化すること。
• 対角列 $b(n)$ の値分布を組み込んだ、絶対連続スペクトル $\Sigma_{\text{ac}}$ の測度に対する新しい上界を導出すること。
• もし $b(n)$ が与えられた区間から離れているならば、$\Sigma_{\text{ac}}$ とその区間との共通部分の測度がゼロに近づくことを示すこと。
• デイフト＝シモンおよびポルトラツキー＝レムリングの先行結果を極値多項式論を用いて統一的かつ拡張すること。
• 幾何平均 $A_n = (a(1)\cdots a(n))^{1/n}$ と区間からの距離を用いて、$|\Sigma_{\text{ac}} \cap (E_L, E_R)|$ の定量的推定を確立すること。

提案手法

• ポーリャの不等式とチェビシェフ多項式の極値的性質を用いて、絶対連続スペクトルの本質的台の測度を制限する。
• 区間 $(E_L, E_R)$ の近傍に $b(j)$ が存在するインデックスの集合 $I_n$ を導入し、$I_n$ の外のインデックス上で定義される積 $D_n$ を定義し、$b(j)$ が区間から離れている場合にペナルティを与える。
• カーン＝ピアソンの定理とエゴロフの定理を用いて、スペクトル集合上で判別式 $\Delta_{n_i}$ の $L^1$-ノルムを制御し、正規化されたノルムの収束を保証する。
• 極値多項式の漸近的ゼロ分布に関するツェゴの定理を用い、$\Delta_{n_i}$ のゼロ分布とチェビシェフ多項式のゼロ分布との関係を確立する。
• 極値的性質を用いて、ジャコビ行列のスペクトル測度と判別式が有界である区間の測度との比較を確立する。
• 判別式 $\Delta_{n_i}$ 及びその正規化された成長率 $A_{-} = \liminf A_{n_i}$ の漸近的挙動を分析することにより、統合密度の状態のための微分不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的近似理論は、ジャコビ行列の絶対連続スペクトルの測度に対する境界をどのように精緻化できるか？
• RQ2 $|\Sigma_{\text{ac}} \cap (E_L, E_R)|$ は、対角要素 $b(n)$ の分布にどのように依存するか？
• RQ3 絶対連続スペクトルの測度が与えられた区間と交差してゼロになる条件は何か？
• RQ4 デイフト＝シモンの微分不等式は、エルゴディックシュレーディンガー作用素を超えて一般ジャコビ行列へ一般化可能か？
• RQ5 幾何平均 $A_n = (a(1)\cdots a(n))^{1/n}$ はスペクトル測度にどのように影響し、既存の境界を改善するために利用可能か？

主な発見

• 本論文は、新しい上界を確立する：$|\Sigma_{\text{ac}}(J(a,b)) \cap (E_L, E_R)| \leq 4 \liminf_{n\to\infty} \left[ \frac{A_n^n}{D_n} \right]^{1/\#I_n}$、ここで $D_n$ は $b(j)$ と $(E_L, E_R)$ 間の距離に依存する。
• すべての $b(j)$ が $(E_L, E_R)$ の近傍に存在する場合、上界は $4 \liminf A_n$ に簡略化され、ポルトラツキー＝レムリングの境界を回復する。
• $\liminf \#I_n / n = 0$ ならば、$|\Sigma_{\text{ac}} \cap (E_L, E_R)| = 0$ となり、その区間におけるスペクトルがゼロ測度を持つことを意味する。
• 周期的 $a(n) \equiv 1$、$b(n)$ が $0$ と $R \geq 5$ を取り、$\Sigma_{\text{ac}} \cap (-2,2)$ の測度は $4 / (R-4)^{\ell/m}$ で有界であり、$R \to \infty$ のときゼロに近づく。
• ほとんど everywhere で $E \in \Sigma_{\text{ac}}$ に対して $2\pi \sin(\pi k(E)) \frac{dk}{dE} \geq 1$ が成り立つ微分不等式が、極値多項式技法を用いて非エルゴディックジャコビ行列へ一般化される。
• 判別式 $\Delta_{n_i}$ の漸近的ゼロ分布が適切にスケーリングされたチェビシェフ多項式のそれと一致することが示され、正確なスペクトル測度推定が可能になる。