[논문 리뷰] Quantum Communication Complexity (A Survey)

Gilles Brassard|ArXiv.org|2001. 01. 01.

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

한 줄 요약

이 종합 검토는 양자 통신 복잡도를 탐구하며, 양자 통신이 특정 분산 작업에 대해 고전적 통신보다 지수적 이점을 제공할 수 있음을 보여준다. 이는 Holevo의 정리에 따라 n 큐비트당 n개의 고전적 비트로만 정보를 전송할 수 있다는 제한에도 불구하고 성립한다. 이 논문은 사전에 양자 얽힘이 존재할 경우 고전적으로 불가능한 작업을 통신 없이 수행할 수 있음을 밝히며, 얽힘을 고전적으로 시뮬레이션하기 위해서는 지수적으로 더 많은 통신이 필요하다는 점을 강조함으로써, 통신 효율성에서 근본적인 양자적 우월성을 드러낸다.

ABSTRACT

Can quantum communication be more efficient than its classical counterpart? Holevo's theorem rules out the possibility of communicating more than n bits of classical information by the transmission of n quantum bits --- unless the two parties are entangled, in which case twice as many classical bits can be communicated but no more. In apparent contradiction, there are distributed computational tasks for which quantum communication cannot be simulated efficiently by classical means. In extreme cases, the effect of transmitting quantum bits cannot be achieved classically short of transmitting an exponentially larger number of bits. In a similar vein, can entanglement be used to save on classical communication? It is well known that entanglement on its own is useless for the transmission of information. Yet, there are distributed tasks that cannot be accomplished at all in a classical world when communication is not allowed, but that become possible if the non-communicating parties share prior entanglement. This leads to the question of how expensive it is, in terms of classical communication, to provide an exact simulation of the spooky power of entanglement.

연구 동기 및 목표

• 분산 계산 작업에서 양자 통신이 고전적 통신보다 효율성이 높은지 조사하기.
• 사전에 존재하는 얽힘이 고전적으로 통신 없이 불가능한 분산 문제를 해결할 수 있도록 하는 역할을 분석하기.
• 정확한 양자 얽힘 시뮬레이션을 위해 필요한 고전적 통신 비용을 규명하기, 특히 직접적인 통신이 없는 상황에서.
• 양자 비국소성의 고전적 시뮬레이션의 한계와 양자 상관관계를 재현하기 위해 필요한 자원을 탐색하기.
• 특히 총 함수, 시뮬레이션 경계, 통신 없이 얽힘이 갖는 능력에 관해 열려 있는 문제들을 식별하기.

제안 방법

• 비교를 위한 기초로 고전적 통신 복잡도를 검토하며, 결정론적, 랜덤화, 약속 기반 모델을 포함한다.
• 큐비트를 사용하는 프로토콜을 고려함으로써 양자 통신 복잡도를 분석하여 특정 함수에 대해 지수적 절감을 보여준다.
• ‘기묘한 통신 복잡도’ 개념을 도입한다 — 양자 얽힘이 공유되어 있을 경우 고전적 통신 없이도 해결 가능한 작업.
• 양자 텔레포르테이션을 적용하여 k 큐비트가 2k개의 고전적 비트로 시뮬레이션될 수 있음을 보이며, 고전적 시뮬레이션 비용의 상한선을 설정한다.
• 유한 체 위에서 다항식의 동일성 테스트를 활용해 효율적인 랜덤화 프로토콜을 설계하여 동일성 테스트에 필요한 통신을 감소시킨다.
• 고전적 통신을 사용해 얽힌 상태에서의 POVM(양의 연산자 값 측정)의 시뮬레이션을 분석하며, 평균 및 최악의 경우 통신에 대한 경계를 유도한다.

실험 결과

연구 질문

• RQ1 총 함수에 대해서는 양자 통신이 고전적 통신보다 지수적 이점을 제공할 수 있는가? (단지 약속 문제에 국한되지 않고).
• RQ2 얽힘이 존재할 경우 최소한의 고전적 통신으로 해결 가능한 분산 작업이 있으며, 이 경우에 얽힘이 없을 경우에 비해 훨씬 더 많은 양자 통신이 필요할까?
• RQ3 k 비트의 얽힘에 대한 측정 결과를 시뮬레이션하기 위해 필요한 최소한의 고전적 통신은 얼마인가?
• RQ4 EPR Paradox나 비국소 상관관계를 최악의 경우 네 비트 이하의 고전적 비트로 시뮬레이션할 수 있는가?
• RQ5 고전적 모델에서 공유된 랜덤 변수의 수에 따라 비국소 상관관계를 시뮬레이션하는 성공 확률은 어떻게 변화하는가?

주요 결과

• Holevo의 정리에 따라 n 큐비트당 n개의 고전적 비트로만 정보를 전송할 수 있음에도 불구하고, 양자 통신은 특정 약속 문제에 대해 지수적 절감을 달성할 수 있다.
• 사전에 존재하는 얽힘은 고전적으로 통신 없이 불가능한 분산 작업을 가능하게 하며, 예를 들어 n=2 또는 n=4일 때 Deutsch–Jozsa 관계나, n이 증가할수록 고전적으로 더 쉽게 시뮬레이션 가능한 작업을 가능하게 한다.
• k 비트의 얽힘 효과는 최대 (3k+6)2^k의 평균 비트 수의 고전적 통신으로 시뮬레이션할 수 있으며, 이는 양자 비국소성이 고전적으로 시뮬레이션 가능하지만 상당한 비용이 든다는 것을 보여준다.
• 최악의 경우 통신 제약 조건 하에서는 조건이 연속적인 공유 랜덤성 조건이 있더라도 유사한 경계가 알려져 있지 않아, 고전적 시뮬레이션에 대한 이해에 격차가 있음을 시사한다.
• 양자 텔레포르테이션을 통해 k 큐비트는 2k개의 고전적 비트로 시뮬레이션 가능하며, 이는 양자 통신이 고전적으로 두 배의 통신 비용으로 모방될 수 있음을 보여준다.
• 공유된 랜덤 변수의 수가 증가함에 따라 양자 얽힘 기반 상관관계를 공유 랜덤성으로 위장하는 데 성공할 확률은 지수적으로 감소하며, 이는 양자 상관관계의 비고전적 성격을 강조한다.