[논문 리뷰] Some new series for $1/π$ and related congruences

Zhi‐Wei Sun|arXiv (Cornell University)|2011. 04. 19.

Advanced Mathematical Identities참고 문헌 13인용 수 7

한 줄 요약

이 논문은 중심 이항계수와 조합합을 포함하는 새로운 초함수 유형의 $1/\pi$ 급수를 제시하며, 관련된 $p$-진 합동식을 함께 다룬다. 이는 대수적 배수를 갖는 $1/\pi$를 도출하는 무한급수 항등식을 수립하고, 이러한 급수와 이진 이차형식에 의한 소수 표현 간의 깊은 연결 고리에 대한 추측을 제기한다. 이 추측은 모듈러 및 $p$-진 합동식 증거에 의해 뒷받침된다.

ABSTRACT

In this paper we prove some new series for $1/π$ as well as related congruences. We also raise several new kinds of series for $1/π$ and present some related conjectural congruences involving representations of primes by binary quadratic forms.

연구 동기 및 목표

• 조합합과 일반화된 초함수함수를 사용하여 $1/\pi$의 새로운 무한급수 표현을 유도하기.
• 이 급수의 부분합에 대한 $p$-진 합동식을 수립하여 소수의 산술적 성질과 연결하기.
• 이 급수의 계수와 이진 이차형식에 의한 소수 표현 간의 연결 고리 탐색하기.
• 이 급수와 관련된 다항식 수열의 $q$-볼록성에 대한 추측을 제안하고 동기를 부여하기.
• 새로운 생성함수와 변환 항등식을 도입하여 기존의 라마누잔 유형의 $1/\pi$ 급수를 확장하기.

제안 방법

• 형식 $\sum_{n=0}^\infty \frac{n}{m^n} \sum_{k=0}^n \binom{2k}{k}^2 \binom{2(n-k)}{n-k}^2$ 및 유사한 조합합의 생성함수를 분석하여 $1/\pi$의 새로운 급수를 유도한다.
• 다른 모듈러스를 가진 급수를 연결하기 위해 $\binom{n}{k}(-1)^k a_k$를 포함하는 변환 항등식을 적용하며, 생성함수 조작과 이항계수 항등식을 활용한다.
• 특히 $\sqrt{3}/\pi$, $\sqrt{2}/\pi$, $1/\pi$에 대해 초함수함수 $_2F_1$ 및 그 곱을 사용하여 급수 항등식을 표현하고 검증한다.
• 새로운 $1/\pi$ 급수의 가족을 생성하기 위해 다항식 $p_n(x) = \sum_{k=0}^n \binom{2k}{k}^2 \binom{2(n-k)}{n-k} x^{n-k}$ 를 도입한다.
• $p^2$ 및 $p^3$ 모듈로에서의 $p$-진 합동식을 사용하여 추측을 테스트하고 동기를 부여하며, 특히 $p > 3$ 인 소수에 초점을 맞춘다.
• 맥마혼과 구오의 알려진 항등식을 활용하여 $\binom{n}{k}\binom{n+2k}{2k}\binom{2k}{k}$를 포함하는 합을 알려진 세제곱 합과 모듈러 형식과 연결한다.

실험 결과

연구 질문

• RQ1 대칭적인 중심 이항계수의 곱의 합으로서 새로운 무한급수 $1/\pi$를 어떻게 구성할 수 있는가?
• RQ2 부분합의 $p$-진 합동식은 이진 이차형식에 의한 소수 표현의 산술과 어떻게 관련되는가?
• RQ3 다항식 $p_n(x)$ 의 구조는 대수적 계수를 갖는 새로운 $1/\pi$ 급수의 가족을 생성할 수 있는가?
• RQ4 변환 $a_n^* = \sum_{k=0}^n \binom{n}{k}(-1)^k a_k$ 는 기존 급수로부터 새로운 급수를 유도하는 데 어떤 역할을 하는가?
• RQ5 부분합에 대한 $p^2$ 또는 $p^3$ 모듈로 합동식은 언제 소수의 클래스 수나 형식 표현을 반영하는가?

주요 결과

• 급수 $\sum_{n=0}^\infty \frac{n}{32^n} \sum_{k=0}^n \binom{2k}{k}^2 \binom{2(n-k)}{n-k}^2 = \frac{2}{\pi}$ 가 증명되었으며, $\sqrt{3}/\pi$, $\sqrt{2}/\pi$, $1/\pi$ 에도 유사한 항등식이 존재한다.
• 홀수 소수 $p$ 에 대해 부분합 $\sum_{n=0}^{p-1} \frac{n}{32^n} \sum_{k=0}^n \binom{2k}{k}^2 \binom{2(n-k)}{n-k}^2 \equiv 0 \pmod{p^3}$ 이고, 다른 급수에 대해서도 $p^2$ 모듈로에서 유사한 합동식이 성립한다.
• 항등식 $\sum_{n=0}^\infty \frac{9n+2}{(-216)^n} \sum_{k=0}^n \binom{2k}{k}\binom{3k}{k}\binom{2(n-k)}{n-k}\binom{3(n-k)}{n-k} = \frac{8}{\sqrt{3}\pi}$ 가 확립되었다.
• 급수 $\sum_{n=0}^\infty \frac{n}{128^n} \binom{2n}{n} p_n(4) = \frac{\sqrt{2}}{\pi}$ 가 증명되었으며, 여기서 $p_n(4)$ 는 $n$ 에 대한 특정 다항식이다.
• 추측 4.5는 $p > 5$ 인 소수에 대해 부분합 $\sum_{n=0}^{p-1} \frac{n \binom{2n}{n}}{3645^n} \sum_{k=0}^n \binom{n}{k}\binom{n+2k}{2k}\binom{2k}{k} 486^{n-k} \equiv \frac{16p}{81}\left(\left(\frac{-1}{p}\right) - \left(\frac{5}{p}\right)\right) \pmod{p^2}$ 라고 제안한다.
• 추측 4.6은 $R_p^2 \equiv \frac{512(\frac{10}{p}) - 27(\frac{-15}{p}) - 475}{10} \pmod{p}$ 라고 주장하며, 여기서 $R_p$ 는 정규화된 부분합으로, 값이 레지오드 기호와 $p$-진 행동과 연결됨을 보여준다.