A strong-weak duality for the 1d long-range Ising model

技術要約：1次元長距離イジング模型における強・弱双対性

問題提起
本論文は、相互作用が $1/r^{1+s}$ で減衰する1次元長距離イジング（LRI）模型を調査している。臨界領域 $1/2 \le s \le 1$ において、この系は、$s$ によって連続的に変化するデータを持つ、非自明な一連の1次元共形場理論（CFT）を実現する。このモデルは $s=1/2$ 付近では弱結合（四次相互作用を持つ一般化自由場の記述）であるが、$s \to 1$ に向かって強結合となり、短距離イジング（SRI）へのクロスオーバーに接近する。

標準的な場理論的記述は、$s=1$ 付近での弱結合の枠組みを提供できない。高次元（$d \ge 2$）で提案されている、標準的な局所イジングCFTと一般化自由場（GFF）を結合させる双対記述は、$d=1$ では直接適用できない。なぜなら、1次元のSRIモデルは有限温度においてCFTを生成せず、そのゼロ温度極限は連続的な局所演算子のスペクトルを持つCFTではなく、トポロジカルな理論（単一の量子ビット）となるためである。したがって、高次元の双対を素朴に一般化したものだけでは、クロスオーバー付近の完全な演算子スペクトルとスケーリング挙動を捉えることはできない。

手法
著者らは、$s \to 1$ において弱結合となる新しい双対場理論的定式化を提案し、分析する。その手法は、パラメータ $\delta = 1-s$ に関して摂動的にCFTデータ（スケーリング次元およびOPE係数）を計算するための、2つの独立したアプローチに基づいている。

1. 場理論的繰り込み群（RG）:

   • モデル構築: 著者らは、負のスケーリング次元 $\Delta_\phi = -\delta/2$ を持つコンパクトな一般化自由場（GFF）$\phi$ を、経路順序付き指数関数を介して $2 \times 2$ 行列自由度（パウリ行列）に結合させた、1次元連続モデル（式3.9）を導入する。相互作用項は、キンク／アンチキンクを表す頂点演算子 $V_\pm$ と、微分演算子 $\chi \sim \partial \phi$ を含む。
   • 物理的動機: このモデルは、キンクの希薄ガスとしてのLRIのアンダーソン・ユバル・コステリッツ（AYK）記述を一般化したものである。$s=1$ において、これはU(1)シングレット・セクターに制限されたボゾナイズド・近藤モデルへと還元される。
   • RG解析: 著者らは、結合定数 $g$（頂点演算子の強度）と $h$（$\chi$ への結合）に関する摂動展開を行う。彼らはベータ関数を導出し、非自明なIR固定点を特定し、$\delta$ に関する次々次項（NNLO）までの異常次元およびOPE係数を算出する。

2. 解析的コンフォーマル・ブートストラップ:

   • セットアップ: 著者らは、$\delta$ によってパラメータ化され、$Z_2$ およびパリティ対称性を持つ、一連のユニタリ1次元CFTが存在すると仮定する。また、CFTデータが $\sqrt{\delta}$ のべき級数による漸近展開を持つと仮定する。
   • 入力: ブートストラップは、$s=1$ における厳密なCFTデータ（場理論の極限から導出）をシードとして使用する。これには、厳密な次元 $\Delta_\sigma = \delta/2$ および $\Delta_\chi = 1-\delta/2$ を持つ保護された演算子 $\sigma$（スピン場）と $\chi$（$\sigma$ のシャドウ）の存在が含まれる。
   • 実行: 整数スケーリング次元を持つ共形ブロックに対する双対的な解析的汎関数を用いて、軽いプライマリー（$\sigma, \chi, O_\pm$）を含む4点関数の交差対称性を、$\delta$ の次数ごとに解く。これにより、双対モデルの具体的なラグランジアンに依存することなく、CFTデータを決定することができる。

主要な貢献と結果

• 双対定式化: 本論文は、$s \to 1$ 近傍の1次元LRIに対する、特定の弱結合双対場理論（式3.9）を提示している。この理論は、摂動展開においてAYKモデルを正確に再現し、これまでアクセス不可能であった計算のための系統的な枠組みを提供する。
• 固定点構造: RG解析は、$g_* \sim \sqrt{\delta}$ および $b_*^2 \sim 1 - \delta/4$ における非自明なIR固定点を特定する。著者らは、$s > 1$ ($\delta < 0$) の場合、この固定点が複素数となり、自明な固定点のみが残ることを示しており、これは1次元SRIモデルにおける有限温度での相転移の不在と一致している。
• CFTデータの計算:
  • スケーリング次元: 著者らは、主要な近臨界演算子 $O_\pm$ および保護された演算子 $\sigma, \chi$ のスケーリング次元を $O(\delta)$ まで計算する。彼らは $\Delta_\sigma = \delta/2$ および $\Delta_\chi = 1-\delta/2$ が保護されていることを確認している。
  • OPE係数: 彼らは、OPE係数（例：$c_{\sigma\sigma\pm}, c_{\sigma\chi\pm}, c_{\pm\pm\pm}$）を $O(\delta)$ および $O(\delta^{3/2})$ まで計算する。
• 相互検証: 中心的な結果は、摂動的RG計算と解析的ブートストラップの結果が完全に一致することである。ブートストラップは、対称性と $s=1$ のシードのみに基づきながら、RGの予測を独立して再現し、さらに高次まで拡張している。
• $s=1$ におけるスペクトル: 著者らは、LRIと近藤モデルの双対性を、$s=1$ においては近藤モデルをU(1)シングレット・セクターに制限する必要があることを示すことで洗練させている。この制限により、演算子スペクトルの不一致が解消され、LRI CFTの完全なプライマリー集合が正しく特定される。

意義
本論文は、この研究が、短距離クロスオーバー（$s \to 1$）付近の1次元LRIモデルに対する、最初で系統的な弱結合場理論的記述を提供すると主張している。元の $\phi^4$ 記述が強結合であり、新しい「近藤様」欠陥モデルが弱結合であるという強・弱双対性を確立することで、著者らは、非摂動的手法や数値シミュレーションに支配されていた領域での摂動的なCFTデータの計算を可能にした。

場理論的RGと解析的ブートストラップの一致は、提案された双対モデルおよびIR固定点の共形不変性の両方に対する、強力で独立した検証として機能している。この研究は、キンクのアンダーソン・ユバル・コステリッツの物理的描像と現代的なCFT技術との間の溝を埋め、1次元LRI普遍性クラスを研究するための堅牢な計算ツールを提供している。