Integrable Chiral Quantum Field Theories with Spacetime-Dependent Interactions

技術要約：時空依存性相互作用を持つ可積分カイラル量子場理論

問題の所在
本論文は、相互作用が空間と時間の両方に明示的に依存する、可積分なカイラル・フェルミオン量子場理論（QFT）の構築について扱っている。定常なハミルトニアンを持つ可積分系は、交換可能な保存量を通じて十分に理解されているが、明示的に時間依存する系は困難を伴う。なぜなら、時間依存性は時間並進対称性を失わせるためであり、保存量が時間順序付き発展と両立するかどうかは極めて厳格な制約となる。先行研究では、空間的な一様性を課すことで、カイラル理論における可積分な時間依存結合 $g(t)$ を確立したが、真に時空依存的な結合 $g(x, t)$ を持つための一般的な枠組みの開発が求められていた。核心となる問題は、非自律的で時空変動するハミルトニアンに対して、散乱データと輸送構造が整合性を保つような、一貫した可積分多体理論を定式化することである。

手法
著者は、因子化散乱に基づく「輸送」アプローチを用いて、多体振幅を座標順序セクター上の離散接続として扱うことで、この理論を構築している。手法は以下の通りである：

1. 特性座標： ラピディティや運動量ではなく、自由な右進行および左進行の軌道に付随する保存された「特性ラベル」$\xi_R$ および $\xi_L$ を用いて構成を行う。これらは、ヌル座標の独立した、かつ2回微分可能で単調な再パラメータ化によって定義される：
   $$\xi_R(x, t) = f_R(x - t), \quad \xi_L(x, t) = f_L(x + t)$$
   ここで、$f_R$ と $f_L$ は独立な関数である。

2. 散乱変数： 2体散乱行列 $S(u)$ は、これらのラベルの差 $u = \xi_L - \xi_R$ に依存する。散乱行列は、ユニタリであり、正則であり、差形式（difference form）であり、ブレーディング・ユニタリ性とヤン・バクスター方程式（YBE）を満たすものと仮定される。

3. 離散接続と平坦性：

   • 局所的平坦性： YBEは、座標順序セクター間を移動するために用いられる一対の交換の順序に対して、多体振幅が独立であることを保証する。これは、局所的な経路独立性を反映している。
   • 大域的平坦性： 長さ $\ell$ の円周上の周期境界条件は、特性写像が準周期的なリフト（$f(s+\ell) = f(s) + \varpi$）であることを要求する。粒子が円周を一周すると、量子Knizhnik–Zamolodchikov（qKZ）差分方程式が生成される。これらの方程式の整合性（大域的な経路独立性）は、系に対して制約を課す。

4. ハミルトニアンの実装： 抽象的な散乱行列を局所的な4フェルミオン相互作用ハミルトニアンに関連付けるために、特定の接触処方（対称なデルタ関数正則化）が用いられる。ケイリー写像は、散乱変数 $u$ と結合関数 $g(x, t)$ を結びつける。

5. 幾何学的制約： 散乱変数 $u$ が波動方程式 $\square u = 0$ （ここで $\square = \partial_t^2 - \partial_x^2$）を満たすという要求は、ケイリー写像を介して、結合 $g(x, t)$ に対する特定の微分制約へと翻訳される。

主要な貢献と結果

• 一般的な構成： 本論文は、空間的一様性の仮定を緩和することで、従来の時間依存的な構成を一般化している。非アフィンな再パラメータ化 $f_R$ および $f_L$ を許容することにより、明示的に時空依存する結合 $g(x, t)$ を持つ可積分理論のクラスを導出している。
• 結合の形式： 散乱変数 $u$ を $u = \Upsilon(g)$ を通じて結合 $g$ に結びつける接触処方において、可積分条件は $\square \Upsilon(g(x, t)) = 0$ を要求する。有理型 $SU(2)$ グロス・ネーブ・モデルにおいて、$\Upsilon(g) = \eta/g$ である場合、これは以下を与える：
  $$g(x, t) = \frac{\eta}{f_L(x+t) - f_R(x-t)}$$
  この結合は空間に関して周期性を持ち、空間と時間の両方に非自明に依存する。
• $SU(2)$ の明示的な実現： 著者は、この構成をカイラル $SU(2)$ グロス・ネーブ・モデルを用いて例示している。彼らは以下の明示的なハミルトニアンを導出する：
  $$H_{int}(t) = 2 \int dx \, g(x, t) \, O_{RL}(x)$$
  ここで $O_{RL}$ は置換行列 $P$ を含む4フェルミオン演算子である。結合 $g(x, t)$ は、分母がゼロになる集合を除いて有限かつ正則であることが示されている。
• 波動関数の構成： 基準となる振幅に対してqKZ方程式を解き、その後、2体散乱行列を用いてこの振幅を他のすべての座標順序セクターへと輸送することによって、確定した粒子数を持つ波動関数が構成される。時空依存性は、特性プルバックによって完全に決定される。
• 正則性解析： 論文では結合の正則性を解析している。散乱行列は $u=0$（$S(0)=P$）において正則であるが、結合 $g(x, t)$ は分母がゼロになる点で極を持つ可能性がある。著者は、（例えば $|2\kappa t + \beta| > \rho(t)$ のような）特定の時刻スライスにおいて、ハミルトニアンが空間円周全体で正則であり続けるための条件を特定している。

意義と主張
本論文は、因子化散乱データから直接、時空依存的な相互作用を持つ可積分カイラルQFTを生成するための体系的なプログラムを提供すると主張している。その意義は、以下の点にある：

1. 可積分性の幾何学的起源： これらの時間依存系における可積分性は、「特性ラベル空間」における離散接続の平坦性に根ざしている。ヤン・バイルスター方程式は局所的な平坦性を保証し、qKZ方程式は大域的な平坦性を保証する。
2. 一様なケースの一般化： 特性写像が等しい傾斜を持つアフィン写像であるとき、本フレームワークは、空間的に一様で時間依存するケース（$g(t)$）を自然に回収する。非アフィンな写像は、可積分性を崩すことなく、真の空間依存性（$g(x, t)$）を導入する。
3. モデル独立性： 明示的なハミルトニアンの実装はモデル依存（特定の接触処方に依存）であるが、基礎となる輸送構造と幾何学的条件 $\square \Upsilon(g) = 0$ は、YBEを満たす正則なユニタリ差形式の散乱行列を持つあらゆるモデルに対して一般的である。

著者は、現在の構成が裸のフォック真空上の有限粒子数セクターにおいて定式化されていることを注記している。ドレスされた構成または充填された基準状態への拡張は、ドレスされた準粒子データと正規順序項の開発を必要とする将来の課題として特定されている。本論文は実験的な応用を提案するものではなく、非自律的な可積分場理論における厳密解のための理論的枠組みを確立するものである。