[논문 리뷰] Mosaic supercongruences of Ramanujan-type

Jesús Guillera|arXiv (Cornell University)|2010. 07. 14.

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

한 줄 요약

이 논문은 제타만주 유형 초함수 급수에서 합항과 급수 매개변수 양쪽에 모두 대수적 수, 특히 제곱근을 포함하는 경우에 대해 '모자이크 초합동식'을 도입한다. 이는 파라미터가 $ p^3 $ 모듈로에서 자코비 기호와 유리 계수와 관련된 초합동식을 보이는 부분합을 포함하며, 주로 반데일린과 반 하임의 패턴을 다중제곱수 필드로 일반화한다.

ABSTRACT

We generalize the patterns of supercongruences of Ramanujan-type observed by L. Van Hamme and W. Zudilin to series involving simple square roots anywhere and not only in the result of the sum. To support our observations we give some examples.

연구 동기 및 목표

• 라마누잔 유형 급수에서 대수적 수, 특히 제곱근이 합의 결과뿐 아니라 합항에도 나타나는 경우에 대해 반데일린과 반 하임이 관찰한 초합동식 패턴을 일반화한다.
• 여러 제곱근 $ \sqrt{d_1}, \dots, \sqrt{d_j} $을 포함하는 초함수 급수에서 유리 계수와 함께 초합동식을 통합적으로 다룰 수 있는 프레임워크를 수립한다.
• 1/\pi^2 유형 급수에 대해 유사한 모자이크 초합동식을 추측하고 지원하며, 반데일린의 패턴을 $ p $ 의 고차항 모듈로로 확장한다.

제안 방법

• 다항식 $ \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_j}) $ 에서 라마누잔-사토 유형 급수의 부분합을 정의하고, 유리 계수 $ \alpha_i(p) $ 를 가진 제곱근의 선형 조합으로 표현한다.
• 새로운 초합동식 패턴을 제안한다: $ p > p_0 $ 인 소수 $ p $ 에 대해 각 계수 $ \alpha_i(p) \equiv a_i \genfrac{(}{)}{0.8pt}{}{-d_i}{p} p \pmod{p^3} $ 를 만족하며, 여기서 $ a_i $ 는 상수항에서 $ \sqrt{d_i} $ 의 유리 계수이다.
• 복소 대수적 매개변수를 포함하는 알려진 라마누잔 유형 급수(예: $ \sqrt{7}, \sqrt{-1}, \sqrt{5} $, 그리고 $ \sqrt{6} = \sqrt{2} \cdot \sqrt{3} $ 와 같은 곱)를 대상으로 프레임워크를 적용하여 수치적으로 패턴을 검증한다.
• 반데일린의 번역 방법과 모듈라 형식을 활용하여 기존 급수로부터 새로운 급수를 생성하며, 초합동식의 구조를 유지한다.
• 아페리, 도브, 알름키스트-즈디린 수열 등 여러 예시에 대해 다양한 대수적 수 필드에서 초합동식을 수치적으로 검증한다.
• 1/\pi^2 유형 급수로 패턴을 일반화하여, 계수들이 급수 전개의 상수항과 일차항과 일치하며 $ p^5 $ 모듈로에서 초합동식이 성립함을 보인다.

실험 결과

연구 질문

• RQ1 라마누잔 유형 급수에서 $ 1/\pi $ 의 초합동식 패턴이 합의 결과뿐 아니라 합항에도 대수적 수(예: 제곱근)가 포함되는 경우로 확장될 수 있는가?
• RQ2 다중제곱수 필드 $ \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_j}) $ 에 속하는 이러한 급수의 부분합이 자코비 기호와 유리 계수를 포함한 $ p^3 $ 모듈로에서 초합동식을 만족하는가?
• RQ3 $ 1/\pi^2 $ 유형 급수에 대한 반데일린 유형 초합동식 패턴이 대수적 매개변수를 포함하도록 $ p^5 $ 모듈로로 일반화될 수 있는가?
• RQ4 이러한 모자이크 초합동식이 다양한 수체에서 성립하는 이유를 설명할 수 있는 통합적인 대수적 구조(예: 갈루아 불변성 또는 모듈라 형식 기반 메커니즘)가 존재하는가?
• RQ5 이 방법은 $ \sqrt[3]{d} $ 와 같은 고차 대수적 수나 더 복잡한 대수적 정수를 포함하는 급수로 확장될 수 있는가?

주요 결과

• $ \sqrt{15} $ 를 포함하는 급수에서 부분합은 $ p^3 $ 모듈로에서 $ \alpha_p \equiv 263 \genfrac{(}{)}{0.8pt}{}{-15}{p} p \pmod{p^3} $ 를 만족하며, 반데일린의 기존 결과와 일치한다.
• $ \sqrt{7} $ 를 기반으로 한 급수에서 계수 $ \alpha_p \equiv -10 \genfrac{(}{)}{0.8pt}{}{-1}{p} p $ 과 $ \beta_p \equiv 7 \genfrac{(}{)}{0.8pt}{}{-7}{p} p \pmod{p^3} $ 가 성립하여 모자이크 패턴을 확인한다.
• $ \sqrt{3} $ 와 $ \sqrt{15} $ 를 포함하는 아페리 기반 급수에서 $ p > 5 $ 인 경우 $ \alpha_p \equiv -134 \genfrac{(}{)}{0.8pt}{}{-3}{p} p $ 과 $ \beta_p \equiv 60 \genfrac{(}{)}{0.8pt}{}{-15}{p} p \pmod{p^3} $ 이 성립한다.
• $ \sqrt{2}, \sqrt{3}, \sqrt{6} $ 를 포함하는 네 제곱근 급수에서 계수들은 $ \alpha_p \equiv 73 \genfrac{(}{)}{0.8pt}{}{-1}{p} p $, $ \beta_p \equiv 52 \genfrac{(}{)}{0.8pt}{}{-2}{p} p $, $ \gamma_p \equiv -42 \genfrac{(}{)}{0.8pt}{}{-3}{p} p $, $ \delta_p \equiv -30 \genfrac{(}{)}{0.8pt}{}{-6}{p} p \pmod{p^3} $ 를 만족한다.
• $ \sqrt{-1} $ 와 $ \sqrt{7} $ 를 포함하는 복소 급수에서 수치적으로 $ \alpha_p \equiv -13p $ 과 $ \beta_p \equiv 7 \genfrac{(}{)}{0.8pt}{}{-7}{p} p \pmod{p^3} $ 이 확인된다.
• $ \sqrt{5} $ 를 포함하는 $ 1/\pi^2 $ 유형 급수에서 계수들은 $ \alpha_p \equiv 56p^2 \pmod{p^5} $ 과 $ \beta_p \equiv -25 \genfrac{(}{)}{0.8pt}{}{5}{p} p^2 \pmod{p^5} $ 를 만족하며, 반데일린의 $ p^5 $ 패턴을 일반화한다.