[論文レビュー] Further investigations into the graph theory of $ϕ^4$-periods and the $c_2$ invariant

Simone Hu, Oliver Schnetz+2 more|arXiv (Cornell University)|Dec 20, 2018

Noncommutative and Quantum Gravity Theories参考文献 7被引用数 4

ひとこと要約

本稿は、$φ^4$-理論のフェ Feynman 周期と $c_2$ 不変量の理解を、グラフ理論的手法を用いて進展させる。3辺カットの一方の側に平面双対性を適用することで、新たな周期的恒等式を証明し、周期の不変性を確立するとともに、11ループまで新たな恒等式を生成する。また、$p=7$ まですべての4点 $φ^4$ グラフについて11ループでの $c_2$ 不変量を計算し、低次のループ数では観察されなかった3つの新しいモジュラー形式を発見する。

ABSTRACT

A Feynman period is a particular residue of a scalar Feynman integral which is both physically and number theoretically interesting. Two ways in which the graph theory of the underlying Feynman graph can illuminate the Feynman period are via graph operations which are period invariant and other graph quantities which predict aspects of the Feynman period, one notable example is known as the $c_2$ invariant. We give results and computations in both these directions, proving a new period identity and computing its consequences up to 11 loops in $ϕ^4$-theory, proving a $c_2$ invariant identity, and giving the results of a computational investigation of $c_2$ invariants at 11 loops.

研究の動機と目的

• 3辺カットの一方の側に平面双対性を適用する新しいグラフ変換を確立し、フェ Feynman 周期を保存することを示すこと。
• この新しい双対性不変性を用いて、$φ^4$-理論における周期的恒等式のリストを11ループまで拡張すること。
• 精密化された点数え法を用いて、$p=7$ まで、および多くの場合 $p=13$ まで、11ループの4点 $φ^4$ グラフの $c_2$ 不変量を計算すること。
• 特に、高対称的 Completion が施されたグラフに対して、$c_2$ 不変量に現れる新しいモジュラー形式を同定すること。
• $c_2$ 不変量と既知の対称性（Completion と二重三角形削減）の関係を明確にすること。

提案手法

• キルヒホッフ多項式と全域木の議論を用いて、4正則 $φ^4$ グラフの3辺カットの一方の側に平面双対性を適用してもフェ Feynman 周期が保存されることを証明する。
• この新しい双対性不変性を用いて、11ループ $φ^4$ グラフの間で周期的恒等式を生成・検証し、既存のリストを拡張する。
• 分母削減と有限体 $\mathbb{F}_p$ 上での点数え技術を用いて、11ループグラフの $c_2$ 不変量を計算する。
• 特に、Completion 後の高対称的構造を活用して、$c_2$ 列に現れるモジュラー形式を検出する。
• $c_2$ 不変量の定義を、$p$ の素数べきをインデックスとする列として、キルヒホッフ多項式を $\mathbb{F}_p$ で満たす解の個数を数えることで与える。
• 二重三角形削減における $c_2$ 不変量の不変性を検証し、完全な予想の証明を伴わないまま、Completion 対称性と関連づける。

実験結果

リサーチクエスチョン

• RQ1 3辺カットの一方の側に平面双対性を適用しても、$φ^4$-理論におけるフェ Feynman 周期は保存されるか？
• RQ2 この双対性不変性から、11ループにおいてどのような新たな周期的恒等式が導けるか？
• RQ3 どの11ループ $φ^4$ グラフが、低次のループ数では観察されなかった $c_2$ 不変量をモジュラー形式として示すか？
• RQ4 $c_2$ 不変量は二重三角形削減および Completion 対称性の下でどのように振る舞うか？
• RQ5 $\mathbb{F}_p$ 上での点数え法を用いて、11ループグラフの $c_2$ 不変量を効率的に計算できるか？

主な発見

• 本稿は、3辺カットの一方の側に平面双対性を適用してもフェ Feynman 周期が保存されることを証明し、新たな周期的恒等式のクラスを導く。
• 著者らは、この双対性を用いて11ループの周期的恒等式を生成・カタログ化し、既知の周期的同値関係の集合を拡張する。
• すべての11ループ4点 $φ^4$ グラフについて、$p=7$ まで、および多くの場合 $p=13$ まで $c_2$ 不変量が計算された。
• 3つの新しいモジュラー形式が11ループでの $c_2$ 不変量に発見された：$P_{11,7914}$、$P_{11,7156}$、$P_{11,7158}$ に対して、$c_2$ 列が新しい尖点形式と一致する。
• $\widetilde{P}_{11,7914}$ の $c_2$ 不変量は $(4,10): 0,1,0,3,1,7,15,14,17,26,28$ であり、重さ4、レベル10の新しいモジュラー形式を示している。
• $\widetilde{P}_{11,7156}$ の $c_2$ 不変量は $(3,24): 0,0,3,4,10,0,0,0,0,8,7$ であり、重さ3、レベル24の新しい尖点形式に対応している。