An adaptive inverse-problem framework for one-loop five-gluon BCJ numerators

技術要約：1ループ5点グルオンBCJ数理の適応型逆問題フレームワーク

問題設定
本論文は、純粋ヤン＝ミル理論における1ループ5点グルオン散乱振幅の、バーン・カラスコ・ジョセフソン（BCJ）数理（numerator）の構成について扱う。BCJ表現は、運動学的数理がカラー因子とジャコビ関係を反映するような立方グラフの和として振幅を整理するものであるが、これらの数理を求めることは一般に非一意な解を持つ逆問題である。課題は、物理的データ（一般化ユニタリティー・カット）から局所的かつパリティー一様な運動学的数理を再構成しつつ、代数的制約（反対称性、ジャコビ恒等式）および局所性・べき乗則を満たすことにある。従来の手法は、構成的アルゴリズムや特定のアンサッツ（仮定）に依存することが多く、それらは全解空間を捉えきれなかったり、残存する自由度の厳密な検証を欠いたりする場合がある。

手法：適応型逆問題フレームワーク
著者らは、BCJ数理の構成を、固定された科学的仕様 $\Omega$ と適応的なワーキング仕様 $\sigma_t$ に支配される、有限かつ厳密な逆問題 $P_\sigma = (A, b; S; T)$ として定式化している。

1. 固定された科学的仕様 ($\Omega$): これは問題の不変の規則を定義する：理論（純粋ヤン＝ミル）、外部状態、グラフの慣習、係数体（内部スピン次元 $D_s$ の有理関数）、局所性／べき乗則、一般化カットの定義、観測量等価写像 $S$、および独立した検証テスト $T$ である。
2. 適応的なワーキング問題 ($\sigma_t$): 各段階において、ワーキング仕様は線形システム $Ax = b$ へとコンパイルされる。
   • $A$ (制約行列): 候補となる数理の係数を物理的なカット・データへと写像する。
   • $b$ (ターゲット・ベクトル): 内部状態にわたって和をとられた、オンシェルのツリー振幅の積を含む。
   • $S$ (観測量写像): 解を分類する。具体的には、LSZ簡約および無スケール積分の除去後における、$R_{12345}$ カラー・リング射影に影響を与えるか否かを判定する。
   • $T$ (検証スイート): 独立したチェック（新しいカット、積分簡約、ヘリシティ・ベンチマーク）を保持し、解を検証する。
3. 厳密な診断と適応: フレームワークは、以下の厳密な線形代数診断を用いて問題を適応させる：
   • 左零空間による障害 (Left-Null Obstructions): もし $\lambda^T A = 0$ かつ $\lambda^T b \neq 0$ である場合、現在のアンサッツは不十分である。ベクトル $\lambda$ はこの不整合を特定し、新しい基底列（例：繰り返されるコンタクト項）の追加を導く。
   • 右核解析 (Right-Kernel Analysis): システムが整合している場合、右核 $\ker A$ は解の自由度を表す。候補となる測定行（カット）は、この核に対するランク・ゲイン（$\text{rank}(RK)$）によって評価される。ランク・ゲインが非ゼロである行は、盲目の方向（blind directions）を解消するために追加される。
4. エージェント支援による構成: このプロセスは、言語モデル・エージェントまたは固定された探索ポリシーと互換性を持つように設計されている。エージェントは、厳密な診断状態（ランク、零空間、残差）を受け取り、修正（基底セクターの追加、カット・トポロジーの選択）を提案する。コンパイラと厳密な評価器が、これらの提案を決定論的に検証する。

主要な貢献

