[論文レビュー] Developments from Programming the Partition Method for a Power Series Expansion

Victor Kowalenko|arXiv (Cornell University)|Mar 22, 2012

Advanced Combinatorial Mathematics参考文献 16被引用数 5

ひとこと要約

本稿では、整数分割に基づく新しいアルゴリズム的枠組みであるべき級数展開の分割法を紹介する。この方法は、各次数 k に合致するすべての分割からの寄与を合算することで係数を計算する。bivariate recursive central partition (BRCP) アルゴリズムを用いて、重複度表現での分割を効率的に生成し、これまでに扱いにくかった関数のべき級数の導出を可能にするとともに、ω の多項式係数を有する離散的および標準的分割の母関数を一般化する。

ABSTRACT

Recently, a novel method based on coding partitions [1]-[4] has been used to derive power series expansions to previously intractable problems. In this method the coefficients at $k$ are determined by summing the contributions made by each partition whose elements sum to $k$. These contributions are found by assigning values to each element and multiplying by an appropriate multinomial factor. This work presents a theoretical framework for the partition method for a power series expansion. To overcome the complexity due to the contributions, a programming methodology is created allowing more general problems to be studied than envisaged originally. The methodology uses the bi-variate recursive central partition (BRCP) algorithm, which is based on a tree-diagram approach to scanning partitions. Its main advantage is that partitions are generated in the multiplicity representation. During the development of the theoretical framework, scanning over partitions was seen as a discrete operation with an operator $L_{P,k}[ \cdot]$, whose summand depends on the coefficients of the two series when the original function is written as a pseudo-composite function. Simple modifications result in programs for other operators of specific types of partitions such as: (1) only odd or even elements, (2) a fixed number of elements, (3) discrete elements, (4) specific elements and (5) those restricted by element size. Another modification generates conjugate partitions by transposing Ferrers diagrams. The operator approach is then applied to the generating functions for both discrete and standard partitions. The main generalisation introduces a parameter $ω$, whose powers give the number of elements in the partitions while the coefficients become polynomials in $ω$. Finally, power series expansions for more advanced infinite products are derived, culminating in Heine's multi-parameter product.

研究の動機と目的

• べき級数展開における分割法の理論的基盤を確立すること。これは、かつては解けない関数を解くために経験的に応用されてきたものである。
• 高次の次数 k における分割寄与の評価における計算複雑性を克服するため、体系的なプログラミング手法を開発すること。
• 制限付き分割（奇数/偶数、固定サイズ、離散的要素）、共役分割、および多パラメータ無限積を扱えるようにこの手法を一般化すること。
• 標準的および離散的分割の母関数を一般化するため、パラメータ ω を導入し、多項式係数を有するものに拡張すること。
• 分割作用素フレームワークを用いて、ヘインの三パラメータ積を含む高度な無限積の新しい母関数を導出すること。

提案手法

• 分割法は、次数 k に合致するすべての整数分割からの寄与を合算することでべき級数係数を計算し、各寄与は要素の頻度に基づいた多項係数によって重み付けされる。
• bivariate recursive central partition (BRCP) アルゴリズムは、重複度表現での分割を生成し、分割タイプの制限に対する効率的計算と自然なサポートを可能にする。
• 離散的演算子 $ L_{P,k}[ullet] $ が導入され、すべての合計が k に等しい分割からの和を形式化し、奇数/偶数、固定サイズ、または制限付き要素の分割といった特定の分割クラスへの応用を可能にする。
• パラメータ ω を導入することで母関数を一般化し、ω のべきは分割内の要素数を追跡し、係数は多項式 $ p(k,\omega) $ および $ q(k,\omega) $ となる。
• ${\bf dispfnpoly}$ のような記号的プログラミングツールが開発され、Mathematica における分割多項式の表現に活用され、係数の効率的計算に除数多項式 $ \gamma_i(\omega) $ を活用する。
• 本手法は、$ P_{\rho}(z,\omega) $、$ QP_k(\omega,\beta,\alpha) $、およびヘインの積を含む無限積へと拡張され、分割作用素により多変数多項式として係数が表現される。

実験結果

リサーチクエスチョン

• RQ1 分割法を、テイラー／マクローリン級数の制限を超えてべき級数係数を計算する一般理論的枠組みとして形式化するにはどうすればよいか？
• RQ2 高次の次数 k における分割寄与の計算を効率的に行うためのアルゴリズム的構造は何か、特に複雑または制限付きの分割タイプに対しては？
• RQ3 標準的および離散的分割の母関数をパラメータ ω を用いて一般化し、多項式係数を導出するにはどうすればよいか？
• RQ4 分割作用素 $ L_{P,k} $ は、さまざまな分割クラスおよび無限積における係数計算を統一するために果たす役割は何か？
• RQ5 ヘインの積のような多パラメータ無限積の導出された母関数は、その背後にある分割構造および多項式係数とどのように関係しているか？

主な発見

• BRCP アルゴリズムにより、重複度表現での整数分割の生成が効率的に行われ、単純な列挙に比べて計算複雑性が顕著に低減される。
• 分割作用素 $ L_{P,k} $ は、合計が k に等しいすべての分割からの寄与の和を形式化するフレームワークを提供し、制限付き分割タイプのターゲット計算を可能にする修正が可能である。
• 多項式係数 $ p(k,\omega) $ および $ q(k,\omega) $ は、標準的および離散的分割関数を一般化し、$ \omega = 1 $ のとき $ p(k) $ および $ q(k,1) $ に還元される。
• ヘインの三パラメータ無限積の母関数は、ω に関して次数 k の多項式である係数 $ HP_k(\omega,x,y) $ を与え、最初の七つが明示的に表にまとめられている。
• 本手法は、$ 1/\ln^s(1+z) $、$ \sec^s z $、および楕円積分を含む、かつては取り扱いにくかった関数のべき級数を、擬似合成関数として表現することにより成功裏に導出する。
• 係数 $ C_k = 1 $ の $ P(z,\omega) $ の母関数の係数は、偶数要素分割と奇数要素分割の個数の差に一致し、オイラーの奇数部分割に関する結果と一致する。