技術的要約：近臨界イジング模型、自由フェルミオン点における正弦・ゴルドン模型、およびボゾン化

問題設定

本論文は、二次元統計物理学および量子場理論における二つの基本的な模型、すなわち近臨界イジング模型（熱的な摂動を受けたもの）と、自由フェルミオン点（$\beta = 4\pi$）における正弦・ゴルドン模型との間の、厳密な数学的関連性を扱っている。

臨界模型のスケール極限が共形場理論（CFT）によって記述されることは十分に理解されており、またボゾン化（フェルミオン模型をボゾン模型へと写像する双対性）も、臨界イジング模型（ガウス自由場への写像）および質量を持つ自由フェルミオン（正弦・ゴルドン模型への写像）に対しては厳密に確立されている。しかし、近臨界イジング模型を正弦・ゴルドン模型へ直接結びつける、連続体スケール極限における厳密な証明は欠けていた。具体的には、著者らは、近臨界領域における「ダブル」イジング模型（二つの独立なコピー）の相関関数が、特定の結合を持つ正弦・ゴルドン模型の相関関数と等価であることを証明することを目指しており、これにより、この設定におけるコーレマンの対応関係を拡張することを目的としている。

手法

著者らは、質量パラメータに関する相関関数の解析性に基づく摂動論的アプローチを採用している。戦略は以下の三つの柱に基づいている。

1. 相関関数の連続体構成:

   • イジング側: 離散的な格子極限のみに依存するのではなく、著者らは近臨界イジング模型の相関関数を連続体上で直接構成する。彼らは、質量パラメータ（一般化された関数）$\alpha$ に対して、ヴェクア方程式 $\bar{\partial}f = -i\alpha \bar{f}$ を満たす「質量を持つ正則（massive holomorphic）」な関数を定義する。主要場（スピン、ディスオーダー、フェルミオン、エネルギー）は、境界値問題、パラフディアン恒等式、および演算子積展開（OPE）を通じて定義される。
   • 正弦・ゴルドン側: 正弦・ゴルドン模型は、ガウス自由場（GFF）の熱核正則化を用いた繰り込みポテンシャル法によって構成される。著者らは、ブリッジスとケネディの手法を適応させ、分配関数と相関関数を制御するために、反復マイヤー展開を利用する。

2. 解析性とテイラー展開:
   核心となる技術的革新は、質量パラメータ $m$（または $\mu$）に関して、実軸の近傍で両モデルの相関関数が解析的であることを証明することである。

   • 著者らは、近臨界相関関数を、臨界点（$m=0$）の周りのテイラー級数として展開する。
   • この展開の係数は、臨界イジング模型の「累積量（cumulants）」（これらはGFFを用いて表現可能であることが既知である）と質量パラメータを用いて表される。
   • 同様に、正弦・ゴルドン模型の相関関数も、GFFの累積量を含む係数を用いて、結合パラメータに関する展開が行われる。

3. 臨界ボゾン化による係数の照合:
   証明は、既知の臨界イジング模型のボゾン化辞書（先行研究[9]で確立されたもの）に依拠している。これは、臨界イジングの相関をGFFの相関へと写像するものである。近臨界イジング模型と正弦・ゴルドン模型のテイラー係数が、（臨界辞書と摂動展開の特定の構造を用いて）項ごとに一致することを示すことにより、著者らは、全関数が同一であることを導き出す。

主要な貢献と結果

1. 主定理 (Theorem 1.1)

主要な結果は、近臨界イジング模型に対する厳密なボゾン化恒等式を確立することである。滑らかな境界を持つ有界な単連結領域 $\Omega$ と滑らかな質量関数 $\alpha$ に対して、ダブル・イジング模型（二つの独立なコピー）の相関関数は、特定のポテンシャル $\rho = -2\alpha/\pi$ を持つ自由フェルミオン点（$\beta=4\pi$）における正弦・ゴルドン模型の相関関数に等しい。

