[論文レビュー] Closure of VP under taking factors: a short and simple proof

Chi-Ning Chou, Mrinal Kumar+1 more|arXiv (Cornell University)|Mar 6, 2019

semigroups and automata theory参考文献 12被引用数 4

ひとこと要約

この論文は、複雑性クラスVPが因数をとることに関して閉じていることを、簡潔で自己完結的な証明により示している。任意のVPに属する多項式の因数は、多項式サイズの算術回路によって計算可能であることを示している。証明は多変数ニュートン反復と結果式を用いて直接的に因数を再構成し、ヘンゼルの上昇やヒルベルトの不約性定理といった高度な道具を必要としない。

ABSTRACT

In this note, we give a short, simple and almost completely self contained proof of a classical result of Kaltofen [Kal86, Kal87, Kal89] which shows that if an $n$ variate degree $d$ polynomial $f$ can be computed by an arithmetic circuit of size $s$, then each of its factors can be computed by an arithmetic circuit of size at most $ extsf{poly}\left(s, n, d ight)$. However, unlike Kaltofen's argument, our proof does not directly give an efficient algorithm for computing the circuits for the factors of $f$.

研究の動機と目的

• VPが因数をとることに関して閉じているという古典的結果の、簡単でアクセス可能な証明を提供すること。
• カールトフェンの複雑な代数的道具（例えばヘンゼルの上昇や有効なヒルベルトの不約性定理）に代わる、初等的な技法を導入すること。
• 因数計算におけるVPの性質を、反復的多変数ニュートン近似と結果式によるGCD検出を用いて実現することを示すこと。
• 深く代数的背景を持たない研究者にもアクセス可能な、ほとんど完全に自己完結的な証明を提供すること。
• 代数的複雑度における因数分解の構造的洞察を明らかにし、証明フレームワークを単純化すること。

提案手法

• 多項式の因数の斉次成分を段階的に近似するため、多変数ニュートン反復を用いる。
• 各反復ステップで、近似された因数の積が、より高次の単項式を法として元の多項式と一致するという条件から導かれる一次方程式系を解く。
• 二つの一変数多項式の結果式を用いて、それらが非自明なGCDを共有しているかどうかを検出することで、因数の回復を可能にする。
• 次数dまで段階的に近似を上げることで、因数多項式の回路を構築する。
• 得られた回路を斉次化して、因数の完全な斉次成分を回復する。
• 重複因数の場合 f = z^e - g^e と分解することで、重複因数のケースを互いに素なケースに還元し、その後主補題を適用する。

実験結果

リサーチクエスチョン

• RQ1 ヘンゼルの上昇やヒルベルトの不約性定理といった深い代数的道具に依存せずに、VPが因数分解に関して閉じていることを証明できるか？
• RQ2 ニュートン反復と結果式によるGCD検出のみを用いて、反復的で直接的な方法で多項式の因数を再構成できるか？
• RQ3 正しさを保ちつつ、VPにおける因数閉包の証明を著しく簡素化し、よりアクセスしやすくできるか？
• RQ4 多変数ニュートン反復のアプローチが、元の多項式の小さな回路が与えられた場合に、すべての因数を回復するのに十分か？
• RQ5 重複因数のケースは、初等的な代数的変換を用いて、互いに素な因数のケースに還元できるか？

主な発見

• この論文は、元の多項式の回路サイズがsであるとき、VPに属する多項式の任意の因数は、サイズが最大で poly(s, n, d) の算術回路によって計算可能であることを確立している。
• 証明は因数のアルゴリズム的構成を避けており、代わりに存在的閉包に焦点を当てている：このような回路が存在することを示すが、効率的な構成アルゴリズムを提供しない。
• 多変数ニュートン反復の技術により、次数dまで段階的に因数成分を再構成でき、イデアル ⟨x⟩ の高次の冪を法として正しく保証される。
• 結果式の使用により、一変数多項式間の共通因数の検出が可能になり、反復的プロセス中のGCD条件の検証に不可欠である。
• 重複因数の場合 f = g^e に対して、変換 f = z^e - g^e を用いて問題を互いに素なケースに還元し、その後 z - g に主結果を適用する。
• 最終的な因数gの回路は、斉次化と出力の線形結合を用いて構築され、サイズの増加は poly(s, n, d) のみにとどまる。