[논문 리뷰] Optimal Error Rates for Interactive Coding I: Adaptivity and Other Settings

Mohsen Ghaffari, Bernhard Haeupler외 1명|arXiv (Cornell University)|2013. 12. 06.

Coding theory and cryptography참고 문헌 8인용 수 4

한 줄 요약

이 논문은 적응형 및 비적응형 상호작용 부호화에서 허용 가능한 오류 비율의 날카운 경계를 확립하며, 적응성이 표준 오류에서 비적응형의 1/4에서 적응형의 2/7으로 오류 내성 능력을 향상시키고, 공유 난수를 이용할 경우 1/2에서 2/3으로 향상됨을 보여준다. 또한 리스트 복원 가능한 상호작용 부호화의 경우 날카운 상한 경계 1/2를 증명하며, 이에 상응하는 불가능성 결과도 제시한다.

ABSTRACT

We consider the task of interactive communication in the presence of adversarial errors and present tight bounds on the tolerable error-rates in a number of different settings. Most significantly, we explore adaptive interactive communication where the communicating parties decide who should speak next based on the history of the interaction. Braverman and Rao [STOC'11] show that non-adaptively one can code for any constant error rate below 1/4 but not more. They asked whether this bound could be improved using adaptivity. We answer this open question in the affirmative (with a slightly different collection of resources): Our adaptive coding scheme tolerates any error rate below 2/7 and we show that tolerating a higher error rate than 1/3 is impossible. We also show that in the setting of Franklin et al. [CRYPTO'13], where parties share randomness not known to the adversary, adaptivity increases the tolerable error rate from 1/2 to 2/3. For list-decodable interactive communications, where each party outputs a constant size list of possible outcomes, the tight tolerable error rate is 1/2. Our negative results hold even for unbounded communication and computations, whereas for our positive results communication and computations are polynomially bounded. Most prior work considered coding schemes with linear amount of communication, while allowing unbounded computations. We argue that studying tolerable error rates in this relaxed context helps to identify a setting's intrinsic optimal error rate. We set forward a strong working hypothesis which stipulates that for any setting the maximum tolerable error rate is independent of many computational and communication complexity measures. We believe this hypothesis to be a powerful guideline for the design of simple, natural, and efficient coding schemes and for understanding the (im)possibilities of coding for interactive communications.

연구 동기 및 목표

• 공격자에 의한 오류가 발생하는 상황에서 상호작용 부호화에서 허용 가능한 최적의 오류 비율을 규명하는 것.
• 상호작용 이력에 따라 통신 순서가 결정되는 적응성—즉, 통신 순서가 역사에 따라 변하는 방식—이 비적응형 방법을 초월해 오류 내성 능력을 향상시킬 수 있는지 조사하는 것.
• 공유 난수와 리스트 복원 가능성을 고려한 상호작용 부호화에서의 영향을 분석하고, 날카운 상한 및 하한 경계를 확립하는 것.
• 이전 연구에서 남아 있던 열린 질문, 특히 적응형 환경에서의 최대 허용 오류 비율에 관해 해결하는 것.
• 내재된 오류 내성 능력이 계산 및 통신 복잡도 측정치와 독립적이라는 가설을 체계화하고 검증하는 것.

제안 방법

• 상호작용 이력과 오류 추정치에 따라 통신 순서가 적응적으로 변화하는 적응형 상호작용 부호화의 형식적 모델을 제안한다.
• 오류 탐지 및 재전송을 수행하는 상수 크기의 알파벳과 공유 난수를 사용하는 3라운드 프로토콜인 적응형 교환 블록을 도입한다.
• 체르노프 불등식과 확률적 분석을 활용해 공격자에 의한 오염 상황에서 적응형 교환 블록의 복원 오류 발생 확률을 경계한다.
• 이전 연구의 기법(예: [10], [5])을 응용하여 오류 탐지 및 삭제가 발생한 프로토콜을 반부호 오류와 동치로 모델링한다.
• 효율적으로 복원 가능한 트리 코드를 활용해 다항 시간 계산과 상수 통신 비율을 갖는 적응형 부호화 체계를 구성한다.
• 불변성 추론과 대칭 기반 추론을 활용해 불가능성 결과를 유도하며, 원래의 2/7 주장에서 오류를 발견한 후 1/3으로 수정된 결과를 도출한다.

실험 결과

연구 질문

• RQ1 적응성이 비적응형 방식의 1/4 이론적 한계를 초월해 상호작용 부호화에서 허용 가능한 최대 오류 비율을 향상시킬 수 있는가?
• RQ2 표준 오류 상황에서 적응형 부호화에서 허용 가능한 오류 비율의 날카운 상한 경계는 무엇이며, 이는 효율적인 계산으로 달성 가능한가?
• RQ3 공유 난수가 존재할 경우 적응형 프로토콜에서 허용 가능한 오류 비율은 어떻게 변화하며, 이에 상응하는 날카운 불가능성 결과를 도출할 수 있는가?
• RQ4 리스트 복원 가능한 상호작용 부호화에서 최적의 오류 비율은 무엇이며, 이 경우 적응성이 어떤 이점을 제공하는가?
• RQ5 적응형 메시지 교환 문제에 대해 원래 주장한 2/7 불가능성 경계는 타당한가, 아니면 잘못된 대칭성 가정에 기반한 것인가?

주요 결과

• 적응형 부호화는 표준 오류 상황에서 2/7 이하의 오류 비율을 허용하며, 이에 상응하는 불가능성 결과는 1/3(원래 주장한 2/7가 아니라)이다. 이는 원래 증명의 결함을 수정한 결과이다.
• 공유 난수가 존재할 경우, 적응성은 오류 비율을 비적응형의 1/2에서 2/3으로 향상시키며, 이 경계는 날카로우며 더 높은 비율은 불가능하다.
• 리스트 복원 가능한 상호작용 부호화의 경우 최대 허용 오류 비율은 1/2이며, 이 경계는 적응성 여부와 관계없이 성립한다.
• 원래의 적응형 메시지 교환 문제에 대한 2/7 불가능성 결과 주장은 증명 과정에서 정당화되지 않은 대칭성 가정에 기반하여 잘못되었으며, 올바른 불가능성 경계는 1/3이다.
• 적응형 교환 블록은 각 블록에서 복원 오류 발생 확률이 최대 3δ 이하이며, 최대 한 번의 전송이 손상된 경우 높은 확률로 양 당사자가 정확히 복원한다.
• 적응형 교환 블록과 기존의 오류 내성 시뮬레이션 기법을 조합하여, 상수 통신 비율과 다항 시간 계산을 갖는 강력한 적응형 프로토콜을 구성하였으며, 실패 확률은 2^−Ω(n)이다.