[논문 리뷰] Optimal Direct Sum and Privacy Trade-off Results for Quantum and Classical Communication Complexity

Rahul Jain, Pranab Kumar Sen외 1명|ArXiv.org|2008. 07. 08.

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

한 줄 요약

이 논문은 일방향 얽힘 보조 양자 및 공개 코인 고전적 통신 복잡도에 대해 최적의 직접 합 정리들을 수립하며, 관계의 $ m $ 개 복제본을 해결하는 데는 하나의 복제본을 해결하는 데 필요한 통신의 $ \Omega(m) $ 배가 필요하다는 것을 보여준다. 메시지 압축과 양자 라운드 제거 기법을 사용하여 비밀성 상호작용 결과를 증명하고 고전적 하한을 양자 환경으로 확장하며, 동시에 Newman의 고전적 공개 코인 축소 기법이 양자 프로토콜로 일반화될 수 없다는 것을 보여준다.

ABSTRACT

We show optimal Direct Sum result for the one-way entanglement-assisted quantum communication complexity for any relation f subset of X x Y x Z. We show: Q^{1,pub}(f^m) = Omega(m Q^{1,pub}(f)), where Q^{1,pub}(f), represents the one-way entanglement-assisted quantum communication complexity of f with error at most 1/3 and f^m represents m-copies of f. Similarly for the one-way public-coin classical communication complexity we show: R^{1,pub}(f^m) = Omega(m R^{1,pub}(f)), where R^{1,pub}(f), represents the one-way public-coin classical communication complexity of f with error at most 1/3. We show similar optimal Direct Sum results for the Simultaneous Message Passing quantum and classical models. For two-way protocols we present optimal Privacy Trade-off results leading to a Weak Direct Sum result for such protocols. We show our Direct Sum and Privacy Trade-off results via message compression arguments which also imply a new round elimination lemma in quantum communication. This allows us to extend classical lower bounds on the cell probe complexity of some data structure problems, e.g. Approximate Nearest Neighbor Searching on the Hamming cube {0,1}^n and Predecessor Search to the quantum setting. In a separate result we show that Newman's technique of reducing the number of public-coins in a classical protocol cannot be lifted to the quantum setting. We do this by defining a general notion of black-box reduction of prior entanglement that subsumes Newman's technique. We prove that such a black-box reduction is impossible for quantum protocols. In the final result in the theme of message compression, we provide an upper bound on the problem of Exact Remote State Preparation.

연구 동기 및 목표

• 일방향 얽힘 보조 양자 및 공개 코인 고전적 통신 복잡도에 대해 최적의 직접 합 정리들을 수립하기.
• 양자 및 고전적 양방향 프로토콜에 대한 비밀성 상호작용 결과를 증명하여 약한 직접 합 결과를 이끌어내기.
• 양자 라운드 제거 기법을 사용하여 데이터 구조 문제(예: ANN, Predecessor Search)에 대한 고전적 하한을 양자 환경으로 확장하기.
• Newman의 고전적 공개 코인 축소 기법이 양자 환경으로 일반화될 수 있는지 여부를 밝히기.
• 메시지 압축 기법을 활용하여 Exact Remote State Preparation (ERSP) 문제에 대한 새로운 상계를 제공하기.

제안 방법

• 메시지 압축 논증을 사용하여 양자 및 고전적 통신 모델에서 직접 합 및 비밀성 상호작용 결과를 도출하기.
• 고전적 하한을 양자 프로토콜로 이전할 수 있도록 하는 새로운 라운드 제거 보조정리를 양자 통신에 적용하기.
• 하위상태 정리와 순수화 기법을 사용하여 양자 상태 준비 및 원거리 상태 준비를 분석하기.
• Jozsa-Uhlmann 보조정리를 활용하여 순수화에 대한 국소 유니터리 변환을 적용해 상태 전달 프로토콜을 구성하기.
• 접두사-무효 인코딩을 사용한 거부 샘플링 유사 프로토콜을 도입하여 기대 통신 비용을 제한하기.
• 트레이스 거리와 상대 엔트로피 $ S(\rho_{x}||\sigma) $ 를 사용하여 상태 준비에서 충실도 및 통신 상호작용을 분석하기.

실험 결과

연구 질문

• RQ1 일방향 얽힘 보조 양자 통신 복잡도에 대해 최적의 직접 합 정리들을 증명할 수 있는가?
• RQ2 일방향 공개 코인 고전적 통신 복잡도에 대해서도 유사한 직접 합 결과를 확립할 수 있는가?
• RQ3 양방향 프로토콜에서의 비밀성 상호작용 결과는 양자 및 고전적 환경에서 약한 직접 합 결과를 이끌어낼 수 있는가?
• RQ4 셀 프로브 복잡도에 대한 고전적 하한(예: ANN, Predecessor Search)을 양자 프로토콜로 확장할 수 있는가?
• RQ5 Newman의 고전적 공개 코인 축소 기법은 고전적 프로토콜에 대해 일반화 가능한가?

주요 결과

• 일방향 얽힘 보조 양자 통신 복잡도는 $ \mathsf{Q}^{1,\sf{pub}}(f^{\oplus m}) = \Omega(m \cdot \mathsf{Q}^{1,\sf{pub}}(f)) $ 를 만족하며, 이는 최적의 직접 합 결과를 증명한다.
• 일방향 공개 코인 고전적 통신 복잡도는 $ \mathsf{R}^{1,\sf{pub}}(f^{\oplus m}) = \Omega(m \cdot \mathsf{R}^{1,\sf{pub}}(f)) $ 를 만족하며, 이는 최적의 직접 합 결과를 확립한다.
• 동시 메시지 전달(Simultaneous Message Passing, SMP) 모델에서는 양자 및 고전적 프로토콜 모두에 대해 유사한 최적의 직접 합 정리들이 성립한다.
• 비밀성 상호작용 분석을 통해 두 방향의 양자 및 고전적 프로토콜에 대해 약한 직접 합 결과를 도출하였다.
• 논문은 Newman의 고전적 공개 코인 축소 기법이 양자 프로토콜로 일반화될 수 없음을 증명하였으며, 이는 사전 얽힘을 상수 요인 이내로만 줄일 수 있기 때문이다.
• 순수화와 접두사-무효 인코딩을 기반으로 한 프로토콜을 사용하여 Exact Remote State Preparation (ERSP) 문제에 대한 상계를 확립하였으며, 통신 비용은 $ \log(\mathsf{Tr}(\sigma^{-1}\rho_x)) + 2\log\log(\mathsf{Tr}(\sigma^{-1}\rho_x)) $ 로 제한된다.