[論文レビュー] A new integral-series identity of multiple zeta values and regularizations

Masanobu Kaneko, Shûji Yamamoto|arXiv (Cornell University)|May 10, 2016

Advanced Mathematical Identities参考文献 9被引用数 7

ひとこと要約

本稿は、有理数体上での多重ゼータ値（MZVs）の線形関係をすべて包含する、新しい積分・級数恒等式を導入する。この恒等式は、既知の関係を統一・一般化し、予想ではすべての線形関係を捉えている。この恒等式は拡張された二重シャッフルおよび正則化定理と同値であり、和公式やホフマンの関係といった重要な結果を含意する。さらに、河嶋の関係とも関連づけられている。

ABSTRACT

We present a new "integral=series" type identity of multiple zeta values, and show that this is equivalent in a suitable sense to the fundamental theorem of regularization. We conjecture that this identity is enough to describe all linear relations of multiple zeta values over Q. We also establish the regularization theorem for multiple zeta-star values, which too is equivalent to our new identity. A connection to Kawashima's relation is discussed as well.

研究の動機と目的

• 有理数体上での多重ゼータ値（MZVs）の既知のすべての線形関係を捉える、新しい単純な積分・級数恒等式を提示すること。
• この恒等式が、MZVsおよびMZSVsの拡張された二重シャッフルおよび正則化定理と同値であることを証明すること。
• 新しい恒等式を用いて、多重ゼータスター値（MZSVs）の正則化定理を確立すること。
• この恒等式が、和公式やホフマンの関係といった既知の恒等式を含意することを示すこと。
• 新しい恒等式と河嶋の関係との関係を調査し、双対性を仮定すれば、後者が前者から導かれることが示されること。

提案手法

• 著者らは、入れ子の和と積分を含む新しい積分・級数恒等式を定義し、混合して厳密でない不等式を含むインデックスの鎖の和として表現する。
• 非可換多項式代数上の代数的構造、特に代数 ℋ = ℚ⟨e₀,e₁⟩ 上のシャッフル積および調和積（stuffle積）を用いる。
• 恒等式は、インデックスと二項係数の組み合わせ的操作を用いて直接証明され、特に形 ∑ᵢ binom(p+i−1,p−1)S(k,p+i,q−i) の二項和の使用が鍵となる。
• 恒等式とシャッフル積または調和積の規則を組み合わせることで、拡張された二重シャッフル関係の完全な集合が含意されることを示し、同値性を確立する。
• 新しい形式を用いてMZSVsの正則化を導入し、この設定に恒等式を拡張し、MZSVsの正則化定理を証明する。
• 双対性を仮定することで、新しい恒等式が河嶋の関係を含意することを示し、両者の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 有理数体上での多重ゼータ値の線形関係をすべて捉える、単一で単純な積分・級数恒等式は存在するか？
• RQ2 提案された恒等式は、MZVsおよびMZSVsの拡張された二重シャッフルおよび正則化定理と同値であるか？
• RQ3 この恒等式は、和公式やホフマンの関係といった既知の恒等式を含意するか？
• RQ4 双対性を仮定すれば、河嶋の関係はこの新しい恒等式から導出可能か？
• RQ5 この新しい恒等式は、多重ゼータ値理論における既存の関係を統合する役割を果たすか？

主な発見

• 新しい積分・級数恒等式は、有理数体上でのMZVsのすべての線形関係を記述すると予想される拡張された二重シャッフル関係と同値である。
• 恒等式は、イエ・リャオ・オンの制限付き和公式、およびMZVsの標準的和公式を含意する。
• ホフマンの関係は、特定のインデックス配列（例：k = (k₁,…,kᵣ₋₁,kᵣ−1) および l = (1,1)）を設定することで、恒等式から直接導出される。
• 多重ゼータスター値（MZSVs）の新しい正則化定理が確立され、恒等式がそれらの正則化された関係を支配することを示した。
• 適切なインデックスの選択により、恒等式はオーノの関係を含意する。これは、さらなる既知の恒等式を生成する可能性を示唆する。
• 双対性を仮定すれば、河嶋の関係が新しい恒等式から導かれることが示され、これら根本的な関係の間の深い構造的関係が確立された。