[논문 리뷰] Quantum Information Complexity and Amortized Communication

Dave Touchette|arXiv (Cornell University)|2014. 04. 14.

Quantum Computing Algorithms and Architecture참고 문헌 36인용 수 14

한 줄 요약

이 논문은 이분기계 양자 채널에 대한 양자 정보 복잡도의 새로운 운영 정의를 도입하며, 이는 양자 상태 재분배 작업에 기반한다. 이 복잡도가 주어진 상태에서 채널의 할부 양자 통신 복잡도와 정확히 일치함을 입증하며, 고전적 결과를 일반화하고 슈마허 소스 압축 정리의 양자 대응을 제공한다.

ABSTRACT

We define a new notion of information cost for quantum protocols, and a corresponding notion of quantum information complexity for bipartite quantum channels, and then investigate the properties of such quantities. These are the fully quantum generalizations of the analogous quantities for bipartite classical functions that have found many applications recently, in particular for proving communication complexity lower bounds. Our definition is strongly tied to the quantum state redistribution task. Previous attempts have been made to define such a quantity for quantum protocols, with particular applications in mind; our notion differs from these in many respects. First, it directly provides a lower bound on the quantum communication cost, independent of the number of rounds of the underlying protocol. Secondly, we provide an operational interpretation for quantum information complexity: we show that it is exactly equal to the amortized quantum communication complexity of a bipartite channel on a given state. This generalizes a result of Braverman and Rao to quantum protocols, and even strengthens the classical result in a bounded round scenario. Also, this provides an analogue of the Schumacher source compression theorem for interactive quantum protocols, and answers a question raised by Braverman. We also discuss some potential applications to quantum communication complexity lower bounds by specializing our definition for classical functions and inputs. Building on work of Jain, Radhakrishnan and Sen, we provide new evidence suggesting that the bounded round quantum communication complexity of the disjointness function is Ω(n/M + M), for M-message protocols. This would match the best known upper bound.

연구 동기 및 목표

• 양자 프로토콜과 채널에 적용 가능한 완전한 양자 일반화된 고전적 정보 복잡도를 정의하기 위해.
• 이분기계 채널에 대한 양자 정보 복잡도를 할부 양자 통신 비용으로서의 운영적 의미를 제공하기 위해.
• 양자 정보 비용에 대한 열린 질문을 해결하기 위해 통신 복잡도 하한과의 직접적 연결을 수립하기 위해.
• 브라버먼과 레오의 고전적 결과를 양자 환경으로 일반화하여, 고정된 라운드 수 시나리오를 포함하기 위해.
• 상호작용 프로토콜에 대한 슈마허 소스 압축 정리의 양자 대응을 제공하기 위해.

제안 방법

• 논문은 양자 상태 재분배 프로토콜을 기본 구성 요소로 삼아 양자 정보 복잡도를 정의한다.
• 플레이어와 심판의 양자 레지스터를 구분하고 체인 법칙 및 마르코프 조건을 적용하여, 양자 프로토콜에 대한 새로운 외부 정보 비용을 도입한다.
• 반복적인 상태 재분배의 응용을 통해 양자 프로토콜에서의 점근적 통신 비율을 모델링한다.
• 앨리스, 보브, 그리고 심판 사이에 공유된 삼분기 얽힌 상태를 사용하여 외부 관찰자와의 통신을 모델링한다.
• 양자 상관관계와 복제 금지 정리의 영향을 고려하여 고전적 정보 비용 정의를 일반화한다.
• 상호정보량, 조건부 엔트로피 등 양자 정보 이론의 기법을 적용하여, 라운드 수에 의존하지 않는 통신 비용 하한을 정의한다.

실험 결과

연구 질문

• RQ1 양자 통신 비용의 하한을 라운드 수에 관계없이 제공하는 완전한 양자 일반화된 고전적 정보 복잡도를 정의할 수 있는가?
• RQ2 이분기계 채널에 대한 양자 정보 복잡도는 할부 양자 통신 비용으로서의 운영적 의미를 가질 수 있는가?
• RQ3 제한된 라운드 프로토콜에서 이산성 함수에 대한 양자 정보 복잡도가 알려진 상한과 일치하는가?
• RQ4 양자 정보 비용을 사용하여 양자 통신 복잡도에서 새로운 하한을 유도할 수 있는가?
• RQ5 사전 공유 얽힘과 양자 통신의 존재가 정보 비용의 정의와 운영적 의미에 어떻게 영향을 미치는가?

주요 결과

• 제안된 양자 정보 복잡도는 주어진 입력 상태에서 이분기계 채널의 할부 양자 통신 복잡도와 정확히 일치한다.
• 이 결과는 브라버먼과 레오의 고전적 결과를 양자 영역으로 일반화하며, 고정된 라운드 시나리오에서 이를 강화한다.
• 정의는 상호작용 프로토콜에 대한 슈마허 소스 압축 정리의 양자 대응을 제공한다.
• 논문은 이산성 함수의 제한된 라운드 양자 통신 복잡도가 Ω(n/M + M)임을 새롭게 규명하며, 기존 최고의 상한과 일치함을 보여준다.
• 양자 정보 비용은 이전 정의와 달리 라운드 수에 영향을 받지 않으며, M·C 비례로 증가하지 않는다.
• 반복적인 상태 재분배를 통한 운영적 의미가 도출되어, 점근적 영역에서 정보 비용과 구현 가능한 통신 비율 사이의 직접적 연결이 확립된다.