[논문 리뷰] Quantum Reverse Shannon Theorem

Charles H. Bennett, Igor Devetak외 3명|arXiv (Cornell University)|2009. 12. 30.

Quantum Computing Algorithms and Architecture참고 문헌 85인용 수 93

한 줄 요약

이 논문은 양자 역역 Shannon 정리(QRST)를 수립하여, 노이즈가 없는 채널과 양자 얽힘 또는 고전적 피드백과 같은 보조 자원을 사용해 양자 채널을 효율적으로 시뮬레이션할 수 있음을 증명한다. 일반적인 양자 소스에 대해 자원의 상호교환 관계를 완전히 특성화하며, 특히 상관관계가 있거나 얽힌 입력이 존재할 경우 양자 얽힘을 이용한 상태 또는 피드백이 필요하다는 것을 보여주고, 공명 피드백 시뮬레이션에 대해 단일 문장 표현을 유도하며, 양자 채널 용량에 대해 강력한 역설을 증명한다.

ABSTRACT

Dual to the usual noisy channel coding problem, where a noisy (classical or quantum) channel is used to simulate a noiseless one, reverse Shannon theorems concern the use of noiseless channels to simulate noisy ones, and more generally the use of one noisy channel to simulate another. For channels of nonzero capacity, this simulation is always possible, but for it to be efficient, auxiliary resources of the proper kind and amount are generally required. In the classical case, shared randomness between sender and receiver is a sufficient auxiliary resource, regardless of the nature of the source, but in the quantum case the requisite auxiliary resources for efficient simulation depend on both the channel being simulated, and the source from which the channel inputs are coming. For tensor power sources (the quantum generalization of classical IID sources), entanglement in the form of standard ebits (maximally entangled pairs of qubits) is sufficient, but for general sources, which may be arbitrarily correlated or entangled across channel inputs, additional resources, such as entanglement-embezzling states or backward communication, are generally needed. Combining existing and new results, we establish the amounts of communication and auxiliary resources needed in both the classical and quantum cases, the tradeoffs among them, and the loss of simulation efficiency when auxiliary resources are absent or insufficient. In particular we find a new single-letter expression for the excess forward communication cost of coherent feedback simulations of quantum channels (i.e. simulations in which the sender retains what would escape into the environment in an ordinary simulation), on non-tensor-power sources in the presence of unlimited ebits but no other auxiliary resource. Our results on tensor power sources establish a strong converse to the entanglement-assisted capacity theorem.

연구 동기 및 목표

• 양자 채널을 효율적으로 시뮬레이션하기 위해 필요한 자원을 완전히 특성화하는 것, 특히 상관관계가 있거나 얽힌 입력이 존재할 경우에 중점을 두고.
• 노이즈 있는 채널 부호화와 역방향 시뮬레이션 간의 이중성 문제를 해결하기 위해 고전적 역정리들을 양자 영역으로 확장하는 것.
• 효율적인 시뮬레이션을 위해 필요한 최소한의 보조 자원 — 예를 들어, 양자 얽힘, 피드백, 또는 양자 얽힘 흠집 상태 — 를 특정 입력 유형에 따라 식별하는 것.
• 양자 채널 시뮬레이션에서의 강력한 역설을 증명하여, 용량을 초과할 경우 성공 확률이 지수적으로 감소한다는 것을 보여주는 것.
• 핵심 개념인 양자 얽힘 분포와 환경 분할을 도입함으로써 기존 프로토콜들을 통합하고 일반화하는 것.

제안 방법

• 수신자에게 양자 정보를 공명적으로 전송하기 위해 상태 분할(상태 병합의 반대)을 핵심 원리로 사용한다.
• 비최대 얽힘 상태의 정도와 그 영향을 측정하기 위해 '양자 얽힘 분포' 개념을 도입하며, 특히 초위상 프로토콜에서의 시뮬레이션 효율성에 영향을 미친다.
• 더 큰 힐베르트 공간 원리(Church of the Larger Hilbert Space)를 적용하여 환경을 송신자와 수신자 간에 나누어, 채널의 노이즈를 노이즈 없는 방식으로 시뮬레이션할 수 있도록 한다.
• Schur 이중성과 Schur 기저에서의 공동 일반성 투영을 사용하여 기억이 없는 양자 채널을 분석하고, 일반적인 경우를 평면 스펙트럼 상황으로 단순화한다.
• 정보이론적 경계와 프로토콜 설계를 조합하여 전방 통신, 양자 얽힘, 피드백 간의 상호교환 관계 곡선을 도출한다.
• 송신자가 환경 시스템을 유지하는 공명 피드백 모델을 사용하여, 양자 얽힘 분포와 채널 특성에 따라 전방 통신 비용에 대한 새로운 단일 문장 표현을 유도한다.

실험 결과

연구 질문

• RQ1 임의의 (i.i.d.가 아닌) 입력에 대해 양자 채널을 시뮬레이션하기 위해 필요한 최소한의 보조 자원 — 예를 들어, 양자 얽힘, 고전적 피드백, 또는 양자 얽힘 흠집 상태 — 는 무엇인가?
• RQ2 전방 통신, 양자 얽힘, 피드백 간의 상호교환 관계가 양자 채널 시뮬레이션의 효율성에 미치는 영향은 무엇이며, 이러한 상호교환 관계에 대한 날카로운 경계는 무엇인가?
• RQ3 양자 채널 시뮬레이션에서 강력한 역설을 증명할 수 있는가? 그리고 이는 용량을 초과할 경우 성공 확률이 지수적으로 감소한다는 것을 의미하는가?
• RQ4 양자 얽힘 분포는 공명 피드백 시뮬레이션의 비용을 결정하는 데 어떤 역할을 하는가? 그리고 기존의 ebit 기반 시뮬레이션 프레임워크를 어떻게 일반화하는가?
• RQ5 고전적 역정리들을 양자 영역으로 확장할 수 있는 정도는 어느 정도이며, 양자 얽힘과 공명성으로 인해 발생하는 근본적인 차이는 무엇인가?

주요 결과

• 텐서 거듭제곱(i.i.d.) 입력에 대해 양자 채널을 시뮬레이션할 경우, 공유된 양자 얽힘(ebits)이 필요하고 충분하며, 양자 얽힘 기반 용량은 강력한 역설을 만족한다.
• 입력 간 상관관계나 얽힘이 있는 일반적인 소스에 대해서는 표준 ebits만으로는 부족하며, 양자 얽힘 흠집 상태 또는 고전적 피드백과 같은 추가 자원이 필요하다.
• 무한한 수의 ebits가 가능하지만 다른 자원은 없을 경우, 비텐서 거듭제곱 소스에 대해 공명 피드백 시뮬레이션의 전방 통신 비용에 대한 새로운 단일 문장 표현을 도출하였다.
• 논문은 양자 채널 시뮬레이션에서 전방 통신에 대해 강력한 역설을 증명하여, 용량을 초과하는 모든 비율이 점점 더 작은 허용도로 수렴한다는 것을 보여준다.
• 고전적 채널의 시뮬레이션은 공유된 난수만으로도 충분하며, 이는 입력 소스의 구조와 관계없이 필수적이고 충분하다.
• 통신, 얽힘, 피드백 간의 상호교환 관계를 정량화하였으며, 자원이 부족할 경우 발생하는 효율성 손실은 양자 얽힘 분포와 상호정보량에 대한 경계로 특성화되었다.