[논문 리뷰] Supercongruences for a truncated hypergeometric series

Roberto Tauraso|arXiv (Cornell University)|2010. 07. 22.

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

한 줄 요약

이 논문은 소수 $p^2$ 및 $p^3$ 모듈로에서 잘린 하이퍼기하급수의 초합동식을 확립하며, $a=1,2$에 대해 $ frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \tfrac{1}{k^a}$ 형태의 합을 중심으로 다룬다. Pochhammer 몫 $Q_p(x)$를 도입하고, $a=1$인 경우 합이 $Q_p(x) + \frac{1}{2}p Q_p(x)^2 \pmod{p^2}$와 합동임을 증명하며, $a=2$인 경우 $-\frac{1}{2}Q_p(x)^2 \pmod{p}$와 합동임을 보인다. 주요 기여는 $x=1/2$에 대한 보다 정밀한 합동식으로, 조화합수를 포함한다: $ sum_{k=1}^{p-1} \frac{(1/2)_k^2}{(1)_k^2} \cdot \frac{1}{k} \equiv -2H_{(p-1)/2}(1) \pmod{p^3}$.

ABSTRACT

The purpose of this note is to obtain some congruences modulo a power of a prime $p$ involving the truncated hypergeometric series $$\sum_{k=1}^{p-1} {(x)_k(1-x)_k\over (1)_k^2}\cdot{1\over k^a}$$ for $a=1$ and $a=2$. In the last section, the special case $x=1/2$ is considered.

연구 동기 및 목표

• 소수 $p$의 거듭제곱 모듈로에서 잘린 하이퍼기하급수에 대한 새로운 초합동식을 유도하기 위해.
• Pochhammer 몫 $Q_p(x)$를 정의하고, 이를 파데-프ermat 몫의 $p$-진 유사체로 분석하기 위해.
• 중앙 이항계수 및 하이퍼기하급수의 알려진 합동식을 더 높은 모듈러스로 확장하기 위해.
• 특수한 경우인 $x=1/2$에 대해 조화합수 $H_n(1)$를 포함하는 보다 정밀한 합동식을 확립하기 위해.

제안 방법

• 핵심 하이퍼기하급수 항등식을 증명하기 위해 Wilf-Zeilberger (WZ) 방법을 사용한다. 이는 잘린 급수의 부분합을 포함한다.
• 소수 $p^3$ 모듈로에서의 Bernoulli 다항식과 그 합동식을 활용하여 $ sum_{k=0}^{ap-1} \left( \tfrac{1}{x+k} + \tfrac{1}{1-x+k} \right)$ 형태의 합을 분석한다.
• Pochhammer 몫 $Q_p(x)$를 정의하고, 유리수 $x=r/m$에 대해 $p^2$ 모듈로에서 파데-프ermat 몫 $q_p(x)$와의 관계를 보여준다.
• Wolstenholme 정리와 Clausen-von Staudt 합동식을 적용하여 이항계수 합동식을 $p^3$ 모듈로에서 다룬다.
• 다중 조화합수 $H_n(s_1,\dots,s_d)$를 사용하여 유리함수의 고차 도함수를 표현하고, $a=2,3$에 대한 합동식을 도출한다.
• Bernoulli 다항식의 Raabe 곱셈 공식을 사용하여 $B_{p-3}(1/2)$를 $p$ 모듈로로 단순화한다.

실험 결과

연구 질문

• RQ1 어떻게 하이퍼기하급수 $ sum_{k=1}^{p-1} \frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \frac{1}{k^a}$의 잘린 급수에 대해 $p^2$ 및 $p^3$ 모듈로에서 초합동식을 확립할 수 있는가?
• RQ2 Pochhammer 몫 $Q_p(x)$의 $p$-진 구조는 무엇이며, 파데-프ermat 몫 $q_p(x)$와 어떤 관계가 있는가?
• RQ3 $\tsum_{k=1}^{p-1} \frac{(1/2)_k^2}{(1)_k^2} \cdot \frac{1}{k}$의 합은 $p^3$ 모듈로에서 조화합수로 어떻게 표현할 수 있는가?
• RQ4 다중 조화합수 $H_n(s_1,\dots,s_d)$는 하이퍼기하항과 관련된 유리함수의 $p$-진 전개에서 어떻게 나타나는가?
• RQ5 Wilf-Zeilberger 방법은 초합동식을 이끄는 항등식을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 모듈로 $p^2$에서 $a=1$인 경우, $ sum_{k=1}^{p-1} \frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \frac{1}{k} \equiv Q_p(x) + \frac{1}{2}p Q_p(x)^2 \pmod{p^2}$이며, 여기서 $Q_p(x)$는 Pochhammer 몫이다.
• 모듈로 $p$에서 $a=2$인 경우, $ sum_{k=1}^{p-1} \frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \frac{1}{k^2} \equiv -\frac{1}{2}Q_p(x)^2 \pmod{p}$이다.
• $x=1/2$인 경우, $ sum_{k=1}^{p-1} \frac{(1/2)_k^2}{(1)_k^2} \cdot \frac{1}{k} \equiv -2H_{(p-1)/2}(1) \pmod{p^3}$이며, 이는 급수를 조화합수와 연결한다.
• Pochhammer 몫은 $Q_p(1/2) \equiv -q_p(1/16) \pmod{p^2}$를 만족하며, 이는 파데-프ermat 몫과의 연결을 보여준다.
• 합 $ sum_{k=1}^{n} \frac{(-1)^k}{k^r} \binom{n}{k} \binom{n+k}{k}$는 $r=2,3$일 때 다중 조화합수 $H_n(s_1,\dots,s_d)$의 선형조합으로 표현되며, 이는 $p$-진 분석을 가능하게 한다.
• $n=(p-1)/2$를 사용하여, $H_n(1) \equiv -2q_p(2) - p q_p(2)^2 + \frac{2}{3}p^2 q_p(2)^3 + \frac{7}{12}p^2 B_{p-3} \pmod{p^3}$를 유도하였으며, 이는 주요 합동식의 검증에 핵심적이다.