Hidden Region Finder: asymptotic expansions of Feynman integrals in Minkowski space

技術要約：Hidden Region Finder（隠れた領域の探索器）：ミンコフスキー空間におけるファインマン積分の漸近展開

問題提起
領域法（Method of Regions, MoR）は、広範に分離されたスケールが存在するファインマン積分の漸近展開を導出するための体系的な枠組みである。ユークリッド積分については、グラフ多項式によって定義されるニュートン多面体のファセット（面）に対応する領域という、確立された幾何学的アルゴリズムが存在する。しかし、この手法は多くの物理的に重要なミンコフスキー極限においては機能しない。ミンコフスキー・キネマティクスでは、第2シンツィック多項式（$F$）が、正のパラメータ値において打ち消し合いが生じるような、符号の異なる項を含むことがある。これらの打ち消し合いは積分路をピンチ（挟み込み）させ、「隠れた領域（hidden regions）」を生じさせるが、これらは標準的なニュートン多面体の解析では捉えられない。これらの領域を特定することは極めて重要であり、たとえ一つの領域を見落としただけでも、不正確な漸近展開をもたらし、結果として、分解の証明、大きな対数の再総和化、および有効場理論の構築を損なうことになる。これまでの解決策は、特定の線形パラメータ変更や既知の特異軌跡へのアドホックな分割に依存していたが、グラフ多項式から直接これらの領域を発見するための一般的なアルゴリズム的手順を欠いていた。

手法：Hidden Region Finder (HRF)
本論文では、ミンコフスキー空間における隠れた領域を体系的に特定し、認証するために設計されたアルゴリズムである**Hidden Region Finder (HRF)**を定式化している。この構成は、積分がグラフ多項式 $U$ および $F$ を通じて表現されるリー–ポマランスキー（Lee–Pomeransky, LP）表現におけるパラメータ空間内で動作する。そのコアとなるロジックは、漸近的スケーリングと符号の打ち消し合いの相互作用に基づいている：

1. 分解と障害（Decomposition and Obstruction）: アルゴリズムは、主要な多項式に含まれる単項式の部分集合が、「超先行的な打ち消しセクター（superleading cancellation sector, $F_{SL}$）」を形成できるかどうかを探索する。このセクターは、正のパラメータ領域において第一シートのランダウ・ピンチ（$F_{SL}=0$ かつ $\nabla F_{SL}=0$ となる停留点）を許容しなければならない。残りの単項式は「障害（$F_{Obs}$）」を構成する。
2. 導関数の収集（Derivative Harvesting）: HRFは、出発点となる多項式の導関数を分析することで、候補となる打ち消し因子を特定する。アルゴリズムは、そのピンチの共通零集合を定義する「生成子」（典型的には2つの異なる因子の積 $g_k = f_i f_j$）を構築する。
3. スケーリングと階層（Scaling and Hierarchy）: 候補となる $F_{SL}$ とそのピンチ軌跡が特定されると、アルゴリズムはスケーリングベクトル $\vec{v}_{HR}$ を決定する。これにより、$F_{SL}$ 内の単項式は個別に超先行的なもの（多項式の他の項よりも低い重みを持つもの）となる。しかし、ピンチ軌跡上での打ち消し合いにより、それらの和は抑制され、障害や他の項と同じオーダーとなる。これには、解決された主要な重み（$W_{HR}$）が、超先行的な重み（$W_{SL}$）よりも厳密に大きいという厳格な階層構造が必要である。
4. 複雑性へのラッパー（Wrappers for Complexity）: アルゴリズムには、以下を処理するための「ラッパー」が含まれている：
   • 漸近次数の整合（Asymptotic-order alignment）: 分解を行う前に、展開パラメータの異なるネイティブな次数にある単項式を、共通の有効な主要次数へと事前に再スケーリングすること。
   • 境界探索（Boundary searches）: エッジ・パラメータをゼロに設定する収縮ストラタ（contraction strata）への体系的な制限を行い、グラフの境界においてのみ現れる領域を見つけること。
