Parity of parts and excludant statistics in partitions

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

이 논문은 정수 분할 (Integer Partitions) 이론에서 **배제 통계 (Excludant Statistics)**의 패리티 (홀수/짝수) 에 초점을 맞춥니다.

• 배제 통계 (Excludant): 주어진 분할 $\lambda$에서 포함되지 않는 가장 작은 양의 정수를 **최소 배제 (mex, minimal excludant)**라고 하고, 가장 큰 부분보다 작지만 포함되지 않는 가장 큰 정수를 **최대 배제 (max, maximal excludant)**라고 합니다.
• 연구 대상: 기존 연구들이 일반적인 분할이나 특정 조건 하의 분할에 대한 mex/max 를 다뤘다면, 본 논문은 **반복된 홀수 부분이 없는 분할 (partitions without repeated odd parts, $Pod(n)$)**과 **반복된 짝수 부분이 없는 분할 (partitions without repeated even parts, $Ped(n)$)**을 대상으로 합니다.
• 구체적 목표:
  1. $Pod(n)$과$Ped(n)$에서 mex 와 max 의 **패리티 (홀수/짝수)**에 따라 분할 수를 세는 통계량 ($a_{od}^o(n), a_{od}^e(n)$ 등) 의 생성 함수를 구한다.
  2. 최소/최대 배제 값 자체의 합 ($\sigma_{od}^{moex}(n)$ 등) 에 대한 생성 함수를 유도한다.
  3. 이러한 통계량의 **점근적 성질 (Asymptotics)**을 구한다.
  4. 생성 함수가 양자 모듈러 형식 (Quantum Modular Forms) 및 **라마누잔의 모크 시그마 함수 ($\sigma(q), \sigma^*(q)$)**와 어떻게 연결되는지 규명한다.

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구를 활용하여 문제를 해결했습니다.

• q-급수 변환 (q-series Transformations):
  • Cauchy (q-Binomial) 정리, Gauss 의 항등식, Heine 의 변환 공식, Andrews 의 정리 등을 사용하여 복잡한 생성 함수를 단순화하거나 알려진 함수 (모크 시그마 함수, Nahm-type 합 등) 로 변환했습니다.
  • 특히, 분할을 부분 집합으로 나누고 (decomposition), 켤레 분할 (conjugation) 을 적용하여 생성 함수를 유도하는 조합적 접근과 q-급수 계산을 병행했습니다.
• 타우버리안 정리 (Tauberian Theorem):
  • Ingham 의 타우버리안 정리를 적용하여, 생성 함수의 $q \to 1$ ($t \to 0^+$) 극한에서의 점근적 행동을 분석함으로써 계수 $a(n)$의 점근적 근사식을 유도했습니다.
• 조합적 대응 (Combinatorial Bijection):
  • 특정 통계량과 분할의 수 사이의 동형사상을 구성하여 항등식을 증명했습니다 (예: Theorem 1.5 의 증명).

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

논문은 12 개의 주요 정리 (Theorem) 를 통해 다음과 같은 결과를 도출했습니다.

A. 최소 배제 (mex) 와 패리티 (Theorems 1.1 - 1.3)

• 생성 함수 유도: $Pod(n)$에서 mex 가 홀수인 분할 수 $a_{od}^o(n)$와 짝수인 분할 수 $a_{od}^e(n)$의 생성 함수를 구했습니다.
  • $a_{od}^o(n)$의 생성 함수는 Andrews 가 도입한 $v_2(q)$ 함수와 관련이 있습니다.
  • $a_{od}^e(n)$의 생성 함수는 $v_2(q)$와 다른 q-급수의 차이로 표현됩니다.
• 단조성 (Monotonicity): 충분히 큰 $n$에 대해 $a_{od}^o(n)$과 $a_{od}^e(n)$이 단조 증가함을 조합적 사상을 통해 증명했습니다.
• 점근식: $n \to \infty$일 때, 두 통계량은 다음과 같이 점근합니다.
  $$a_{od}^o(n) \sim \frac{e^{\pi\sqrt{n}/2}}{4\sqrt{2n}}, \quad a_{od}^e(n) \sim \frac{e^{\pi\sqrt{n}/2}}{\sqrt{2n}}$$

B. 최소 배제 값의 합 (Theorems 1.4 - 1.8)

• 생성 함수와 모듈러 형식:
  • $Pod(n)$에서 홀수인 최소 배제 값의 합$\sigma_{od}^{moex}(n)$의 생성 함수는 Ramanujan 의 모크 시그마 함수 $\sigma^*(q)$와 직접적으로 연결됩니다.
  • 짝수인 최소 배제 값의 합 $\sigma_{od}^{meex}(n)$의 생성 함수는 짝수 부분으로만 이루어진 분할 수 $ped(n)$의 2 배와 동일함을 보였습니다 ($\sigma_{od}^{meex}(n) = 2ped(n)$).
• 점근식: $\sigma_{od}^{moex}(n) \sim \frac{3e^{\pi\sqrt{n}/2}}{4\sqrt{2n}}$임을 증명했습니다.
• 정수론적 항등식: 최소 배제와 4 로 나눈 나머지에 따른 짝수 부분의 가 divisibility 사이의 관계를 증명했습니다 (Theorem 1.8).

C. 최대 배제 (max) 와 패리티 (Theorems 1.9 - 1.10)

• 생성 함수: $Pod(n)$에서 최대 배제 (max) 의 패리티에 따른 분할 수 ($a_{od}^o(n), a_{od}^e(n)$) 의 생성 함수를 유도했습니다.
  • 이 식들은 Ramanujan 의 3 차 모크 시그마 함수 $\nu(q)$ 및 기타 q-급수 합으로 표현됩니다.
• 최대 배제 값의 합: 최대 배제 값의 합에 대한 생성 함수도 유도되었으며, 이는 복잡한 q-급수 합으로 표현됩니다.

D. 반복된 짝수 부분이 없는 분할 (Theorems 1.11 - 1.12)

• $Ped(n)$에 대한 mex 와 그 합에 대한 생성 함수를 유도했습니다.
  • 특히, $\sigma_{ed}^{meex}(n)$의 생성 함수는 Ramanujan 의 $\sigma(q)$ 함수와 관련이 있음을 보였습니다.

4. 의의 및 결론 (Significance & Conclusion)

• 이론적 확장: 기존의 배제 통계 연구 (mex/max) 를 **부분의 중복 금지 조건 (distinct parts)**과 패리티 조건으로 확장하여, 분할 이론의 새로운 지평을 열었습니다.
• 모듈러 형식과의 연결: 유도된 생성 함수들이 Ramanujan 의 모크 시그마 함수, 양자 모듈러 형식, Nahm-type 합 등 심오한 수학적 객체와 깊이 연결되어 있음을 보여주었습니다. 이는 분할 통계가 단순한 조합론적 수를 넘어 모듈러 성질을 가질 수 있음을 시사합니다.
• 점근적 분석: 타우버리안 방법을 통해 이러한 새로운 통계량의 점근적 행동을 정확히 규명했습니다.
• 향후 과제: 논문 말미에서는 생성 함수의 모듈러성 증명, Rademacher 형식의 정확한 공식 유도, 조합적 증명의 확장 등 여러 미해결 문제를 제시하며 후속 연구를 독려했습니다.

요약하자면, 이 논문은 제한된 조건을 가진 분할에서 배제 통계의 패리티와 합을 정밀하게 분석하여, q-급수 이론과 모듈러 형식 이론 사이의 새로운 연결 고리를 발견하고 점근적 성질을 규명한 중요한 연구입니다.