[論文レビュー] Maximum of the integer-valued Gaussian free field

Mateo Wirth|arXiv (Cornell University)|Jul 20, 2019

Stochastic processes and statistical mechanics参考文献 12被引用数 4

ひとこと要約

本稿では、2次元の辺長$L$のボックス上での整数値をとるガウス自由場（IV-GFF）の最大値が高温において$L$に関して対数的に成長することを確立している。具体的には、$\log L$のオーダーである。フローリヒ＝スペンサの証明手法とスピン波構成を用いて、高確率で最大値が$c_0/\sqrt{\beta} \log L$より大きいことが示され、標準的な離散GFFと同様のオーダーに一致し、高温における局在化の欠如が裏付けられる。

ABSTRACT

We investigate the order of the maximum of the integer-valued Gaussian free field in two dimensions, and show that it grows logarithmically with the size of the box. Our treatment follows closely that of a recent paper by Kharash and Peled on the Fröhlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition.

研究の動機と目的

• 整数値をとるガウス自由場（IV-GFF）の微細スケールにおける統計的挙動、特に2次元におけるその最大値の理解を図ること。
• 高温におけるIV-GFFの最大値が$\log L$のオーダーであることを確立し、連続GFFの挙動と一致させること。
• フローリヒ＝スペンサの局在化の欠如に関する議論を整数値の場合に拡張し、最大値に対する鋭い下界を証明すること。
• IV-GFFの最大値の対数的成長を通じて、トポロジカル相転移理論からの予測を確認し、局在化の欠如を示すこと。

提案手法

• IV-GFFの対称化版を用いて、フローリヒ＝スペンサの証明フレームワークを整数値設定に適応する。
• 対称化されたIV-GFFのモーメント母関数に対する下界を用い、[6]の結果を任意の境界条件に一般化する。
• IV-GFFのマルコフ場性を用いて、領域$\Lambda$を独立に解析可能な部分領域に分解する。
• 領域の階層的分解における各正方形に対して、局所的サポートと有界エネルギーを持つ関数$a_{s,\rho^*}$を用いたスピン波構成を適用する。
• 複数のスピン波からのエネルギー寄与を組み合わせ、全エネルギーの下界を導出し、場の典型的な大きさを制御する。
• 部分領域全体にわたるボレル＝カンテリの補題と和集合の上限を適用し、最大値が高確率で$c_1/\sqrt{\beta} \log L$を超えることを示す。

実験結果

リサーチクエスチョン

• RQ1 系のサイズ$L \to \infty$の下で、2次元のボックス上における整数値をとるガウス自由場の最大値の漸近的オーダーは何か？
• RQ2 IV-GFFは高温において局在化の欠如を示すか？ もしそうであれば、その最大値のスケーリングは何か？
• RQ3 連続GFFを解析する際に用いられる技法を、整数値バージョンに対し類似の結果を得るために適応可能か？
• RQ4 スピン波構成は、IV-GFFの最大値に対する下界をどのように寄与するか？
• RQ5 IV-GFFの最大値は、$\log L$の定数倍によって確率的に下から抑えられるか？ そして、逆温度$\beta$にどのように依存するか？

主な発見

• 大きな$L$に対して、$\mathbb{P}^\text{IV}_{\beta,\Lambda,\mathbf{0}}\left(\max_{j\in\Lambda}|m_j| \geq \frac{c_0}{\sqrt{\beta}} \log L\right) \geq 1 - L^{-\eta_0}$が成り立つ。これは$\log L$のオーダーの下界を示している。
• 高確率で、$\max_{j\in\Lambda} m_j \geq \frac{c_1}{\sqrt{\beta}} \log L$が成り立ち、$\beta < \beta_0$の下で最大値が$\log L$のオーダーであることが確認される。
• 下界は鋭く、最大値が$O(\log L)$以下であることが知られているため、オーダーは正確に$\log L$である。
• 証明は、対称化されたIV-GFFのモーメント母関数に対する下界に依存しており、[6]の結果を任意の境界条件に一般化したものである。
• 局所的サポートとエネルギー$\geq D_5/\beta$を持つスピン波関数$a_{s,\rho^*}$が構成され、場のフラクチュエーションを制御し、非自明な下界を保証する。
• 複数のスピン波からのエネルギー寄与は加法的かつ重複なしであり、高確率で大きな最大値を持つ場の構成が可能となる。