Mass generation for the two dimensional O(N) Linear Sigma Model in the large N limit

技術的要約：大 $N$ 極限における二次元 $O(N)$ 線形シグマ模型の質量生成

問題設定
本研究は、成分数 $N \to \infty$ の極限における $\mathbb{R}^2$ 上の $O(N)$ 線形シグマ模型の厳密な数学的構成と解析に取り組むものである。このモデルは、四次相互作用と場の大きさに関する制約を含む非凸ポテンシャルを持つ確率測度によって形式的に定義される。ユークリッド量子場理論（EQFT）における中心的な未解決問題は、このモデルが「質量生成（mass generation）」、具体的には場の相関が指数関数的に速く減衰し、質量ギャップの存在を意味するかどうかである。$N=1$ の場合（$\Phi^4_2$ モデル）はよく理解されているが、ベクトル値の場合（$N \ge 2$）は、特に結合定数に対する制限的な摂動的仮定なしに、無限体積極限の一意性の確立や質量ギャップの存在を証明することにおいて、大きな課題を提示している。

Kupiainen [45] や Kopper [43] による先行する厳密な結果は、スピン $O(N)$ モデルまたは線形シグマ模型に対して、特定のスケーリング・レジーム（$N \to \infty$ かつパラメータの再スケーリングを伴う場合）の下で質量ギャップを確立したが、これらはしばに摂動的な仮定に依存していたか、あるいは有限体積に限定されていた。さらに、放物型確率的量子化（例：[62, 63, 64]）を利用した最近の研究は、$1/N$ 展開を解析しているが、通常、結合定数が十分に小さい（摂動的レジーム）ことを要求し、かつトーラス上の有限体積の設定に限定されていた。

手法
著者らは、近年の代替的なアプローチの中心である確率偏微分方程式（SPDEs）を使用せず、最適輸送、古典的ユークリッド量子場理論、および統計力学のツールを組み合わせて用いる。

1. タグランドの不等式と最適輸送： 証明の核となるのは、タグランドの不等式の無限次元拡張（Feyel/Üstünel [25, 26, 48]）である。この不等式は、二つの測度の間の相対エントロピー（カルバック・ライブラー情報量）と、2-ワッサースタイン距離との関係を結びつける。具体的には、線形シグマ模型の測度 $\nu_N$ と参照となる質量を持つガウス自由場（GFF） $\mu_m^{\otimes N}$ との間の距離を抑え込むためにこれを用いる。
2. 相対エントロピー境界： 戦略としては、収束の証明を、相対エントロピー $H(\nu_N | \mu_m^{\otimes N})$ を $N$ に関して一様に抑え込む問題へと帰着させる。
3. ギャップ方程式と質量の再スケーリング： 著者らは、参照となる GFF の最適な質量パラメータ $m = m(N, L, \lambda, \beta)$ を決定するための「ギャップ方程式」を導入する。この質量は、線形シグマ模型の測度が、厳密に凸なポテンシャル（質量を持つ GFF）と補正項からなる線形シグマ模型と等価になるように選択される。大 $N$ 極限において、この質量は結合 $\lambda$ と逆温度 $\beta$ を含む非線形方程式に従って、極限値 $m^*$ へと収束する。
4. 一様推定： 無限体積極限（$L \to \infty$）と大 $N$ 極限を同時に扱うために、以下の手法を利用する：
   • ネルソンの手法： 分配関数に対する一様境界と紫外安定性のためのもの。
   • チェッカーボードおよびチェスボード推定： 統計力学におけるこれらの古典的なツール（もともとは $\Phi^4_2$ や格子ガス用に開発された）を用いて、相対エントロピー密度の体積依存性を制御し、境界が体積 $L^2$ に対して最適にスケールすることを確認する。
   • 並進不変性： 著者らは、測力の並進不変性を利用して、それ自体が並進不変である最適な結合を構成することで、無限体積極限への移行を可能にする。

主要な貢献と結果

1. 大 $N$ 極限における質量生成： 主要な結果（定理 1.1 および定理 3.9）は、任意の結合定数 $\lambda > 0$ および逆温度 $\beta \ge 0$ に対して、$\mathbb{R}^2$ 上の $O(N)$ 線形シグマ模型の大きな $N$ 極限が質量生成を示すことを確立している。具体的には、場の各周辺分布は、厳密に正の質量 $m^*$ を持つ質量 GFF に収束する。
2. 定量的収束： 収束は、重み付き $H^1(\mathbb{R}^2)$ コスト関数を用いた 2-ワッサースタイン距離によって定量化される。著者らは、線形シグマ模型の第 $i$ 周辺分布と、対応する質量 GFF の間の距離が $O(N^{-1/2})$ で減衰することを証明している：
   $$W_{H^1_{m^*}(\rho)}(P_i \nu_N, \mu_{m^*}) \le \frac{C(\lambda, \beta)}{\sqrt{N}}$$
   これは、任意の適切な円筒関数 $F$ に対して、期待値の差が同じ速度で減衰することを意味する。
3. 非摂動的な妥当性： トーラス上での確率的量子化を用いた先行研究とは異なり、これらの結果は結合定数 $\lambda$ および $\beta$ に対する制限なしに成立する。質量生成は、極めて低い温度や大きな結合においても発生する。
4. 質量の特性付け： 極限質量 $m^*$ は、非線形ギャップ方程式の唯一の解として特徴付けられる：
   $$\frac{m^{*2}}{\lambda} + \frac{1}{2\pi} \ln m^* = -\beta$$
   著者らは、$m^*$ が逆温度に対して指数関数的に減少することを示しており、これはスピン $O(N)$ モデルに対するポリャコフの予想と一致する：
   $$\ln m^* \approx -2\pi\beta + O(\lambda^{-1})$$
5. ダブルスケーリング極限： 系数（Corollary 1.2）は、$N$ と $\lambda$ の両方が無限大にいくダブルスケーリング極限（$\lambda$ が $N$ に対して対数的に増大する場合）において、モデルが質量 $e^{-2\pi\beta}$ を持つ GFF に収束することを示している。

意義と主張
本論文は、無限体積における線形シグマ模型の $1/N$ 展開の主要項に関する未解決問題を解決したと主張している。これにより、以前の解析を制限していた摂動的な仮定を取り除いた。質量生成が、期待されるスケーリング則（ポリャコフの予想）を満たす質量を持つ Massive GFF へと収束することを、結合が小さいという仮定なしに証明することで、本研究は、大 $N$ 極限における二次元 $O(N)$ モデルにおける質量生成の厳密な確認を提供している。

著者らは、タグランドの不等式と古典的な EQFT 手法（ネルソンの境界、チェッカーボード推定）を組み合わせた自身のアプローチが、確率的量子化法に対する明確かつ堅牢な代替案を提供することを強調している。誤差項の最適なスケーリングが（有限次元の類似例に基づけば）$O(N^{-1})$ である可能性を認めつつも、現在の $O(N^{-1/2})$ の境界は、質量ギャップの存在と Massive GFF への収束を確立するには十分であるとしている。また、本研究は、有限次元や有限体積の文脈と比較して、このような手法の探索が少なかった、特異な相互作用の平均場極限を理解するための相対エントロピー法の有用性を浮き彫りにしている。