Recurrence and congruences for the smallest parts function

1. 연구 배경 및 문제 제기

• 최소 부분 함수 (Smallest Parts Function, $spt(n)$): 앤드류스 (Andrews) 가 도입한 $spt(n)$은 정수$n$ 을 분할할 때 나타나는 모든 분할에서 '가장 작은 부분 (smallest part)'의 개수를 합한 값입니다. 예를 들어 $n=5$ 일 때 분할은 7 가지이며, 각각의 가장 작은 부분의 개수를 더하면 $spt(5)=14$ 가 됩니다.
• 기존 연구의 한계:
  • 오일러의 분할 수 $p(n)$ 에 대한 점화식은 잘 알려져 있으며, 최근 고모 (Gomez), 오노 (Ono) 등은 모듈러 형식 (Modular forms) 이론을 이용해 이를 일반화한 점화식을 제시했습니다.
  • 반면, $spt(n)$ 의 생성 함수는 약한 홀로모픽 모듈러 형식이 아닌 조화 마아스 형식 (Harmonic Maass form) 에 해당합니다. 이로 인해 기존의 점화식 일반화 기법 (예: Maass-Poincaré 급수의 직접적인 사용) 을 적용할 때 수렴성 문제가 발생하여, $spt(n)$ 에 대한 유사한 일반화된 점화식을 유도하는 것이 주요 난제였습니다.
• 연구 목표:
  1. $spt(n)$ 에 대한 오일러와 유사한 일반화된 점화식 (Generalized Euler-like recurrence) 을 유도하는 것.
  2. 소수 $\ell$에 대한 $spt(n)$ 의 합동식 (Congruences) 에 대한 새로운 증명 및 부합동 (Incongruence) 결과 도출.

2. 방법론 (Methodology)

저자는 다음과 같은 고급 해석적 및 대수적 기법들을 종합적으로 활용했습니다.

• 조화 마아스 형식과 홀로모픽 사영 (Holomorphic Projection):
  • $spt(n)$의 생성 함수는 비홀로모픽 부분을 포함하는 조화 마아스 형식$F(z)$ 로 표현됩니다.
  • 이 함수를 홀로모픽 모듈러 형식 공간으로 끌어오기 위해 홀로모픽 사영 (Holomorphic Projection) 기법을 적용했습니다. 이는 비홀로모픽 부분을 제거하고 홀로모픽 부분을 추출하여 모듈러 형식의 성질을 분석하는 핵심 단계입니다.
• 마아스 - 포인카레 급수 (Maass-Poincaré Series) 의 해석적 연속:
  • $spt(n)$의 생성 함수를 특정 차수의 마아스 - 포인카레 급수$P_{-1, 3/2, s}(z)$ 와 동일시했습니다.
  • 이 급수는 원래 $Re(s) > 1$ 영역에서만 수렴하지만, 저자는 해석적 연속 (Analytic Continuation) 기법을 통해 $s=3/4$ 지점에서의 값을 정의하고, 이것이 $spt(n)$ 의 생성 함수와 일치함을 증명했습니다.
• 랭킨 - 코헨 괄호 (Rankin-Cohen Bracket) 활용:
  • 두 함수 $f, g$ 에 대한 랭킨 - 코헨 괄호 $[f, g]_v$ 를 정의하고, 이를 통해 생성 함수와 에타 함수 ($\eta$) 의 관계를 규명했습니다. 이를 통해 가상의 에이스틴 급수 (Mock Eisenstein series) 와의 연결고리를 만들었습니다.
• 헤케 트레이스 (Hecke Trace) 와 특수 디리클레 급수:
  • 유도된 점화식의 우변을 헤케 트레이스 (특수 꼬임 2 차 디리클레 급수의 값에 대한 트레이스) 로 표현했습니다. 이는 모듈러 형식의 계수 정보를 점화식에 반영하는 핵심 요소입니다.

3. 주요 결과 (Key Results)

가. 일반화된 오일러 점화식 (Theorem 1 & Corollary 2)

저자는 $spt(n)$ 에 대한 새로운 점화식을 제시했습니다.

