[論文レビュー] Congruences for the Number of Cubic Partitions Derived from Modular Forms

William Y. C. Chen, Bernard L. S. Lin|ArXiv.org|Oct 7, 2009

Advanced Mathematical IdentitiesMathematics参考文献 22被引用数 18

ひとこと要約

この論文は、モジュラー形式を用いて立方分割数 $ a(n) $ の新しい合同関係を確立し、$ a(25n+22) \equiv 0 \pmod{5} $ および $ a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 \pmod{7} $ を証明する。さらに、$ a(n) $ は無限に多くの偶数値および無限に多くの奇数値をとることを示し、モジュラー形式理論を用いて立方分割関数へのラマヌジャン型算術的性質を拡張する。

ABSTRACT

We obtain congruences for the number a(n) of cubic partitions using modular forms. The notion of cubic partitions is introduced by Chan and named by Kim in connection with Ramanujan's cubic continued fractions. Chan has shown that a(n) has several analogous properties to the number p(n) of partitions, including the generating function, the continued fraction, and congruence relations. To be more specific, we show that $a(25n+22)\equiv 0 ({ m mod} 5)$, $a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 ({ m mod} 7)$. Furthermore, we prove that a(n) takes infinitely many even values and infinitely odd values.

研究の動機と目的

• ラマヌジャンの古典的分割合同関係を立方分割の文脈に拡張すること。
• モジュラー形式理論を用いて、立方分割数 $ a(n) $ の新しい算術的性質を導出すること。
• $ a(n) $ が無限に多くの偶数値および無限に多くの奇数値をとることを確立すること。これは分割関数 $ p(n) $ と類似している。
• ラマヌジャンの $ p(n) $ に関する研究にインspされ、$ a(n) $ に対する 5 および 7 を法とする特定の合同関係を証明すること。

提案手法

• $ \Gamma_0(4802) $ の合同部分群に対して重さ 6 のモジュラー形式を構成し、$ a(n) $ を分析する。
• 生成関数 $ \sum_{n=0}^\infty a(n)q^n = \frac{1}{(q;q)_\infty (q^2;q^2)_\infty} $ をモジュラー解析の基盤とする。
• ヒルシュホルンとハントの手法を適用し、モジュラー形式およびそのフーリエ係数の操作により、5 および 7 を法とする合同関係を導出する。
• 関与する形式のモジュラー性を活用して、有限個の初期係数（$ n \leq 587 $ まで）を確認することで、7 を法とする合同関係を検証する。
• 2 を法とする再帰関係 $ a(n) + \sum_{0 < k+k^2 \leq n} a(n-k-k^2) \equiv \Delta(n) \pmod{2} $ を導出する。ここで $ \Delta(n) = 1 $ は $ n $ が三角数のとき、それ以外は 0 である。
• 背理法および三角数の性質を用いて、$ a(n) $ が偶数および奇数の値を無限回とることを証明する。

実験結果

リサーチクエスチョン

• RQ1 立方分割数 $ a(n) $ は、ラマヌジャンの分割合同関係と類似した 5 および 7 を法とする合同関係を満たすか？
• RQ2 モジュラー形式を用いて、$ a(n) $ の新しい算術的性質（例えば、素数のべきを法とする合同関係）を証明できるか？
• RQ3 $ a(n) $ は無限の偶奇変動を示すか、すなわち、偶数および奇数の値を無限回とるか？
• RQ4 合同関係 $ a(3n+2) \equiv 0 \pmod{3} $ の組合せ的またはモジュラー的説明は可能か？また、これはより高い法に拡張可能か？

主な発見

• 論文は $ a(25n+22) \equiv 0 \pmod{5} $ を証明し、立方分割に関する新しいラマヌジャン型合同関係を 5 を法として確立する。
• 7 を法とする4つの合同関係が確立された：$ a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 \pmod{7} $。
• $ a(n) $ は、2 を法とする再帰関係と背理法による議論を通じて、無限に多くの偶数値および無限に多くの奇数値をとることが示された。
• 7 を法とする合同関係の証明は、関与するモジュラー形式のモジュラー性およびレベル構造のおかげで、有限個の初期係数（$ n \leq 587 $ まで）の確認に依存する。
• 生成関数 $ \sum a(n)q^n = \frac{1}{(q;q)_\infty (q^2;q^2)_\infty} $ は、合同関係および偶奇性の結果を導出する上で中心的な役割を果たす。
• 再帰関係 $ a(n) + \sum_{0 < k+k^2 \leq n} a(n-k-k^2) \equiv \Delta(n) \pmod{2} $ は、$ a(n) $ の偶奇性を分析する上で鍵となる。ここで $ \Delta(n) = 1 $ は $ n $ が三角数のとき、それ以外は 0 である。