[论文解读] Explicit combinatorial design

Xiongfeng Ma, Zhen Zhang+1 more|arXiv (Cornell University)|Sep 28, 2011

Algorithms and Data Compression被引用 6

一句话总结

该论文通过改进Nisan-Wigderson组合设计构造，将重叠参数ρ的界进一步收紧，证明在全部参数范围n ≤ q^q内均有ρ < e，并进一步通过基于块的构造方法显式构建出ρ = 1的弱设计。改进后的界显著提升了随机提取器的种子效率，支持种子长度为O(log³n)的近最优提取器性能。

ABSTRACT

A combinatorial design is a family of sets that are almost disjoint, which is applied in pseudo random number generations and randomness extractions. The parameter, $ρ$, quantifying the overlap between the sets within the family, is directly related to the length of a random seed needed and the efficiency of an extractor. Nisan and Wigderson proposed an explicit construction of designs in 1994. Later in 2003, Hartman and Raz proved a bound of $ρ\le e^2$ for the Nisan-Wigderson construction in a limited parameter regime. In this work, we prove a tighter bound of $ρ

研究动机与目标

• 将Hartman和Raz先前得到的ρ ≤ e²结果在Nisan-Wigderson组合设计中进一步改进，实现对重叠参数ρ的更优界。
• 将改进后的ρ < e界扩展至整个参数范围n ≤ q^q，而不仅限于素数幂子集。
• 通过受Raz、Reingold和Vadhan启发的基于块的构造方法，显式构建出ρ = 1的弱设计。
• 通过更紧的ρ界和块分解方法，降低种子长度，从而实现更高效的随机提取器。

提出的方法

• 通过在有限域GF(q)中调整多项式选择，改进Nisan-Wigderson构造，以减少成对交集。
• 使用函数Λ(M) = ∑_{φ∈M} 2^{λ(φ)}分析M_q^{d+1}中多项式之间的根重叠。
• 应用块分解：将设计集合划分为b个块，每个块大小为l，通过增加块数使ρ呈指数级降低。
• 将新设计矩阵构造为块对角矩阵，其中非对角块为零，每个块继承自前一个设计的行。
• 采用递推关系n_i = (1 - ρ^{-1})^i n控制每一块中的子集数量，确保最终设计中ρ = 1。
• 使用块大小b = ⌊(log n + log ρ - log q)/(log ρ - log(ρ - 1))⌋，在O(log n)个块内实现ρ = 1。

实验结果

研究问题

• RQ1 Nisan-Wigderson构造中的ρ界是否可在全部n ≤ q^q范围内超越Hartman和Raz的ρ ≤ e²结果？
• RQ2 是否可能在整个Nisan-Wigderson设计参数范围内实现ρ < e，而不仅限于受限区域？
• RQ3 基于块的构造能否在保持显式性和多项式种子长度的前提下，将ρ降低至1？
• RQ4 在弱设计中，将ρ从(1, e)范围内的值降低至1，所需的最少块数是多少？
• RQ5 该改进构造对Trevisan风格随机提取器的种子长度有何影响？

主要发现

• 改进后的Nisan-Wigderson构造在全部n ≤ q^q范围内实现ρ < e，优于Hartman和Raz先前得到的ρ ≤ e²界。
• ρ < e的界在理论上是紧的，因为它趋近于理论极限e，且在相同构造下难以显著改进。
• 显式构造出一个弱(n', q, l', 1)-设计，其中l' = q²b且b = O(log n)，实现ρ = 1。
• 将ρ降低至1所需的块数为b = ⌊(log n + log ρ - log q)/(log ρ - log(ρ - 1))⌋，当ρ为常数时，该值为O(log n)。
• 最终设计支持种子长度为O(log³n)的Trevisan风格提取器，显著提升了效率。
• 该构造在一般素数p下仍有效，仅需少量修改；n=6 > q^q=4的示例表明该界已超出原始n ≤ q^q的限制。