[논문 리뷰] A Note on Shared Randomness and Shared Entanglement in Communication

Dmitry Gavinsky|arXiv (Cornell University)|2005. 05. 12.

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

한 줄 요약

이 논문은 1라운드 양자 및 고전적 통신 모델에서 공유 엔트랑글먼트와 공유 랜덤니스의 상대적 능력을 조사한다. 공유 엔트랑글먼트를 사용할 경우 동시 양자 메시지 전달 모델에서 정확하게 해결할 수 있지만, 동일한 모델에서 공유 랜덤니스를 사용해도 효율적으로 해결할 수 없고, 0오차 설정에서도 마찬가지로 해결할 수 없는 관계 MHMₙ을 구성한다. 이는 엔트랑글먼트가 계산적 우월성을 제공한다는 강력한 증거를 제공한다. 또한 양의 시뮬레이션 결과를 1방향 고전적 프로토콜에 공유 랜덤니스를 적용해 일반화하여, 이러한 프로토콜이 동시 양자 모델에서 효율적으로 시뮬레이션될 수 있음을 보여준다.

ABSTRACT

We consider several models of 1-round classical and quantum communication, some of these models have not been defined before. We "almost separate" the models of simultaneous quantum message passing with shared entanglement and the model of simultaneous quantum message passing with shared randomness. We define a relation which can be efficiently exactly solved in the first model but cannot be solved efficiently, either exactly or in 0-error setup in the second model. In fact, our relation is exactly solvable even in a more restricted model of simultaneous classical message passing with shared entanglement. As our second contribution we strengthen a result by Yao that a "very short" protocol from the model of simultaneous classical message passing with shared randomness can be simulated in the model of simultaneous quantum message passing: for a boolean function f, QII(f) \in exp(O(RIIp(f))) log n. We show a similar result for protocols from a (stronger) model of 1-way classical message passing with shared randomness: QII(f) \in exp(O(RIp(f))) log n. We demonstrate a problem whose efficient solution in the model of simultaneous quantum message passing follows from our result but not from Yao's.

연구 동기 및 목표

• 공유 엔트랑글먼트와 공유 랜덤니스의 상대적 능력을 조사함으로써, 양자 통신에 엔트랑글먼트가 존재하거나 고전적 통신에 공유 랜덤니스가 존재하는 비표준 설정과 같은 1라운드 통신 모델에서의 성능을 분석하는 것.
• 공유 엔트랑글먼트를 사용할 경우 동시 양자 메시지 전달 모델에서 효율적이고 정확하게 해결 가능한 구체적인 관계 MHMₙ을 구성함으로써, 동일한 모델에서 공유 랜덤니스를 사용해도 효율적으로 해결할 수 없음을 입증하는 것, 심지어 0오차 설정에서도 마찬가지로 해결할 수 없음을 보여주는 것.
• 양의 시뮬레이션 결과를 확장하여, 공유 랜덤니스를 가진 짧은 고전적 프로토콜이 양자 프로토콜로 시뮬레이션될 수 있음을 보여주는 것에서 더 나아가, 1방향 고전적 통신에 공유 랜덤니스가 존재하는 더 강력한 모델로 확장하는 것.
• 기존 양의 결과에서 다루지 못한 문제들을 새로운 시뮬레이션 경계가 포함함을 입증함으로써, 기술의 더 넓은 적용 가능성을 보여주는 것.

제안 방법