5. 細分化による認証（Certification via Dissection）: 候補となる領域は、ピンチ軌跡の周囲の積分領域の局所的な細分化が「スケーフルな（scaleful）」下位ファセットを与える場合にのみ、認証される。これは、多項式を打ち消し合いが解決される局所座標に変換し、結果として得られる積分がスケーレス（scaleless）ではないことを保証するプロセスである。

主な結果と応用
本論文では、HRFを質量ゼロの4点、5点、および6点積分に適用し、様々なキネマティクス極限（ワイドアングル、レッジ、コリニア、ニアプラナー）において適用した。研究では、隠れた領域を生成する一連の「シード（種）」となるトポロジーが特定されている：

• クラウン（The Crown）（4点、3ループ）: 最も単純なシードであり、ワイドアングル・オンシェル展開（ランドシャフ散乱）およびレッジ極限（グローバー構成）において隠れた領域をサポートする。本論文は、クラウン収縮マイナーを持つすべての4ループ・トポロジーは隠れた領域を持つ一方で、それを持たないものは持たないことを証明している。
• フィッシュ（The Fish）（5点、2ループ）: 非平面的なダブルボックス・トポロジー。これは、時空型コリニア極限（標準的な分解を破る場合）、ニアプラナー・ワイドアングル極限、およびラピディティ順序極限において隠れた領域をサポートする。解析により、フィッシュ・シードが頂点補正の下での多項式の持ち上げを通じて、その打ち消し合いの幾何学を継承できることが示されている。
• ツイステッド・ボックス（The Twisted-Box）（6点）: 完全二部グラフ $K_{2,2}$ に関連するシード。これは物理的な自己交差面上に隠れた領域を示し、それはニア・マルチ・レッジ・キネマティクス（NMRK）およびダブルコリニア極限における6点ツイステッド・ヘキサゴン実現によって継承される。

研究によれば、隠れた領域はしばしば完全二部グラフの入射コア（例：$K_{2,2}, K_{3,2}, K_{4,2}, K_{4,3}$）から生じる。これらのトポロジーは、複数のハード散乱サブダイアグラムがコリニアな経路によって接続される「ランドシャフ（Landshoff）」構成を促進する。本論文は、トポロジカルなコアがメカニズムを組織化する一方で、隠れた領域の存在とその具体的な形態は、外部レッグの割り当て、キネマティクス極限、および解の正値性に決定的に依存することを確立している。

意義と主張
本論文は、非ユークリッド的なファインマン積分において完全な領域の集合を決定するための、最初の一般的なアルゴリズム的手順を提供すると主張している。その意義は以下の点にある：

1. 欠落した寄与の解明: HRFは、標準的な幾何学的解析では欠落している寄与（隠れた領域）を体系的に明らかにするものであり、これはミンコックス空間における正確な漸近展開を実現するために不可欠である。
2. トポロジカルな組織化: 本研究は、隠れた領域を完全二部グラフの入射コアに基づいて構造的に整理することを提案しており、特定のグラフ・トポロジー（クラウンやフィッシュなど）が、異なるキネマティクス極限にわたってこれらの現象の普遍的なシードとして機能することを示唆している。
3. 幾何学的認証: ランダウ特異点（ピンチ面）の代数的な条件と、漸近展開のための幾何学的要件（スケーフルな下位ファセット）との間の厳密な繋がりを確立し、隠れた領域の存在に対する「認証（certificate）」を提供している。
4. 運動量空間への再構成: 認証されたパラメータ空間の領域が、いかにして運動量空間のモード（グローバー・ループや相関された縦方向のサポートを含む）へと翻訳されるかを実証し、本手法が物理的な直感（分解や散乱に関するもの）と一致していることを検証している。

著者は、本研究をHRFアルゴリズムの可能性を示す探索的な研究として提示している。彼らは、最小限のシードと継承パターンを特定したものの、観察されたペア積生成子の構造が普遍的な定理であることを証明したわけではなく、また、すべての可能な隠れた領域の完全な分類を確立したとも主張していない。本研究は、より高次のループ・トポロジーや、より複雑なキネマティクス極限に対する体系的な調査のための基礎となるものである。