Vanishing Coefficients in Products of Quintuple Products

기술 요약: 두 개의 퀸터플 프로덕트 곱에서의 계수 소멸 현상

문제 정의
본 논문은 무한 $q$-프로덕트의 급수 전개에서 나타나는 계수의 소멸 현상을 조사하며, 특히 두 개의 퀸터플 프로덕트(Quintuple Product)로 형성된 곱에 초점을 맞춘다. 이 연구는 특정 $q$-급수 전개의 계수가 소멸하는 소수(prime)에 대한 산술적 진행(arithmetic progression)을 식별했던 Richmond와 Szekeres, Andrews와 Bressoud 등의 이전 연구를 확장한다. 저자들은 $p = m^2 + n^2$이고 $b$가 양의 정수일 때, $Q(q^{bm}, q^p)Q(q^{bn}, q^p)$의 계수가 동일하게 0이 되는 $p \equiv 1 \pmod 4$에 대한 명시적인 산술적 진행을 도출하는 것을 목표로 한다. 여기서 $Q(z, q)$는 퀸터플 프로덕트를 나타낸다.

방법론
저자들은 이 주제에 관한 기존의 연구들과 근본적으로 다른 방법을 사용하는데, 기존 연구들이 $p$-분할($p$-dissection)과 $(1; q^{p^2})_\infty$ 형태의 무한 프로덕트의 출현에 의존했던 것과 대조적이다. 본 논문은 **정수 격자(integer lattices) 상의 인볼루션 변환(involutive transformations)**을 활용한다.

핵심 전략은 다음과 같다:

1. 정식화(Formulation): Jacobi Triple Product Identity를 사용하여 $Q(q^{bm}, q^p)Q(q^{bn}, q^p)$를 (소멸하지 않는 인자 $(q^{2p}; q^{2p})_\infty^2$를 곱하여) 정수 $r, s, u, v$에 대한 4중 합(quadruple sum)으로 표현한다.
2. 제한(Restriction): $q$의 지수가 특정 값 $b\tau \pmod p$와 합동인 항들로 합을 제한한다. 여기서 $\tau$는 계수가 소멸할 것으로 가설이 세워진 산술적 진행에 대응한다.
3. 인볼루션 구성(Involution Construction): 정수 격자 $\mathbb{Z}^4$ 상의 사상 $x \mapsto x' = Ax + b$ (여기서 $x = (r, s, u, v)$)를 정의한다. 저자들은 다음을 만족하는 행렬 $A$와 벡터 $b$를 찾고자 한다:
   • 사상이 인볼루션이다 ($A^2 = I$ 및 $(A+I)b = 0$).
   • 지수 함수 $g(x)$가 사상에 대해 불변이다 ($g(x') = g(x)$).
   • 부호 함수 $f(x)$가 패리티(parity)를 반전시킨다 ($f(x') \equiv f(x) + 1 \pmod 2$).
4. 수치적 탐색(Numerical Exploration): $A$와 $b$의 구체적인 형태는 다양한 소수에 대해 컴퓨터 대수 실험(Mathematica 및 PARI/GP 사용)을 통해 처음에 발견되었다. 저자들은 $g(x') - g(x) = 0$이라는 조건으로부터 유도된 이차 방정식 시스템을 풀어 패턴을 찾아냈으며, 이를 일반화하고 분석적으로 검증하였다.

주요 기여 및 결과
주요 기여는 수열 $\{a_t\}$에 대해 계수가 소멸하는 산술적 진행을 명시적으로 결정하는 **정리 3(Theorem 3)**이다.
$$\sum_{t=0}^\infty a_t q^t = Q(q^{bm}, q^p)Q(q^{bn}, q^p)$$
$w \equiv \overline{2}(m+n) \pmod p$라고 하자. 소멸 조건은 $p \pmod{12}$에 따라 달라진다:

• 경우 1 ($p \equiv 1 \pmod{12}$):
  계수는 다음 진행의 지수 $t$에 대해 소멸한다:
  $$a_{pt + wb} = 0 \quad \text{및} \quad a_{pt + (w-3b)b} = 0$$
  (참고: 논문의 표기법은 $apt+wb$를$a_{pt+wb}$로 나타낸다).

• 경우 2 ($p \equiv 5 \pmod{12}$):
  계수는 다음 진행의 지수 $t$에 대해 소멸한다:
  $$a_{pt + (1-3b\overline{m})wb} = 0 \quad \text{및} \quad a_{pt + (1-3b\overline{n})wb} = 0$$

증명은 네 가지 별개의 하위 케이스(3에 대한 $m, n$의 가분성 및 $p \pmod{12}$의 값에 기반함)에 대해 행렬 $A$와 벡터 $b$를 명시적으로 구성하고, 이들이 요구되는 인볼루션 성질을 만족함을 검증함으로써 완성된다.

또한, 본 논문은 이 결과를 $(q^p; q^p)_\infty^2$로 나눈 프로덕트로 확장하는 **따름정리 1(Corollary 1)**을 제시한다. 이러한 수정은 소멸하는 계수를 분할 함수(partition functions)와 연결시키는데, 이는 다른 진행에서의 비소멸 계수들이 결국 일정한 부호를 유지한다는 사실과 관련이 있다.

의의 및 주장
저자들은 자신들의 결과가 $p$-분할에 의존하는 기존 방식과는 구별되는, 이러한 특정 곱의 계수 소멸에 대한 새로운 구성적 증명을 제공한다고 주장한다. 본 논문은 이러한 소멸이 두 개의 퀸터플 프로덕트의 전개에 나타나는 대칭성으로부터 발생함을 강조한다.

저자들은 두 개의 슈퍼라세러리(superlacunary) 급수(Ono와 Robins가 정의한)의 곱은 라세러리(lacunary, 많은 영 계수를 가짐)하지만, 자신들의 작업은 이러한 영(zero)이 체계적으로 발생하는 특정한 산술적 진행을 식별한다고 언급한다. 저자들은 자신들의 발견이 컴퓨터 보조 실험을 거쳐 엄밀한 대수적 검증을 통해 도출되었음을 겸허히 밝힌다.

결론에서 저자들은 세 개 또는 네 개의 퀸터플 프로덕트의 곱에서도 유사한 소멸 현상이 존재할 수 있음을 시사하며, 예비 실험 데이터(예: $p=31$ 및 $p=41$에 대한 데이터)를 인용한다. 다만, 이러한 사례들은 현재 연구의 범위가 아니며 후속 논문에서 다룰 것임을 명시한다.