[论文解读] Multiple Deligne values: a data mine with empirically tamed denominators

David Broadhurst|arXiv (Cornell University)|Sep 25, 2014

Advanced Mathematical Identities参考文献 20被引用 12

一句话总结

本文构建了至多权重11的多重泽塔值（MDVs）的新基底，通过构建包含1337万条有理系数的数据仓库（仅含小质数分母），消除了此前潘泽（Panzer）和申茨（Schnetz）结果中发现的大质数分母。利用53个本原MDVs的数值数据，该方法实现了快速、高精度（20000位小数）的计算，并由此提出六个经实证检验的关于MDV结构与约化的猜想。

ABSTRACT

Multiple Deligne values (MDVs) are iterated integrals on the interval $x\in[0,1]$ of the differential forms $A=d\log(x)$, $B=-d\log(1-x)$ and $D=-d\log(1-λx)$, where $λ$ is a primitive sixth root of unity. MDVs of weight 11 enter the renormalization of the standard model of particle physics at 7 loops, via a counterterm for the self-coupling of the Higgs boson. A recent evaluation by Erik Panzer exhibited the alarming primes 50909 and 121577 in the denominators of rational coefficients that reduce this counterterm to a Lyndon basis suggested by ideas from Pierre Deligne. Oliver Schnetz has studied this problem, using a method from Francis Brown. This gave 2111, 14929, 24137, 50909 and 121577 as factors of the denominator of the coefficient of $π^{11}/\sqrt{3}$. Here I construct a basis such that no denominator prime greater than 3 appears in the result. This is achieved by building a datamine of 13,369,520 rational coefficients, with tame denominators, for the the reductions of 118,097 MDVs with weights up to 11. Then numerical data for merely 53 primitives enables very fast evaluation of all of these MDVs to 20000 digits. In the course of this Aufbau, six conjectures for MDVs are formulated and stringently tested.

研究动机与目标

• 解决在七圈Higgs玻色子反项中MDV约化有理系数内出现的大质数（如50909、121577）的问题。
• 构建13,369,520条有理系数的数据仓库，用于权重≤11的MDVs，且仅含≤3的小质数分母。
• 仅使用53个本原MDVs，实现对所有118,097个权重≤11的MDVs的快速、高精度（20,000位小数）计算。
• 提出并实证检验六个关于MDV代数与算术结构的新猜想。
• 提供一种基底，避免潘泽（Panzer）与申茨（Schnetz）在Deligne基底约化中出现的分母质数膨胀现象。

提出的方法

• 使用微分形式 $ A = d/log(x) $, $ B = -d/log(1-x) $, 和 $ D = -d/log(1-\rho x) $（其中 $ \rho $ 为单位根的六次本原根）构建MDVs的定制基底。
• 结合试错法与模修正技术，系统性地从有理系数的分母中消除大质数。
• 利用MDVs的复共轭对称性（引理1），通过生成函数将实部与虚部分离，从而在LLL与PSLQ算法中高效执行整数关系搜索。
• 利用53个本原MDVs的数值数据，通过专用GP工具（MDVgrep.gp）快速将所有118,097个权重≤11的MDVs计算至20,000位小数精度。
• 在深度4处应用类似泰勒展开（公式55），并将其推广至深度3（公式56），以简化Higgs自耦合反项的表达式。
• 采用改进的Lyndon基底方法，避免了潘泽与申茨早期Deligne基底约化中出现的分母膨胀问题。

实验结果

研究问题

• RQ1 为何在七圈Higgs反项MDV约化中，有理系数内会出现如50909与121577这样的大质数，即使使用了看似合理的基底？
• RQ2 能否构造一种MDV基底，使得有理系数中不出现大于3的质数？
• RQ3 在何种程度上，可通过深度特定对称性与共轭关系（尤其是引理1）简化MDV的结构？
• RQ4 能否构建一个有理系数数据仓库，以实现对所有权重≤11的MDVs的快速、高精度计算？
• RQ5 在 $\{A,B,D\}$ 字母表中，标准杂交关系为何失效，是否存在更深层的代数或动机性原因，其与模形式和MZVs有何关联？

主要发现

• 构建了13,369,520条有理系数的数据仓库，用于权重≤11的MDVs，所有分母仅由≤3的质数组成。
• 仅使用53个本原MDVs，通过MDVgrep.gp工具即可将所有118,097个权重≤11的MDVs计算至20,000位小数精度。
• Higgs反项中 $ \pi^{11}/\sqrt{3} $ 项的系数，从原含8个大质数（如50909、121577）的分母形式，简化为仅含小质数的形式。
• 提出了六个新猜想（1–6）并进行了严格实证检验，包括关于Glanois方法可及性的猜想5。
• 该方法成功避免了潘泽与申茨结果中出现的分母质数膨胀问题，通过用数值优化基底替代Deligne基底。
• 在深度4处的类似泰勒展开（公式55）及其深度3推广（公式56）使七圈反项表达式变得简洁、紧凑，验证了新基底的有效性。