[論文レビュー] Resultants and Contour Integrals

А. Морозов, Sh. Shakirov|ArXiv.org|Jul 28, 2008

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

ひとこと要約

本稿では、スペクトルパラメータにおける級数展開と再帰的輪郭積分を用いて、n個の変数におけるn個の斉次多項式の結果式を計算する新しい手法を提示する。結果式の対数を繰り返し輪郭積分で表現し、指数関数化することで、補助パラメータにおけるテイラー展開により明示的で多項式形式の公式が得られる。これにより、非線形代数における結果式の斉次多項式構造が明らかになり、計算が効率的に行える。

ABSTRACT

Resultants are important special functions used in description of non-linear phenomena. Resultant $R_{r_1, ..., r_n}$ defines a condition of solvability for a system of $n$ homogeneous polynomials of degrees $r_1, ..., r_n$ in $n$ variables, just in the same way as determinant does for a system of linear equations. Unfortunately, there is a lack of convenient formulas for resultants when the number of variables is large. In this paper we use Cauchy contour integrals to obtain a polynomial formula for resultants, which is expected to be useful in applications.

研究の動機と目的

• n個の変数におけるn個の斉次多項式の結果式について、実用的で計算可能な公式を構築すること。これは非線形代数および物理学において中心的な役割を果たす。
• 線形の場合（行列式）を除き、結果式を効率的に計算するためのツールが不足している問題を克服すること。特に、次数が高くなると明示的公式が扱いにくくなる。
• 結果式の対数の指数的輪郭積分表現を、斉次性を保ちつつ明示的な多項式公式に変換すること。
• 再帰的統合とスペクトルパラメータにおける級数展開を通じて、結果式を体系的に計算する手法を確立すること。これは既知のn=2およびn=3の場合の公式を一般化する。

提案手法

• 本手法は、∞を囲む輪郭上での(log fiの) (n−1)重積分を含む、log Rの再帰的輪郭積分公式から出発する。
• fi を (xi)^ri − λi fi に置き換えたシフト系を考察することで、log R をスペクトルパラメータ λi におけるテイラー級数に展開する。
• 級数展開の各係数は、斉次性からの留数計算および選択則に基づき、元の多項式の係数に関する斉次多項式に対応する。
• 係数 T_{k1…kn} は、r_i1 + … + rin = r_i ki を満たす単項式次数の和集合として計算され、n ≥ 3 の場合に行列式が現れる。
• 結果式 R は、これらの係数の和として再構成され、総次数 d = r1…rn(1/r1 + … + 1/rn) を用いた符号規約および正規化が施される。
• 本手法は、トレース、行列式、シュール関数を評価するMAPLEプログラムとして実装されており、結果式の効率的計算が可能である。

実験結果

リサーチクエスチョン

• RQ1 結果式の対数を、多項式再構成が体系的に行える形で輪郭積分で表現できるか。
• RQ2 結果式の指数的表現を、計算に適した明示的多項式表現に変換する方法は何か。
• RQ3 スペクトルパラメータにおける結果式の展開における係数の構造は何か。また、元の系の斉次性および対称性はどのように反映されるか。
• RQ4 本手法は任意のnおよび次数riに一般化可能であり、アルゴリズム的に実装可能か。

主な発見

• 結果式の対数は、任意のnに対して一般化された再帰的輪郭積分として表現され、既知のn=2およびn=3の場合を含む。
• 輪郭積分公式を指数関数化することで、結果式の明示的表現が得られるが、これは多項式的であるとは明確でない。
• スペクトルパラメータ λi を導入し、そのべき級数に展開することで、テイラー係数 T_{k1…kn} を通じて結果式の多項式公式が得られる。
• 各係数 T_{k1…kn} は、fi の係数に関する斉次多項式であり、fi に対して次数 d_i = (r1…rn)/ri を持つ。これらは留数および行列式を用いて計算される。
• n ≥ 3 の場合、係数には単項式次数から構成される行列の行列式が含まれており、斉次性に起因する横断的選択則が反映されている。
• 結果式は、これらの係数の和として再構成され、シュール関数およびトレース演算を用いた最終的な正規化により、実際の計算が可能になる。