[論文レビュー] Factorization of Non-Commutative Polynomials

Fabrizio Caruso|arXiv (Cornell University)|Feb 16, 2010

graph theory and CDMA systems参考文献 2被引用数 3

ひとこと要約

この論文は、ジェームズ・H・ダヴェンポートによる未発表の概要を拡張し、体上の非可換多項式を因数分解するためのアルゴリズムを提示する。同アルゴリズムは、階数分解と記号的拡張を用いて、非斉次な場合の因数分解の一意性の欠如を扱い、Axiom計算代数システムにおける完全な実装と、可換像解析および重複最小化による計算複雑性の低減という改善を備えている。

ABSTRACT

We describe an algorithm for the factorization of non-commutative polynomials over a field. The first sketch of this algorithm appeared in an unpublished manuscript (literally hand written notes) by James H. Davenport more than 20 years ago. This version of the algorithm contains some improvements with respect to the original sketch. An improved version of the algorithm has been fully implemented in the Axiom computer algebra system.

研究の動機と目的

• 非可換多項式の因数分解のための実用的で効率的なアルゴリズムを開発すること。非一意性の問題が存在するが、既に理論的スケッチは存在しているにもかかわらず、公開された解決策は存在しない。
• 非斉次多項式の因数分解における一意性の欠如を解消するため、キャンセルをモデル化するための記号的拡張を導入すること。
• Axiom計算代数システムにアルゴリズムを実装すること。自由モノイドおよび非可換多項式環のサポートを活用する。
• 2つの主要な改善を通じて指数的探索空間を縮小すること：代数拡張の最小化と、不可能な因数分解をフィルタリングするための可換像の使用。
• 因数分解の有限性の形式的証明の基盤を築くこと、および代替代数商の探索を促進すること。

提案手法

• 非可換多項式を斉次成分に分解し、重なり合う単項式のキャンセル制約の下で係数を解くことで、再帰的に因数成分を特定する。
• 積 $GH$ における重複する単項式間のキャンセルを表すために、新しい記号（代数的拡張）を導入する。
• 元の多項式 $F$ の単項式から、候補因数 $G$ と $H$ を左・右商を用いて再構成する。
• 多項式 $F$ の各単項式 $M$ に対して、候補頭部因数 $\hat{G}$ が $M$ を左除法可能か、または $\hat{H}$ が $M$ を右除法可能かをチェックし、それに応じて $G$ と $H$ を更新する。
• 斉次成分 $F_{n-j} = G_{h-j}H_k + \dots + G_h H_{k-j}$ から導かれる再帰的方程式系を適用し、一貫した因数構造を特定する。
• 可換像を用いて、可能な因数次数ペアを事前にフィルタリングし、二分ナップサック問題を用いて探索すべきケース数を削減する。

実験結果

リサーチクエスチョン

• RQ1 非可換多項式の因数分解のための体系的かつ効率的なアルゴリズムを設計することは可能か？ 一意性の欠如があるにもかかわらず。
• RQ2 非可換積における重複単項式間のキャンセルを代数的にどのようにモデル化し、因数再構成を可能にするか？
• RQ3 非可換多項式の可換像を、有効な因数分解の探索空間を削減するためにどの程度活用できるか？
• RQ4 初期単項式因数を戦略的に選択することで、係数体における必要な代数的拡張（記号）の数を減らすことは可能か？
• RQ5 非可換因数分解の有限性を保証する条件は何か？ そして、これを形式的に証明することは可能か？

主な発見

• アルゴリズムは、多項式を斉次成分に分解し、単項式マッチングと記号的拡張を用いて因数係数を解くことで、非可換多項式を正しく因数分解する。
• 多項式 $F = yxyxy - y$ に対して、条件 $\alpha^2 = 1$ から生じる2つの異なる因数分解 $(yx \pm 1)(yxy \mp y)$ を発見する。
• 可換像の使用により、既約な可換因数に対する二分ナップサック問題を用いて、候補因数次数ペアの数がフィルタリングされ、削減される。
• Axiomにおけるアルゴリズムの実装は、すべての可能な因数分解の記号的計算をサポートし、係数制約の明示的記述とともに出力する。
• 初期単項式因数 $\hat{G}$ と $\hat{H}$ を重複が最小限になるように選ぶことで、必要な代数的拡張の数を最小化でき、計算のオーバーヘッドを低減できる。
• アルゴリズムは完全に実装されており、次回のAxiom計算代数システムのリリースに含まれる予定である。