[論文レビュー] Arithmetic Identities and Congruences for Partition Triples with 3-cores

Liuquan Wang|arXiv (Cornell University)|Feb 23, 2015

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

ひとこと要約

本稿は、$ q $-級数の恒等式とモジュラー形式を用いて、3-コア分割を持つ $ n $ の分割三重組 $ B_3(n) $ の新しい算術的恒等式および合同式を確立する。$ B_3(n) $ と $ n $ を6つの平方の和および3つの平方の3倍の和として表す方法の数 $ \omega(n) $ の間の3つの主要な算術的関係を証明し、$ \omega(6n+5) = 4B_3(6n+4) $ を含む。さらに、$ B_3(n) $ に対して無限個のラマヌジャン型合同式の族を導出する。

ABSTRACT

Let ${{B}_{3}}(n)$ denote the number of partition triples of $n$ where each partition is 3-core. With the help of generating function manipulations, we find several infinite families of arithmetic identities and congruences for ${{B}_{3}}(n)$. Moreover, let $ω(n)$ denote the number of representations of a nonnegative integer $n$ in the form $x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+3y_{1}^{2}+3y_{2}^{2}+3y_{3}^{2}$ with ${{x}_{1}},{{x}_{2}},{{x}_{3}},{{y}_{1}},{{y}_{2}},{{y}_{3}}\in \mathbb{Z}.$ We find three arithmetic relations between ${{B}_{3}}(n)$ and $ω(n)$, such as $ω(6n+5)=4{{B}_{3}}(6n+4).$

研究の動機と目的

• 3-コアである各分割を持つ $ n $ の分割三重組の数 $ B_3(n) $ の新しい算術的恒等式および合同式を確立する。
• $ B_3(n) $ と $ n $ を6つの平方の和および3つの平方の3倍の和として表す方法の数 $ \omega(n) $ の間の深い算術的関係を解明する。
• $ q $-級数およびシータ関数の恒等式を用いて、$ a_3(n) $ および $ A_3(n) $ の既知の結果を分割三重組（$ B_3(n) $）の場合に拡張する。
• 任意の $ k $ に対して $ k $-タプルの3-コア分割へのこれらの結果の一般化に関する未解決の問題を提示する。
• $ A_3^{(k)}(n) $ および $ \omega^{(k)}(n) $ の統一的枠組みを提示し、今後の研究の方向性を示唆する。

提案手法

• 生成関数 $ \sum_{n=0}^\infty B_3(n) q^n = \frac{f_3^9}{f_1^3} $ を基礎とし、$ f_k = (q^k; q^k)_\infty $ とする。
• $ f_3^3/f_1 $ および関連するシータ関数の2-分割および3-分割の恒等式を用いて、生成関数を特定の合同条件を持つ級数に分解する。
• ラマヌジャンのシータ関数の恒等式およびモジュラー形式を用いて、$ B_3(n) $ の再帰的関係および合同式を導出する。
• モジュラー形式および $ q $-級数の展開から係数を抽出し、$ B_3(n) $ と $ \omega(n) $ の間の正確な算術的恒等式を確立する。
• 生成関数の操作および係数抽出技術を用いて、$ \sum_{n=0}^\infty B_3(6n+4) q^n = 24 \frac{f_2^8 f_3^3}{f_1^5} $ などの恒等式を証明する。
• $ B_3(n) $ および $ \omega(n) $ の生成関数を比較して、$ \omega(6n+5) = 4B_3(6n+4) $ を含む正確な算術的関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 3-コア分割を持つ分割三重組 $ B_3(n) $ に対して、無限個の算術的恒等式および合同式の族を導出できるか？
• RQ2 $ B_3(n) $ と $ n $ を $ x_1^2 + x_2^2 + x_3^2 + 3y_1^2 + 3y_2^2 + 3y_3^2 $ の形に表す方法の数 $ \omega(n) $ の間には正確な算術的関係があるか？
• RQ3 $ q $-級数およびモジュラー形式を用いて、$ a_3(n) $ および $ A_3(n) $ の既知の恒等式を分割三重組 $ B_3(n) $ の場合に一般化できるか？
• RQ4 結果を任意の $ k $ に対して $ k $-タプルの3-コア分割に拡張できるか？ もしそうなら、どのような恒等式や関係が現れるか？
• RQ5 $ B_3(3^k n + 3^k - 1) \equiv 0 \pmod{3^{2k}} $ のような、ラマヌジャン型の新しい合同式を $ B_3(n) $ に対して証明できるか？

主な発見

• 本稿は、$ \omega(6n+5) = 4B_3(6n+4) $ を証明し、3-コア分割三重組の数と平方の和への表し方の数との間の正確な算術的関係を確立する。
• $ \omega(12n+2) = 12B_3(6n) $ という恒等式が導出され、$ B_3(6n) $ が係数付きの平方の和への表し方の数と関連づけられる。
• $ \omega(12n+10) = 6B_3(6n+4) $ という恒等式が証明され、生成関数の比較を通じて $ B_3(n) $ と $ \omega(n) $ の間のさらなる関連が示される。
• 無限個の合同式の族が確立された：$ k \geq 1 $ およびすべての $ n \geq 0 $ に対して $ B_3(2^{k+1}n + 2^k - 1) \equiv 0 \pmod{\frac{4^{k+1} + (-1)^k}{5}} $。
• 2つのラマヌジャン型の合同式が証明された：$ B_3(30n+10) \equiv B_3(30n+28) \equiv 0 \pmod{120} $、生成関数 $ \sum_{n=0}^\infty B_3(6n+4) q^n = 24 \frac{f_2^8 f_3^3}{f_1^5} $ から導出される。
• 無限個の合同式の族が発見された：$ k \geq 1 $ に対して $ B_3(3^k n + 3^k - 1) \equiv 0 \pmod{3^{2k}} $ および $ B_3(3^k n + 2\cdot 3^{k-1} - 1) \equiv 0 \pmod{3^{2k-1}} $。