[논문 리뷰] Congruences for Wolstenholme primes

Romeo Meštrović|arXiv (Cornell University)|2011. 08. 21.

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 소수여야 한다는 조건을 함의한다.

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$로만 포함되도록 하고, 더 나아가 $R_1, R_2, R_3, R_5$로 줄이는 것.
• 이 합동식을 $p^7$ 모듈로로 사용하여 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}$ 형태의 베르누이 수를 낮은 차수의 베르누이 수와 연결하는 것.
• $1/(kp - m)$의 $p^4$ 모듈로에서의 급수 전개를 사용하여 베르누이 수 표현식 내의 유리수 계수를 다루는 것.
• 최근 저자의 정리 [Me, 정리 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}$를 증명한다.
• 이 합동식은 베르누이 수를 사용하여 재표현되어 ${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 소수여야 한다는 것을 함의함을 증명하며, 이러한 드문 소수 클래스에 대한 새로운 필요충분조건을 제공한다.