[논문 리뷰] Resource theories of quantum channels and the universal role of resource erasure

Zi-Wen Liu, Andreas Winter|arXiv (Cornell University)|2019. 04. 08.

Quantum Mechanics and Applications인용 수 40

한 줄 요약

논문은 양자 채널의 자원 이론에 대한 일반 프레임워크를 개발하여 자유 채널, 자유 자원을 통한 채널 변환, 그리고 단조량을 정의합니다. 로버스트니스 기반의 측정치를 도입하고 자원성 제거 동안의 열 방출로서의 log-robustness에 대한 작동적 해석을 제시합니다.

ABSTRACT

We initiate the systematic study of resource theories of quantum channels, i.e. of the dynamics that quantum systems undergo by completely positive maps, in abstracto: Resources are in principle all maps from one quantum system to another, but some maps are deemed free. The free maps are supposed to satisfy certain axioms, among them closure under tensor products, under composition and freeness of the identity map (the latter two say that the free maps form a monoid). The free maps act on the resources simply by tensor product and composition. This generalizes the much-studied resource theories of quantum states, and abolishes the distinction between resources (states) and the free maps, which act on the former, leaving only maps, divided into resource-full and resource-free ones. We discuss the axiomatic framework of quantifying channel resources, and show two general methods of constructing resource monotones of channels. Furthermore, we show that under mild regularity conditions, each resource theory of quantum channels has a distinguished monotone, the robustness (and its smoothed version), generalizing the analogous concept in resource theories of states. We give an operational interpretation of the log-robustness as the amount of heat dissipation (randomness) required for resource erasure by random reversible free maps, valid in broad classes of resource theories of quantum channels. Technically, this is based on an abstract version of the recent convex-split lemma, extended from its original domain of quantum states to ordered vector spaces with sufficiently well-behaved base norms (which includes the case of quantum channels with diamond norm or variants thereof). Finally, we remark on several key issues concerning the asymptotic theory.

연구 동기 및 목표

• 양자 채널에 대한 자원 이론을 정적 상태가 아닌 동적 객체로서 동기를 부여하고 형식화한다.
• 자유 채널 집합에 대한 공리들을 정의하고 자유 자원과 초대칭을 통한 채널 변환 프레임워크를 개발한다.
• 채널에 대한 단조량을 확립하고 로버스트니스가 제거에서 작동적 의미를 가지는 구별된 척도로서의 역할을 식별한다.
• 이상적인, 공리적 접근을 제공하여 알려진 채널 자원 이론들(샤논 이론, 열역학, 응집, 얽힘 등)을 통합한다.
• 다양한 설정에서의 점근적 고려와 이론에서 기본 규범(base norms)과 볼록-스플릿 기법의 역할을 논의한다.

제안 방법

• 합성에 대해 닫혀 있고 텐서 곱에 대해 닫힌 자유 채널 F(A→B) 클래스를 정의하며, 위상적 닫힘을 가지며 항등채널을 포함한다.
• 자원 채널 변환을 표현하기 위해 슈퍼맵(양자 슈퍼채널)을 사용하고 이러한 변환이 자유 채널을 완전한 의미에서 자유 채널로 매핑하도록 요구한다(Theta ⊗ id_R).
• 자원 N 주위에서 자유 인코딩 E와 디코딩 D를 사용하여 정확한, 점근적 또는 ε-근사 구현을 통해 채널 시뮬레이션을 특징지은다, 즉 N′ = D ∘ (N ⊗ id_C) ∘ E.
• 자원 변환이 자유 채널들로부터 양자 회로/컴프 프레임워크를 사용하여 구성되는 채널 회로 관점 채택.
• 두 가지 일반적인 채널 단조량(채널 간의 최대 상대 엔트로피와 채널의 log-robustness)과 이들의 스무딩 버전을 도입하고 해석을 제시한다.
• 자원 제거를 위한 추상적 컨벡스-스플릿 기반의 에레이저 프로토콜을 개발하여 log-robustness의 작동적 의미를 자원 제거 중의 열 방출(무작위성)을 통한 해석으로 제시한다.

실험 결과

연구 질문

• RQ1 일반 자원 이론 프레임워크에서 양자 채널에 대한 자유 자원과 허용 가능한 변환을 어떻게 형식화할 수 있는가?
• RQ2 양자 채널의 표준적인 단조량은 무엇이며, 로버스트니스 개념을 상태에서 채널로 확장할 수 있는가?
• RQ3 자유 자원을 사용하여 정확한 및 ε-근사 구현을 포함한 채널 시뮬레이션을 어떻게 특징짓고 실현할 수 있는가?
• RQ4 자원 제거 및 관련 열역학 유사 양을 통해 채널의 log-robustness에 어떤 작동적 해석을 부여할 수 있는가?
• RQ5 다양한 설정에서 점근적 규칙이 채널 자원 이론의 구조와 가역성에 어떤 영향을 미치는가?

주요 결과

• 양자 채널 자원 이론에 대한 일반 공리적 프레임워크가 확립되었으며, 자유 자원은 합성 및 텐서 곱에 대해 닫히고 항등을 포함한다.
• 채널 변환은 자유 자원을 둘러싼 인코딩, 채널 사용 및 디코딩으로 분해되는 슈퍼맵을 통해 모델링되며, 합성에서 자유로움이 유지되도록 보장한다.
• 채널 간 최대 상대 엔트로피와 채널의 log-robustness라는 두 가지 보편적 단조량이 확인되며, 이들의 스무딩 버전도 포함한다.
• log-robustness에 대한 작동적 해석이 주어지는데, 추상적 컨벡스-스플릿 보조정리에 의해 자유 매핑을 사용한 자원 제거에 필요한 열 방출(무작위성)을 계량한다.
• 저자들은 잘 정의된 기본 규범을 가진 순서가 있는 벡터 공간으로 컨벡스-스플릿 기법을 확장하여 넓은 채널 자원 이론에서의 에레이저 기반 해석을 가능하게 한다.
• 점근 이론과 다양한 채널 자원 이론에서의 가역성에 대한 시사점에 대한 예비 논의가 포함된다.