概マシュー作用素

数理物理学の分野における概マシュー作用素（がいマシューさようそ、英: almost Mathieu operator）とは、量子ホール効果の研究に現れる、次のような作用素のことを言う。

[H_{\omega }^{\lambda ,\alpha }u](n)=u(n+1)+u(n-1)+2\lambda \cos(2\pi (\omega +n\alpha ))u(n).\,

この作用素はヒルベルト空間 $\ell ^{2}(\mathbb {Z} )$ 上で自己共役作用素として働く。ここで $\alpha ,\omega \in \mathbb {T} ,\lambda >0$ はパラメータである。純粋数学の分野では、この作用素の重要性は、エルゴード的なシュレーディンガー作用素のよく知られた例であるという事実に起因する。例えば、（今ではすべて解かれた）シュレーディンガー作用素に関するバリー・サイモンの「21世紀のための」15の問題は、概マシュー作用素を取り上げたものであった^[1]。

$\lambda =1$ に対して、概マシュー作用素はしばしばハーパーの方程式（Harper's equation）と呼ばれる。

スペクトルのタイプ

$\alpha$ が有理数であるなら、 $H_{\omega }^{\lambda ,\alpha }$ は周期作用素であり、したがってフロケ理論によりそのスペクトルは純粋に絶対連続である。

$\alpha$ が無理数である場合を考える。変換 $\omega \mapsto \omega +\alpha$ は極小であるので、 $H_{\omega }^{\lambda ,\alpha }$ のスペクトルは $\omega$ には依存しない。一方、エルゴード性より、そのスペクトルの絶対連続な部分、特異連続な部分および純点部分はほとんど確実にx $\omega$ に独立である。今、次の関係が知られている。

$0<\lambda <1$ なら、 $H_{\omega }^{\lambda ,\alpha }$ は確実に純粋に絶対連続なスペクトルを持つ^[2]（これはサイモンの問題の一つであった）。
$\lambda =1$ なら、 $H_{\omega }^{\lambda ,\alpha }$ はほとんど確実に純粋に特異連続なスペクトルを持つ^[3]（まれなパラメータに対して固有値が存在し得るかは知られていない）。
$\lambda >1$ なら、 $H_{\omega }^{\lambda ,\alpha }$ はほとんど確実に純点スペクトルを持ち、アンダーソン局在を起こす^[4]（「ほとんど確実に」を「確実に」に変えることは出来ないことが知られている^[5]^[6]）。

$\lambda \geq 1$ の時は、スペクトル測度が特異となることが従う（ラストとサイモンの業績による^[7]）。これは、

\gamma (E)\geq \max\{0,\log(\lambda )\}\,

で与えられるリアプノフ指数 $\gamma (E)$ の下界より従う。

この下界は、Aubry と André のほとんど厳密な早期の議論の後に、Avron、サイモンおよび Michael Herman によって示された。実際、 $E$ がスペクトルに属する時、この不等式は等式（Aubry-André の公式）になるが、これは Jean Bourgain と Svetlana Jitomirskaya によって示された^[8]。

スペクトルの構造

概マシュー作用素のその他の目立った特徴として、すべての無理数 $\alpha$ および $\lambda >0$ に対してスペクトルがカントール集合となることが挙げられる。この事実は Avila および Jitomirskaya によって、有名な "Ten Martini Problem" を解く際に示された^[9]。この問題はサイモンの問題の一つでもあり、（パラメータに関する一般性^[10]およびほとんど確からしさ^[11]を含む）いくつかの先行結果ののちに解決された。

また、概マシュー作用素のスペクトルの測度は、すべての $\lambda >0$ に対して

Leb(\sigma (H_{\omega }^{\lambda ,\alpha }))=|4-4\lambda |\,

で与えられることが知られている。 $\lambda =1$ に対して、スペクトルは測度ゼロを意味する（これはダグラス・ホフスタッターによって初めて提唱され、のちのサイモンの問題の一つとなった^[12]）。 $\lambda \neq 1$ に対する式は、Aubry および André によって数値的に発見され、Jitomirskaya と Krasovsky によって解かれた。

$\lambda =1$ に対するスペクトルの研究は、ホフスタッターの蝶を導くものである。このときそのスペクトルは集合として表される。

参考文献

