[论文解读] 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 拉格朗日余项，作者表明有界的层级-k 傅里叶质量——尤其是无符号和 M_k(F)——足以构造种子长度与 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 傅里叶控制——特别是无符号层级-k 和 M_k(F)——足以构造 PRG，推广极化随机游走框架。
• 将 PRG 构造问题简化为证明相关性界，将 [CHH+20] 中的联系扩展至更高层级。
• 展示该框架可实现与当前最先进的 F2 多项式 PRG 相当的种子长度，尤其适用于度数 ω(log n) 的情况。
• 提供一种新的分析路径，利用泰勒展开与随机限制，避免依赖 L1 傅里叶尾部界，从而实现更紧的种子长度界。

提出的方法

• 使用泰勒定理展开布尔函数的多重线性扩展，通过多重线性性与随机限制控制层级-k 拉格朗日余项。
• 引入关键量无符号层级-k 傅里叶和 M_k(F) = ∑_{|S|=k} |f̂(S)|，其可能远小于先前工作中使用的 L1 尾部界。
• 应用随机限制将函数简化为低维形式，从而控制泰勒展开中余项的大小。
• 建立从 PRG 构造到证明函数与其限制之间相关性界之间的约化，推广 [CHH+20] 的结果。
• 构造方差与 M_k(F)^{-2} 成比例的分数阶 PRG，再与极化随机游走模块组合，得到完整的 PRG。
• 利用已知的 F2 多项式层级-k 界，证明该框架可产生种子长度接近 Viola [Vio09] 构造的 PRG。

实验结果

研究问题

• RQ1 是否可以仅使用层级-k 傅里叶界而非完整的 L1 尾部界来构造 PRG，对于在限制下封闭的函数类？
• RQ2 无符号层级-k 傅里叶和 M_k(F) 是否足以控制 PRG 的种子长度，且是否显著小于先前基于 L1 的度量？
• RQ3 极化随机游走框架能否扩展至仅使用层级-k 控制，从而为 F2 多项式构造近似最优种子长度的 PRG？
• RQ4 PRG 构造与相关性界之间的联系是否可从层级 2 推广至更高层级 k ≥ 3？
• RQ5 该框架是否可仅基于 M_k(F) 的界就产生非平凡的 PRG，而无需对 i ≤ k 的 L1,i(F) 界作额外假设？

主要发现

• 论文表明，有界的层级-k 傅里叶质量，特别是无符号和 M_k(F)，足以构造种子长度为 O(k^2 log n) 的 PRG（多项式误差），优于先前的构造。
• 对于多项式误差，对傅里叶谱前 O(log n) 个层级的界已足够恢复 [CHHL19] 的种子长度，而此前需要对整个尾部进行控制。
• 该框架为 F2 多项式构造出种子长度接近当前最优构造 Viola [Vio09] 的 PRG，而此前该结果尚未被证明可通过此方法实现。
• 该分析仅依赖于层级-k 的无符号傅里叶和 M_k(F)，其可能远小于先前工作中使用的 L1 尾部界，从而实现更紧的种子长度界。
• 作者建立了一个从 PRG 构造到证明相关性界的通用约化，将 [CHH+20] 的联系推广至任意 k ≥ 3。
• 该工作通过证明层级-k 界足以在不依赖完整尾部控制的情况下构造 PRG，回答了 [CHLT19] 中的开放问题，并提出了一套基于泰勒展开与随机限制的新分析框架。