[論文レビュー] Finite, closed-form expressions for the partition function and for Euler, Bernoulli, and Stirling numbers

Jerome Malenfant|arXiv (Cornell University)|Mar 8, 2011

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

ひとこと要約

本稿では、収束するべき級数 $F(z)$ が $F(0) \neq 0$ を満たすとき、生成関数方程式 $\sum c_q^{(X)} z^q = F(z)^X$ の新しい解法を用いて、分割関数およびオイラー数、ベルヌーイ数、スターリング数の有限で閉形式の表現を導出する。主な貢献は、一般化二項係数と多項係数を用いた組合せ的公式であり、これらの特殊数を無限級数や複素代数的数を避ける整数または単純な分数の有限和として表すものである。

ABSTRACT

We find general solutions to the generating-function equation sum c_q^{(X)} z^q = F(z)^X, where X is a complex number and F(z) is a convergent power series with |F(0)| >0. We then use these results to derive finite expressions containing only integers or simple fractions for partition functions and for Euler, Bernoulli, and Stirling numbers.

研究の動機と目的

• 分割関数およびオイラー数、ベルヌーイ数、スターリング数の有限で閉形式の表現を導出すること。
• 複素数 $X$ および正則関数 $F(z)$ に対して $F(z)^X = \sum c_p^{(X)} z^p$ を満たす生成関数方程式を解くこと。
• 無限級数や複素代数的数の和（例：ラデマッハの公式やブルイニエ＝オノの代数的数の和）による表現を、有限で整数に基づく式に置き換えること。
• 一様な一般生成関数フレームワークを用いて、複数の特殊数列に適用可能な統一的な手法を提供すること。

提案手法

• 一般化二項定理と多項係数展開を用いて、$F(z)^X = \sum c_p^{(X)} z^p$ の一般解を導出する。
• 係数 $c_p^{(X)}$ を、$p$ の整数分割の上での有限和として表現し、一般化二項係数 $\binom{X}{K}$ と多項係数 $\binom{K}{k_1,\dots,k_p}$ を用いる。
• 特定の生成関数にこの公式を適用する：分割関数には $\prod_{k=1}^\infty (1 - z^k)^{-1}$、ベルヌーイ数には $z/(e^z - 1)$、オイラー数には $1/\cosh z$ を用いる。
• 行列式表現を用いて、分割関数の部分和 $\sum_{n=0}^k p(n)x^n$ を $k \times k$ 行列式として表現する。この行列式には、べき級数展開から得られる係数が含まれる。
• これらの行列式の係数が、生成関数の分子のべき級数展開から生じることを確立する。
• 既知の結果と一致することを示し、従来の無限級数や非初等的表現であった部分に新しい有限表現を導出することで、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 整数または単純な分数のみを用いて、無限級数や複素代数的数を避けることで、分割関数 $p(n)$ に対して有限で閉形式の表現が得られるか？
• RQ2 ベルヌーイ数とオイラー数は、$n$ の整数分割の上での有限和として、統一的な生成関数フレームワークを用いて表現可能か？
• RQ3 任意の $F(z)^X$ の係数 $c_p^{(X)}$ を再帰的または無限級数を避け、正確な整数または有理数の結果を得る一般手法が存在するか？
• RQ4 任意の複素数 $X$ および正則関数 $F(z)$（$F(0) \neq 0$）に対して、生成関数方程式 $\sum c_q^{(X)} z^q = F(z)^X$ が閉形式で解けるか？
• RQ5 生成関数 $F(z)$ のべき級数係数のみを用いて、部分和 $\sum_{n=0}^k p(n)x^n$ を有限行列式として構成可能か？

主な発見

• 分割関数 $p(n)$ に対して、$n$ の整数分割の上での有限和としての有限閉形式表現が得られ、一般化二項係数と多項係数を用い、すべての項が整数または有理数である。
• ベルヌーイ数 $B_n$ およびオイラー数 $E_{2n}$ は、$n$ の整数分割の上での有限和として表現され、無限級数や複素代数的数を必要としない。
• 部分和 $\sum_{n=0}^k p(n)x^n$ に対して、$k \times k$ 行列式による公式が得られ、べき級数の係数のみを用い、無限展開を含まない。
• $F(z)^X$ の係数 $c_p^{(X)}$ の公式は、任意の複素数 $X$ および収束する $F(z)$（$F(0) \neq 0$）に対して正確かつ有限であることが証明され、行列式表現（逆行列を含む）と同等である。
• $p(25k + a)$ の行列式表現における係数 $Z_n^{(a)}$ を $a = 4, 9, 14, 19$ に対して明示的に計算し、この手法の実用的計算可能性を示した。
• 適切な生成関数を選択することで、スターリング数やその他の特殊数列へも一般化可能であり、それらの有限表現を統一的に提供するフレームワークを構築した。