[논문 리뷰] The Decoupling Theorem

Frédéric Dupuis, Mario Berta외 2명|arXiv (Cornell University)|2011. 01. 01.

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

한 줄 요약

이 논문은 부드러운 엔트로피를 사용하여 양자 시스템에서 분리 조건을 날카롭게 규명하며, 시스템 A가 진화 과정에서 환경 E와의 모든 상관관계를 상실할 때를 나타낸다. 이 프레임워크는 한 번의 시행 설정에서 보편적으로 적용 가능하며, 근본적으로 최적에 가까운 한 번의 시행 상태 병합 프로토콜을 최소한의 얽힘 비용으로 가능하게 한다.

ABSTRACT

If a quantum system A, which is initially correlated to another system, E, undergoes an evolution separated from E, then the correlation to E generally decreases. Here, we study the conditions under which the correlation disappears (almost) completely, resulting in a decoupling of A from E. We give a criterion for decoupling in terms of two smooth entropies, one quantifying the amount of initial correlation between A and E, and the other characterizing the mapping that describes the evolution of A. The criterion applies to arbitrary such mappings in the general one-shot setting. Furthermore, the criterion is tight for mappings that satisfy certain natural conditions. Decoupling has a number of applications both in physics and information theory, e.g., as a building block for quantum information processing protocols. As an example, we give a one-shot state merging protocol and show that it is essentially optimal in terms of its entanglement consumption/production.

연구 동기 및 목표

• 양자 시스템 A가 진화 과정에서 환경 E와 완전히 분리되는 정확한 조건을 규명하는 것.
• 임의의 양자 매핑에 적용 가능한 일반적인 한 번의 시행 분리 조건을 수립하는 것.
• 진화 매핑에 자연스러운 물리적 조건이 만족될 경우 조건의 날카러움을 확립하는 것.
• 조건이 최적의 한 번의 시행 상태 병합 프로토콜을 설계하는 데 유용함을 보여주는 것.

제안 방법

• 논문은 두 종류의 부드러운 최소- 및 최대-엔트로피를 기반으로 한 분리 조건을 도입한다: 하나는 A와 E 사이의 初기 상관관계를 측정하고, 다른 하나는 진화 매핑을 특징짓는다.
• 기존 접근 방식에서 흔히 사용되는 점근적 근사치를 피하기 위해, 이 조건을 한 번의 시행 설정에 적용한다.
• 실제 상태와 분리된 상태 사이의 트레이스 거리에 상한을 두기 위해 부드러운 엔트로피 이론의 정보이론적 도구를 사용한다.
• 완전히 양성적이고 추적을 보존하는 매핑을 만족하는 경우 조건이 날카롭다는 것을 증명한다.
• 분리 조건을 활용하여 한 번의 시행 상태 병합 프로토콜을 구성할 수 있다.
• 유도된 조건을 사용하여 프로토콜의 얽힘 비용이 거의 최적이며, 이론적 하한선과 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 양자 시스템 A가 단일 진화 단계에서 환경 E와 완전히 분리되는 조건은 무엇인가?
• RQ2 한 번의 시행 영역에서 분리 조건은 부드러운 엔트로피로 어떻게 표현될 수 있는가?
• RQ3 물리적으로 현실적인 양자 매핑에 대해 제안된 분리 조건은 날카로운가?
• RQ4 분리 조건을 사용하여 최적의 한 번의 시행 상태 병합 프로토콜을 설계할 수 있는가?
• RQ5 이 프레임워크를 사용할 경우, 한 번의 시행 상태 병합에서 달성 가능한 최소한의 얽힘 비용은 얼마인가?

주요 결과

• 분리 조건은 부드러운 최소- 및 최대-엔트로피로 표현되며, 한 번의 시행 설정에서 완전한 분리를 위한 정확한 조건을 제공한다.
• 완전히 양성적이고 추적을 보존하는 매핑에 대해 조건은 날카롭며, 자연스러운 물리적 제약 조건 하에서의 최적성 보장한다.
• 이 프레임워크는 얽힘 비용이 거의 최적인 한 번의 시행 상태 병합 프로토콜을 가능하게 하며, 이론적 하한선과 일치한다.
• 점근적 가정이 필요 없이 임의의 양자 매핑에 대해 보편적으로 적용 가능하다.
• 부드러운 엔트로피의 사용은 초기 상관관계와 진화 역학을 양적으로 특징지울 수 있게 한다.
• 결과적으로 이는 한 번의 시행만 존재하는 상황에서 특히 중요한 양자 정보 프로토콜에 기초 도구를 제공한다.