Higher-Order Congruence for Reciprocal Power Sums and Generalized Lehmer-Type Products

技术摘要：高阶倒数幂和的同余性质与广义 Lehmer 型乘积

问题陈述
本文探讨了关于整数高次幂模下的倒数和与组合乘积的两个主要问题。首先，研究现有的二次倒数和同余式（特别是涉及 $1/r^2$ 的情形）是否可以推广到奇数阶倒数和（即 $1/r^m$，其中 $m$ 为奇数），并能否在复合模下利用伯努利多项式进行统一表达。其次，寻求将广义 Lehmer 型乘积扩展至模 $n^{K+1}$ 的情形，从而超越已知的三次模（$n^3$）结果，推导出其系数由 Bell 多项式统一表示的高阶展开式。

研究方法
作者采用了一种结合局部分析与全局重构的结构化方法：

1. 局部同余： 研究始于建立模素幂 $p^l$ 的同余关系。作者通过改进 Cai 等人关于形式为 $\sum (p^l - tr)^M$ 的求和结果，利用欧拉定理、Faulhaber 公式以及伯努利多项式的性质，推导出了幂和模 $p^l$ 和 $p^{2l}$ 的显式同余式，并区分了指数 $M$ 为偶数或奇数的情况。
2. 提升与反转： 为了将这些结果扩展到复合模，论文利用了截断倒数和的“提升关系”。这包括证明形如 $\lfloor c p^l / e \rfloor$ 的求和可以通过 Jacobi 符号与 $\lfloor p^l / e \rfloor$ 的求和建立联系。作者还利用 Möbius 反转和中国剩余定理，将从素幂结果向一般复合数 $n$ 的过渡。
3. Bell 多项式展开： 对于乘积同余，作者分析了截断环 $\mathbb{Z}/n^{K+1}\mathbb{Z}$ 中乘积的对数。通过将对数展开为包含倒数幂和 $S_m(n)$ 的幂级数，并进行指数化处理，作者识别出所得系数为完全指数 Bell 多项式。这使得乘积可以表示为涉及这些多项式的有限和。

核心贡献与结果

• 向奇数阶倒数和的扩展 (定理 1.3)：
  论文将先前的二次结果推广到了奇数阶倒数和。对于满足 $(n, 6)=1$ 的正整数 $n$，$e \in \{2, 3, 4, 6\}$，以及相对于 $n$ 的素因子满足特定界的奇整数 $m$，作者建立了如下同余式：
  $$\sum_{\substack{r=1 \\ (r,n)=1}}^{\lfloor n/e \rfloor} \frac{1}{r^m} \equiv n^{\phi(n)-m} \phi_{m-\phi(n)}(n) \left( \frac{B_{\phi(n)-m+1}(1/e)}{\phi(n)-m+1} - \frac{B_{\phi(n)-m+1}}{\phi(n)-m+1} \right) \pmod n$$
  此处 $B_k(x)$ 表示第 $k$ 阶伯努利多项式，$\phi_f(n)$ 为广义欧拉函数。该结果实现了使用伯努利多项式对这些求和进行统一计算。

• 高阶乘积展开 (定理 1.4)：
  论文为广义 Lehmer 型乘积提供了高阶展开。对于满足 $(n, K!) = 1$ 的正整数 $k, e, n, K$，乘积
  $$\prod_{d|n} \binom{kd-1}{\lfloor d/e \rfloor}^{\mu(n/d)}$$
  满足：
  $$\equiv (-1)^{\phi_e(n)} \sum_{m=0}^{K} \frac{\bar{B}_m(-kS_1(n), \dots, -(m-1)!k^m S_m(n))}{m!} n^m \pmod{n^{K+1}}$$
  其中 $\bar{B}_m$ 代表第 $m$ 阶完全指数 Bell 多项式，$S_m(n)$ 为倒数幂和。

• 显式低阶情形：
  作者通过推导 $K=2$（恢复了先前的 $n^3$ 结果）和 $K=3$（提供了新的 $n^4$ 展开）的显式公式，展示了这些结果的可计算性。此外，他们还提出了一个用于计算展开系数 $C_t$ 的递归算法（公式 53），便于算法验证。

意义
该论文声称提供了一个用于显式计算和算法验证高阶同余式的统一框架。该工作并非仅仅针对特定情形增加模的阶数，而是构建了一个结构化的证明框架，具有以下特点：

• 可迁移性： 既适用于倒数和，也适用于乘积表达式。
• 递归性： 利用 Bell 多项式系统地生成高阶项。
• 计算有效性： 提供显式公式和递归关系，使得无需针对每个阶数进行特例推导即可计算模 $n^{K+1}$ 的同余式。

这些结果架起了古典同余（如 Morley 同余）与涉及伯努利及 Bell 结构的现代结构化方法之间的桥梁，表明该领域的核心任务正在从孤立的精细化研究转向开发此类系统性的框架。