We introduce a class of real analytic "peaky" potentials for which the corresponding quasi-periodic 1D Schrödinger operators exhibit, for quasiperiodic frequencies in a set of positive Lebesgue measure, both absolutely continuous and pure point spectrum.
論文ID : 1901.04418タイトル : Coexistence of ac and pp spectrum for kicked quasi-periodic potentials著者 : K. Bjerklöv (KTH Royal Institute of Technology), R. Krikorian (Université de Cergy-Pontoise, CNRS)分類 : math.DS (力学系)発表日時 : 2019年1月14日 (arXiv v1)論文リンク : https://arxiv.org/abs/1901.04418 本論文は、実解析的な「ピーク型」(peaky)ポテンシャル関数のクラスを導入し、対応する準周期一次元シュレーディンガー作用素が、正のルベーグ測度を持つ準周期周波数集合上で、絶対連続スペクトラム(absolutely continuous spectrum)と純点スペクトラム(pure point spectrum)を同時に示すことを証明する。
準周期シュレーディンガー作用素のスペクトル理論は、数学物理における中心的問題の一つである。作用素 H V , α , x : l 2 ( Z ) → l 2 ( Z ) H_{V,\alpha,x}: l^2(\mathbb{Z}) \to l^2(\mathbb{Z}) H V , α , x : l 2 ( Z ) → l 2 ( Z ) は以下のように定義される:
( H V , α , x u ) n = u n + 1 + u n − 1 + V ( x + n α ) u n (H_{V,\alpha,x}u)_n = u_{n+1} + u_{n-1} + V(x+n\alpha)u_n ( H V , α , x u ) n = u n + 1 + u n − 1 + V ( x + n α ) u n
ここで V : T → R V: \mathbb{T} \to \mathbb{R} V : T → R はポテンシャル関数、α \alpha α は周波数、x x x は位相である。主要な問題は以下を含む:
スペクトラム Σ V , α \Sigma_{V,\alpha} Σ V , α の位相的性質(カントール集合であるか否か) スペクトラム測度 μ V , α , x \mu_{V,\alpha,x} μ V , α , x のスペクトル型(絶対連続、特異連続、または原子成分) 小ポテンシャル領域(Eliasson定理) : ポテンシャル関数 V = λ v V = \lambda v V = λ v (λ \lambda λ は十分小)で周波数 α \alpha α がディオファントス数の場合、スペクトラムは絶対連続である。
大ポテンシャル領域(Bourgain-Goldstein定理) : λ \lambda λ が十分大で v v v が実解析的な場合、全測度の周波数集合に対して、スペクトラムは純点的であり、Anderson局在を満たす。
臨界領域 : Almost Mathieu作用素 v = 2 cos ( 2 π ⋅ ) v = 2\cos(2\pi\cdot) v = 2 cos ( 2 π ⋅ ) は λ = 1 \lambda = 1 λ = 1 で転移を起こす。
中心問題 : 実解析的ポテンシャル関数を構成して、対応するシュレーディンガー作用素が絶対連続スペクトラムと純点スペクトラムの成分を同時に持つことが可能か?
既存研究の限界 :
Avila 1 は臨界結合 λ = 1 \lambda=1 λ = 1 近傍の実解析的摂動を構成し、ac谱とpp谱の共存を実現した Bourgain 8 は二周波準周期ポテンシャルの例を構成した これらの構造は主に臨界点近傍の摂動理論に基づいている 本論文の革新 : ピーク型ポテンシャル関数のクラスを提案し、これらのポテンシャルは:
必ずしも小さくない(そうでなければEliasson定理によりac谱のみ) 必ずしも大きくない(そうでなければBourgain-Goldstein定理によりpp谱のみ) 特殊な幾何学的形状(ピーク形状)を持つ 周波数集合は有理数の近くに位置する ピーク型ポテンシャル関数クラス P ∞ \mathcal{P}^\infty P ∞ の導入 : 以下を満たす滑らかなポテンシャル関数のクラスを定義:V ≥ 0 V \geq 0 V ≥ 0 サポート supp ( V ) \text{supp}(V) supp ( V ) は T \mathbb{T} T の真部分集合 ある点 x ∗ x^* x ∗ で唯一の最大値を持つ サポート内部で最大値点以外では V ′ ( x ) ≠ 0 V'(x) \neq 0 V ′ ( x ) = 0 主定理A : V ∈ P ∞ V \in \mathcal{P}^\infty V ∈ P ∞ が K ( V ) > 10 K(V) > 10 K ( V ) > 10 と L ( V ) < 1 / q L(V) < 1/q L ( V ) < 1/ q を満たすとき、ε > 0 \varepsilon > 0 ε > 0 が存在して、任意の実解析的摂動 V ~ \tilde{V} V ~ (C s 0 C^{s_0} C s 0 意味で ε \varepsilon ε -接近)に対して、全測度周波数集合 A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) A_q(\tilde{V}) \subset \bigcup_{p=0}^{q-1} D_{p/q}(\eta) A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) が存在し、H V ~ , α , 0 H_{\tilde{V},\alpha,0} H V ~ , α , 0 は互いに素なac谱とpp谱成分を持つ。主定理B : 特定のローレンツ型ポテンシャル V K , λ ( x ) = K 1 + 4 λ sin 2 ( π x ) V_{K,\lambda}(x) = \frac{K}{1+4\lambda\sin^2(\pi x)} V K , λ ( x ) = 1 + 4 λ s i n 2 ( π x ) K に対して、K K K と λ \lambda λ が十分大きいとき、正測度周波数集合 A 2 ⊂ T A_2 \subset \mathbb{T} A 2 ⊂ T が存在して、作用素は同時にac谱とpp谱を持つ。力学系的方法 : シュレーディンガーコサイクル ( α , S E − V ) (\alpha, S_{E-V}) ( α , S E − V ) の力学的振る舞いの分析を通じて:全楕円領域 : ∣ t r ( S E − V ( q ) ) ∣ < 2 |tr(S_{E-V}^{(q)})| < 2 ∣ t r ( S E − V ( q ) ) ∣ < 2 のとき、代数的共役方法(Cheap Trick)とEliasson定理を利用して可約性を証明し、ac谱を生成正則混合型領域 : t r ( S E − V ( q ) ) tr(S_{E-V}^{(q)}) t r ( S E − V ( q ) ) の像が [ − 2 , 2 ] [-2,2] [ − 2 , 2 ] を厳密に含むとき、リャプノフ指数が正であることを証明し、pp谱を生成入力 :
ポテンシャル関数 V : T → R V: \mathbb{T} \to \mathbb{R} V : T → R (ピーク型) 周波数 α ∈ T \alpha \in \mathbb{T} α ∈ T (有理数 p / q p/q p / q に接近) エネルギーパラメータ E ∈ R E \in \mathbb{R} E ∈ R 出力 : エネルギー区間 I a c I_{ac} I a c と I p p I_{pp} I pp が存在することを証明して:
I a c I_{ac} I a c 上ではスペクトラム測度が絶対連続I p p I_{pp} I pp 上ではスペクトラム測度が純点的スペクトラム問題をコサイクル力学系 ( α , S E − V ) : T × R 2 → T × R 2 (\alpha, S_{E-V}): \mathbb{T} \times \mathbb{R}^2 \to \mathbb{T} \times \mathbb{R}^2 ( α , S E − V ) : T × R 2 → T × R 2 に変換:
( α , S E − V ) ( x , y ) = ( x + α , S E − V ( x ) y ) (\alpha, S_{E-V})(x,y) = (x+\alpha, S_{E-V}(x)y) ( α , S E − V ) ( x , y ) = ( x + α , S E − V ( x ) y )
ここで S E − V = ( E − V − 1 1 0 ) S_{E-V} = \begin{pmatrix} E-V & -1 \\ 1 & 0 \end{pmatrix} S E − V = ( E − V 1 − 1 0 )
主要な観察 : L ( V ) < 1 / q L(V) < 1/q L ( V ) < 1/ q で α ≈ p / q \alpha \approx p/q α ≈ p / q のとき、q q q -反復コサイクル ( α , S E − V ) q (\alpha, S_{E-V})^q ( α , S E − V ) q は異なるエネルギー範囲で異なる力学的振る舞いを示す。
定義 : A : T → S L ( 2 , R ) A: \mathbb{T} \to SL(2,\mathbb{R}) A : T → S L ( 2 , R ) が全楕円的であるとは、∀ x ∈ T , ∣ t r ( A ( x ) ) ∣ < 2 \forall x \in \mathbb{T}, |tr(A(x))| < 2 ∀ x ∈ T , ∣ t r ( A ( x )) ∣ < 2 を意味する。
定理3.1(全楕円コサイクル定理) : ( p / q , A E ) q (p/q, A_E)^q ( p / q , A E ) q が全楕円的で回転数 E ↦ ρ ( p / q , A E ) E \mapsto \rho(p/q, A_E) E ↦ ρ ( p / q , A E ) が非定数とする。このとき η 0 > 0 \eta_0 > 0 η 0 > 0 が存在して、α ∈ D p / q ( η ) \alpha \in D_{p/q}(\eta) α ∈ D p / q ( η ) に対して、正測度集合 E α E_\alpha E α が存在し、( α , A E ) (\alpha, A_E) ( α , A E ) は可約(定数楕円コサイクルに共役)である。
証明戦略 :
周期近似(命題3.2) : 全楕円性を利用して、滑らかな B : T → S L ( 2 , R ) B: \mathbb{T} \to SL(2,\mathbb{R}) B : T → S L ( 2 , R ) と φ : T → R \varphi: \mathbb{T} \to \mathbb{R} φ : T → R が存在して:
B ( ⋅ + p / q ) − 1 A ( ⋅ ) B ( ⋅ ) = R φ ( ⋅ ) B(\cdot + p/q)^{-1}A(\cdot)B(\cdot) = R_{\varphi(\cdot)} B ( ⋅ + p / q ) − 1 A ( ⋅ ) B ( ⋅ ) = R φ ( ⋅ ) Cheap Trick(命題3.3) : α ∈ D p / q ( η ) \alpha \in D_{p/q}(\eta) α ∈ D p / q ( η ) に対して、帰納法補題(補題3.4)を通じて共役 B B B を構成して:
∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m \|B(\cdot+\alpha)^{-1}A(\cdot)B(\cdot) - A_0\|_{C^s} \leq \eta^m ∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m
ここで A 0 ∈ S O ( 2 , R ) A_0 \in SO(2,\mathbb{R}) A 0 ∈ SO ( 2 , R ) 。量化Eliasson定理(定理3.2) : α ∈ D C 1 ( γ , σ ) \alpha \in DC_1(\gamma, \sigma) α ∈ D C 1 ( γ , σ ) で ρ ( α , A ) ∈ D S α \rho(\alpha,A) \in DS_\alpha ρ ( α , A ) ∈ D S α (α \alpha α に関するディオファントス条件)のとき、∥ A − A ^ ∥ C 0 ≤ γ d 0 ε \|A - \hat{A}\|_{C^0} \leq \gamma^{d_0}\varepsilon ∥ A − A ^ ∥ C 0 ≤ γ d 0 ε かつ ∥ A − A ^ ∥ C s 0 ≤ 1 \|A - \hat{A}\|_{C^{s_0}} \leq 1 ∥ A − A ^ ∥ C s 0 ≤ 1 ならば、( α , A ) (\alpha,A) ( α , A ) は可約である。回転数の変分 : 補題3.8を利用して回転数のエネルギーに関するリプシッツ連続性を証明し、補題3.9(測度論補題)と組み合わせて可約性が正測度エネルギー集合上で成立することを証明。シュレーディンガーコサイクルへの応用 : ピーク型ポテンシャル V V V と E ∈ 2 cos J k E \in 2\cos J_k E ∈ 2 cos J k (J k J_k J k は θ k = π k / q \theta_k = \pi k/q θ k = πk / q 近傍の区間)に対して、補題5.1を通じて計算:
t r ( A E ( q ) ( x ) ) = − V ( x ~ ) sin ( q θ ) sin θ + 2 cos ( q θ ) tr(A_E^{(q)}(x)) = -V(\tilde{x})\frac{\sin(q\theta)}{\sin\theta} + 2\cos(q\theta) t r ( A E ( q ) ( x )) = − V ( x ~ ) s i n θ s i n ( qθ ) + 2 cos ( qθ ) J k J_k J k を選択して ∣ t r ( A E ( q ) ) ∣ < 2 − δ k |tr(A_E^{(q)})| < 2 - \delta_k ∣ t r ( A E ( q ) ) ∣ < 2 − δ k となるようにすれば、( p / q , S E − V ) q (p/q, S_{E-V})^q ( p / q , S E − V ) q は全楕円的である。
定義 : A : Ω h → S L ( 2 , C ) A: \Omega_h \to SL(2,\mathbb{C}) A : Ω h → S L ( 2 , C ) が正則であるとは、h ′ ≤ h h' \leq h h ′ ≤ h と全正則 λ A : Ω h + → C \lambda_A: \Omega_h^+ \to \mathbb{C} λ A : Ω h + → C が存在して ∣ λ A ( z ) ∣ > 1 |\lambda_A(z)| > 1 ∣ λ A ( z ) ∣ > 1 で、{ λ A ( z ) , λ A ( z ) − 1 } \{\lambda_A(z), \lambda_A(z)^{-1}\} { λ A ( z ) , λ A ( z ) − 1 } が A ( z ) A(z) A ( z ) の固有値であることを意味する。
定理4.1(正則混合型コサイクル定理) : ( p / q , A ) q (p/q, A)^q ( p / q , A ) q が正則で混合型ならば、η 2 > 0 \eta_2 > 0 η 2 > 0 が存在して 0 < ∣ α − p / q ∣ < η 2 0 < |\alpha - p/q| < \eta_2 0 < ∣ α − p / q ∣ < η 2 に対して:
L E ( α , A ) > 0 L_E(\alpha, A) > 0 L E ( α , A ) > 0
証明戦略 :
複素拡張分析(補題4.3) : 正則 A A A に対して、写像 ν ↦ L 0 ( ν ) = ∫ T log ∣ λ A ( x + i ν ) ∣ d x \nu \mapsto L_0(\nu) = \int_{\mathbb{T}} \log|\lambda_A(x+i\nu)|dx ν ↦ L 0 ( ν ) = ∫ T log ∣ λ A ( x + i ν ) ∣ d x は [ 0 , h ′ ] [0,h'] [ 0 , h ′ ] 上で非負非減のアフィン関数である。摂動分析(補題4.5) : α ≈ p / q \alpha \approx p/q α ≈ p / q に対して:
∣ L E ( ( α , A ( ⋅ + i ν ) ) q ) − L E ( ( p / q , A ( ⋅ + i ν ) ) q ) ∣ ≤ ε |L_E((\alpha, A(\cdot+i\nu))^q) - L_E((p/q, A(\cdot+i\nu))^q)| \leq \varepsilon ∣ L E (( α , A ( ⋅ + i ν ) ) q ) − L E (( p / q , A ( ⋅ + i ν ) ) q ) ∣ ≤ ε 凸性論証(命題4.6) : リャプノフ指数の凸性(補題4.2)と上記の推定を利用して:
q L E ( α , A ) ≥ L E ( ( p / q , A ) q ) − ε qL_E(\alpha, A) \geq L_E((p/q, A)^q) - \varepsilon q L E ( α , A ) ≥ L E (( p / q , A ) q ) − ε Herman準調和技巧 : 混合型コサイクルに対して L E ( 0 , A ( q ) ) > 0 L_E(0, A^{(q)}) > 0 L E ( 0 , A ( q ) ) > 0 であり、上記の不等式と組み合わせて正のリャプノフ指数を得る。シュレーディンガーコサイクルへの応用 : E ∈ [ 10 , K − 10 ] E \in [10, K-10] E ∈ [ 10 , K − 10 ] と E = 2 cosh θ E = 2\cosh\theta E = 2 cosh θ に対して、補題5.5は A ~ E ( q ) \tilde{A}_E^{(q)} A ~ E ( q ) が正則で混合型であることを証明(ピーク型ポテンシャルの幾何学的性質を利用:∣ t r ( A ~ E ( q ) ( x ) ) ∣ = 2 |tr(\tilde{A}_E^{(q)}(x))| = 2 ∣ t r ( A ~ E ( q ) ( x )) ∣ = 2 は V ′ ( x ~ ) ≠ 0 V'(\tilde{x}) \neq 0 V ′ ( x ~ ) = 0 の場所でのみ発生)。
代数的共役方法(Cheap Trick)の非摂動的応用 :従来の応用:小摂動領域 本論文の革新:周期近似を通じて非摂動問題を摂動問題に化帰 鍵:全楕円性と有理周波数への接近の幾何学的構造の利用 ピーク型ポテンシャルの幾何学的利用 :サポートが 1 / q 1/q 1/ q より小さいことは、q q q -反復時にポテンシャルが一点でのみ作用することを保証 唯一の最大値と単調性は正則性条件を保証 高さ K > 10 K > 10 K > 10 は高エネルギー領域で正のリャプノフ指数を保証 周波数集合の精密な構成 :
D p / q ( η ) = [ p / q − η , p / q + η ] ∩ D C 1 ( η 2 , 3 ) D_{p/q}(\eta) = [p/q - \eta, p/q + \eta] \cap DC_1(\eta^2, 3) D p / q ( η ) = [ p / q − η , p / q + η ] ∩ D C 1 ( η 2 , 3 ) 有理数に接近(周期近似に使用) ディオファントス性質を保持(KAM理論に使用) 補題3.1は Leb ( D p / q ( η ) ) ≥ 2 η ( 1 − 2 η ) > 0 \text{Leb}(D_{p/q}(\eta)) \geq 2\eta(1-2\eta) > 0 Leb ( D p / q ( η )) ≥ 2 η ( 1 − 2 η ) > 0 を証明 回転数の連続性とリプシッツ性 :補題C.1: 周波数とコサイクルに関する回転数の結合連続性 補題3.8: 可約点の近傍でのエネルギーに関するリプシッツ連続性 測度論補題と組み合わせて零測度から正測度への昇格を実現 ポテンシャル関数 : V K , λ ( x ) = K 1 + λ sin 2 ( π x ) V_{K,\lambda}(x) = \frac{K}{1+\lambda\sin^2(\pi x)} V K , λ ( x ) = 1 + λ s i n 2 ( π x ) K
パラメータ設定 :
K = 10 K = 10 K = 10 λ = 10000 \lambda = 10000 λ = 10000 周波数: α = ( 5 − 1 ) / 2 \alpha = (\sqrt{5}-1)/2 α = ( 5 − 1 ) /2 (黄金比) 計算内容 :
リャプノフ指数 L E ( α , S E − V K , λ ) L_E(\alpha, S_{E-V_{K,\lambda}}) L E ( α , S E − V K , λ ) を E ∈ ( − 3 , 10 ) E \in (-3, 10) E ∈ ( − 3 , 10 ) で計算 回転数 ρ α ( E ) \rho_\alpha(E) ρ α ( E ) を E ∈ ( − 3 , 10 ) E \in (-3, 10) E ∈ ( − 3 , 10 ) で計算 E ∈ [ − 2 , 2 ] E \in [-2, 2] E ∈ [ − 2 , 2 ] でのリャプノフ指数の精密構造図1 :
∣ E ∣ > 2.1 |E| > 2.1 ∣ E ∣ > 2.1 のとき、リャプノフ指数は明らかに正(「大ポテンシャル」振る舞い)∣ E ∣ < 2 |E| < 2 ∣ E ∣ < 2 のとき、リャプノフ指数がゼロに近いエネルギー値が存在(「小ポテンシャル」振る舞い)回転数は単調増加のDevil's staircase構造を示す 図2 :
E ∈ [ − 2 , 2 ] E \in [-2, 2] E ∈ [ − 2 , 2 ] 区間内のリャプノフ指数の詳細画像ゼロに近い複数のプラトー領域を表示(ac谱に対応) 正のリャプノフ指数領域と交互に出現 理論的説明 : 定理Bは α \alpha α が 1 / 2 1/2 1/2 に接近するときのこの現象を説明するが、黄金比(常数型数)の場合はまだ開放問題である。
ポテンシャル関数クラス : V ∈ P ∞ V \in \mathcal{P}^\infty V ∈ P ∞ が以下を満たす:
K ( V ) = max T V > 10 K(V) = \max_{\mathbb{T}} V > 10 K ( V ) = max T V > 10 L ( V ) = length ( supp ( V ) ) < 1 / q L(V) = \text{length}(\text{supp}(V)) < 1/q L ( V ) = length ( supp ( V )) < 1/ q 周波数集合 : 各 p / q ∈ Q p/q \in \mathbb{Q} p / q ∈ Q (0 ≤ p < q 0 \leq p < q 0 ≤ p < q , gcd ( p , q ) = 1 \gcd(p,q)=1 g cd( p , q ) = 1 ) に対して、以下を定義:
D p / q ( η ) = [ p / q − η , p / q + η ] ∩ { α : ∣ α − k / l ∣ ≥ η 2 / l 3 , ∀ ( k , l ) ∈ Z × N ∗ } D_{p/q}(\eta) = [p/q - \eta, p/q + \eta] \cap \{\alpha: |\alpha - k/l| \geq \eta^2/l^3, \forall (k,l) \in \mathbb{Z} \times \mathbb{N}^*\} D p / q ( η ) = [ p / q − η , p / q + η ] ∩ { α : ∣ α − k / l ∣ ≥ η 2 / l 3 , ∀ ( k , l ) ∈ Z × N ∗ }
結論 : s 0 ∈ N ∗ s_0 \in \mathbb{N}^* s 0 ∈ N ∗ と ε > 0 \varepsilon > 0 ε > 0 が存在して:
任意の V ~ ∈ P ω ( V ; s 0 , ε ) \tilde{V} \in \mathcal{P}^\omega(V; s_0, \varepsilon) V ~ ∈ P ω ( V ; s 0 , ε ) (実解析的で C s 0 C^{s_0} C s 0 -接近)に対して 全測度集合 A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) A_q(\tilde{V}) \subset \bigcup_{p=0}^{q-1} D_{p/q}(\eta) A q ( V ~ ) ⊂ ⋃ p = 0 q − 1 D p / q ( η ) が存在 α ∈ A q ( V ~ ) \alpha \in A_q(\tilde{V}) α ∈ A q ( V ~ ) に対して、H V ~ , α , 0 H_{\tilde{V},\alpha,0} H V ~ , α , 0 は互いに素なac谱とpp谱成分を持つスペクトラムの位置 :
ac谱区間 : I a c , k ⊂ 2 cos J k I_{ac,k} \subset 2\cos J_k I a c , k ⊂ 2 cos J k (複数の区間、k = 1 , … , 2 q − 1 k = 1, \ldots, 2q-1 k = 1 , … , 2 q − 1 に対応)pp谱区間 : I p p = [ 10 , K − 10 ] I_{pp} = [10, K-10] I pp = [ 10 , K − 10 ] 分離性 : max I a c , k < 10 < min I p p \max I_{ac,k} < 10 < \min I_{pp} max I a c , k < 10 < min I pp (K > 10 K > 10 K > 10 のとき)ポテンシャル関数 : V K , λ ( x ) = K 1 + 4 λ sin 2 ( π x ) V_{K,\lambda}(x) = \frac{K}{1+4\lambda\sin^2(\pi x)} V K , λ ( x ) = 1 + 4 λ s i n 2 ( π x ) K
パラメータ条件 : K K K と λ \lambda λ が十分大きい
結論 : 正測度集合 A 2 ⊂ T A_2 \subset \mathbb{T} A 2 ⊂ T が存在して、α ∈ A 2 \alpha \in A_2 α ∈ A 2 に対して:
ac谱 : [ − 3 / ( 2 K ) , − 1 / K ] [-3/(2K), -1/K] [ − 3/ ( 2 K ) , − 1/ K ] 区間に存在(系6.3を通じて)pp谱 : [ 3 , ∞ ) [3, \infty) [ 3 , ∞ ) 区間に存在(系6.5を通じて)主要な推定 :
全楕円性(補題6.2): E ∈ [ − 3 / ( 2 K ) , − 1 / K ] E \in [-3/(2K), -1/K] E ∈ [ − 3/ ( 2 K ) , − 1/ K ] と α ∈ [ 1 / 4 , 3 / 4 ] \alpha \in [1/4, 3/4] α ∈ [ 1/4 , 3/4 ] に対して:
t r ( S E ( x + α ) S E ( x ) ) ∈ [ − 2 + 1 / K 2 , 2 − 1 / K 2 ] tr(S_E(x+\alpha)S_E(x)) \in [-2 + 1/K^2, 2 - 1/K^2] t r ( S E ( x + α ) S E ( x )) ∈ [ − 2 + 1/ K 2 , 2 − 1/ K 2 ] 正のリャプノフ指数(命題6.4): ∣ E ∣ > 2 + ε |E| > 2 + \varepsilon ∣ E ∣ > 2 + ε に対して:
L E ( α , S E − V K , λ ) ≥ log ∣ μ ( E ) ∣ L_E(\alpha, S_{E-V_{K,\lambda}}) \geq \log|\mu(E)| L E ( α , S E − V K , λ ) ≥ log ∣ μ ( E ) ∣
ここで μ ( E ) = z 0 ( ∣ E ∣ + E 2 − 4 2 ) \mu(E) = z_0\left(\frac{|E| + \sqrt{E^2-4}}{2}\right) μ ( E ) = z 0 ( 2 ∣ E ∣ + E 2 − 4 ) 、λ \lambda λ が大きいとき z 0 ≈ 1 z_0 \approx 1 z 0 ≈ 1 。 s , m ∈ N s, m \in \mathbb{N} s , m ∈ N と全楕円 A A A が与えられたとき、η 0 ( s , m , ∥ A ∥ s + m + 7 , q , δ ) \eta_0(s, m, \|A\|_{s+m+7}, q, \delta) η 0 ( s , m , ∥ A ∥ s + m + 7 , q , δ ) が存在して、0 < η ≤ η 0 0 < \eta \leq \eta_0 0 < η ≤ η 0 と α ∈ D p / q ( η ) \alpha \in D_{p/q}(\eta) α ∈ D p / q ( η ) に対して:
∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m \|B(\cdot+\alpha)^{-1}A(\cdot)B(\cdot) - A_0\|_{C^s} \leq \eta^m ∥ B ( ⋅ + α ) − 1 A ( ⋅ ) B ( ⋅ ) − A 0 ∥ C s ≤ η m
かつ ∥ B ∥ C s ≤ η − 3 \|B\|_{C^s} \leq \eta^{-3} ∥ B ∥ C s ≤ η − 3
応用 : s = s 0 = ⌊ 3 C 2 ⌋ s = s_0 = \lfloor 3C_2 \rfloor s = s 0 = ⌊ 3 C 2 ⌋ 、m = d 0 + 1 = 3 C 1 + 1 m = d_0 + 1 = 3C_1 + 1 m = d 0 + 1 = 3 C 1 + 1 を取ると、Eliasson定理の条件を満たす。
正則コサイクル ( p / q , A ) q (p/q, A)^q ( p / q , A ) q に対して、η 1 ( A , h , q , ε ) \eta_1(A, h, q, \varepsilon) η 1 ( A , h , q , ε ) が存在して、0 < ∣ α − p / q ∣ < η 1 0 < |\alpha - p/q| < \eta_1 0 < ∣ α − p / q ∣ < η 1 に対して:
q L E ( α , A ) ≥ L E ( ( p / q , A ) q ) − ε qL_E(\alpha, A) \geq L_E((p/q, A)^q) - \varepsilon q L E ( α , A ) ≥ L E (( p / q , A ) q ) − ε
推論 : L E ( 0 , A ( q ) ) > 0 L_E(0, A^{(q)}) > 0 L E ( 0 , A ( q ) ) > 0 (混合型が保証)ならば、L E ( α , A ) > 0 L_E(\alpha, A) > 0 L E ( α , A ) > 0 。
絶対連続部分 :
定理2.3(Eliasson定理の拡張)を通じて、可約コサイクルに対応するエネルギー区間上のスペクトラム測度は非自明な絶対連続測度である 回転数の非定数性(補題5.2)がac谱の非空内部を保証 純点部分 :
Bourgain-Goldstein定理(定理2.4)を通じて、正のリャプノフ指数はAnderson局在に対応 固有関数の指数減衰:∣ ψ ( n ) ∣ ≤ C e − c ∣ n ∣ |\psi(n)| \leq Ce^{-c|n|} ∣ ψ ( n ) ∣ ≤ C e − c ∣ n ∣ 小ポテンシャル理論 :Eliasson 12 : KAM方法による小実解析ポテンシャルのac谱Bourgain-Jitomirskaya 10 : 一次元の非摂動版光滑領域への拡張 : 14 , 17 がKAM方法を C ∞ C^\infty C ∞ 領域に推広大ポテンシャル理論 :Bourgain-Goldstein 9 : 準調和方法による大ポテンシャルのpp谱と局在Sinai 23 , Fröhlich-Spencer-Wittwer 16 : 準周期ポテンシャルの局在鍵 : 実解析性は大ポテンシャル局在に不可欠Almost Mathieu作用素 :Jitomirskaya 21 : λ = 1 \lambda = 1 λ = 1 での金属-絶縁体転移Avila 2 : 臨界領域のac谱の完全刻画本論文との関係 : 本論文のポテンシャルは臨界点近傍の摂動ではないAvila 1 :2 cos ( 2 π ⋅ ) 2\cos(2\pi\cdot) 2 cos ( 2 π ⋅ ) の実解析的摂動を構成複数の交互するac谱とpp谱区間を実現 方法 : 加速理論(acceleration theory)本論文との相違 : 臨界点摂動に依存せず、幾何学的方法を使用Bourgain 8 :二周波準周期ポテンシャルの混合スペクトラム 本論文との相違 : 単一周波領域、周波数集合が正測度その他の共存結果 :14 : ac谱と特異谱の共存7 : 正と零のリャプノフ指数領域の共存27 : 7 に基づくac/pp と ac/sc の共存幾何学的方法 : ポテンシャル関数の大きさではなくピーク形状を利用非摂動的枠組み : Cheap Trickの革新的応用周波数集合の正測度 : 典型的な全測度結果と異なる構成可能性 : 明示的なポテンシャル関数クラスを提供存在性 : ピーク型ポテンシャル関数クラスが確かにac谱とpp谱の共存を実現することを証明堅牢性 : 結果は C s 0 C^{s_0} C s 0 -小摂動に対して安定(注釈1: Avilaのacritality結果と組み合わせると、特異連続谱がない)構成性 : 具体的なポテンシャル関数例(定理B)と一般的な構成(定理A)を提供周波数集合 : 周波数集合は正のルベーグ測度を持ち、有理数の近くに位置交互区間の数量 :現在の方法は有限個のac谱とpp谱区間のみを生成 理由 : より一般的な混合型コサイクル(非正則領域)の分析が必要著者の約束 : 後続研究で対処予定周波数型の制限 :理論結果は α \alpha α が有理数に接近することを要求 数値実験は黄金比でも混合スペクトラムが可能であることを示唆 開放問題 : 常数型数の場合(重正規化技術4,5 が必要な可能性)ポテンシャル関数の特殊性 :ピーク形状を要求:サポートが小さい、唯一の最大値、単調性 これらの条件が最適であるかは不明確 定量的依存性 :定数 η 0 , ε \eta_0, \varepsilon η 0 , ε の明示的な依存関係は未提供 周波数集合の測度推定が十分に精密ではない 複数の交互区間 :非正則混合型コサイクルの分析 Avila加速理論の完全な枠組みが必要な可能性 常数型周波数 :重正規化方法4,5 の応用 黄金比などの特殊周波数の研究 ポテンシャル関数クラスの推広 :特異連続スペクトラム :現在の方法はsc谱を排除(acritality経由) ac、pp、sc三種類のスペクトラムを同時に持つ例を構成できるか? 多次元領域 :高次元準周期シュレーディンガー作用素への推広 より複雑なディオファントス条件が必要 代数的共役の非摂動的応用 : Cheap Trickは従来小摂動に使用されるが、本論文は周期近似を通じて非摂動問題を摂動問題に巧妙に化帰し、技術的な大きな突破を達成幾何学と力学系の結合 : ポテンシャル関数の幾何学的性質(ピーク形状)とコサイクル動力学(全楕円 vs 混合型)を深く結びつけ、問題の本質的構造を明らかに周波数集合の精密な設計 : D p / q ( η ) D_{p/q}(\eta) D p / q ( η ) の構成は、有理数への接近(代数的簡略化に使用)とディオファントス性質の保持(KAM理論に使用)の間で微妙なバランスを達成完全な証明 : すべての主要定理に詳細な証明があり、技術的詳細が十分定量的推定 : 可約性、リャプノフ指数などの主要量の定量的制御を提供付録の完全性 : 回転数の連続性、行列共役などの基礎補題の証明を補足統一的枠組み : ac谱(可約性)とpp谱(正のリャプノフ指数)をコサイクル力学系の統一的枠組みに統合測度論の精密性 : 零測度(可約点)から正測度(可約集合)への昇格(補題3.9)は測度論の深い応用を体現複素解析技巧 : 正則性の刻画(補題4.1)と複素拡張分析(補題4.3)は複素解析方法の威力を示す数値実験(図1-2)は直感的な動機を提供 定理Bは数値観察を理論的に説明 理論と数値の間のギャップ(黄金比)を指摘し、さらなる研究を刺激 単一の交互 : ac谱とpp谱の一対のみを生成でき、Avila 1 の複数の交互区間ほど完全ではない理論的ギャップ : 常数型周波数(黄金比など)に対する理論的説明が欠ける実解析性 : 主要な結果はポテンシャル関数の実解析性に依存し、光滑領域での類似結果が可能かは不明確周波数の制限 : 周波数は有理数に接近する必要があり、典型的なディオファントス周波数(無理回転数など)は未カバー定数 s 0 , ε , η 0 s_0, \varepsilon, \eta_0 s 0 , ε , η 0 の明示的な表現式が未提供 周波数集合 A q ( V ~ ) A_q(\tilde{V}) A q ( V ~ ) の測度下界が推定されていない これは結果の検証可能性と応用を制限 ピーク条件(唯一の最大値、単調性)は比較的強い どの条件が本質的でどれが緩和可能かは不明確 「典型性」についての議論が欠ける 一部の補題(補題B.3など)は陳述のみで、証明は「証明可能」と標記 付録D(定理2.3の証明)は比較的簡潔で、主要ステップは11 への参照に依存 新しいパラダイム : 混合スペクトラム研究の新しい方法(幾何学+代数学)を提供技術的ツール : Cheap Trickの非摂動的応用は他の問題を刺激する可能性開放問題 : 複数の意味のある後続方向を明確に指摘準周期シュレーディンガー作用素のスペクトラム理論を豊かに スペクトラム問題における力学系方法の深い応用を示す 可約性理論と局在理論を結びつける 凝縮物質物理 : 準周期系の輸送特性数学物理 : Anderson局在と拡散の共存力学系 : 一般的なコサイクルの混合動力学的振る舞い理論 : 証明が完全で検証可能性が強い数値 : 具体的なパラメータを提供するが、コードは公開されていない推広 : 方法は一定の汎用性を持ち、関連問題に応用可能一次元準周期系 : ピーク型無秩序を持つ量子系準結晶 : 特殊な構造を持つ準結晶モデル光学格子 : 冷原子系の準周期ポテンシャル井戸混合動力学 : 混合動力学的振る舞いを持つ他の系代数的簡略化 : 非摂動問題を摂動問題に化帰する必要がある場合周波数共鳴 : 有理周波数への接近の共鳴効果を利用多次元系 : 高次元準周期シュレーディンガー作用素他の作用素 : Dirac作用素、Jacobi行列など非線形系 : 非線形シュレーディンガー方程式の類似現象小ポテンシャルまたは大ポテンシャルの極限(より強い理論が存在) 光滑(非解析的)ポテンシャル(方法は解析性に依存) 強いディオファントス周波数(有理数に接近しない) 1 A. Avila : Global theory of one-frequency Schrödinger operators - 加速理論と複数の交互区間の構成9 J. Bourgain, M. Goldstein : On nonperturbative localization - 大ポテンシャル局在の基礎研究12 L.H. Eliasson : Floquet solutions for the one-dimensional quasi-periodic Schrödinger equation - 小ポテンシャルac谱のKAM理論14 B. Fayad, R. Krikorian : Rigidity results for quasi-periodic SL(2,R) cocycles - Cheap Trick方法の出典20 M. R. Herman : Une méthode pour minorer les exposants de Lyapounov - 準調和技巧と回転数理論10 J. Bourgain, S. Jitomirskaya : 非摂動小ポテンシャル理論11 P. Deift, B. Simon : 回転数と状態密度の関係17 S. Hadj Amor : 回転数のヘルダー連続性26 L.-S. Young : 非一様双曲コサイクル理論総合評価 : これは準周期シュレーディンガー作用素のスペクトラム理論分野における高質量の数学研究論文である。ピーク型ポテンシャル関数クラスの導入と代数的共役方法の革新的応用を通じて、著者は絶対連続スペクトラムと純点スペクトラムを同時に持つ例を成功裏に構成し、混合スペクトラム現象に対する理解を豊かにした。論文の数学的厳密性は強く、証明は完全で、技術的革新は顕著である。主要な限界は単一のac/pp区間対のみを生成でき、周波数が有理数の近くに限定されることである。論文は後続研究に明確な方向を示し、特に非正則混合型コサイクルと常数型周波数の領域での研究を刺激する。