[論文レビュー] Ohno-type relation for finite multiple zeta values

Kojiro Oyama|arXiv (Cornell University)|Jun 2, 2015

Advanced Mathematical Identities参考文献 5被引用数 4

ひとこと要約

本稿は、有限多重ゼータ値（FMZV）に対してオーノ型関係を証明し、金子の予想を裏付ける。非可換多項式代数 ℋ¹ とホフマンの双対性の性質を用いて、インデックスのシフトにおけるFMZVの和の間に双対性を確立し、最初に斎藤と若林によって証明されたFMZVの和公式の別証明を提示する。

ABSTRACT

Ohno's relation is a well-known relation among multiple zeta values.In this paper, we prove Ohno-type relation for finite multiple zeta values, which is conjectured by Kaneko.As a corollary, we give an alternative proof of the sum formula for finite multiple zeta values, which was first proved by Saito and Wakabayashi.

研究の動機と目的

• 有限多重ゼータ値（FMZV）に対するオーノ型関係を証明し、金子の予想を裏付ける。
• インデックスのシフトにおけるFMZVの和の間に双対性を確立し、それらをホフマンの双対インデックスに関連付ける。
• 斎藤と若林によって既に示されたが、代数的証明を別途提示するFMZVの和公式を提示する。
• ℋ¹の代数的構造と写像 T を用いて、オーノの関係枠組みを有限ゼータ設定に拡張する。
• 主な双対性関係から、FMZVの和公式が従属することを示す。

提案手法

• p進還元を用いた調和和のp進的還元に基づき、代数 𝒜 = (∏ₚ ℤ/ₚℤ)/(⊕ₚ ℤ/ₚℤ) の元として有限多重ゼータ値 ζₐ(k) を定義する。
• 生成子 zₖ = xᵏ⁻¹y を用いた非可換多項式代数 ℋ¹ = ℚ⟨x,y⟩y を用い、FMZV を写像 Zₐ: ℋ¹ → 𝒜 を通じて表現する。
• ℋ¹ 上で調和積 * とシャッフル積 X を用い、Zₐ が調和積を保存し、シャッフル積を符号と反転を介して変換することを用いる。
• インデックスにホフマンの双対性を実装する写像 T: ℋ¹ → ℋ¹ を導入し、Zₐ(w) = ζₐ(k) のとき Zₐ(T(w)) = ζₐ(k∨) を満たす。
• 生成関数 1/(1−yu)*w = 1/(1−yu) X Δᵤ(w) に関する恒等式を用いて、主な双対性関係を導出する。
• 指数ベクトルにおける非ゼロ成分の数に包含除算法を適用し、シフトされたインデックスの和を等しくすることで、組合せ的数え上げを介して主定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 金子が予想したように、有限多重ゼータ値に対しオーノ型関係が成り立つのか？
• RQ2 有限多重ゼータ値の和公式は、より一般的な双対性関係から代数的に導けるのか？
• RQ3 ホフマンのインデックス双対性は、ℋ¹の代数的構造を通じて、有限ゼータ設定においてどのように現れるのか？
• RQ4 調和積に関して、インデックスのシフトにおけるFMZVの和とその双対との間の正確な関係は何か？
• RQ5 Δᵤ とシャッフル積を用いた生成関数のアプローチは、有限ゼータ設定における恒等式の証明に用いられるのか？

主な発見

• 主定理は双対性を確立する：∑_{|e|=n} ζₐ(k₁+e₁,…,kᵣ+eᵣ) = ∑_{|e′|=n} ζₐ((k′₁+e′₁,…,k′ₛ+e′ₛ)∨)，ここで (k′₁,…,k′ₛ) = (k₁,…,kᵣ)∨ である。
• 証明により、金子による有限多重ゼータ値に対するオーノ型関係の予想が裏付けられた。
• FMZVの和公式は従属として得られ、右辺は (−1)ⁱ⁻¹(ℬₖ₋₁ⁱ⁻¹ + (−1)ʳℬₖ₋₁ʳ⁻ⁱ)(Bₚ₋ₖ/k mod p)ₚ として表現される。
• すべての k,r,i ≥ 1 に対して 1 ≤ i ≤ r ≤ k−1 を満たし、ベルヌーイ数の性質により、k が偶数であっても奇数であっても結果が一貫している。
• 和公式の係数は (−1)ⁱ⁻¹(−(−1)ᵏ⁺¹ℬₖ₋₁ⁱ⁻¹ + (−1)ʳℬₖ₋₁ʳ⁻ⁱ) として示され、p ≥ k+3 の下で既知の和公式と一致する。
• 証明は指数ベクトルにおける非ゼロ成分の包含除算法に依拠し、すべてのインデックスが交項和において正確に一度ずつ現れることを示している。