[论文解读] 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$-理论费曼周期和 $c_2$ 不变量的理解。它通过在三边割的一侧应用平面对偶性，证明了一个新的周期恒等式，确立了周期不变性，并生成了最多11圈的全新恒等式。此外，它还计算了所有11圈4点 $φ^4$ 图在 $p=7$ 以内的 $c_2$ 不变量，发现了三个在较低圈数阶次中未出现的新模形式。

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.

研究动机与目标

• 建立一种新的图变换——在四元图的三边割的一侧应用平面对偶性，该变换保持费曼周期不变。
• 利用这种新的对偶性不变性，将 $φ^4$-理论中已知的周期恒等式目录扩展至11圈。
• 使用改进的点计数方法，计算所有11圈4点 $φ^4$ 图在 $p=7$ 以内的 $c_2$ 不变量，以及许多在 $p=13$ 以内的结果。
• 在11圈图的 $c_2$ 不变量中识别出新的模形式，特别是针对具有高度对称补全结构的图。
• 阐明 $c_2$ 不变量与已知对称性（如补全和双三角形约化）之间的关系。

提出的方法

• 通过基尔霍夫多项式和生成树论证，证明在四元图的三边割的一侧应用平面对偶性可保持费曼周期不变。
• 利用这种新的对偶性不变性，在11圈 $φ^4$ 图中生成并验证周期恒等式，扩展了先前的目录。
• 在有限域 $\mathbb{F}_p$ 上应用分母约化和点计数技术，以计算11圈图的 $c_2$ 不变量。
• 利用高度对称图的结构——特别是补全之后——在 $c_2$ 序列中检测模形式。
• 利用 $c_2$ 不变量作为按素数幂索引的序列的定义，通过模 $p$ 计数基尔霍夫多项式的解来计算。
• 验证 $c_2$ 不变量在双三角形约化下的不变性，并将其与猜想的补全对称性联系起来，但不证明该猜想的完整形式。

实验结果

研究问题

• RQ1 在 $φ^4$-理论中，对三边割的一侧应用平面对偶性是否保持费曼周期？
• RQ2 在11圈阶次下，这种对偶性不变性能导出哪些新的周期恒等式？
• RQ3 哪些11圈 $φ^4$ 图会产生在低阶次中未出现的模形式的 $c_2$ 不变量？
• RQ4 $c_2$ 不变量在双三角形约化和补全对称性下的行为如何？
• RQ5 能否使用 $\mathbb{F}_p$ 上的点计数技术高效计算11圈图的 $c_2$ 不变量？

主要发现

• 该论文证明了在三边割的一侧应用平面对偶性能保持费曼周期不变，从而产生一类新的周期恒等式。
• 作者利用这种对偶性生成并整理了11圈周期恒等式，扩展了已知的周期等价集合。
• 所有11圈4点 $φ^4$ 图的 $c_2$ 不变量均已计算至 $p=7$，且许多已计算至 $p=13$。
• 在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的新尖点形式。