[논문 리뷰] Distribution of the partition function modulo m

Ken Ono|ArXiv.org|2000. 08. 17.

Advanced Mathematical IdentitiesMathematics참고 문헌 16인용 수 18

한 줄 요약

이 논문은 모든 소수 m ≥ 5에 대해, 모든 ℓ와 서로소인 n에 대해 p(mℓ³n + 1/24) ≡ 0 (mod m)를 만족하는 소수 ℓ의 양적 비율이 양수임을 증명한다. 모듈라 형식과 쌀라 대응을 이용하여 에르되시의 추측(어느 p(n)을 나누는 소수가 무한히 많다)을 증명하고, 3을 제외한 모든 소수 m < 1000에 대해 뉴먼의 추측을 확인한다. 이는 '라마누잔 사이클'—모듈로 m에서 최종적으로 주기적인 생성 함수—의 발견을 통해 이루어졌다.

ABSTRACT

Ramanujan (and others) proved that the partition function satisfies a number of striking congruences modulo powers of 5, 7 and 11. A number of further congruences were shown by the works of Atkin, O'Brien, and Newman. In this paper we prove that there are infinitely many such congruences for every prime modulus exceeding 3. In addition, we provide a simple criterion guaranteeing the truth of Newman's conjecture for any prime modulus exceeding 3 (recall that Newman's conjecture asserts that the partition function hits every residue class modulo a given integer M infinitely often).

연구 동기 및 목표

• 모든 소수 m에 대해 p(an + b) ≡ 0 (mod m)를 만족하는 라마누잔 유형의 합동식이 유한한지 무한한지에 대한 오랜 논쟁을 해결한다.
• 에르되시의 추측을 증명한다: 모든 소수 m에 대해 p(n) ≡ 0 (mod m)를 만족하는 적어도 하나의 n이 존재한다.
• 뉴먼의 추측을 검증한다: 모든 소수 m에 대해, p(n) mod m에서 각 잔여류 mod m가 유한번 이상 나타난다.
• ‘라마누잔 사이클’—분할 함수에 대한 모듈로 m에서 최종적으로 주기적인 생성 함수—의 존재를 확립한다.
• 모듈라 형식을 이용하여 p(n) mod m의 분포를 분석하는 통일적이고 체계적인 프레임워크를 제공한다.

제안 방법

• 반정수 스피너 형식 이론과 그 소수 m에 대한 환원을 활용하여, 생성 함수 F(m,k;z) 가 F_m 위의 유한차원 공간에 속함을 보인다.
• 쌀라 대응을 적용하여 분할 함수 mod m를 무게 (m²−m−1)/2, 네벤티푸스 특성을 가진 측도형식과 연결한다.
• 스투르름의 정리를 이용하여 푸리에 계수의 유한한 계산을 통해 모듈라 형식 간의 합동식을 검증한다.
• 모듈라 형식에서 U-연산자와 T-연산자의 작용을 이용하여 k 증가에 따른 F(m,k;z)의 수열에서의 주기성을 분석한다.
• 특정 초기 조건이 mod m에서 잔여류를 전부 커버할 수 있도록 보장하는 '좋은 소수' m의 개념을 도입한다.
• 하글랑드와 헤이날이 개발한 계산 도구를 활용하여, 모든 소수 m < 1000(3을 제외한)이 양호한 소수임을 확인함으로써 뉴먼의 추측을 확인한다.

실험 결과

연구 질문

• RQ1 p(n) ≡ 0 (mod m)를 만족하는 n이 존재하는 소수 m이 무한히 많은가?
• RQ2 주어진 소수 m에 대해, p(n) mod m 수열에서 각 잔여류 r (mod m)가 무한히 많이 나타나는가?
• RQ3 생성 함수 F(m,k;z) = ∑ p(mᵏn + 1/24) qⁿ mod m 이 k에 대해 주기적인 행동을 보일 수 있는가?
• RQ4 분할 함수를 지배하는 모듈라 형식의 공간의 구조는 무엇인가?
• RQ5 라마누잔 유형의 합동식의 존재는 모듈라 형식과 헤크 연산자에 의해 체계적으로 설명될 수 있는가?

주요 결과

• 모든 소수 m ≥ 5에 대해, 모든 ℓ와 서로소인 n에 대해 p(mℓ³n + 1/24) ≡ 0 (mod m)를 만족하는 소수 ℓ의 비율이 양수이다.
• 에르되시의 추측이 확인되었다: 모든 소수 m에 대해 적어도 하나의 n이 존재하여 p(n) ≡ 0 (mod m)이며, m ≥ 5일 경우 X 이하의 그러한 n의 수는 ≫ X이다.
• 뉴먼의 추측은 m < 1000인 모든 소수에 대해 참이며, 각 잔여류 r mod m에 대해 n ≤ X인 해의 수는 1 ≤ r ≤ m−1일 경우 ≫ √X / log X이고, r = 0일 경우 ≫ X이다.
• 생성 함수 F(m,k;z) 는 k에 대해 최종적으로 주기적이며, ‘라마누잔 사이클’을 이룬다—핵심적인 구조적 발견이다.
• m = 13, 17, 19, 23에 대해 명시적인 합동식을 유도하였으며, 예를 들어 p(594·13ⁿ + 111247) ≡ 0 (mod 13) 및 p(23²ᵏ⁺¹(24n+1)+1)/24 ≡ 5ᵏg(n) (mod 23) 등이다.
• 모든 소수 m ≥ 5에 대해, 정수 N(m)과 P(m) ≤ 48(m³−2m−1)가 존재하여, 모든 i > N(m)과 모든 n ≥ 0에 대해 p(mⁱn + 1/24) ≡ p(mⁱ⁺ᴾ⁽ᵐ⁾n + 1/24) (mod m)가 성립한다.