[論文レビュー] Leinartas's partial fraction decomposition

Alexander Raichev|arXiv (Cornell University)|Jun 20, 2012

Polynomial and algebraic computation参考文献 6被引用数 9

ひとこと要約

この論文は、多変数有理関数を、代数的に独立な既約因子からなる分母を持つ有理式の和に分解するLeĭnartasのアルゴリズムを提示する。この手法は、共通零点の検出と代数的従属性の証明にヒルベルトのゼロ点定理の証明を組み合わせることで、完全で計算可能な分解を保証し、Sageに実装され、留数計算に応用されている。

ABSTRACT

These notes describe Leinartas's algorithm for multivariate partial fraction decompositions and employ an implementation thereof in Sage.

研究の動機と目的

• Leĭnartasの多変数部分分数分解アルゴリズムを、これまで不明瞭で利用が少ないことから、明確かつアクセスしやすい形で提示すること。
• 特に多変数有理関数の記号的計算において、英語で利用可能なリソースや実装が不足している現状に対処すること。
• オープンソースのSage実装を通じて、多変数有理関数の留数および分解の実用的計算を可能にすること。
• Leĭnartas分解が一意的ではないが、構成的代数幾何学的手法を用いて体系的に計算可能であることを示すこと。
• 任意の$d$変数の有理関数を、各項の分母に高々$d$個の既約因子が含まれる和に分解する計算可能な枠組みを確立すること。ここで、体の計算可能性と多項式イデアル論を活用する。

提案手法

• 計算可能な体上で構成的手続きを用いて、分母の既約因子が$\bar{K}^d$で共通零点を持つかどうかを、ヒルベルトのゼロ点定理の証明を用いて検出する。
• ヒルベルトのゼロ点定理の分解手順を用い、$A \neq \bigcap V_i$である部分集合の和に有理関数を再書き換えする。各項の分母は、既約因子の累乗の積となる。
• 各項に対して、代数的従属性の証明を適用し、代数的従属にある既約因子の部分集合を特定し、消滅多項式を用いてさらに分解する。
• 消滅多項式関係におけるモナドの基底を構成的に用いて各項を分解し、結果として得られる分母が既約因子の積であり、元の重複度を超えるべき乗をとることを保証する。
• 任意の$d$変数における$d$個より多い多項式の集合は、代数的従属にある（補題2.6より）ため、複雑な分母を体系的に簡約可能であることに着目する。
• Sageにアルゴリズム全体を実装し、コードは共同レビュー可能でSageコードベースへの統合が可能であり、再現可能でアクセス可能な計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 標準的な逐次1変数法が失敗する状況において、多変数有理関数をどのように体系的に部分分数に分解できるか？
• RQ2 分母に代数的に独立な既約因子を含む有理関数への分解が可能であるための条件は何か？
• RQ3 既約因子に共通零点が存在しない場合、ヒルベルトのゼロ点定理の証明を用いて有理関数を構成的に分解できるか？
• RQ4 既約因子の数が変数の数を上回る場合、アルゴリズムはどのように対処し、代数的従属性はどのような役割を果たすか？
• RQ5 Leĭnartas分解の同定性はどの程度保証されており、1変数と多変数の場合で同定性の違いは何か？

主な発見

• Leĭnartasのアルゴリズムは、任意の多変数有理関数$f = p/q$を、各項の分母が既約因子の累乗の積である有理式の和に分解する構成的手段を提供する。ここで、因子の集合は代数的に独立であり、それらの零点集合の共通部分は空でない。
• アルゴリズムにより、任意の$d$変数の有理関数は、各項の分母に高々$d$個の異なる既約因子が含まれる和に表現可能であることが保証され、これは補題2.2により示される。
• この分解は、任意の計算可能な体$K$（例えば$\bbQ$、有限体、およびその代数的閉包）上で計算可能であり、ヒルベルトのゼロ点定理の証明と代数的従属性関係が計算可能である限り、成立する。
• 分母における指数は、元の$q$の因数分解における重複度を超えることがある。例として、分母に$(XY+Z)^2$を含む場合が示されている。
• Leĭnartas分解は一意的ではない。同じ有理関数に対して複数の有効な分解（例：$f = 1/X + 1/Y + 1/(XY+1)$）が存在するが、アルゴリズムは一意的な方法で1つの分解を体系的に計算可能である。
• 1変数の場合、分数が既約形にある限り、多項式因数分解の一意性と、異なる既約因子間の代数的従属性の不在により、Leĭnartas分解は一意的である。