Sign Laws and Mock Theta Functions

기술 요약: 부호 법칙과 모크 세타 함수 (Sign Laws and Mock Theta Functions)

문제 정의
본 논문은 라마누잔의 3차 모크 세타 함수 $\rho(q)$의 계수 $r(n)$의 부호 거동을 다룬다. $\rho(q)$는 다음과 같은 급수로 정의된다:
$$\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.$$
초기 계수들에 대한 경험적 관찰은 모듈로 3에 대한 놀라운 주기적 부호 패턴을 보여준다: 즉, $r(3m) > 0$인 반면, $r(3m+1) \le 0$이고 $r(3m+2) \le 0$이다. 비양수 잔여 클래스에서의 영점(zero)은 특정 작은 정수들($n = 2, 4, 8, 11, 20$)에서만 나타나는 것으로 보인다. 본 연구의 주요 목적은 모든 $n \ge 0$에 대해 이 "부호 법칙(sign law)"을 엄밀하게 증명하고, $r(n) = 0$이 되는 인덱스의 정확한 집합을 식별하는 것이다.

방법론
증명은 해석적 정수론(특히 모크 세타 함수에 적응된 원법(circle method))과 정밀한 정수 산술을 결합한다.

1. Watson의 항등식을 통한 축소:
   저자들은 $\rho(q)$를 다른 3차 모크 세타 함수 $\omega(q)$ 및 에타 몫(eta-quotient) $T(q)$와 연관 짓는 Watson의 항등식을 활용한다:
   $$2\rho(q) + \omega(q) = T(q), \quad \text{여기서 } T(q) = 3 \frac{(q^6; q^6)_\infty^4}{(q^3; q^3)_\infty^2 (q^2; q^2)_\infty}.$$
   이는 문제를 $T(q) - \omega(q)$를 분석하는 문제로 축소시킨다. $T(q)$의 계수는 모듈러(modular) 성질을 가지나, $\omega(q)$는 모크 세타 함수이다.

2. 원법(Circle Method) 및 1의 거듭제곱근 분석:
   계수 $r(n)$은 $|q| = e^{-\beta}$인 원 위에서 코시 적분 공식을 통해 추출된다. 적분은 "주요 호(major arcs)"와 "부차적 호(minor arcs)"로 분해된다.

• $q=1$에서의 상쇄: $T(q)$와 $\omega(q)$의 선도적인 극(polar) 항들은 $q=1$에서 동일하며, 이 차이 속에서 상쇄되어 다항식적으로 유계된 기여만을 남긴다.
• $q=-1$에서의 소멸: $q=-1$에서의 기여 또한 다항식적으로 유계됨이 입증되었다.
• 삼차 거듭제곱근에서의 지배성: 살아남은 첫 번째 지수 항들은 원시 삼차 거듭제곱근($\zeta = e^{2\pi i/3}$ 및 $\zeta^2$)으로부터 발생한다. 저자들은 Zwegers 완성을 사용하고 변환 법칙을 이용하여, 이 근처에서의 $\rho(q)$에 대한 유효한 점근적 추정치를 도출한다.

3. 유효 점근 (Effective Asymptotics):
   삼차 호(cubic arcs)의 기여는 다음과 같은 형태의 주 항(main term)을 생성한다:
   $$\kappa_{n \pmod 3} \frac{2\pi}{d_n^{1/4}} I_{1/2}(x),$$
   여기서 $d_n = 12n+8$, $x = \pi\sqrt{d_n}/18$이며, 상수 $\kappa_0, \kappa_1, \kappa_2$는 $\pi/18$을 포함하는 삼각함수 값으로부터 유도된다. 구체적으로:

• $\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$

저자들은 부차적 호와 비지배적 주요 호에 대한 명시적인 오차 범위를 설정한다. 그들은 충분히 큰 $n$에 대하여 주 항이 오차 항을 압도함을 증명함으로써 $r(n)$의 부호를 결정한다.

4. 유한 검증:
   점근적 지배성이 아직 증명되지 않은 범위의 $n$을 처리하기 위해, 저자들은 정수 산술을 이용한 정확한 계산을 수행한다. 저자들은 $r(n)$을 정확하게 계산하기 위해 절단된 다항식 환 $\mathbb{Z}[q]/(q^{L+1})$에서 작동하는 알고리즘을 구현하여, 분석적 추정에 의해 결정된 교차점까지의 계수를 계산한다.

주요 결과
본 논문은 모든 $n \ge 0$에 대해 부호 법칙을 확립하는 정리 1.1을 증명한다:

• 모든 $m \ge 0$에 대해 $r(3m) > 0$.
• 모든 $m \ge 0$에 대해 $r(3m+1) \le 0$ 및 $r(3m+2) \le 0$.
• 등식($r(n)=0$)은 정확히 $n \in \{2, 4, 8, 11, 20\}$에서 발생한다.

해석적 부분의 증명은 $n \ge 392,275$에 대해 부호 법칙을 보장한다. 정밀 정수 검증은 $0 \le n < 392,275$ 범위에 대해 결과를 확인하여, 특정 영점들을 식별하고 해당 유한 범위 내에서 부호 위반이 존재하지 않음을 확인한다.

의의 및 주장
본 논문은 모크 세타 계수의 부호 거동이 "거듭제곱근 지배 원리(root-of-unity dominance principle)"에 의해 제어될 수 있다고 주장한다. $\rho(q)$의 경우, $q=1$에서의 지배적인 극의 상쇄는 결정적인 요인을 삼차 거듭제곱근으로 이동시키며, 이들의 위상(phase)이 주기적인 부호 패턴을 결정한다.

저자들은 이 방법론이 $\rho(q)$에 국한되지 않는다고 제안한다. 그들은 동일한 전략—즉, 상쇄되지 않는 첫 번째 거듭제곱근 기여를 식별하고 나머지 호를 제어하는 것—이 다른 3차 모크 세타 함수들에도 적용되어야 함을 시사한다. 구체적으로, 라마누잔의 함수 $\phi(q)$(주기 4)와 $\chi(q)$(주기 6)에서 나타나는 유사한 부호 법칙에 대한 예비적 증거를 인용하며, 이러한 결과들을 라마누잔의 모든 모크 세타 함수로 확장하기 위한 체계적인 프로그램을 제안한다. 이 연구는 모크 세타 함수의 질적인 모듈러 성질과 그 계수의 정밀한 양적인 산술적 성질 사이의 간극을 메운다.