[논문 리뷰] Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences

Edinah K. Gnang, Doron Zeilberger|arXiv (Cornell University)|2013. 06. 27.

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

한 줄 요약

이 논문은 모듈라 형식과 자코비의 타우 함수 항등식을 사용하여 마이클 히르슈혼의 초등적이고 라마누잔 스타일의 분할 합동 증명 기법을 일반화한다. 이를 통해 메이플 패키지 HIRSCHHORN과 BOYLAN을 활용한 계산 알고리즘을 도입하여 소수 모듈로에서 분할 함수 $ p_{-a}(n) $에 대한 라마누잔 스타일의 합동을 자동으로 증명하며, 히르슈혼의 방법을 모든 알려진 합동으로 확장하고 그린 기저와 유한체 위의 특수화를 통해 새로운 합동의 자동 탐색 및 검증을 가능하게 한다.

ABSTRACT

When Mike Hirschhorn showed us his lovely gem, that gives the simplest-to-date proof of Ramanujan's famous result that p(11n+6) is divisible by 11, we realized that his amazing method can be extended, and taught to a computer, and can prove even deeper identities. We would have done much more if not for the existence of Silviu Radu's powerful algorithm that handle any Ramanujan type congruence for any modular form (of a very general type), but it is still nice to know that in order to prove such simply stated results, that can be explained to a seven-year-old, one does not need the intimidating edifice of the "web of modularity", that Ramanujan never mastered, and probably would not have liked.

연구 동기 및 목표

• 마이클 히르슈혼의 분할 합동에 대한 초등적이고 라마누잔 스타일의 증명 방법을 모든 라마누잔 스타일의 합동을 다룰 수 있는 일반적이고 알고리즘 기반의 프레임워크로 확장하는 것.
• 소수 모듈로에서 $ p_{-a}(n) $에 대한 라마누잔 스타일의 합동을 자동으로 생성하고 검증할 수 있는 계산 도구를 개발하는 것.
• 라마누잔의 모듈라 함수 알고리즘으로 증명 가능한 모든 알려진 합동이 맥도널드 항등식 기반의 히르슈혼 스타일 항등식을 통해도 증명 가능하다는 것을 증명하는 것.
• 새로운 무한한 합동의 가족을 체계적으로 발견할 수 있는 컴퓨터 보조 방법을 제공하는 것.
• 분할 합동에 대한 증명과 정리 생성을 자동화하기 위해 HIRSCHHORN 및 BOYLAN 메이플 패키지를 구현하고 배포하는 것.

제안 방법

• Euler와 Jacobi의 무한곱 항등식, 특히 $ E(q)^3 = \textstyle\bigsum_{n=0}^\infty (-1)^n (2n+1) q^{(n^2+n)/2} $을 활용하여 $ E(q)^3 $을 소수 $ \ell $ 모듈로에서 지수 $ \ell $ 모듈로에 따라 구성요소 $ J_i $로 분해한다.
• 모든 형식적 멱급수 $ f(q) $에 대해 $ f(q)^\ell \equiv f(q^\ell) \pmod{\ell} $ 라는 항등식을 적용하여 $ E(q)^{-1} $을 소수 $ \ell $ 모듈로에서 유리함수로 줄이고, 분자에 $ J_0 + J_1 + \cdots $ 의 거듭제곱을 포함시킨다.
• 생성함수와 다항식 계수 추출 기법 $ \text{Coeff}_{t^r} $ 를 사용하여 $ (J_0 + J_1 t + J_3 t^3 + \cdots)^k \pmod{t^\ell - 1} $ 에서 지수 $ \equiv r \pmod{\ell} $ 인 항을 분리한다.
• 유한체 $ \mathbb{F}_\ell $ 위에서 그린 기저 기법을 활용하여 이상의 소속을 검증한다: $ q^{\ell n + r} $ 에 해당하는 문제의 계수 $ POL $ 이 $ (J_0 + J_1 t + \cdots)^4 \pmod{\ell} $ 에서 유도된 $ Q_m $ 다항식들로 생성하는 이상에 속해 있는 지를 확인한다.
• 크기가 큰 소수 $ \ell > 11 $ 에서는 전체 그린 기저 계산이 실패하므로, 변수 $ J_i $ 의 특수화를 통해 복잡도를 줄이고, TerseMikeProofGviaSC 등의 절차를 통해 처리한다.
• 메이플 패키지 HIRSCHHORN 을 사용하여 전체 과정을 자동화하며, 증명과 정리를 수초 내로 생성하고, BOYLAN 패키지를 통해 $ a $ 가 399 이하일 때까지 $ p_{-a}(n) $ 로 확장한다.

