[论文解读] Multiple Harmonic Series I: Generalizations of Wolstenholme's Theorem

Jianqiang Zhao|arXiv (Cornell University)|Jan 22, 2003

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

一句话总结

本文将沃尔斯滕霍尔姆定理推广至多重调和和，建立了在特定条件下对素数 $ p $ 的 $ p $-整除性结果，涵盖齐次与非齐次和。证明了当 $ p \geq l+2 $ 时，有 $ H({s}^l; p-1) \equiv 0 \pmod{p^{rak{p}(ls-1)}} $，且更高的整除性与非正则素数及伯努利数相关。

ABSTRACT

In this paper we will study the p-divisibility of partial sums of multiple zeta value series. In particular we provide some generalizations of the classical Wolstenholme's Theorem.

研究动机与目标

• 将沃尔斯滕霍尔姆定理推广至多重调和和，特别是更高长度与权重的齐次和。
• 研究素数 $ p $ 下多重 zeta 值部分和的 $ p $-整除性，尤其关注整除阶数超过预期的情况。
• 探讨多重调和和的 $ p $-整除性与素数非正则性的联系，后者由伯努利数分子的可除性定义。
• 提供证据并提出关于存在无穷多非正则对 $ (p, t) $（特别是 $ (p, p-3) $）的猜想，这些对与更高的 $ p $-幂次整除性相关。
• 建立一个框架，用于识别类似于数论中经典结果的多重调和和中的算术结构。

提出的方法

• 定义多重调和和 $ H(s_1, \dots, s_l; n) $ 和 $ S(s_1, \dots, s_l; n) $，分别为在嵌套指标 $ 1 \leq k_1 < \cdots < k_l \leq n $ 和 $ 1 \leq k_1 \leq \cdots \leq k_l \leq n $ 上的部分和。
• 利用伯努利数的性质和阿戈函数，推导模 $ p^k $ 的同余式，特别是 $ p $-进赋值。
• 应用非正则对 $ (p, t) $ 的概念，其中 $ p $ 整除 $ B_t $ 的分子，以预测调和和中更高的 $ p $-幂次整除性。
• 通过组合恒等式和 $ p $-进分析，将经典结果如沃尔斯滕霍尔姆定理和布鲁克猜想推广至多重调和和。
• 利用高达 1200 万的非正则素数计算数据，统计分析 $ p - t \mod 3 $ 的分布，支持关于均匀分布的猜想。
• 引入齐次多重调和和 $ H(\{s\}^l; p-1) $ 的概念，并在 $ p $、$ s $ 和 $ l $ 满足特定条件时，推导模 $ p^{\frak{p}(ls-1)} $ 的同余式。

实验结果

研究问题

• RQ1 在何种条件下，对奇素数 $ p $，有 $ H(\{s\}^l; p-1) \equiv 0 \pmod{p^{\frak{p}(ls-1)}} $ 成立？
• RQ2 多重调和和中更高的 $ p $-幂次整除性（如 $ p^3 $）是否可与非正则素数及伯努利数分子联系起来？
• RQ3 是否存在无穷多个素数 $ p $，使得 $ p^3 $ 整除 $ S(p,2) $，对应于非正则对 $ (p, p-3) $？
• RQ4 在非正则对 $ (p, t) $ 中，$ p - t \mod 3 $ 的取值如何分布？该分布是否支持更深层的算术模式？
• RQ5 是否可以将定理 3.5 推广至任意指标元组 $ \mathbf{s} $，而不仅限于本文所覆盖的情况？

主要发现

• 对任意奇素数 $ p \geq l+2 $ 及正整数 $ s, l $，若 $ p-1 $ 不整除 $ ls $ 或 $ ks+1 $（$ k=1,\dots,l $），则有 $ H(\{s\}^l; p-1) \equiv 0 \pmod{p^{\frak{p}(ls-1)}} $，其中 $ \frak{p}(m) = 1 $ 当 $ m $ 为奇数，$ 2 $ 当 $ m $ 为偶数。
• 当 $ p \geq ls + 3 $ 时，该结果无条件成立，确保齐次多重调和和中更高的 $ p $-幂次整除性。
• 对于 $ p = 16843 $ 和 $ p = 2124679 $，有 $ p^3 $ 整除 $ S(p,2) $，且这是在 $ \leq 1200 $ 万范围内唯一已知具有此性质的素数，二者均整除 $ B_{p-3} $ 的分子。
• 对高达 1200 万的非正则素数的统计分析表明，$ p - t \mod 3 $ 在 $ 0, 1, 2 $ 中几乎均匀分布，支持非正则对中均匀分布的猜想。
• 在前 30,000 个指数为 1 的非正则素数中，$ p - t \mod 3 $ 的分布范围在 33.2% 至 33.7% 之间，表明接近均匀分布。
• 对于指数为 4 和 5 的非正则素数，分布仍接近均匀，百分比在 32% 至 35% 之间波动，表明其与 $ p $-进性质相关的深层算术对称性。