On Glaisher's Partition Theorem

논문 개요

이 논문은 George E. Andrews 와 Aritram Dhar 에 의해 작성되었으며, 정수 분할 (Integer Partitions) 이론, 특히 **글레이셔의 분할 정리 (Glaisher's Partition Theorem)**와 관련된 새로운 항등식 및 생성 함수 (Generating Functions) 를 다룹니다. 저자들은 최근 Andrews, Kumar, Yee 가 오일러의 분할 정리 (Euler's Partition Theorem) 에 대해 제시한 새로운 분할 함수들을 일반화하여, $m=3$인 경우에 대한 유사한 항등식을 증명하고, 글레이셔 정리의 생성 함수에 대한 새로운 급수 표현을 제시합니다.

1. 연구 배경 및 문제 제기 (Problem)

• 오일러의 분할 정리: 정수 $n$을 서로 다른 부분 (distinct parts) 으로 분할하는 경우의 수 $A(n)$과 홀수 부분 (odd parts) 만으로 분할하는 경우의 수 $B(n)$이 같다는 정리 ($A(n)=B(n)$) 입니다.
• 글레이셔의 분할 정리: 오일러 정리의 일반화로, 정수 $n$을 각 부분이 $m-1$번 이하로 반복되는 방식으로 분할하는 경우의 수 $A_m(n)$과 $m$으로 나누어지지 않는 부분들로 분할하는 경우의 수 $B_m(n)$이 같다는 정리 ($A_m(n)=B_m(n)$) 입니다.
• 최근의 동향: Andrews, Kumar, Yee 는 오일러 정리 ($m=2$) 에 대해 $A(n)=B(n)=C(n+1)=\frac{1}{2}D(n+1)$이라는 새로운 항등식을 제시했습니다. 여기서 $C(n)$과 $D(n)$은 특정 조건을 만족하는 새로운 분할 함수들입니다.
• 연구 목표: Lin 과 Zang 이 $C(n)$을 $m$-regular 분할 (부분이 $m$의 배수가 아닌 분할) 로 일반화한 바 있으므로, 본 논문에서는 $D(n)$을 일반화한 $D_m(n)$을 정의하고, $m=3$인 경우에 대한 유사한 항등식을 증명하며, 글레이셔 정리의 생성 함수에 대한 새로운 급수 전개식을 찾는 것을 목표로 합니다.

2. 주요 정의 및 방법론 (Methodology)

저자들은 $q$-급수 (q-series) 이론과 생성 함수 기법을 주된 도구로 사용합니다.

• 새로운 분할 함수 정의:

  • $C_m(n)$: 가장 큰 부분이 $m$의 배수 ($mj$) 이고,$j$이하의 모든 부분이$m-1$번 이하로 반복되는 분할의 수.
  • $D_m(n)$: 가장 작은 부분이 정확히 $m$번 반복되고, 나머지 모든 부분이 $m-1$번 이하로 반복되는 분할의 수.
  • $E_m(n)$: $C_m(n)$과 $D_m(n)$ 사이의 관계를 설명하기 위해 도입된 보조 함수.

