[論文レビュー] Anderson-Bernoulli Localization on the 3D lattice and discrete unique continuation principle

linjun li, Lingfu Zhang|arXiv (Cornell University)|Jun 11, 2019

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

ひとこと要約

本稿は、i.i.d. ベルヌーイ型ポテンシャルを有する3次元格子アンドリソンモデルにおいて、スペクトルの底近くでのアンドリソン＝ベルヌーイ局在を確立する。著者らは、固有関数が格子の正密度部分集合であまり小さくならないことを示す、新規の3次元離散的一意性継続原理を証明し、連続モデルから適応されたマルチスケール解析フレームワークを用いて局在性を示す。

ABSTRACT

We consider the Anderson model with Bernoulli potential on the 3D lattice, and prove localization of eigenfunctions corresponding to eigenvalues near zero, the lower boundary of the spectrum. We follow the framework by Bourgain-Kenig and Ding-Smart, and our main contribution is a 3D discrete unique continuation, which says that any eigenfunction of the harmonic operator with bounded potential cannot be too small on a significant fractional portion of all the points. Its proof relies on geometric arguments about the 3D lattice.

研究の動機と目的

• 3次元アンドリソン＝ベルヌーイモデルにおいて、スペクトルの底近くでのスペクトル局在性を確立すること。
• 高次元における離散的一意性継続原理の欠如という問題を克服し、格子モデルにおけるマルチスケール解析に不可欠な基盤を提供すること。
• 有界ポテンシャルを持つシュレーディンガー作用素の固有関数について、3次元離散的一意性継続原理を構築し、証明すること。
• 連続的一意性継続原理が存在しないにもかかわらず、ブルガイン＝ケニグおよびディング＝スミスのフレームワークを3次元格子設定に適応すること。
• 固有関数が空間的に指数的に減衰することを示し、ゼロエネルギー近傍での純粋点スペクトルを示すこと。

提案手法

• 3次元格子上での固有関数 $-\Delta + V$ が、$\Delta^3$ の正密度部分集合であまり小さくならないという、3次元離散的一意性継続原理を確立する。
• 立方体の構造と距離推定に基づく幾何的議論を用いて、固有関数の等高線集合のサイズを制御する。
• [BK05] および [DS20] にインspiredされたマルチスケール解析フレームワークを適用し、『自由サイト』の概念と階層的立方体分割を組み込む。
• dyadic立方体 $Q_n$ 内の中心の入れ子構造 $\Theta_k$ を構築し、分離条件と固有関数値の成長の制御を満たす。
• 各スケールで一意性継続原理を用いて、固有関数値が一様に下から有界であるような集合 $\Theta_M$ を帰納的に構築する。
• 体積成長と指数的減衰推定を組み合わせ、$|u(x)|$ が大きい点の集合が正密度を持つことを示し、局在性が成立しない限り、そのような状況は矛盾を来す。

実験結果

リサーチクエスチョン

• RQ1 連続的一意性継続原理が存在しないにもかかわらず、i.i.d. ベルヌーイ型ポテンシャルを有する3次元格子上でのアンドリソン＝ベルヌーイ局在性を確立できるか？
• RQ2 3次元における一意性継続原理の正しい離散的アナロジーは何か？ また、格子上での幾何的・組合せ的議論によってその原理を証明できるか？
• RQ3 固有関数が低次元集合にしか支持されない可能性がある場合、連続モデルのマルチスケール解析フレームワークを格子設定にどのように適応できるか？
• RQ4 固有関数が格子の有意な部分集合であまり小さくならない条件は何か？ そして、その条件はどのように定量化できるか？
• RQ5 ポテンシャルの正則性の欠如（例：ベルヌーイ型）が局在性を妨げるか？ もし妨げない場合、格子のどのような構造的性質がそれを可能にするか？

主な発見

• 著者らは、3次元離散的一意性継続原理を証明した：$V$ が有界な場合、$-\Delta + V$ の固有関数 $u$ は、任意の大きな立方体内で正密度部分集合であまり小さくならない。
• 任意の $\lambda \in [0, \lambda_*]$ に対して、$\mathbb{Z}^3$ 上のベルヌーイ型ポテンシャルを有するアンドリソンモデルの固有関数は、$\inf_{t>0} \sup_{a \in \mathbb{Z}^3} \exp(t|a|)|u(a)| < \infty$ を満たし、指数的減衰を示す。
• $\Theta_M$ はマルチスケール構成における中心の集合であり、$|\Theta_M| \geq \left(\frac{\beta}{2}\right)^{2M+2} \left(\frac{n}{n_M}\right)^\alpha$ を満たし、$M < 2\varepsilon^{-1}$ である。このため、議論に十分なサイズを保証する。
• $|u(x)| \geq \exp(-C_{\varepsilon,K}n)$ を満たす点の数は、ある $p > 0$ に対して少なくとも $n^p$ 個存在し、固有関数がゆっくり減衰しないことを示す。
• この結果により、ハミルトニアン $H = -\Delta + \delta V$ が $[0, \lambda_*]$ で純粋点スペクトルを有することを示し、スペクトルの端近くでの局在性を確認する。
• 証明は立方体の階層的構成と、固有関数値とポテンシャルの支持の間の相互作用のきめ細やかな制御に依存しており、距離および分離条件が用いられる。