2의 거듭제곱 모듈러에서의 세 제한 파티션 함수의 새로운 동치식

초록

푸시파·바수키가 정의한 제한 파티션 함수 M(n), T⁎(n), P⁎(n)에 대해, 기본적인 q‑시리즈 변형과 theta 함수 항등식을 이용해 2의 임의 거듭제곱으로 나누어지는 무한 가족의 동치식을 구축한다. 결과는 기존에 알려진 5의 거듭제곱 모듈러 동치식을 2의 거듭제곱으로 일반화한다.

상세 분석

본 논문은 푸시파와 바수키가 제시한 세 종류의 제한 파티션 함수 M(n), T⁎(n), P⁎(n)의 산술적 성질을 2의 거듭제곱 모듈러에서 체계적으로 탐구한다. 먼저 f_m(q)=∏_{n≥1}(1−q^{mn}) 로 정의된 eta‑함수 표기법을 사용해 각 함수의 생성함수를 다음과 같이 정리한다.

• M(n) : ∑_{n≥0}M(n)q^n = f_5^2 f_5^5 / (f_1 f_10)
• T⁎(n) : ∑_{n≥0}T⁎(n)q^n = f_5 / (f_5^{10} f_2 f_5)
• P⁎(n) : ∑_{n≥0}P⁎(n)q^n = f_4 / (f_4^5)

여기서 f_k는 q‑시리즈의 표준 표기이다. 논문은 Lemma 2.1에서 세 가지 핵심 theta 항등식(2.1)–(2.3)을 증명하고, 이를 통해 M(2n+3), T⁎(2n+2), P⁎(2n+3)의 생성함수를 각각 (2.10), (2.11), (2.12) 형태로 전개한다. 특히, Ramanujan의 k(q) 함수를 활용해 f_5·f_10 등 복합 항을 분해하는 과정이 핵심이다.

다음 단계에서는 k≥1에 대해 M(2k n+2k+1−1), T⁎(2k n+2k+1−2), P⁎(2k n+2k+1−1)의 생성함수를 재귀적으로 구한다. Theorem 3.1은 A_k, B_k, C_k 라는 정수 계수를 도입하고, 이들에 대해
A_{k}=−4A_{k−1}−8A_{k−2}+5·2^{k−1},
B_{k}=−4B_{k−1}−8B_{k−2}+5·2^{k−1},
C_{k}=−4C_{k−1}−8C_{k−2}
이라는 2차 선형 재귀식을 제시한다. 초기값은 A_0=A_1=B_1=C_0=1, B_0=0, C_1=−4이다. 이 재귀식은 induction을 통해 (3.1)–(3.3)을 증명하는 데 사용된다.

Theorem 1.1의 핵심은 A_k와 B_k가 정확히 2^{k−1}으로 나누어지지만 2^{k}로는 나누어지지 않는다는 사실이다. 강한 수학적 귀납법을 통해 이를 보이고, 생성함수 (3.1), (3.2)와 결합하면
M(2^{k}n+2^{k}+1−1)≡0 (mod 2^{k−1})
T⁎(2^{k}n+2^{k}+1−2)≡0 (mod 2^{k−1})
가 얻어진다.

Theorem 1.2는 C_k의 정확한 값에 대한 Lemma 3.2를 기반으로 한다. C_{4k}=(-64)^k, C_{4k+1}=−4(-64)^k, C_{4k+2}=8(-64)^k, C_{4k+3}=0 임을 보이고, 이를 (3.3)에 대입하면 네 종류의 등식 (1.3)–(1.6)을 얻는다. 마지막으로 (1.7)은 C_{4k+3}=0을 이용해 P⁎(…)가 완전히 0이 되는 경우를 기술한다.

전체적으로 논문은 복잡한 eta‑quotient를 단순한 theta 함수와 q‑다항식으로 분해하고, 재귀적 계수 구조를 이용해 2의 거듭제곱 모듈러 동치식을 무한히 생성한다는 점에서 의미가 크다. 기존에 Radu‑Kolberg 알고리즘에 의존했던 Nath·Saikia의 결과를 전적으로 elementary q‑series 기법으로 재현·확장했으며, 특히 2의 거듭제곱이라는 새로운 모듈러 체계에서의 동치식은 향후 색 파티션 및 모듈러 형태 연구에 중요한 도구가 될 전망이다.