[논문 리뷰] Quantum Communication Cannot Simulate a Public Coin

Dmitry Gavinsky, Julia Kempe외 1명|arXiv (Cornell University)|2004. 11. 08.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 21

한 줄 요약

이 논문은 양자 동시 메시지 전송(SMP) 프로토콜이 고전적 공개 코인 프로토콜을 효율적으로 시뮬레이션할 수 없음을 보여주며, 두 모델 간의 첫 번째 지수적 분리(Exponential separation)를 확립한다. 고전적 공개 코인 프로토콜은 O(log n) 비트로 관련 허밍거 거리 문제를 해결할 수 있지만, 양자 프로토콜은 Ω(√n) 큐비트가 필요하며, 이는 SMP 모델에서 공개 난수를 양자 통신으로 효율적으로 대체할 수 없음을 증명한다.

ABSTRACT

We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large class of efficient classical public-coin protocols can be turned into efficient quantum protocols without public coin. This raises the question whether this can be done always, i.e. whether quantum communication can always replace a public coin in the SMP model. We answer this question in the negative, exhibiting a communication problem where classical communication with public coin is exponentially more efficient than quantum communication. Together with a separation in the other direction due to Bar-Yossef et al., this shows that the quantum SMP model is incomparable with the classical public-coin SMP model. In addition we give a characterization of the power of quantum fingerprinting by means of a connection to geometrical tools from machine learning, a quadratic improvement of Yao's simulation, and a nearly tight analysis of the Hamming distance problem from Yao's paper.

연구 동기 및 목표

• 양자 통신이 동시 메시지 전송(SMP) 모델에서 고전적 공개 코인 프로토콜을 효율적으로 시뮬레이션할 수 있는지 여부를 규명하는 것.
• 요아오(Yao)의 2004년 양자 프린팅과 공개 코인 시뮬레이션에 대한 작업 이후 제기된 열린 문제를 해결하는 것.
• 양자 통신이 고전적 공개 코인 통신보다 지수적으로 비효율적인 구체적인 관련 문제를 확립하는 것.
• 양자 프린팅의 한계를 규명하고 허밍거 거리 문제에 대한 양자 프로토콜의 한계를 개선하는 것.

제안 방법

• 앨리스가 x ∈ {0,1}^n을, 박부가 y와 s를 가지고 있으며 |s| = n/2이면서, 심판자가 s_i = 1인 어떤 i에 대해 (i, x_i, y_i)를 출력해야 하는 관련 문제를 구성한다.
• 오차를 감소시킨 랜덤라이즈드 등가 테스트를 사용하여 고전적 공개 코인 프로토콜이 O(log n) 비트의 통신으로 이 문제를 해결할 수 있음을 증명한다.
• 나야크(Nayak)의 큐비트 요구량에 대한 경계를 활용하여 양자 랜덤 액세스 코드로의 감소를 통해 Ω(√n) 큐비트의 양자 하한을 확립한다.
• 양자 프린팅 맵의 선형성을 이용하여 프린팅에서 국소 비트 뒤집기를 시뮬레이션하고, d비트의 차이에 대해 O(d(log n)^2) 큐비트로 허밍거 거리 테스트를 수행할 수 있음을 보인다.
• 요아오의 시뮬레이션을 개선하여 모든 c비트 공개 코인 프로토콜이 O(2^{2c}(c + log n)) 큐비트로 시뮬레이션 가능하다는 것을 보이며, 이는 이전 작업 대비 제곱수 개선이다.
• 균일한 반공간의 배열을 통한 기하적 배열을 통해 최적의 양자 프린팅을 특성화하고, 이를 마진 기반 학습 도구와 연결한다.

실험 결과

연구 질문

• RQ1 SMP 모델에서 효율적인 고전적 공개 코인 프로토콜은 공개 코인 없이도 양자 프로토콜에 의해 효율적으로 시뮬레이션될 수 있는가?
• RQ2 양자 SMP 통신 복잡도가 고전적 공개 코인 복잡도보다 지수적으로 큰 관련 문제는 존재하는가?
• RQ3 제한된 차이가 있는 허밍거 거리 문제에 대해 최적의 양자 통신 비용은 무엇인가?
• RQ4 양자 프린팅은 기계 학습에서 기하적 마진 최대화와 어떻게 관련이 있는가?
• RQ5 지수적 분리는 관련 문제 외에 부울 함수로도 확장될 수 있는가?

주요 결과

• 고전적 공개 코인 SMP 프로토콜이 O(log n) 비트의 통신만으로 해결할 수 있는 관련 문제가 존재하지만, 어떤 양자 SMP 프로토콜이라도 Ω(√n) 큐비트가 필요하며, 이는 지수적 분리를 증명한다.
• 무제한 사전 entanglement가 있는 경우에도 Ω(√n) 큐비트의 양자 하한이 유지되며, 이는 한계가 엔트랑글먼트 부족 때문이 아니라는 것을 보여준다.
• d비트의 차이가 있는 허밍거 거리 문제에 대한 양자 프로토콜은 O(d(log n)^2) 큐비트를 사용하며, 1-way 프로토콜에 대한 Ω(d) 하한을 고려하면 거의 최적이다.
• 고전적 c비트 공개 코인 프로토콜의 시뮬레이션에서 제곱수 개선을 달성하였다: O(2^{2c}(c + log n)) 큐비트로 충분하며, 요아오의 O(2^{4c} log n) 경계보다 개선되었다.
• 양자 프린팅은 균일한 반공간의 배열을 통해 기하학적으로 특성화되며, 이는 최대 마진으로 달성 가능한 양상과 연결되며, 양자 통신과 학습 이론을 연결한다.
• 논문은 부울 함수에 대해 유사한 지수적 갭이 존재하는지 여부는 열려 있지만, 후보 함수를 제시한다.