[논문 리뷰] On sums of binomial coefficients modulo p^2

Zhi‐Wei Sun|arXiv (Cornell University)|2009. 10. 29.

Advanced Mathematical Theories and Applications참고 문헌 11인용 수 10

한 줄 요약

이 논문은 $p$-adic 정수 $h$와 $m$를 사용하여 중심 이항계수 $\binom{2k}{k}$의 가중합에 대해 $p^2$를 법으로 하는 새로운 합동식을 수립한다. 이 합동식은 이전의 $p$를 법으로 한 결과를 향상시켜 더 높은 $p$-adic 정밀도로 확장하며, 주요 결과는 루카스 수열과 페르마 몫을 통해 이러한 합을 표현한다.

ABSTRACT

Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}/m^k$ mod p^2, where h,m are p-adic integers with m ot=0 (mod p). For example, we show that if h ot=0 (mod p) and p^a>3 then $$ sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}(-h/2)^k =(\frac{1-2h}{p^a})(1+h((4h-2)^{p-1}/h^{p-1}-1)) (mod p^2),$$ where (-) denotes the Jacobi symbol. Here is another remarkable congruence: If p>3 then $$\sum_{k=0}^{p^a-1}\binom{p^a-1}{k}\binom{2k}{k}(-1)^k =3^{p-1}(\frac{p^a}3) (mod p^2).$$

연구 동기 및 목표

• 기존의 중심 이항계수 합에 대한 $p$를 법으로 한 결과를 $p^2$를 법으로 한 더 높은 정밀도로 확장하기.
• $p$-adic 정수 $h, m$에 대해 $m \not\equiv 0 \pmod{p}$ 조건을 만족할 때, 형태 $\sum_{k=0}^{p^a-1} \binom{hp^a - 1}{k} \frac{\binom{2k}{k}}{m^k}$인 합의 구조를 조사하기.
• 이러한 합을 루카스 수열 $u_n(A,B)$ 및 $v_n(A,B)$로 표현하고, 페르마 몫 $q_p(h)$를 통합하기.
• 선과 다른 이들의 중심 이항계수의 $p$-adic 값과 합동식에 관한 이전 결과를 더욱 정교화하고 일반화하기.
• 특수 케이스인 $m=3$, $m=5$, $m=-2$를 포함하는 특수 결과들을 통합하고 확장하는 일반 합동식(정리 1.2) 수립하기.

제안 방법

• $p$-adic 정수 $h$와 $m$를 사용하여 중심 이항계수의 가중합을 정의하고, $m \not\equiv 0 \pmod{p}$ 조건을 만족시킨다.
• $k < p^a$일 때 $\binom{hp^a - 1}{k} \equiv 1 - h p^a H_k \pmod{p}$ 임을 이용하는 항등식을 적용한다. 여기서 $H_k$는 $k$번째 조화수이다.
• 특성근 $\alpha, \beta$가 $x^2 - (m-2)x + 1 = 0$를 만족하는 루카스 수열 $u_n(m-2,1)$ 및 $v_n(m-2,1)$을 사용하여 주요 합동식을 표현한다.
• 페르마 몫 $q_p(h) = (h^{p-1} - 1)/p$를 도입하여 $p^2$를 법으로 한 합동식에서 $p$-adic 수정항을 포착한다.
• 특수 케이스에서 결과를 정밀화하기 위해 모를리의 합동식 $\binom{p-1}{(p-1)/2} \equiv (-1)^{(p-1)/2} 4^{p-1} \pmod{p^3}$을 활용한다.
• 조화수 합 $\sum_{k=1}^{p-1} (-1)^k \frac{\binom{2k}{k}}{k(m-4)^k}$를 포함하는 보조 합동식을 유도하며, 이는 $q_p(m-4)$와 루카스 수열 값과 연결된다.

실험 결과

연구 질문

• RQ1 $p$-adic 정수 $h, m$에 대해 형태 $\sum_{k=0}^{p^a-1} \binom{hp^a - 1}{k} \frac{\binom{2k}{k}}{m^k}$인 합을 $p^2$를 법으로 어떻게 평가할 수 있는가?
• RQ2 루카스 수열 $u_n(m-2,1)$ 및 $v_n(m-2,1)$은 이 합을 $p^2$를 법으로 표현할 때 어떤 역할을 하는가?
• RQ3 페르마 몫 $q_p(h)$와 $q_p(m-4)$는 $p^2$ 정밀도 합동식에 어떻게 기여하는가?
• RQ4 합이 단지 야코비 기호 $\left(\frac{\Delta}{p^a}\right)$와 $h((m-4)^{p-1} - 1)$로 이루어진 표현으로 단순화되는 조건은 무엇인가?
• RQ5 결과를 특수화하여 $m=3$, $m=5$, 또는 $m=-2$에 대해 알려진 합동식을 복원하거나 개선할 수 있는가?

주요 결과

• 정리 1.1은 $h$와 $p^a$에 대한 약한 조건 하에서 $\sum_{k=0}^{p^a-1} \binom{hp^a - 1}{k} \binom{2k}{k} \left(-\frac{h}{2}\right)^k \equiv \left(\frac{1-2h}{p^a}\right) \left(1 + h\left(\left(4 - \frac{2}{h}\right)^{p-1} - 1\right)\right) \pmod{p^2}$ 임을 보여준다.
• 推론 1.1은 $\sum_{k=0}^{p^a-1} \binom{p^a - 1}{k} \frac{\binom{2k}{k}}{(-2)^k} \equiv (-1)^{(p^a - 1)/2} 2^{p-1} \pmod{p^2}$를 제시하며, $a=1$일 때 기존의 $p^3$를 법으로 한 결과를 개선한다.
• 推론 1.2는 $\sum_{k=0}^{p^a-1} \binom{2p^a - 1}{k} \binom{2k}{k} (-1)^k \equiv \left(\frac{p^a}{3}\right) (2 \cdot 3^{p-1} - 1) \pmod{p^2}$ 및 $\sum_{k=0}^{p^a-1} \binom{p^a + k}{k} \frac{\binom{2k}{k}}{2^k} \equiv \left(\frac{3}{p^a}\right) (1 - p(q_p(2) + q_p(3))) \pmod{p^2}$를 보여준다.
• 推론 1.3은 $h = -2$일 때 $\sum_{k=0}^{p^a-1} \binom{2p^a + k}{k} \binom{2k}{k} (-1)^k \equiv \left(\frac{p^a}{5}\right) (3 - 2 \cdot 5^{p-1}) \pmod{p^2}$를 유도한다.
• 정리 1.2는 일반 공식을 제공한다: $\sum_{k=0}^{p^a-1} \binom{hp^a - 1}{k} \frac{\binom{2k}{k}}{(-m)^k} \equiv \left(\frac{\Delta}{p^{a-1}}\right)(1 - \frac{hm}{2}) u_{p - (\frac{\Delta}{p})}(m-2,1) + \left(\frac{\Delta}{p^a}\right)(1 + h((m-4)^{p-1} - 1)) + \text{보정항} \pmod{p^2}$, 여기서 $\Delta = m(m-4)$이다.
• 만약 $hm \equiv 2 \pmod{p}$이면 합은 $\left(\frac{\Delta}{p^a}\right)(1 + h((m-4)^{p-1} - 1)) + \text{보정항}$으로 단순화되며, 보정항은 $p^a = 3$ 이면서 $3 \mid m-1$인 경우를 제외하고는 0이 된다.