[论文解读] Bias implies low rank for quartic polynomials

Amichai Lampert|arXiv (Cornell University)|Feb 27, 2019

Coding theory and cryptography参考文献 8被引用 5

一句话总结

该论文证明，定义在素数域上的四次多项式，若其偏差较高（即取值分布不均），则其秩必为低秩，且该秩由关于偏差参数的对数多项式函数有界。通过识别一组小规模的二次多项式，其公共零点集可捕捉四阶导数的结构，作者证明此类多项式仅依赖于多项式对数数量的低次多项式，显著优于先前的多项式界。

ABSTRACT

We investigate the structure of polynomials of degree four in many variables over a fixed prime field $\mathbb{F}=\mathbb{F}_{p}$. In 2007, Green and Tao proved that if a polynomial $f:\mathbb{F}^{n} ightarrow\mathbb{F}$ is poorly distributed, then it is a function of a few polynomials of smaller degree. In 2009, Haramaty and Shpilka found an effective bound for $f$ of degree four: If $bias\left(f ight)\geqδ$, then the number of lower degree polynomials required is at most polynomial in $1/δ$ and $f$ has a simple presentation as a sum of their products. We make a step towards showing that in fact the number of lower degree polynomials required is at most log-polynomial in $1/δ$, with the same simple presentation of $f$. This result was a Master's thesis supervised by T. Ziegler at the Hebrew University of Jerusalem, submitted in October 2018. A log-polynomial bound for polynomials of arbitrary degree was recently proved independently by Milicevic and by Janzer.

研究动机与目标

• 改进有限域上高偏差四次多项式秩的有效定量界。
• 证明高偏差四次多项式仅依赖于对数多项式数量的低次多项式，而非 1/δ 的多项式数量。
• 通过四阶导数在关键二次多项式零点集上消失的结构结果，建立偏差与低秩表示之间的联系。
• 为更高次多项式提供对数多项式界的研究跳板，建立在高阶傅里叶分析的前期工作基础上。

提出的方法

• 利用 [HS09] 的结果，将多项式限制在所有导数秩均较低的大子空间上。
• 识别出一组小规模的二次多项式，这些多项式出现在所有一阶导数的低秩分解中。
• 分析这些二次多项式的公共零点集，并证明四阶差分算子 ΔₓΔₓΔₓΔₓf 在该集合上恒为零。
• 利用泰勒展开将四阶导数与原多项式关联，确保在此条件下保持秩不变。
• 应用 Kazhdan 和 Ziegler 的零点定理，得出原多项式在该子空间上具有低秩。
• 通过子空间上的概率与平均值论证，证明四阶导数在正密度的元组上消失，从而推出其在整个零点集上全局消失。

实验结果

研究问题

• RQ1 能否将表示高偏差四次多项式的低次多项式数量，从 1/δ 的多项式量级降低为对数多项式量级？
• RQ2 多项式导数的何种结构性质会在偏差较高时导致低秩行为？
• RQ3 能否利用四阶导数在一组二次多项式的公共零点集上消失的性质，来界定原四次多项式的秩？
• RQ4 偏差、导数秩与二次约束的几何结构之间如何相互作用，从而约束多项式的代数结构？
• RQ5 该方法在多大程度上可推广至四次以上的多项式？

主要发现

• 对于任意定义在 𝔽_p 上的四次多项式 f，若 bias(f) ≥ δ，则存在一个余维为 poly(log_p(1/δ)) 的子空间 V，使得 f 在 V 上的限制具有低秩。
• 为捕捉 f 的结构而所需的二次多项式 Q₁,…,Q_N 的数量受 poly(log_p(1/δ)) 有界，其中 N = poly(log_p(1/δ))。
• 在这些二次多项式的公共零点集上，四阶导数 ΔₓΔₓΔₓΔₓf 恒为零，意味着 f 在该集合上由低次分量完全决定。
• f 的秩被有界为 poly(log_p(1/δ))，优于 [HS09] 所给出的 1/δ 的多项式界。
• 该结果通过证明四阶导数在由少量二次多项式消失所定义的大子空间上消失，结合平均值与密度论证而达成。
• 该方法依赖于在所有一阶导数中识别出一组统一的二次多项式，从而在全局上对 f 施加结构约束。