글레이셔 정리와 새로운 파티션 함수의 확장

초록

본 논문은 Glaisher 정리의 일반화에 대한 새로운 파티션 함수 (C_m(n)) 와 (D_m(n)) 을 정의하고, 특히 (m=3) 경우에 (C_3(n)=\frac13 D_3(n)) 라는 거의 모든 정수 (n) 에 대해 성립하는 “거의 파티션 항등식”을 증명한다. 또한 일반 (m)에 대해 (C_m(n)=\frac1m D_m(n)) 가 거의 모든 (n)에 대해 성립함을 보이며, Glaisher의 무한곱을 새로운 유한·무한 급수 형태로 표현한다.

상세 분석

논문은 먼저 Glaisher 정리 (A_m(n)=B_m(n)) 를 복습하고, 기존 연구에서 도입된 두 파티션 함수 (C(n))와 (D(n)) 를 (m)-정규 파티션으로 일반화한다. 여기서 (A_m(n)) 은 각 부품이 최대 (m-1) 번만 나타나는 파티션 수, (B_m(n)) 은 (m) 으로 나누어 떨어지지 않는 부품만을 사용하는 파티션 수이다. 저자들은 (C_m(n)) 을 “가장 큰 부품이 (m) 배수이며, 그 이하의 부품은 (m) 번 미만 반복”하는 파티션의 개수로 정의하고, (D_m(n)) 은 “가장 작은 부품이 정확히 (m) 번 나타나고 나머지는 (m) 번 미만 반복”하는 파티션의 개수로 정의한다.

주요 결과는 세 가지 형태로 제시된다. 첫째, 정리 1.4는 (C_m(n)=D_m(n)+\frac{1}{m}E_m(n)) 라는 관계를 보여주며, 여기서 (E_m(n)) 의 생성함수 (\varepsilon_m(q)) 는 복소수 근원 (\zeta_{jm}) 를 이용한 다중 무한곱 형태로 주어진다. 둘째, (m=3) 일 때 (\varepsilon_3(q)) 를 명시적으로 전개하여 (\varepsilon_3(q)=2-q-2q^2+\sum_{n\ge2}(-1)^n\chi_3(n-1)q^{(n+1)/2}+1) 로 표현하고, 이를 이용해 정리 1.6을 증명한다. 즉, 삼각수 (T_k+1) 를 제외한 모든 (n) 에 대해 (C_3(n)=\frac13 D_3(n)) 가 성립한다는 것이다. 셋째, 일반 (m) 에 대해 (\chi_m(n)=\sum_{j=1}^{m-1}\zeta_{jm}^n) 를 도입하고, (\varepsilon_m(q)) 를 ((-1)^k\chi_m(k)q^{(k+1)/2}) 와 이항계수의 조합으로 전개한다. 이를 통해 정리 1.7을 증명하는데, 핵심은 (\varepsilon_m(q)) 의 비정상적인 계수가 삼각수와 같은 희소한 인덱스에만 나타나므로, (E_m(n)) 가 거의 모든 (n) 에 대해 0 이 되고, 결과적으로 “거의 파티션 항등식” (C_m(n)=\frac1m D_m(n)) 가 거의 전수에 대해 성립함을 보인다.

또한 정리 1.9와 그 무한 버전인 정리 1.13을 통해 Glaisher의 곱 (\prod_{k\ge1}(1-q^{km})) 를 (\sum_{n\ge0}\sum_{j=1}^{m-1}q^{mn-j}\prod_{r=1}^{m-j}(q^r;q^m)n\prod{r=m-j+1}^{m}(q^r;q^m)_{n-1}) 로 표현한다. 이는 기존의 q‑시리즈와 파티션 이론 사이의 새로운 연결 고리를 제공한다.

전체적으로 논문은 생성함수와 복소수 근원을 활용한 정교한 q‑계산을 통해 기존의 파티션 항등식을 확장하고, “거의 항등식”이라는 새로운 개념을 도입함으로써 파티션 이론의 구조적 풍부함을 강조한다.