Exponential sums over Möbius convolutions with applications to partitions

논문 개요

이 논문은 정수 $n$의 분할 (partition) 문제 중, 각 부분 (parts) 의 소인수 분해 구조에 따라 가중치 (weights) 를 부여한 **가중 분할 (weighted partitions)**의 점근적 거동을 연구합니다. 특히, 가중치가 모비우스 함수 (Möbius function) $\mu(n)$ 또는 그 디리클레 합성곱 (Dirichlet convolution) 인 경우를 다루며, 하디 - 리틀우드 원 방법 (Hardy-Littlewood circle method) 을 적용하여 주요 결과를 도출합니다.

1. 연구 문제 및 동기 (Problem & Motivation)

• 문제 정의: 정수 $n$의 분할에서 각 부분이 '파란색 (Blue, 소인수 개수가 짝수인 제곱인수 없는 수)' 또는 '빨간색 (Red, 소인수 개수가 홀수인 제곱인수 없는 수)'으로 분류되고, 빨간색 부분은 최대 한 번만 나타날 수 있는 **허용 가능한 분할 (admissible partitions)**을 고려합니다.
• 핵심 질문: $n$이 무한대로 갈 때, '짝수 개의 빨간색 부분을 가진 허용 가능한 분할'의 수 ($E(n)$) 와 '홀수 개의 빨간색 부분을 가진 허용 가능한 분할'의 수 ($O(n)$) 가 서로 점근적으로 동일한가?
• 수학적 형식화:
  • 생성함수: $\sum_{n=1}^\infty p_w(n) z^n = \prod_{m \in \mathbb{N}} (1 - z^m)^{-w(m)}$.
  • 여기서 가중치 $w(n) = \mu(n)$인 경우, $p_\mu(n) = E(n) - O(n)$이 됩니다.
  • 따라서 $E(n) \sim O(n)$임을 보이기 위해서는 $p_\mu(n)$의 차이가 0 에 수렴하거나 매우 작음을 증명해야 합니다.
• 확장: 모비우스 함수 $\mu(n)$을 대신하여 $k$번의 디리클레 합성곱을 수행한 Popovici-Möbius 함수 $\mu_k(n) = (\mu * \mu * \dots * \mu)(n)$를 고려하여 더 일반적인 경우를 연구합니다.

2. 방법론 (Methodology)

논문의 핵심 방법론은 **하디 - 리틀우드 원 방법 (Hardy-Littlewood circle method)**입니다.

1. 생성함수 분석:
   • 분할 함수 $p_{\mu_k}(n)$은 생성함수 $\Psi(z) = \exp(\Phi(z))$의 계수로 표현됩니다.
   • $\Phi(z)$는 모비우스 합성곱과 관련된 급수 형태로, 이를 복소 평면에서의 적분 (Cauchy 적분 공식) 으로 변환합니다.
2. 주호 (Major Arcs) 와 부호 (Minor Arcs) 분리:
   • 단위 원호를 유리수 근사 $a/q$ 주변의 주호와 나머지 부호로 나눕니다.
   • 주호 (Major Arcs): 리만 제타 함수 $\zeta(s)$의 영점 (zeros) 과 관련된 명시적 공식 (Explicit Formula) 을 유도하여 주 기여도를 계산합니다.
   • 부호 (Minor Arcs): 지수합 (Exponential Sums) $S_{\mu_k}(X, \alpha) = \sum_{n \le X} \mu_k(n) e(n\alpha)$의 상한을 추정하여 부호의 기여도가 주호에 비해 무시할 수 있음을 보입니다.
3. 지수합 추정 (Exponential Sum Bounds):
   • 모비우스 합성곱으로 꼬인 지수합에 대한 새로운 상한을 증명하기 위해 **Type I 및 Type II 추정 (Koukoulopoulos 의 결과 확장)**을 사용합니다.
   • 디리클레 합성곱의 성질과 소수 정리, 제타 함수의 성질을 결합하여 정밀한 오차항을 제어합니다.

3. 주요 결과 (Key Results)

A. 분할 함수에 대한 점근적 결과

