Proofs for Andrews' Conjectures 5 and 6 on $v_1(q)$

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

이 논문은 Ramanujan 의 잃어버린 노트 (Lost Notebook) 에 등장하는 $q$-급수 $v_1(q)$의 계수 $V_1(n)$에 대한 Andrews 의 추측들을 다루고 있습니다.
$$v_1(q) = \sum_{n \ge 0} \frac{q^{n(n+1)/2}}{(-q^2; q^2)_n} = \sum_{n \ge 0} V_1(n)q^n$$
Folsom, Males, Rolen, Storzer (2024) 는 Andrews 의 Conjecture 4 (대부분의 $n$에 대해 인접한 4 개의 계수가 2 개는 양수, 2 개는 음수) 와 Conjecture 3의 정밀한 밀도 1 버전 ($|V_1(n)| \to \infty$) 을 증명했습니다. 또한 그들은 Conjecture 5 와 6 에 대한 심층적인 귀납적 (heuristic) 논의를 제시했습니다.

본 논문은 Folsom 등 연구팀의 작업을 이어받아, Andrews 의 Conjecture 5 와 6 을 무조건적으로 (unconditionally) 증명하는 것을 목표로 합니다.

• Conjecture 5: $n \ge 5$인 무한한 정수열 $N_n$이 존재하여, $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$가 모두 같은 부호를 가진다는 주장.
• Conjecture 6: 위와 같은 $N_n$에 대해, $|V_1(N_n)|, |V_1(N_n+1)|, |V_1(N_n+2)|$ 중 하나는 $|V_1(j)|$ 시퀀스의 국소 최소값 (local minimum) 이라는 주장.

2. 방법론 (Methodology)

저자는 Folsom 등이 확립한 점근적 근사식 (asymptotic approximation) 을 기반으로 하여, 삼각함수 인자의 영점 (zeros) 과 정수 격자 사이의 거리를 분석하는 수론적 기법을 사용합니다.

2.1 점근적 분석 (Asymptotic Analysis)

Folsom 등의 정리 (Theorem 2) 에 따르면, $n \to \infty$일 때 $V_1(n)$은 다음과 같이 근사됩니다.
$$V_1(n) \approx (-1)^{\lfloor n/2 \rfloor} \frac{e^{c\sqrt{n}}}{\sqrt{n}} (\gamma_+ + (-1)^n \gamma_-) (\cos(c\sqrt{n}) - (-1)^n \sin(c\sqrt{n}))$$
여기서 $c = \sqrt{2|V|}$이며, $V$는 Bloch-Wigner dilogarithm 과 관련이 있습니다.
이 식을 짝수 ($n$) 와 홀수 ($n$) 로 나누어 정리하면, 주된 항 (main term) 은 $F_-(c\sqrt{n}) = \cos(c\sqrt{n}) - \sin(c\sqrt{n})$ 또는 $F_+(c\sqrt{n}) = \cos(c\sqrt{n}) + \sin(c\sqrt{n})$에 의해 결정됨을 알 수 있습니다.

2.2 2 차 수열의 정수 격자로부터의 거리 (Distance from Integers)

핵심적인 도구는 $\alpha = \pi^2/c^2$로 정의된 상수와 관련된 2 차 수열입니다.

• $F_-$의 영점은 $r_m = \pi(m + 1/4)$, $F_+$의 영점은 $s_m = \pi(m + 3/4)$입니다.
• 이에 대응하는 2 차 수열은 $P_-(m) = \alpha(m + 1/4)^2$와 $P_+(m) = \alpha(m + 3/4)^2$입니다.

Theorem 3을 통해 저자는 $\alpha$가 정수가 아님을 증명하고 (Lemma 1), 이 두 2 차 수열이 무한히 많은 $m$에 대해 정수로부터 양의 거리 ($\delta_-, \delta_+$) 를 유지하는 부분수열이 존재함을 보입니다.

