Sign law for Ramanujan's third order mock theta function $\rho(q)$

기술 요약: 라마누잔의 3차 모크 세타 함수 $\rho(q)$에 대한 부호 법칙

문제 정의
본 논문은 다음과 같이 정의된 라마누잔의 3차 모크 세타 함수 $\rho(q)$의 계수 $r(n)$을 조사한다:
$$\rho(q) = \sum_{m \ge 0} \frac{q^{2m(m+1)}}{(1 + q + q^2)(1 + q^3 + q^6) \cdots (1 + q^{2m+1} + q^{4m+2})} = \sum_{n \ge 0} r(n)q^n.$$
초기 계수들을 수치적으로 계산해 보면 $n \pmod 3$에 따른 엄격한 부호 패턴이 나타난다:

• $r(3n) > 0$
• $r(3n+1) \le 0$
• $r(3n+2) \le 0$

음의 나머지 클래스에서 초기 항들이 가끔 0이 되기도 하지만(구체적으로 $r(2), r(4), r(8), r(11), r(20) = 0$), "잘못된" 부호를 가진 항은 관찰되지 않았다. 본 논문은 이 부호 법칙의 점근적 타당성을 증명하는 것을 목표로 한다.

방법론
증명은 원법(circle method)과 모크 세타 계수의 점근적 분석에 의존하며, 구체적으로 다음 단계들을 활용한다:

1. 왓슨의 항등식(Watson's Identity): 저자들은 $\rho(q)$를 다른 모크 세타 함수 $\omega(q)$ 및 테타-에타 곱 $T(q)$와 연관 짓는 왓슨의 고전적 항등식을 사용한다:
   $$2\rho(q) + \omega(q) = T(q).$$
   계수의 관점에서 이는 $2r(n) = t(n) - w(n)$이라는 관계식을 도출한다. 여기서 $t(n)$과 $w(n)$은 각각 $T(q)$와 $\omega(q)$의 계수이다.

2. 라데마허 유형 전개(Rademacher-Type Expansions):

   • $\omega(q)$에 대하여: 저자들은 $\omega(q)$에 대한 기존의 라데마처 유형 전개(Garthwaite 및 Andersen–Anderson의 연구 기반)를 활용한다. 이들은 첫 세 개의 클로스테르만 합($c=1, 2, 3$)을 명시적으로 계산하여 주된 점근 항들을 결정한다.
   • $T(q)$에 대하여: $T(q)$는 테타-에타 몫으로 표현된다: $T(q) = 3 \psi(q^3)^2 / (q^2; q^2)_\infty$. 저자들은 이 에타 몫에 대한 새로운 라데마처 유형 전개를 유도한다. 여기에는 대응하는 승수 체계(multiplier system)와 베셀 계수를 결정하기 위해 단위근($q=1, -1, \zeta, \zeta^2$) 근처에서의 $T(q)$의 국소적 점근 거동을 계산하는 과정이 포함된다.

3. 상쇄 및 비교:
   전개식들을 $2r(n) = t(n) - w(n)$에 대입함으로써, 저자들은 주된 항들(대응하는 $c=1$)이 정확히 상쇄됨을 관찰한다. $c=2$에 해당하는 항들은 두 함수 모두에서 소거된다. 결과적으로 $r(n)$의 점근적 거동은 $c=3$ 항들에 의해 지배된다.

4. 부호 결정:
   저자들은 $t(n)$과 $w(n)$에 대해 $c=3$ 항들로부터 발생하는 구체적인 상수들을 계산한다. 이들은 $r(n)$의 계수가 수정된 베셀 함수 $I_{1/2}$와 상수 $\kappa_{n \pmod 3}$의 곱에 비례함을 입증한다. $I_{1/2}(x) > 0$ (단, $x > 0$)이므로, $r(n)$의 부호는 결국 $\kappa_{n \pmod 3}$의 부호에 의해 결정된다.

주요 결과
본 논문은 $n \to \infty$일 때 $r(n)$에 대한 다음과 같은 점근 공식을 확립한다:
$$r(n) \sim \kappa_{n \pmod 3} \frac{2\pi}{(12n+8)^{1/4}} I_{1/2}\left( \frac{\pi\sqrt{12n+8}}{18} \right),$$
여기서 상수들은 다음과 같다:

• $\kappa_0 = \frac{1}{3} \cos(\frac{\pi}{18}) > 0$
• $\kappa_1 = -\frac{1}{3} \sin(\frac{2\pi}{9}) < 0$
• $\kappa_2 = -\frac{1}{3} \sin(\frac{\pi}{9}) < 0$

정리 1.2는 충분히 큰 모든 $n$에 대하여 다음이 성립함을 명시한다:

• $r(3n) > 0$
• $r(3n+1) < 0$
• $r(3n+2) < 0$

이 근사식의 오차 항은 주된 항보다 지수적으로 작음($O(e^{\pi\sqrt{12n+8}/24})$ 대 주된 항의 성장 $e^{\pi\sqrt{12n+8}/18}$)이 보여졌으며, 이는 부호가 결국 고정됨을 보장한다.

의의 및 주장
본 논문은 $\rho(q)$의 계수에 대한 점근적 부호 법칙을 증명한 첫 사례라고 주장한다. 이 연구는 Dragonette, Andrews, Bringemann, Ono의 아이디어의 범주 내에서 모크 세타 함수의 산술적 성질을 이해하는 광범위한 맥락에 부합한다.

저자들은 자신의 증명이 계수의 "결국(eventual)" 발생하는 거동을 다루고 있음을 명시적으로 밝힌다. 이들은 모든 $n$에 대해 부호 법칙이 성립하는 정확한 유한 절단점(finite cutoff)을 결정한다고 주장하지 않으나, 실험적 데이터는 $n \ge 21$인 모든 $n$에 대해 엄격한 부등식이 성립함을 시사한다(언급된 음의 클래스에서의 0들을 포함하여). 본 논문은 다른 3차 모크 세타 함수들, 특히 $\phi(q)$와 $\chi(q)$에 대해서도 유사한 부호 법칙이 존재할 수 있다는 추측으로 결론을 맺지만, 이는 본 연구에서 증명된 바는 아니다.