[논문 리뷰] The $p$-adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers

Jonathan Sondow, Emmanuel Tsukerman|arXiv (Cornell University)|2014. 01. 01.

advanced mathematical theories참고 문헌 19인용 수 3

한 줄 요약

이 논문은 p-진 해석과 이집트 분수 방정식을 활용하여 에르되시–모저 디오판틴 방정식을 조사하며, 잠재적 해에 대한 강력한 약수 제약 조건을 확립한다. 비자명한 해가 존재할 경우 거기에 대해 거듭제곱 합과 베르누이 수의 엄격한 p-진 순서 조건이 성립해야 하며, 2^n − 1과 m−1의 약수를 포함하는 제약 조건이 있는 이집트 분수 조건을 유도한다.

ABSTRACT

The Erdös-Moser equation is a Diophantine equation proposed more than 60 years ago which remains unresolved to this day. In this paper, we consider the problem in terms of divisibility of power sums and in terms of certain Egyptian fraction equations. As a consequence, we show that solutions must satisfy strong divisibility properties and a restrictive Egyptian fraction equation. Our studies lead us to results on the Bernoulli numbers and allow us to motivate Moser's original approach to the problem.

연구 동기 및 목표

• S_n(m) = (m+1)^n 의 유일한 해가 (m,n) = (2,1)임을 증명하는 오랜 동안 남아 있던 에르되시–모저 추측을 해결하는 것.
• 거듭제곱 합의 p-진 순서를 통한 분석과 약수 성질을 통해 문제를 다루는 것.
• 디오판틴 방정식을 2^n − 1과 m−1의 약수를 포함하는 이집트 분수 방정식과 연결하는 것.
• p-진 및 수론적 도구를 활용하여 베르누이 수와 잠재적 해의 구조에 대한 제약 조건을 도출하는 것.
• 대부분의 수학적 기교를 사용한 모저의 원래 '수학적 마법의 토끼들' 접근 방식을 대수적·산술적 구조를 통해 설명하고 동기를 부여하는 것.

제안 방법

• p-진 순서 v_p 와 유도된 함수 V_p 를 사용하여 p-진 전개에서 끝에 붙는 동일한 숫자의 개수를 분석한다.
• 특정 합동 조건 하에서 p^d 모듈로의 제한된 거듭제곱 합 S_n^*(m) 을 적용하여 선형성 성질을 도출한다.
• 에르되시–모저 방정식을 이집트 분수 합동식으로 변환한다: sum_{p|m-1, p-1 mid n} 1/p + (2^n - 1 - X)/m ≡ 1 mod 1.
• 기존의 베르누이 수 결과와 켈러의 정리를 활용하여 S_{φ(n)}(n) 이 nB_{φ(n)} 와 모듈로 n 에 대해 관련이 있음을 밝힌다.
• 베르누이 수를 통한 거듭제곱 합의 다항식 보간을 사용하고, Q_n(x) = L_n P_n(x) 를 구성하여 약수 조건을 도출한다.
• 본 슈타우트–클로이젠 정리와 슈퍼합동 항등식을 적용하여 p > 3 일 때 S_{p-1}(p) ≡ pB_{p-1} mod p^3 임을 증명한다.

실험 결과

연구 질문

• RQ1 에르되시–모저 방정식의 해 (m,n) 가 만족해야 할 p-진 순서 제약 조건은 무엇인가?
• RQ2 2^n - 1 과 m−1 의 약수를 포함하는 이집트 분수 방정식이 잠재적 해를 어떻게 제약하는가?
• RQ3 이 결과들이 베르누이 수의 구조와 그 분모에 대해 어떤 함의를 갖는가?
• RQ4 왜 모저의 '수학적 마법의 토끼들' — m, m+2, 2m+1, 2m+3 — 이 거듭제곱 합의 다항식 보간에서 약수로 나타나는가?
• RQ5 L_n = (n+1)lcm(R_1,...,R_n) 이 m 로 나누어 떨어질 때 m 의 제곱 자유성은 유도될 수 있는가?

주요 결과

• 일반화된 에르되시–모저 방정식에서 p | m+1 이면, p-1 는 n 을 나누지 못한다.
• 에르되시–모저 방정식에서 p | m 이면, p-1 | n 이고, p^2 | m + p 이다.
• p | m - (p-1)/2 이면, p-1 | n 이고, m ≡ -(p + 1/2) mod p^2 이다.
• 모든 해 (m,n) 에 대해, d = 2^n - 1 - X 를 갖는 쌍 (n,d) 는 이집트 분수 합동식 sum_{p|m-1, p-1 mid n} 1/p + d/m ≡ 1 mod 1 을 만족한다.
• p | m-1 이고 p^e || m-1 이면, p^{e-1} | 2^n - 1 이다.
• p | m-1, p-1 | n, 그리고 p^e | 2^n - 1 이면, p^{e+1} | m-1 이므로 m-1 은 p^2 로 나누어 진다.