[논문 리뷰] Renyi-entropic bounds on quantum communication

Wim van Dam, Patrick Hayden|ArXiv.org|2002. 04. 17.

Quantum Information and Cryptography참고 문헌 24인용 수 29

한 줄 요약

이 논문은 양자 얽힘 보조 하에 이분기 양자 상태 간의 변환에 대한 레니 엔트로피 기반 하한을 제시한다. 경계 밀도 행렬의 레니 엔트로피를 분석함으로써, 내적 함수 및 이동 평방 특성과 같은 문제에 대해 날카러운 하한을 도출하며, 무한한 EPR 쌍이 존재하더라도 거의 최적의 통신 요구량을 보여준다.

ABSTRACT

In this article we establish new bounds on the quantum communication complexity of distributed problems. Specifically, we consider the amount of communication that is required to transform a bipartite state into another, typically more entangled, state. We obtain lower bounds in this setting by studying the Renyi entropy of the marginal density matrices of the distributed system. The communication bounds on quantum state transformations also imply lower bounds for the model of communication complexity where the task consists of the the distributed evaluation of a function f(x,y). Our approach encapsulates several known lower bound methods that use the log-rank or the von Neumann entropy of the density matrices involved. The technique is also effective for proving lower bounds on problems involving a promise or for which the "hard" distributions of inputs are correlated. As examples, we show how to prove a nearly tight bound on the bounded-error quantum communication complexity of the inner product function in the presence of unlimited amounts of EPR-type entanglement and a similarly strong bound on the complexity of the shifted quadratic character problem.

연구 동기 및 목표

• 이분기 양자 상태 간의 상태 변환에 대한 새로운 양자 통신 복잡도 하한을 확립하기 위해.
• 로그랭크 및 바르누이 엔트로피 기반 기존 하한 기법을 일반화하고 정교화하기 위해.
• 이전 방법이 어려운 상관된 입력 분포와 약속 제약 조건을 가진 문제를 다루기 위해.
• 내적 및 평방 특성과 같은 분산 함수에 대한 양자 프로토콜의 통신 비용을 분석하기 위해, 특히 무한한 EPR 얽힘을 고려하여.
• 레니 엔트로피가 유계 오차 양자 통신 환경에서 거의 날카로운 하한을 증명하는 데 효과적인 도구임을 보여주기 위해.

제안 방법

• 이분기 양자 상태의 축소 밀도 행렬의 레니 엔트로피를 주요 분석 도구로 사용한다.
• 상태 변환의 통신 비용을 초기 상태 및 목표 상태의 레니 엔트로피와 연결하는 정리 4.6을 적용한다.
• 스미스 분해를 활용하여 얽힘을 특성화하고 경계 밀도 행렬의 스펙트럼을 유도한다.
• 상태 변환에서의 근사 오차를 측정하기 위해 피드백 기반 거리 측도(울만 피드백)를 사용한다.
• 특정 문제에 대해 스펙트럼이 알려진 초기 상태 및 목표 상태를 구성함으로써 이 방법을 적용한다. 예를 들어, 입력 쌍 위의 균일한 초위상 상태.
• 이동 성질을 활용하여 최종 상태의 스펙트럼 성질을 계산하고 엔트로피 하한을 도출한다.

실험 결과

연구 질문

• RQ1 초기 이분기 상태를 더 높은 엔트로피를 가진 목표 상태로 변환하기 위해 필요한 최소한의 양자 통신은 얼마인가?
• RQ2 레니 엔트로피는 바르누이 엔트로피나 로그랭크 방법을 넘어서 양자 통신 복잡도 하한을 유도하는 데 어떻게 활용될 수 있는가?
• RQ3 레니 엔트로피 기법은 비균일하거나 상관된 입력 분포를 가진 문제, 예를 들어 약속 문제를 효과적으로 다룰 수 있는가?
• RQ4 무한한 EPR 쌍이 존재할 때 내적 함수의 유계 오차 양자 통신 복잡도는 얼마인가?
• RQ5 EPR 보조 프로토콜 하에서 이동 평방 특성 함수를 계산하는 데 드는 통신 비용은 얼마인가?

주요 결과

• EPR 얽힘 하에서 내적 함수에 대해, 유계 오차 통신 복잡도는 $ n + 2/log(1 - 2\epsilon) $ 이하로 하한이 설정되어 거의 최적임을 보여준다.
• 체 $ \mathbb{F}_q $ 위의 평방 특성 함수에 대해, 통신 복잡도는 $ \log(q-1) - 2 + 2\log(1 - \epsilon) \leq Q^{(*)}_{\epsilon}(g) \leq \lceil \log q \rceil $ 를 만족하며, 거의 날카로운 하한을 제공한다.
• 레니 엔트로피 기법은 로그랭크 및 바르누이 엔트로피 기반 기존 기법을 일반화하고 향상시킨다.
• 이 방법은 상관된 입력 분포를 가진 약속 문제를 효과적으로 다룰 수 있으며, 평방 특성 예시를 통해 이를 입증하였다.
• 경계 상태 $ \psi_A $ 의 레니 엔트로피는 $ \log(q-1) $ 이며, $ \varphi_A $ 의 레니 엔트로피는 2 미만으로 제한되어 있어 강력한 하한을 도출할 수 있다.
• 하한 $ \bar{Q}^{(*)}_{\epsilon}(\psi_{AB}|\varphi_{AB}) \geq \log(q-1) - 2 + 2\log(1 - \epsilon) $ 는 $ (\alpha, \beta) = (1/2, \infty) $ 레니 엔트로피를 사용하여 유도되었다.