论文标题
来自本地来源的低度多项式提取物
Low-Degree Polynomials Extract from Local Sources
论文作者
论文摘要
我们继续进行一系列工作,以从简单过程生成的弱来源中提取随机位。我们专注于本地可采样来源的模型,其中源中的每个位都取决于少数(隐藏的)均匀随机输入位。该模型也称为本地资源,由De和Watson(TOCT 2012)和Viola(Sicomp 2014)引入,并且与$ \ Mathsf {Ac}^0 $电路和有限的宽大分支程序生成的来源密切相关。特别是,本地资源的提取器也适用于这些经典计算模型生成的来源。 尽管在十年前引入了,但在改善从当地来源提取的熵要求方面取得了很少的进展。当前最佳的显式提取器需要熵$ n^{1/2} $,然后通过减少仿射提取器来关注。首先,我们证明了一个障碍,表明人们无法通过减少该形式的黑箱来提高此熵要求。特别是需要新技术。 在我们的主要结果中,我们试图回答低度多项式(超过$ \ Mathbb {f} _2 $)是否有可能打破此障碍的潜力。我们以积极的态度回答了这个问题,并充分表征了低度多项式作为局部来源的提取器的力量。更确切地说,我们证明一个随机度$ r $ polyenmial是一种低误差提取器,用于$ n $ bit的本地资源,带有最小的entropy $ω(r(n \ log n)^{1/r})$,我们表明这很紧。 我们的结果利用了几种新成分,这可能具有独立的兴趣。我们的存在结果依赖于从本地来源减少到一个更具结构化的家庭,被称为局部非构成比重的来源。为了表明其紧密度,我们证明了Cohen and Tal(Random 2015)的结构结果的“本地版本”,该结构结果依赖于新的“低重量”雪佛兰 - 搜寻定理。
We continue a line of work on extracting random bits from weak sources that are generated by simple processes. We focus on the model of locally samplable sources, where each bit in the source depends on a small number of (hidden) uniformly random input bits. Also known as local sources, this model was introduced by De and Watson (TOCT 2012) and Viola (SICOMP 2014), and is closely related to sources generated by $\mathsf{AC}^0$ circuits and bounded-width branching programs. In particular, extractors for local sources also work for sources generated by these classical computational models. Despite being introduced a decade ago, little progress has been made on improving the entropy requirement for extracting from local sources. The current best explicit extractors require entropy $n^{1/2}$, and follow via a reduction to affine extractors. To start, we prove a barrier showing that one cannot hope to improve this entropy requirement via a black-box reduction of this form. In particular, new techniques are needed. In our main result, we seek to answer whether low-degree polynomials (over $\mathbb{F}_2$) hold potential for breaking this barrier. We answer this question in the positive, and fully characterize the power of low-degree polynomials as extractors for local sources. More precisely, we show that a random degree $r$ polynomial is a low-error extractor for $n$-bit local sources with min-entropy $Ω(r(n\log n)^{1/r})$, and we show that this is tight. Our result leverages several new ingredients, which may be of independent interest. Our existential result relies on a new reduction from local sources to a more structured family, known as local non-oblivious bit-fixing sources. To show its tightness, we prove a "local version" of a structural result by Cohen and Tal (RANDOM 2015), which relies on a new "low-weight" Chevalley-Warning theorem.