[论文解读] Iterated Integrals and Multiple Polylogarithm at Algebraic Arguments

Kam Cheong Au|arXiv (Cornell University)|Jan 5, 2022

Advanced Mathematical Identities被引用 4

一句话总结

本文提出一种系统方法，将代数参数下的多重 polylogarithm 值表示为彩色多重 zeta 值（CMZVs），利用迭代积分与代数数论。证明了特定 polylogarithmic 值（如黄金分割比或有理参数）属于有界层级的 CMZV 空间，从而揭示新恒等式与非标准关系，并应用于 Apéry 型级数与经典 polylogarithm 恒等式。

ABSTRACT

By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple polylogarithms evaluated at roots of unity (cyclotomic multiple zeta values, CMZVs) can be equivalently expressed in terms of iterated integrals involving certain non-roots of unity. We apply this theory to elucidate previously unknown $\mathbb{Q}$-linear relations among CMZVs: they come from nontrivial solutions of certain $S$-unit equations in the function field of $\mathbb{P}^1(\mathbb{C})$, thereby attaining the motivic dimension for low level and weight. We introduce a datamine of CMZVs that appears to be the first rigorous compilation of this kind in the literature. In addition, we formulate several nontrivial Galois descent conjectures for multiple polylogarithms and present applications to certain Apéry-type infinite series.

研究动机与目标

• 系统地将代数参数下多重 polylogarithm 的取值映射到彩色多重 zeta 值（CMZVs）空间。
• 揭示尚未被已知代数或函数恒等式捕获的 CMZVs 之间非标准关系。
• 为证明经典 polylogarithm 恒等式与 Apéry 型级数，提供统一且可计算的框架。
• 将 CMZV 理论的应用范围从单位根扩展至代数数（如 (\sqrt{5}-1)/2 和有理数值）。
• 开发一个 Mathematica 工具包，用于显式计算特定代数点处的 CMZV 值与迭代积分。

提出的方法

• 利用复射影直线上对数 1-形式的迭代积分，表示多重 polylogarithm。
• 通过路径上微分形式的拉回，将 polylogarithmic 值表示为 [0,1] 上以代数基点为端点的积分。
• 运用混合法则恒等式与路径复合规则，将迭代积分分解并重组为线性组合。
• 将问题归约为计算代数参数下的迭代积分，进而表示为 CMZV 空间中基元素的 Q-线性组合。
• 利用带 punctured 复直线基本群的结构，对 CMZVs 之间的关系进行分类与计算。
• 借助自定义 Mathematica 工具包，显式计算并验证特定参数与权重下的 CMZV 值与迭代积分。

实验结果

研究问题

• RQ1 对于哪些代数参数 x，广义 polylogarithm Li_{s1,...,sk}(x) 可表示为有界层级 CMZVs 的 Q-线性组合？
• RQ2 CMZVs 之间存在哪些非标准代数关系，无法由标准函数关系或混合法则推导？
• RQ3 能否通过迭代积分与 CMZV 代数，系统推导出经典 polylogarithm 恒等式（如 Coxeter 梯子）？
• RQ4 该框架在多大程度上可证明涉及调和数与中心二项式系数的 Apéry 型级数？
• RQ5 当应用于更高权重或更高层级（特别是超过层级 12）的 CMZV 空间时，该方法的局限性是什么？

主要发现

• 当至多两个 xi 等于黄金分割比 (\sqrt{5}-1)/2 且其余为 1 时，多重 polylogarithm Li_{s1,...,sn}(x1,...,xn) 属于 CMZV^5_w。
• 广义 polylogarithm Li_{s1,...,sn}(z) 在 z = -1/2, 1/3, 1/4, 1/9 时属于 CMZV^6_w，在 z = 1 - \sqrt{2}, (4 - 3\sqrt{2})/8 时属于 CMZV^8_w。
• 当 z = -1/2 且至多三个参数为 -1/2 时，其值属于 CMZV^12_w，表明随着代数复杂度增加，层级出现跃迁。
• 该方法成功证明了 Coxeter 梯子恒等式：Li_2(ρ^20) = 2Li_2(ρ^10) + 15Li_2(ρ^4) - 10Li_2(ρ^2) + π²/5，其中 ρ = (\sqrt{5}-1)/2。
• 本文为若干 Apéry 型级数提供了替代证明，包括 ∑ (-1)^{n-1}(10H_n - 3/n)/(n^3 binom(2n,n)) = π⁴/30 与 ∑ (-102H_n + 3H_{2n} + 28/n)/(n^4 binom(2n,n)) = -55π²ζ(3)/18。
• 当权重超过 4 或层级超过 12 时，该方法受限于 CMZV 基的组合爆炸以及高阶层级空间缺乏计算工具。