[논문 리뷰] On complementary channels and the additivity problem

A. S. Holevo|ArXiv.org|2005. 09. 14.

Quantum Information and Cryptography참고 문헌 11인용 수 40

한 줄 요약

이 논문은 양자 채널과 그 보완 채널의 출력 순수성 특성—예를 들어 p-노름, 최소 출력 엔트로피, 볼록화된 엔트로피—가 동일하다는 것을 입증한다. 이 이중성은 만약 어떤 채널에 대해 가환성 또는 곱셈성 추측이 성립한다면, 그 보완 채널에도 동일하게 성립함을 시사하며, 이는 대각선 및 공변 채널을 포함한 더 넓은 채널 클래스에 대해 이러한 성질이 유효함을 의미한다.

ABSTRACT

We explore complementarity between output and environment of a quantum channel (or, more generally, CP map), making an observation that the output purity characteristics for complementary CP maps coincide. Hence, validity of the mutiplicativity/additivity conjecture for a class of CP maps implies its validity for complementary maps. The class of CP maps complementary to entanglement-breaking ones is described and is shown to contain diagonal CP maps as a proper subclass, resulting in new class of CP maps (channels) for which the multiplicativity/additivity holds. Covariant and Gaussian channels are discussed briefly in this context.

연구 동기 및 목표

• 출력 순수성 측정치 측면에서 양자 채널과 그 보완 채널 간의 이중성에 대해 연구한다.
• 어떤 채널에 대해 가환성 또는 곱셈성 추측이 성립한다면, 그 보완 채널에 대해서도 동일하게 성립하는지 확인한다.
• 특히 얽힘 파괴 맵의 보완인 채널 클래스—즉, 새로운 채널 클래스—에서 가환성이 성립하는지를 규명한다.
• 이러한 이중성이 공변 및 가우시안 채널에 대해 미치는 영향을 탐색한다.
• 스티누잉 스파이널 확장과 등급 동치를 통해 보완 채널의 유일성과 구조를 명확히 한다.

제안 방법

• 모든 CP 사상이 환경과 결합된 채널로 표현될 수 있도록 스틴스프링 확장 정리를 사용하며, 국소적 추적을 통해 보완 맵을 정의한다.
• 핵심 출력 순수성 측정치 정의: νₚ(Φ) = max‖Φ(ρ)‖ₚ, Ĥ(Φ)는 최소 출력 엔트로피, Ĥ̂(Φ)는 볼록화된 엔트로피.
• 모든 채널 Φ와 그 보완 Φ̃에 대해 νₚ(Φ) = νₚ(Φ̃), Ĥ(Φ) = Ĥ(Φ̃), Ĥ̂(Φ) = Ĥ̂(Φ̃)임을 증명한다.
• 이 이중성을 적용하여, Φ₁ ⊗ Φ₂에 대해 가환성 또는 곱셈성이 성립한다면, Φ̃₁ ⊗ Φ̃₂에도 동일하게 성립함을 보인다.
• 얽힘 파괴 맵의 보완이 되는 CP 맵의 클래스를 특성화하며, 이 클래스가 대각선 맵의 클래스를 엄밀히 포함함을 보여준다.
• 공변 및 가우시안 채널을 이 맥락에서 분석하며, 그 보완이 각각 공변 또는 가우시안임을 기록한다.

실험 결과

연구 질문

• RQ1 어떤 채널에 대해 출력 순수성 측정치의 가환성 또는 곱셈성이 성립한다면, 그 보완 채널에 대해서도 동일하게 성립하는가?
• RQ2 얽힘 파괴 채널의 보완이 되는 CP 맵의 집합의 구조는 어떠한가?
• RQ3 채널과 그 보완 간의 이중성은 알려진 가환성 결과를 새로운 채널 클래스로 확장하는 데 사용될 수 있는가?
• RQ4 p-노름과 엔트로피 측정치 측면에서 채널과 그 보완의 출력 순수성 특성은 어떻게 관련되어 있는가?
• RQ5 이러한 이중성은 공변 및 가우시안 양자 채널에 대해 어떤 영향을 미치는가?

주요 결과

• 출력 순수성 측정치 νₚ, Ĥ, 및 Ĥ̂는 채널과 그 보완 채널 간에 동일하다. 즉, νₚ(Φ) = νₚ(Φ̃), Ĥ(Φ) = Ĥ(Φ̃), Ĥ̂(Φ) = Ĥ̂(Φ̃)이다.
• 두 채널 쌍에 대해 νₚ 또는 엔트로피 측정치의 가환성 또는 곱셈성이 성립한다면, 그 보완 쌍에 대해서도 동일하게 성립한다.
• 얽힘 파괴 맵의 보완이 되는 CP 맵의 클래스는 대각선 CP 맵의 클래스보다 엄밀히 크다.
• 채널에 대해 χ-용량과 최소 출력 엔트로피의 가환성이 성립한다면, 그 보완에 대해서도 동일하게 성립한다.
• 공변 및 가우시안 채널의 보완 맵은 각각 공변 또는 가우시안이다.
• 이 이중성은 어떤 채널 클래스에 대해 가환성을 증명하면 그 보완 클래스에 대해서도 가환성이 성립함을 시사하며, 이는 알려진 결과의 적용 범위를 크게 확장한다.