On a conjecture of Andrews and almost alternating sign patterns

기술 요약: 앤드류스의 추측과 거의 교대하는 부호 패턴에 관하여

문제 정의
본 논문은 라마누잔의 '잃어버린 노트(Lost Notebook)'에 등장하는 특정 $q$-급수에서 조지 앤드류스(George Andrews)가 관찰한 부호 현상을 다룬다. 고전적인 분할 이론적 $q$-급수들은 대개 계수가 단조 증가하거나 유계인 특성을 보이지만, 앤드류스는 특이한 거동을 보이는 다섯 가지 급수($\sigma(q), v_1(q), v_2(q), v_3(q), v_4(q)$)를 식별했다. 구체적으로, $v_2(q), v_3(q), v_4(q)$의 경우, 수치적 증거는 이들의 계수가 "매우 규칙적인 부호성(great sign regularity)"을 보이며, 극히 드문 예외를 제외하고는 부호가 교대하는 것처럼 보임을 시사했다. 본 논문은 이 세 급수에 관한 앤드류스의 추측을 증명하고, 이 현상을 설명하는 일반적인 틀을 구축하는 것을 목표로 한다.

방법론
저자들은 비모듈러(non-modular) $q$-급수에 적합한 기법인 라이트의 원법(Wright's Circle Method)을 변형하여 사용한다. 방법론은 다음과 같은 세 단계로 진행된다:

1. 단위근 근처에서의 점근적 거동: 저자들은 $q$가 단위근으로 접근할 때 생성 함수 $v_j(q)$를 분석한다. 이들은 $v_2$와 $v_4$를 포괄하기 위해 일반화된 $q$-초기하 형태인 $V_{r,b}(q)$를 활용한다. 와트슨의 경로 적분(Watson's contour integral)과 안장점 방법(saddle-point method)을 적용함으로써, $q \to \zeta e^{-z}$ (여기서 $\zeta$는 단위근)일 때 이 함수들의 정밀한 점근 전개를 유도한다.

   • 차수가 $m \not\equiv 2 \pmod 4$인 단위근의 경우, 함수들은 유계 상태를 유지한다.
   • 차수가 $m \equiv 2 \pmod 4$인 경우(특히 지배적인 극점인 $-1$의 경우), 함수들은 블로흐-비그너 딜로그리즘(Bloch–Wigner dilogarithm) $D(e^{i\theta})$를 포함하는 진동 항과 결합된 지수적 성장을 보인다.

2. 계수 추출: 지배적인 극점 근처에서의 생성 함수의 점근적 거동을 도출한 후, 저자들은 원법을 적용하여 계수 $V_j(n)$의 점근적 거동을 추출한다. 이 과정은 경로 적분을 주 영역(major arc, 지배적 극점 주변)과 부 영역(minor arcs)으로 분해하는 과정을 포함한다. 주 영역의 기여는 지배적인 항을 생성하며, 부 영역은 더 작은 오차 항을 기여하는 것으로 나타난다.

3. 부호 패턴 분석: 저자들은 특정 점근 형태(지수적 성장 인자, 패리티 의존 부호 인자 $(-1)^n$, 그리고 진동하는 코사인 항으로 특징지어지는)를 만족하는 임의의 정수 수열이 반드시 "거의 교대하는 부호 패턴(almost alternating sign pattern)"을 보인다는 일반 정리(정리 6.4)를 확립한다. 저자들은 불일치 이론(discrepancy theory, 특히 $\sqrt{n} \pmod 1$과 같은 수열의 분포에 대한 경계)을 활용하여 진동 항의 영점이 밀도 제로(density zero)로 발생함을 증명함으로써, 거의 모든 $n$에 대해 부호 교대가 성립함을 보장한다.

주요 기여 및 결과

• 앤드류스의 추측 증명: 본 논문은 $v_2(q), v_3(q), v_4(q)$의 부호 거동에 대한 엄밀한 증명을 제공한다.

  • 정리 A: 수열 $V_2(n), V_3(n), V_4(n)$이 거의 교대하는 부호 패턴을 만족함을 확인한다. 구체적으로, 밀도 제로 집합을 제외하고 $|V_j(n)| \to \infty$이며, 거의 모든 $n$에 대해 $V_j(n)$과 $V_j(n+1)$은 반대의 부호를 갖는다.
  • 정리 B: 계수에 대한 정밀한 점근 공식을 제공한다. $j \in \{2, 3, 4\}$에 대하여, 계수는 다음과 같이 거동한다:
    $$V_j(n) \sim (-1)^n \alpha_j \frac{e^{2\sqrt{n}\text{Re}(\sqrt{W_j})}}{\sqrt{n}} \cos\left(2\sqrt{n}\text{Im}(\sqrt{W_j}) - \delta_j\right)$$
    여기서 $W_j$는 블로흐-비그너 딜로그리즘을 포함하며, $\alpha_j, \delta_j$는 명시적인 상수이다. 이 공식은 부호를 결정하는 지수적 성장과 진동 거동 사이의 상호작용을 명시적으로 드러낸다.

• 조합론적 해석: 저자들은 $V_2(n), V_3(n), V_4(n)$의 계수를 분할(partition) 및 오버분할(overpartition)의 관점에서 바라보는 새로운 조합론적 해석을 제공한다. 특히, $V_4(n)$에 대한 해석을 수정 및 정교화하였는데, 이는 앤드류스의 원래 공식에서 누락되었던 가장 큰 부분(largest part)의 합동(congruence) modulo 4 조건을 추가한 것이다.

• 일반화: 결과는 $V_{r,b}(q)$ 형태의 무한 가족 $q$-초기하 급수 및 선형 결합 $U_{2,b}(q)$로 확장된다. 본 논문은 이러한 부호 현상이 고립된 기이함이 아니라, 단위근 근처에서 이러한 급수들이 보이는 진동적 점근 거동으로부터 체계적으로 발생하는 것임을 입증한다.

• 새로운 가족 및 수치적 관찰: 저자들은 새로운 급수 가족 $v_{\{k\}}(q)$를 도입하고, 이들의 계수가 길이 $k$를 갖는 일반화된 부호 패턴을 보인다는 수치적 증거를 제시한다. 비록 증명되지는 않았으나, 이는 이 현상이 널리 퍼져 있음을 시사한다.

의의
본 논문은 라마누잔의 '잃어버린 노트'에 등장하는 특정 $q$-급수의 부호 규칙성에 관한 앤드류스의 오랜 추측을 해결한다. 이 연구는 이 급수들을 이차체의 산술(블로흐-비그너 딜로그리즘을 통해) 및 오토모픽 대상(automorphic objects)과 연결함으로써, $q$-초기하 급수, 분할, 그리고 모듈러 형식 사이를 잇는 더 넓은 이론적 틀 안에 이 사례들을 위치시킨다. "거의 교대하는" 부호 패턴을 증명하기 위한 일반적인 틀을 개발한 것은 비모듈러 $q$-급수의 계수를 분석하기 위한 새로운 도구를 제공한다. 저자들은 $v_1(q)$에 대한 결과는 이미 폴섬(Folsom), 말레스(Males), 롤렌(Rolen), 스토르저(Storzer)에 의해 확립되었음을 언급하며, 본 논문은 남은 급수들을 다루고 더 넓은 범위의 함수들에 대한 통합된 접근 방식을 제공한다고 밝힌다.