[论文解读] Congruences of alternating multiple harmonic sums

Roberto Tauraso, Jianqiang Zhao|arXiv (Cornell University)|Sep 3, 2009

Advanced Mathematical Identities参考文献 11被引用 6

一句话总结

本文系统研究了交替多重调和和（AMHS）模素数幂的同余性质，扩展了此前对多重调和和的研究。通过利用欧拉多项式、伯努利数和费马商，作者推导出深度为二、三、四的AMHS模 $p^2$ 和 $p^3$ 的显式同余式，揭示了无法通过标准的堆叠或反转恒等式导出的新关系，特别是涉及 $q_p = (2^{p-1}-1)/p$ 和 $B_{p-3}$ 的关系。主要贡献在于建立了一个全面的框架，将AMHS与在素数模约束下的伯努利和欧拉多项式的特殊值联系起来。

ABSTRACT

In this sequel to arXiv:0905.3327, we continue to study the congruence properties of the alternating version of multiple harmonic sums. As contrast to the study of multiple harmonic sums where Bernoulli numbers and Bernoulli polynomials play the key roles, in the alternating setting the Euler numbers and the Euler polynomials are also essential.

研究动机与目标

• 将多重调和和同余研究扩展到交替情形，其中欧拉多项式与欧拉数起核心作用。
• 为满足 $p > |{\bf s}| + 2$ 的素数 $p$，建立交替多重调和和 $H({\bf s}; p-1)$ 模 $p^2$ 和 $p^3$ 的系统同余公式。
• 推导出无法通过标准堆叠或反转关系获得的四权AMHS的新同余式。
• 将AMHS与出现在费马商同余中的和 $U({\bf s}; n)$ 及 $V({\bf s}; n)$ 联系起来，从而实现更高阶同余分析。
• 提供模 $p^2$ 的深度三AMHS的显式表达式，包括涉及 $h_{31} = H(3,1;(p-1)/2)$ 和 $q_p$ 的情形。

提出的方法

• 利用涉及伯努利数 $B_k$ 和欧拉多项式 $E_k(0)$ 的 $H(a, {\bf s})$ 与 $H(-a, {\bf s})$ 模 $p$ 的约化公式。
• 应用堆叠与反转关系，关联不同深度与权重的和，尤其针对深度二与三的情形。
• 采用容斥原理，通过 $S({\bf s}; n) = \sum_{{\bf r} \preceq {\bf s}} H({\bf r}; n)$ 将严格 $H({\bf s}; n)$ 与非严格 $S({\bf s}; n)$ AMHS 联系起来。
• 使用生成函数与对称函数恒等式，将任意深度的齐次AMHS表示为幂和与分拆函数的形式。
• 引入辅助和 $U({\bf s}; n)$ 与 $V({\bf s}; n)$ 以处理模 $p^2$ 与 $p^3$ 的高阶同余。
• 利用已知的涉及费马商 $q_p = (2^{p-1} - 1)/p$ 与伯努利数 $B_{p-k}$ 的同余关系，推导出四权AMHS的新恒等式。

实验结果

研究问题

• RQ1 对于满足 $p > |{\bf s}| + 2$ 的素数 $p$，交替多重调和和 $H({\bf s}; p-1)$ 模 $p^2$ 与 $p^3$ 的行为如何？
• RQ2 哪些新的同余关系在四权AMHS中出现，且无法通过标准堆叠或反转关系导出？
• RQ3 欧拉多项式与数，连同伯努利数，如何支配AMHS同余的结构？
• RQ4 能否用已知和表达 $H(1,1,-1; p-1)$ 模 $p^2$？$U(-3)$ 与 $A, B$ 的作用是什么？
• RQ5 在深度三与四权情形下，$H({\bf s}; p-1)$ 与费马商 $q_p$ 之间存在何种相互作用？

主要发现

• 对于四权情形，有 $H(1,-3) \equiv \frac{1}{2}H(-2,2) \equiv \sum_{k=0}^{p-3} 2^k B_k B_{p-3-k} \pmod{p}$，该关系无法通过标准恒等式导出。
• 有 $H(-1,3) \equiv -\frac{1}{2}q_p B_{p-3} \pmod{p}$，将AMHS与费马商及伯努利数联系起来。
• 对于深度三，有 $H(-1,-2) \equiv \frac{9}{2}X - \frac{5}{6}p q_p B_{p-3} + \frac{1}{4}p h_{31} \pmod{p^2}$，其中 $X = \frac{B_{p-k}}{p-k} - \frac{B_{2p-1-k}}{2(2p-1-k)}$。
• 和 $H(-1,-1,-1) \equiv -\frac{4}{3}q_p^3 + X + p\left(2q_p^4 + \frac{2}{3}q_p B_{p-3}\right) \pmod{p^2}$ 揭示了对 $q_p$ 的立方依赖关系。
• 同余式 $H(1,-1,1) \equiv -2H(1,1,-1) + 3X + p\left(\frac{7}{6}q_p B_{p-3} + A - B\right) \pmod{p^2}$ 表明其依赖于辅助常数 $A$ 与 $B$。
• 本文表明，确定 $H(1,1,-1) \pmod{p^2}$ 可归约为计算 $U(-3) \pmod{p^2}$，凸显了对 $U$-和进一步研究的必要性。