[논문 리뷰] Some curious congruences modulo primes

Lilu Zhao, Zhi‐Wei Sun|arXiv (Cornell University)|2009. 04. 07.

Analytic Number Theory Research참고 문헌 2인용 수 4

한 줄 요약

이 논문은 소수 모듈로에서 조화수 유사 합에 대한 Zhi-Wen Sun의 추측을 증명한다. 홀수 $ n $ 에 대해, $ p $ 모듈로에서 정수 $ n $-튜플의 역수 곱의 합은 6 모듈로에서의 잔류류에 의해 제한되며, $ i_1 \equiv 1,2 \pmod{6} $ 와 $ i_1 \equiv 4,5 \pmod{6} $ 로 그룹화했을 때 서로 합동임을 보인다. 핵심 결과는 $ \mathbb{Z}_p[x] $ 상의 다항식 $ F_n(x) $ 에 대해 성립하는 함수방정식 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $ 이며, 이는 대수적 변환과 수학적 귀납법을 통해 이러한 합의 대칭성을 이끌어낸다.

ABSTRACT

Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: $$\sum_{0

연구 동기 및 목표

• 소수 모듈로에서 정수 $ n $-튜플의 역수 합의 합동성에 대한 Z. W. Sun의 추측을 증명한다. 이는 6 모듈로에서의 잔류류에 따라 그룹화된 합에 대해 다루며,
• 다항식 $ F_n(x) = \sum_{0<i_1<\cdots<i_n<p} \frac{x^{i_1}}{i_1\cdots i_n} $ 에 대해 $ \mathbb{Z}_p[x] $ 상에서의 함수방정식을 수립한다. 이는 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $ 를 보여준다.
• 이 함수방정식을 이용하여 6 모듈로에서 특정 잔류류에 대한 합의 대칭 합동식을 유도한다. 이는 $ n $ 의 홀짝성에 따라 달라진다.
• 기존의 $ p^2 $ 모듈로에서의 합동식, 예를 들어 Wolstenholme와 Sun-Tauraso의 결과를 일반화하여 $ p $-진 해석의 맥락에서 새로운 대칭 항등식을 도출한다.
• 형식적 도함수와 $ \mathbb{F}_p[x] $ 상의 대칭 항등식을 사용하여 귀납법을 통해 주요 결과를 통합적인 대수적 프레임워크로 증명한다.

제안 방법

• 소수 $ p > n+1 $ 에 대해 다항식 $ F_n(x) = \sum_{0<i_1<\cdots<i_n<p} \frac{x^{i_1}}{i_1\cdots i_n} $ 을 $ \mathbb{Z}_p[x] $ 상에서 정의한다.
• 기저 사례 $ n=1 $ 에서 시작하여 $ n $ 에 대한 수학적 귀납법을 통해 함수방정식 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $ 를 증명한다.
• $ \mathbb{Z}_p[x] $ 상의 형식적 도함수를 사용한다. 도함수가 모듈로 $ p $ 에 대해 0이면 다항식은 모듈로 $ p $ 에 대해 상수임을 기억한다.
• $ \frac{d}{dx}(F_n(1-x) - (-1)^{n-1}F_n(x)) $ 를 포함하는 미분 항등식을 유도하며, 이가 모듈로 $ p $ 에 대해 0이 됨을 보여, 다항식이 모듈로 $ p $ 에 대해 상수임을 암시한다.
• $ x^{p-1-n} $ 의 계수를 $ x^{p-1}-1 \equiv \prod_{j=1}^{p-1}(x-j) \pmod{p} $ 에서 유도한 식 $ \sum_{0<i_1<\cdots<i_n<p} \frac{1}{i_1\cdots i_n} \equiv 0 \pmod{p} $ 을 사용하여 상수를 평가한다.
• 원의 한 면근 $ \omega $ (3차 원근) 를 사용하여 $ F_n(-\omega) $ 와 $ F_n(-\omega^2) $ 를 분해하고 계수를 비교하여 6 모듈로에서의 잔류류에 대한 합 $ S_r $ 에 대한 합동식을 도출한다.

실험 결과

연구 질문

• RQ1 홀수 $ n $ 에 대해, $ i_1 < \cdots < i_n < p $ 인 $ n $-튜플의 역수 합이 $ i_1 \equiv 1,2 \pmod{6} $ 인 경우와 $ i_1 \equiv 4,5 \pmod{6} $ 인 경우가 모듈로 $ p $ 에 대해 합동인가?
• RQ2 짝수 $ n $ 에 대해, $ i_1 \equiv 0 \pmod{3} $ 인 경우에 대해 부호가 교차하는 합이 $ i_1 \equiv 2,3,4 \pmod{6} $ 인 경우의 합의 두 배와 모듈로 $ p $ 에 대해 합동인가?
• RQ3 모든 $ n \geq 1 $ 에 대해 함수방정식 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $ 가 성립하는가? 그리고 이는 6 모듈로에서의 잔류류에 따라 그룹화된 합에 대한 대칭 합동식을 유도하는가?
• RQ4 특히 형식적 도함수와 상수 다항식을 포함한 $ \mathbb{F}_p[x] $ 상의 대칭 항등식은 주요 합동식을 증명하는 데 어떤 역할을 하는가?
• RQ5 다항식 $ \prod_{j=1}^{p-1}(x-j) $ 의 전개에서 유도된 역수의 초항대칭합은 증명에서 어떤 역할을 하는가?

주요 결과

• 홀수 $ n $ 에 대해, $ \sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 1,2 \pmod{6}}} \frac{1}{i_1\cdots i_n} \equiv \sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 4,5 \pmod{6}}} \frac{1}{i_1\cdots i_n} \pmod{p} $ 를 만족하며, Sun의 추측을 확인한다.
• 짝수 $ n $ 에 대해, $ \sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 0 \pmod{3}}} \frac{(-1)^{i_1}}{i_1\cdots i_n} \equiv 2\sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 2,3,4 \pmod{6}}} \frac{1}{i_1\cdots i_n} \pmod{p} $ 는 새로운 대칭 항등식이다.
• 모든 $ n \geq 1 $ 에 대해 함수방정식 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $ 가 성립하며, $ F_n(x) $ 는 $ p $ 모듈로에서 증가하는 $ n $-튜플에 대해 $ \frac{x^{i_1}}{i_1\cdots i_n} $ 의 합으로 정의된다.
• 증명은 $ \sum_{0<i_1<\cdots<i_n<p} \frac{1}{i_1\cdots i_n} \equiv 0 \pmod{p} $ 를 바탕으로 하며, 이는 $ x^{p-1}-1 \equiv \prod_{j=1}^{p-1}(x-j) \pmod{p} $ 의 인수분해에서 $ x^{p-1-n} $ 의 계수로부터 도출된다.
• 원의 한 면근 $ \omega $ 의 사용은 $ F_n(-\omega) $ 와 $ F_n(-\omega^2) $ 의 분해를 가능하게 하며, 이는 6 모듈로에서의 잔류류에 대한 합 $ S_r $ 과 관련된 합동식을 이끌어낸다. 이는 대칭성을 통해 유도된다.
• 미분 접근법은 $ \frac{d}{dx}(F_n(1-x) - (-1)^{n-1}F_n(x)) \equiv 0 \pmod{p} $ 를 보여주며, 이는 표현식이 모듈로 $ p $ 에 대해 상수임을 암시한다. $ x=0 $ 과 $ x=1 $ 에서의 평가로 이 상수가 모듈로 $ p $ 에 대해 0임을 확인한다.