[논문 리뷰] Supercongruences and hypergeometric transformations

Chen Wang|arXiv (Cornell University)|2020. 03. 22.

Advanced Mathematical Identities인용 수 2

한 줄 요약

이 논문은 두 개의 수의 추측적 초합동을 증명한다. 이는 제곱된 중심 이항계수의 곱의 합을 유리 초함수 급수와 연결하는 ${}_4F_3$ 초함수 변환 항등식을 사용한다. 소수 $p > 3$에 대해, 이 합은 오일러 수 $E_{p-3}$와 레지스터 계수 $(-1)^{(p-1)/2}$와 모듈로 $p^4$로 연결된 합동을 가지며, 초함수 유형의 합의 깊은 산술적 성질을 확인한다.

ABSTRACT

In this paper, we mainly prove two conjectural supercongruences of Sun by using the following identity $$ \sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2=16^n\sum_{k=0}^n\frac{\binom{n+k}{k}\binom{n}{k}\binom{2k}{k}^2}{(-16)^k} $$ which arises from a ${}_4F_3$ hypergeometric transformation. For any prime $p>3$, we prove that \begin{gather*} \sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+5p^3E_{p-3}\pmod{p^4}, \sum_{n=0}^{p-1}\frac{2n+1}{(-16)^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+3p^3E_{p-3}\pmod{p^4}, \end{gather*} where $E_{p-3}$ is the $(p-3)$th Euler number.

연구 동기 및 목표

• 수의 추측적 초합동을 증명한다. 이는 제곱된 중심 이항계수의 곱의 합을 포함한다.
• 소수 $p > 3$에 대해 이러한 합에 대해 모듈로 $p^4$의 산술 합동을 수립한다.
• 유도된 합동을 오일러 수 $E_{p-3}$와 레지스터 계수 $(-1)^{(p-1)/2}$와 연결한다.

제안 방법

• ${}_4F_3$ 변환을 통해 $\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$를 유리 초함수 급수와 연결하는 핵심 항등식을 유도한다.
• 유도된 항등식을 사용하여 합을 $\sum_{k=0}^n\frac{\binom{n+k}{k}\binom{n}{k}\binom{2k}{k}^2}{(-16)^k}$ 형태로 표현한다.
• $p$-진 분석과 모듈로 $p^4$에서의 이항계수의 알려진 성질을 적용하여 $n = 0$에서 $p-1$까지의 합을 평가한다.
• 조화합과 베르누이 수의 알려진 합동을 활용하여 결과를 오일러 수 $E_{p-3}$와 연결한다.
• 레지스터 계수 $(-1)^{(p-1)/2}$를 사용하여 최종 합동에서 $p \mod 4$에 따른 부호 의존성을 기록한다.
• 대수적 변환과 초함수 급수의 알려진 $p$-진 항등식을 통해 모듈로 $p^4$에서의 합동을 검증한다.

실험 결과

연구 질문

• RQ1 초함수 변환 항등식은 어떻게 제곱된 중심 이항계수의 합을 포함하는 초합동을 증명하는 데 사용될 수 있는가?
• RQ2 $\sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$의 $p$-진 행동은 모듈로 $p^4$에서 어떻게 되는가?
• RQ3 오일러 수 $E_{p-3}$는 소수 $p > 3$에 대해 이러한 초함수 합의 합동 구조에서 어떻게 나타나는가?
• RQ4 합동의 부호는 $(-1)^{(p-1)/2}$를 통해 표현될 수 있는가? 이는 $p$의 이차 잔여성의 반영이다.
• RQ5 분모가 $(-16)^n$인 합의 교대형 버전에 대한 정확한 초합동 형태는 무엇인가?

주요 결과

• 모든 소수 $p > 3$에 대해, 합 $\sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$는 모듈로 $p^4$에서 $(-1)^{(p-1)/2}p + 5p^3E_{p-3}$와 합동이다.
• 합 $\sum_{n=0}^{p-1}\frac{2n+1}{(-16)^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$는 모듈로 $p^4$에서 $(-1)^{(p-1)/2}p + 3p^3E_{p-3}$와 합동이다.
• 오일러 수 $E_{p-3}$는 둘 다의 초합동에 명시적으로 나타나며, 합이 베르누이 수와 오일러 수의 산술적 성질과 연결됨을 보여준다.
• 선형 항 $p$의 부호는 $(-1)^{(p-1)/2}$에 의해 결정되며, 이는 $p$가 모듈로 4에서 이차 잔여수인지 여부를 반영한다.
• 결과는 두 가지 다른 표현 방식을 연결하는 비트리비얼한 ${}_4F_3$ 초함수 변환 항등식을 사용하여 도출되었다.
• 합동은 모듈로 $p^4$에서 성립하며, 이는 모듈로 $p$나 $p^2$를 넘는 깊은 산술적 구조를 나타낸다.