Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

기술 요약: 제한된 분할 함수의 최소 주기(Minimum Period)에 대한 반례

문제 정의
본 논문은 고정된 양의 정수 수열 $a = (a_1, \dots, a_n)$에 대하여 방정식 $a_1x_1 + \dots + a_nx_n = k$를 만족하는 비음의 정수 해의 개수를 세는 제한된 분할 함수 $q_a(k)$의 거동을 다룬다. $q_a(k)$가 $n-1$차 준다항식(quasi-polynomial)이며 다음과 같이 표현된다는 점은 잘 알려져 있다:
$$q_a(k) = \sum_{j=0}^{n-1} c_j(k) k^j$$
여기서 계수 함수 $c_j(k)$는 주기 함수이다.

2008년, Beck, Sam, 그리고 Woods는 이 계수 함수들의 최소 주기에 관한 추측을 제기하였다. $b_m$을 $a$의 원소 중 $m$으로 나누어지는 원소의 개수라고 하자. 이 추측은 $c_j(k)$의 최소 주기가 정확히 다음과 같다고 가정한다:
$$p_j = \text{lcm}\{m \in \mathbb{Z}_{>0} : b_m > j\}$$
저자들은 이 추측이 명확한 나눗셈 상한(divisibility upper bound)을 제공하기는 하지만, 이것이 소거되는 계수(vanishing coefficients)의 관점에서 엄밀하게 증명되거나 완전히 규명되지 않았음을 언급한다.

방법론
저자들은 $c_j(k)$의 계수 함수에 대한 명시적인 식을 도출하기 위해 복소 해석학, 특히 유수 계산법(residue calculus)과 이산 푸리에 분석(discrete Fourier analysis)을 결합하여 사용한다.

1. 단위근 공식(Root-of-Unity Formula): 생성 함수 $R_a(x) = \prod_{i=1}^n (1-x^{a_i})^{-1}$를 분석함으로써, 저자들은 단위원(root of unity)들의 합으로서의 $c_j(k)$에 대한 명시적 표현식을 도출한다. 곱셈적 차수(multiplicative order)가 $m$인 단위원 $\zeta$에 대하여, $s_\zeta$를 $R_a(x)$의 $\zeta$에서의 극의 차수(order of the pole)라고 하자. 저자들은 보조 홀로모픽 함수 $\Phi_\zeta(t) = t^{s_\zeta} R_a(\zeta e^{-t})$를 정의한다.
2. 계수 추출: 저자들은 다음을 증명한다:
   $$c_j(k) = \sum_{\zeta \in \mu_N, s_\zeta > j} \gamma_{\zeta, j} \zeta^{-k}$$
   여기서 $\gamma_{\zeta, j} = \frac{1}{j!} [t^{s_\zeta - 1 - j}] \Phi_\zeta(t)$이다.
3. 주기 결정: 푸리에 전개의 유일성을 사용하여, 저자들은 $c_j(k)$의 최소 주기가 계수 $\gamma_{\zeta, j}$가 0이 아닌 단위원 $\zeta$들의 차수의 최소공배수임을 확립한다.
4. 반례 구축: 저자들은 $\gamma_{\zeta, j} = 0$인 $\zeta$가 존재할 때(즉, $s_\zeta > j$임에도 불구하고) Beck–Sam–Woods 추측이 실패함을 확인한다. 이들은 특정한 두 매개변수 가족 생성 함수 $R_{u,M}(x) = (1-x^2)^{-4}(1-x)^{-u}(1-x^M)^{-1}$ ($M$은 홀수)를 구축하고, $\zeta = -1$에 대응하는 계수가 소멸하는 $u$와 $M$에 대한 디오판토스 조건을 도출한다.
5. 무한 가족 생성: 계수의 소멸 조건은 음의 펠 방정식(negative Pell equation) $Y^2 - 3X^2 = -26$으로 변환된다. 이 방정식을 재귀 관계를 사용하여 해결함으로써, 저자들은 반례 조건을 만족하는 무한히 많은 $(u, M)$ 쌍을 생성한다.

주요 기여 및 결과

• 정확한 주기 공식 (정리 1.2): 본 논문은 $\Phi_\zeta(t)$의 테일러 전개에서 소멸하지 않는 계수들을 통해 $c_j(k)$의 최소 주기에 대한 최초의 정확한 공식을 제공한다. 이 공식은 주기가 단순히 극의 존재($s_\zeta > j$)뿐만 아니라, 특정 테일러 계수가 0이 되는지 여부에 따라 달라짐을 보여준다.
• 날카로운 나눗셈 상한 (정리 1.3): 저자들은 최소 주기 $per(c_j)$가 다음을 만족함을 증명한다:
  $$\text{lcm}\{m : j+1 \le b_m \le j+2\} \mid per(c_j) \mid \text{lcm}\{m : b_m > j\}$$
  우변은 Beck–Sam–Woods가 추측한 값 $p_j$에 해당한다. 본 논문은 이 상한과 하한이 모두 날카롭지만(sharp), 실제 주기는 그 사이에 위치할 수 있음을 보여준다.
• 추측의 반증 (정리 1.4): 저자들은 Beck–Sam–Woods 추측에 대한 무한한 반례 가족을 구축한다. 구체적으로, $R_{u,M}(x)$로 정의된 수열에 대해 $u$와 $M$이 도출된 디오판토스 방정식을 만족하면, $c_0(k)$의 최소 주기는 $M$인 반면, 추측된 주기는 $2M$이다.
  • 구체적 예시: $(u, M) = (2, 13)$인 경우, 부분(parts)의 수열은 네 개의 2, 두 개의 1, 그리고 하나의 13으로 구성된다. 추측된 주기는 $p_0 = \text{lcm}(1, 2, 13) = 26$이지만, 실제 최소 주기는 $13$이다.
• 변형: 저자들은 모든 $a_i > 1$인 경우, $a_i$들이 서로 다른 경우, 그리고 $\gcd(a)=1$인 경우에 대한 추가적인 반례를 제공하여, 이러한 현상이 다양한 제약 조건 하에서도 견고하게 나타남을 입증한다.

의의 및 주장
본 논문은 제한된 분할 함수의 최소 주기에 관한 문제를 해결하며, Beck–Sam–Woods 추측이 올바른 상한을 제공하기는 하지만 등식으로서 보편적으로 성립하지는 않음을 보여준다. 본 연구의 의의는 다음과 같다:

1. 이론의 정교화: 극의 차수에만 의존하는 추측에서, 특정 테일러 계수의 소멸 여부를 포함하는 정확한 규명으로 이론을 발전시켰다.
2. 기록의 수정: 분할 함수 및 준다항식 분야의 오랜 추측에 대한 최초의 반례를 제시하였다.
3. 방법론적 통찰: "파동 함수(wave function)" 접근법(Sylvester의 연구와 관련된)과 유수 계산법 접근법이 동등한 결과를 낸다는 것을 보여주는 동시에, 후자가 $\gamma_{\zeta, j}$를 명시적으로 계산함으로써 주기를 결정하는 데 더 정밀한 도구를 제공함을 입증하였다.

저자들은 자신의 연구가 제안된 등식을 정밀한 공식으로 대체하며, 추측된 값 $p_j$가 항상 정확한 주기는 아닐지라도 날카로운 보편적 상한으로 남는다는 점을 밝힘으로써 겸허하게 결론을 맺는다.