[論文レビュー] Factoring polynomials over global fields

Karim Belabas, Mark van Hoeij+2 more|ArXiv.org|Sep 27, 2004

Coding theory and cryptography参考文献 4被引用数 11

ひとこと要約

この論文は、数体と関数体を含むグローバル体上の多項式の因数分解に対して、多項式時間のアルゴリズムを提示する。Henselの持ち上げとナップサックに基づく線形代数的手法を組み合わせることで、組み合わせ的爆発を回避する。主な貢献は、因数分解問題を有限体上の線形系の解法に還元する、証明可能に効率的な方法であり、$ℝ$および$ℛ_q(t)$において多項式時間の複雑度を達成する。

ABSTRACT

Let K be a global field and f in K[X] be a polynomial. We present an efficient algorithm which factors f in polynomial time.

研究の動機と目的

• グローバル体、特に$ℝ$および$ℛ_q(t)$において、多項式時間で多項式を因数分解する実用的で効率的なアルゴリズムの開発。
• 古典的なZassenhausのアルゴリズムに内在する組み合わせ的爆発を克服するため、要因の組み合わせの全列挙に代わる、線形代数を用いた構造的探索手法を導入する。
• 有理係数から任意のグローバル体へのナップサックに基づくアプローチの一般化を行い、多項式時間の複雑度を保証する。
• Henselの持ち上げとNewton多角形の境界に基づいた、厳密な複雑度解析と実装戦略の提示。

提案手法

• 非アーチメデス的位相$v$に対して、$ε$が十分に大きいとき、$f_i$を$v^\ell$を法として局所的因数分解するHenselの持ち上げを用いる。
• 因数の乗法的構造を$ℚ_v[X]$上での加法的問題に線形化するため、対数的導関数変換$\Phi(g) = f \cdot \frac{g'}{g}$を導入する。
• 係数の次数から構成される行列$\tilde{A}_i$を、$\Phi(f_1^{e_1} \cdots f_r^{e_r})$を$v^\ell$を法として計算し、問題を$\mathbb{F}_p$上でのこれらの行列の核の特定に還元する。
• Newton多角形の境界を用いて、$\Phi(g)$の係数の最大次数を推定し、$\ell$が$K$-因数と偽の組み合わせを区別できる十分な大きさであることを保証する。
• 正しい部分空間$W$（$K$-因数に対応）が特定されるまで、係数行列の核の交差を繰り返し用いて格子$L$を段階的に精錬する。
• 正しい指数ベクトルが特定された後、持ち上げ手順を適用して、$\ell$-進近似から正確な$K$-因数を回復する。

実験結果

リサーチクエスチョン

• RQ1 Zassenhausのアルゴリズムにおける組み合わせ的因数列挙を、グローバル体上で多項式時間の線形代数的手法に置き換えることは可能か？
• RQ2 局所的因数の$v^\ell$-持ち上げが、$f$のすべての$K$-有理的既約因数を捉えるために必要な最小の$\ell$は何か？
• RQ3 対数的導関数変換をどのように用いることで、乗法的因数分解問題を加法的格子問題に変換できるか？
• RQ4 $\Phi(g)$の係数の次数にどのような境界を課すと、核の計算が正しい因数空間$W$を回復できるか？
• RQ5 Newton多角形を用いることで、$n(n-1)$や$(2n-1)\deg_t(f)$より鋭い境界を導けるか？計算コストの低減に寄与するか？

主な発見

• アルゴリズムは$K = \mathbb{Q}$および$K = \mathbb{F}_q(t)$において多項式時間で実行され、$f$の次数とモジュラス$v^\ell$のサイズによって複雑度が上限づけられる。
• もし$t$-次数が$(2n-1)\deg_t(f)$を超えるならば、係数行列$\tilde{A}_i$の核が正確な因数空間$W$を回復し、正しさが保証される。
• Newton多角形を用いることで、$\Phi(g)$の係数の次数に鋭い境界$B_i$を導出し、一般の境界に比べて効率性が向上する。
• $\mathbb{F}_p$上での線形代数に置き換えることで、指数的時間の列挙を回避し、高次多項式に対しても実用的である。
• 従来の格子ベースの手法が実用上遅すぎたのに対し、この手法はvan Hoeijのナップサックアプローチをグローバル体に一般化し、多項式時間の解決策を提供する。
• $\mathbb{F}_q$から$\mathbb{F}_p^w$への$\psi$-持ち上げを介して$\tilde{A}_i$を構築することで、$\mathbb{F}_p$上での核の計算を効率的に行い、$W$の構造を保持する。