Macroscopic freezing of a vector Gaussian free field conditioned to avoid a ball

技術要約：球を回避するように条件付けられたベクトル・ガウス自由場のマクロな凍結

問題設定
本論文は、辺の長さ $n$ の2次元格子ボックス $\Lambda_n$ 上のベクトル値離散ガウス自由場（GFF）について、マクロな内部領域 $D_n$ 内の固定された半径 $R$ の球を回避するように条件付けられた際のマクロな振る舞いを調査している。具体的には、著者は $m \ge 2$ 個の独立したゼロ境界GFF座標 $\phi_n = (\phi_n^1, \dots, \phi_n^m)$ を検討する。条件付けイベント $\Omega_n$ は、すべての $x \in D_n$ において、場の方ベクトル $\phi_n(x)$ のユークリッドノルムが $|\phi_n(x)| \ge R$ であることを要求する。

中心的な問いは、ベクトル設定における「エントロピー的斥力（entropic repulsion）」に関するものである。スカラー場は障害物から離れるように強制される一方で、ベクトル場には自由な方向が存在する。本論文は、異なるマクロ領域 $D$ の部分が同じ方向を選択するのか（整列）、あるいは方向が空間的に変化するのかを明らかにしようとしている。これは、KorzhenkovaとSepúlveda [1] による先行研究に基づいている。彼らは、ノルムが典型的には $2 \log n$ であり、方向はサブマクロ的な距離（$n^\nu$、ここで $\nu < 1$）において整列することを確立したが、「マクロな凍結（macroscopic freezing）」（領域全体にわたる整列）の問題は未解決のまま残した。

手法
証明は、主に以下の3つの技術的構成要素を組み合わせている：

1. ノルム斥力定理： 著者は、KorzhenkovaとSepúlveda [1] の結果を利用して、条件付けの下で正規化された場 $|\phi_n(x)|/\log n$ が、$D$ 上のほとんど至る所で目標ノルム2の周りに集中することを確立する。これは、目標ノルム2からの $L^2$ 欠損を測る有界連続汎関数 $G(f)$ を通じて定式化される。
2. ガウス大偏差原理： 本論文は、非条件付けられた場 $X_n = \phi_n / \log n$ に対する $L^2$ 大偏差原理（LDP）を採用する。レート関数はディリクレエネルギー $I(f) = \frac{1}{4\pi} \int_\Lambda |\nabla f|^2$ として特定される。条件付けイベントは、ノルム制約が満たされる集合にLDPを制限することによって分析される。
3. ベクトル容量変分問題： 核となる議論は、ベクトル問題をスカラー問題へと還元することである。著者は、ノルム制約 $|f| \ge 2$ の下でのレート関数 $I(f)$ の最小化を分析する。彼らは、このベクトル容量問題の最小化解が、大域的な回転を除いて一意であることを証明する。すなわち、場は $f = 2 U h_D$ という形をとらなければならない。ここで $h_D$ は $\Lambda$ に対する領域 $D$ の平衡ポテンシャルであり、$U$ は定数単位ベクトルである。

極めて重要なステップは、方向ベクトル $s(u) = f(u)/|f(u)|$ の変化が、$\int h_D^2 |\nabla s|^2$ に比例する追加の「角度エネルギー」コストを課すことを示すことである。領域 $\Lambda$ は連結であるため、エネルギー最小化は $s(u)$ がほとんど至る所で定数であることを強制し、それによってマクロな整列を確立する。

主要な結果
本論文は以下の主要な結果を確立している：

• 条件付けの漸近的コスト (Theorem 1.1): 条件付けイベントの確率は次のように減衰する：
  $$\lim_{n \to \infty} \frac{\log P(\Omega_n)}{(\log n)^2} = -\frac{2}{\pi} \text{cap}_\Lambda(D)$$
  ここで $\text{cap}_\Lambda(D)$ は $\Lambda$ における $D$ の相対容量である。このコストは、球の半径 $R$ やベクトルの次元 $m$ に依存しない。

• マクロな収束 (Theorem 1.1): 条件付き測度 $Q_n$ の下で、正規化された場 $X_n$ は $L^2(\Lambda; \mathbb{R}^m)$ において、分布の意味で $2 U h_D$ に収束する。ここで $U$ は球面上 $S^{m-1}$ に一様に分布するランダムな単位ベクトルである。これは、場のプロファイルが、大域的なランダム回転を除いて決定論的であることを意味する。

• 決定論的な整列 (Corollary 1.2): 密度が1に近づく（すなわち $|D_n \setminus \tilde{D}_n| = o(n^2)$）決定論的なサイトの集合 $\tilde{D}_n \subset D_n$ が存在し、$\tilde{D}_n$ 内の任意の2サイト間の整列の期待値が1に収束する：
  $$\inf_{x,y \in \tilde{D}_n} E[\sigma_n(x) \cdot \sigma_n(y) \mid \Omega_n] \to 1$$
  ここで $\sigma_n(x)$ は点 $x$ における場の方向である。これは、「凍結」が局所的ではなく、マクロな領域全体にわたって発生することを裏付けている。

意義と範囲
本論文は、ベクトルGFFのエントロピー的斥力の完全な空間プロファイルを提供し、[1] で提起されたマクロな凍結の問題を解決した。その意義は、球を回避するという制約が、ディリクレエネルギーを最小化するためにベクトル場に単一の大域的な方向を選択させることを示し、潜在的に非連結な領域 $D$ の構成要素間で選択される方向を効果的に結合させている点にある。

著者は、自身のアプローチが容量変分問題の等号成立の場合とGFFのスペクトル特性に依存していることを述べている。また、以下の事項については扱っていないことを明示している：

• プロファイルの集中に関する定量的レート。
• 固定された内部部分領域に対する系（exceptional set）の除去（Corollary 1.2）。
• 残差場 $X_n - 2 U h_D$ のより微細なスケールの揺らぎ。
• 半径 $R$ や次元 $m$ に依存する可能性のある次次の漸近項。

本研究は、大偏差理論と容量理論の相互作用を利用して、古典的なスカラーのエントロピー的斥力の結果（例：Ben Arous および Deuschel [2]）をベクトル設定へと厳密に拡張したものとして位置づけられている。