^ Simon, Barry (2000). “Schrödinger operators in the twenty-first century”. Mathematical Physics 2000. London: Imp. Coll. Press. pp. 283–288. ISBN 186094230X
^ Avila, A. (2008). “The absolutely continuous spectrum of the almost Mathieu operator”. Preprint. arXiv:0810.2965.
^ Gordon, A. Y.; Jitomirskaya, S.; Last, Y.; Simon, B. (1997). “Duality and singular continuous spectrum in the almost Mathieu equation”. Acta Math. 178 (2): 169–183. doi:10.1007/BF02392693.
^ Jitomirskaya, Svetlana Ya. (1999). “Metal-insulator transition for the almost Mathieu operator”. Ann. of Math. 150 (3): 1159–1175. JSTOR 121066.
^ Avron, J.; Simon, B. (1982). “Singular continuous spectrum for a class of almost periodic Jacobi matrices”. Bull. Amer. Math. Soc. 6 (1): 81–85. Zbl 0491.47014.
^ Jitomirskaya, S.; Simon, B. (1994). “Operators with singular continuous spectrum, III. Almost periodic Schrödinger operators”. Comm. Math. Phys. 165 (1): 201–205. Zbl 0830.34074.
^ Last, Y.; Simon, B. (1999). “Eigenfunctions, transfer matrices, and absolutely continuous spectrum of one-dimensional Schrödinger operators”. Invent. Math. 135 (2): 329–367. doi:10.1007/s002220050288.
^ Bourgain, J.; Jitomirskaya, S. (2002). “Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential”. Journal of Statistical Physics 108 (5–6): 1203–1218. doi:10.1023/A:1019751801035.
^ Avila, A.; Jitomirskaya, S. (2005). “The Ten Martini problem”. Preprint. arXiv:math/0503363.
^ Bellissard, J.; Simon, B. (1982). “Cantor spectrum for the almost Mathieu equation”. J. Funct. Anal. 48 (3): 408–419. doi:10.1016/0022-1236(82)90094-5.
^ Puig, Joaquim (2004). “Cantor spectrum for the almost Mathieu operator”. Comm. Math. Phys. 244 (2): 297–309. doi:10.1007/s00220-003-0977-3.
^ Avila, A.; Krikorian, R. (2006). “Reducibility or non-uniform hyperbolicity for quasiperiodic Schrödinger cocycles”. Annals of Mathematics 164 (3): 911–940. doi:10.4007/annals.2006.164.911.

[1] Simon, Barry (2000). “Schrödinger operators in the twenty-first century”. Mathematical Physics 2000. London: Imp. Coll. Press. pp. 283–288. ISBN 186094230X

[2] Avila, A. (2008). “The absolutely continuous spectrum of the almost Mathieu operator”. Preprint. arXiv:0810.2965.

[3] Gordon, A. Y.; Jitomirskaya, S.; Last, Y.; Simon, B. (1997). “Duality and singular continuous spectrum in the almost Mathieu equation”. Acta Math. 178 (2): 169–183. doi:10.1007/BF02392693.

[4] Jitomirskaya, Svetlana Ya. (1999). “Metal-insulator transition for the almost Mathieu operator”. Ann. of Math. 150 (3): 1159–1175. JSTOR 121066.

[5] Avron, J.; Simon, B. (1982). “Singular continuous spectrum for a class of almost periodic Jacobi matrices”. Bull. Amer. Math. Soc. 6 (1): 81–85. Zbl 0491.47014.

[6] Jitomirskaya, S.; Simon, B. (1994). “Operators with singular continuous spectrum, III. Almost periodic Schrödinger operators”. Comm. Math. Phys. 165 (1): 201–205. Zbl 0830.34074.

[7] Last, Y.; Simon, B. (1999). “Eigenfunctions, transfer matrices, and absolutely continuous spectrum of one-dimensional Schrödinger operators”. Invent. Math. 135 (2): 329–367. doi:10.1007/s002220050288.

[8] Bourgain, J.; Jitomirskaya, S. (2002). “Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential”. Journal of Statistical Physics 108 (5–6): 1203–1218. doi:10.1023/A:1019751801035.

[9] Avila, A.; Jitomirskaya, S. (2005). “The Ten Martini problem”. Preprint. arXiv:math/0503363.

[10] Bellissard, J.; Simon, B. (1982). “Cantor spectrum for the almost Mathieu equation”. J. Funct. Anal. 48 (3): 408–419. doi:10.1016/0022-1236(82)90094-5.

[11] Puig, Joaquim (2004). “Cantor spectrum for the almost Mathieu operator”. Comm. Math. Phys. 244 (2): 297–309. doi:10.1007/s00220-003-0977-3.

[12] Avila, A.; Krikorian, R. (2006). “Reducibility or non-uniform hyperbolicity for quasiperiodic Schrödinger cocycles”. Annals of Mathematics 164 (3): 911–940. doi:10.4007/annals.2006.164.911.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]