[論文レビュー] Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica

Jacob L. Bourjaily|arXiv (Cornell University)|Dec 31, 2012

Particle physics theoretical and experimental studies参考文献 22被引用数 39

ひとこと要約

この論文は、スキャッタリング振幅、オンシェル図、およびグラスマン多様体のポジトロイド層構造の研究を簡素化するための 'positroids' Mathematica パッケージを紹介する。このパッケージは、置換に基づく組合せ論的技法を用いて、正規座標の計算、プラビック図の生成、オンシェル微分形式の評価を可能にし、すべてのループ次数における $\mathcal{N}=4$ SYM 振幅の研究を著しく簡素化する。

ABSTRACT

The many intricate connections between scattering amplitudes, on-shell diagrams, and the positroid stratification of the Grassmannian has recently been described in great detail. In order to facilitate the exploration of this rich correspondence, we have prepared a public Mathematica package called "positroids" which includes an array of useful tools including those for the construction of canonical coordinates for positroid configurations, the drawing of representative on-shell (plabic) graphs, and the evaluation of on-shell differential forms. This note documents the functions made available by the positroids package; the package's source code together with a Mathematica notebook containing many detailed examples of its functionality are included with this note's submission files on the arXiv.

研究の動機と目的

• スキャッタリング振幅、オンシェル図、およびグラスマン多様体 $G(k,n)$ のポジトロイド層構造の間の深い関係を橋渡しすること。
• ポジトロイド構成のための正規座標およびオンシェル微分形式の構築を自動化する計算ツールキットを提供すること。
• Mathematica における記号計算を活用して、オンシェル図およびそれらに関連する数学的構造の効率的探索を可能にすること。
• 使いやすく、ドキュメンテーションと例が豊富なオープンソースパッケージを提供することで、平面的 $$\mathcal{N}=4$$ 超ヤン・ミルズ理論における研究を支援すること。

提案手法

• パッケージは、ポジトロイド細胞およびプラビック図内の左右パスを置換でラベル付けし、オンシェル図を組合せ論的に符号化する。
• パラメータ $\alpha_i$ と $G(k,n)$ 内のポジトロイド構成の行列代表 $C(\alpha)$ の正規座標を計算する。
• 視覚的なプラビック図を生成し、置換データを用いて左右パスを追跡することで、直接的な幾何的解釈を可能にする。
• オンシェル微分形式を $d\log\alpha_1 \wedge \cdots \wedge d\log\alpha_d$ として評価し、振幅積分を簡素化する。
• 超振幅の物理的成分を $\widetilde{\eta}$-成分抽出およびBCFW再帰項数のカウントにより抽出する関数を含む。
• 美観的なフォーマット、時間計測、およびランダムテスト（例：$\partial^2 = 0$ mod 2 の検証）を含む記号計算をサポートする。

実験結果

リサーチクエスチョン

• RQ1 置換とプラビック図を用いて、オンシェル図の組合せ的構造を体系的に符号化し、可視化することは可能か？
• RQ2 ポジトロイド細胞 $G(k,n)$、正規座標、および $$\mathcal{N}=4$$ SYM におけるスキャッタリング振幅との正確な対応関係は何か？
• RQ3 Mathematica における記号計算を活用して、オンシェル微分形式および振幅成分の評価を自動化することは可能か？
• RQ4 BCFW再帰による木レベル振幅の生成の計算複雑度は何か？非消滅項はいくつ出現するか？
• RQ5 このパッケージを用いて、ポジトロイド細胞の境界において、$\partial^2 = 0$ mod 2 といった基本的な代数的恒等式を検証することは可能か？

主な発見

• パッケージは、任意のポジトロイド細胞に対して正規体積形式 $d\log\alpha_1 \wedge \cdots \wedge d\log\alpha_d$ を正しく計算でき、オンシェル振幅の直接評価を可能にする。
• 6点、3ループのN$^{(k-2)}$MHV振幅について、BCFW再帰は木レベルで3つの非消滅項、1ループで16の非消滅項を生成し、`termsInBCFW[6,3]` および `termsInBCFW[6,3,1]` によって計算された。
• `treeContour[6,3]` 関数は、6点N$^2$MHV振幅に寄与する3つのポジトロイド細胞に対応する置換ラベルのリスト {{4,5,6,8,7,9}, {3,5,6,7,8,10}, {4,6,5,7,8,9}} を返す。
• `superComponent` 関数は特定の $\widetilde{\eta}$-成分関数を抽出する。例えば、8粒子のN$^2$MHV振幅の $(-,+,-,+,-,+, -,+)$ 成分は $-\frac{908416}{39375}$ に評価される。
• 変数に正の値を割り当てるための `explicify` および境界恒等式の検証（例：$\partial^2 = 0$ mod 2）のための `mod2` 機能を含む。`mod2[Join@@(boundary/@boundary[randomCell[8,4,12]])]` を実行すると空リストが得られ、$\partial^2 = 0$ mod 2 が確認される。
• `nice` 関数は、標準的な物理学表記（例：$\alpha_1$, $\langle 1234 \rangle$）を用いて式をフォーマットし、複雑な振幅や形式の可読性を向上させる。