[論文レビュー] Factors of Sparse Polynomials are Sparse

Zeev Dvir, Rafael Oliveira|arXiv (Cornell University)|Apr 18, 2014

Coding theory and cryptography参考文献 19被引用数 3

ひとこと要約

この論文は、スパース多項式の因数のスパarsityを調査し、その因数もまたスパースであるはずだと提案している。しかし、正の特性における反例によって、主な結果は無効化される：多項式 $x_1^p + \cdots + x_n^p$ は、スパarsityが $n^p$ の因数 $(x_1 + \cdots + x_n)^{p-1}$ を持ち、スパarsity保存の主張に反する。

ABSTRACT

This paper was removed due to an error in the proof (Claim 4.12 as stated is not true). The authors would like to thank Ilya Volkovich for pointing out a counterexample to this paper's main result in positive characteristic: If $F$ is a field with prime characteristic $p$, then the polynomial $x_1^p + x_2^p + \ldots + x^n^p$ has the following factor: $(x_1+x_2+ \ldots + x_n)^{p-1}$, which has sparsity $n^p$.

研究の動機と目的

• スパース多項式の因数が、計算代数の文脈においても自身がスパースであることを確立すること。
• 多項式のスパarsityとその既約因数または一般因数のスパarsityとの関係を分析すること。
• 正の特性の体において、因数分解の過程でスパarsityが保存されるかどうかを調査すること。
• スパース多項式が密度の高い因数を持つ条件を特定し、スパarsity保存の一般適用性に疑問を呈すること。

提案手法

• 素数特性 $p$ の体上の多変数多項式の構造を分析すること。
• 具体的な反例の構築：特性 $p$ の体における $F = x_1^p + \cdots + x_n^p$。
• フロベニウス自己準同型の性質を用いて、$(x_1 + \cdots + x_n)^{p-1}$ が $F$ を割り切ることを示すこと。
• 因数 $(x_1 + \cdots + x_n)^{p-1}$ のスパarsityを計算し、$n^p$ であることを示し、それがスパースでないことを示すこと。
• 正の特性における代数的恒等式を用いて、元の証明の仮定に内在する構造的欠陥を明らかにすること。
• 元の論文の主張4.12の失敗を強調し、これはすべての状況でスパarsity保存が成り立つと主張していた。

実験結果

リサーチクエスチョン

• RQ1 正の特性の体上では、スパース多項式の因数が常にスパースであるのだろうか？
• RQ2 特性 $p$ におけるスパース多項式が、指数的に高いスパarsityを持つ因数を持つことは可能だろうか？
• RQ3 多項式 $x_1^p + \cdots + x_n^p$ における因数 $(x_1 + \cdots + x_n)^{p-1}$ のスパarsityは何か？
• RQ4 フロベニウス写像が、多項式因数分解においてスパarsityの保存を破壊する条件は何か？
• RQ5 すべての代数的設定において、スパース多項式の因数がスパースであるという主張は有効だろうか？

主な発見

• 特性 $p$ における多項式 $x_1^p + \cdots + x_n^p$ は、$n$ 個の単項式しか持たないためスパースである。
• この多項式は、スパースでない因数 $(x_1 + \cdots + x_n)^{p-1}$ を持つ。
• 因数 $(x_1 + \cdots + x_n)^{p-1}$ のスパarsityは $n^p$ であり、項の数が指数関数的に増加していることを示している。
• 反例により、主張4.12が無効化され、スパース多項式の因数が常にスパースであるという主張が覆された。
• この結果により、正の特性において因数分解の過程でスパarsityが保存されないことが示され、元の論文の中心的主張が揺るがされた。
• 主な結果の失敗は、多項式因数分解理論において特性に依存する振る舞いの重要性を浮き彫りにしている。