[논문 리뷰] Supercongruences concerning truncated hypergeometric series

Chen Wang, Hao Pan|arXiv (Cornell University)|2018. 06. 07.

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

한 줄 요약

이 논문은 정수 $ n \geq 3 $ 에 대해 $ p \equiv 1 \pmod{n} $ 라는 조건 하에, 잘린 하이퍼기하급수와 $ p $-진 감마 함수를 포함하는 두 개의 슈퍼동치를 증명한다. $ p $-진 감마 함수의 성질과 조합 항등식을 이용하여, 두 개의 추측을 확인한다: $ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $ 와 $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $.

ABSTRACT

Let $n\geq 3$ be an integer and $p$ be a prime with $p\equiv 1\pmod{n}$. In this paper, we show that $${}_nF_{n-1}\bigg[\begin{matrix} \frac{n-1}{n}&\frac{n-1}{n}&\ldots&\frac{n-1}{n}\\ &1&\ldots&1\end{matrix}\bigg | \, 1\bigg]_{p-1}\equiv -Γ_p\bigg(\frac{1}{n}\bigg)^n\pmod{p^3}, $$ where the truncated hypergeometric series $$_nF_{n-1} \bigg[\begin{matrix} x_1&x_2&\ldots&x_n\\ &y_1&\cdots&y_{n-1}\end{matrix}\bigg | \, z\bigg]_m=\sum_{k=0}^{m}\frac{z^k}{k!}\prod_{j=0}^{k-1}\frac{(x_1+j)\cdots(x_{n}+j)}{(y_1+j)\cdots(y_{n-1}+j)} $$ and $Γ_p$ denotes the $p$-adic gamma function. This confirms a conjecture of Deines, Fuselier, Long, Swisher and Tu. Furthermore, under the same assumptions, we also prove that $$p^n\cdot {}_{n+1} F_n \bigg[ \begin{matrix} 1 &1 &\ldots &1\\ &\frac{n+1}{n} &\ldots &\frac{n+1}{n} \end{matrix}\bigg | \, 1\bigg]_{p-1} \equiv -Γ_p \Bigl(\frac{1}{n} \Bigr)^n \quad(\mathrm{mod}\ {p^3}),$$ which solves another conjecture of Deines, Fuselier, Long, Swisher and Tu.

연구 동기 및 목표

• $ p \equiv 1 \pmod{n} $ 조건 하에, 잘린 하이퍼기하급수와 $ p $-진 감마 함수 사이의 슈퍼동치를 $ p^3 $ 모듈로에서 증명하는 것.
• 스케일된 잘린 하이퍼기하급수와 $ p $-진 감마 함수를 포함하는 두 번째 슈퍼동치를 확립하는 것.
• 이전에 $ p^2 $ 모듈로에서 증명된 결과를 더 강력한 $ p^3 $ 모듈로 수준으로 확장하는 것.
• $ p $-진 해석학과 조합 항등식을 활용하여 특수 하이퍼기하급수 값의 정확한 동치를 도출하는 것.
• 하이퍼기하급수, $ p $-진 특수함수, 산술 동치 사이의 깊은 연결 고리들을 검증하는 것.

제안 방법

• $ p $-진 감마 함수 $ \Gamma_p(x) $ 는 $ p $ 와 서로소인 정수들의 곱으로 정의되며, 이를 $ p $-진 정수로 확장한다.
• 일반화된 하이퍼기하급수와 상승계승계수를 포함하는 유한합을 연결하기 위해 Karlsson-Minton 항등식을 적용한다.
• $ p $-진 전개와 $ \Gamma_p $ 의 로그 도함수, 즉 $ G_1(x) = \Gamma_p'(x)/\Gamma_p(x) $ 와 $ G_2(x) = \Gamma_p''(x)/\Gamma_p(x) $ 를 사용하여, $ p^2 $ 과 $ p $ 모듈로에서 급수를 분석한다.
• 합의 역제곱과 $ p $-진 감마 도함수를 포함하는 핵심 보조 동치(정리 2.1)를 유도한다.
• 생성함수와 대칭 합 항등식을 활용하여, 특히 $ \sum_{k=0}^{p-1} \frac{(1 - n^{-1})_k^n}{(1)_k^n} \sum_{j=1}^k \frac{1}{(j - n^{-1})^2} $ 와 같은 잘린 하이퍼기하급수 항목을 $ p^3 $ 모듈로에서 다룬다.
• 변환 $ \binom{k+s}{s}^n \equiv \binom{p-1-k+m}{m}^n \pmod{p^2} $ 를 적용하고, 대칭성과 조화합 항등식을 이용하여 복잡한 합을 단순화한다.

실험 결과

연구 질문

• RQ1 $ p \equiv 1 \pmod{n} $ 조건 하에, 잘린 하이퍼기하급수 $ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} $ 이 동치 $ \equiv -\Gamma_p(1/n)^n \pmod{p^3} $ 를 만족하는가?
• RQ2 동일한 조건 하에, 스케일된 하이퍼기하급수 $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} $ 이 $ -\Gamma_p(1/n)^n \pmod{p^3} $ 와 동치인가?
• RQ3 $ p $-진 감마 함수의 로그 도함수를 사용하여 하이퍼기하급수 합에 대한 고차 동치를 유도할 수 있는가?
• RQ4 매개수 $ \frac{n-1}{n} $ 과 $ 1 $ 을 가진 잘린 하이퍼기하급수의 정확한 $ p^3 $ 수준 행동은 무엇인가?
• RQ5 $ \frac{1}{j - n^{-1}} $ 과 $ \frac{1}{j} $ 을 포함하는 대칭 합이 $ p $-진 동치의 맥락에서 어떻게 상호작용하는가?

주요 결과

• Deines 등의 첫 번째 추측이 확인되었다: $ n \geq 3 $, $ p \equiv 1 \pmod{n} $ 일 때 $ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $.
• 두 번째 추측이 증명되었다: 동일한 조건 하에 $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $.
• 핵심 보조 동치가 확립되었다: $ \sum_{k=0}^{p-1} \frac{(1 - n^{-1})_k^n}{(1)_k^n} \sum_{j=1}^k \frac{1}{(j - n^{-1})^2} \equiv \Gamma_p(1/n)^n \left( G_2(1/n) - G_1(1/n)^2 \right) \pmod{p} $, 여기서 $ G_1, G_2 $ 는 $ \Gamma_p $ 의 로그 도함수이다.
• 증명은 $ \Gamma_p $ 와 그 도함수의 $ p $-진 전개에 기반하며, 특히 $ G_1 $ 은 $ p^2 $ 모듈로, $ G_2 $ 는 $ p $ 모듈로에서 분석한다. 이는 $ \Gamma_p(x) $ 의 극한 정의를 사용한다.
• 저자들은 $ i $ 와 $ i - n^{-1} $ 을 포함하는 조화수 유사 합의 차이가 $ p $ 모듈로에서 0이 되며, 이는 핵심 동치에서 상쇄를 가능하게 한다고 보여준다.
• 이전의 $ p^2 $ 수준 동치 결과를 $ p^3 $ 수준으로 확장하여, 유한체 위에서 하이퍼기하급수에 대한 더 깊은 산술적 구조를 확인한다.