首页> 外文会议>IEEE 51st Annual Symposium on Foundations of Computer Science >Pseudorandom Generators for CC0p and the Fourier Spectrum of Low-Degree Polynomials over Finite Fields
【24h】

Pseudorandom Generators for CC0p and the Fourier Spectrum of Low-Degree Polynomials over Finite Fields

机译:CC0 p的伪随机生成器和有限域上低度多项式的傅立叶谱

获取原文

摘要

In this paper we give the first construction of a pseudorandom generator, with seed length $O(log n)$, for $mathrm{CC}^0[p]$, the class of constant-depth circuits with unbounded fan-in $mathrm{MOD}_p$ gates, for some prime $p$. More accurately, the seed length of our generator is $O(log n)$ for any constant error $epsilon>0$. In fact, we obtain our generator by fooling distributions generated by low degree polynomials, over $mathbb{F}_p$, {em when evaluated on the Boolean cube}. This result significantly extends previous constructions that either required a long seed [LVW93] or that could only fool the distribution generated by linear functions over $mathbb{F}_p$, when evaluated on the Boolean cube [LRTV09, MZ09]. Enroute of constructing our PRG, we prove two structural results for low degree polynomials over finite fields that can be of independent interest. 1.Let $f$ be an $n$-variate degree $d$ polynomial over $mathbb{F}_p$. Then, for every $epsilon>0$ there exists a subset $S subset [n]$, whose size depends only on $d$ and $epsilon$, such that $sum_{alpha in mathbb{F}_p^n: alpha ne 0, alpha_S=0}|hat{f}(alpha)|^2 leq epsilon$. Namely, there is a constant size subset $S$ such that the total weight of the nonzero Fourier coefficients that do not involve any variable from $S$ is small. 2. Let $f$ be an $n$-variate degree $d$ polynomial over $mathbb{F}_p$. If the distribution of $f$ when applied to uniform zero-one bits is $epsilon$-far (in statistical distance) from its distribution when applied to biased bits, then for every $delta>0$, $f$ can be approximated over zero-one bits, up to error $delta$, by a function of a small number (depending only on $epsilon,delta$ and $d$) of lower degree polynomials.
机译:在本文中,我们给出了伪长度生成器的第一个构造,其种子长度为$ O(log n)$,对于$ mathrm {CC} ^ 0 [p] $,无约束扇入$的恒定深度电路类mathrm {MOD} _p $门,用于一些素数$ p $。更准确地说,对于任何恒定误差$ epsilon> 0 $,我们生成器的种子长度为$ O(log n)$。实际上,我们通过对$ mathbb {F} _p $,{em在布尔立方体上求值时}的低次多项式生成的分布进行欺骗来获得生成器。当在布尔立方体[LRTV09,MZ09]上求值时,此结果大大扩展了以前的构造,该构造需要长种子[LVW93]或只能欺骗$ mathbb {F} _p $上的线性函数生成的分布。在构造PRG的途中,我们证明了有限域中低阶多项式的两个结构结果,这些结果可以引起人们的关注。 1.让$ f $是$ mathbb {F} _p $上的$ n $变量度$ d $多项式。然后,对于每个$ epsilon> 0 $,都有一个子集$ S子集[n] $,其大小仅取决于$ d $和$ epsilon $,因此$ sum_ {alpha {在Mathbb {F} _p ^ n:alpha}中ne 0,alpha_S = 0} | hat {f}α| ^ 2 leq epsilon $。即,存在恒定大小的子集$ S $,使得不涉及来自$ S $的任何变量的非零傅立叶系数的总权重很小。 2.令$ f $为$ mathbb {F} _p $上的$ n $变量度$ d $多项式。如果将$ f $的分布应用于统一的零一比特时的分布与被分配给偏置比特的分布相距$ epsilon $ -far(以统计距离为单位),则对于每个$ delta> 0 $,可以近似得出$ f $通过少量的低阶多项式(仅取决于$ epsilon,delta $和$ d $)的函数在零个一位以上,直到误差$ delta $。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号