[论文解读] Finiteness of p-Divisible Sets of Multiple Harmonic Sums

Jianqiang Zhao|arXiv (Cornell University)|Mar 4, 2003

Analytic Number Theory Research参考文献 14被引用 3

一句话总结

本文研究多重调和和（MHS）的 p-adic 赋值，提出一个猜想：对于任意正整数序列 𝔰 和素数 p，仅有有限个部分和 H(𝔰;n) 是 p-整数（即 vₚ(H(𝔰;n)) ≥ 0）。通过基于 dyadic 区间 Gₜ 中 p-adic 赋值增长的新型判别准则，作者证明了特定 𝔰 和 p 下 p-可除集 J(𝔰|p) 的有限性，并提供了支持密度猜想的启发式与计算证据：当 l=1 且 s≥2 时，使得 J(𝔰|p) 有限的素数 p 的自然密度为 1/√e；当 l≥2 或 l=s=1 时，该密度为 1/e。

ABSTRACT

\medskip oindent extbf{Résumé.} Soit $l$ un entier et $\ors=(s_1, \dots, s_l)$ une séquence d'entiers positifs. Dans ce document, nous étudierons les propriétés arithmétique de sommes harmoniques multiples $H(\ors; n)$, qui est le $n$-ème somme partielle de la valeur de la série multiple zeta $ζ(\ors)$. On conjecture que pour tout $\ors$ et de tous les premiers $p$, il n'y a que de nombreux finitely $p$-partie intégrante sommes $H(\ors,n)$. Ceci généralise une conjecture de Eswarathasan et Levine et Boyd pour la série harmonique. Nous fournissons beaucoup d'éléments de preuve pour cette conjecture générale ainsi que certaines heuristiques argument soutenir. Ce document fait suite à \emph{Wolstenholme Type Theorem for multiple harmonic sums}, Intl.\ J.\ of Number Theory extbf{4}(1) (2008) 73-106.

研究动机与目标

• 将 Eswarathasan 与 Levine 对调和级数的猜想推广至多重调和和（MHS）。
• 研究固定 𝔰 时部分和 H(𝔰;n) 的 p-adic 整性，其中 n 变化。
• 建立 J(𝔰|p)（定义为 {n : vₚ(a(𝔰;n)) ≥ 0}，其中 H(𝔰;n) = a(𝔰;n)/b(𝔰;n)）有限性的判别准则。
• 提供启发式与计算证据，支持关于使得 J(𝔰|p) 有限的素数 p 的自然密度的猜想。

提出的方法

• 将 p-可除集 J(𝔰|p) 定义为使得 H(𝔰;n) 的分子被 p 整除的指标 n 的集合。
• 引入 dyadic 区间 Gₜ = {n : p^{t-1} ≤ n < p^t}，以分析 H(𝔰;n) 的 p-adic 赋值增长。
• 提出判别准则：若存在 τ > t₀ 使得 f(𝔰,p;τ) > (|𝔰|−m)(τ−1)−m，其中 m = min{sᵢ}，且 f(𝔰,p;t) = min{−vₚ(H(𝔰;n)) : n ∈ Gₜ}，则 J(𝔰|p) 有限。
• 利用 Wolstenholme 型定理与齐次 MHS 的 p-adic 赋值估计推导界限。
• 应用概率启发式方法，假设 H(𝔰;n) 模 p 呈随机分布，以估计使得 J(𝔰|p) 有限的素数 p 的密度。
• 通过大量计算数据与在线补充材料支持猜想。

实验结果

研究问题

• RQ1 对于任意固定的正整数序列 𝔰 与素数 p，使得 H(𝔰;n) 为 p-整数的指标 n 的集合是否有限？
• RQ2 能否基于 dyadic 区间中 p-adic 赋值行为，制定一个通用判别准则，以判断 J(𝔰|p) 是否有限？
• RQ3 使得 J(𝔰|p) 有限的素数 p 的自然密度是多少？其如何依赖于 𝔰 的长度 l 与权重 |𝔰|？
• RQ4 J(𝔰|p) 及其保留子集 RJ(𝔰;p) 的结构如何与不规则素数及 p 的数论性质相关？
• RQ5 是否存在无穷多个素数 p，使得 J₁(𝔰|p) = {(p−1)/2, p−1} 或 J₁(𝔰|p) = {p−1}？这对不规则对意味着什么？

主要发现

• 对于 𝔰 = (1,1) 且 p = 3, 7, 13, 31；𝔰 = (1,1,1) 且 p = 3；以及 𝔰 = (1,1,2) 且 p = 7，p-可除集 J(𝔰|p) 是有限的。
• 定理 2.1 中的判别准则通过在 dyadic 区间 Gₜ 中有界最小 p-adic 赋值，证明了特定 𝔰 和 p 下 J(𝔰|p) 的有限性。
• 当 l = 1 且 s ≥ 2 时，使得 J(s|p) 有限的素数 p 的自然密度猜想为 1/√e。
• 当 l ≥ 2 或 l = s = 1 时，使得此类素数 p 的自然密度猜想为 1/e。
• 启发式论证表明，基于随机分布假设，当 p → ∞ 时，J(𝔰|p) = RJ(𝔰;p) 的概率趋近于 1/√e（当 l=1 且 s≥2 时）或 1/e（当 l≥2 时）。
• 猜想 7.8 提出某些 J₁(𝔰|p) 集合虽为无限但稀疏，意味着对固定的奇数 w ≥ 5，存在无穷多个不规则素数 (p, p−w)。