[논문 리뷰] A direct sum theorem in communication complexity via message compression

Rahul Jain, Jaikumar Radhakrishnan외 1명|ArXiv.org|2003. 04. 12.

Complexity and Algorithms in Graphs참고 문헌 12인용 수 23

한 줄 요약

이 논문은 정보 비용을 중심 도구로 사용하여, 정보 비용 기반의 새로운 메시지 압축 기법을 활용해, 두 당사자 간의 유한 오차 랜덤화 k라운드 통신 프로토콜에 대해 직접 합 정리(direct sum theorem)를 수립한다. 저자들은 저정보 비용 프로토콜이 정보 비용 c에 대해 O(kc) 통신 비용을 갖는 결정론적 프로토콜로 압축될 수 있음을 보여, f^m의 통신 복잡도에 대해 Ω(m(ε²/(2k))·Cₖ[ ],δ+2ε(f) − 2)의 하한을 도출함으로써, 다중라운드에서 정보 비용의 초가역성(super-additivity)을 증명한다.

ABSTRACT

We prove lower bounds for the direct sum problem for two-party bounded error randomised multiple-round communication protocols. Our proofs use the notion of information cost of a protocol, as defined by Chakrabarti, Shi, Wirth and Yao and refined further by Bar-Yossef, Jayram, Kumar and Sivakumar. Our main technical result is a `compression' theorem saying that, for any probability distribution $μ$ over the inputs, a $k$-round private coin bounded error protocol for a function $f$ with information cost $c$ can be converted into a $k$-round deterministic protocol for $f$ with bounded distributional error and communication cost $O(kc)$. We prove this result using a substate theorem about relative entropy and a rejection sampling argument. Our direct sum result follows from this `compression' result via elementary information theoretic arguments. We also consider the direct sum problem in quantum communication. Using a probabilistic argument, we show that messages cannot be compressed in this manner even if they carry small information. Hence, new techniques may be necessary to tackle the direct sum problem in quantum communication.

연구 동기 및 목표

• 유한 오차 설정에서 k라운드 비밀 코인 랜덤화 통신 프로토콜에 대한 직접 합 정리를 수립하는 것.
• 정보 비용을 중심 도구로 사용하여, 한라운드에서의 메시지 압축 기법을 다중라운드 프로토콜로 확장하는 것.
• 정보 비용 기반 압축 기법이 양자 통신 프로토콜에 적용될 수 있는지 조사하는 것.
• 다중라운드 설정에서 직접 합 문제의 통신 복잡도 하한에 대한 이론적 기초를 제공하는 것.

제안 방법

• 압축 정리 도입: 입력 분포 μ에서 정보 비용 c를 갖는 k라운드 비밀 코인 프로토콜은 분포 오차가 유계인 k라운드 결정론적 프로토콜로 변환 가능하며, 통신 비용은 O(kc)이다.
• 상대 엔트로피에 대한 하위상태 정리(substate theorem)와 기각 샘플링(rejection sampling) 추론을 사용하여 압축 결과를 달성한다.
• 기본적인 정보 이론적 부등식을 적용하여, 압축 정리에서 직접 합 결과를 유도한다.
• 하위공간에 대한 유니타리 불변 측정법과 확률적 구성법을 사용하여 양자 측정 연산자의 행동을 분석한다.
• 하위공간에 대한 농도 경계와 유니온 경계를 사용하여, 대부분의 투영이 고정된 저차원 하위공간에 강하게 투영하지 않는다는 것을 보인다.
• 헤어 측정법(Haar measure)의 유니타리 변환에 대한 불변성을 활용하여, 랜덤 기저 선택에서 악성 사건의 확률을 유계로 제한한다.

실험 결과

연구 질문

• RQ1 정보 비용을 도구로 사용하여, k라운드 비밀 코인 랜덤화 통신 프로토콜에 대해 직접 합 성질을 수립할 수 있는가?
• RQ2 낮은 정보 비용을 갖는 k라운드 프로토콜을 정보 비용과 라운드 수에 비례하는 통신 비용을 갖는 결정론적 프로토콜로 압축할 수 있는가?
• RQ3 유사한 기법을 사용해 정보 비용이 작을 경우 압축이 가능한가? 이와 같은 메시지 압축 기법은 양자 통신 프로토콜로 확장 가능한가, 특히 정보 비용이 압축 가능성과 일치하지 않을 수 있는가?
• RQ4 클래식 프로토콜에 대해, 압축 및 직접 합 정리에서 라운드 수 k에 대한 최적의 의존성은 무엇인가?
• RQ5 특히 동치 함수(equality function)에 대해, 동시 양자 프로토콜에 대해 직접 합 성질을 증명할 수 있는가?

주요 결과

• 입력 분포 μ에서 정보 비용 c를 갖는 k라운드 비밀 코인 랜덤화 프로토콜은 분포 오차가 μ 하에서 δ 이하인 k라운드 결정론적 프로토콜로 압축 가능하며, 통신 비용은 O(kc)이다.
• k라운드 프로토콜에 대한 직접 합 정리는 R^k_δ(f^m) ≥ m·(ε²/(2k)·C^k[ ],δ+2ε(f) − 2)로 표현되며, 직접 합 설정 하에서 통신 복잡도의 초가역성을 증명한다.
• 압축 결과는 상대 엔트로피에 대한 하위상태 정리와 기각 샘플링 추론에 기반하며, 비밀 코인 프로토콜을 결정론적 프로토콜로 시뮬레이션한다.
• 양자 통신의 경우, 정보 비용이 작은 메시지는 유사한 기법으로 압축될 수 없음을 보여, 양자 직접 합 문제에 대해 새로운 방법이 필요함을 시사한다.
• 측정 연산자 {M_ij}의 확률적 구성은, 차원 d인 고정된 하위공간 W에 대해, 강하게 W에 투영하는 투영의 비율이 높은 확률에서 작다는 것을 보장한다.
• 주어진 매개변수 조건 하에서, 어떤 고정된 하위공간에 대해 너무 많은 투영(≥3n/4)이 강하게 투영하는 확률은 1보다 작으며, 이는 좋은 측정 집합의 존재를 증명한다.