[论文解读] On some combinations of multiple zeta-star values

Kohtaro Imatomi, Tatsushi Tanaka+2 more|arXiv (Cornell University)|Dec 10, 2009

Advanced Mathematical Identities参考文献 18被引用 5

一句话总结

本文证明了将两个2插入交替模式3,1,…,3,1的所有插入方式下，多重zeta-星值之和为π^{4n+4}的有理倍数，推广了已知的多重zeta-星值求值结果。通过霍夫曼代数中调和积与shuffle积的代数结构，作者建立了关键恒等式，并利用计算机代数验证了猜想，扩展了对zeta函数特殊值的已知结果。

ABSTRACT

We prove that the sum of multiple zeta-star values over all indices inserted two 2's into the string $(\underbrace{3,1, ..., 3,1}_{2n})$ is evaluated to a rational multiple of powers of $π^2$. We also establish certain conjectures on evaluations of multiple zeta-star values observed by numerical experiments.

研究动机与目标

• 建立将两个2插入周期性指标模式3,1,…,3,1的多重zeta-星值之和的闭式求值。
• 推广已知的多重zeta-星值求值结果，特别是涉及交替3,1块的情况。
• 通过代数恒等式与计算机辅助验证，确认多重zeta-星值特殊求值的数值猜想。
• 将霍夫曼代数中调和积与shuffle积关系的框架扩展，以证明zeta-星值对π^{2m}的有理性。

提出的方法

• 采用霍夫曼代数框架，使用x与y的非交换多项式，其中z_k = x^{k-1}y，通过评估映射Z̄表示多重zeta-星值。
• 使用线性变换d: H^1 → H^1，使得Z̄ = Z ∘ d，将多重zeta-星值与多重zeta值关联起来。
• 在代数H^1上应用调和积∗与shuffle积⋆，推导zeta-星值之间的恒等式。
• 利用扩展的双重shuffle关系，即在shuffle积下w₁ ⋆ w₀ − w₁ ∗ w₀的常数项在Z下消失，以验证关键恒等式。
• 使用计算机代数系统Risa/asir进行显式计算，验证权重为6的恒等式，确认m = n = 1时的猜想。
• 通过证明该和属于ℚ·π^{4n+4}，建立一个一般恒等式，从而推出主要结果。

实验结果

研究问题

• RQ1 将两个2插入长度为2n+1的指标序列3,1,…,3,1的所有方式下，多重zeta-星值之和的精确值是什么？
• RQ2 所有此类插入方式下，多重zeta-星值之和是否可表示为π的某次幂的有理倍数？
• RQ3 在多重zeta-星值中观察到的数值模式，特别是对于交替3,1块的情况，是否可作为一般恒等式成立？
• RQ4 扩展的双重shuffle关系是否可用于验证多重zeta-星值特殊求值的猜想？
• RQ5 霍夫曼代数中是否存在一个一般代数恒等式，可解释该和中π^{4n+4}的有理倍数？

主要发现

• 将两个2插入序列3,1,…,3,1（共2n个块）的所有插入方式下，多重zeta-星值之和为π^{4n+4}的有理倍数，证明了定理1.1。
• 该结果推广了先前的求值结果，如ζ*(2,…,2) ∈ ℚ·π^{2m}与ζ*(3,1,…,3,1) ∈ ℚ·π^{4n}。
• 作者利用扩展的双重shuffle关系与计算机代数，验证了m = n = 1时的猜想4.5，确认了权重为6的两个关键恒等式。
• 对所有非负整数n，恒等式∑_{j₀+⋯+j_{2n}=2} ζ*(…,2^{j_i},…) ∈ ℚ·π^{4n+4}成立。
• 本文确认了左边生成函数与(1−2^{1−n})B_n/n!t^n的平方一致，验证了系数的有理性。
• 对权重6恒等式验证扩展的双重shuffle关系，确认了代数框架的一致性，并支持了关于zeta-星值求值的更广泛猜想。