[논문 리뷰] Round Elimination in Exact Communication Complexity

Jop Briët, Harry Buhrman외 3명|arXiv (Cornell University)|2015. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 28인용 수 10

한 줄 요약

이 논문은 정확한 통신 복잡도에서 라운드 제거의 문제를 다루며, 약속 동일성 문제에 대한 고전적 프로토콜은 항상 일라운드 프로토콜로 감소시킬 수 있음을 보여주지만, 양자 프로토콜은 본질적인 비대칭성을 보이며, 특정 문제들에 대해 일라운드와 이중라운드 양자 복잡도 사이에 지수적 격차가 존재함을 밝힌다. 저자들은 수직 랭크 기반의 양자 색수 계층을 도입하고, 리스트 문제에 대해 양자 환경에서의 라운드 감소가 실패함을 증명하며 고전적 직관에 도전한다.

ABSTRACT

We study two basic graph parameters, the chromatic number and the orthogonal rank, in the context of classical and quantum exact communication complexity. In particular, we consider two types of communication problems that we call promise equality and list problems. For both of these, it was already known that the one-round classical and one-round quantum complexities are characterized by the chromatic number and orthogonal rank of a certain graph, respectively. In a promise equality problem, Alice and Bob must decide if their inputs are equal or not. We prove that classical protocols for such problems can always be reduced to one-round protocols with no extra communication. In contrast, we give an explicit instance of a promise problem that exhibits an exponential gap between the one- and two-round exact quantum communication complexities. Whereas the chromatic number thus captures the complete complexity of promise equality problems, the hierarchy of "quantum chromatic numbers" (starting with the orthogonal rank) giving the quantum communication complexity for every fixed number of communication rounds thus turns out to enjoy a much richer structure. In a list problem, Bob gets a subset of some finite universe, Alice gets an element from Bob's subset, and their goal is for Bob to learn which element Alice was given. The best general lower bound (due to Orlitsky) and upper bound (due to Naor, Orlitsky, and Shor) on the classical communication complexity of such problems differ only by a constant factor. We exhibit an example showing that, somewhat surprisingly, the four-round protocol used in the bound of Naor et al. can in fact be optimal. Finally, we pose a conjecture on the orthogonality rank of a certain graph whose truth would imply an intriguing impossibility of round elimination in quantum protocols for list problems, something that works trivially in the classical case.

연구 동기 및 목표

• 정확한 고전적 및 양자 통신 복잡도에서 통신 단계의 역할을 이해하기 위해.
• 특히 고전적 경우에 자명한 리스트 문제에서 라운드 제거가 양자 프로토콜에서 가능할지 분석하기 위해.
• 색수와 수직 랭크와 같은 그래프 매개변수를 사용하여 약속 동일성 및 리스트 문제의 통신 복잡도를 특성화하기 위해.
• 양자 단계 복잡도와 얽힘 지원 프로토콜에 관한 열린 질문을 해결하기 위해.
• 명시적인 예제를 구성함으로써 라운드 감소의 한계를 탐구하고, 최적의 다단계 프로토콜을 제공하기 위해.

제안 방법

• 정확한(결정적) 프로토콜을 사용한 통신 복잡도를 연구하기 위해 약속 동일성 문제와 리스트 문제를 프레임워크로 사용한다.
• 일라운드 고전적 통신 복잡도를 특성화하기 위해 색수 χ(G)를 적용하고, 일라운드 양자 복잡도를 위해 수직 랭크 ξ(G)를 사용한다.
• 특정한 약속 동일성 문제를 유니터리 연산과 양자 상태 준비를 통해 구성하여, O(log n) 큐비트를 사용하는 이중라운드 양자 프로토콜을 달성한다.
• 양자 푸리에 변환과 제어된 단계 게이트(Uz)를 사용하여 입력 차이를 인코딩하는 수직 상태를 생성한다.
• 얽힘과 텔레포테이션을 활용해 양자 통신을 고전 비트로 시뮬레이션하며, 단지 ⌈log n⌉+ 3개의 고전 비트만을 사용하는 이중라운드 얽힘 지원 프로토콜을 보여준다.
• 비신호 상관관계를 적용하여 리스트 문제가 공유된 비신호 자원을 가질 경우 자명해지며, ⌈log ω(L)⌉ 비트의 최적 통신으로 달성됨을 보인다.

실험 결과

연구 질문

• RQ1 약속 동일성 문제에 대한 고전적 프로토콜은 통신 비용을 증가시키지 않고 항상 일라운드 프로토콜로 감소시킬 수 있는가?
• RQ2 약속 동일성 문제에 대해 일라운드와 이중라운드 정확한 양자 통신 복잡도 사이에 지수적 격차가 존재하는가?
• RQ3 고전적 경우와 마찬가지로 리스트 문제에 대한 양자 프로토콜에서도 라운드 제거가 성립하는가?
• RQ4 수직 랭크 계층은 리스트 문제에 대한 r라운드 양자 프로토콜의 복잡도를 완전히 캐릭터라이즈할 수 있는가?
• RQ5 리스트 문제에 대한 얽힘 지원 및 비신호 프로토콜의 최적 통신 비용은 무엇인가?

주요 결과

• 약속 동일성 문제에 대해 고전적 통신 복잡도는 색수에 의해 완전히 특성화되며, 일라운드 프로토콜이 최적이므로 라운드 제거가 필요하지 않다.
• 명시적인 약속 동일성 문제에서 지수적 격차가 존재함을 입증: 일라운드 양자 복잡도는 Ω(n)이며, 이중라운드 프로토콜은 오직 O(log n) 큐비트만을 사용한다.
• 양자 색수 계층은 비중복적이다: 더 높은 단계의 프로토콜은 일라운드 프로토콜보다 지수적으로 더 효율적일 수 있다.
• K-리스트 문제(K = ∪_{d=n/2}^n L_d)에 대해 이중라운드 얽힘 지원 프로토콜은 오직 ⌈log n⌉+ 3개의 고전 비트만을 사용하며, 표준 양자 통신을 초월한 효율성을 보여준다.
• 비신호 상관관계는 모든 리스트 문제를 자명하게 만든다: ⌈log ω(L)⌉ 비트를 사용하는 일라운드 프로토콜이 최적이고 충분하다.
• 논문은 만약 참이라면 리스트 문제에 대한 양자 프로토콜에서 라운드 제거가 불가능하다는 추측을 제기하며, 고전적 경우와 대조된다.