Bootstrapping bilinear relations of discrete Painlevé systems from 5d gauge theories

技術要約：5次元ゲージ理論からの離散パヴェリ・システムにおける双線形関係のブートストラップ

問題提起
パヴェリ方程式は、もともと既約な非線形二階常微分方程式として分類されているが、堺の分類によって幾何学的に整理された離散的な一般化（差分方程式）を持つ。これらの離散系は、超対称ゲージ理論と密接に関連している。微分パヴェリ方程式は4次元 $\mathcal{N}=2$ 理論に対応し、離散（特に $q$ 差および楕円型）パヴェリ方程式は5次元 $\mathcal{N}=1$ ゲージ理論に対応する。特定のケース（例：$N_f \le 4$）におけるタウ関数は、ネクラソフ・インスタントン分配関数と同一であることが特定されており、その双線形関係（広田双線形形式）もケースバイケースで確立されているが、より広範なクラスの5次元理論に適用可能な一様なゲージ理論的構成は欠けていた。本研究が取り組む主要な課題は、特定のパヴェリ方程式の構造に関する事前の知識に依存することなく、一般的な5次元 $\mathcal{N}=1$ 理論、特に $N_f > 4$ および楕円型の場合（$N_f=8$）に対して、双線形関係を系統的に導出することである。

手法
著者らは、5次元場理論に関連するタウ関数の双線形関係を決定するための「ブートストラップ」法を提案している。手法は以下の通りである：

1. タウ関数の定義： タウ関数は、$\Omega$ 背景（$\mathbb{C}^2 \times S^1$）上での5次元インスタントン分配関数の離散フーリエ変換（または大正準分配関数）として定義される。ここでは、ネクラソフ・シャタシュヴィリ（NS）極限 $(\epsilon_1, \epsilon_2) \to (\epsilon, 0)$ を用いる。決定的なことに、この定義はブローアップ幾何 $\hat{\mathbb{C}}^2$（$\mathbb{C}^2$ の原点が $\mathbb{P}^1$ にブローアップされたもの）を組み込んでいる。タウ関数 $\tau \binom{r}{B}$ は、動的な磁束の分数部分 $r$ と、フレーバー対称性に関連する背景磁束 $B$ によってラベル付けされる：
   $$\tau \binom{r}{B}(s, \phi, m, \epsilon) = \sum_{n \in \mathbb{Z}^{\text{rank } G} + r} s^n \hat{Z}(\phi + n\epsilon, m + B\epsilon; \epsilon)$$
   ここで $\hat{Z}$ は、ブローアップされた空間上の分配関数である。

2. 双線形関係のアンスアッツ（仮定）： 著者らは、以下の形式の双線形関係を仮定する：
   $$\Lambda_1 \tau \binom{r_1}{B_1} \tau \binom{r'_1}{B'_1} + \Lambda_2 \tau \binom{r_2}{B_2} \tau \binom{r'_2}{B'_2} + \Lambda_3 \tau \binom{r_3}{B_3} \tau \binom{r'_3}{B'_3} = 0$$
   ここで係数 $\Lambda_i$ は質量パラメータ $m$ と変形パラメータ $\epsilon$ に依存するが、クーロン・モジュライ $\phi$ には依存しない。

3. 制約とブートストラップ：

   • 磁束の量子化： 許容される磁束の割り当て $\{r_i, r'_i, B_i, B'_i\}$ は、ブローアップ方程式およびBPSスペクトルから導かれる量子化条件によって制限される。
   • モジュラー性： トポロジカル弦分配関数のモジュラー特性（具体的には有効結合行列の変換）からの制約により、背景磁束の和は各項間で保存されなければならない：$B_1 + B'_1 = B_2 + B'_2 = B_3 + B'_3$。
   • 漸近解析： 係数 $\Lambda_i$ は、大きなクーロン・モジュラス（$\phi \to \infty$）および大きなインスタントン計数パラメータ（$m_0 \to \infty$）の極限における分配関数の漸近挙動を分析することによって固定される。これらの極限において、関係式は展開パラメータの次数ごとに成立しなければならない。
   • 対称性と整合性チェック： リード次数の制約を満たす不整合なアンスアッツを排除するために、手法は分配関数の次低次項（最小BPS電荷を符号化する）および理論のグローバル対称性（例：$E_n$ 対称性）を利用する。グローバル対称性のワイル反射は、一つの双線形関係を他のものへと写像する。もしある関係式がワイル変換の下で不整合であれば、そのアンスアッツ全体が破棄される。

主な結果
本手法は、$N_f$ 個の基本ハイパーマルチプレットに結合された5次元 $SU(2)$ゲージ理論（$N_f \le 8$）に適用される：

• **純粋 $SU(2)$($N_f=0$):** ブートストラップにより、離散$\theta$角$\theta=0$および$\theta=\pi$の両方について、$q$-パヴェリ$III_3$方程式（$q$-$A^{(1)}_1$ に対応）の双線形関係が回収される。
• **$SU(2) + 1F$($N_f=1$):** 本手法は、$q$-パヴェリ方程式$q$-$E^{(1)}_2$ の双線形関係を導出する。
• 一般的な $N_f \le 7$: ブートストラップ・プログラムは、$N_f = 2, \dots, 7$ に対応する $q$-パヴェリ方程式の双線形関係を正常に生成する。これらの関係は、3インスタントン次までのインスタントン分配関数によって検証されている。
• **$SU(2) + 8F$(楕円型の場合):** 6次元$E$-string 理論によってUV完備される $N_f=8$ の理論について、本手法は楕円型パヴェリ方程式（対称性タイプ $E^{(1)}_8$）の双線形関係を導出する。解析には $E_8$ ワイル群とヤコビ・テータ関数が含まれる。著者らは、5次元記述から導出された双線形関係が、既知の楕円型パヴェリ構造と一致することを実証している。
• **$SU(2) + 7F$:**$N_f=8$のケースから一つのフレーバーをデカップリングすることにより、著者らは楕円型双線形関係の三角関数版、すなわち$q$-パヴェリ方程式$q$-$E^{(1)}_8$ に対応する関係を導出する。

意義と主張
本論文は、離散パヴェリ・システムの双線形関係のための一様なゲージ理論的構成を提供することを主張している。特定のケースごとの導出や、パヴェリ階層に関する事前の知識に依存することが多かった従来のアプローチとは異なり、本手法は、基礎となる5次元超対称ゲージ理論の有効プレポテンシャル、摂動的寄与、およびグローバル対称性のデータから直接、関係式を導き出す。

著者らは、このアプローチが高ランクまたはより複雑なシナリオにおけるパヴェリ／ゲージ対応を探索するための体系的なツールとして、高ランクの $SU(2)$ゲージ理論を超えた一般的な5次元$\mathcal{N}=1$場理論に適用可能であることを強調している。$N_f \le 4$における既知の双線形関係の回収、および$N_f > 4$と楕円型（$N_f=8$）における新しい関係の導出は、ブートストラップ・アルゴリズムの妥当性を裏付けている。本研究は、離散パヴェリ系の代数的構造（特にその広田双線形形式）と、5次元ゲージ理論の物理的データ（分配関数および対称性）との間の直接的な繋がりを確立しており、より複雑な状況におけるパヴェリ／ゲージ対応の探究のための体系的な道具を提供している。