対応関係は以下の辞書によって与えられる：

• $\sigma \tilde{\sigma} \leftrightarrow \sqrt{2} :\cos(\sqrt{\pi}\phi):$
• $\mu \tilde{\mu} \leftrightarrow \sqrt{2} :\sin(\sqrt{\pi}\phi):$
• $\varepsilon + \tilde{\varepsilon} \leftrightarrow 2 \llbracket \cos(\sqrt{4\pi}\phi) \rrbracket$ （ここで $\llbracket \cdot \rrbracket$ は標準的なウィック順序を超えた特定の繰り込みを表す）
• フェルミオン場は、GFFの微分（$\partial \phi, \bar{\partial} \phi$）に写像される。

2. 存在と解析性 (Theorems 1.4 and 1.5)

• イジング側: 著者らは、一般的な質量関数 $\alpha$ に対して、近臨界イジング相関関数の存在と局所一様有界性を証明する。これらの関数が質量パラメータに関して解析的であることを確立し、臨界モデルの累積量を含む明示的なテイラー展開を与える。
• 正弦・ゴルドン側: 著者らは、正弦・ゴルドン相関関数（広義の関数として存在し、後に連続関数へと洗練される）の存在と、結合パラメータに関する解析性を証明する。また、熱核正則化と繰り込みポテンシャルを含む、GFFの累積量を用いた明示的なテイラー係数の公式を導出する。

3. 無限体積とパネヴェ・イオ（Painlevé）との接続 (Corollary 1.3)

定数負質量 $m < 0$ の無限体積極限において、著者らは二点スピン相関関数をパネヴェIII型方程式の解へと結びつける既知の結果を回収する。これは、彼らの連続体構成が確立された離散モデルのスケーリング極限と一致していることを確認するための整合性チェックとして機能する。

4. 技術的進展

• 繰り込みポテンシャル: 本論文は、熱核正則化を用いた正弦・ゴルドン模型の繰り込みポテンシャルの詳細な分析を提供し、カウンター項を用いて発散（特に $n=2$ の項）を制御している。
• 質量を持つ正則関数: 非定数質量パラメータを持つヴェクア方程式を用いた相関関数の構成は、臨界模型で使用された離散複素解析の技術を質量を持つ領域へと拡張するものである。

意義と主張

本論文は、コーレマンの対応関係（質量を持つチーリング模型と正弦・ゴルドン模型を関連付けるもの）および臨界イジング模型のボゾン化結果の、厳密な拡張であると主張している。

• ボゾン化の拡張: 臨界点（無質量）および正弦・ゴルドン模型の自由フェルミオン点を超えて、近臨界イジング模型（質量を持つマヨラナ・フェルミオンに対応）に対する双対性を確立する。ダブル・イジング模型（二つの質量を持つマヨラナ・フェルミオン）は、単一の質量を持つディラック・フェルミオンに等しく、それが自由フェルミオン点における正弦・ゴルドン模型に等しいことが知られている。
• 厳密な基礎: 物理学者は長らくこの双対性を予測してきたが（例：[39]）、本研究は、近臨界領域における連続体スケーリング極限における最初の数学的に厳密な証明を提供する。
• 手法の新規性: 質量パラメータにおける解析性を証明し、既知の臨界結果を用いてテイラー係数を照合するというアプローチは、CFTの摂動を研究するための堅牢な枠組みを提供する。著者らは、非定数質量を持つ連続相関の構成は、まだ特定の離散格子模型の極限であるとは主張していないが（定数質量のケースとは異なる）、既知の結果を一般化する一貫した連続体理論を提供している。

著者らは、自らの研究が臨界イジング模型の「辞書」（[9]で証明済み）に依拠し、それを摂動論的解析によって拡張するものであり、格子組合せ論から双対性をゼロから導出するものではないことを強調している。結果は、系が臨界点から外れて摂動を受けた場合でも、ボゾン化の豊かな構造が維持されることを裏付けている。