[논문 리뷰] Two new kinds of numbers and their arithmetic properties

Zhi‐Wei Sun|arXiv (Cornell University)|2014. 08. 21.

Advanced Mathematical Identities참고 문헌 3인용 수 1

한 줄 요약

이 논문은 유리수 계수를 가진 이항계수 합으로 정의된 두 개의 새로운 정수 수열 $ R_n $ 및 $ S_n $을 제안한다. 이는 $ p \equiv 1 \pmod{4} $ 인 소수 $ p $ 에 대해 $ R_{(p-1)/2} $ 이 $ p^2 $ 모듈로에서 성립하는 깊은 산술적 성질을 규명하며, 또한 구오와 증이 제기한 일부 가중 평균이 정수라는 추측을 해결한다.

ABSTRACT

We mainly introduce two new kinds of numbers given by $$R_n=\sum_{k=0}^n\binom nk\binom{n+k}k\frac1{2k-1}\quad (n=0,1,2,...)$$ and $$S_n=\sum_{k=0}^n\binom nk^2\binom{2k}k(2k+1)\quad (n=0,1,2,...).$$ We find that such numbers have many interesting arithmetic properties. For example, if $p\equiv1\pmod 4$ is a prime with $p=x^2+y^2$ (where $x\equiv1\pmod 4$ and $y\equiv0\pmod 2$), then $$R_{(p-1)/2}\equiv p-(-1)^{(p-1)/4}2x\pmod{p^2}.$$ Also, $$\frac1{n^2}\sum_{k=0}^{n-1}S_k\in\mathbb Z \frac1n\sum_{k=0}^{n-1}S_k(x)\in\mathbb Z[x]\quad ext{for all} n=1,2,3,...,$$ where $S_k(x)=\sum_{j=0}^k\binom kj^2\binom{2j}j(2j+1)x^j$. For any positive integers $a$ and $n$, we show that, somewhat surprisingly, $$\frac1{n^2}\sum_{k=0}^{n-1}(2k+1)\binom{n-1}k^a\binom{-n-1}k^a\in\mathbb Z {and} \frac 1n\sum_{k=0}^{n-1}\frac{\binom{n-1}k^a\binom{-n-1}k^a}{4k^2-1}\in\mathbb Z.$$ We also solve a conjecture of V.J.W. Guo and J. Zeng, and pose several conjectures for further research.

연구 동기 및 목표

• 이항계수 합과 유리수 계수를 가진 가중치를 사용하여 두 개의 새로운 수열 클래스인 $ R_n $ 및 $ S_n $을 정의하고 연구한다.
• 이 수열들의 산술적 구조, 특히 소수 거듭제곱 모듈로에서의 행동을 조사한다.
• V.J.W. 구오와 저앙 증이 제기한 $ S_k $ 의 일부 가중합의 정수성에 관한 추측을 해결한다.
• 소수를 두 제곱수의 합으로 표현하는 것과의 연결 고리 등을 포함한 더 깊은 수론적 성질을 탐색한다.
• 향후 관련 이항계수 합과 정수성 조건에 관한 새로운 추측을 제안한다.

제안 방법

• 중앙 이항계수와 유리수 계수를 포함하는 합으로 $ R_n = \sum_{k=0}^n \binom{n}{k} \binom{n+k}{k} \frac{1}{2k-1} $ 를 정의한다.
• 다항식 계수를 가진 이차 이항계수 합으로 $ S_n = \sum_{k=0}^n \binom{n}{k}^2 \binom{2k}{k} (2k+1) $ 를 정의한다.
• 가중합을 분석하기 위해 생성함수 변형 $ S_k(x) = \sum_{j=0}^k \binom{k}{j}^2 \binom{2j}{j} (2j+1) x^j $ 을 도입한다.
• 조합 항등식과 모듈로 산술을 사용하여 합동식을 유도하며, 특히 $ p \equiv 1 \pmod{4} $ 인 소수 $ p $ 에 대해 $ p^2 $ 모듈로에서의 성질을 분석한다.
• 기존의 이항계수 곱과 초함수 유형의 합에 관한 결과를 적용하여 가중 평균의 정수성을 증명한다.
• 이항계수에 대한 대칭성과 변환 기법을 활용하여 $ \frac{1}{n^2} \sum_{k=0}^{n-1} S_k \in \mathbb{Z} $ 과 유사한 표현들이 정수임을 증명한다.

