[논문 리뷰] On some new congruences for binomial coefficients

Zhi‐Wei Sun, Roberto Tauraso|arXiv (Cornell University)|2007. 09. 11.

Advanced Mathematical Identities참고 문헌 4인용 수 8

한 줄 요약

이 논문은 패널과 선의 이전 연구를 확장하여 소수 거듭제곱 모듈로에서 카탈란 수와 중심 이항계수에 대한 새로운 합동식을 수립한다. 생성함수와 조합 항등식을 사용하여 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d}$ 및 $\sum_{k=0}^{p^a-1} C_{p^a n + k}$ 모듈로 $p^2$ 에 대한 명시적 공식을 도출하며, 레이저드 제표와 특수 합 $S_d$ 와의 연결 고리를 드러낸다. 주요 결과는 기존의 월스텐홀름 유형 합동식을 더 높은 소수 거듭제곱과 복합 모듈로로 일반화한다.

ABSTRACT

In this paper we establish some new congruences involving central binomial coefficients as well as Catalan numbers. Let $p$ be a prime and let $a$ be any positive integer. We determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$ for $d=0,...,p^a$ and $\sum_{k=0}^{p^a-1}\binom{2k}{k+δ}$ mod $p^3$ for $δ=0,1$. We also show that $$C_n^{-1}\sum_{k=0}^{p^a-1}C_{p^an+k}=1-3(n+1)((p^a-1)/3) (mod p^2)$$ for every n=0,1,2,..., where $C_m$ is the Catalan number $\binom{2m}{m}/(m+1)$, and (-) is the Legendre symbol.

연구 동기 및 목표

• 카탈란 수의 소수 거듭제곱 모듈로에서 알려진 합동식을 확장하여, 패널과 선이 연구한 $a=1$ 경우를 초월한다.
• 모듈로 $p^2$ 와 $p^3$ 에서 중심 이항계수의 합 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d}$ 에 대한 명시적 공식을 유도하며, 레이저드 제표와 새로운 합 $S_d$ 를 포함한다.
• 합동식 $\sum_{k=0}^{n-1} \binom{2k}{k} \equiv \left(\frac{n}{3}\right) \pmod{n^2}$ 이 복합수 $n \not\equiv 0 \pmod{3}$ 에 대해 성립하는지 조사하며, 기존의 소수 수준 결과의 잠재적 일반화를 탐색한다.
• 전통적인 월스텐홀름 합동식을 이동된 카탈란 수 $C_{p^a n + k}$ 를 포함하는 합으로 일반화하여, 모듈로 $p^2$ 에서 새로운 항등식을 제공한다.
• 생성함수 기법과 $p$-진 분석을 사용하여 이전의 카탈란 수 부분합과 그 가중치 변형에 대한 결과들을 통합하고 확장한다.

제안 방법

• 모듈로 $p^2$ 에서 산술적 성질을 포착하는 보조 합 $S_d = \sum_{0<k<d} \frac{(-1)^{k-1}}{k} \left(\frac{d-k}{3}\right)$ 을 도입한다.
• 합동식 $F(d) = \frac{1}{2}\left(\sum_{k=0}^{p^a-1} \binom{2k}{k+d} - \left(\frac{p^a - d}{3}\right)\right) + (-1)^p p^a S_d - p[p=3]\left(\frac{d}{3}\right)$ 을 사용하여 이항계수 합을 레이저드 제표와 $S_d$ 와 연결한다.
• 루카스 유사 항등식과 $p$-진 값매기기 기법을 적용하여, 특히 $m \geq n$ 인 경우 $\binom{p^a m}{p^a n}$ 모듈로 $p^2$ 에 대한 분석을 수행한다.
• 생성함수 조작과 조합 항등식을 활용하여 $k$ 에 대한 합을 $d$ 와 $p^a - d$ 의 대칭 표현과 연결하고, $F(d) \equiv F(p^a - d) \pmod{p^3}$ 을 증명한다.
• 기초 합동식으로서 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) - p[p=3]\left(\frac{d}{3}\right) + 2p^a S_d \pmod{p^2}$ 를 사용한다.
• 이항계수 항등식과 $p$-진 전개, 레이저드 제표 성질을 조합하여 주요 결과 (1.11) 을 도출하며, $C_n^{-1}$ 과 $p^a S_d$ 를 포함하는 일반화된 합 공식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 합동식 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) \pmod{p^2}$ 이 소수의 더 높은 거듭제곱으로 확장될 수 있으며, 보정 항은 무엇이 필요한가?
• RQ2 합 $\sum_{k=0}^{p^a-1} C_{p^a n + k}$ 모듈로 $p^2$ 에서의 정확한 구조는 무엇이며, $C_n$ 과 레이저드 제표와의 관계는 어떻게 되는가?
• RQ3 복합수 $n \not\equiv 0 \pmod{3}$ 중에서 $\sum_{k=0}^{n-1} \binom{2k}{k} \equiv \left(\frac{n}{3}\right) \pmod{n^2}$ 를 만족하는 수가 존재하는가? 이는 소수 수준 합동식의 잠재적 일반화일 수 있다.
• RQ4 $S_d = \sum_{0<k<d} \frac{(-1)^{k-1}}{k} \left(\frac{d-k}{3}\right)$ 가 모듈로 $p^2$ 에서 이항계수 합의 행동을 어떻게 제어하는가?
• RQ5 항등식 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) \pmod{p}$ 는 모듈로 $p^2$ 로 강화될 수 있으며, 명시적 보정 항이 필요한가?

주요 결과

• 모든 소수 $p$, $a \in \mathbb{Z}^+$, $d \in \{0, \dots, p^a\}$ 에 대해 합 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) - p[p=3]\left(\frac{d}{3}\right) + 2p^a S_d \pmod{p^2}$ 이 성립하며, 이는 이전 결과를 일반화한다.
• 합 $\sum_{k=0}^{p^a-1} C_k \equiv 1 - 3\left(\frac{p^a - 1}{3}\right) \equiv \frac{3\left(\frac{p^a}{3}\right) - 1}{2} \pmod{p^2}$ 가 확립되었으며, 패널과 선의 작업을 더 높은 $a$ 로 확장한다.
• 항등식 $\sum_{k=0}^{p^a-1} kC_k \equiv \left(\frac{p^a - 1}{3}\right) - p[p=3] \equiv \frac{1 - \left(\frac{p^a}{3}\right)}{2} \pmod{p^2}$ 가 증명되었으며, 이는 가중치 합 공식을 제공한다.
• $m \geq n$ 인 경우, 일반화된 합 $\frac{n+1}{\binom{m}{n}} \sum_{k=0}^{p^a-1} \binom{p^a m + 2k}{p^a n + k + d}$ 는 모듈로 $p^2$ 에서 $S_d$, 레이저드 제표, 보정 항을 포함한 합동식을 만족한다.
• 공식 $\frac{1}{C_n} \sum_{k=0}^{p^a-1} C_{p^a n + k} \equiv 1 - 3(n+1)\left(\frac{p^a - 1}{3}\right) \pmod{p^2}$ 가 유도되었으며, 카탈란 수의 합을 이동된 인덱스로 일반화한다.
• 논문은 계산적으로 $n \leq 10^4$ 이며 $n \not\equiv 0 \pmod{3}$ 인 복합수 $n$ 중에서 $\sum_{k=0}^{n-1} \binom{2k}{k} \equiv \left(\frac{n}{3}\right) \pmod{n^2}$ 를 만족하는 수가 없음을 확인하였으며, 이는 이러한 합동식이 소수에 국한될 가능성을 시사한다.