[论文解读] Congruences Involving Multiple Harmonic Sums and Finite Multiple Zeta Values

Jianqiang Zhao|arXiv (Cornell University)|Apr 14, 2014

Advanced Mathematical Identities参考文献 7被引用 4

一句话总结

本文建立了关于模 $ p^r $ 互素于整数的多重调和和的新超同余式，证明了当 $ n = 2 $ 或 $ 4 $ 时，和式 $ \sum_{i_1+\cdots+i_n=p^r,\, i_j\in\mathfrak{P}_p} \frac{1}{i_1\cdots i_n} \equiv -\frac{n!}{n+1}p^r B_{p-n-1} \pmod{p^{r+1}} $。此外，本文进一步猜想更高阶情形涉及由伯努利数生成的有限多重 zeta 值，该猜想得到了基于 PSLQ 的数值证据支持。

ABSTRACT

Let $p$ be a prime and ${\mathfrak P}_p$ the set of positive integers which are prime to $p$. Recently, Wang and Cai proved that for every positive integer $r$ and prime $p>2$ $$ \sum_{\substack{i+j+k=p^r\\ i,j,k\in{\mathfrak P}_p}} \frac1{ijk} \equiv -2p^{r-1} B_{p-3} \pmod{p^r}, $$ where $B_{p-3}$ is the $(p-3)$-rd Bernoulli number. In this paper we prove the following analogous result: Let $n=2$ or $4$. Then for every positive integer $r\ge n/2$ and prime $p>4$ $$ \sum_{\substack{i_1+\cdots+i_n=p^r\\ i_1,\dots,i_n\in{\mathfrak P}_p}} \frac1{i_1i_2\cdots i_n} \equiv -\frac{n!}{n+1} p^{r} B_{p-n-1} \pmod{p^{r+1}}. $$ Moreover, by using integer relation detecting tool PSLQ we can show that generalizations with larger integers $n$ should involving finite multiple zeta values generated by Bernoulli numbers.

研究动机与目标

• 将先前针对三重调和和的同余式推广至更高阶的模素数幂的多重调和和。
• 建立 $ n=2 $ 和 $ n=4 $ 情形下的超同余式，涉及模 $ p^{r+1} $ 的 $ p^r B_{p-n-1} $，扩展已知的 $ n=3 $ 情形结果。
• 探讨有限多重 zeta 值（FMZVs）在高阶调和和同余式中的结构性作用。
• 利用 PSLQ 算法数值检测大 $ n $ 情形下调和和与伯努利数乘积之间的代数关系。
• 提出并支持关于 $ R_n^{(m)}(p) $（即 $ n $-元组和为 $ mp $ 的和）的代数结构猜想，以 FMZVs 和 $ \mathcal{A} $-伯努利数的乘积形式表达。

提出的方法

• 通过对称性与代数恒等变形，将和式 $ T_n(p,r) $ 化为受限指标上的嵌套和，尤其针对 $ n=4 $ 情形。
• 应用容斥原理，将和式 $ \sigma(p^r) $ 分解为基于模 $ p $ 同余条件的子和，区分索引是否被 $ p $ 整除的情形。
• 利用 $ p $-受限的多重调和和（MHS）及其杂交关系（stuffle relations）分析其代数结构与同余性质。
• 采用 PSLQ 算法检测大 $ n $ 情形下调和和值与伯努利数乘积之间的整系数关系，从而实现猜想性推广。
• 在环 $ \mathcal{A} $ 中引入有限多重 zeta 值（FMZVs）的代数框架，将 $ \zeta_{\mathcal{A}}(s_1,\dots,s_d) $ 定义为 $ \mathcal{H}_p(s_d,\dots,s_1) $ 的 $ \mathcal{A} $-极限。
• 定义 $ \mathcal{A} $-伯努利数 $ \beta_w = (B_{p-w}/w)_{p>w+2} $，并利用其乘积构造 $ R_n^{(m)}(p) $ 的猜想性结构。

实验结果

研究问题

• RQ1 三重调和和的超同余式能否推广至 $ n > 3 $ 的高阶多重调和和？
• RQ2 对于 $ n=2,4 $，和式 $ \sum_{i_1+\cdots+i_n=p^r,\, i_j\in\mathfrak{P}_p} \frac{1}{i_1\cdots i_n} $ 模 $ p^{r+1} $ 的精确代数结构为何？
• RQ3 有限多重 zeta 值（FMZVs）与 $ \mathcal{A} $-伯努利数如何与多重调和和的同余结构相关联？
• RQ4 PSLQ 算法能否检测到 $ n \geq 6 $ 情形下超同余式中的有理系数，即使分母极大？
• RQ5 $ \mathcal{A} $-取值的和式 $ R_n^{(m)}(p) $ 是否始终属于由总权重为 $ n $ 的 $ \mathcal{A} $-伯努利数乘积生成的 $ \mathbb{Q} $-向量空间？

主要发现

• 对于 $ n=2 $ 和 $ n=4 $，对所有素数 $ p > 4 $ 与 $ r \geq n/2 $，有 $ T_n(p,r) \equiv -\frac{n!}{n+1}p^r B_{p-n-1} \pmod{p^{r+1}} $ 成立。
• 当 $ n=4 $ 时，通过容斥分解为三个子和：$ s_I, s_{II}, s_{III} $，其中 $ s_{I} $ 与 $ s_{II} $ 在模 $ p^{2r+1} $ 下为零，仅 $ s_{III} $ 为主导项。
• 基于 PSLQ 的数值证据表明，当 $ n=6 $ 时，有 $ \sum \frac{1}{i_1\cdots i_6} \equiv c_6 p^2 B_{p-7} \pmod{p^3} $，其中 $ c_6 \in \mathbb{Q} $，且 $ c_6 $ 的分子与分母均超过 60 位数字。
• 猜想 $ R_n^{(m)}(p) \in \mathsf{BN}_n $（即总权重为 $ n $ 的 $ \mathcal{A} $-伯努利数乘积的 $ \mathbb{Q} $-张成空间）在 $ n \leq 12 $ 的验证案例中得到支持。
• 猜想 7.2 给出了 $ R_{11}^{(m)}(p) $ 与 $ R_{12}^{(m)}(p) $ 模 $ p $ 的显式公式，涉及 $ B_{p-3}, B_{p-5}, B_{p-9}, B_{p-11} $ 的乘积与二项式系数。
• 结果表明 $ R_n^{(m)}(p) $ 的结构可用有限多重 zeta 值表达，其中 $ \zeta_{\mathcal{A}}(s_1,\dots,s_d) $ 捕获了 $ p $-受限调和和的 $ \mathcal{A} $-极限。