[論文レビュー] Analysis of the Anderson operator

Ismaël Bailleul, N. V. Dang+1 more|arXiv (Cornell University)|Jan 12, 2022

Geometric Analysis and Curvature Flows被引用数 4

ひとこと要約

本稿は、2次元コンpakトなリーマン多様体上でのアンドリソン作用素 $ H = \Delta + \xi $ の自己完備な関数解析的構成を、1次オーダーのパラコントロール計算と、リゾルベントに対する固定点アプローチを用いて行う。スペクトルギャップの確実な推定、熱核のシャープな小時間漸近挙動、およびアンドリソンガウス自由場の導入を行い、その分配関数が $ H $ のスペクトルの法則を特徴付けることを示す。

ABSTRACT

We consider the continuous Anderson operator $H=Δ+ξ$ on a two dimensional closed Riemannian manifold $\mathcal{S}$. We provide a short self-contained functional analysis construction of the operator as an unbounded operator on $L^2(\mathcal{S})$ and give almost sure spectral gap estimates under mild geometric assumptions on the Riemannian manifold. We prove a sharp Gaussian small time asymptotic for the heat kernel of $H$ that leads amongst others to strong norm estimates for quasimodes. We introduce a new random field, called Anderson Gaussian free field, and prove that the law of its random partition function characterizes the law of the spectrum of $H$. We also give a simple and short construction of the polymer measure on path space and relate the Wick square of the Anderson Gaussian free field to the occupation measure of a Poisson process of loops of polymer paths. We further prove large deviation results for the polymer measure and its bridges.

研究の動機と目的

• 2次元閉じたリーマン多様体 $ \mathcal{S} $ 上でのアンドリソン作用素 $ H = \Delta + \xi $ の自己完備的で関数解析的な構成を提供すること。正則性構造への依存を避ける。
• 多様体 $ \mathcal{S} $ にやや弱い幾何的仮定を課したもとで、スペクトルギャップの確実な推定を確立し、作用素が $ +\infty $ へ発散する離散スペクトルを持つことを保証すること。
• 熱核 $ H $ のシャープな小時間漸近挙動を導出し、固有関数および準固有関数のノルム推定に応用可能であることを示すこと。
• アンドリソンガウス自由場を導入し、その分配関数が $ H $ のスペクトルの法則を完全に特徴付けることを示すこと。
• 経路空間上でのポリマー測度および拡散過程（アンドリソン拡散）を構成し、ワッカー積を介して正規化されたループ測度と関連付けること。

提案手法

• パrameter付き解析的フレドホルム理論を用いて、リゾルベントに対する固定点方程式を構築することでアンドリソン作用素を構成する。
• 1次オーダーのパラコントロールアンザッツを用い、グビネリ、インケラー、ペルコフスキー（2012）の基本的連続性推定にのみ依存し、高階のパラコントロール計算を避ける。
• リゾルベント構成を用いて、特異な初期データを持つ放物型アンドリソン方程式の解として、作用素 $ H $ の熱核 $ p_t(x,y) $ を定義する。
• ワッカー順序付き平方がポisson型拡散路の正規化された占有測度に関係するランダム分布として、アンドリソンガウス自由場を定義する。
• 経路空間測度を用いてポリマー測度およびアンドリソン拡散を構成し、後者は時間変換された拡散過程として得られる。
• メロモーマルフレドホルム理論およびリトルウッド＝パイル分離を用いて、擬微分作用素空間における作用素ノルムと収束を制御する。

実験結果

リサーチクエスチョン

• RQ1 アンドリソン作用素 $ H = \Delta + \xi $ は、関数解析的道具と1次オーダーのパラコントロール計算のみを用いて、$ L^2(\mathcal{S}) $ 上の非有界自己共役作用素として構成可能だろうか？
• RQ2 スペクトルギャップの確実な推定は何か？ 2次元多様体 $ \mathcal{S} $ の幾何的性質にどのように依存するか？
• RQ3 熱核 $ p_t(x,y) $ の小時間漸近挙動は何か？ これにより固有関数および準固有関数のノルム推定がどのように得られるか？
• RQ4 アンドリソンガウス自由場の分配関数の法則は、$ H $ のスペクトルの法則をどのように特徴付けるか？
• RQ5 アンドリソンガウス自由場のワッカー平方と、拡散路のポアソン過程の正規化された占有測度との関係は何か？

主な発見

• アンドリソン作用素 $ H $ は、リゾルベントに対する固定点法を用いて、$ L^2(\mathcal{S}) $ 上の非有界自己共役作用素として構成され、1次オーダーのパラコントロール計算のみを要する。
• 作用素 $ H $ のスペクトルは確実に離散的であり、$ +\infty $ へ発散する。確率的固有値はホワイトノイズ $ \xi $ に対して連続関数として得られる。
• 熱核 $ p_t(x,y) $ に対してシャープなガウス的小時間漸近挙動が確立され、$ t \to 0^+ $ のとき $ p_t(x,y) \sim \frac{1}{4\pi t} e^{-|x-y|^2/(4t)} $ となる。これはカップリング関数 $ h $ を含む確率的補正項を除き成立する。
• アンドリソンガウス自由場の分配関数の法則は、$ H $ のスペクトルの法則を一意に特徴付ける。非摂動的スペクトル不変量を提供する。
• アンドリソンガウス自由場のワッカー平方は、拡散路のポアソン過程の正規化された占有測度に等しく、場と確率過程を結びつける。
• アンドリソン拡散およびそのブリッジに対して大偏差原理が証明され、時間的・空間的スケーリング下での過程の確率的安定性が確立される。