실험 결과

연구 질문

• RQ1 소수 $ p \equiv 1 \pmod{4} $ 에 대해, 특히 $ p^2 $ 모듈로에서 $ R_n = \sum_{k=0}^n \binom{n}{k} \binom{n+k}{k} \frac{1}{2k-1} $ 의 산술적 성질은 무엇인가?
• RQ2 $ \frac{1}{n^2} \sum_{k=0}^{n-1} S_k $ 가 $ \mathbb{Z} $ 에 속하는 조건은 무엇이며, 이는 $ S_k(x) $ 로 어떻게 일반화될 수 있는가?
• RQ3 구오와 증의 추측, 즉 $ \frac{1}{n^2} \sum_{k=0}^{n-1} (2k+1) \binom{n-1}{k}^a \binom{-n-1}{k}^a \in \mathbb{Z} $ 가 모든 $ a, n \in \mathbb{N} $ 에 대해 참임을 증명할 수 있는가?
• RQ4 $ R_{(p-1)/2} \mod p^2 $ 의 값과 $ p = x^2 + y^2 $ 를 만족하는 표현에서 $ x \equiv 1 \pmod{4} $, $ y \equiv 0 \pmod{2} $ 를 만족할 때의 관계는 무엇인가?
• RQ5 $ \frac{1}{n} \sum_{k=0}^{n-1} \frac{\binom{n-1}{k}^a \binom{-n-1}{k}^a}{4k^2 - 1} $ 의 정수성 배경에는 어떤 더 깊은 구조적 이유가 있는가?

주요 결과

• $ p \equiv 1 \pmod{4} $ 인 소수 $ p $ 에 대해 $ p = x^2 + y^2 $ 를 만족하고, $ x \equiv 1 \pmod{4} $, $ y \equiv 0 \pmod{2} $ 를 만족할 경우, $ R_{(p-1)/2} \equiv p - (-1)^{(p-1)/4} 2x \pmod{p^2} $ 가 성립한다.
• $ \frac{1}{n^2} \sum_{k=0}^{n-1} S_k \in \mathbb{Z} $ 는 모든 양의 정수 $ n $ 에 대해 성립하며, $ S_k $ 의 첫 번째 $ n-1 $ 개 항의 평균의 정수성을 확인한다.
• $ \frac{1}{n} \sum_{k=0}^{n-1} S_k(x) \in \mathbb{Z}[x] $ 는 모든 $ n \geq 1 $ 에 대해 성립하며, $ S_k(x) $ 의 가중합이 정수 계수 다항식임을 보여준다.
• $ \frac{1}{n^2} \sum_{k=0}^{n-1} (2k+1) \binom{n-1}{k}^a \binom{-n-1}{k}^a \in \mathbb{Z} $ 는 모든 양의 정수 $ a $ 와 $ n $ 에 대해 성립하며, 구오와 증의 추측을 해결한다.
• $ \frac{1}{n} \sum_{k=0}^{n-1} \frac{\binom{n-1}{k}^a \binom{-n-1}{k}^a}{4k^2 - 1} \in \mathbb{Z} $ 는 모든 양의 정수 $ a $ 와 $ n $ 에 대해 성립하며, 새로운 정수성 결과를 확립한다.
• 논문은 이러한 가중합의 정수성에 대한 완전한 증명을 제공하며, 이항계수 곱에 숨겨진 대수적 구조를 드러낸다.