[논문 리뷰] Some supercongruences occurring in truncated hypergeometric series

Линг Лонг, Ravi Ramakrishna|arXiv (Cornell University)|2014. 03. 20.

Advanced Mathematical Identities참고 문헌 14인용 수 8

한 줄 요약

이 논문은 고전적 초함수 변환 항등식을 사용하여 잘린 초함수 급수와 p진 감마 함수 곱 사이의 새로운 초합동식을 증명한다. 종결하는 초함수 급수를 감마 함수 비율로 표현하고 이를 p진 감마 함수 몫으로 환원함으로써, 교환 법칙에 의해 예측되는 것보다 더 강한 합동식을 확립한다. 이는 Kibelbek의 추측을 증명하고, p ≡ 1 mod 4인 경우 van Hamme의 추측을 강화한 것이다.

ABSTRACT

For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades or centuries old, allow us to write the terminating series as the ratio of products of of $Γ$-values. At this point sums have become quotients. Writing these $Γ$-quotients as $Γ_p$-quotients, we are in a situation that is well-suited for proving $p$-adic congruences. These $Γ_p$-functions can be $p$-adically approximated by their Taylor series expansions. Sometimes there is cancelation of the lower order terms, leading to stronger congruences. Using this technique we prove, among other things, a conjecture of Kibelbek and a strengthened version of a conjecture of van Hamme.

연구 동기 및 목표

• 공통 형식군 법칙에 의해 암시되는 것보다 더 강한, 잘린 초함수 급수와 p진 감마 함수 몫 사이의 초합동식을 확립하는 것.
• 특정 초함수 초합동식에 관한 Kibelbek의 추측을 증명하는 것.
• p ≡ 1 mod 4인 소수에 대해 van Hamme의 초함수 초합동식 추측을 더 강화된 형태로 제시하는 것.
• 고전적 초함수 변환 공식이 감마 함수 항등식과 p진 전개를 통해 효과적으로 p진 합동식을 유도하는 데 사용될 수 있음을 보여주는 것.

제안 방법

• 클라우젠의 공식과 푸아프의 변환을 포함한 고전적 초함수 변환 공식을 사용하여 종결하는 초함수 급수를 감마 함수의 곱으로 변환한다.
• 얻어진 감마 함수 비율을 p진 감마 함수 Γp의 몫으로 표현한다.
• Γp의 p진 테일러 급수 전개를 적용하여 p의 고차수 모듈로에서 합동식을 도출한다.
• 쿠머의 이차 변환과 가우스의 합공식을 사용하여 서로 다른 인자에서의 초함수 급수를 연결한다.
• p진 감마 함수의 반사성과 곱셈성질을 활용하여 Γp 표현식을 단순화하고 비교한다.
• 윌프-자일버거 방법을 암시적으로 활용하여 항등식 검증을 수행하며, 특히 칼리손의 표에 기록된 변환들에 대한 검증에 중점을 둔다.

실험 결과

연구 질문

• RQ1 고전적 초함수 항등식을 사용하여, 공통 형식군 법칙에 의해 예측되는 것보다 더 강한 초합동식을 도출할 수 있는가?
• RQ2 Kibelbek의 초함수 초합동식 추측이 λ = -1/8에서 p^{2r} 모듈로로 성립하는가?
• RQ3 감마 함수 항등식을 사용하여 p ≡ 1 mod 4인 경우 van Hamme의 초합동식을 더 높은 p степene 모듈로로 강화할 수 있는가?
• RQ4 p진 전개에서 Γp의 상쇄 효과가 잘린 초함수 급수의 더 강한 합동식을 유도하는 데 얼마나 기여하는가?
• RQ5 초함수 함수의 변환 이론을 어떻게 활용하여 특정 매개변수 선택에 대해 p진 합동식을 증명할 수 있는가?

주요 결과

• 저자들은 van Hamme의 추측을 강화한 형태로 증명하여, p ≡ 1 mod 4인 경우 초합동식이 기존의 p^r 모듈로가 아닌 p^{2r} 모듈로에서 성립함을 보였다.
• Kibelbek의 추측이 확인되었다: p ≡ 1 mod 4 이고 a = (1-p)/2일 때, λ = -1/8에서의 3F2 초함수 급수는 p진 감마 함수 곱과 초합동임을 입증하였다.
• a = (1-p)/2일 때, 항등식 3F2[ (3a-1,a,1-a); (2a,a+1/2); -1/8 ] = 2^{3a} (Γ(a+1/2)Γ(a/2)/(Γ(3a/2)Γ(1/2)))^2 가 p진 설정에서 성립함을 보였으며, 이는 p진 합동식을 유도한다.
• p ≡ 1 mod 4일 때, λ = -1/8에서의 3F2 급수 값이 -2^{3(p-1)/2} (Γp(1-p)Γp((1+3p)/4)Γp((1+p)/4))^2 모듈로 p^{2r}과 합동임을 보였다.
• 변환을 통해 Γp-몫으로 변환한 후 p진 감마 함수의 테일러 전개에서의 상쇄 효과를 활용하여, 고차수 p진 합동식을 성공적으로 도출하였다.
• 증명 기법은 고전적 초함수 항등식이 p진 분석과 결합될 경우, 형식군 법칙 방법으로만 확보할 수 있는 것보다 더 강한 합동식을 도출할 수 있음을 보여주었다.