Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

技術要約：制限付き分割関数の最小周期に関する予想に対する反例

問題の定義
本論文は、固定された正の整数の数列 $a = (a_1, \dots, a_n)$ に対して、方程式 $a_1x_1 + \dots + a_nx_n = k$ の非負整数解の個数を数える制限付き分割関数 $q_a(k)$ の振る舞いについて扱う。$q_a(k)$ は次数 $n-1$ の準多項式であり、次のように表されることが確立されている：
$$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\}$$
著者らは、この予想が明確な割り切れる性質の上界を提供している一方で、その妥当性が厳密な等号として証明されていないか、あるいは消滅する係数の観点から完全に特徴付けられていないことを指摘している。

手法
著者らは、複素解析（特に留数計算）と離散フーリエ解析を組み合わせることで、係数関数 $c_j(k)$ の厳密な式を導出している。

1. 1のべき根による公式： 生成関数 $R_a(x) = \prod_{i=1}^n (1-x^{a_i})^{-1}$ を解析することにより、著者らは $c_j(k)$ の明示的な式を 1 のべき根の和として導出する。乗法的位数 $m$ を持つ 1 のべき根 $\zeta$ について、$s_\zeta$ を $R_a(x)$ の $\zeta$ における極の位数とする。著者らは補助的な正則関数 $\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. 周期の決定： フーリエ展開の一意性を用いることで、$\gamma_{\zeta, j}$ が非ゼロとなる 1 のべき根 $\zeta$ の次数の最小公倍数が、$c_j(k)$ の最小周期であることを確立する。
4. 反例の構成： 著者らは、ある $\zeta$（ただし $s_\zeta > j$）に対して $\gamma_{\zeta, j} = 0$ となる場合に、Beck–Sam–Woods 予想が失敗することを特定している。彼らは、特定の2パラメータ生成関数族 $R_{u,M}(x) = (1-x^2)^{-4}(1-x)^{-u}(1-x^M)^{-1}$（$M$ は奇数）を構成し、$\zeta = -1$ に対応する係数が消滅するための $u$ と $M$ に関するディオファントス条件を導出する。
5. 無限族の生成： 消滅する係数の条件は、負のペル方程式（$Y^2 - 3X^2 = -26$）へと変換される。漸化式を用いてこの方程式を解くことにより、反例の条件を満たす $(u, M)$ のペアを無限に生成する。

主要な貢献と結果

• 厳密な周期公式 (定理 1.2)： 本論文は、$\Phi_\zeta(t)$ のテイラー展開の非消滅係数を用いて、$c_j(k)$ の最小周期に関する初の厳密な公式を提供している。この公式は、周期が単に極の存在（$s_\zeta > j$）だけでなく、特定のテイラー係数が消滅するかどうかに依存することを明らかにしている。
• 鋭い割り切り上界 (定理 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$ に対応する。本論文は、両方の境界が鋭いものであることを示しているが、実際の周期はこれらの中間に位置する場合がある。
• 予想の反証 (定理 1.4)： 著者らは、Beck–Sam–Woods 予想に対する無限の反例の族を構成する。具体的には、数列 $R_{u,M}(x)$ に対して、$u$ と $M$ が導出されたディオファントス方程式を満たす場合、$c_0(k)$ の最小周期は $M$ となるが、予想では $2M$ となる。
  • 具体的な例： $(u, M) = (2, 13)$ の場合、構成要素の数列は 4 つの 2、2 つの 1、および 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）」アプローチ（シルベスターの研究に関連するもの）と留数計算アプローチが同等の結果をもたらすことを示しつつ、後者が $\gamma_{\zeta, j}$ を明示的に計算することで周期を決定するためのより精密な道具であることを示した。

著者らは、謙虚に、自らの研究が提案された等号を精密な公式に置き換え、予想された値 $p_j$ が常に等しいわけではないものの、依然として鋭い普遍的上界であることを確立したと結論づけている。