[論文レビュー] A SUPER CONGRUENCE INVOLVING MULTIPLE HARMONIC SUMS

Jianqiang Zhao|arXiv (Cornell University)|Apr 14, 2014

Analytic Number Theory Research参考文献 10被引用数 9

ひとこと要約

本稿は、$ n = 2 $ もしくは $ 4 $ 個の変数を含む多重調和和に関して、超合同式を確立する。素数 $ p $ と互いに素な $ n $-tuple の整数の逆数の和が $ p^r $ に等しくなるとき、その和は $ p^{r+1} $ を法として合同となり、右辺にはベルヌーイ数と階乗係数が現れる。この結果は、従来の三変数に関する結果を偶数 $ n $ に一般化し、多重調和和に内在するより深い算術的構造を明らかにする。

ABSTRACT

Let $p$ be a prime and $\mathcal{P}_p$ the set of positive integers which are prime to $p$. Recently, Wang and Cai proved that for every positive integer $r$ and prime $p\ge 3$ $$ \sum_{\substack{i+j+k=p^r i,j,k\in \mathcal{P}_p}} \frac1{ijk} \equiv-2p^{r-1} B_{p-3} \pmod{p^r},$$ where $B_{p-3}$ is the $(p-3)$-rd Bernoulli number. In this paper we prove the following analogous result: Let $n=2$ or $4$. Then for every positive integer $r\ge n/2$ and prime $p>n$ $$\sum_{\substack{i_1+\cdots+i_n=p^r i_1,\dots,i_n\in \mathcal{P}_p}} \frac1{i_1i_2\cdots i_n} \equiv -\frac{n!}{n+1} p^{r} B_{p-n-1} \pmod{p^{r+1}}.$$

研究の動機と目的

• 三重調和和に関する既知の超合同式を $ n = 2 $ および $ n = 4 $ 変数の場合に一般化すること。
• 素数 $ p $ と互いに素な $ n $-tuple の整数の和が $ p^r $ に等しくなるような多重調和和について、$ p^{r+1} $ を法として合同式を確立すること。
• 特にベルヌーイ数との関係において、高次元における多重調和和の算術的構造を調査すること。
• 従来の $ p^r $-和と $ p $ と互いに素な整数の逆数を含む超合同式の結果を、偶数 $ n $ に拡張すること。

提案手法

• 証明は、$ p $-進解析の高度な技術とベルヌーイ数の性質を用いて、$ p $ と互いに素な整数の上での多重調和和を分析する。
• 各 $ i_j \notin p\mathbb{Z} $ かつ $ i_1 + \cdots + i_n = p^r $ を満たす $ n $-tuple $ (i_1, \ldots, i_n) $ の和の構造を用いる。
• ベルヌーイ数 $ B_{p-n-1} $ に関連する既知の合同式、特に特定の母関数の定数項における役割に依拠する。
• $ p^{r+1} $ を法とした多重調和和の理論を適用し、従来は $ n=3 $ に限定されていた結果を拡張する。
• 鍵となる式は、次の合同式である：$ \textstyle\bigsum_{\substack{i_1+\cdots+i_n=p^r \\ i_j\in\mathcal{P}_p}} \frac{1}{i_1\cdots i_n} \equiv -\frac{n!}{n+1} p^r B_{p-n-1} \pmod{p^{r+1}} $、これは代数的変形と $ p $-進付値の推定によって導出される。
• 証明は $ r \geq n/2 $ および $ p > n $ を満たす整数 $ r $ と素数 $ p $ に対して成り立つように構成されており、ベルヌーイ数 $ B_{p-n-1} $ が定義可能であり、和の収束が保証される。

実験結果

リサーチクエスチョン

• RQ1 素数 $ p $ と互いに素な整数の $ n $ 変数の多重調和和の構造は、その和が $ p^r $ に等しくなるとき、$ p^{r+1} $ を法としてどのように記述できるか？
• RQ2 偶数 $ n $ に対して、ベルヌーイ数 $ B_{p-n-1} $ はどのようにこの和の合同式に現れるか？
• RQ3 $ n=3 $ の場合に既知の超合同式を $ n=2 $ および $ n=4 $ に一般化できるか。その場合、合同式の正確な形は何か？
• RQ4 $ r $ と $ p $ にどのような条件を課すと、$ n=2 $ および $ n=4 $ の場合に合同式が有効になるか？
• RQ5 $ n $ 重調和和の合同式において、係数 $ \frac{n!}{n+1} $ はどのようにして生じるか？

主な発見

• $ n = 2 $ または $ 4 $ であり、任意の正の整数 $ r \geq n/2 $ および $ p > n $ を満たす素数 $ p $ に対して、$ p $ と互いに素な整数の $ n $-tuple で和が $ p^r $ に等しいものについて、$ \frac{1}{i_1 i_2 \cdots i_n} $ の和は $ p^{r+1} $ を法として合同となる。
• その和は $ -\frac{n!}{n+1} p^r B_{p-n-1} \pmod{p^{r+1}} $ に合同であり、ここで $ B_{p-n-1} $ は $ (p-n-1) $ 番目のベルヌーイ数である。
• この結果は、従来の $ n=3 $ の場合の超合同式を偶数 $ n $ に拡張したものであり、係数 $ \frac{n!}{n+1} $ の一貫性のあるパターンを明らかにする。
• 合同式は $ r \geq n/2 $ の条件下で成り立ち、これにより和の $ p $-進付値が制御され、ベルヌーイ数が正しく定義される。
• この結果は、高次元における多重調和和とベルヌーイ数の間に深い関係があることを示している。
• 本稿は、$ p^{r+1} $ を法としたこのような和の構造が、階乗およびベルヌーイ数の項を含む普遍的な公式によって支配されることを確認しており、$ n=2 $ および $ n=4 $ に対して有効である。