[논문 리뷰] A strong direct product theorem for two-way public coin communication complexity

Rahul Jain|arXiv (Cornell University)|2010. 10. 05.

Complexity and Algorithms in Graphs참고 문헌 21인용 수 3

한 줄 요약

이 논문은 두 방향 공개 코인 통신 복잡도에 대해 강한 직접 곱 정리(Strong Direct Product Theorem)를 수립하기 위해, 두 방향 제품 부분분포 바운드를 일반화하는 새로운 복잡도 측정법인 $\varepsilon$-오차 두 방향 조건부 상대 엔트로피 바운드 ($\mathsf{crent}^2_\varepsilon(f)$)를 도입한다. 저자들은 이 측정법이 집합 상호배타성 문제에 대해 날카로운 하한을 제공함으로써, 클로우크의 강한 직접 곱 결과를 재현하고 이전 결과들을 하나의 더 강력한 프레임워크로 통합한다.

ABSTRACT

We show a direct product result for two-way public coin communication complexity of all relations in terms of a new complexity measure that we define. Our new measure is a generalization to non-product distributions of the two-way product subdistribution bound of [J, Klauck and Nayak 08], thereby our result implying their direct product result in terms of the two-way product subdistribution bound. We show that our new complexity measure gives tight lower bound for the set-disjointness problem, as a result we reproduce strong direct product result for this problem, which was previously shown by [Klauck 00].

연구 동기 및 목표

• 두 방향 공개 코인 통신 복잡도에 대해 강한 직접 곱 정리를 수립하기.
• 제품 분포가 아닌 비제품 분포로 일반화된 두 방향 제품 부분분포 바운드를 일반화하는 새로운 복잡도 측정법을 정의하기.
• 새로운 측정법이 집합 상호배타성 문제에 대해 날카로운 하한을 제공함을 보여주기.
• 정보이론적 프레임워크를 통해 이전의 직접 곱 결과들을 통합하고 강화하기.

제안 방법

• 관계에 대한 새로운 복잡도 측정법으로 $\varepsilon$-오차 두 방향 조건부 상대 엔트로피 바운드 ($\mathsf{crent}^2_\varepsilon(f)$)를 도입하기.
• $\mathsf{crent}^2_\varepsilon(f)$가 두 방향 공개 코인 통신 복잡도 $\mathsf{R}^{2,\mathsf{pub}}_\varepsilon(f)$를 하한으로 제시함을 증명하기.
• $\mathsf{crent}^2_\varepsilon(f)$가 두 방향 제품 부분분포 바운드를 상한으로 가지므로, 이는 이전의 직접 곱 결과를 암시함을 보여주기.
• 상대 엔트로피의 연쇄법칙과 볼록성 성질을 활용해 조건부 분포와 입력에 따른 프로토콜 행동을 분석하기.
• 집합 상호배타성 문제에 새로운 측정법을 적용하여 날카로운 하한을 제공함을 보여주기.
• 프로토콜과 입력 분포의 구조적 성질을 활용해 성공 확률을 바ounds하고 강한 직접 곱 결과를 유도하기.

실험 결과

연구 질문

• RQ1 일반화된 복잡도 측정법을 사용해 두 방향 공개 코인 통신 복잡도에 대해 강한 직접 곱 정리를 증명할 수 있는가?
• RQ2 새로운 $\mathsf{crent}^2_\varepsilon(f)$ 측정법이 기존 측정법(예: 두 방향 제품 부분분포 바운드)보다 더 날카롭거나 일반적인 하한을 제공하는가?
• RQ3 새로운 측정법이 기존의 강한 직접 곱 결과(예: 집합 상호배타성 문제)를 재현할 수 있는가?
• RQ4 $\mathsf{crent}^2_\varepsilon(f)$ 측정법이 집합 상호배타성 문제에 대해 날카로운가?
• RQ5 새로운 측정법이 이전의 직접 곱 결과들을 어떻게 통합하거나 확장하는가?

주요 결과

• 새로운 복잡도 측정법 $\mathsf{crent}^2_\varepsilon(f)$는 두 방향 공개 코인 통신 복잡도 $\mathsf{R}^{2,\mathsf{pub}}_\varepsilon(f)$를 하한으로 제공한다.
• 측정법 $\mathsf{crent}^2_\varepsilon(f)$는 두 방향 제품 부분분포 바운드를 일반화하므로, J., Klauck, 및 Nayak [JKN08]의 직접 곱 결과를 암시한다.
• 집합 상호배타성 문제에 대해 $\mathsf{crent}^2_\varepsilon(f)$는 날카로운 하한을 제공한다.
• 논문은 새로운 측정법을 사용해 클로우크의 집합 상호배타성 문제에 대한 강한 직접 곱 결과를 재현한다.
• 분석 결과, $k$개의 관계를 동시에 계산할 때 성공 확률은 상수 요소를 제외하고 $(1 - \varepsilon)^k$ 이하임을 보여주며, 이는 이 문제에 대한 강한 직접 곱 추측을 확인한다.
• 오차 전파를 제어하기 위해 조건부 확률을 바ounds하고 상대 엔트로피 및 $\ell_1$ 거리의 성질을 활용하는 데 증명이 의존한다.