[논문 리뷰] Products and sums divisible by central binomial coefficients

Zhi‐Wei Sun|arXiv (Cornell University)|2010. 04. 26.

Advanced Mathematical Identities참고 문헌 20인용 수 5

한 줄 요약

이 논문은 중심 이항계수와 카탈란 수를 포함하는 새로운 약수성 성질을 수립하며, $4(2n+1)\binom{2n}{n}$가 이항계수 거듭제곱의 가중합을 나누는 것을 증명한다. WZ 방법과 조합 항등식을 사용하여 약수성 결과를 도출하고, 라마누잔 유형의 $1/\pi$ 급수와 관련된 수열에 대한 $p$-진 합동과 생성함수에 대한 추측을 제기한다. 주요 기여는 초함수 급수와 제타 함수의 특수값과 연결된 새로운 산술적 약수성 정리의 클래스를 제안하는 것이다.

ABSTRACT

In this paper we initiate the study of products and sums divisible by central binomial coefficients. We show that 2(2n+1)binom(2n,n)| binom(6n,3n)binom(3n,n) for every n=1,2,3,... Also, for any nonnegative integers $k$ and $n$ we have $$\binom {2k}k | \binom{4n+2k+2}{2n+k+1}\binom{2n+k+1}{2k}\binom{2n-k+1}n$$ and $$\binom{2k}k | (2n+1)\binom{2n}nC_{n+k}\binom{n+k+1}{2k},$$ where $C_m$ denotes the Catalan number $\binom{2m}m/(m+1)=\binom{2m}m-\binom{2m}{m+1}$. Applying this result we obtain two sums divisible by central binomial coefficients.

연구 동기 및 목표

• 중심 이항계수 $\binom{2n}{n}$와 카탈란 수 $C_n$를 포함하는 새로운 약수성 결과를 수립하기.
• 특정 합 $\sum_{k=0}^{n}(4k+1)\binom{2k}{k}^3(-64)^{n-k}$ 및 $\sum_{k=0}^{n}(20k+3)\binom{2k}{k}^2\binom{4k}{2k}(-2^{10})^{n-k}$ 가 $4(2n+1)\binom{2n}{n}$로 나누어 떨어지는 것을 증명하기.
• 수열 $S_n = \frac{\binom{6n}{3n}\binom{3n}{n}}{2(2n+1)\binom{2n}{n}}$ 의 산술적 성질을 조사하며, 생성함수와 추측된 $p$-진 및 홀짝성 성질을 포함하기.
• 특수 수열 $S_n$과 동반 수열 $T_n$에 대한 $p$-진 합동에 대한 추측을 제안하고, 이를 초함수 급수와 제타 함수 값과 연결하기.

제안 방법

• 재귀관계와 수축 항등식을 사용하여 WZ(Wilf-Zeilberger) 방법을 통해 약수성 증명하기.
• 소수의 $p$-진 값과 정수 부분 및 분수 부분을 포함하는 보조 부등식을 분석하여 합의 약수성 확보하기.
• 수열 $S_n$과 $T_n$을 정의하고 그 생성함수 유도: $|x| < 1/108$ 에서 $\sum_{k=0}^\infty S_k x^k = \frac{\sin(\frac{2}{3}\arcsin(6\sqrt{3x}))}{8\sqrt{3x}}$.
• 기호 계산(마이크로소프트 워드 등)을 사용하여 $S_k$와 $T_k$를 포함하는 무한 급수의 닫힌 형태 유도, 예를 들어 $\sum_{k=0}^\infty \frac{S_k}{108^k} = \frac{3\sqrt{3}}{8}$.
• 라마누잔 유형의 $1/\pi$ 급수와 관련된 항등식을 검증하기 위해 WZ 방법 적용, 예를 들어 $\sum \binom{2k}{k}^3 / (-64)^k$ 및 $\sum \binom{2k}{k}^2\binom{4k}{2k} / (-2^{10})^k$ 포함.
• 특수 수열 $S_n$과 $T_n$에 대한 $p$-진 합동 추측, 예를 들어 소수 $p > 3$ 에 대해 $S_p \equiv 15 - 30p + 60p^2 \pmod{p^3}$ 및 $T_p \equiv -2 \pmod{p}$.

실험 결과

연구 질문

• RQ1 $4(2n+1)\binom{2n}{n}$ 이 모든 양의 정수 $n$ 에 대해 합 $\sum_{k=0}^{n}(4k+1)\binom{2k}{k}^3(-64)^{n-k}$ 를 나누는가?
• RQ2 $\binom{2k}{k} \mid \binom{4n+2k+2}{2n+k+1}\binom{2n+k+1}{2k}\binom{2n-k+1}{n}$ 의 약수성은 조합적 또는 $p$-진 분석을 통해 증명될 수 있는가?
• RQ3 수열 $S_n = \frac{\binom{6n}{3n}\binom{3n}{n}}{2(2n+1)\binom{2n}{n}}$ 의 산술적 구조는 무엇이며, 조합적 해석 또는 재귀식을 가질 수 있는가?
• RQ4 예를 들어 $p \equiv \pm 1 \pmod{12}$ 일 때 $\sum_{k=1}^{p-1} \frac{S_k}{108^k} \equiv 0 \pmod{p}$ 라는 추측된 $p$-진 합동이 성립하는가?
• RQ5 수열 $\{S_n\}$ 에 대한 닫힌 형태의 생성함수가 존재하는가, 그리고 이를 통해 $\zeta(3)$ 또는 $1/\pi$ 의 새로운 급수를 유도할 수 있는가?

주요 결과

• 논문은 $4(2n+1)\binom{2n}{n}$ 가 합 $\sum_{k=0}^{n}(4k+1)\binom{2k}{k}^3(-64)^{n-k}$ 를 나누는 것을 증명하며, [S10b]에서 제기된 추측을 확인한다.
• 또한 $4(2n+1)\binom{2n}{n}$ 가 $\sum_{k=0}^{n}(20k+3)\binom{2k}{k}^2\binom{4k}{2k}(-2^{10})^{n-k}$ 를 나누는 것을 증명하며, 기존의 라마누잔 유형 항등식을 확장한다.
• 생성함수는 $0 < x < 1/108$ 에서 $\sum_{k=0}^\infty S_k x^k = \frac{\sin(\frac{2}{3}\arcsin(6\sqrt{3x}))}{8\sqrt{3x}}$ 로 도출되며, $\sum_{k=0}^\infty \frac{S_k}{108^k} = \frac{3\sqrt{3}}{8}$ 이다.
• 홀수 소수 $p$ 에 대해 수열 $S_n$ 은 $S_p \equiv 15 - 30p + 60p^2 \pmod{p^3}$ 를 만족하며, $n$ 이 2의 거듭제곱일 때에만 홀수임을 추측한다.
• 동반 수열 $T_n$ 은 $|x| \leq 1/(6\sqrt{3})$ 에서 $\sum_{k=0}^\infty S_k x^{2k+1} + \frac{1}{24} - \sum_{k=1}^\infty T_k x^{2k} = \frac{\cos(\frac{2}{3}\arccos(6\sqrt{3}x))}{12}$ 를 만족하며, 소수 $p$ 에 대해 $T_p \equiv -2 \pmod{p}$ 라는 조건을 가진다.
• 논문은 소수 $p \neq 3$ 에 대해 $\sum_{k=0}^{(p-1)/2}(205k^2+160k+32)(-1)^k\binom{2k}{k}^5 \equiv 32p^2 + \frac{896}{3}p^5 B_{p-3} \pmod{p^6}$ 라는 추측을 제기하며, 베르누이 수와 연결한다.