[論文レビュー] 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）の新しい族の恒等式を確立し、それらを応用して多重ゼータ星値（MZSV）に関する予想を証明する。特に、Ōnoと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恒等式を拡張して、特にTwo-one公式と2-3-2-1型関係を含む、長年の未解決であった多重ゼータ星値（MZSV）に関する予想を証明すること。
• ŌnoとZudilin、およびImatomiらの予想を含む、これまで未解決であったMZSVに関する恒等式を統一的かつ厳密に証明すること。
• 将来の一般化の基盤を築くこと。具体的には、交代型MHS、qアナログのMZV、MHSにおける合同式への応用を想定する。

提案手法

• 二項係数の恒等式を用いて、特に繰り返し現れる2と1を含む組成に注目し、多重調和和（MHS）の再帰的関係を導出する。
• 母関数技法と組合せ的分解を用い、星付き添え字を伴うMHSを二項係数を含む交代和に表現する。
• 添え字集合の再帰的分解を用い、組成パターンに基づいて部分集合に分割することで、和の恒等式を簡略化する。
• 既存の研究（例：[7], [32]）における既知の恒等式を補題として用い、複雑なMHSの式をより単純な形に還元する。
• 有限MHSから無限MHSVへの極限処理を適用し、MHSV間の関係を導出可能にする。
• 本手法をTwo-one公式やその他の予想された恒等式の証明に適用し、組成における繰り返し現れる2と1の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 二項係数を用いて、多重調和和（MHS）の新しい族の恒等式を体系的に導出可能か？
• RQ2 これらのMHS恒等式を用いて、ŌnoとZudilinが予想した多重ゼータ星値（MZSV）のTwo-one公式を証明可能か？
• RQ3 本手法は、太字の2が繰り返し現れる2-3-2-1型MZSVに関する予想に拡張可能か？
• RQ4 これらの技法は、交代型MHSやqアナログの多重ゼータ値へどの程度一般化可能か？
• RQ5 導出された恒等式を用いて、多重調和和における新しい合同式を確立可能か？

主な発見

• 本稿ではŌnoとZudilinが予想したTwo-one公式を証明し、s = ({2}^{a₁},1,…,{2}^{aᵣ},1) に対して ζ⋆(s) = ∑ₚ 2^ℓ(ₚ)ζ(p) が成り立つことを示した。ここでpは(2aᵢ+1)個の項をコンmaまたはプラス記号で結合して得られるすべての組成を走る。
• H⋆ₙ({1}^{a},c,{1}^{b},d,{1}^{t}) 形式のMHSについて、二項係数と交代調和和を含む複数の和への分解を示す新しい恒等式を確立した。
• 本手法により、Zlobinの結果として知られていた ζ⋆({2}ⁿ) = −2ζ(̄2n) の恒等式を、一般枠組みを用いて簡潔に証明した。
• Imatomi らの2-3-2-1型組成を含むMZSV予想が、導出された恒等式のもとで正当であることを証明した。
• 同じ技法を用いて、任意の非負整数a₁,a₂,tおよび正の整数c₁,c₂について、H⋆ₙ({1}^{a₁},c₁,{1}^{a₂},c₂,{1}^{t}) 形式の恒等式を証明可能であることを示した。
• 本枠組みにより、MHSにおける合同式の導出が可能であり、[31, Conjecture 2.6] や[29]の末尾に提示された未解決予想の解決への道筋を示唆している。