실험 결과

연구 질문

• RQ1 히르슈혼의 초등적 증명 기법, 즉 $ p(11n+6) \equiv 0 \pmod{11} $ 를 일반화하여 모든 라마누잔 스타일의 분할 합동을 증명할 수 있는 체계적이고 알고리즘 기반의 프레임워크로 확장할 수 있는가?
• RQ2 라마누잔 스타일의 합동이 라두의 모듈라 함수 알고리즘으로 증명 가능한 경우, 고급 모듈라 형식을 사용하지 않고도 맥도널드와 윈크베르그의 초등 항등식만으로 재증명할 수 있는가?
• RQ3 메이플 같은 계산 대수 시스템을 사용하여 새로운 라마누잔 스타일의 합동을 자동으로 탐색하고 검증할 수 있는가?
• RQ4 히르슈혼 스타일의 증명을 통해 무한한 합동의 가족을 구성할 수 있으며, 그러한 합동이 존재하기 위한 $ \ell $ 과 $ a $ 의 구조적 조건은 무엇인가?
• RQ5 큰 소수 $ \ell $ 에서의 계산 한계는 어떻게 극복할 수 있으며, 특수화와 유한체 위의 그린 기저를 유지하면서도 엄밀성을 보장할 수 있는가?

주요 결과

• HIRSCHHORN 메이플 패키지는 $ p(5n+4) \equiv 0 \pmod{5} $, $ p(7n+5) \equiv 0 \pmod{7} $, $ p(11n+6) \equiv 0 \pmod{11} $ 와 같은 모든 알려진 라마누잔 스타일의 합동을 3초 이내로 성공적으로 증명한다.
• $ \ell = 17 $ 에서 표준 히르슈혼 설정을 사용할 경우 $ p_{-3}(17n+15) \equiv 0 \pmod{17} $ 를 증명하지 못하지만, 이는 $ POL $ 이 $ Q_m $ 이론에 속하지 않기 때문이며, 이는 고차수 항등식이 필요함을 시사한다.
• 다음 맥도널드 항등식(윈크베르그 항등식)을 사용할 경우, $ p_{-3}(17n+15) \equiv 0 \pmod{17} $ 를 성공적으로 증명할 수 있으며, 이는 이러한 증명이 존재하지만 첫 두 항등식을 초월해야 한다는 것을 확인한다.
• BOYLAN 패키지는 매튜 보일란의 정리 1.3($ a \leq 47 $) 을 2초 이내로 재현하고, $ a = 399 $ 으로 확장하여 수백 개의 새로운 합동을 생성한다.
• 논문은 $ \ell \equiv 7,11 \pmod{12} $ 인 소수 $ \ell $ 와 $ r = (\ell - 6)/24 \pmod{\ell} $ 에 대해 무한한 합동의 가족 $ p_{-(\ell-6)}(\ell n + r) \equiv 0 \pmod{\ell} $ 에 대한 라마누잔 스타일의 증명을 개략적으로 제시하며, 이는 유한체 모듈로에서의 합집합 집합에 관한 조합론적 보조정리에 기반한다.
• 저자들은 $ POL $ 이 $ Q_m $-이상에 속해 있음을 사전에 보장할 수는 없지만, 그린 기저 또는 특수화를 통해 계산적으로 검증 가능하며, 성공한 경우 이러한 증명은 완전히 엄밀하다는 것을 보여준다.