[论文解读] About a conjectured basis for Multiple Zeta Values

J. Kuipers, J.A.M. Vermaseren|arXiv (Cornell University)|May 10, 2011

Advanced Mathematical Identities参考文献 7被引用 3

一句话总结

该论文通过在TFORM/FORM中使用优化的计算机代数技术，证实了在权重27和28时，多重 zeta 值（MZVs）需要使用两重扩展基元素，这一猜想。作者验证了由大于1的奇整数构成的Lyndon词所导出的预测基结构与显式计算结果一致，确认了在这些权重下存在双重下压现象，从而解决了Broadhurst与Kreimer的生成泛函所提出的长期预测。

ABSTRACT

We confirm a conjecture about the construction of basis elements for the multiple zeta values (MZVs) at weight 27 and weight 28. Both show as expected one element that is twofold extended. This is done with some lengthy computer algebra calculations using TFORM to determine explicit bases for the MZVs at these weights.

研究动机与目标

• 验证Broadhurst与Kreimer修订后的生成泛函所预测的在权重27和28时，多重 zeta 值（MZVs）存在两重扩展基元素。
• 检验所预测的下压现象（即 MZVs 可以用更低的深度表示）是否与猜想中的 n 重扩展基构造一致。
• 在 TFORM/FORM 中开发并应用计算优化技术，以应对在这些权重下确定 MZV 基所必需的高复杂度计算。
• 确认由大于1的奇整数构成的 Lyndon 词所导出的基元素，经适当扩展后，能完全描述在权重27和28时的 MZV 空间。

提出的方法

• 作者使用 TFORM/FORM 计算代数系统，在权重27和28时计算显式的 MZV 基，通过 stuffle 和 shuffle 关系将 MZVs 化为规范形式。
• 通过在 stuffle 化简后将中间结果存储在表格中，将替换次数减少为深度 D 的因子，从而优化计算。
• 一个关键创新是修改 TFORM，使其能将整个括号（而不仅仅是项）分发到各个工作进程，使每个工作进程内部可发生消去，从而大幅减少磁盘使用量和排序开销。
• 该方法涉及从和为权重的奇整数 >1 的 Lyndon 词构造基元素，其中 n 重扩展通过将前 2n 个索引减1并追加 2n 个1来定义。
• 计算所得的基通过检查其深度最小性，并与参考文献[3]中的表18进行比较，该表基于 Broadhurst-Kreimer 猜想。
• 作者验证了带有尾随1的基元素，经扩展规则变换后，可恢复出权重27和28时的完整 Lyndon 词集合 $L_W$。

实验结果

研究问题

• RQ1 根据 Broadhurst-Kreimer 修订后的生成泛函所预测的在权重27和28时 MZVs 的两重扩展基结构，是否在显式计算中实际出现？
• RQ2 所预测的下压现象（即 MZVs 可用更低深度表示）是否等价于猜想中预测的 n 重扩展基构造？
• RQ3 能否通过 TFORM/FORM 中的算法级与系统级优化，克服在权重27和28时 MZV 基确定的计算复杂度？
• RQ4 由大于1的奇整数构成的 Lyndon 词所导出的基元素，经受控扩展后，能在多大程度上重现这些权重下的完整 MZV 空间？

主要发现

• 在权重27时，MZV 的基包含149个元素，在权重28时包含160个元素，均与参考文献[3]中表18的预测一致，该表基于 Broadhurst-Kreimer 猜想。
• 计算所得的基在深度上是最小的，即在这些权重下不存在总深度更小的基。
• 在两个权重下，基元素均表现出两重扩展结构：每个以两个1结尾的元素，通过变换 $Z(m_1, m_2, ..., m_D) \to Z(m_1-1, m_2-1, ..., m_D, 1, 1)$，对应于 $L_{27}$ 或 $L_{28}$ 中的 Lyndon 词。
• 作者确认了猜想所预测的下压关系（即 MZVs 可用更低深度表示）与 n 重扩展基构造一致，验证了下压与扩展基之间的联系。
• 计算优化将磁盘使用量从超过800 GB降低至不足42 GB，使这些基的首次成功计算成为可能。
• 结果为 Broadhurst-Kreimer 生成泛函正确预测 MZV 基结构（包括超越单一下压的高阶扩展）提供了强有力证据。