[논문 리뷰] Congruences for the Number of Cubic Partitions Derived from Modular Forms

William Y. C. Chen, Bernard L. S. Lin|ArXiv.org|2009. 10. 07.

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

한 줄 요약

이 논문은 모듈라 형식을 사용하여 삼차 분할 수 $ a(n) $ 에 대한 새로운 합동관계를 수립하며, $ a(25n+22) \equiv 0 \pmod{5} $ 와 $ a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 \pmod{7} $ 를 증명한다. 또한 $ a(n) $ 이 유한한 짝수와 무한한 홀수 값을 갖는다는 것을 보이며, 모듈라 형식 이론을 통해 삼차 분할 함수에 라마누잔 유형의 산술적 성질을 확장한다.

ABSTRACT

We obtain congruences for the number a(n) of cubic partitions using modular forms. The notion of cubic partitions is introduced by Chan and named by Kim in connection with Ramanujan's cubic continued fractions. Chan has shown that a(n) has several analogous properties to the number p(n) of partitions, including the generating function, the continued fraction, and congruence relations. To be more specific, we show that $a(25n+22)\equiv 0 ({ m mod} 5)$, $a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 ({ m mod} 7)$. Furthermore, we prove that a(n) takes infinitely many even values and infinitely odd values.

연구 동기 및 목표

• 삼차 분할의 맥락으로 라마누잔의 고전적 분할 합동관계를 확장하기 위해.
• 모듈라 형식 이론을 사용하여 삼차 분할 수 $ a(n) $ 의 새로운 산술적 성질을 유도하기 위해.
• $ a(n) $ 가 유한한 짝수와 무한한 홀수 값을 갖는다는 것을 입증하기 위해, 분할 함수 $ p(n) $ 와 유사하게.
• 라마누잔의 $ p(n) $ 에 대한 작업을 영감으로 받아, $ a(n) $ 에 대한 5와 7 모듈로의 특정 합동관계를 증명하기 위해.

제안 방법

• 분할 수 $ a(n) $ 를 분석하기 위해 $ \Gamma_0(4802) $ 의 동치부위군에 대한 무게 6의 모듈라 형식을 구성하기 위해.
• 모듈라 분석의 기초로 생성함수 $ \sum_{n=0}^\infty a(n)q^n = \frac{1}{(q;q)_\infty (q^2;q^2)_\infty} $ 를 사용하기 위해.
• 히르슈혼과 헌트의 방법을 적용하여 모듈라 형식과 그 푸리에 계수를 조작함으로써 5와 7 모듈로의 합동관계를 도출하기 위해.
• 모듈라 성질과 관련 형식의 수준 구조 덕분에 유한한 초기 계수(최대 $ n \leq 587 $ 까지)를 확인함으로써 7 모듈로 합동관계를 검증하기 위해.
• 2 모듈로에 대한 재귀관계 유도: $ a(n) + \sum_{0 < k+k^2 \leq n} a(n-k-k^2) \equiv \Delta(n) \pmod{2} $, 여기서 $ \Delta(n) = 1 $ 이면 $ n $ 이 삼각수일 때.
• 모순과 삼각수의 성질을 사용하여 $ a(n) $ 가 유한한 짝수와 무한한 홀수 값을 유한번 이상 가짐을 증명하기 위해.

실험 결과

연구 질문

• RQ1 삼차 분할 수 $ a(n) $ 는 라마누잔의 분할 합동관계와 유사한 5와 7 모듈로 합동관계를 만족하는가?
• RQ2 모듈라 형식을 사용하여 $ a(n) $ 의 새로운 산술적 성질, 예를 들어 소수 거듭제곱 모듈로의 합동관계를 증명할 수 있는가?
• RQ3 $ a(n) $ 는 유한한 짝수와 유한한 홀수 값을 유한번 이상 갖는가? 즉, 유한한 부호 분포를 보이는가?
• RQ4 합동관계 $ a(3n+2) \equiv 0 \pmod{3} $ 에 대한 조합론적 또는 모듈라 설명이 존재하는가? 그리고 이는 더 높은 모듈로로 확장될 수 있는가?

주요 결과

• 논문은 $ a(25n+22) \equiv 0 \pmod{5} $ 를 증명하여 삼차 분할에 대한 새로운 라마누잔 유형의 합동관계를 5 모듈로에서 확립한다.
• 논문은 7 모듈로에 대해 네 개의 합동관계를 확립한다: $ a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 \pmod{7} $.
• 함수 $ a(n) $ 는 2 모듈로의 재귀관계와 모순 증명을 통해 유한한 짝수 값과 유한한 홀수 값을 유한번 이상 갖는다.
• 7 모듈로 합동관계의 증명은 관련된 모듈라 형식의 모듈라성과 수준 구조 덕분에 유한한 초기 계수(최대 $ n \leq 587 $ 까지)를 확인함으로써 이루어진다.
• 생성함수 $ \sum a(n)q^n = \frac{1}{(q;q)_\infty (q^2;q^2)_\infty} $ 는 합동관계와 짝수/홀수 성질 결과 유도의 중심이 된다.
• 재귀관계 $ a(n) + \sum_{0 < k+k^2 \leq n} a(n-k-k^2) \equiv \Delta(n) \pmod{2} $ 는 $ a(n) $ 의 부호 분석에 핵심적이며, 여기서 $ \Delta(n) $ 은 $ n $ 이 삼각수이면 1, 그 외에는 0이다.