[論文レビュー] Hyper-Mahler measures via Goncharov-Deligne cyclotomy

Yajun Zhou|arXiv (Cornell University)|Oct 31, 2022

Molecular spectroscopy and chirality被引用数 4

ひとこと要約

この論文は、Goncharov–Deligne周期—$ 1 $ と $ 3 $ 乗単位根における多重多対数関数の $ \bbQ $-線形結合—を用いて、$ k > 1 $ に対して超マーラー測度 $ m_k(1+x_1+x_2) $ および $ m_k(1+x_1+x_2+x_3) $ を閉形式で評価する。これらの測度が、多重多対数関数の特殊値およびHoffmanの多重ゼータ値の有理数係数線形結合として表現可能であることが確立され、Brownの反復積分とHyperIntおよびMultipleZetaValuesパッケージなどの計算ツールを用いて明示的な公式が導出された。

ABSTRACT

The hyper-Mahler measures $m_k( 1+x_1+x_2),k\in\mathbb Z_{>1}$ and $m_k( 1+x_1+x_2+x_3),k\in\mathbb Z_{>1}$ are evaluated in closed form via Goncharov-Deligne periods, namely $\mathbb Q$-linear combinations of multiple polylogarithms at cyclotomic points (complex-valued coordinates that are roots of unity). Some infinite series related to these hyper-Mahler measures are also explicitly represented as Goncharov-Deligne periods of levels $1$, $2$, $ 3$, $4$, $6$, $8$, $10$ and $12$.

研究の動機と目的

• すべての整数 $ k > 1 $ に対して、超マーラー測度 $ m_k(1+x_1+x_2) $ および $ m_k(1+x_1+x_2+x_3) $ の閉形式表現を導出すること。
• これらの測度を、Goncharov–Deligne周期、すなわちサイクロトミック点における多重多対数関数の特殊値の $ \bbQ $-線形結合として表現すること。
• 代数的および解析的技法を用いて、$ \text{Li}_4(1/2) $、$ \theta_3 $、および $ \binom{2n}{n} $-重み付き級数といった既知の定数と超マーラー測度を関連付けること。
• HyperIntおよびMultipleZetaValuesパッケージを用いたアルゴリズム的かつ計算的検証を通じて、これらの恒等式を確認すること。
• これらの測度に関連する無限級数の構造を、さまざまなレベルのGoncharov–Deligne周期として表現すること。

提案手法

• 第 $ 3 $ 乗単位根 $ \rho = e^{2\tau i/3} $ におけるGoncharovの多重多対数関数 $ \text{Li}_{a_1,\nu,a_n}(z_1,\nu,z_n) $ を用い、$ (a_1,z_1) = (1,1) $ を除くことで収束を保証する。
• Genus-zero 曲線に $ n $ 個のマークド点を持つモジュライ空間 $ \frak{M}_{0,n} $ 上でBrownのホモトピー不変反復積分を適用し、ランダムウォークのモーメントと多重多対数関数の恒等式を関連付ける。
• PanzerのHyperIntパッケージおよびAuのMultipleZetaValuesパッケージを用いて、多重多対数関数および多重ゼータ値に関する恒等式の計算と検証を行う。
• Eulerの積分公式およびベータ関数の恒等式を用いて、ゼータマーラー測度の積分表現を導出し、$ s \to 0 $ への解析接続を拡張する。
• 対数正則化および微分におけるファイブレーション技法を用いて発散項を扱い、$ \bbQ $-線形スパン内での代数的整合性を維持する。
• 有理数係数線形スパンの議論を適用し、$ s=0 $ におけるゼータマーラー測度の導関数が $ \frac{\frak{Z}_{k+1}(6)}{\tau i} $ に属することを示し、サイクロトミック多重ゼータ値と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 超マーラー測度 $ m_k(1+x_1+x_2) $ および $ m_k(1+x_1+x_2+x_3) $（$ k > 1 $）は、多重多対数関数の特殊値を用いて閉形式で表現可能か？
• RQ2 これらの測度は、どの程度までGoncharov–Deligne周期の $ \bbQ $-線形結合として表現可能か？
• RQ3 これらの超マーラー測度は、$ \text{Li}_4(1/2) $、$ \theta_3 $、および $ \binom{2n}{n} $-重み付き級数といった既知の定数とどのように関連するか？
• RQ4 これらの測度に関連する無限級数の構造は、特定のレベルのGoncharov–Deligne周期に体系的に還元可能か？
• RQ5 $ \frak{M}_{0,n} $ 上の反復積分は、ランダムウォークのモーメントと多重ゼータ値・多対数関数をどのように結びつけるか？

主な発見

• 超マーラー測度 $ m_1(1+x_1+x_2) $ は、$ \rho = e^{2\tau i/3} $ を用いて $ \frac{3}{2\tau} \text{Im}\big(\text{Li}_2(\rho)\big) $ と与えられ、Goncharov–Deligne周期を用いた既知の結果を確認した。
• $ k=2 $ の場合、$ m_2(1+x_1+x_2) $ は $ \text{Im}\big(\text{Li}_{2,1}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_2(\rho)\big) $、および $ \tau^2 $ の有理数倍の $ \bbQ $-線形結合として表現された。
• $ m_2(1+x_1+x_2+x_3) $ は、$ \frac{12\theta_{-3,1}}{\tau^2} + \frac{\tau^2}{20} $ に等しいことが示され、ここで $ \theta_{-3,1} $ は $ \text{Li}_4(1/2) $ に関連する交代二重和である。
• 本論文は、$ \frac{d^k}{ds^k} W_3(s)\big|_{s=0} \big/ \tau i \big\rfloor \frac{\frak{Z}_{k+1}(6)}{\tau i} $ を導出し、ゼータマーラー測度の導関数がレベル $ 6 $ のサイクロトミック多重ゼータ値の空間に属することを示した。
• $ k=4 $ の場合、$ m_4(1+x_1+x_2) $ は $ \text{Im}\big(\text{Li}_{4,1}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_{3,2}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_{2,1,1,1}(\rho,1,1,1)\big) $、および $ \frac{5923\tau^4}{2^4 \times 3^4 \times 5 \times 13} $ を含む有理数項の $ \bbQ $-線形結合として明示的に計算された。
• 本論文は、$ \text{Re}\big(\text{Li}_{3,1}(\rho,1)\big) $、$ \text{Im}\big(\text{Li}_{2,1}(\rho,1)\big) $、および $ \big[\text{Im}(\text{Li}_2(\rho))\big]^2 $ が $ k=4 $ の式に現れることを確認し、実部および虚部が高次測度において果たす役割を示した。