• 만약 $\alpha$가 무리수라면 Weyl 의 균등 분포 정리를 적용합니다.
• 만약 $\alpha$가 유리수라면, 수열이 모듈로 1 에서 주기적임을 이용하여 정수가 아닌 값들이 존재함을 보입니다.

2.3 부호 및 국소 최소값 결정

Theorem 4 와 5 에서는 위와 같이 정수에서 멀리 떨어진 $m$들을 선택하여, $N_m$ (짝수) 과 $M_m$ (홀수) 을 정의합니다.

• $N_m < \alpha(m+1/4)^2 < N_m+2$를 만족하는 유일한 짝수 $N_m$을 설정합니다.
• 이 지점들에서 $V_1(n)$의 주된 항 (main term) 의 부호를 분석합니다. $F_-$와 $F_+$의 성질을 이용해 $N_m, N_m+1, N_m+2$에서 주된 항의 부호가 모두 동일함을 보입니다.
• 오차 항 (error term) 이 주된 항보다 작음을 보임으로써, 실제 계수 $V_1(n)$의 부호도 주된 항과 일치함을 증명합니다.
• 또한, 짝수 인덱스 ($N_m, N_m+2$) 에서의 값이 인접한 홀수 인덱스 ($N_m \pm 1$) 의 값보다 훨씬 작음을 보여, 국소 최소값이 존재함을 증명합니다.

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

3.1 Theorem 1 (주요 정리)

Andrews 가 제안한 Conjecture 5 와 6 을 완전히 증명했습니다. 구체적으로 다음과 같은 정수열 $(N_n)_{n \ge 5}$가 존재함을 보였습니다:

• 초기값: $N_5=293, N_6=410, N_7=545, N_8=702$.
• 성장 조건: $n \ge 9$일 때 $N_n > 10n^2$.
• 성질: 모든 $n \ge 5$에 대해 $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$는 동일한 부호를 가지며, 이 중 하나는 $|V_1(j)|$의 국소 최소값입니다.

3.2 구체적인 수치 검증 (Proposition 1)

논문 말미에서 Andrews 가 제시한 초기 값들 (293, 410, 545, 702) 에 대해 직접 계산을 수행하여, 해당 구간에서 부호 규칙과 국소 최소값 조건이 실제로 성립함을 수치적으로 확인했습니다.

• 예: $V_1(293)=4, V_1(294)=375, V_1(295)=9$ (모두 양수), $|V_1(293)|$과 $|V_1(295)|$가 국소 최소.

3.3 무조건적 증명 (Unconditional Proof)

이 연구는 가설이나 수치적 추정에 의존하지 않고, 엄밀한 해석적 수론 (analytic number theory) 과 점근적 분석을 기반으로 Conjecture 5 와 6 을 무조건적으로 증명했다는 점에서 의미가 큽니다.

4. 의의 및 중요성 (Significance)

1. Ramanujan-Lost-Notebook 연구의 완성: Ramanujan 의 잃어버린 노트에 등장하는 $q$-급수의 계수 행동에 대한 Andrews 의 중요한 추측들 중 4 개와 5, 6 을 모두 해결함으로써 해당 분야의 이해를 심화시켰습니다.
2. 계수의 부호 규칙성 규명: $|V_1(n)|$이 발산한다는 사실 (Conjecture 3) 을 넘어, 계수들이 어떻게 부호를 바꾸는지, 그리고 그 패턴이 어떻게 국소적인 최소값과 연결되는지에 대한 정량적인 설명을 제공했습니다.
3. 수론적 기법의 적용: 무리수/유리수 $\alpha$에 대한 2 차 수열의 분포 성질과 Bloch-Wigner dilogarithm 의 성질을 결합하여 점근적 분석의 오차 범위를 정밀하게 제어하는 기법은 향후 유사한 $q$-급수 문제 해결에 중요한 도구가 될 것입니다.

요약하자면, 본 논문은 Andrews 의 Conjecture 5 와 6 을 점근적 분석과 정수론적 기법을 통해 엄밀하게 증명하여, Ramanujan 의 Lost Notebook 에 대한 현대적 연구의 중요한 이정표를 세웠습니다.