[論文レビュー] Arithmetic properties of the $\ell$-regular partitions

Su-Ping Cui, Nancy Shanshan Gu|arXiv (Cornell University)|Feb 15, 2013

Advanced Mathematical Identities参考文献 11被引用数 25

ひとこと要約

本稿は、ラマヌジャンのシータ関数 ψ(q) および f(−q) の p-分解恒等式を分析することにより、特に ℓ = 2, 4, 5, 8, 13, 16 に対して、ℓ-正則分割関数の mod 2 における新しい無限族の合同式を確立する。これはアンドリュース、チェン、ヒルシュホルンらの先行研究を一般化し、ラマヌジャンの古典的分割合同式と新しい恒等式を組み合わせることで、さらに新たな合同式を導出し、ℓ-正則分割の既知の算術的性質を顕著に拡張する。

ABSTRACT

For a given prime $p$, we study the properties of the $p$-dissection identities of Ramanujan's theta functions $ψ(q)$ and $f(-q)$, respectively. Then as applications, we find many infinite family of congruences modulo 2 for some $\ell$-regular partition functions, especially, for $\ell=2,4,5,8,13,16$. Moreover, based on the classical congruences for $p(n)$ given by Ramanujan, we obtain many more congruences for some $\ell$-regular partition functions.

研究の動機と目的

• ラマヌジャンのシータ関数の p-分解恒等式を分析することにより、ℓ-正則分割関数の mod 2 における既知の算術的性質を拡張すること。
• アンドリュースらおよびチェンによる b₄(n) および b₅(n) の既存の無限族の 2-adic 合同式を一般化すること。
• b₄(n) および b₁₃(n) の母関数の関係を用いて、b₁₃(n) の新しい合同式を導出すること。
• ラマヌジャンの古典的分割合同式と新しい恒等式を組み合わせることで、ℓ-正則分割関数の追加の合同式を生成すること。
• bₚ′(n)（異なる部分を持つ p-正則分割の数）と bₚ(n) の間に接続を確立し、2-adic 算術的性質の転送を可能にすること。

提案手法

• 素数 p に対して、ラマヌジャンのシータ関数 ψ(q) および f(−q) の p-分解恒等式を分析し、分割合同式に関連する構造的性質を解明する。
• 生成関数の恒等式 ∑bₗ(n)qⁿ = (qˡ;qˡ)∞ / (q;q)∞ を用いて、ℓ-正則分割をモジュラー形式およびシータ関数と関連付ける。
• ヘッケ固有形式およびモジュラー形式の理論を適用し、ℓ ∈ {2, 4, 5, 8, 13, 16} のとき、bₗ(n) の mod 2 における新しい合同式を導出する。
• ラマヌジャンの p(n) に対する古典的合同式と新しい恒等式を組み合わせることで、ℓ-正則分割関数の追加の合同式を生成する。
• bₚ′(pn + (p²−1)/24) ≡ bₚ(n) (mod 2) という合同関係を確立し、bₚ(n) から bₚ′(n) への 2-adic 性質の転送を可能にする。
• 既知の b₇(n), b₁₉(n), b₂₅(n) などの結果を mod 3 で用い、それらを新しい恒等式と組み合わせることで、さらなる 2-adic 合同式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ψ(q) および f(−q) の p-分解恒等式は、ℓ-正則分割関数の新しい無限族の 2-adic 合同式を導出するために利用可能か？
• RQ2 b₄(n) の母関数を b₁₃(n) の母関数とどのように関連付けることで、b₁₃(n) の新しい合同式を生み出せるか？
• RQ3 ラマヌジャンの p(n) に対する古典的合同式は、新しいモジュラー恒等式とどのように組み合わせられ、ℓ-正則分割の新しい合同式を生み出せるか？
• RQ4 bₚ′(n)（異なる部分を持つ p-正則分割の数）と bₚ(n) の間の関係は何か？ そして、それは 2-adic 算術的性質の転送をどのように可能にするか？
• RQ5 ℓ = 4 および 5 に用いられた手法は、8, 13, 16 などの他の ℓ 値へ一般化可能か？ それらから新しい 2-adic 合同式が得られるか？

主な発見

• 本稿は、すべての α ≥ 0 および n ≥ 0 に対して、b₄(3²ᵅ⁺¹n + (17·3²ᵅ−1)/8) ≡ 0 (mod 2) という合同式を確立し、アンドリュースらの先行結果を一般化する。
• b₅(20n+5) ≡ 0 (mod 2) および b₅(20n+13) ≡ 0 (mod 2) を証明し、カリンらおよびヒルシュホルンとセラーズの研究を拡張する。
• b₁₃(n) に対して新しい合同式を導出し、特に b₁₃(3ˡn + (5·3ˡ⁻¹−1)/2) ≡ 0 (mod 3) を得る。これはウェブの結果を一般化する。
• b₇(7·3²ᵅ⁺²n + (35·3²ᵅ⁺¹−1)/4) ≡ 0 (mod 7) および b₇(7·3²ᵅ⁺³n + (77·3²ᵅ⁺²−1)/4) ≡ 0 (mod 7) を証明し、ファーサイおよびペニストンの研究を拡張する。
• b₂₅(5·3²ᵅ⁺³n + 5·3²ᵅ⁺²−1) ≡ 0 (mod 5) および b₂₅(25·3²ᵅ⁺³n + 50·3²ᵅ⁺²−1) ≡ 0 (mod 25) を導出し、新しい 5-adic 合同式を提供する。
• 重要な合同式 bₚ′(pn + (p²−1)/24) ≡ bₚ(n) (mod 2) を確立し、bₚ(n) から bₚ′(n) への 2-adic 性質の転送を可能にする。