[論文レビュー] Congruences for Wolstenholme primes

Romeo Meštrović|arXiv (Cornell University)|Aug 21, 2011

Analytic Number Theory Research参考文献 8被引用数 4

ひとこと要約

この論文は、Wolstenholme素数に対して、二項係数 ${2p-1 \choose p-1}$ について $p^8$ および $p^7$ を法とする高次合同式を確立し、それらを調和級数 $R_i = \sum_{k=1}^{p-1} \frac{1}{k^i}$ およびベルヌーイ数を用いて表現する。主な貢献は、${2p-1 \choose p-1} \equiv 1 - 2p\sum_{k=1}^{p-1}\frac{1}{k} - 2p^2\sum_{k=1}^{p-1}\frac{1}{k^2} \pmod{p^7}$ という合同式によるWolstenholme素数の新しい特徴付けであり、この合同式はその素数がWolstenholme条件を満たす必要があることを示唆する。

ABSTRACT

A prime number $p$ is said to be a Wolstenholme prime if it satisfies the congruence ${2p-1\choose p-1} \equiv 1 \,\,(\bmod{\,\,p^4})$. For such a prime $p$, we establish the expression for ${2p-1\choose p-1}\,\,(\bmod{\,\,p^8})$ given in terms of the sums $R_i:=\sum_{k=1}^{p-1}1/k^i$ ($i=1,2,3,4,5,6)$. Further, the expression in this congruence is reduced in terms of the sums $R_i$ ($i=1,3,4,5$). Using this congruence, we prove that for any Wolstenholme prime, $$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} -2p^2\sum_{k=1}^{p-1}\frac{1}{k^2}\pmod{p^7}. $$ Moreover, using a recent result of the author \cite{Me}, we prove that the above congruence implies that a prime $p$ necessarily must be a Wolstenholme prime. Applying a technique of Helou and Terjanian \cite{HT}, the above congruence is given as the expression involving the Bernoulli numbers.

研究の動機と目的

• Wolstenholme素数に対して、二項係数 ${2p-1 \choose p-1}$ について $p^8$ を法とする高次合同式を導出すること。
• これらの合同式を $i=1,2,3,4,5,6$ についての調和級数 $R_i = \sum_{k=1}^{p-1} \frac{1}{k^i}$ を用いて表現すること。
• 式を $R_1, R_3, R_4, R_5$ のみに簡略化し、より単純な形にすること。
• 合同式を $p^7$ を法として用いることで、Wolstenholme素数の新しい特徴付けを確立すること。この合同式は、その素数がWolstenholme条件を満たす必要があることを示唆する。
• Kummerの合同式と先行研究の既知の結果を用いて、合同式とベルヌーイ数を結びつけること。

提案手法

• 調和級数 $R_i$ を $i=6$ まで含む恒等式を用いて、${2p-1 \choose p-1}$ の一般展開を $p^8$ を法として導出する。
• Wolstenholme素数であるという仮定、すなわち ${2p-1 \choose p-1} \equiv 1 \pmod{p^4}$ を用いて展開を簡略化する。
• 調和級数の $p^k$ を法とする既知の合同式と、$p$ が $B_{p-3}$ の分子を割り切ることを用いて項を削減する。
• Kummerの合同式を用いて、$p^n$ を法とする $B_{p^n - p^{n-1} - s}$ を低次のベルヌーイ数と関連付ける。
• $p^4$ を法とする $1/(kp - m)$ の級数展開を用いて、ベルヌーイ数の式における有理係数を処理する。
• 著者自身の最近の定理 [Me, Theorem 1.1] や先行研究の結果を統合し、Wolstenholme素数の逆特徴付けを確立する。

実験結果

リサーチクエスチョン

• RQ1 Wolstenholme素数に対して、二項係数 ${2p-1 \choose p-1}$ は $p^8$ を法として、より洗練された形に表現可能だろうか？
• RQ2 合同式 ${2p-1 \choose p-1} \equiv 1 - 2p\sum_{k=1}^{p-1}\frac{1}{k} - 2p^2\sum_{k=1}^{p-1}\frac{1}{k^2} \pmod{p^7}$ はWolstenholme素数を一意に特徴付けるだろうか？
• RQ3 ${2p-1 \choose p-1}$ の $p^7$ を法とする表現を、$R_1, R_3, R_4, R_5$ のみを用いて再構成可能だろうか？
• RQ4 この合同式はベルヌーイ数を用いてどのように再定式化可能だろうか？また、Kummerの合同式はこのプロセスでどのような役割を果たすだろうか？
• RQ5 特定の調和級数の消滅とWolstenholme性質との間に、より深い構造的関係が存在するだろうか？

主な発見

• 論文は、Wolstenholme素数に対して、${2p-1 \choose p-1} \pmod{p^8}$ の完全な式を調和級数 $R_1$ から $R_6$ を用いて導出し、$i=1$ から $6$ までの $p^i R_i$ への明示的な依存関係を示した。
• 式は $R_1, R_3, R_4, R_5$ のみに依存する形に簡略化され、合同式 ${2p-1 \choose p-1} \equiv 1 + \frac{3p}{2}R_1 - \frac{p^2}{4}R_2 + \frac{7p^3}{12}R_3 + \frac{5p^5}{12}R_5 \pmod{p^8}$ が得られた。
• 法を $p^7$ に落とすと、論文は ${2p-1 \choose p-1} \equiv 1 - 2pR_1 - 2p^2R_2 \equiv 1 + 2pR_1 + \frac{2p^3}{3}R_3 \pmod{p^7}$ を証明した。
• $p^7$ を法とする合同式はベルヌーイ数を用いて再表現され、${2p-1 \choose p-1} \equiv 1 - p^3 B_{p^4 - p^3 - 2} - \frac{3}{2}p^5 B_{p^2 - p - 4} + \frac{3}{10}p^6 B_{p-5} \pmod{p^7}$ となった。
• さらに展開により、同じ合同式が低次のベルヌーイ数を用いて表現された：$-p^3(\frac{8}{3}B_{p-3} - 3B_{2p-4} + \frac{8}{5}B_{3p-5} - \frac{1}{3}B_{4p-6}) - p^4(\frac{8}{9}B_{p-3} - \frac{3}{2}B_{2p-4} + \frac{24}{25}B_{3p-5} - \frac{2}{9}B_{4p-6}) - p^5(\frac{8}{27}B_{p-3} - \frac{3}{4}B_{2p-4} + \frac{72}{125}B_{3p-5} - \frac{4}{27}B_{4p-6} + \frac{12}{5}B_{p-5} - B_{2p-6}) - \frac{2}{25}p^6 B_{p-5} \pmod{p^7}$。
• 論文は、合同式 ${2p-1 \choose p-1} \equiv 1 - 2pR_1 - 2p^2R_2 \pmod{p^7}$ が、$p$ がWolstenholme素数でなければならないことを示し、このまれな素数クラスの必要十分条件を新たに確立した。