Polynomial and Eigenspace Factorisations for the One-loop Dilatation Operator at Finite $N$

技術要約：有限 $N$ における 1 ループ・ディラテーション演算子の多項式および固有空間の因子分解

問題設定
本論文は、ゲージ群 $U(N)$ および $SU(N)$ の有限 $N$ における、4 次元 $\mathcal{N}=4$ 超対称ヤン＝ミルズ（SYM）理論の $su(2)$セクターにおける 1 ループ・ディラテーション演算子のスペクトルを調査している。このセクターにおける状態は、2 つの複素随伴スカラー場$Z$および$W$に関する次数$L$のゲージ不変多項式に対応する。大$N$極限（$N \ge L$の場合）では、マルチトレース演算子が線形独立である安定領域としてよく理解されているが、有限$N$の領域（$N < L$の場合）は重大な課題を提示する。この「不安定」な領域では、トレース関係によって異なるマルチトレース演算子が線形従属となり、物理的な状態空間の次元が減少する。著者らは、これら有限$N$の状態を記述するための統一的な代数的枠組みを提供し、$U(N)$および$SU(N)$理論の両方について、1 ループの異常次元（ディラテーション演算子の固有値）を計算することを目的としている。特に、$SU(N)$ のトレースレス不変量に対する直接的な置換ベースの記述の欠如に対処している。

手法
著者らは、部分群 $S_m \times S_n$ と可換な群環 $\mathbb{C}[S_{m+n}]$ の部分代数である置換中心化る代数（Permutation Centraliser Algebra, PCA） $A(m, n)$ を用いる。この代数は、すべての $N$ に対して状態空間を統一的に記述する。

1. $U(N)$ の枠組み: $U(N)$ 不変空間 $H_N(m, n)$ は、「置換から不変量への」写像を介して $A(m, n)$ と関連付けられる。安定領域（$N \ge L$）では、この写像は同型写像である。$N < L$ の場合、この写像の核は零状態（トレース関係）に対応する。著者らは、群環の中心の左作用によって対角化され、ヤング図形 $R$ によってラベル付けされるストリンジー排除原理（Stringy Exclusion Principle, SEP）基底を利用する。有限 $N$ の物理的部分空間 $A_N(m, n)$ は、カットオフ $\ell(R) \le N$ （ここで $\ell(R)$ はヤング図形の行数）によって定義される。
2. 1 ループ・ディラテーション演算子: ディラテーション演算子 $D^{(1)}_N$ は、形式的パラメータ $\xi$ を持つ演算子 $H^{(1)}_\xi$ として、全代数 $A(m, n)$ 上に持ち上げられる。物理的な演算子は、$\xi = 1/N$ と設定することで回収される。
3. $SU(N)$ の枠組み: $SU(N)$ の場合、場はトレースレス（$Z', W'$）である。著者らは、$SU(N)$ 不変空間は、有限 $N$ 部分空間 $A_N(m, n)$ と離散置換（derangements）（不動点を持たない置換）によって生成される部分空間 $D(m, n)$ との交わりによって記述されると提案している。

主要な貢献および結果

1. 特性多項式の有限 $N$ 因子分解 ($U(N)$)
著者らは、物理的な有限 $N$ 空間 $H_N(m, n)$ 上のディラテーション演算子の特性多項式が、$\xi = 1/N$ において評価された、全安定代数 $A(m, n)$ 上の演算子 $H^{(1)}_\xi$ の特性多項式の因子であることを確立した。

• メカニズム: 彼らは、物理的部分空間の直交補空間が 1 ループ・ディラテーション演算子に対して不変であることを証明した。その結果、SEP 基底において、演算子の行列はブロック三角形式となる。
• 結果: $\det_{A(m,n)}(x - H^{(1)}_\xi)|_{\xi=1/N} = Q^{(N)}_{m,n}(x) \cdot \det_{H_N(m,n)}(x - D^{(1)}_N)$。
• 含意: 有限 $N$ 理論のスペクトルは、トレース関係を課す前であっても、安定理論のスペクトルに含まれている。

2. $U(N)$ と $SU(N)$ の間の固有空間の因子分解
論文では、$U(N)$ ヒルベルト空間を、$SU(N)$ のトレースレス不変空間と、単一レター・トレース（$z = \text{tr}(Z), w = \text{tr}(W)$）によって生成される多項式環とのテンソル積へと分解することを導出している。

• ヒルベルト空間: $H_N \cong H'_N \otimes \mathbb{C}[z, w]$。
• 固有空間: この因子分解は、1 ループ・ディラテーション演算子の固有空間にも拡張される：$H_N(e) \cong H'_N(e) \otimes \mathbb{C}[z, w]$。
• 帰結: $SU(N)$ の特性多項式は、隣接する双次数 $(m, n), (m-1, n), (m, n-1), (m-1, n-1)$ における $U(N)$ の特性多項式から直接計算できる。これは、$SU(N)$ のスペクトルに対するあらゆる直接的な構成の独立したチェックとなる。

3. 有限 $N$ における $SU(N)$ の置換による記述
著者らは、$SU(N)$ 不変量に対する直接的な置換の枠組みを提案している：

• 予想: $SU(N)$ 不変多項式の空間 $H'_N(m, n)$ は、離散置換によって生成される部分空間 $D(m, n)$ との交わり $D_N(m, n) = A_N(m, n) \cap D(m, n)$ と同型である。
• 証拠: 計算によるチェックにより、この交わりの次元が物理的な $SU(N)$ 空間の次元（ヒルベルト級数により計算）と一致すること、および、不変量写像によるこの交わりの像のグラム行列のランクが物理的次元と等しいことが確認された。
• 演算子の提案: $U(N)$ の置換ディラテーション演算子 $H^{(1)}_\xi$ を、交わり部分空間 $D_N(m, n)$ 上に射影することによって、$SU(N)$ の 1 ループ・ディラテーション演算子が提案されている。
• 検証: 提案された演算子から計算された特性多項式は、固有空間の因子分解公式から導かれる予測と一致する。

意義
本論文は、有限 $N$ 効果を理解するための厳密な代数的構造を提供し、安定な大 $N$ 極限と非摂動的な領域との間の架け橋となるものである。

• 有限 $N$ のトレース関係は、基礎となる置換対称性を破壊するのではなく、むしろ特定の不変部分空間（有限 $N$ カットオフと離散置換条件の交わり）を選択することを実証している。
• $U(N)$ からの因子分解のみに依存することなく、PCA と離散置換の部分空間の交わりを利用することで、$SU(N)$ スペクトルのための直接的な計算フレームワークを提供している。
• これらの結果は、スペクトル問題を quarter-BPS 状態の計数に関連付けており、提案された交わりの枠組みが BPS 演算子で使用される戦略をフル 1 ループ・スペクトルへと自然に拡張していることを示唆している。

この研究は、不変理論および対称群の表現論の確立された手法（ウェダーバーン・アルティンの分解およびシュワルツ・ヴェイユ双対性）に依拠して、有限 $N$ 制約が存在する場合のゲージ不変演算子の混合問題を解決している。