[論文レビュー] 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

ひとこと要約

この論文は、周期的パターン 3,1,…,3,1 に2つの2を挿入するすべての方法についての多重ゼータスター値の和が、π^{4n+4} の有理数倍であることを証明しており、既知の多重ゼータスター値の評価を一般化している。ホフマン代数における調和積およびシャッフル積の代数的構造を用いて、著者たちは重要な恒等式を確立し、コンピュータ代数を用いて予想を検証し、ゼータ関数の特殊値に関する既知の結果を拡張している。

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つの2を周期的インデックスパターン 3,1,…,3,1 に挿入した多重ゼータスター値の和に対して閉形式の評価を確立すること。
• 特に、交互に現れる3,1ブロックを含む既知の多重ゼータスター値の評価を一般化すること。
• 代数的恒等式とコンピュータ支援による検証を通じて、多重ゼータスター値の特殊評価に関する数値的予想を検証すること。
• ホフマン代数における調和積およびシャッフル積の関係枠組みを拡張し、π^{2m} におけるゼータスター値の有理数性を証明すること。

提案手法

• 非可換多項式 x および y を用いたホフマン代数の枠組みを採用し、z_k = x^{k-1}y を用いて多重ゼータスター値を評価写像 Z̄ で表現する。
• Z̄ = Z ∘ d を満たす線形変換 d: H^1 → H^1 を用いて、多重ゼータスター値と多重ゼータ値を関連付ける。
• 代数 H^1 上での調和積 ∗ およびシャッフル積 ⋆ を用いて、ゼータスター値間の恒等式を導出する。
• 拡張された二重シャッフル関係式を適用し、シャッフル積における w₁ ⋆ w₀ − w₁ ∗ w₀ の定数項が Z に関して消えることを利用して、重要な恒等式を検証する。
• Risa/asir というコンピュータ代数システムを用いて、重さ6の恒等式について明示的な計算を実施し、m = n = 1 の場合に予想を確認した。
• 和が ℚ·π^{4n+4} に属することを示す一般恒等式を確立することで、主結果を導く。

実験結果

リサーチクエスチョン

• RQ1 長さ 2n+1 のインデックス列 3,1,…,3,1 に2つの2を挿入したすべての方法についての多重ゼータスター値の和の正確な値は何か？
• RQ2 このような挿入のすべてについての多重ゼータスター値の和は、π の累乗の有理数倍として表せるか？
• RQ3 特に交互に現れる3,1ブロックに関して観察された数値的パターンが、一般の恒等式として成り立つかどうか？
• RQ4 拡張された二重シャッフル関係式を用いて、多重ゼータスター値の特殊評価に関する予想を検証できるか？
• RQ5 ホフマン代数において、和が π^{4n+4} の有理数倍となる一般の代数的恒等式が存在するか？

主な発見

• 2n 個のブロックを持つ列 3,1,…,3,1 に2つの2を挿入するすべての方法についての多重ゼータスター値の和は、π^{4n+4} の有理数倍に評価され、定理 1.1 を証明した。
• この結果は、既知の評価 ζ*(2,…,2) ∈ ℚ·π^{2m} および ζ*(3,1,…,3,1) ∈ ℚ·π^{4n} を一般化している。
• 著者たちは、拡張された二重シャッフル関係式とコンピュータ代数を用いて、m = n = 1 の場合の予想 4.5 を検証し、重さ6における2つの重要な恒等式を確認した。
• すべての非負整数 n に対して、∑_{j₀+⋯+j_{2n}=2} ζ*(…,2^{j_i},…) ∈ ℚ·π^{4n+4} が成り立つ。
• 左辺の母関数が (1−2^{1−n})B_n/n!t^n の平方に一致することを検証し、係数の有理数性を裏付けた。
• 重さ6の恒等式についての拡張された二重シャッフル関係式の検証により、代数的枠組みの整合性が確認され、ゼータスター評価に関するより広範な予想を支持する結果となった。