[논문 리뷰] Congruences for Andrews' Smallest Parts Partition Function and New Congruences for Dyson's Rank

Frank Garvan|ArXiv.org|2007. 10. 31.

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

한 줄 요약

이 논문은 랭크와 크랭크 모멘트 간의 관계를 활용하고 반정수 스펙트럼 Hecke 고유형식을 이용하여, 소수 ℓ = 11, 17, 19, 29, 31, 37에 대해 앤드류스의 가장 작은 부분 분할 함수 spt(n)에 대한 새로운 라마누잔 유형의 합동식을 수립한다. 이는 다이슨의 랭크 함수에 대한 이러한 합동식의 첫 번째 명시적 비자명한 예를 제공하며, 모듈라 형식과 헤케 연산자를 기반으로 한 구성적 방법을 통해 브링만과 온오의 무한히 많은 합동식에 대한 추측을 확인한다.

ABSTRACT

Let spt(n) denote the total number of appearances of smallest parts in the partitions of n. Recently, Andrews showed how spt(n) is related to the second rank moment, and proved some surprising Ramanujan-type congruences mod 5, 7 and 13. We prove a generalization of these congruences using known relations between rank and crank moments. We obtain explicit Ramanujan-type congruences for spt(n) mod p for p = 11, 17, 19, 29, 31 and 37. Recently, Bringmann and Ono proved that Dyson's rank function has infinitely many Ramanujan-type congruences. Their proof is non-constructive and utilizes the theory of weak Maass forms. We construct two explicit nontrivial examples mod 11 using elementary congruences between rank moments and half-integer weight Hecke eigenforms.

연구 동기 및 목표

• 랭크와 크랭크 모멘트 간의 관계를 이용하여 앤드류스의 spt(n) 합동식을 5, 7, 13 이외의 더 높은 소수로 일반화한다.
• 브링만과 온오의 비구성적 결과에 대응하여, 다이슨의 랭크 함수에 대한 명시적 비자명한 합동식의 예를 구성한다.
• spt(ℓn + βₗ)의 생성함수가 ℓ 모듈로에서 반정수 스펙트럼 헤케 고유형식과 합동임을 보여주어 명시적 합동식 체인을 가능하게 한다.
• spt(n)이 ℓ > 3 모듈로에서 무한히 많은 라마누잔 유형의 합동식을 만족함을 증명하여, 분할 함수와 랭크 모멘트에 대한 결과를 확장한다.

제안 방법

• 랭크와 크랭크 모멘트 간의 알려진 관계를 이용하여, 1−24n이 ℓ 모듈로에서 제곱 비잉여일 경우에 대해 spt(n)에 대한 일반화된 합동식을 유도한다.
• 데데킨드 에타 함수의 23제곱과 반정수 스펙트럼 헤케 고유형식 간의 연결을 이용하여, spt(11n+6)를 11 모듈로로 분석한다.
• 모듈라 형식에서 합동 조건을 분리하기 위해 헤케 연산자 U₀,ₗ*를 적용하며, 특히 ℓ = 37의 경우에 중점을 둔다.
• 약한 마아스 형식 이론과 η(24τ)¹³의 모듈라 성질을 활용하여, spt(11·19⁴·n + 22006) ≡ 0 (mod 11)의 합동식을 확립한다.
• 반정수 스펙트럼 헤케 고유형식으로 표현된 랭크 모멘트 생성함수를 이용하여, 랭크 함수 N(r,11,n)에 대한 11 모듈로의 명시적 합동식을 구성한다.
• 트레너의 결과를 활용하여, ℓ 모듈로에서 T(Q²)가 반정수 스펙트럼 형식을 영으로 만드는 소수 Q의 존재성을 이용하여, spt(n)에 대한 무한히 많은 합동식을 증명한다.

실험 결과

연구 질문

• RQ1 spt(n)에 대한 라마누잔 유형의 합동식은 5, 7, 13를 초월하여 다른 소수 ℓ로까지 확장될 수 있는가?
• RQ2 비구성적 증명에 의존하지 않고, 랭크 함수에 대한 11 모듈로의 명시적 비자명한 합동식의 예를 구성할 수 있는가?
• RQ3 spt(n) 생성함수와 ℓ 모듈로에서의 헤케 고유형식 간에 모듈라 형식 이론적 메커니즘이 존재하는가?
• RQ4 24d ≡ 1 (mod ℓ)일 때, 랭크 차수의 생성함수가 모듈라 형식을 유지하는가? 이는 ℓ = 5, 7, 11, 13에 대한 기존 결과를 모든 소수 ℓ > 3로 확장하는가?
• RQ5 헤케 고유형식과 모듈라 형식을 통해 구성적 방법으로 spt(n)에 대한 ℓ > 3 모듈로에서의 무한히 많은 합동식의 존재를 입증할 수 있는가?

주요 결과

• 논문은 생성함수가 11 모듈로에서 반정수 스펙트럼 헤케 고유형식과 합동임을 보여줌으로써, spt(11·19⁴·n + 22006) ≡ 0 (mod 11)의 명시적 합동식을 증명한다.
• 논문은 11 모듈로에서 랭크 함수 합동식의 첫 번째 명시적 비자명한 예를 확립한다: N(r,11,5⁴·11·19⁴·n + 4322599) ≡ 0 (mod 11) 및 N(r,11,11²·19⁴·n + 172904) ≡ 0 (mod 11), 모든 0 ≤ r ≤ 10에 대해 성립한다.
• ℓ = 37에 대해, 생성함수 ∑spt(37n+17)q²⁴ⁿ⁺¹¹은 37 모듈로에서 반정수 스펙트럼 촘프 형식 G₃₇(τ) = η¹¹(24τ)E₄²(24τ)E₆(24τ)와 합동이며, 이는 헤케 고유형식이다.
• 논문은 spt(n)이 ℓ > 3 모듈로에서 무한히 많은 라마누잔 유형의 합동식을 만족함을 확인하며, spt(ℓQ⁴n + μ) ≡ 0 (mod ℓ)가 소수 Q의 양의 비율에서 성립함을 보여준다.
• 24d ≡ 1 (mod ℓ)일 때, 랭크 차수의 생성함수가 ℓ 모듈로에서 반정수 스펙트럼 촘프 형식의 합과 합동임을 증명하여, 기존 결과를 모든 소수 ℓ > 3로 확장한다.
• 2 ≤ 2k ≤ ℓ−3일 때, ∑spt(ℓn + βₗ)q²⁴ⁿ⁺ʳˡ ≡ ηʳˡ(24τ)Gₗ,₂ₖ(24τ) (mod ℓ)의 식이 성립하며, Gₗ,₂ₖ는 수준 1의 모듈라 형식의 합이다. 이는 합동식을 위한 일반적 프레임워크를 제공한다.