On a nonnegativity conjecture of Andrews

技術要約：アンドリュースによる非負性予想について

問題の定義
本論文は、アリディ・シュア（Alladi-Schur）の整数分割理論から導かれる特定の多項式における係数の非負性に関する、ジョージ・アンドリュース（George Andrews）が提唱した予想に取り組むものである。この背景には、奇数部分（各々が最大2回出現）を持つ$n$の分割の数と、シュア分割（差が3以上であり、かつ連続する3の倍数を持たない）の数が等しいというアリディ・シュアの定理の精緻化がある。

アンドリュースは、これらの分割を生成する多項式の族 $d_N(x)$ を導入した。彼は、$d_N(x)$ が特定の多項式 $p_k(x) = \prod_{i=1}^k (1 + xq^{2i-1} + x^2q^{4i-2})$ で割り切れるという因数分解関係を確立した。具体的には、指数が $6n-1$ の形式の場合、その商は次のように与えられる：
$$\frac{d_{6n-1}(x)}{p_n(x)} = \sum_{i=0}^n c(n, i)x^i$$
アンドリュースは、$n$ および $j$ に対して、係数 $c(n, j)$ が非負の整数係数を持つ $q$ の多項式であることを予想した。アンドリュースは因数分解を証明したが、結果として得られる商の係数の非負性は未解決のままであった。

手法
著者であるヤザン・アラムディ（Yazan Alamoudi）は、$c(n, j)$ の特定の場合を包含する、一般化された商多項式の族 $\mathcal{d}_n(x)$ を定義することで、この予想を解決する。定義は以下の通りである：
$$\mathcal{d}_n(x) = \frac{d_n(x)}{p_{\lceil \frac{n+3\chi_o(n)}{6} \rceil - \chi_o(n)}(x)}$$
ここで、$\chi_o(n)$ は奇数に対する指示関数である。

証明戦略は、基礎となる分割集合の性質から導かれる再帰的関係に基づいた、$n$ に関する強帰納法を用いている。その手法は以下の通りである：

1. 再帰的関係の確立： 本論文では、指数 $n \pmod 6$ に基づいて $\mathcal{d}_n(x)$ に関する特定の再帰関係を導出している。これらの関係は、$\mathcal{d}_n(x)$ を（$q$ の引数をシフトさせた）$\mathcal{d}_{n-k}(x)$ に結びつけ、多項式 $\lambda(x) = 1 + xq + x^2q^2$ を含むものである。
   • 偶数指数の場合：$\mathcal{d}_{2N}(x) = \mathcal{d}_{2N-3}(xq^2)$。
   • 3で割り切れない奇数指数の場合：$\mathcal{d}_{2N-1}(x) = \mathcal{d}_{2N-2}(x) + xq^{2N-1}\mathcal{d}_{2N-4}(x)$。
   • 3で割り切れる奇数指数の場合：$\lambda_{N+1}(x)$ を用いたより複雑な関係が確立される。
2. 帰納的検証： 基底段階（$n=1$ から $6$）を検証し、再帰的なステップが非負の整数係数を持つという性質を保持することを示すことで、著者は一般的な主張を証明する。
3. 係数への拡張： 本論文はさらに、$\mathcal{d}_n(x)$ の係数 $\mathcal{c}(n, i)$ を分析し、アンドリュースの元の係数 $c(n', i')$ との関係式を明示的に導出する。

主要な貢献および結果

1. アンドリュースの予想の解決： 主要な結果は定理1であり、これは $n \ge 1$ に対して $\mathcal{d}_n(x)$ が非負の整数係数を持つ $x$ と $q$ の多項式であることを述べている。これにより、$c(n, j)$ が非負の係数を持つというアンドリュースの予想が直ちに確認される。
2. 一般化された再帰構造： 本論文は、アンドリュースの $d_n(x)$ に対する関係に類似した、商多項式 $\mathcal{d}_n(x)$ の完全な再帰関係のセットを提供している。これは商の構造に適応させたものである。
3. 係数の明示的な公式： 定理3は、商多項式の係数 $\mathcal{c}(n, i)$ を、アンドリュースの係数 $c(n', i')$ を用いて表す明示的な公式を提供する。これらの公式により、$\mathcal{c}(n, i)$ を $q$ の多項式として計算することが可能になる。
4. 強化された不等式： 本論文は、単なる非負性の主張よりも強い、$c(n, j)$ に関する不等式を導出している。系 (3.11) は、次の下限を確立する：
   $$c(n, j) \ge q^{6n-1}c(n-1, j-1)q^{2(j-1)}$$
   系 (3.12) は幾何級数の項を含むより複雑な下限を提供し、系 (3.13) は可除性 $q^{(2n+1)j} \mid c(n, j)$ を確立する。

意義
本論文は、予想の解決が、アンドリュースによる元の因数分解証明と同様のアプローチを用いつつ、非負性の問題を解決することを可能にする「新しい視点」から枠付けられたものであると主張している。その意義は以下の点にある：

• 理論的体系の完成： 本論文は、精緻化されたアリディ・シュアの生成関数の係数の非負性を厳密に証明することで、長年未解決であった予想に決着をつけた。
• より強い結果： 著者は、定理1が、単に $d_{6n-1}(x)$ の場合だけでなく、商多項式の全家族 $\mathcal{d}_n(x)$ について非負性を証明しているため、元の予想よりも強力であると述べている。
• 構造的洞察： 導出された再帰関係と係数の明示的な公式は、アリディ・シュア多項式とその因数分解の間の関係について、より深い構造的洞察を提供し、将来的な分割恒等式の研究を助ける可能性がある。

本論文は、$\mathcal{d}_n(x)$ に対して見出された再帰構造が、著者の別の著作 [1] における双射的証明に見られるものと一致していることを認め、これらの分割族の間に一貫した組合せ論的な基礎構造が存在することを示唆して締めくくられている。