[논문 리뷰] Potent Tree Codes and their applications: Coding for Interactive Communication, revisited

Ran Gelles, Amit Sahai|arXiv (Cornell University)|2011. 04. 05.

Cooperative Communication and Network Coding참고 문헌 13인용 수 10

한 줄 요약

이 논문은 노이지 채널을 통해 상호작용적 통신을 위한 첫 번째 완전히 명시적이고 일정한 오버헤드를 가지는 시뮬레이션을 가능하게 하는 강력한 트리 코드—새로운 명시적 구축이 가능한 트리 코드의 클래스—를 소개한다. 저자들은 무작위로 생성된 트리 코드가 높은 확률로 강력한 트리 코드임을 보이며, 이를 효율적으로 복호화할 수 있음을 입증함으로써 프rotocol 길이에 대해 지수적으로 작은 실패 확률을 달성한다. 이는 상호작용 코딩 이론 분야에서 오랫동안 미해결된 문제를 해결한다.

ABSTRACT

We study the fundamental problem of reliable interactive communication over a noisy channel. In a breakthrough sequence of papers published in 1992 and 1993, Schulman gave non-constructive proofs of the existence of general methods to emulate any two-party interactive protocol such that: (1) the emulation protocol takes a constant-factor longer than the original protocol, and (2) if the emulation protocol is executed over a noisy channel, then the probability that the emulation protocol fails is exponentially small in the total length of the protocol. Unfortunately, Schulman's emulation procedures either only work in a model with a large amount of shared randomness, or are non-constructive in that they rely on the existence of good tree codes. The only known proofs of the existence of good tree codes are non-constructive, and finding an explicit construction remains an important open problem. Indeed, randomly generated tree codes are not good tree codes with overwhelming probability. In this work, we revisit the problem of reliable interactive communication, and obtain the following results: We introduce a new notion of goodness for a tree code, and define the notion of a potent tree code. We believe that this notion is of independent interest. We prove the correctness of an explicit emulation procedure based on any potent tree code. We show that a randomly generated tree code (with suitable constant alphabet size) is a potent tree code with overwhelming probability. Furthermore we are able to partially derandomize this result using only O(n) random bits, where $n$ is the depth of the tree. These results allow us to obtain the first fully explicit emulation procedure for reliable interactive communication over noisy channels with a constant communication overhead, and exponentially small failure probability.

연구 동기 및 목표

• 신뢰할 수 있는 상호작용적 통신을 위한 명시적 트리 코드를 구축하는 데 오랫동안 미해결된 문제를 해결하기 위해.
• Schulman의 1993년 프로토콜에서 좋은 트리 코드의 비구축적 의존성을 명시적이고 효율적인 대체 수단으로 대체하기 위해.
• 원래 프로토콜의 길이에 대해 지수적으로 작은 실패 확률을 유지하면서 일정 인자 오버헤드를 달성하기 위해.
• 상수 명수의 파티에 대해 일정한 수준의 느려짐(O(n))을 유지하면서 다자간 상호작용적 통신으로 결과를 확장하기 위해.
• 결정적 시뮬레이션을 가능하게 하기 위해 오직 O(n)개의 랜덤 비트만을 사용하는 탈난수화된 구축을 제공하기 위해.

제안 방법

• 신뢰할 수 있는 상호작용적 통신을 위한 충분한 조건이지만 약화된 조건인 강력한 트리 코드의 개념을 도입한다.
• 임의의 강력한 트리 코드가 두 당사자 및 다자 프로토콜에 대해 완전히 명시적이고 효율적인 에뮬레이션 절차를 가능하게 함을 증명한다.
• 상수 알파벳 크기를 가지는 무작위로 생성된 트리 코드가 높은 확률로 강력한 트리 코드임을 보인다.
• 이러한 트리 코드가 이진 대칭 채널 조건 하에서도 표준 에러정정 코드를 사용해 효율적으로 복호화될 수 있음을 입증한다.
• O(n)개의 랜덤 비트를 사용하여 구축을 부분적으로 탈난수화하며, 이를 표준 에러정정 코드를 통해 인코딩하고 공유한다.
• 다자 통신으로의 프레임워크 확장을 위해, 다양한 파티 간의 복호화 오류가 높은 확률로 유한하게 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 비구축적 트리 코드 존재 증명에 의존하지 않고, 노이지 채널에서 상호작용 프로토콜의 완전히 명시적이고 일정한 오버헤드 시뮬레이션을 달성할 수 있는가?
• RQ2 효율적이고 명시적인 상호작용 코딩을 가능하게 하면서도 지수적 오류 억제를 유지하는 데 충분한 트리 코드의 양호성에 대한 약화된 개념이 존재하는가?
• RQ3 랜덤으로 생성된 트리 코드가 높은 확률로 충분히 양호한(강력한 트리 코드로 간주될 수 있는)가능한가? 이를 통해 실용적인 구축이 가능해지는가?
• RQ4 이러한 코드를 구축하기 위해 필요한 랜덤성의 양을 O(n) 비트로 줄일 수 있는가? 이때 효율성과 신뢰성은 유지되어야 한다.
• RQ5 이 프레임워크는 일정한 오버헤드를 유지하면서 다자 상호작용 프로토콜로 확장될 수 있는가?

주요 결과

• 상수 알파벳 크기를 가지는 무작위로 생성된 트리 코드는 높은 확률로 강력한 트리 코드이며, 이를 통해 명시적 구축이 가능하다.
• 에뮬레이션 프로토콜의 실패 확률은 원래 프로토콜의 길이에 대해 지수적으로 작으며, 구체적으로 프로토콜 길이 N에 대해 2^(-Ω(N)) 이하로 유계이다.
• 두 당사자 프로토콜의 경우 오버헤드는 일정하며, n명의 파티에 대해 O(n)이지만, 상수 n에 대해 이는 최적이다.
• 구축에 필요한 랜덤 비트 수는 오직 O(n)개이며, 이를 표준 에러정정 코드를 사용해 효율적으로 공유하고 탈난수화할 수 있다.
• 표준 에러정정 코드를 사용해 효율적인 복호화가 가능하며, 레이블 오류 확률 p < |S|^(-2) 조건을 만족함으로써 낮은 복호화 복잡도를 확보할 수 있다.
• 적절한 매개변수 조건 하에서 고정된 시간 유사 경로에 대해 다자 프로토콜로의 프레임워크 확장이 가능하며, 실패 확률은 최대 1/(2(r+1))^N 이하이다.