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

技術的要約：高次合同式としての逆数冪和および一般化されたレマー型積

問題提起
本論文は、逆数和および組合せ論的積の算術における2つの主要な問いに取り組んでいる。第一に、既存の二次的な逆数和の合同式（特に $1/r^2$ に関するもの）を、奇数次の逆数和（$1/r^m$、ただし $m$ は奇数）へと拡張し、合成数法におけるベルヌーイ多項式を用いて一様に表現できるか否かを調査する。第二に、一般化されたレマー型の積を、既知の三次法（$n^3$）の結果を超えて、係数が完全ベル多項式によって一様に表現される高次の展開へと拡張することを目指す。

手法
著者らは、局所解析と大域的再構成を組み合わせた構造的なアプローチを採用している：

1. 局所合同式： 研究は、素数冪 $p^l$ を法とする合同式の確立から始まる。著者らは、$\sum (p^l - tr)^M$ の形式の和に関する Cai らによる既存の結果を洗練させている。オイラーの定理、ファウルハーベルの公式、およびベルヌーイ多項式の性質を利用することで、指数 $M$ が偶数または奇数の場合を区別し、$p^l$ および $p^{2l}$ を法とする冪和の明示的な合同式を導出している。
2. 持ち上げと反転： これらの結果を合成数法へ拡張するために、本論文では切断された逆数和に対する「持ち上げ関係（lifting relation）」を利用している。これには、$\lfloor c p^l / e \rfloor$ に関する和を、ヤコビ記号を用いて $\lfloor p^l / e \rfloor$ に関する和に関連付ける証明が含まれる。また、素数冪の結果から一般的な合成数 $n$ へと移行するために、メビウス反転および中国剰余定理を用いている。
3. ベル多項式展開： 積の合同式については、切断された環 $\mathbb{Z}/n^{K+1}\mathbb{Z}$ における積の対数を分析する。積の対数を逆数冪和 $S_m(n)$ を含む冪級数へと展開し、その後、指数関数をとることで、得られる係数が完全指数ベル多項式であることを特定する。これにより、積をこれらの多項式を用いた有限和として表現することが可能となる。

主な貢献と結果

• 奇数次逆数和への拡張（定理 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）：
  本論文は、一般化されたレマー型の積に対する高次の展開を提供する。正の整数 $k, e, n, K$ で $(n, K!) = 1$ であるとき、積
  $$\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$ は完全指数ベル多項式、 $S_m(n)$ は逆数冪和を表す。

• 明示的な低次ケース：
  著者らは、$K=2$（従来の $n^3$ の結果を回収）および $K=3$（新たな $n^4$ 展開の提供）のための明示的な公式を導出することで、これらの結果の計算可能性を実証している。また、展開の係数 $C_t$ を計算するための再帰的アルゴリズム（式 53）を提示しており、これはアルゴリズム的な検証を容易にする。

意義
本論文は、高次の合同式の明示的な計算およびアルゴリズム的検証のための統一的な枠組みを提供すると主張している。単に特定のケースにおいて法（modulus）の次数を上げるのではなく、本研究は以下の特性を持つ構造化された証明枠組みを構築している：

• 転用可能性： 逆数和と積の表現の両方に適用可能である。
• 再帰性： ベル多項式を利用して、高次の項を体系的に生成する。
• 計算効率性： 各次数に対してアドホックな導出を行うことなく、$n^{K+1}$ を法とする合同式を計算することを可能にする、明示的な公式と再帰的関係を提供している。

これらの結果は、古典的な合同式（モーリーの定理など）と、ベルヌーイ構造およびベル構造を含む現代的な構造的アプローチとの間の溝を埋めるものであり、この分野における中心的な課題が、孤立した洗練からこのような体系的な枠組みの開発へと移行していることを示唆している。