• 주요 정리 (Theorem 1): 임의의 $v \ge 1$ 에 대해, $spt(n)$과$p(n)$을 결합한 함수$s(n)$의 생성 함수$S_v(z)$ 는 다음과 같이 표현됩니다.
  $$S_v(z) = E_{2v+2}(z) - 12F_{2v+2}(z) + \text{Hecke Trace Term}$$
  여기서 $E_{2v+2}$ 는 에이스틴 급수, $F_{2v+2}$ 는 자기 (Zagier) 가 도입한 가상의 에이스틴 급수, 마지막 항은 $SL_2(\mathbb{Z})$ 위의 가중치 $2v+2$ 인 시스프 형식 (Cusp forms) 에 대한 헤케 트레이스입니다.
• 점화식 (Corollary 2): 위 정리의 계수를 비교하여 $spt(n)$에 대한 구체적인 점화식을 얻었습니다. 이는$spt(n)$ 을 이전 항들의 선형 결합과 약수 함수 (Divisor function), 헤케 트레이스로 표현합니다.
  • 예: $v=1$ 일 때, $spt(n)$은$spt(n-\omega(k))$들의 합,$\sigma_3(n)$, 그리고$a_4(n)$ (4 차 시스프 형식의 계수) 로 표현됩니다.

나. 합동식 (Congruences) 에 대한 새로운 증명 (Corollary 3)

• 결과: 소수 $\ell \ge 5$ 에 대해, $spt(\ell n - \delta_\ell)$ (여기서 $\delta_\ell = (\ell^2-1)/24$) 의 생성 함수는 헤케 트레이스를 통해 모듈로 $\ell$ 에서 표현됩니다.
  $$\sum spt(\ell n - \delta_\ell) q^n \equiv C_\ell \cdot \frac{\sum Tr_{\ell+1}(\ell n) q^n}{(q^\ell; q^\ell)_\infty} \pmod \ell$$
• 의의: 이 결과는 앤드류스가 발견한 $spt(5n+4) \equiv 0 \pmod 5$, $spt(7n+5) \equiv 0 \pmod 7$ 등의 합동식에 대한 새로운 증명을 제공합니다. 또한, $\ell=11$ 인 경우에도 새로운 합동식을 유도했습니다.

다. 부합동 (Incongruence) 결과 (Corollary 4)

• 결과: 특정 조건 (소수 $\ell \ge 5$ 및 특정 이차 잉여 조건) 하에서, $spt(\ell n + t)$ 가 모든 $n$ 에 대해 $0 \pmod \ell$ 일 수 없음을 증명했습니다.
• 의의: 이는 램지 (Ramanujan) 의 분할 수 합동식과 유사한 형태의 합동식이 모든 소수에 대해 성립하지 않음을 보여주는 것으로, $spt(n)$ 의 산술적 성질이 매우 복잡하고 제한적임을 보여줍니다.

4. 의의 및 기여 (Significance)

1. 이론적 확장: 분할 수 $p(n)$ 에 대한 성공적인 점화식 일반화 기법을, 훨씬 더 복잡한 구조를 가진 조화 마아스 형식 $spt(n)$ 으로 확장했습니다. 특히 Maass-Poincaré 급수의 수렴 실패 문제를 해석적 연속으로 해결한 것은 중요한 방법론적 기여입니다.
2. 산술적 성질의 심화: $spt(n)$ 의 합동식이 단순히 우연이 아니라, 모듈러 형식의 깊은 산술적 성질 (헤케 트레이스, 가상의 모듈러 형식) 과 밀접하게 연관되어 있음을 명확히 했습니다.
3. 새로운 증명 및 발견: 기존에 알려진 $spt(n)$의 합동식에 대한 새로운 증명을 제공했을 뿐만 아니라,$\ell \ge 13$ 인 소수에서의 합동식 부재 (Incongruence) 를 엄밀하게 증명하여, $spt(n)$ 에 대한 램지-유사 합동식의 한계를 규명했습니다.
4. 계산적 도구 제공: 제시된 점화식은 $spt(n)$을 효율적으로 계산하는 새로운 알고리즘적 기반을 마련해 주며, 특정 차수의 모듈러 형식 계수를 통해$spt(n)$ 의 값을 직접적으로 연결합니다.

5. 결론

이 논문은 $spt(n)$의 생성 함수가 가진 조화 마아스 형식의 특성을 활용하여, 홀로모픽 사영과 해석적 연속 기법을 결합한 정교한 분석을 수행했습니다. 그 결과,$spt(n)$에 대한 강력한 일반화된 점화식을 유도하고, 이를 통해 소수$\ell$ 에 대한 합동식 및 부합동 성질을 체계적으로 규명함으로써, 분할 이론과 모듈러 형식 이론의 교차점에서 중요한 진전을 이루었습니다.