[论文解读] Factors of Sparse Polynomials are Sparse

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

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

一句话总结

本文研究了稀疏多项式因子的稀疏性，提出此类因子也应是稀疏的。然而，正特征下的反例使主要结果失效：多项式 $x_1^p + \cdots + x_n^p$ 具有因子 $(x_1 + \cdots + x_n)^{p-1}$，其稀疏性为 $n^p$，与所声称的稀疏性保持性相矛盾。

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$.

研究动机与目标

• 建立稀疏多项式的因子本身也是稀疏的，特别是在计算代数的背景下。
• 分析多项式的稀疏性与其不可约因子或一般因子的稀疏性之间的关系。
• 研究在正特征域中，稀疏性在因式分解下是否得以保持。
• 确定稀疏多项式可能产生稠密因子的条件，从而挑战稀疏性保持性的普遍适用性。

提出的方法

• 分析素特征 $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}$ 的稀疏性，其值为 $n^p$，表明其并非稀疏。
• 利用正特征中的代数恒等式，揭示原始证明假设中的结构性缺陷。
• 指出原始论文中第 4.12 条声明的失败，该声明断言在所有情况下均保持稀疏性。

实验结果

研究问题

• RQ1 在正特征域中，稀疏多项式的因子是否必然保持稀疏？
• RQ2 在特征 $p$ 下，一个稀疏多项式是否可能具有稀疏性呈指数级增长的因子？
• RQ3 在多项式 $x_1^p + \cdots + x_n^p$ 中，因子 $(x_1 + \cdots + x_n)^{p-1}$ 的稀疏性是多少？
• RQ4 在何种条件下，弗罗贝尼乌斯映射会导致多项式因式分解中稀疏性的破坏？
• RQ5 在所有代数设定下，稀疏多项式的因子均为稀疏的这一断言是否成立？

主要发现

• 在特征 $p$ 下，多项式 $x_1^p + \cdots + x_n^p$ 是稀疏的，仅含 $n$ 个单项式。
• 该多项式具有一个非稀疏的因子 $(x_1 + \cdots + x_n)^{p-1}$。
• 因子 $(x_1 + \cdots + x_n)^{p-1}$ 的稀疏性为 $n^p$，表明其项数呈指数级增长。
• 该反例使第 4.12 条声明失效，该声明曾断言稀疏多项式的因子总是稀疏的。
• 该结果表明，在正特征下，稀疏性在因式分解过程中并不保持，从而挑战了原始论文的核心断言。
• 主结论的失效凸显了在多项式因式分解理论中，特征相关行为的重要性。