[论文解读] Low-degree tests at large distances

Alex Samorodnitsky|ArXiv.org|Apr 16, 2006

Anomaly Detection Techniques and Applications被引用 3

一句话总结

本文引入并分析了用于布尔函数的低次测试，能够区分二次多项式与远离此类多项式的函数，实现了查询复杂度与可靠性之间的近乎最优权衡。关键贡献是建立了第三 Gowers 一致范数的紧致逆定理，从而实现了在超过其列表译码半径范围内的二阶 Reed-Muller 码的距离高效估计。

ABSTRACT

We define tests of boolean functions which distinguish between linear (or quadratic) polynomials, and functions which are very far, in an appropriate sense, from these polynomials. The tests have optimal or nearly optimal trade-offs between soundness and the number of queries. In particular, we show that functions with small Gowers uniformity norms behave ``randomly'' with respect to hypergraph linearity tests. A central step in our analysis of quadraticity tests is the proof of an inverse theorem for the third Gowers uniformity norm of boolean functions. The last result has also a coding theory application. It is possible to estimate efficiently the distance from the second-order Reed-Muller code on inputs lying far beyond its list-decoding radius.

研究动机与目标

• 设计查询次数与可靠性之间具有最优或近似最优权衡的低次测试，以检测远离低次多项式的函数。
• 分析在超图线性测试下具有小 Gowers 一致范数的布尔函数的行为，表明其表现‘随机’。
• 建立布尔函数第三 Gowers 一致范数的逆定理，这是核心技术贡献。
• 将结果应用于纠错码，特别是实现对超过其列表译码半径的输入，从二阶 Reed-Muller 码中高效估计距离。
• 改进一次和二次测试的可靠性-查询权衡，特别是通过采用宽松的拒绝标准和新颖的群论分析。

提出的方法

• 使用超图线性测试检测布尔函数是否接近低次多项式，具有完美完备性。
• 应用 Gowers 一致范数——特别是第三范数——作为伪随机性的度量，以分析测试的可靠性。
• 采用新颖的第三 Gowers 一致范数逆定理，将小范数与布尔函数的结构特性联系起来。
• 利用群论技术，包括在 p-群和 Z_p 的幂上进行同态测试，以界定错误接受的概率。
• 引入递归矩阵简化过程，以减少查询模式的数量，并推导出一致范数的界。
• 结合加法组合论与编码理论的结果，表明对二阶 Reed-Muller 码的局部测试的接受概率被 Gowers 一致范数紧密界定。

实验结果

研究问题

• RQ1 布尔函数低次测试中，查询次数与可靠性之间的最优权衡是什么？
• RQ2 具有小 Gowers 一致范数的函数在超图线性测试下如何表现？
• RQ3 能否为布尔函数建立第三 Gowers 一致范数的逆定理？
• RQ4 在超过列表译码半径的输入下，对二阶 Reed-Muller 码的距离估计在多大程度上可以高效实现？
• RQ5 宽松的一次测试的可靠性是多少？与标准线性测试相比如何？

主要发现

• 本文建立了布尔函数第三 Gowers 一致范数的紧致逆定理，表明小范数意味着函数可被二次多项式结构近似。
• 二次测试的可靠性被界定为 $ s riangleq \frac{1}{2^{|E|}} + \text{negligible} $，其中 $ |E| $ 为查询数量，实现了近乎最优的权衡。
• 具有小 Gowers 一致范数的函数在超图线性测试下表现伪随机，这为其在 PCP 构造中的应用提供了合理性。
• 由于对局部测试的紧密分析，即使输入远超出列表译码半径，也能高效估计其与二阶 Reed-Muller 码的距离。
• 宽松的一次测试的可靠性渐近最优，相比标准线性测试有显著改进。
• 证明了一个新的同态测试结果：若函数 $ \theta: G \to H $ 满足 $ \Pr_{x,y} (\theta(x)+\theta(y)=\theta(x+y)) \geq \epsilon $，则存在同态 $ \psi $，使得 $ \Pr_x (\theta(x) = \psi(x) + h) \geq c \cdot r^{-c'} \cdot \epsilon^{c''} $，其中 $ c, c', c'' $ 为绝对常数。