[論文レビュー] Elementary proof of congruences modulo 25 for broken $k$-diamond partitions

Shane Chern, Dazhao Tang|arXiv (Cornell University)|Jul 5, 2018

Advanced Mathematical Identities参考文献 16被引用数 3

ひとこと要約

この論文は、モジュラー形式理論を用いず、$q$-級数恒等式、モジュラー形式に由来する関係式、および $P(\alpha, \beta)$ 関数における再帰構造を用いて、破損 $k$-ダイヤモンド分割に関する 25 を法とする無限族の合同式の初等的証明を提供する。具体的には、$k \equiv 62 \pmod{125}$ のとき $\Delta_k(125n + 99) \equiv 0 \pmod{25}$ が成り立つ。主な貢献は、従来はモジュラー形式を用いて証明された結果を、自己完結的で初等的な方法で再導出したことである。

ABSTRACT

Let $Δ_{k}(n)$ denote the number of $k$-broken diamond partitions of $n$. Quite recently, the second author proved an infinite family of congruences modulo 25 for $Δ_{k}(n)$ with the help of modular forms. In this paper, we aim to provide an elementary proof of this result.

研究の動機と目的

• 破損 $k$-ダイヤモンド分割に関する 25 を法とする無限族の合同式を、従来はモジュラー形式を用いて証明されたものであるが、初等的証明を提供すること。
• 解析的モジュラー形式のアプローチを、代数的 $q$-級数恒等式および再帰関係に置き換えること。
• $\Delta_k(n)$ の深い算術的性質が、初等的 $q$-級数の操作および関数方程式のみを用いて導かれることが示されること。
• 5 の高次のべき、たとえば 25 に対する、分割合同式における初等的技法のツールキットを、5 を超える範囲へ拡張すること。

提案手法

• 定義：$P(\alpha, \beta) = x^{\alpha+2\beta}y^{2\alpha-\beta} + (-1)^{\alpha+\beta}q^{2\alpha}/(x^{\alpha+2\beta}y^{2\alpha-\beta})$ で、$x = 1/R(q)$, $y = 1/R(q^2)$, $K = E_2E_5^5/(E_1E_{10}^5)$ を用いる。
• 再帰関係の確立：$P(\alpha, \beta+1) = \frac{4q}{K}P(\alpha, \beta) + P(\alpha, \beta-1)$ および $P(\alpha+2, 0)$, $P(\alpha+2, -1)$ に対しても同様の形。
• $1/E_1$ の 5 分解恒等式を $R(q^5)$, $E_5$, $E_{25}$ を用いて表現し、生成関数を $K$ および $q$ の関数として表現する。
• 再帰関係と初期条件を用いて、$\sum_{n=0}^\infty b(5n+4)q^n$ を $K$ および $q$ の多項式として展開・簡約し、25 を法として還元する。
• $E_1, E_2, E_5, E_{10}$ を含む変換を介して、得られた式を $\Delta_k(n)$ の生成関数と結びつけ、25 を法として $q^{5n+4}$ 項のみが残ることを示す。
• 重要な合同式 $\sum_{n=0}^\infty \tilde{c}(5n+4)q^n \equiv 10 \frac{E_5^2 E_{10}^2}{E_1^5 E_2} \pmod{25}$ を導出し、これにより $c(125n+99) \equiv 0 \pmod{25}$ が従う。

実験結果

リサーチクエスチョン

• RQ1 モジュラー形式を用いず、$k \equiv 62 \pmod{125}$ のとき無限族の合同式 $\Delta_k(125n + 99) \equiv 0 \pmod{25}$ を証明できるか？
• RQ2 従来はモジュラー形式理論によって得られた結果を、どのような初等的 $q$-級数恒等式および再帰構造が再現できるか？
• RQ3 $P(\alpha, \beta)$ 関数を用いて、25 を法として生成関数を体系的に簡約する方法は何か？
• RQ4 生成関数における $q^{5n+4}$ インデックス項を分離し、代数的変形によって 25 を法としてその消滅を示す方法はあるか？

主な発見

• 論文は、$k \equiv 62 \pmod{125}$ のとき、すべての $n \geq 0$ に対して $\Delta_k(125n + 99) \equiv 0 \pmod{25}$ を示し、従来はモジュラー形式を用いて証明された結果を初等的証明で再確立した。
• $\sum_{n=0}^\infty \tilde{c}(5n+4)q^n$ の生成関数が $10 \frac{E_5^2 E_{10}^2}{E_1^5 E_2} \pmod{25}$ に合同であることが示され、$q^{5n+3}$ 項が存在しないため、$c(125n+99)$ が 25 を法として消えることが示された。
• $P(\alpha, \beta)$ の再帰関係は、初期値 $K = E_2E_5^5/(E_1E_{10}^5)$ から出発し、高次の $q$-級数式を $K$ および $q$ の多項式に完全に還元可能である。
• 恒等式 $\sum_{n=0}^\infty b(5n+4)q^n = 35K^4 + 280K^3q + 1905K^2q^2 + 1760Kq^3 + 13825q^4 - \frac{7040q^5}{K} + \cdots$ が導出され、25 を法として還元することで合同式が確認された。
• 証明はモジュラー形式をまったく避けており、$q$-級数恒等式、再帰関係、代数的簡約のみに依拠しており、5 の高次のべきに対する分割合同式への初等的アプローチを提供する。