[論文レビュー] Near NP-Completeness for Detecting p-adic Rational Roots in One Variable

Martín Avendaño, Ashraf Ibrahim+2 more|arXiv (Cornell University)|Jan 24, 2010

Cryptography and Residue Arithmetic参考文献 21被引用数 3

ひとこと要約

この論文は、スパースな単変数多項式のp進有理数解の検出が、大多数の入力に対してNPに属することを確立し、一般のp進ニュートン多角形をもつ3次多項式に対して多項式時間アルゴリズムを提供する。これは、従来のEXPTIMEの上限を改善するものである。また、ランダム化還元におけるNP困難性を証明し、この問題に対する最初の unconditional な複雑性下限を提示する。

ABSTRACT

We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reductions for general univariate polynomials. The best previous lower bound assumed an unproved hypothesis on the distribution of primes in arithmetic progression. We also discuss how our results complement analogous results over the real numbers.

研究の動機と目的

• 単変数多項式におけるp進有理数解の検出の複雑性ギャップを埋める。これは、以前はEXPTIMEの上限しか得られていなかった。
• 多項式が一般のニュートン多角形をもつ3次多項式である場合に、問題がNPに属することを示すことで、よりタイトな複雑性上限を確立する。
• ランダム化還元の下でunconditionalなNP困難性を証明し、未検証の数論的仮定に依存しない。
• 実代数幾何学におけるアルゴリズム的結果をp進的設定に拡張し、特にスパース多項式に対して類似の結果を得る。
• ヘンゼルの補題とモジュラー根の上昇を用いた証明書ベースの意思決定手順を提供し、p進根の効率的検証を可能にする。

提案手法

• Henselの補題を用いて、$\ell = 4 \cdot \mathrm{size}(f)$ に対して $p^\ell$ を法とする根を上昇させ、$\mathbb{Z}_p$ に根が存在するための必要十分条件を保証する。
• サイズが $\mathrm{size}(f)$ に対して多項式的な証明書（$p^\ell$ を法とする根）を用い、問題をNPに属させることを実現する。
• p進ニュートン多角形を用いて根の構造を特徴付け、判別式 $\mathcal{D}_\mathcal{A}(f)$ が消える場合を特定する。
• 再帰的平方と効率的な $\mathbb{F}_p$-算術を用いて、$p$ が判別式 $\mathcal{D}_\mathcal{A}(f)$ を割るかどうかをテストする。この判定が証明書の適用可能性を決定する。
• 代数的数論と円分多項式の性質を用いて、3CNFSAT から $\texttt{FEAS}_{\mathbb{Q}_{\text{primes}}}$ へのランダム化多項式時間還元を構築する。
• Wagstaff予想の下で、ランダム化還元をブルートフォース探索に置き換えることで、NP困難性を決定的かつ多項式時間で得る。これにより、ランダム性に依存しなくなる。

実験結果

リサーチクエスチョン

• RQ1 単変数多項式におけるp進有理数解の検出の複雑性は、EXPTIMEからNPに改善可能か？
• RQ2 ニュートン多角形にどのような条件下で、問題が多項式時間で解けるか？
• RQ3 この問題はunconditionalにNP困難か、それとも未検証の数論的仮定に依存するか？
• RQ4 特にスパース多項式の設定において、p進根検出の複雑性上限は実数上でのそれとどのように比較されるか？
• RQ5 モジュラー上昇と判別式条件を用いて、p進根の簡潔な証明書を構築可能か？

主な発見

• 問題 $\texttt{FEAS}_{\mathbb{Q}_{\text{primes}}}(\mathbb{Z}[x_1] \times \mathbb{P})$ は、$p \nmid \mathcal{D}_\mathcal{A}(f)$ の場合、つまり入力の密度1の部分でNPに属する。
• 一般のp進ニュートン多角形をもつ3次多項式に対して、問題は多項式時間で解ける。これは、従来のEXPTIMEの上限を改善する。
• ランダム化還元の下で、問題はNP困難であり、これはこの問題に対する最初のunconditionalな下限であり、算術級数における素数の分布に関する未検証仮定の必要性を排除する。
• p進有理数解の証明書は、$\ell = 4 \cdot \mathrm{size}(f)$ に対して $p^\ell$ を法とする根から構成され、多項式時間で検証可能である。
• 3CNFSAT からp進可能性問題への還元は、円分多項式とAGP定理を含む一連の代数的還元を用い、ランダム化NP困難性を確立する。
• Wagstaff予想の下では、ランダム化還元をブルートフォース探索に置き換えることで、NP困難性を決定的かつ多項式時間で得られる。