[論文レビュー] Bias implies low rank for quartic polynomials

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

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

ひとこと要約

この論文は、素数体上の四次多項式が偏りが大きく（値の分布が不均一）なる場合、そのランクは低くなることを確立している。具体的には、逆偏りパラメータの対数多項式関数で有界される。第4階差分の構造を捉えるために、共通の零点集合を持つ小さな二次多項式の集合を同定することで、このような多項式が多項式的ではなく、多項式対数的多くの低次の多項式の関数であることが示され、従来の多項式的境界よりも著しく改善されている。

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/δ の多項式ではなく、多項式対数的数の低次の多項式に依存することを示すこと。
• 第4階差分が重要な二次多項式の共通零点集合上で消えることと、偏りと低ランク表現を結びつける構造的結果を確立すること。
• 高次多項式に対する対数多項式的境界のための足場を提供すること。これは、高次フーリエ解析分野における先行研究に基づく。

提案手法

• [HS09] の結果を用いて、すべての階差分が低ランクとなる大きな部分空間に多項式を制限する。
• すべての1階微分の低ランク分解に現れる小さな二次多項式の集合を同定する。
• これらの二次多項式の共通零点集合を分析し、第4階差分 ΔₓΔₓΔₓΔₓf がこの集合上で恒等的に消えることを示す。
• テイラー展開を用いて第4階差分と元の多項式を関連させ、この条件下でランクが保存されることを保証する。
• カジダンとジエグルのノルムシュタインの定理を適用し、元の多項式がこの部分空間上で低ランクであることを結論づける。
• 部分空間上の確率的および平均化的議論を用いて、第4階差分が正の密度のタプルに対して消えることを示し、これが零点集合上で一様に消えることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 偏りのある四次多項式を表現するために必要な低次の多項式の数を、1/δ の多項式的関数から対数多項式的関数にまで減らすことは可能か？
• RQ2 偏りが大きい場合に、多項式の階差分のどの構造的性質が低ランク行動を示唆するか？
• RQ3 二次多項式の共通零点集合上で第4階差分が消えることは、元の四次多項式のランクを制限するために利用できるか？
• RQ4 偏り、階差分のランク、および二次的制約の幾何学的性質の間の相互作用は、多項式の代数的構造をどのように制約するか？
• RQ5 この手法は、四次を超える次数の多項式へとどの程度拡張可能か？

主な発見

• 任意の 𝔽_p 上の四次多項式 f に対して、bias(f) ≥ δ が成り立つならば、codimension が poly(log_p(1/δ)) である部分空間 V が存在し、f は V に制限されたとき低ランクである。
• f の構造を捉えるために必要な二次多項式 Q₁,…,Q_N の数は、poly(log_p(1/δ)) で有界であり、N = poly(log_p(1/δ)) である。
• これらの二次多項式の共通零点集合上で、第4階差分 ΔₓΔₓΔₓΔₓf は恒等的に消えるため、この集合上で f は低次の成分によって決定される。
• f のランクは poly(log_p(1/δ)) で有界であり、[HS09] が得た 1/δ の多項式的境界よりも改善されている。
• 第4階差分が、小さな数の二次多項式の零点によって定義される大きな部分空間上で消えることを示すことで、この結果が達成された。平均化および密度的議論が用いられた。
• すべての1階微分に共通する一様な二次多項式の集合を同定することで、f に対するグローバルな構造的制約が可能になった。