[논문 리뷰] Interaction in Quantum Communication Complexity

Ashwin Nayak, Amnon Ta‐Shma외 1명|ArXiv.org|2000. 05. 25.

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

한 줄 요약

이 논문은 양자 통신 프로토콜에서 상호작용을 늘리면 통신 복잡도가 지수적으로 감소할 수 있음을 보여주며, 모든 양자 프로토콜을 낮은 메시지 수 형태로 단순화할 수 있다는 가능성을 반박한다. 임의의 상수 $k$에 대해 $k+1$개의 메시지가 $O(\log N)$의 통신을 가능하게 하는 문제와, $k$개의 메시지만으로는 $\Omega(N^{1/(k+1)})$ 큐비트가 필요한 문제를 구성함으로써, 메시지 수 복잡도 간 초수학적 분리(의미상 초수학적 분리)를 확립한다.

ABSTRACT

One of the most intriguing facts about communication using quantum states is that these states cannot be used to transmit more classical bits than the number of qubits used, yet there are ways of conveying information with exponentially fewer qubits than possible classically. Moreover, these methods have a very simple structure---they involve little interaction between the communicating parties. We look more closely at the ways in which information encoded in quantum states may be manipulated, and consider the question as to whether every classical protocol may be transformed to a ``simpler'' quantum protocol of similar efficiency. By a simpler protocol, we mean a protocol that uses fewer message exchanges. We show that for any constant k, there is a problem such that its k+1 message classical communication complexity is exponentially smaller than its k message quantum communication complexity, thus answering the above question in the negative. Our result builds on two primitives, local transitions in bi-partite states (based on previous work) and average encoding which may be of significance in other applications as well.

연구 동기 및 목표

• 모든 효율적인 양자 통신 프로토콜이 통신 비용을 증가시키지 않고도 더 적은 메시지 교환 수로 단순화될 수 있는지 조사하기.
• 특히 최소 통신 프로토콜이 본질적으로 최소 상호작용을 요구하는지 여부를 포함해, 상호작용이 양자 통신 복잡도에서 차지하는 역할을 규명하기.
• 메시지 교환 수와 양자 통신 복잡도 사이의 분리를 확립하여, 더 많은 메시지가 통신 비용을 극적으로 감소시킬 수 있음을 보여주기.
• 프로토콜의 한계를 분석하기 위해 평균 인코딩과 이원 상태에서 국소 전이를 포함한 새로운 양자 정보 이론적 도구를 개발하기.

제안 방법

• 평균 인코딩 정리 도입: 균일한 랜덤 입력 $X$와의 상호정보량 $I(Q:X)$가 낮은 양자 인코딩 $Q$의 경우, 평균 상태 $\sigma = \frac{1}{2^m}\sum_x \sigma_x$ 는 각 $\sigma_x$를 $2\sqrt{I(Q:X)}$ 이내의 오차로 근사함.
• 첫 번째 메시지를 풍부화하고 앨리스가 이를 전송하는 수정된 프로토콜 $\mathcal{P}'$ 를 사용하여, 보브가 국소 연산을 통해 원래 프로토콜을 시뮬레이션할 수 있도록 함.
• 평균 인코딩 정리를 적용하여 $k$-메시지 프로토콜의 첫 번째 메시지를 낮은 오차로 고정된 상태로 대체함으로써 메시지 수를 $k-1$로 줄일 수 있음을 보임.
• 상호정보량 부등식을 활용하여 각 메시지가 누출하는 총 정보를 제한함으로써 $\sum_i \mu_i \leq \ell_1$ 를 도출함. 여기서 $\ell_1$ 은 첫 번째 메시지의 길이임.
• 첫 번째 메시지를 풍부화하고 국소 유니터리 변환을 사용하여 원래 프로토콜을 시뮬레이션함으로써 $k$-메시지 프로토콜을 $(k-1)$-메시지 프로토콜로 환원함.
• 포인터 점프의 부분문제를 기반으로 한 문제를 구성함. 이 경우 $k+1$개의 메시지가 $O(\log N)$의 통신을 가능하게 하고, $k$개의 메시지는 $\Omega(N^{1/(k+1)})$ 큐비트가 필요함.

실험 결과

연구 질문

• RQ1 모든 고전적 통신 프로토콜을 메시지 교환 수를 줄이되 통신 비용은 유사하게 유지하는 더 단순한 양자 프로토콜로 변환할 수 있는가?
• RQ2 양자 프로토콜에서 메시지 수와 통신 비용 사이에 본질적인 상충 관계가 존재하는가?
• RQ3 최소 상호작용(예: 단방향)을 갖는 양자 프로토콜이 다중 메시지 프로토콜과 동일한 효율성을 달성할 수 있는가?
• RQ4 양자 프로토콜에서 메시지 교환 수를 늘릴 경우 통신 복잡도에서 얻을 수 있는 최대 이점은 무엇인가?
• RQ5 평균 인코딩과 국소 전이와 같은 양자 정보 이론적 도구를 사용하여 통신 복잡도를 분석하고 경계할 수 있는가?

주요 결과

• 임의의 상수 $k$에 대해 $k+1$개의 메시지로 구성된 양자 프로토콜이 $O(\log N)$의 통신을 달성할 수 있는 문제와, $k$개의 메시지만으로는 $\Omega(N^{1/(k+1)})$ 큐비트가 필요한 문제를 구성할 수 있음.
• 이산성 문제(DISJ)에 대한 $k$-메시지 프로토콜의 하한은 $\Omega(N^{1/k(k+1)})$ 로 이전의 하한보다 향상됨.
• 평균 인코딩 정리는 만약 양자 인코딩이 입력과 낮은 상호정보량을 갖는다면, 평균 상태가 각 인코딩된 상태를 $2\sqrt{I(Q:X)}$ 이내의 오차로 근사할 수 있음을 보여줌.
• 모든 $k$-메시지 프로토콜에서 첫 번째 메시지를 풍부화하고 앨리스가 전송함으로써, 동일한 성공 확률과 통신 비용을 갖는 $k-1$-메시지 프로토콜로 대체할 수 있음.
• 각 메시지 $M$에 대해 $I(M:Y_i)$ 는 메시지의 길이로 제한되며, 이는 $\sum_i \mu_i \leq \ell_1$ 으로 이어지고, 이는 프로토콜 시뮬레이션의 오차를 제어하는 데 사용됨.
• 결과적으로 단방향 양자 프로토콜은 다중 메시지 프로토콜을 효율적으로 시뮬레이션할 수 없으며, 메시지 수가 줄어들수록 통신 비용이 지수적으로 증가하기 때문임.