[论文解读] Improved Constructions of Two-Source Extractors

Xin Li|arXiv (Cornell University)|Aug 5, 2015

Analytical Chemistry and Chromatography参考文献 17被引用 5

一句话总结

该论文在Chattopadhyay和Zuckerman的突破性双源提取器基础上进行了改进，将输出长度从1比特提升至$k^{\Omega(1)}$比特，同时保持误差为$n^{-\Omega(1)}$。该改进通过构建更优的$(q,t,\gamma)$非盲式位固定源提取器实现，使输出达到$t^{\Omega(1)}$比特而非仅1比特，利用抗敏感函数和基于XOR的偏差降低技术。

ABSTRACT

In a recent breakthrough \cite{CZ15}, Chattopadhyay and Zuckerman gave an explicit two-source extractor for min-entropy $k \geq \log^C n$ for some large enough constant $C$. However, their extractor only outputs one bit. In this paper, we improve the output of the two-source extractor to $k^{Ω(1)}$, while the error remains $n^{-Ω(1)}$. Our improvement is obtained by giving a better extractor for $(q, t, γ)$ non-oblivious bit-fixing sources, which can output $t^{Ω(1)}$ bits instead of one bit as in \cite{CZ15}.

研究动机与目标

• 构建一个显式双源提取器，其输出长度显著长于Chattopadhyay和Zuckerman先前突破性工作的1比特输出。
• 克服先前构造方法的局限性，即尽管最小熵为$k \geq \log^C n$，仍仅能提取1比特。
• 将强双源提取器的输出长度提升至$k^{\Omega(1)}$，同时保持逆多项式误差。
• 设计一种更高效的$(q,t,\gamma)$非盲式位固定源提取器，使其输出$t^{\Omega(1)}$比特而非1比特。
• 探索当前归约与提取器技术在实现更高输出长度和更小误差方面的内在限制。

提出的方法

• 使用多项式时间可计算的归约函数，将两个独立的$(n,k)$源归约为$(q,t,\gamma)$非盲式位固定源。
• 采用基于抗敏感函数的非盲式位固定源提取器，通过控制变量组合的影响边界，确保低误差。
• 通过取$\Omega(m)$份有偏1比特输出的XOR，实现偏差降低，达到$2^{-\Omega(m)}$的误差。
• 应用KKL不等式，限制非盲式位固定源中单个变量的影响，确保抗敏感性。
• 将从双源到非盲式位固定源的归约步骤与改进后的提取器结合，实现$k^{\Omega(1)}$的输出长度。
• 确保最终提取器在第二个源$Y$上为强提取器，从而可进一步从$Y$中提取，实现接近最优的输出长度。

实验结果

研究问题

• RQ1 显式双源提取器的输出长度能否在保持逆多项式误差的前提下，超越1比特？
• RQ2 能否从两个独立源中提取出$k^{\Omega(1)}$比特，其最小熵满足$k \geq \log^C n$？
• RQ3 非盲式位固定源提取器能否被增强，使其输出$t^{\Omega(1)}$比特而非1比特？
• RQ4 基于交替提取的归约方法在实现更高输出长度或更小误差方面存在哪些固有局限？
• RQ5 能否在不牺牲多项式时间可计算性的前提下，将误差降低至$n^{-\Omega(1)}$以下？

主要发现

• 该论文构建了一个强双源提取器，其输出长度为$m = k^{\Omega(1)}$比特，误差为$\epsilon = n^{-\Omega(1)}$，适用于$k \geq \log^C n$的情况。
• 当利用强提取器性质进一步从第二个源中提取时，可实现$m = 0.9k$比特的输出，误差仍为$n^{-\Omega(1)}$。
• 该改进通过设计一种新型的$(q,t,\gamma)$非盲式位固定源提取器实现，其输出为$t^{\Omega(1)}$比特而非1比特。
• 从双源到非盲式位固定源的归约过程是多项式时间可计算的，且以高概率$1 - n^{-\omega(1)}$成功。
• 最终误差被限制在$n^{-\Omega(1)}$以内，结合了归约和提取器的误差，其中提取器的误差占主导，因其使用了抗敏感函数和偏差放大技术。
• 结果表明，基于交替提取和抗敏感函数的当前方法将输出长度限制在$k^{\Omega(1)}$，提示需发展新方法以实现$\Omega(k)$的输出长度。