Decomposing Grassmann Monomials for Superfield Expansions

技術要約：スーパーフィールド展開のためのグラスマン単項式の分解

問題設定
超対称場理論において、スーパーフィールドは、通常の時空に反交換的なグラスマン座標 $\theta$ を拡張した超空間（superspace）上で定義される。拡張超対称性においては、これらの座標はスピノル添字（$\alpha = 1, \dots, d_S$）とフレーバー（またはR対称性）添字（$i = 1, \dots, d_F$）の両方を保持する。スーパーフィールドのテイラー展開は、グラスマン数の冪零性により、次数 $N = d_S d_F$ で終了する。

本稿が取り組む中心的な課題は、グラスマン単項式の空間 $\Lambda^n(V \otimes W)$ の分解である。ここで、$V$ と $W$ はそれぞれスピンおよびフレーバーのベクトル空間である。全成分の数は組合せ論的に既知（$\binom{d_S d_F}{n}$）であるが、実用的な計算には、これらの成分を独立した構造へと整理する必要がある。具体的には、単項式を、対称性群（$G_S \times G_F$）の不変テンソルが可能な限り多くの添字を吸収し、係数場が既約表現（irreps）として残るような項の和として表現しなければならない。

既存の手法は、ケースバイケースの導出やリトルウッド・リチャード（LR）則に依存することが多い。しかし、LR則は拡張超空間、特に表現論の「安定領域」の外側においてはますます複雑になり、実装において微妙な誤りを招きやすい修正則（例：Kingの規則）を必要とする。さらに、標準的なLRアプローチは、物理的計算に不可欠な明示的なテンソル縮約（ウィットネス）を本質的に提供しない。

手法
本論文は、構造群を $\{GL, U, SL, SU, Sp, O, SO\}$ から選択した場合の $\Lambda^n(\mathbb{C}^{d_S} \otimes \mathbb{C}^{d_F})$ の分解に関する、表現論的な汎用アルゴリズムを提示する。このアプローチは、直接的なLR係数の計算や修正則の使用を避け、厳密な線形代数と指標理論（character theory）に依拠している。