• 주요 증명 기법:

  • 생성 함수 전개: $C_m(n)$의 생성 함수를 $q$-Pochhammer 기호를 사용하여 표현하고, 오일러 항등식 (Euler's identity) 과 단위근 (roots of unity, $\zeta_m$) 을 이용한 합분해 기법을 적용합니다.
  • 급수 변환: 생성 함수를 부분 분해하거나 급수의 순서를 바꾸어 (interchanging summations) 새로운 형태의 급수로 변환합니다.
  • 특수 함수 활용: $m=3$인 경우, 3 차 단위근 $\omega = e^{2\pi i/3}$을 사용하여 식을 단순화하고, $\chi(n)$ (3 으로 나누어떨어지는지 여부에 따라 2 또는 -1 값을 가지는 함수) 을 도입하여 급수를 정리합니다.

3. 주요 결과 및 기여 (Key Contributions & Results)

가. 일반화된 분할 항등식 (Theorem 1.4)

저자들은 임의의 정수 $m \ge 2$에 대해 다음 관계를 증명합니다:
$$C_m(n) = D_m(n) + \frac{E_m(n)}{m}$$
여기서 $E_m(n)$의 생성 함수 $\varepsilon_m(q)$는 다음과 같이 주어집니다:
$$\varepsilon_m(q) = \sum_{n=0}^{\infty} q^{mn} (q^{m(n+1)}; q)_\infty \sum_{j=1}^{m-1} \frac{1}{(\zeta_m^j q^{n+1}; q)_\infty}$$
이 결과는 $m=2$일 때 Andrews 등 (2023) 의 결과를 일반화한 것입니다.

나. $m=3$인 경우의 구체적 항등식 (Theorem 1.5)

$m=3$인 경우, $E_3(n)$의 생성 함수 $\varepsilon_3(q)$가 다음과 같은 닫힌 형식 (closed form) 을 가진다는 것을 증명합니다:
$$\varepsilon_3(q) = 2 - q - 2q^2 + \sum_{n=2}^{\infty} (-1)^n \chi(n-1) q^{\binom{n+1}{2}+1}$$
이 식은 매우 복잡한 생성 함수가 실제로는 간단한 급수 형태로 표현될 수 있음을 보여줍니다.

다. Corollary 1.6 (삼각수 조건 하의 비례 관계)

위 결과들을 결합하여, $n$이 삼각수 $+1$이 아닌 모든 양의 정수에 대해 다음이 성립함을 보입니다:
$$C_3(n) = \frac{1}{3} D_3(n)$$
이는 $m=2$일 때의 $C(n) = \frac{1}{2}D(n)$ 관계를 $m=3$으로 확장한 것으로, $m=3$인 경우에도 유사한 단순한 비례 관계가 존재함을 의미합니다.

라. 유한 및 무한 $q$-급수 항등식 (Theorem 1.8 & Corollary 1.9)

글레이셔 정리의 생성 함수와 관련된 새로운 유한 $q$-급수 항등식을 제시합니다:
$$1 + \sum_{n=1}^{N} \sum_{j=1}^{m-1} q^{mn-j} \left( \prod_{r=1}^{m-j} (q^r; q^m)_n \right) \left( \prod_{r=m-j+1}^{m-1} (q^r; q^m)_{n-1} \right) = \frac{(q^m; q^m)_N}{(q; q)_{mN}}$$
$N \to \infty$로 보내면 무한 급수 항등식이 유도되며, 이는 왼쪽이 $m$으로 나누어지지 않는 부분들의 분할 생성 함수와 일치함을 보여줍니다.

4. 의의 및 결론 (Significance)

1. 이론적 확장: 오일러의 분할 정리에 대한 최근의 새로운 발견 (Andrews, Kumar, Yee) 을 글레이셔의 더 일반적인 정리 ($m \ge 2$) 로 성공적으로 확장했습니다. 특히 $m=3$인 경우에 대한 구체적인 비례 관계를 규명했습니다.
2. 새로운 생성 함수 식: 글레이셔 정리의 생성 함수에 대해 이전에 알려지지 않았던 새로운 급수 표현 (Theorem 1.5 및 Corollary 1.9) 을 제시하여, $q$-급수 이론의 새로운 관점을 제공합니다.
3. 방법론적 기여: 단위근과 생성 함수의 정교한 조작을 통해 복잡한 분할 문제를 해결하는 기법을 보여주었습니다.
4. 향후 과제: 저자들은 Corollary 1.6 의 **이중성 증명 (bijective proof)**을 제공하는 것이 매우 흥미로운 후속 연구 과제로 남겼습니다. 현재는 생성 함수를 통한 대수적 증명만 제시되었습니다.

요약하자면, 이 논문은 고전적인 분할 정리의 현대적 확장에 있어 중요한 진전을 이루었으며, $m=3$이라는 구체적인 경우에 대한 놀라운 단순성과 새로운 급수 항등식을 발견했다는 점에서 의의가 큽니다.