[論文レビュー] Fourier Conjectures, Correlation Bounds, and Majority

Eshan Chattopadhyay, Jason Gaitonde+3 more|arXiv (Cornell University)|Aug 4, 2020

Coding theory and cryptography参考文献 28被引用数 2

ひとこと要約

この論文は、ブール関数の各レベルにおけるフーリエ解析を用いて、擬似乱数生成子（PRG）を構築する新しいフレームワークを導入する。特に、レベル-k フーリエ束縛を活用することで、シード長の改善を達成する。テイラーの定理を適用し、多重線形性と確率的制限を用いて、次数-k ラグランジュ剰余項を分析することで、著者らは、特に絶対値和 M_k(F) として表される、有界なレベル-k フーリエ質量が、シード長が k に比例する PRG を構築するのに十分であることを示した。これは [CHLT19] で提起された未解決問題に答え、F2 多項式に対する近似的に最適な PRG の構築を可能にする。

ABSTRACT

Recently several conjectures were made regarding the Fourier spectrum of low-degree polynomials. We show that these conjectures imply new correlation bounds for functions related to Majority. Then we prove several new results on correlation bounds which aim to, but don't, resolve the conjectures. In particular, we prove several new results on Majority which are of independent interest and complement Smolensky’s classic result.

研究の動機と目的

• 「[CHLT19] で提起された未解決問題に答えること：関数クラスが制限に関して閉じている場合、全尾束縛を必要とせずに、個々のレベルにおけるフーリエ束縛のみで効率的な PRG を構築できるか。
• 極性化ランダムウォークフレームワークを一般化し、特に絶対値レベル-k 和 M_k(F) が PRG の構築に十分であることを示すこと。
• PRG の構築問題を相関束縛の証明に還元することにより、[CHH+20] で示された関係を高次元レベルへ拡張すること。
• F2 多項式に対する、最先端の構成と競合するシード長を達成できることを示すこと、特に ω(log n) 次の多項式に対して有効であること。
• L1 フーリエ尾束縛に依存しない、テイラー展開と確率的制限を用いた新たな分析的道筋を提供することにより、よりタイトなシード長の上限を得ること。

提案手法

• ブール関数の多重線形拡張をテイラーの定理で展開し、次数-k ラグランジュ剰余項を多重線形性と確率的制限を用いて束縛する。
• M_k(F) = ∑_{|S|=k} |f̂(S)| として定義される絶対値レベル-k フーリエ和を、従来の研究で用いられる L1 尾束縛よりもはるかに小さい可能性がある主要な量として導入する。
• 関数を低次元化するための確率的制限を適用し、テイラー展開における剰余項の制御を可能にする。
• PRG の構築から相関束縛の証明への還元を確立し、[CHH+20] の結果を任意の k ≥ 3 へ一般化する。
• 分散が M_k(F)^{-2} に比例する分数的 PRG を構築し、それを極性化ランダムウォークガジェットと合成することで完全な PRG を得る。
• F2 多項式に対する既知のレベル-k 束縛を用いて、このフレームワークがヴィオラ [Vio09] の構成に近いシード長の PRG を得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 制限に関して閉じた関数クラスに対して、全 L1 尾束縛を必要とせず、レベル-k フーリエ束縛のみで PRG を構築できるか。
• RQ2 絶対値レベル-k フーリエ和 M_k(F) は、シード長の制御に十分な量であり、かつ従来の L1 ベースの測度よりも顕著に小さいか。
• RQ3 極性化ランダムウォークフレームワークを、レベル-k の制御のみで F2 多項式に対して近似的に最適なシード長を達成できるように拡張できるか。
• RQ4 PRG の構築と相関束縛の関係は、レベル 2 を超えて k ≥ 3 の高次元レベルへ拡張可能か。
• RQ5 L1,i(F) の束縛（i ≤ k）を必要とせず、M_k(F) の束縛のみで非自明な PRG を得られるか。

主な発見

• 本論文は、有界なレベル-k フーリエ質量、特に絶対値和 M_k(F) が、多項式誤差に対してシード長が O(k^2 log n) に比例する PRG を構築するのに十分であることを示した。これは従来の構成より改善されている。
• 多項式誤差に対して、フーリエスペクトルの最初の O(log n) レベルの束縛があれば、[CHHL19] のシード長を回復でき、これはかつて全尾束縛を必要としていた。
• このフレームワークは、ヴィオラ [Vio09] の最先端の構成に近いシード長の F2 多項式用 PRG を得られることを示した。これは、かつてこの方法で達成可能であると分かっていなかった。
• 分析はレベル-k の絶対値フーリエ和 M_k(F) のみに依存しており、これは従来の研究で用いられる L1 尾束縛よりも顕著に小さい可能性があり、よりタイトなシード長の上限を得ることを可能にする。
• 著者らは、PRG の構築から相関束縛の証明への一般還元を確立し、[CHH+20] の関係を任意の k ≥ 3 へ拡張した。
• 本研究は [CHLT19] で提起された未解決問題に答え、全尾制御を必要とせずレベル-k 束縛のみで PRG を構築できることを示し、テイラー展開と確率的制限に基づく新たな分析的フレームワークを提供した。