• 정리 1.1 (Theorem 1.1): $n \to \infty$일 때, 허용 가능한 분할 중 짝수 개와 홀수 개의 빨간색 부분을 가진 분할의 수가 점근적으로 동일합니다 ($E(n) \sim O(n)$).
• 정리 1.2 (Theorem 1.2): 가중치가 $\mu * \mu$인 분할 함수 $p_{\mu * \mu}(n)$에 대해 다음과 같은 상한을 증명합니다:
  $$\log p_{\mu * \mu}(n) = O_B \left( \frac{\sqrt{n}}{(\log n)^B} \right)$$
  이는 $p_{\mu * \mu}(n)$이 $n$이 커짐에 따라 매우 느리게 증가하거나 (또는 0 에 가까워짐) 하여 $E(n)$과 $O(n)$의 차이가 전체 분할 수에 비해 미미함을 의미합니다.
  • 참고: 일반적인 가중 분할 (양의 가중치) 은 지수적으로 증가하지만, 부호를 가진 가중치 (모비우스 함수) 의 경우 주항 (main term) 이 사라지고 상한만 존재한다는 점이 특징입니다.

B. 지수합에 대한 새로운 상한 (Exponential Sum Bounds)

• 정리 1.4, 1.5, 1.6, 1.7: 모비우스 함수 $\mu(n)$, 그 합성곱 $\mu_k(n)$, 그리고 제곱인수 없는 수/제곱인수 있는 수의 지시함수와 합성곱된 함수들에 대한 지수합 $S(X, \alpha)$에 대한 정밀한 상한을 제시합니다.
  • 예: $S_{\mu}(X, \alpha) \ll_\epsilon X^{4/5+\epsilon} + \dots$
  • 이러한 상한은 부호 (minor arcs) 에서의 적분 값을 제어하는 데 필수적입니다.

C. 명시적 공식 (Explicit Formula)

• 정리 1.3 (Theorem 1.3): 주호에서의 기여도 $\Phi_{\mu * \mu}(\rho e(\theta))$가 리만 제타 함수 $\zeta(s)$의 비자명한 영점 (non-trivial zeros) $\rho$들의 합으로 표현되는 명시적 공식을 유도했습니다.
  • 이 공식은 제타 함수의 영점들이 분할 함수의 점근적 행동에 직접적으로 영향을 미친다는 것을 보여줍니다.
  • 공식은 $\log X$, $\zeta'(\rho)$, 그리고 $\rho$에 대한 합으로 구성됩니다.

4. 의의 및 기여 (Significance & Contributions)

1. 부호를 가진 가중 분할의 이해: 기존에 양의 가중치에 대한 분할 연구가 주를 이뤘다면, 본 논문은 음수와 양수가 혼합된 가중치 (모비우스 함수) 를 가진 분할의 거동을 체계적으로 분석했습니다. 이는 주항이 존재하지 않고 상한만 존재하는 현상을 보여주며, 수론적 분할 이론의 새로운 지평을 엽니다.
2. 지수합 기술의 발전: 모비우스 합성곱으로 꼬인 지수합에 대한 새로운 상한 (Theorem 1.5 등) 을 확립하여, 향후 유사한 문제 (예: 소수 분포, 다른 산술 함수의 분할) 에 적용 가능한 강력한 도구를 제공했습니다.
3. 리만 가설과의 연결: 분할 함수의 점근적 행동이 리만 제타 함수의 영점 분포와 밀접하게 연관됨을 명시적 공식을 통해 보여주었습니다. 이는 분할 이론과 해석적 수론의 깊은 연결을 다시 한번 확인시켜 줍니다.
4. 구체적 문제 해결: "짝수/홀수 허용 분할의 수비교"라는 구체적인 질문 (Motivation 1.1) 에 대해 엄밀하게 "점근적으로 같다"는 답을 제시했습니다.

5. 결론

이 논문은 하디 - 리틀우드 원 방법과 현대 해석적 수론 기법을 결합하여, 모비우스 함수와 관련된 복잡한 가중 분할 문제를 해결했습니다. 특히, 부호를 가진 가중치 하에서 분할 함수가 어떻게 행동하는지에 대한 엄밀한 상한을 제시하고, 이를 위해 모비우스 합성곱 지수합에 대한 새로운 추정치를 개발함으로써 수론과 조합론의 교차 영역에서 중요한 진전을 이루었습니다.