Arithmetic Properties for $k$-Color Analogue of Simultaneously $s$-Regular and $t$-Distinct Partitions

技術要約：$k$-色の同時 $s$-正則かつ $t$-相異なる分割の算術的性質

問題提起
本論文は、特定の整数分割のクラスである、$k$-色の同時 $s$-正則かつ $t$-相異なる分割の算術的性質を調査するものである。無彩色な分割関数 $RD_{\ell,t}(n)$ は、ウィリアム・キースによって導入され、部分が $\ell$ で割り切れず、かつ部分が $t$ 回以上現れない $n$ の分割を数えるものであるが、本研究はこの概念を $k$-色の分割へと拡張する。この文脈において、$k$-色の分割が $s$-正則かつ $t$-相異なるとは、各部分が $s$ で割り切れず、出現回数が $t$ 未満であり、かつ各部分が $k$ 個の異なる色のいずれかを取ることができることを意味する。著者らは特に、色の数 $k=3$ の場合に焦点を当て、$RD_{3,3}^3(n)$ および $RD_{3,27}^3(n)$ の生成関数と合同式の性質を検討している。

手法
主要な手法として、$H$-演算子アプローチ、具体的には（$q$ の指数が 3 の倍数である項を抽出する離散演算子である）$H_3$ 演算子を用いている。これはマイケル・D・ハーシュホーンによって確立された手法に従うものである。

技術的枠組みは、以下の主要な構成要素に基づいている：

1. 生成関数： $RD_{\ell,t}^k(n)$ の生成関数は $\left( \frac{E_\ell E_t}{E_1 E_{\ell t}} \right)^k$ として確立される。ここで $E_r = \prod_{n=1}^\infty (1-q^{nr})$ である。
2. モジュラー方程式： 著者らはヤコビの恒等式を利用し、変数 $\zeta = E_1^3 / (q E_9)$ に関するモジュラー方程式を導出する。これにより、$\zeta^3 + 9\zeta^2 + 27\zeta - T = 0$ という 3 次関係式が得られる。ここで $T = E_3^{12} / (q^3 E_9^{12})$ である。
3. 再帰的行列構造： $1/\zeta$ の累乗に $H_3$ 演算子を適用することにより、著者らは無限行列 $M = (m_{i,j})$ を含む再帰的な関係を導出する。この行列は、結果として得られる級数展開の係数を制御する。
4. 帰納的証明： 証明の核心は、行列 multiplication ($x_{k+1} = x_k \cdot A$) を用いて、係数ベクトル ($x_k$ および $y_k$) に対する再帰関係を確立することにある。これらの関係により、著者らは特定の算術数列における生成関数を、$E_3$ と $E_1$ の累乗を含む $q$-級数として表現することが可能となる。
5. 評価分析： 合同式を証明するために、著者らは行列の成分および結果としての係数ベクトルの 3 進評価（$\nu$）を分析し、係数が 3 の累乗に対して増加していくことを示す。

主な貢献と結果
本論文は、3 色の分割関数に対する 3 の累乗を法とする無限の合同式の族を確立している。主な結果は以下の通りである：

• 定理 1.1 (ケース $\ell=3, t=3$): 著者らは、$3^k n + \frac{3^k+1}{2}$ の形の引数で評価された $RD_{3,3}^3$ の生成関数に関する一般的な公式を導出している。その結果は、行列の再帰から導出された係数 $x_{k,i}$ を用いた有限和として表現される。
  • 系 1.2: この定理から、 $RD_{3,3}^3\left(3^k n + \frac{3^k+1}{2}\right) \equiv 0 \pmod{3^{k+1}}$ が導かれる。これは、標準的な分割関数 $p(n)$ の 5 を法とするラマヌジャンによる有名な合同式のアナログとして提示されている。
• 定理 1.3 & 1.5 (ケース $\ell=3, t=27$): 本研究は $t=27$ の場合にも拡張される。著者らは $RD_{3,27}^3(3n+2)$ および $RD_{3,27}^3(9n+2)$ の明示的な生成関数を提供し、次いでこれを $k \ge 3$ における $3^k n + \frac{3^k+13}{2}$ の形の引数に対する無限の族へと一般化する。
  • 系 1.6: これにより、$k \ge 3$ に対して $RD_{3,27}^3\left(3^k n + \frac{3^k+13}{2}\right) \equiv 0 \pmod{3^{k+1}}$ という合同式が得られる。

理論を説明するために、定理 1.1 における $k=1$ および $k=2$ の具体的な例が提供されており、これらはラマヌジャンの $p(5n+4)$ および $p(7n+5)$ に対する恒等式と構造的に類似していることが指摘されている。

意義と主張
本論文は、$RD_{\ell,t}$ 関数の $k$-色の解析的研究を開始することを主張している。その意義は以下の点にある：

1. 既知の理論の拡張： 従来の $RD_{\ell,t}$ に関する研究（特に Nadji および Ahmia によるもの）を、多色設定へと一般化している。
2. 新しい合同式の族： 分割理論において、5 や 7 を法とする合同式と比較して得ることが困難で稀である、3 の累乗を法とする新しい無限の合同式の族を提供している。
3. 構造的類似性： 著者らは、導出された恒等式および合同式が、ラマヌジャンの最も著名な結果と強い構造的類似性を持っていることを強調しており、これはこれらの着色された分割関数における深い基礎的なモジュラー構造を示唆している。

本研究は純粋に理論的なものであり、$q$-級数の操作と演算子法を用いた、生成関数の導出および算術的性質の証明に焦点を当てており、証明された定理の範囲を超えた実験的な応用や将来の拡張を提案するものではない。