[논문 리뷰] Some supercongruences modulo $p^2$

Zhi-Hong Sun|arXiv (Cornell University)|2011. 01. 05.

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

한 줄 요약

이 논문은 이항계수의 곱을 포함하는 잘린 하이퍼기하급수 유형의 합에 대해 일반적인 초합동식을 $p^2$ 모듈로로 수립하며, 특정 생성함수의 제곱이 원래 합의 변형된 형태와 $p^2$ 모듈로 일치함을 증명한다. 주요 기여는 $p^2$ 모듈로에서 Zhi-Wei Sun의 초합동식에 대한 여러 추측을 통합된 프레임워크로 증명한 것으로, 이는 계수수와 허수 정수환에서의 소수의 제곱합 또는 노름으로의 표현과 관련된 경우를 포함한다.

ABSTRACT

Let $p>3$ be a prime, and let $m$ be an integer with $p mid m$. In the paper we prove some supercongruences concerning $$\align &\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{54^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{4k}{2k}}{128^k},\ \sum_{k=0}^{p-1}\frac{\binom{3k}k\binom{6k}{3k}}{432^k}, &\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{3k}{k}}{m^k}, \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k},\ \sum_{k=0}^{p-1}\f{\binom{2k}k\binom{3k}{k}\binom{6k}{3k}}{m^k}\mod {p^2}.\endalign$$ Thus we solve some conjectures of Zhi-Wei Sun and the author.

연구 동기 및 목표

• 형태 $\sum_{k=0}^{p-1} \binom{2k}{k}^2 \binom{3k}{k} (x(1-27x))^k$의 잘린 합에 대해 $p^2$ 모듈로의 초합동식 가족을 증명한다.
• 이러한 합이 $p^2$ 모듈로 더 단순한 생성함수의 제곱과 합동임을 보여주는 일반적인 항등식을 수립한다.
• Zhi-Wei Sun이 제기한 $\binom{2k}{k}^2 \binom{3k}{k}/m^k$, $\binom{2k}{k}^2 \binom{4k}{2k}/m^k$, 및 $\binom{2k}{k}\binom{3k}{k}\binom{6k}{3k}/m^k$ 형태의 초합동식을 $p^2$ 모듈로로 검증한다.
• 클래스 수와 야코비 기호 조건을 통해 소수의 표현 방식, 즉 $p = a^2 + 3b^2$, $p = c^2 + 2d^2$, 및 $4p = x^2 + 19y^2$와 같은 산술적 성질과 연결한다.
• 기존의 $p$ 모듈로에 대한 부분적인 결과를 고급 $p$-진 기법과 재귀 항등식을 사용하여 $p^2$ 모듈로로 확장하고 확인한다.

제안 방법

• 생성함수 변환과 이항계수 항등식을 사용하여 일반적인 합동식 항등식을 유도한다: $\sum_{k=0}^{p-1} \binom{2k}{k}^2 \binom{3k}{k} (x(1-27x))^k \equiv \left( \sum_{k=0}^{p-1} \binom{2k}{k} \binom{3k}{k} x^k \right)^2 \pmod{p^2}$.
• WZ 방법과 수학 소프트웨어(예: Mathematica)를 활용하여 이항계수의 콘볼루션 항등식을 포함하는 핵심 조합론적 보조정리를 증명한다.
• $p$-진 값매김과 약수성 논증을 적용한다: $k > p/3$이면 $\binom{3k}{k} \equiv 0 \pmod{p}$이고, $k > 2p/3$이면 $\binom{3k}{k}^2 \equiv 0 \pmod{p^2}$이므로, $p^2$ 모듈로에서 합을 잘라내고 단순화한다.
• 이전 연구에서 알려진 $p$ 모듈로의 결과들(예: [S3])을 기반으로 하여 주요 항등식과 대수적 변환을 통해 $p^2$ 모듈로로 승격시킨다.
• 특정 $x$ 및 $m$ 값, 예를 들어 $m = 1728$, $m = 864$, $m = -96$에 대해 주요 항등식을 적용하여 Sun의 추측을 복원하고 증명한다.
• 야코비 기호와 클래스 수 조건을 사용하여 최종 합동 결과를 허수 이차형식에서의 소수 표현 형태로 표현한다.

