[논문 리뷰] Finite, closed-form expressions for the partition function and for Euler, Bernoulli, and Stirling numbers

Jerome Malenfant|arXiv (Cornell University)|2011. 03. 08.

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(0) \neq 0$인 해석적 $F(z)$에 대해 생성함수 방정식 $\sum c_q^{(X)} z^q = F(z)^X$를 해결하기 위해.
• 이전에 사용된 무한 급수나 복잡한 대수적 수의 합(예: 라데마처의 공식 또는 브루이니에르-오노의 대수적 수의 합)을 대체하여 정수 기반의 유한한 공식을 제공하기 위해.
• 단일 일반 생성함수 프레임워크를 통해 여러 특수 수열에 적용 가능한 통합된 방법을 제공하기 위해.

제안 방법

• 일반화된 이항정리와 다항계수 전개를 사용하여 $F(z)^X = \sum c_p^{(X)} z^p$에 대한 일반 해를 유도한다.
• 계수 $c_p^{(X)}$를 정수 분할에 대한 유한 합으로 표현하며, 일반화된 이항계수 $\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 베르누이 수와 오일러 수는 정수 분할에 대한 유한 합으로 표현될 수 있으며, 이는 통합된 생성함수 프레임워크에 기반하는가?
• RQ3 임의의 복소수 $X$와 수렴하는 $F(z)$에 대해 $F(z)^X$의 계수 $c_p^{(X)}$를 재귀나 무한 급수를 피하고 정확한 정수 또는 유리수 결과를 얻는 일반적 방법이 존재하는가?
• RQ4 임의의 복소수 $X$와 $F(0) \neq 0$인 해석적 $F(z)$에 대해 생성함수 방정식 $\sum c_q^{(X)} z^q = F(z)^X$가 닫힌 형태로 해를 구할 수 있는가?
• RQ5 생성함수 $F(z)$의 멱급수 계수만을 사용하여 부분합 $\sum_{n=0}^k p(n)x^n$을 표현하는 유한 행렬식을 구성할 수 있는가?

주요 결과

• 분할 함수 $p(n)$에 대해 정수 분할에 대한 합으로 표현된 유한하고 닫힌 형태의 표현식이 유도되었으며, 일반화된 이항계수와 다항계수를 사용하여 모든 항이 정수 또는 유리수임을 보였다.
• 베르누이 수 $B_n$과 오일러 수 $E_{2n}$는 정수 분할에 대한 유한 합으로 표현되었으며, 이로 인해 무한 급수나 복잡한 대수적 수가 필요로 하지 않는다.
• 분할 함수의 부분합 $\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$에 대해 명시적으로 계산하여 이 방법의 실용적 계산 가능성을 보였다.
• 적절한 생성함수를 선택함으로써 이 방법은 스타링 수 및 기타 특수 수열으로 일반화되며, 이러한 수열들의 유한 표현을 위한 통합적 프레임워크를 제공한다.