[论文解读] Identity Families of Multiple Harmonic Sums and Multiple Zeta (Star) Values

Jianqiang Zhao|arXiv (Cornell University)|Mar 9, 2013

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

一句话总结

本文利用二项式系数建立了多重调和和（MHS）的新家族恒等式，并将其应用于证明多重zeta星值（MZSV）的若干猜想，包括Ohno与Zudilin的Two-one公式以及Imatomi等人提出的多个猜想。该方法借助生成函数与组合恒等式，推导出MHS与MZSV之间的显式关系，为此前未被证明的恒等式提供了一个统一的框架。

ABSTRACT

In this paper we present many new families of identities for multiple harmonic sums using binomial coefficients. Some of these generalize a few recent results of Hessami Pilehrood et al. As applications we prove several conjectures involving multiple zeta star values (MZSV): the Two-one formula conjectured by Ohno and Zudilin, and a few conjectures of Imatomi et al. involving 2-3-2-1 type MZSV, where 2 means some finite string of 2's

研究动机与目标

• 开发一种系统化框架，利用二项式系数推导多重调和和（MHS）的恒等式。
• 将这些MHS恒等式推广，以证明涉及多重zeta星值（MZSV）的长期猜想，特别是Two-one公式和2-3-2-1型关系。
• 为此前未被证明的MZSV猜想（如Ohno与Zudilin以及Imatomi等人提出的猜想）提供统一且严谨的证明。
• 为未来在交替MHS、MZVs的q-模拟以及MHS中的同余关系方面的推广奠定基础。

提出的方法

• 利用二项式系数恒等式，推导出多重调和和（MHS）的递推关系，特别关注由重复的2和1组成的组合。
• 应用生成函数技术和组合分解方法，将带星号索引的MHS表示为包含二项式系数的交错和形式。
• 采用索引集合的递归分解方法，根据组合模式将索引集合划分为子集，以简化求和恒等式。
• 利用先前工作中的已知恒等式（例如[7]、[32]）作为引理，将复杂的MHS表达式简化为更简单的形式。
• 通过极限过程从有限MHS过渡到无限MZSV，从而推导出MZSV之间的关系。
• 将该方法应用于证明Two-one公式，并通过分析组合中重复2和1的结构，证明其他猜想的恒等式。

实验结果

研究问题

• RQ1 能否系统地利用二项式系数推导出多重调和和（MHS）的新家族恒等式？
• RQ2 能否利用这些MHS恒等式证明Ohno与Zudilin关于多重zeta星值（MZSV）的Two-one公式猜想？
• RQ3 该方法能否扩展以证明涉及2-3-2-1型MZSV的猜想，其中粗体的2表示重复的2？
• RQ4 这些技术在多大程度上可推广至交替MHS或多重zeta值的q-模拟？
• RQ5 所推导的恒等式能否用于建立多重调和和的新同余关系？

主要发现

• 本文证明了Ohno与Zudilin提出的Two-one公式猜想，表明当 s = ({2}^{a₁},1,…,{2}^{aᵣ},1) 时，ζ⋆(s) = ∑ₚ 2^ℓ(ₚ)ζ(p)，其中 p 遍历由 (2aᵢ+1) 项之间用逗号或加号连接所形成的全部组合。
• 建立了形如 H⋆ₙ({1}^{a},c,{1}^{b},d,{1}^{t}) 的MHS的新恒等式，该恒等式可分解为包含二项式系数和交错调和和的多个求和项。
• 该方法通过所建立的一般框架，为恒等式 ζ⋆({2}ⁿ) = −2ζ(̄2n) 提供了简洁证明，该结果此前被称为Zlobin的结果。
• 本文证明了Imatomi等人提出的涉及2-3-2-1型组合的MZSV猜想在所推导恒等式下成立。
• 证明了该技术可扩展至证明形如 H⋆ₙ({1}^{a₁},c₁,{1}^{a₂},c₂,{1}^{t}) 的恒等式，其中 a₁, a₂, t 为非负整数，c₁, c₂ 为正整数。
• 该框架可推导出MHS的同余关系，为解决开放猜想（如[31, 猜想2.6]以及[29]末尾的猜想）提供了可能路径。