1. コーシー分解 (レイヤー 1):
   アルゴリズムはまず、古典的なコーシー恒等式を適用して、$GL(V) \times GL(W)$ の作用下での $\Lambda^n(V \otimes W)$ を分解する：
   $$\Lambda^n(V \otimes W) \cong \bigoplus_{\lambda} S_\lambda(V) \otimes S_{\lambda'}(W)$$
   ここで $\lambda$ は分割（partition）である。$SL$ や $SU$ のような群の場合、ヤング図表の完全な列は $\epsilon$ テンソルと縮約されてシングレットを形成し、問題は残りの形状へと簡約される。

2. 厳密な指標比較による分岐 (レイヤー 2):
   群が $G \in \{Sp, O, SO\}$ である場合、$GL$ の表現 $S_\lambda$ は可約となる。本アルゴリズムは、分岐則を使用する代わりに、指標値に基づく線形系を解くことで $G$-既約表現の多重度を決定する。

   • アンザッツ（仮定）: パリティ制約とランク制限（Proposition 4.2）に基づき、候補となる $G$-既約表現の集合（ラベル $\mu$）を生成する。
   • 線形系: 分岐多重度 $c_\mu$ は、最大トーラス上の決定論的な有理サンプル点における指標値 $\chi_\lambda(g) = \sum c_\mu \chi_\mu(g)$ を用いて解かれる。
   • 厳密算術: すべての計算は、浮動小数点誤差を避けるため、任意精度整数を用いた $\mathbb{Q}$ 上の計算（Bareissの分数フリー消去法）で行われる。
   • 自己認証: 解は、(i) 独立なサンプル点における指標の正確な再現、(ii) 多重度の整数性、(iii) 次元和の規則（$\sum c_\mu \dim_G(\mu) = \dim_{GL} S_\lambda$）の検証によって検証される。

3. 明示的なウィットネス構成:
   多重度が認証された後、アルゴリズムは不変テンソル（$\eta, \omega, \epsilon$）を用いた明示的な「ウィットネス」縮約を構成する。

   • ペア・ウィットネス: スキュー図のリトルウッド・リチャード充填を用いて、$\omega$（シンプレクティック）または $\eta$（直交）による添字のペアリングを決定する。
   • $\epsilon$ ウィットネス: レヴィ＝チヴィタ・テンソルとの縮約を扱い、係数場に自由なスロットを残したままの部分的な縮約も処理する。
   • $\omega^{\wedge k}$ ウィットネス: シンプレクティック群の場合、ヤング図表の単一の列内にある複数の添字を縮約するために、シンプレクティック形式の冪乗を利用する。

主な貢献

• アルゴリズム的枠組み: ケース固有の修正則を用いることなく、任意のランクの群に対してグラスマン単項式を分解するための統一された手順。
• 認証メカニズム: 次元チェックと指標の一貫性を通じて自らの出力を検証する「自己認証型」の設計により、失敗が即座に検出されることを保証し、もっともらしいが誤った結果が生じることを防ぐ。
• 明示的な縮約生成: アルゴリズムは、既約表現とその多重度のリストだけでなく、スーパーフィールド作用を構成するために必要な明示的なテンソル縮約（ウィットネス）を生成する。
• 計算量解析: 本手法は、表現空間の次元ではなく、分割の数 $n$ と群のランク $r$ に対して多項式時間であることが示されており、LR係数の計算には依存しない。

結果と検証
アルゴリズムはスタンドアロンのJuliaスクリプトとして実装され、以下の3つの層を通じて検証された：

1. 内部認証: すべての実行において、整数の多重度と次元和がチェックされる。
2. クロス実装: ロジックが有理数演算を用いたPythonに移植され、185個の形状/ランクのペア（$n \le 6, m \le 8$）において結果が一致することが確認された。
3. ベンチマーク: アルゴリズムは、以下の既知の手計算による分解を正確に再現した：
   • $SL(2) \times SO(3)$ の分解。
   • $6D$ $N=2$ のKoller分解（[5]の結果と一致）。
   • $SO(4)$ の自己双対/反自己双対ペアを含む $3D$ $N=4$ の分解。

性能テストによれば、実行時間は表現の次元ではなく、分割数とランクに比例してスケールする。例えば、固定された次数 $n=4$ における $SO(10)$ への分岐では、特定の分割の次元に関わらず一貫したタイミングを示した。

意義と限界
本論文は、生の既約表現のリストよりも「不変テンソル基底」の方が物理計算において実用的であることを踏まえ、本研究をスーパーフィールド展開を整理するためのツールとして位置づけている。その意義は、一貫性と検証可能性にある。本手法は、安定領域と不安定領域の両方を、単一のコードパスで、手動の介入なしに、異なる群の種類（$Sp, SO, O$）とともに扱うことができる。

著者は以下の限界を明記している：

• 次元性: 現在の同型性は、本手法を6次元以下のスピノルに限定している。10次元および11次元のスピン群への拡張はカバーされていない。
• 群の成分: 「O」のオプションは現在 $SO$ の内容を計算する。$O(m)$ の非連結成分によってのみ区別される表現を区別するには、反射のサンプリングが必要である。
• ウィットネスの網羅性: 多重度は正確であるが、基本となる縮約（$\omega, \eta, \epsilon$ を使用したもの）が見つからない場合、ウィットネス層は一部の分岐を「複合的（composite）」と報告する場合があるが、次元のカウント自体は正しい。

本研究は、ヒューリスティックな速度よりも、組み込みの実行時証明を伴う厳密かつ決定論的な計算を優先する、物理学における表現論的ソフトウェアのテンプレートとして機能する。