[論文レビュー] Improved Constructions of Two-Source Extractors

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

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

ひとこと要約

この論文は、チャトタパディヤイとツッカーの二源抽出器のブレークスルーを改善し、出力長を1ビットから $k^{\Omega(1)}$ ビットに延長しながら、誤差を $n^{-\Omega(1)}$ に維持しています。この改善は、$(q,t,\gamma)$ 非盲目的ビット固定ソースのより優れた抽出器の構築により達成されており、リジリエント関数とXORベースのバイアス低減を用いて、1ビットではなく $t^{\Omega(1)}$ ビットの出力を可能にしています。

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}.

研究の動機と目的

• チャトタパディヤイとツッカーのブレークスルーに続く、出力長が著しく長い明示的二源抽出器の構築。
• 対数的最小エントロピー $k \geq \log^C n$ であっても、出力が1ビットに制限される既存の構成の制限を克服すること。
• 逆多項式誤差を維持したまま、強二源抽出器の出力長を $k^{\Omega(1)}$ に向上させること。
• $(q,t,\gamma)$ 非盲目的地固定ソースのための、1ビットではなく $t^{\Omega(1)}$ ビットを出力するより効率的な抽出器の開発。
• 現在の還元および抽出器技術の限界を、より長い出力長とより小さい誤差を達成するための二源抽出において探ること。

提案手法

• 多項式時間で計算可能な還元関数を用いて、2つの独立した $(n,k)$ ソースを $(q,t,\gamma)$ 非盲目的地固定ソースに還元する。
• 変数の集合に対する影響の上限を保証するリジリエント関数に基づく抽出器を非盲目的地固定ソースに適用し、低誤差を実現する。
• バイアスがわずかな1ビット出力を $\Omega(m)$ 個のコピーのXORを用いてバイアス低減を強化し、$2^{-\Omega(m)}$ の誤差を達成する。
• KKL不等式を用いて、非盲目的地固定ソースにおける個々の変数の影響を抑え、リジリエント性を保証する。
• 二源から非盲目的地固定ソースへの還元ステップと、改善された抽出器を組み合わせることで、$k^{\Omega(1)}$ の出力長を達成する。
• 最終的な抽出器が第二のソース $Y$ に対して強抽出器であることを保証し、$Y$ からのさらなる抽出を可能にし、近似的に最適な出力長を達成する。

実験結果

リサーチクエスチョン

• RQ1 明示的二源抽出器の出力長を1ビットを超えて延長し、逆多項式誤差を維持することは可能か？
• RQ2 最小エントロピー $k \geq \log^C n$ の2つの独立したソースから $k^{\Omega(1)}$ ビットを抽出することは可能か？
• RQ3 非盲目的地固定ソース抽出器を、1ビットではなく $t^{\Omega(1)}$ ビットを出力できるように改善することは可能か？
• RQ4 より高い出力長やより小さい誤差を達成するための、交互抽出に基づく還元の本質的限界は何か？
• RQ5 多項式時間で計算可能であることを損なわずに、誤差を $n^{-\Omega(1)}$ 未満に低下させることは可能か？

主な発見

• 本論文は、$k \geq \log^C n$ の条件下で、出力長 $m = k^{\Omega(1)}$ ビット、誤差 $\epsilon = n^{-\Omega(1)}$ の強二源抽出器を構築した。
• 強抽出器の性質を活用して第二のソース $Y$ からさらに抽出することで、$m = 0.9k$ ビットの出力長と $n^{-\Omega(1)}$ の誤差を達成した。
• 出力が1ビットではなく $t^{\Omega(1)}$ ビットとなる新しい $(q,t,\gamma)$ 非盲目的地固定ソース抽出器の設計により、この改善が達成された。
• 二源から非盲目的地固定ソースへの還元は多項式時間で計算可能であり、高確率 $1 - n^{-\omega(1)}$ で成功する。
• 最終的な誤差は $n^{-\Omega(1)}$ で抑えられ、還元の誤差と抽出器の誤差の組み合わせであり、リジリエント関数とバイアス増幅の使用により、抽出器の誤差が支配的である。
• 結果として、現在のアプローチ（交互抽出とリジリエント関数に基づく）は出力長を $k^{\Omega(1)}$ に制限しており、$\Omega(k)$ の出力長を達成するためには、新たな技術が必要であることが示唆された。