[論文レビュー] The absolutely continuous spectrum of the almost Mathieu operator

Artur Avila|ArXiv.org|Oct 16, 2008

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

ひとこと要約

本稿は、ほぼマシュー作用素の絶対連続スペクトルが存在するための必要十分条件が、結合パラメータ λ に対して |λ| < 1 であること、すなわちバリー・シモンの2000年におけるスペクトル理論の未解決問題リストの問題6を解決することを確立している。証明は、周波数 α の算術的性質に基づいて二つの異なる手法を用いる：指数的でない周波数（β = 0）に対しては非摂動的KAM型の議論を、指数的周波数（β > 0）に対してはコycle平均化と双曲幾何学を用いた力学系の手法を採用し、最終的にすべての無理数周波数と位相において絶対連続性を示した。

ABSTRACT

We prove that the spectrum of the almost Mathieu operator is absolutely continuous if and only if the coupling is subcritical. This settles Problem 6 of Barry Simon's list of Schrödinger operator problems for the twenty-first century.

研究の動機と目的

• バリー・シモンの2000年のシュレーディンガー作用素に関する問題リストの問題6を解決すること。この問題は、サブクリティカル領域におけるすべての無理数周波数と位相において、ほぼマシュー作用素のスペクトル測度が絶対連続であるかどうかを問うものである。
• すべての結合強度、周波数、位相において、ほぼマシュー作用素の絶対連続スペクトルの完全な特徴付けを確立すること。
• これまでの結果（ほとんどすべての周波数や位相において有効であったもの）を、すべての無理数周波数とすべての位相において成り立つ一様な結果へと拡張すること。
• 周波数 α の算術的性質に応じた統一的な枠組みを構築すること。具体的には、連分数分母の成長率 β に基づき、指数的でない（β = 0）と指数的（β > 0）の二つの領域を区別する。

提案手法

• 証明は、連分数近似の分母 q_n を用いて定義される成長率 β(α) = limsup (ln q_{n+1})/q_n に基づき、周波数 α の算術的性質に応じて二つの場合に分ける。
• 指数的でない領域（β = 0）に対しては、従来のKAMに基づく結果をディオファントス条件を超えて、指数的でない全クラスにまで拡張する、新しい非摂動的技法が開発された。
• 指数的領域（β > 0）に対しては、有理近似 p_n/q_n の軌道に沿ったコycleノルムの平均化に基づく力学系の手法が用いられた。
• 主要な推論には、上半平面における双曲幾何学が用いられ、移動行列の回転と実際の力学的挙動を比較するためにポincare計量が使われた。
• 中心的な技術的道具は、上半平面内の点 z における移動行列ノルムを測る関数 φ(z) の導入であり、その軌道上での平均値に関する推定が行われた。
• 証明は、コycleが回転によって近似されることと、キャンセル推定（補題4.8）を適用することで、長い軌道上での φ の平均値が、初期点が固定点から十分離れている場合、φ(m(θ,E)) に比例する閾値を超えることを示した。これにより、スペクトル測度に絶対連続成分がないと仮定した場合に矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 |λ| < 1 のとき、すべての無理数周波数とすべての位相において、ほぼマシュー作用素は絶対連続スペクトルを持つのか？
• RQ2 サブクリティカル領域（|λ| < 1）において、すべての周波数とすべての位相において、スペクトル測度が一様に絶対連続であることを示せるのか？（これまでの結果はほとんどすべての周波数や位相に限られていた。）
• RQ3 連分数分母の成長率が示す周波数 α の算術的性質が、ほぼマシュー作用素のスペクトル型を決定する役割を果たすのか？
• RQ4 摂動的またはKAMに基づく手法を避けることによって、指数的領域（β > 0）においてもスペクトル測度の絶対連続性を確立できるのか？
• RQ5 異なる算術的領域におけるスペクトル測度を統一的に扱うための、1つの力学系フレームワークを構築することは可能か？

主な発見

• ほぼマシュー作用素のスペクトル測度が絶対連続であるための必要十分条件は |λ| < 1 であり、サブクリティカル領域における長年の予想が解決された。
• β = 0（指数的でない成長）である周波数に対しては、ディオファントス条件を超える非摂動的技法により、すべてのこのような周波数において絶対連続性が確立された。
• β > 0（指数的成長）である周波数に対しては、有理近似に沿ったコycleノルムの平均化に基づく力学系の手法が用いられ、反復における絶対連続成分の全質量が保存されることを示した。
• 証明は、初期点が固定点から十分離れている場合に、φ(z) の軌道上での平均値が φ(m(θ,E)) に比例する閾値を超えることを示す、中心的な推定（補題4.8）に依存している。これにより、スペクトル測度に絶対連続成分がないと仮定した場合に矛盾が生じる。
• 矛盾は、スペクトル上での φ(˜m(θ,E)) の積分値が (1−ε)2π より小さいと仮定した場合に生じる。この仮定のもとでは、平均値の増大が全測度を超えることになり、したがって積分値は (1−o(1))2π でなければならない。これにより、絶対連続成分が存在することが確認された。
• この結果は、すべての無理数周波数 α とすべての位相 θ に対して一様に成り立ち、ジトミルスカヤの研究で提示された完全な予想を裏付け、シモンのリストに掲げられた未解決問題を解決した。