[논문 리뷰] Improved Constructions of Two-Source Extractors

Xin Li|arXiv (Cornell University)|2015. 08. 05.

Analytical Chemistry and Chromatography참고 문헌 17인용 수 5

한 줄 요약

이 논문은 채터파디야이와 증강의 획기적인 이원 추출기에서 출력 길이를 1비트에서 $k^{\Omega(1)}$ 비트로 늘여 error를 $n^{-\Omega(1)}$로 유지하면서 개선한다. 이 개선은 비관측 비트 고정 소스에 대한 더 나은 추출기 구축을 통해 달성되며, 이는 잔여 함수와 XOR 기반의 편향 감소 기법을 사용하여 $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}.

연구 동기 및 목표

• 채터파디야이와 증강의 이론적 돌파구 이후로 기존의 1비트 출력에 비해 훨씬 긴 출력을 갖는 명시적 이원 추출기를 구축하는 것.
• 로그라리듬적 최소 엔트로피 $k \geq \log^C n$가 존재함에도 불구하고 이전의 구성들이 여전히 1비트의 출력만을 추출하는 데서 비롯되는 제한을 극복하는 것.
• 강한 이원 추출기의 출력 길이를 $k^{\Omega(1)}$로 개선하면서도 역다항식 오차를 유지하는 것.
• $(q,t,\gamma)$ 비관측 비트 고정 소스에 대해 $t^{\Omega(1)}$ 비트의 출력을 1비트 대신 가능하게 하는 더 효율적인 추출기를 개발하는 것.
• 현재의 감소 및 추출기 기법이 이원 추출에서 더 긴 출력 길이와 더 작은 오차를 달성하는 데서 가지는 한계를 탐색하는 것.

제안 방법

• 다항시간 계산 가능한 감소 함수를 사용하여 두 개의 독립적인 $(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$를 갖는 두 개의 독립 소스에서 $k^{\Omega(1)}$ 비트를 추출하는 것이 가능한가?
• RQ3 비관측 비트 고정 소스 추출기를 $t^{\Omega(1)}$ 비트의 출력으로 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)}$를 달성한다.
• 이 개선은 $(q,t,\gamma)$ 비관측 비트 고정 소스에 대해 $t^{\Omega(1)}$ 비트의 출력을 1비트 대신 가능하게 하는 새로운 추출기 설계를 통해 달성된다.
• 이원 추출기에서 비관측 비트 고정 소스로의 감소는 다항시간 계산 가능하며 고확률 $1 - n^{-\omega(1)}$로 성공한다.
• 최종 오차는 감소 오차와 추출기 오차의 조합으로 유계이며, 잔여 함수와 편향 증폭을 사용함에 따라 추출기 오차가 지배적이다.
• 결과적으로 현재의 교차 추출 및 잔여 함수 기반 접근법은 출력 길이를 $k^{\Omega(1)}$로 제한함을 보여주며, $\Omega(k)$ 출력을 달성하기 위해서는 새로운 기법이 필요하다는 것을 시사한다.