[논문 리뷰] Some congruences for the second-order Catalan numbers

Lilu Zhao, Hao Pan외 1명|ArXiv.org|2009. 09. 21.

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

한 줄 요약

이 논문은 홀수 소수 $ p > 5 $ 에 대해 두 번째 차수의 카탈란 수 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ 를 포함하는 새로운 합동식을 수립한다. 이중 이차항 항등식과 루카스의 합동식을 사용하여, $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \equiv 2((-1)^{(p-1)/2} - 1) \pmod{p} $ 와 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \equiv 4(1 - (-1)^{(p-1)/2}) \pmod{p} $ 를 증명하며, 이는 이전의 카탈란 수 합에 대한 소수 모듈로 결과를 확장한다.

ABSTRACT

Let p be any odd prime. We mainly show that $$\sum_{k=1}^{p-1}binomial(3k,k)*2^k/k=0 (mod p)$$ and $$\sum_{k=1}^{p-1}2^{k-1}C_k^{(2)}=(-1)^{(p-1)/2}-1 (mod p),$$ where $C_k^{(2)}=binomial(3k,k)/(2k+1)$ is the $k$th Catalan number of order 2.

연구 동기 및 목표

• 홀수 소수 모듈로 두 번째 차수의 카탈란 수 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ 를 포함하는 새로운 합동식을 유도하는 것.
• 2의 거듭제곱을 가중치로 포함한 이전의 카탈란 수 합에 대한 소수 모듈로 결과를 확장하는 것.
• 이차항 계수 조작을 통해 $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \pmod{p} $ 와 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \pmod{p} $ 의 모듈로 항등식을 확립하는 것.
• $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $ 를 증명하는 것 — 핵심 중간 결과.
• 고급 조합 항등식과 모듈로 산술 기법을 사용하여 이전의 카탈란 관련 합에 대한 합동식을 일반화하는 것.

제안 방법

• 두 번째 차수의 카탈란 수 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ 의 정의를 활용하여, 이들이 이항계수 $ \binom{3k}{k} $ 와 $ \binom{3k+1}{k} $ 와 어떻게 관련되는지 분석.
• 생성함수와 계수 추출을 사용하여, $ \sum_{k=0}^{p-1} 2^k \binom{3k}{k} $ 와 $ \sum_{k=0}^{p-1} 2^k \binom{3k+1}{k} $ 와 같은 합을 모듈로 $ p $ 로 표현하기 위해 이항항등식을 적용.
• 큰 인덱스를 가진 이항계수를 모듈로 $ p $ 로 줄이기 위해 루카스의 합동식 $ \binom{pn+s}{pk+t} \equiv \binom{n}{k}\binom{s}{t} \pmod{p} $ 를 활용.
• 페르마의 소정리와 기하급수의 성질을 사용하여, 특히 $ (-1)^s $ 와 $ 2^t $ 를 포함하는 이중합에서 $ s $ 와 $ t $ 에 대한 합을 단순화.
• 이중항계수의 고차항 항목을 다루기 위해 월스텐홀름 합동식 $ \binom{2p}{p} \equiv 2 \pmod{p^3} $ 을 적용하여 모듈로 $ p^2 $ 에서의 항을 처리.
• 이러한 도구들을 조합하여 재귀적이고 모듈로 감소를 유도하며, 최종적으로 정리 1.3인 $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $ 를 증명함 — 이는 주요 정리들의 유도에 핵심이 됨.

실험 결과

연구 질문

• RQ1 홀수 소수 $ p $ 에 대해 $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \pmod{p} $ 에 대해 어떤 합동식이 성립하는가?
• RQ2 홀수 소수 $ p $ 에 대해 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \pmod{p} $ 는 어떻게 행동하는가?
• RQ3 $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \pmod{p} $ 가 모듈로 $ p $ 에서 0이 되는 것으로 보일 수 있는가?
• RQ4 이항항등식과 루카스의 합동식은 카탈란 관련 합에 대한 모듈로 항등식을 증명하는 데 어떤 역할을 하는가?
• RQ5 두 번째 차수의 카탈란 수에 대한 결과는 기존의 표준 카탈란 수에 대한 합동식을 어떻게 확장하거나 일반화하는가?

주요 결과

• 모든 홀수 소수 $ p > 5 $ 에 대해 $ \sum_{k=0}^{p-1} 2^k \binom{3k}{k} \equiv \frac{6(-1)^{(p-1)/2} - 1}{5} \pmod{p} $.
• 모든 홀수 소수 $ p > 5 $ 에 대해 $ \sum_{k=0}^{p-1} 2^k \binom{3k+1}{k} \equiv \frac{4(-1)^{(p-1)/2} + 1}{5} \pmod{p} $.
• 모든 소수 $ p $ 에 대해 $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $ — 주요 정리 유도에 사용되는 중심 결과.
• $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \equiv 2((-1)^{(p-1)/2} - 1) \pmod{p} $, 여기서 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $.
• $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \equiv 4(1 - (-1)^{(p-1)/2}) \pmod{p} $ — 이 값은 $ p \equiv 1 \pmod{4} $ 일 때 0이 된다.
• 증명은 특히 $ p $ 근처의 인덱스에 대해, 루카스의 합동식과 페르마의 소정리를 사용한 이항계수의 모듈로 감소에 기반한다.