A statistical investigation of a divisor-sum function

这是一份关于论文《除数和函数的统计调查》（A Statistical Investigation of a Divisor-Sum Function）的详细技术总结。该论文由 Ivan Aidun 和 Lola Thompson 撰写，主要研究了与真除数之和函数 $s(n)$ 相关的函数 $S_s(n)$ 的统计性质。

1. 研究背景与问题 (Problem)

• 研究对象：
  • $s(n)$：$n$ 的所有正真除数之和，即 $s(n) = \sum_{d|n, d<n} d = \sigma(n) - n$。这是一个古老但性质复杂的算术函数，既非加性也非乘性。
  • $S_s(n)$：本文引入的新函数，定义为 $s(n)$ 的除数和，即 $S_s(n) = \sum_{d|n} s(d)$。
  • 背景联系：该函数的研究动机来源于“实用数”（practical numbers）及其推广（$f$-practical numbers）。实用数定义为 $n$，使得 $1$到$n$之间的所有整数都能表示为$n$的不同除数之和。$S_s(n)$出现在$f$-practical 数的构造中（当 $f=s$ 时）。
• 核心问题：
  • 函数 $S_s(n)/n$ 是否具有渐近分布函数（asymptotic distribution function, a.d.f.）？
  • 该分布函数是否连续？
  • 函数 $S_s(n)/n$ 的值域在 $[0, \infty)$ 上是否稠密？
  • $S_s(n)$ 和 $S_s(n)/n$ 的均值及高阶矩（moments）是多少？
• 难点：
  • $S_s(n)/n$ 既不是加性函数也不是乘性函数，这使得经典的概率数论工具（如 Erdős-Wintner 定理）无法直接应用。
  • 试图通过分解 $S_s(n)/n = S_\sigma(n)/n - \sigma(n)/n$ 来利用已知结果时，发现 $\log(\sigma(n)/n)$ 的分布函数是纯奇异（purely singular）的，这导致传统的解析方法失效。

2. 方法论 (Methodology)

论文采用了概率数论工具与现代分布函数理论的结合：

1. 代数分解与构造：
   • 利用恒等式 $S_s(n) = S_\sigma(n) - \sigma(n)$ 将问题转化为两个乘性函数的差。
   • 推导了互质整数 $a, b$ 下 $S_s(ab)$ 的乘法性质公式：$S_s(ab) = S_s(a)S_s(b) + \sigma(a)S_s(b) + \sigma(b)S_s(a)$，用于证明值域的稠密性。
2. 现代分布函数理论 (Lebowitz-Lockard 和 Pollack 的方法)：
   • 由于经典方法失效，作者引入了 Lebowitz-Lockard 和 Pollack 的最新成果（2023/2024 年左右）。
   • 非聚集性（Non-clustering）：如果一个算术函数 $f$ 不“聚集”在任何实数 $x$ 周围（即对于任意 $x$，集合 $\{n: |f(n)-x| < \epsilon\}$ 的密度随 $\epsilon \to 0$ 趋于 0），且 $f$ 存在分布函数，则该分布函数是连续的。
   • 利用定理证明 $S_s(n)/n$ 作为两个具有连续分布函数的乘性函数的线性组合，满足非聚集性条件，从而证明其分布函数的连续性。
3. 均值与矩的估计：
   • 利用狄利克雷级数和部分求和法（Partial Summation）计算 $S_\sigma(n)$ 和 $\sigma(n)$ 的均值。
   • 应用 Wintner 均值定理（针对乘性函数）来证明 $S_s(n)/n$ 的高阶矩存在且有限。
   • 通过比较 $S_s(n)/n$ 与 $(n/\phi(n))^2$ 的增长行为，利用已知的 $n/\phi(n)$ 的矩估计来推导 $S_s(n)/n$ 的矩界。

3. 主要贡献与结果 (Key Contributions & Results)

A. 值域的稠密性 (Theorem 3.1)

• 结果：函数 $S_s(n)/n$ 的值在区间 $[0, \infty)$ 上是稠密的。
• 证明思路：构造了一个序列 $N_k$，通过选择特定的素数 $q$ 使得 $S_s(Nq)/Nq$ 能够逼近任意给定的 $x > 0$。利用 $S_s(p)/p = 1/p$ 和互质分解公式，证明了可以构造出收敛到任意 $x$ 的序列。

B. 连续渐近分布函数 (Theorem 4.4)

• 结果：函数 $S_s(n)/n$ 拥有一个连续的渐近分布函数。
• 创新点：这是本文的核心贡献。作者避开了 $\log(\sigma(n)/n)$ 分布函数纯奇异性的障碍，通过证明 $S_s(n)/n$ 是“非聚集”的（non-clustering），结合 Lebowitz-Lockard 和 Pollack 的定理，确立了分布函数的连续性。这展示了该方法在处理非乘性函数时的强大能力。

C. 均值计算 (Theorem 5.1 & Corollary 5.2)

• 结果：
  • $S_s(n)$ 的均值：$M_x(S_s(n)) = \frac{\zeta(2)(\zeta(2)-1)}{2}x + O((\log x)^2)$。
  • $S_s(n)/n$ 的均值：$M(S_s(n)/n) = \zeta(2)(\zeta(2)-1)$。
  • 其中 $\zeta(2) = \pi^2/6$。

D. 高阶矩估计 (Theorem 5.4)

• 结果：$S_s(n)/n$ 的所有阶矩 $\mu_k$ 均存在且有限。
• 界：矩的增长满足 $\log \mu_k \ll k \log \log k$。
• 意义：这一结果不仅证明了矩的存在性，还通过矩的增长速度进一步佐证了分布函数的存在性（满足 Carleman 条件或类似判据），并再次确认了分布函数的连续性。

4. 意义与影响 (Significance)

1. 方法论的突破：
   • 本文展示了 Lebowitz-Lockard 和 Pollack 提出的关于“非聚集性”（non-clustering）的现代方法在解决经典数论问题中的有效性。
   • 它提供了一种绕过传统解析数论中“纯奇异分布函数”障碍的新途径，特别是对于那些不能直接表示为简单乘性函数或对数乘性函数的算术函数。
2. 填补理论空白：
   • 尽管 $s(n)$ 已有 2000 多年的研究历史，但关于其除数和函数 $S_s(n)$ 的统计性质此前鲜有研究。本文首次系统地建立了 $S_s(n)/n$ 的统计分布理论。
3. 连接实用数理论：
   • 通过研究 $f=s$ 时的 $f$-practical 数相关函数，加深了对实用数及其推广形式的理解，揭示了 $S_s(n)$ 在数论结构中的重要性。
4. 推广性：
   • 文中使用的技术（特别是处理非乘性函数分布连续性的方法）可能适用于其他具有类似结构的复杂算术函数，为未来的统计数论研究提供了新的工具箱。

总结：
这篇论文通过结合经典的算术函数分析与现代概率数论中的分布连续性判据，成功解决了关于新函数 $S_s(n)/n$ 的分布存在性、连续性、值域稠密性及矩估计等一系列问题。其最大的亮点在于利用“非聚集性”概念克服了经典方法在处理特定除数函数时的局限性。