[论文解读] Hyper-Mahler measures via Goncharov-Deligne cyclotomy

Yajun Zhou|arXiv (Cornell University)|Oct 31, 2022

Molecular spectroscopy and chirality被引用 4

一句话总结

该论文使用Goncharov–Deligne周期——即单位根处的多重polylogarithm的$\bbQ$-线性组合——以闭式形式评估了$ k > 1 $时的超Mahler测度$ m_k(1+x_1+x_2) $和$ m_k(1+x_1+x_2+x_3) $。研究证明，这些测度可表示为多重polylogarithm特殊值与Hoffman多重zeta值的有理线性组合，并通过Brown的迭代积分及HyperInt和MultipleZetaValues等计算工具推导出显式公式。

ABSTRACT

The hyper-Mahler measures $m_k( 1+x_1+x_2),k\in\mathbb Z_{>1}$ and $m_k( 1+x_1+x_2+x_3),k\in\mathbb Z_{>1}$ are evaluated in closed form via Goncharov-Deligne periods, namely $\mathbb Q$-linear combinations of multiple polylogarithms at cyclotomic points (complex-valued coordinates that are roots of unity). Some infinite series related to these hyper-Mahler measures are also explicitly represented as Goncharov-Deligne periods of levels $1$, $2$, $ 3$, $4$, $6$, $8$, $10$ and $12$.

研究动机与目标

• 推导所有整数$ k > 1 $下超Mahler测度$ m_k(1+x_1+x_2) $和$ m_k(1+x_1+x_2+x_3) $的闭式表达式。
• 将这些测度表示为Goncharov–Deligne周期的$\bbQ$-线性组合，即单位根处多重polylogarithm的特殊值。
• 通过代数与解析技术，建立超Mahler测度与已知常数（如$ \text{Li}_4(1/2) $、$ \theta_3 $及$ \binom{2n}{n} $加权级数）之间的联系。
• 利用HyperInt和MultipleZetaValues软件包，对这些恒等式进行算法与计算验证。
• 探索与这些测度相关的无穷级数结构，并将其表示为不同层次的Goncharov–Deligne周期。

提出的方法

• 利用Goncharov的多重polylogarithm $ \text{Li}_{a_1,\nu,a_n}(z_1,\nu,z_n) $ 在第三单位根$ \rho = e^{2\tau i/3} $处的取值，通过排除$ (a_1,z_1) = (1,1) $确保收敛性。
• 在$ \frak{M}_{0,n} $（具有$ n $个标记点的亏格零曲线的模空间）上应用Brown的同伦不变迭代积分，将随机游走矩与多重polylogarithmic恒等式联系起来。
• 使用Panzer的HyperInt软件包和Au的MultipleZetaValues软件包，计算并验证涉及多重polylogarithm与多重zeta值的恒等式。
• 通过Euler积分公式与Beta函数恒等式，推导zeta Mahler测度的积分表示，并将解析延拓扩展至$ s \to 0 $。
• 在微分过程中使用对数正则化与纤维化技术，处理发散项，并在$ \bbQ $-线性张量中保持代数一致性。
• 应用$ \bbQ $-线性张量论证，证明$ s=0 $处zeta Mahler测度的导数属于$ \frac{\frak{Z}_{k+1}(6)}{\tau i} $，从而将其与6级单位根多重zeta值联系起来。

实验结果

研究问题

• RQ1 超Mahler测度$ m_k(1+x_1+x_2) $和$ m_k(1+x_1+x_2+x_3) $（$ k > 1 $）能否以多重polylogarithm特殊值的闭式表达？
• RQ2 这些测度在多大程度上可表示为Goncharov–Deligne周期的$ \bbQ $-线性组合？
• RQ3 这些超Mahler测度如何与已知常数（如$ \text{Li}_4(1/2) $、$ \theta_3 $及$ \binom{2n}{n} $-加权级数）相关联？
• RQ4 与这些测度相关的无穷级数结构能否系统性地简化为特定层次的Goncharov–Deligne周期？
• RQ5 在$ \frak{M}_{0,n} $上的迭代积分在连接随机游走矩与多重zeta值及polylogarithm方面起到何种作用？

主要发现

• 超Mahler测度$ m_1(1+x_1+x_2) $由$ \frac{3}{2\tau} \text{Im}\big(\text{Li}_2(\rho)\big) $给出，其中$ \rho = e^{2\tau i/3} $，通过Goncharov–Deligne周期确认了已知结果。
• 对于$ k=2 $，$ m_2(1+x_1+x_2) $表示为包含$ \text{Im}\big(\text{Li}_{2,1}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_2(\rho)\big) $及$ \tau^2 $有理倍数的$ \bbQ $-线性组合。
• $ m_2(1+x_1+x_2+x_3) $被证明等于$ \frac{12\theta_{-3,1}}{\tau^2} + \frac{\tau^2}{20} $，其中$ \theta_{-3,1} $是与$ \text{Li}_4(1/2) $相关的交错双重和。
• 论文推导出$ \frac{d^k}{ds^k} W_3(s)\big|_{s=0} \big/ \tau i \big\rfloor \frac{\frak{Z}_{k+1}(6)}{\tau i} $，表明zeta Mahler测度的导数属于6级单位根多重zeta值的空间。
• $ m_4(1+x_1+x_2) $的$ k=4 $情形被显式计算为$ \text{Im}\big(\text{Li}_{4,1}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_{3,2}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_{2,1,1,1}(\rho,1,1,1)\big) $与有理项（包括$ \frac{5923\tau^4}{2^4 \times 3^4 \times 5 \times 13} $）的$ \bbQ $-线性组合。
• 论文确认了在$ k=4 $表达式中出现$ \text{Re}\big(\text{Li}_{3,1}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_{2,1}(\rho,1)\big) $及$ \big[\text{Im}(\text{Li}_2(\rho))\big]^2 $，展示了实部与虚部在高阶测度中的作用。