실험 결과

연구 질문

• RQ1 Rodriguez-Villegas와 Zhi-Wei Sun이 제기한 형식 $\sum_{k=0}^{p-1} \binom{2k}{k}^2 \binom{3k}{k}/m^k$의 초합동식 추측을 $p^2$ 모듈로에서 통합된 대수적 프레임워크로 증명할 수 있는가?
• RQ2 $p^2$ 모듈로에서 생성함수의 제곱과 원래 합의 변형된 형태 사이에 일반적인 항등식이 존재하는가?
• RQ3 $m$과 소수 $p$에 대해 $\sum_{k=0}^{p-1} \binom{2k}{k}^2 \binom{3k}{k}/m^k \equiv 0 \pmod{p^2}$가 성립하는 경우는 언제이며, 이는 소수를 제곱합 또는 허수 이차형식에서의 노름으로 표현하는 것과 어떻게 관련되는가?
• RQ4 $\binom{2k}{k}\binom{3k}{k}\binom{6k}{3k}/m^k$ 형태의 추측된 초합동식이 대수적 항등식과 $p$-진 분석을 통해 기존 결과로 축소될 수 있는가?
• RQ5 $p \equiv 1 \pmod{12}$일 때, 합 $\sum_{k=0}^{p-1} \binom{3k}{k}\binom{6k}{3k}/864^k$의 정확한 $p$-진 승격은 무엇이며, 이는 클래스 수 또는 야코비 기호와 어떻게 관련되는가?

주요 결과

• 모든 소수 $p > 3$와 변수 $x$에 대해 다음 항등식이 성립한다: $\sum_{k=0}^{p-1} \binom{2k}{k}^2 \binom{3k}{k} (x(1-27x))^k \equiv \left( \sum_{k=0}^{p-1} \binom{2k}{k} \binom{3k}{k} x^k \right)^2 \pmod{p^2}$로, 기본적인 합동식을 제공한다.
• $p \equiv 2 \pmod{3}$일 때, $\sum_{k=0}^{p-1} \frac{\binom{2k}{k}^2 \binom{3k}{k}}{(-192)^k} \equiv 0 \pmod{p^2}$라는 추측이 증명되었으며, $p \equiv 1 \pmod{3}$이고 $4p = L^2 + 27M^2$일 경우 합은 $L^2 - 2p \pmod{p^2}$와 같다.
• $\left(\frac{p}{19}\right) = -1$일 때 $\sum_{k=0}^{p-1} \frac{(6k)!}{(-96)^{3k}(3k)!k!^3} \equiv 0 \pmod{p^2}$라는 추측이 확인되었으며, $\left(\frac{p}{19}\right) = 1$이고 $4p = x^2 + 19y^2$일 경우 합은 $\left(\frac{-6}{p}\right)(x^2 - 2p) \pmod{p^2}$와 같다.
• $\sum_{k=0}^{p-1} \frac{\binom{2k}{k}\binom{3k}{k}\binom{6k}{3k}}{1728^k} \equiv \left( \sum_{k=0}^{p-1} \frac{\binom{3k}{k}\binom{6k}{3k}}{864^k} \right)^2 \pmod{p^2}$라는 결과가 확립되어 Sun의 추측 A44의 증명이 가능해졌다.
• $p \equiv 3,5,6 \pmod{7}$일 때 $\sum_{k=0}^{p-1} \frac{\binom{2k}{k}\binom{3k}{k}\binom{6k}{3k}}{(-15)^{3k}} \equiv 0 \pmod{p^2}$가 검증되었으며, $m = -32$, $-960$, $-5280$, $-640320$에 대해서도 각각의 상호법칙 조건 하에서 유사한 결과가 성립한다.
• $p \equiv 2 \pmod{3}$일 때 $\sum_{k=0}^{p-1} \frac{\binom{2k}{k}\binom{3k}{k}\binom{6k}{3k}}{54000^k} \equiv 0 \pmod{p^2}$임을 확인하여 Sun의 추측 A9를 확인하였다.