• 저자들은 동시 양자 메시지 전달 모델에서 엔트랑글먼트의 비국소적 상관관계를 활용하도록 설계된 새로운 통신 관계 MHMₙ을 정의한다.
• MHMₙ이 공유 엔트랑글먼트를 사용하는 더 제한된 설정인 R∥ₑ 모델에서 정확하게 해결될 수 있음을 증명한다.
• 공유 랜덤니스를 사용하는 Q∥_p 모델(동시 양자 메시지 전달 모델)에서도 MHMₙ을 효율적으로 해결할 수 없음을, 엔트랑글먼트 기반 상관관계를 시뮬레이션하는 데 있어 고전적 랜덤니스의 한계를 분석함으로써 입증한다.
• 양의 시뮬레이션 기법을 일반화하기 위해, 비용이 R¹_p(f)인 임의의 1방향 고전적 프로토콜이 동시 양자 모델에서 비용 2^{O(R¹_p(f))} · log n로 효율적으로 시뮬레이션될 수 있음을 증명한다.
• 양자 텔레포테이션과 공유 랜덤니스의 구조를 활용하여, R¹_e(1방향 고전적 통신에 공유 엔트랑글먼트가 존재하는 모델)의 프로토콜이 Q¹_e 모델에서 양자 프로토콜로 시뮬레이션될 수 있음을 보여주며, 이는 모델 간의 등가성을 확립한다.
• 기존 양의 결과에서 유도되지 않는 효율적인 양자 솔루션을 가진 통신 문제를 제시함으로써, 새로운 시뮬레이션 경계의 강력함을 입증한다.

실험 결과

연구 질문

• RQ1 공유 엔트랑글먼트가 1라운드 통신에서 공유 랜덤니스보다 계산적 우월성을 제공할 수 있는가, 심지어 통신 채널이 양자일 경우에도 마찬가지로 성립하는가?
• RQ2 동시 양자 메시지 전달 모델에서 공유 엔트랑글먼트로 정확하게 해결 가능한 관계가 있지만, 동일한 모델에서 공유 랜덤니스로는 해결할 수 없는 관계가 존재하는가?
• RQ3 공유 랜덤니스를 가진 고전적 프로토콜이 양자 프로토콜로 연결되는 양의 시뮬레이션 결과를, 더 강력한 1방향 고전적 통신에 공유 랜덤니스가 존재하는 모델로 확장할 수 있는가?
• RQ4 새로운 시뮬레이션 경계가 양의 원래 프레임워크에서 시뮬레이션할 수 없었던 문제들을 포괄하는가?

주요 결과

• 관계 MHMₙ은 Q∥_e보다 더 제한된 설정인 R∥_e(공유 엔트랑글먼트를 사용하는 동시 고전적 메시지 전달 모델)에서 정확하게 해결될 수 있으며, 이는 이 설정에서 엔트랑글먼트의 강력함을 보여준다.
• MHMₙ은 Q∥_p(공유 랜덤니스를 사용하는 동시 양자 메시지 전달 모델)에서도 효율적으로 해결할 수 없으며, 심지어 0오차 설정에서도 마찬가지로 해결할 수 없어, 공유 랜덤니스로는 엔트랑글먼트 기반 프로토콜을 시뮬레이션하는 데 부족함을 보여준다.
• 저자들은 새로운 시뮬레이션 경계를 확립한다: 임의의 부울 함수 f에 대해 Q∥(f) ∈ 2^{O(R¹_p(f))} · log n이며, 이는 양의 결과를 동시 모델에서 1방향 고전적 프로토콜로 일반화한 것이다.
• 이 새로운 경계는 기존 양의 결과에서 유도되지 않는 문제를 포함하며, 일반화된 시뮬레이션 기법의 더 넓은 적용 가능성을 보여준다.
• 공유 랜덤니스를 사용하는 1방향 양자 모델에서 비용이 상수인 프로토콜은 일반화된 시뮬레이션 결과에 따라 동시 양자 모델에서 효율적으로 시뮬레이션될 수 있다.
• 논문은 엔트랑글먼트가 공유 랜덤니스보다 1라운드 통신에서 더 강력하다는 강력한 증거를 제공한다. 공유 랜덤니스로는 해결할 수 없지만, 엔트랑글먼트로는 해결 가능한 문제가 존재하며, 심지어 0오차 설정에서도 마찬가지로 해결할 수 없음을 보여준다.