[論文レビュー] Planar Matrices and Arrays of Feynman Diagrams

Freddy Cachazo, Alfredo Guevara+2 more|arXiv (Cornell University)|Dec 19, 2019

Advanced Combinatorial Mathematics参考文献 48被引用数 12

ひとこと要約

本稿は、$k=4$二随伴振幅を計算する組合せ的対象として、フェ Feynman 図の平面的行列を導入する。これは、$k=3$ における既存の平面的集合の一般化である。この手法は、適合性および平面性条件を満たすメトリック木の対称行列を構築する組合せ的ブートストラップを用い、$(k,n) = (4,8)$ および $(4,9)$ に対してそれぞれ 90,608 個および 30,659,424 個のこのような行列を生成し、振幅の明示的表現を提供する。

ABSTRACT

Very recently planar collections of Feynman diagrams were proposed by Borges and one of the authors as the natural generalization of Feynman diagrams for the computation of $k=3$ biadjoint amplitudes. Planar collections are one-dimensional arrays of metric trees satisfying an induced planarity and compatibility condition. In this work we introduce planar matrices of Feynman diagrams as the objects that compute $k=4$ biadjoint amplitudes. These are symmetric matrices of metric trees satisfying compatibility conditions. We introduce two notions of combinatorial bootstrap techniques for finding collections from Feynman diagrams and matrices from collections. As applications of the first, we find all $693$, $13\,612$, and $346\,710$ collections for $(k,n)=(3,7), (3,8),$ and $(3,9)$ respectively. As applications of the second kind, we find all $90\, 608$ and $30\,659\,424$ planar matrices that compute $(k,n)=(4,8)$ and $(4,9)$ biadjoint amplitudes respectively. As an example of the evaluation of matrices of Feynman diagrams, we present the complete form of the $(4,8)$ and $(4,9)$ biadjoint amplitudes. We also start the study of higher dimensional arrays of Feynman diagrams, including the combinatorial version of the duality between $(k,n)$ and $(n-k,n)$ objects.

研究の動機と目的

• $k=3$ におけるフェ Feynman 図の平面的集合の枠組みを、$k=4$ 二随伴振幅へ一般化すること。
• $k=4$ 振幅を計算する新しい組合せ的対象として、メトリック木の平面的行列を定義すること。
• 下位 $k$ 構造から系統的にこれらの行列を生成するための組合せ的ブートストラップ技術を開発すること。
• $(4,8)$ および $(4,9)$ の二随伴振幅の完全な形を計算し、提示すること。

提案手法

• 適合性条件 $d^{(i)}_{jk} = d^{(j)}_{ik} = d^{(k)}_{ij}$ を満たすメトリック木の対称行列として、フェ Feynman 図の平面的行列を提案し、ランク3テンソル $\pi_{ijk}$ を定義する。
• $k=2$ および $k=3$ の構成から、反復的適合性チェックを経て $k=4$ の平面的行列を構築する組合せ的ブートストラップアルゴリズムを導入する。
• CHY形式と正領域 $\Delta$ 上での積分を用い、振幅を $\mathcal{R}(\mathcal{M}) = \int_{\Delta} d^{2(n-4)}f_I \, \exp\left(\sum_{i,j,k} \pi_{ijk} \mathsf{s}_{ijk}\right)$ として計算する。
• PolyMake の三角形分割関数を用いて、頂点と面からなる振幅ポリトープの体積を計算し、明示的振幅評価を可能にする。
• フェ Feynman 図の高次元配列の文脈において、$(k,n)$ と $(n-k,n)$ 物体間の双対性を応用する。
• $(k,n)=(3,8)$ における 13,612 個の平面的集合が ${\rm Trop}^+G(3,8)$ 内の 25,080 個のクラスターと一致することを確認し、クラスター代数構造との整合性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 平面的フェ Feynman 図集合を、$k=4$ 二随伴振幅を計算するためにどのように一般化できるか？
• RQ2 $k=4$ における平面的集合に代わる組合せ的構造は何か、そしてどのように系統的に構築できるか？
• RQ3 $(k,n)=(4,8)$ および $(4,9)$ に対して、$k=4$ 平面的行列の数を計算し、それらの振幅を明示的に評価できるか？
• RQ4 新しい平面的行列は、トロピカルグラスマン多様体やクラスター代数といった既知の構造とどのように関係するか？
• RQ5 フェ Feynman 図の高次元配列の文脈において、$(k,n)$ と $(n-k,n)$ 間の双対性は果たす役割は何か？

主な発見

• 本稿は、$(k,n) = (4,8)$ に対してすべての 90,608 個の平面的行列を構築し、8 粒子の $k=4$ 二随伴振幅を計算する。
• $(k,n) = (4,9)$ に対しては、30,659,424 個の平面的行列が得られ、$n=9$ における $k=4$ 振幅の完全な配置集合が提供される。
• $(4,8)$ および $(4,9)$ の二随伴振幅の完全な形は、三角形分割されたポリトープから導かれた体積公式を用いて明示的に評価された。
• $(k,n)=(3,8)$ における 13,612 個の平面的集合が、${\rm Trop}^+G(3,8)$ 内の 25,080 個のクラスターと同一の情報を符号化していることが示され、クラスター代数構造との整合性が確認された。
• この枠組みは高次元配列へ拡張可能であり、$(k,n)$ と $(n-k,n)$ 物体間の組合せ的双対性の第一歩が確立された。
• 本手法は、$(k,n)=(3,7)$ に対して 693 個、$(3,8)$ に対して 13,612 個、$(3,9)$ に対して 346,710 個の平面的集合を正確に再現し、ブートストラップ手法の妥当性を検証した。