[論文レビュー] Partition Recurrences

Yuriy Choliy, Louis W. Kolitsch+1 more|arXiv (Cornell University)|Nov 22, 2018

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

ひとこと要約

本稿では、平方数、三角数、一般化された多角数（へプタゴナル数およびオクタゴナル数）を基盤として、オイラーの古典的再帰に類似した新しい分割再帰を提示する。分割関数の恒等式において、overpartitions（過剰分割）、2色分割、および相異なる奇数部を持つ分割の観点から、p(n) の正確な公式を導出する。生成関数と五重積恒等式を通じて、分割関数とモジュラー形式の深い関係を明らかにする。

ABSTRACT

We present some Euler-type recurrences for the partition function $p(n)$.

研究の動機と目的

• 分割関数 p(n) に対するオイラーの古典的再帰を、平方数、三角数、一般化された多角数に基づく新しい再帰に拡張すること。
• オイラーの五角数再帰と、相異なる奇数部を持つ分割およびoverpartitionsを含む新しい恒等式との類似性を探ること。
• 生成関数と五重積恒等式を通じて、分割関数とモジュラー形式の関係を確立すること。
• さまざまな分割恒等式を統一的な枠組みの下にまとめるべく、オイラーの再帰のより広範な理論的文脈を提供すること。

提案手法

• 平方数とその2倍を用いた再帰を導出し、係数は (-1)^j の符号パターンに従い、p(n - j²) と p(n - 2j²) の和を含む生成関数を得る。
• 生成関数 ψ(x) = ∑ x^{n(n+1)/2} と φ(x) = 1 + 2∑ x^{j²} を用いて、分割恒等式をモジュラー形式の観点から表現する。
• 五重積恒等式を適用し、overpartitions および2色分割の生成関数をモジュラー形式と関連づけ、新しい再帰恒等式の導出を可能にする。
• 偶数次および奇数次のべき級数成分の抽出を含む生成関数の操作を用い、偶数 n および奇数 n に対する分割数の分離を実現する。
• F(x) = ∑ (-1)^k x^{k(3k-1)/2} 及びその偶数部・奇数部の恒等式を用い、p(n) と overpartitions 関連の恒等式を導出する。
• 三角数の生成関数と (1 - x^k)^{-1} および (1 - x^{4k}) の積との間の 2 を法とする合同関係を確立し、p(n) に対する新しい再帰を導出する。

実験結果

リサーチクエスチョン

• RQ1 オイラーの五角数再帰は、平方数と三角数を基盤として、新しい分割再帰に一般化可能か？
• RQ2 一般化されたヘプタゴナル数およびオクタゴナル数は、分割関数 p(n) の新しい恒等式を構築する上で果たす役割は何か？
• RQ3 生成関数とモジュラー形式を通じて、overpartitions および2色分割は分割関数とどのように関係するか？
• RQ4 これらの新しい再帰における係数の正確な組合せ的解釈、特に相異なる奇数部を持つ分割の観点から、何であるか？
• RQ5 五重積恒等式のようなモジュラー恒等式を用いて、p(n) に対する新しい正確な再帰を導出可能か？

主な発見

• 定理1では、p(n - j²) と p(n - 2j²) の符号が交互に変わる和が、n が奇数のとき 0 に等しく、n が偶数のとき qq(n) に等しいことを示し、qq(n) は相異なる奇数部を持つ分割の数を表す。
• 定理2では、2p(n - j²) の符号が交互に変わる再帰を提示し、(-1)^n qq(n) を得る。これにより、分割関数が相異なる奇数部を持つ分割と直接的に関連づけられる。
• 定理3では、一般化されたヘプタゴナル数 j(5j±3)/2 を用い、n が偶数のとき (n - r_i^e)/2 および (n - s_i^e)/2 における p-値の差の和として p(n) を表現する。n が奇数のときも同様の式を導出する。
• 定理4では、一般化されたオクタゴナル数 j(3j±2)/2 と三角数の関係を示し、n が偶数のとき (n - 3t_i^e)/2 における p-値の和が再帰に等しくなることを示す。n が奇数のときも (n - 3t_i^o)/2 における類似の式を導出する。
• 定理5では、n が偶数のとき (n - t_i^e)/2 および n が奇数のとき (n - t_i^o)/2 における2色分割関数 p₂ の和として p(n) を表現する。ここで t_i^e および t_i^o はそれぞれ偶数および奇数の三角数を表す。
• 定理7では、三角数の生成関数を 2 を法として評価した結果、分割関数の生成関数とシータ級数の積に合同することを証明し、新しい再帰 p(n) ≡ ∑_j p(n - 4π_j) mod 2 を得る。ここで π_j は一般化された五角数である。