[論文レビュー] Congruences modulo powers of 5 for three-colored Frobenius partitions

Xinhua Xiong|arXiv (Cornell University)|Feb 27, 2010

Advanced Mathematical Identities参考文献 10被引用数 6

ひとこと要約

この論文は、三色フロベニウス分割関数 $ c\tilde{\theta}_3(n) $ 及びその関連算術関数 $ \tilde{c}\tilde{\theta}_3(n) $ について、625 および 25 を法とする新しい合同式を確立し、$ c\tilde{\theta}_3(45n+23) \equiv 0 \pmod{625} $ および $ c\tilde{\theta}_3(45n+41) \equiv 0 \pmod{625} $、さらに $ c\tilde{\theta}_3(75n+22) \equiv 0 \pmod{25} $ および $ \tilde{c}\tilde{\theta}_3(75n+72) \equiv 0 \pmod{25} $ を証明する。これらの結果は、モジュラー形式、エータ積、およびモジュラー形式における合同式のためのスツールの基準を用いて得られ、5 の高次の冪へのラマヌジャン型分割合同式の一般化を拡張する。

ABSTRACT

Motivated by a question of Lovejoy \cite{lovejoy}, we show that three-colored Frobenius partition function $\c3$ and related arithmetic fuction $\cc3$ vanish modulo some powers of 5 in certain arithmetic progressions.

研究の動機と目的

• 5 の高次の冪へのラマヌジャン型分割合同式の一般化に関するラーヴォイの質問に応えること。
• 三色フロベニウス分割関数が 625 および 25 を法として 0 に等しくなる新しい算術的等差数列を確立すること。
• $ c\tilde{\theta}_3(n) $ の既知の 5 を法とする合同式を、モジュラー形式の技法を用いて 5 の高次の冪に拡張すること。
• 7, 11, 19 の高次の冪に対しても同様の合同式が存在するかを調査し、ラマヌジャンの分割恒等式に類似した構造的恒等式を探索すること。

提案手法

• 特定の指数をもつデデキントエータ関数の積を用いて、重さ 506、レベル $ \tilde{\theta}_0(135) $ のモジュラー形式 $ g(z) $ を構成すること。
• スツールの基準を適用して、$ g(z) $ のフーリエ係数が特定の算術的等差数列において 625 を法として 0 に等しいことを確認すること。
• 演算子 $ U(9) $ および $ U(45)V(5) $ を用いて $ 45n+23 $ および $ 45n+41 $ に対応する係数を抽出し、機械的計算により合同式を検証すること。
• $ S_{20}(\tilde{\theta}_0(225), \text{Id}) $ におけるエータ積 $ f(z) $ を定義し、$ c\tilde{\theta}_3(75n+22) $ および $ \tilde{c}\tilde{\theta}_3(75n+72) $ を 25 を法として分析すること。
• 組み合わせたモジュラー形式 $ F(z) = f(z) + f_2(z) $ にヘッケ作用素 $ U(25) $ を適用し、$ 75n $ における係数を抽出し、スツールの基準を用いて 25 を法として 0 に等しいことを確認すること。
• クロネッカー記号およびエータ積の変換性質を活用して、モジュラー性および適切な重さとレベルを保証すること。

実験結果

リサーチクエスチョン

• RQ1 三色フロベニウス分割の既知の 5 を法とする合同式は、5 の高次の冪へ一般化可能か？
• RQ2 同じ算術的等差数列 $ 45n+23 $ および $ 45n+41 $ に対して、$ 5^4 = 625 $ を法とする類似の合同式が存在するか？
• RQ3 算術的等差数列 $ 75n+22 $ および $ 75n+72 $ に対して、特に修正関数 $ \tilde{c}\tilde{\theta}_3(n) $ に対して、$ 5^2 = 25 $ を法とする同様の合同式が成り立つか？
• RQ4 なぜ 7, 11, 19 の高次の冪に対して、以前に研究された等差数列では同様の合同式が存在しないのか？
• RQ5 ラマヌジャンの通常の分割関数の恒等式に類似した、$ c\tilde{\theta}_3(n) $ のための構造的恒等式が存在するか？

主な発見

• $ c\tilde{\theta}_3(45n+23) \equiv 0 \pmod{625} $ はすべての非負整数 $ n $ に対して成り立ち、既知の 5 を法とする結果を拡張する。
• $ c\tilde{\theta}_3(45n+41) \equiv 0 \pmod{625} $ はすべての $ n \geq 0 $ に対して確立され、ラーヴォイの以前の合同式の高次の一般化を確認する。
• $ c\tilde{\theta}_3(75n+22) \equiv 0 \pmod{25} $ はすべての $ n \geq 0 $ に対して証明され、別の算術的等差数列における新しい結果を提供する。
• 関連関数 $ \tilde{c}\tilde{\theta}_3(75n+72) \equiv 0 \pmod{25} $ はすべての $ n \geq 0 $ に対して 0 に等しいことが示され、第二の合同式族を完成させる。
• 証明は、指定されたインデックスにおいて係数が 625 を法として 0 に等しい cusp form $ g(z) \in S_{506}(\tilde{\theta}_0(135), \text{Id}) $ の構成に依拠し、スツールの基準および計算的検証により確認される。
• 25 を法とする結果については、$ F(z) \in S_{20}(\tilde{\theta}_0(2025), \text{Id}) $ を用い、$ F(z)|U(25) \equiv 0 \pmod{25} $ を有限項まで確認し、合同式を確認する。