분할 빈도 모멘트와 모듈러성 및 라마누잔 동치

초록

본 논문은 Euler 곱 형태의 생성함수에서 정의되는 분할 빈도 모멘트를 모듈러 및 준모듈러 형식으로 연결하고, Sturm 경계와 캐릭터 트위스트를 이용해 라마누잔 유형의 합동식을 체계적으로 탐색·증명한다. 특히 일반 파티션과 오버파티션에 대해 새로운 영-클래스와 비영-클래스 합동식을 제시하고, Glaisher‑character 사전을 통해 새로운 진행을 만들어낸다.

상세 분석

논문은 먼저 Euler 곱 $A(q)=\prod_{r\ge1}(1-q^r)^{-c(r)}$ 를 정의하고, 이와 연관된 보조 급수 $B(q)$ 를 이용해 빈도 모멘트 $M_m(n)=\sum_{k\ge1}k^mF_k(n)$ 의 생성함수를 $B(q)\cdot\sum_{r\ge1}c(r)r^m\frac{q^r}{1-q^r}$ 로 변환한다. $A(q)$ 가 $\eta$‑quotient 형태의 모듈러 함수이면, 위 식은 (quasi)모듈러 형식으로 해석될 수 있다. 특히 $m$ 이 홀수이면 $q^{-1/24}M_{2k-1}(q)=\frac{E_{2k}(\tau)-C_{2k}}{C_{2k},\eta(\tau)}$ 가 $\Gamma_0(4)$ 위의 반정수 가중 모듈러 형태가 되며, 짝수 $m$ 에 대해서는 $E_2,E_4,E_6$ 로 생성되는 준모듈러 대수에 속한다. 이 구조를 이용해 Sturm 경계(정수 가중 경우는 전통적인 Sturm, 반정수 가중 경우는 Kohnen‑Shimura 이론에 기반한 경계)를 적용하면, 특정 소수 $\ell$ 에 대해 $M_m(\ell n+r)\equiv0\pmod\ell$ 형태의 합동식을 유한 검증만으로 증명할 수 있다.

주요 결과는 다음과 같다. (i) 모든 홀수 $m$ 에 대해 Fermat 소정리와 라마누잔의 기본 합동 $p(\ell n+r)\equiv0$ 로부터 $M_m(\ell n)\equiv0$ 와 $M_m(\ell n+r)\equiv0$ (단 $r$ 가 라마누잔 잔여 클래스) 를 얻는다. (ii) $m=3,7$ 에 대해 추가적인 비자명 합동식 $M_3(7n+5)\equiv0\pmod7$, $M_3(11n+6)\equiv0\pmod{11}$ 등을 반정수 Sturm을 통해 증명한다. (iii) 오버파티션의 경우 $A(q)=\frac{\eta(2\tau)}{\eta(\tau)^2}$ 로부터 $M_m^{\overline{}}(\ell n)\equiv0\pmod\ell$ (모든 $m$) 를 얻으며, 비영 잔여 클래스에서는 합동이 관찰되지 않는다. 이는 일반 파티션과 뚜렷한 대조를 이룬다. (iv) Glaisher‑character 사전을 구축해 $\sigma_m(n;\chi)$ 형태의 트위스트를 빈도 모멘트에 대응시키고, 예를 들어 $\chi_5$ 로의 2차 트위스트를 적용하면 $\widehat{M}^{\chi_5}3(5n+4)\equiv0\pmod5$ 를 얻는다. 마지막으로 $M{11}$ 은 베르누이 수와 연관된 불규칙 소수 $691$ 에 대한 $\tau$‑함수 합동을 재해석한다.

이러한 파이프라인은 (1) $A(q)$ 가 모듈러이면 자동으로 모듈러/준모듈러 생성함수를 얻고, (2) 원하는 소수와 진행을 선택해 Sturm 경계로 검증하며, (3) 캐릭터 트위스트를 통해 새로운 진행을 생성한다는 세 단계로 구성된다. 구현 코드는 부록에 제공되며, $1\le m\le99$, $5\le\ell\le97$ 범위에서 전산 검증이 이루어졌다. 결과적으로 라마누잔 유형 합동식이 매우 제한된 소수와 진행에만 나타남을 경험적으로 확인하고, 오버파티션에서는 영‑클래스 합동만이 전형적임을 밝혀냈다.