1. 厳密な逆問題としての定式化: 振幅表現の構成を、固定された科学的規則と適応的な計算的実現を分離した、有限かつ厳密な逆問題として確立した。
2. 適応のための2つの厳密な診断: アンサッツおよび測定セットを精緻化するための、左零空間による障害（整合性を修正するため）と、右核の情報利得（測定効率を最大化するため）を用いた系統的な手法を導入した。
3. 5点ファイバーの完全な再構成: 著者らは、このフレームワークを適用して、1ループ5点グルオン振幅の完全な207次元のアフィン解ファイバーを再構成した。
   • 基底の構成: 17,824個のテンソル単項式から出発し、代数的簡約により10,724個の独立な構造を得た。グラフ対称性により、これを1,127個の独立な係数座標へと削減した。極めて重要な点として、著者らは、当初の平方自由基底で省略されていた300個の「繰り返されるコンタクト」方向（$Y_i^2 N_{ii}$）を特定し、これらを追加した。これは整合性のために必要であった。
   • カットの設計: 最大カット、ボックス・カット、およびトリプル・カットは916のランクを提供した。情報量の多いダブル・カットの行を探索することで、ランクを920に増加させ、核の次元を211から207へと減少させた。
4. 観測量の分類: 著者らは、全207次元の解ファイバーが、指定された $S$ 写像の下で単一の観測量クラスに写像されることを証明した（$S(\ker A) = 0$）。これは、ファイバー内のすべての解が、選択された読み出しに対して物理的に等価であることを意味する。
5. 検証と比較:
   • 再構成された解は、独立したマスター積分簡約およびヘリシティ振幅のベンチマーク（all-plus, single-minus, MHV）に対して検証された。
   • 公表されているフォワード・リミットの数理 [12] が、特定の解と15個の活性な核方向の特定の線形結合として、再構成されたファイバー内に正確に位置していることが示された。
   • 本論文は、フォワード・リミットと固定ルーティングの処方（prescription）が同じ観測量クラスを与える一方で、それらの生の処方マップは、特定のマスター積分において非ゼロの係数によって異なっていることを示し、等価性のマップ依存性を浮き彫りにした。

結果

• 解空間: 厳密な解は、$\mathbb{Q}(D_s)$ 上の207次元のアフィンファイバー $F_b = x_p + \ker A$ である。
• 特殊解: 簡約行階段形式（RREF）の代表元 $x_p(D_s) = x(0) + D_s x(1)$ が決定された。
• 核 (Kernel): 207個の有理核ベクトルが計算された。これらは、選択されたカットに対して不可視なすべての変形を表す。
• 観測量等価性: 写像 $S$ は全207個の核方向を消去し、カット・データが（指定された等価性に関して）観測量振幅を一意に決定することを確認した。
• 整合性: システムは整合的であり（$\text{rank} A = \text{rank}[A|b]$）、すべての独立した検証チェック（新しいカット、積分簡約、ヘリシティ振幅）は、ゼロの残差でパスした。

意義と主張
本論文は、ヒューリスティックな推測を回避し、決定論的、厳密、かつ再現可能なBCJ数理構成のフレームワークを提供することを目的としている。適応型逆問題として扱うことで、不足しているアンサッツ項と情報量の多い測定を系統的に特定する。著者らは、本手法が以下の特性を持つことを強調している：

• 完全性の保証: 単なる一つの任意の解を見つけるのではなく、局所的なアンサッツとカット・データに適合する全解ファイバーを決定する。
• 物理的等価性の確保: 残存する自由度を厳密に分類し、207次元の曖昧さが指定された $S$ による物理的観測量に影響を与えないことを証明する。
• 自動化の実現: 物理学者とAIエージェントの両方が、修正案を提案し検証するための共通インターフェースを提供する、エージェント支援型の構成のために設計されている。
• 処方の依存性の明確化: 数理の（カット／観測量マップに関する）一意性と、異なる積分処方の間の等価性を明確に区別し、後者には追加の表面またはスキームの補完が必要であることを示している。

本研究は、厳密な算術、ホモロジー代数の概念（障害と変形）、および適応的な計算戦略を組み合わせ、複雑な散乱振幅の問題を解決する、新しいパラダイムへの概念実証として機能する。