[논문 리뷰] Applications of Derandomization Theory in Coding

Mahdi Cheraghchi|arXiv (Cornell University)|2010. 01. 01.

Cryptography and Data Security참고 문헌 156인용 수 11

한 줄 요약

이 논문은 추출기와 농축기와 같은 비난잡화 도구를 적용하여 코딩 이론과 조합적 그룹 테스팅의 근본 문제를 해결한다. 와이어태프 채널, 노이지어스 쿼리가 있는 강건한 그룹 테스팅, 그리고 용량을 달성하는 오류 수정 코드에 대해 정보 이론적으로 최적인 명시적 프로토콜을 구축하며, 의사난수 기법이 표준 계산 가정 하에 이론적 한계에 부합하는 효율적이고 명시적인 구축을 가능하게 한다고 보여준다.

ABSTRACT

Randomized techniques play a fundamental role in theoretical computer science and discrete mathematics, in particular for the design of efficient algorithms and construction of combinatorial objects. The basic goal in derandomization theory is to eliminate or reduce the need for randomness in such randomized constructions. Towards this goal, numerous fundamental notions have been developed to provide a unified framework for approaching various derandomization problems and to improve our general understanding of the power of randomness in computation. Two important classes of such tools are pseudorandom generators and randomness extractors. Pseudorandom generators transform a short, purely random, sequence into a much longer sequence that looks random, while extractors transform a weak source of randomness into a perfectly random one (or one with much better qualities, in which case the transformation is called a randomness condenser). In this thesis, we explore some applications of the fundamental notions in derandomization theory to problems outside the core of theoretical computer science, and in particular, certain problems related to coding theory. First, we consider the wiretap channel problem which involves a communication system in which an intruder can eavesdrop a limited portion of the transmissions. We utilize randomness extractors to construct efficient and information-theoretically optimal communication protocols for this model. Then we consider the combinatorial group testing problem. In this classical problem, one aims to determine a set of defective items within a large population by asking a number of queries, where each query reveals whether a defective item is present within a specified group of items. We use randomness condensers to explicitly construct optimal, or nearly optimal, group testing schemes for a setting where the query outcomes can be highly unreliable, as well as the threshold model where a query returns positive if the number of defectives pass a certain threshold. Next, we use randomness condensers and extractors to design ensembles of error-correcting codes that achieve the information-theoretic capacity of a large class of communication channels, and then use the obtained ensembles for construction of explicit capacity achieving codes. Finally, we consider the problem of explicit construction of error-correcting codes on the Gilbert-Varshamov bound and extend the original idea of Nisan and Wigderson to obtain a small ensemble of codes, mostly achieving the bound, under suitable computational hardness assumptions.

연구 동기 및 목표

• 비난잡화 이론과 코딩 이론을 연결하기 위해 의사난수 도구를 적용하여 통신 및 조합 문제에 대한 효율적이고 명시적인 해법을 구축한다.
• 난수 추출기를 사용하여 정보 이론적으로 최적이고 명시적인 통신 프로토콜을 설계하여 와이어태프 채널 문제를 해결한다.
• 난수 농축기를 사용하여 불안정한 쿼리 결과나 임계치 모델 하에서의 강건한 그룹 테스팅 계획을 개발한다.
• 일반적인 채널의 정보 이론적 용량을 달성하는 오류 수정 코드의 집합을 구축한다.
• Nisan-Wigderson 스타일의 경직성 가정을 기반으로 하여 Gilbert-Varshamov 경계를 충족하는 명시적 구축을 제공한다.

제안 방법

• 약한 난수 소스를 균일한 난수 문자열로 변환하기 위해 난수 추출기를 활용하여 와이어태프 채널에서의 안전한 통신을 실현한다.
• 노이지어스 또는 신뢰할 수 없는 쿼리 결과를 처리하기 위해 난수 농축기를 사용하여 결함이 있는 항목을 강건하게 식별할 수 있도록 보장한다.
• 추출기와 농축기를 적용하여 메모리가 없는 채널의 용량을 달성하는 코드 집합을 생성함으로써 명시적 용량 달성 코드를 가능하게 한다.
• Nisan과 Wigderson의 영감을 받은 경직성 기반 구축을 활용하여 코드 집합의 크기를 줄이면서도 Gilbert-Varshamov 경계 근처의 성능을 유지한다.
• 확률적 선택에 의존하지 않는 명시적이고 결정적인 구축을 설계하여 실용적인 구현 가능성을 확보한다.
• 의사난수 기법과 코딩 이론적 모델을 조합하여 쿼리 복잡도, 오류 내성, 코드율 사이의 최적의 트레이드오프를 달성한다.

실험 결과

연구 질문

• RQ1 난수 추출기를 사용하여 와이어태프 채널에 대해 명시적이고 정보 이론적으로 최적의 프로토콜을 구축할 수 있는가?
• RQ2 난수 농축기를 사용하여 노이지어스 또는 신뢰할 수 없는 쿼리 응답 하에서 강건한 그룹 테스팅 계획을 설계할 수 있는가?
• RQ3 추출기와 농축기를 사용하여 광범위한 종류의 통신 채널의 용량을 달성하는 명시적 오류 수정 코드 집합을 구축할 수 있는가?
• RQ4 계산적 경직성 가정 하에 작은 명시적 코드 집합으로 Gilbert-Varshamov 경계를 달성할 수 있는가?
• RQ5 노이지어스 또는 임계치 기반 쿼리 모델 하에서 크기가 n인 인구에서 d개의 결함이 있는 항목을 식별하기 위해 필요한 최소 쿼리 수는 얼마인가?

주요 결과

• 논문은 난수 추출기를 사용하여 정보 이론적으로 최적이고 명시적인 와이어태프 채널 프로토콜을 구축하여 최소한의 비율 손실로 완벽한 기밀성을 달성한다.
• 논문은 난수 농축기를 사용하여 매우 신뢰할 수 없는 쿼리 결과에 강건한 첫 번째 명시적 그룹 테스팅 계획을 제시하며, 노이즈 하에서 정확성을 보장한다.
• 논문은 추출기와 농축기를 통해 메모리가 없는 채널의 광범위한 클래스에 대해 용량을 달성하는 코드 집합을 구축함으로써 용량을 달성하는 오류 수정 코드를 달성한다.
• 표준 계산적 경직성 가정 하에, 큰 비율의 코드에서 Gilbert-Varshamov 경계를 달성하는 작은 명시적 코드 집합을 구축한다.
• 구축은 명시적이고 결정적이며, 확률적 방법을 피하며, 표준 모델과 임계치 모델 모두에서 최적 또는 근접 최적의 쿼리 복잡도를 달성한다.
• 결과는 비난잡화 도구가 코딩 이론과 조합적 탐색 문제에서 최적 성능을 체계적으로 달성하는 데 응용될 수 있음을 보여주며, 이론적 한계와 실용적 구축을 통합한다.