[論文レビュー] Hölder continuity of the integrated density of states for quasi-periodic Jacobi operators

Kai Tao, Mircea Voda|arXiv (Cornell University)|Jan 5, 2015

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

ひとこと要約

本稿は、周波数に強いディオファントス条件と正のリャプノフ指数を課した下で、解析的係数をもつ準周期的ジャコビ作用素について、統合密度状態のホルダー連続性を確立する。マルチスケール解析とディリクレ行列式の複素解析的評価を用いて、ホルダー指数が $ p = 1/(n_b + 2d_0) $ であることを証明する。ここで $ n_b $ は $ b $ のゼロ点の数、$ d_0 $ は三角多項式 $ a $ と $ b $ の最大次数である。これは、ほぼマチュー作用素の場合に漸近的に最適な正則性を達成する。

ABSTRACT

We show Hölder continuity for the integrated density of states of a quasi-periodic Jacobi operator with analytic coefficients, in the regime of positive Lyapunov exponent and with a strong Diophantine condition on the frequency. In particular, when the coefficients are trigonometric polynomials we express the Hölder exponent in terms of the degrees of the coefficients.

研究の動機と目的

• 解析的係数をもつ準周期的ジャコビ作用素について、統合密度状態（IDS）のホルダー連続性を確立すること。
• ゴールドスタインとシュラーのシュレーディンガー作用素に関する結果を、非定数の $ b $ をもつより一般的なジャコビ作用素設定へ拡張すること。
• 非対角成分 $ b $ のゼロ点に起因する特異性が解析的構造を複雑にするという課題に対処すること。
• 正のリャプノフ指数の下で、$ a $ と $ b $ の次数および $ b $ のゼロ点数を用いて、明示的なホルダー指数を導出すること。
• オーブリ・双対性ではカバーできない状況、例えば一般の結合定数をもつ拡張ハーパー・モデルを含む場合をカバーすること。

提案手法

• ディリクレ行列式の複素円板内でのゼロ点数を数えることで、小さな区間における固有値の数をマルチスケール解析で推定する。
• カルタンの推定とサブハーモニック関数の大偏差を含む複素解析的技術を用いて、特性多項式のゼロ点の分布を制御する。
• 実軸の近傍の複素領域への移行行列形式の拡張により、実軸外でのリャプノフ指数とスペクトルデータを解析する。
• ジェンセン平均と行列式の成長に対する精密な推定を用いて、スペクトル窓内の固有値数を抑え込む。
• 誤差項をバランスさせるためのパrameter $ \rho_0 \gg 1/N $ を導入し、ホルダー指数を最適化する。
• 周波数 $ \omega $ に強いディオファントス条件を課すことにより、リャプノフ指数の均一な下界とスペクトル推定の安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 解析的係数と正のリャプノフ指数をもつ準周期的ジャコビ作用素の統合密度状態の最適ホルダー指数は何か？
• RQ2 非対角成分 $ b $ のゼロ点の存在が IDS の正則性に与える影響は何か？
• RQ3 ゴールドスタインとシュラーの手法は、$ b=1 $ のシュレーディンガーの場合を越えて、解析的 $ b $ をもつ一般のジャコビ作用素へ拡張可能か？
• RQ4 特にほぼマチュー設定において、ホルダー指数 $ 1/(n_b + 2d_0) $ は最適か？
• RQ5 正のリャプノフ指数の下でオーブリ双対性が成立しない拡張ハーパー・モデルは、このアプローチで解析可能か？

主な発見

• 強いディオファントス条件と正のリャプノフ指数の下で、統合密度状態は指数 $ p = 1/(n_b + 2d_0) $ についてホルダー連続である。ここで $ n_b $ は $ b $ のゼロ点数、$ d_0 = \max(d_a, d_b) $ である。
• ほぼマチュー作用素の場合、ホルダー指数は $ 1/2 - \varepsilon $ であり、真の指数が $ 1/2 $ であることが知られていることから、漸近的に最適である。
• この手法はほぼマチュー設定で最適な正則性を達成し、アヴィラとジトマリスカヤの既知の鋭い結果と一致する。
• 拡張ハーパー・モデルは、双対性が失敗する場合でも、このフレームワークに含まれる。直接的な解析的アプローチにより双対性を回避できるためである。
• サイズ $ 2\eta $ のスペクトル窓内の固有値数の上限は、$ (1/N)^{1/p} \ll \eta \leq 1/N $ の範囲で、$ x \in \mathbb{T} $ に対して一様に $ \lesssim N\eta^{p-\varepsilon} $ である。
• ホルダー連続性は、特性多項式のゼロ点の分布を小さな円板内で制御する複素解析的マルチスケールスキームにより確立される。