[논문 리뷰] On approximation of quantum channels

M. E. Shirokov, A. S. Holevo|ArXiv.org|2007. 11. 14.

Quantum Information and Cryptography참고 문헌 18인용 수 14

한 줄 요약

이 논문은 추적 비증가 완전 양성 매핑(작용)을 사용하여 무한차원 양자 채널의 근사 프레임워크를 개발하며, Holevo 용량과 출력 엔트로피의 볼록 폐쇄와 같은 엔트로픽 특성들의 연속성 성질에 초점을 맞춘다. 강한 수렴 위상이 근사의 자연스러운 설정임을 입증하고, 근사 수열의 균일 수렴을 보이며, 무한차원 채널에 대한 강한 가역성 결과를 가능하게 한다.

ABSTRACT

We develop an approximation approach to infinite dimensional quantum channels based on detailed investigation of the continuity properties of entropic characteristics of quantum channels and operations (trace-nonincreasing completely positive maps) as functions of a pair ``channel, input state''. The obtained results are then applied to the following problems: continuity of the $χ$-capacity as function of a channel; strong additivity of the $χ$-capacity for infinite dimensional channels; the analytical expression for the convex closure of the output entropy of arbitrary quantum channel.

연구 동기 및 목표

• 무한차원 양자 채널에서 엔트로픽 특성의 불연속성과 유계성 문제를 다루기.
• 유한차원 결과의 고전적 용량에 대한 일반화를 근사 기반으로 무한차원 설정으로 확장하기.
• 양자 작용과 채널을 근사하기 위한 엄밀한 위상적 프레임워크—강한 수렴—을 수립하기.
• 출력 엔트로피의 볼록 폐쇄와 Holevo 용량에 대한 근사 수열의 균일 수렴을 증명하기.
• 유한차원 경우에서의 근사를 통해 무한차원 채널에 대한 Holevo 용량의 강한 가역성을 가능하게 하기.

제안 방법

• 양자 작용 위상에서 강한 수렴 위상을 도입하고, 일반화된 Choi-Jamiolkowski 이sovorphism를 통해 복합계의 상태 부분집합과 동형임을 보임.
• 채널과 입력 상태의 함수로서 출력 엔트로피의 볼록 폐쇄와 제약 조건이 있는 Holevo 용량(χ-함수)을 정의하고 분석함.
• 일반화된 Choi-Jamiolkowski 이sovorphism를 사용하여 작용 집합의 컴팩트성 기준을 유도함.
• 채널 $\Phi$ 에 대한 유한계수 근사 수열 $\Phi_n$ 을 구성하고, $\check{H}^n_\Phi(\rho)$ 를 상태 집합의 셋의 하한으로 정의함.
• Dini의 보조정리와 연속성 결과를 적용하여, 출력 엔트로피가 연속적인 컴팩트 집합에서 $\check{H}^n_\Phi$ 가 $\overline{\mathrm{co}}H_\Phi$ 로의 균일 수렴을 증명함.
• 근사 프레임워크를 활용하여 무한차원 채널에 대한 Holevo 용량의 강한 가역성을 증명하고, 얽힘의 형성도 유한계수 근사의 극한으로 표현함.

실험 결과

연구 질문

• RQ1 무한차원 양자 채널의 불연속 엔트로픽 특성을 의미 있게 어떻게 근사할 수 있는가?
• RQ2 어떤 위상적 구조가 연속적인 특성을 지닌 작용으로 양자 채널을 일관되게 근사할 수 있게 하는가?
• RQ3 근사 함수 수열 $\check{H}^n_\Phi$ 가 출력 엔트로피의 볼록 폐쇄로 균일 수렴하는 조건은 무엇인가?
• RQ4 유한차원 근사를 통해 무한차원 채널에 대한 Holevo 용량의 강한 가역성을 확립할 수 있는가?
• RQ5 얽힘의 형성은 근사 수열의 작용으로 어떻게 표현되는가?

주요 결과

• 강한 수렴 위상은 양자 작용과 채널을 근사하기 위한 자연스럽고 효과적인 프레임워크를 제공하며, 일반화된 Choi-Jamiolkowski 이sovorphism의 사용을 가능하게 한다.
• 출력 엔트로피가 연속적인 임의의 컴팩트 집합에서 근사 함수 수열 $\check{H}^n_\Phi$ 가 $\overline{\mathrm{co}}H_\Phi$ 로 균일 수렴한다.
• 가우시안 채널의 경우, 평균 에너지가 유계인 상태에서 $\check{H}^n_\Phi$ 가 $\overline{\mathrm{co}}H_\Phi$ 로 균일 수렴한다.
• 복합 상태 $\omega$ 의 얽힘의 형성 $E_F(\omega)$ 는 극한 $\lim_{n\to\infty}\check{H}^n_\Theta(\omega)$ 와 같으며, 이는 $\omega$ 가 클래스 $\widehat{P}(\mathfrak{S}(\mathcal{H}\otimes\mathcal{K}))$ 에 속함을 증명한다.
• 이 근사 프레임워크를 통해 유한차원 가역성 추측에서 유도된 무한차원 채널에 대한 Holevo 용량의 강한 가역성이 성립한다.
• 집합 $\mathfrak{T}_1(\mathcal{H})$ 의 부분집합에 대한 컴팩트성 기준이 수립되었으며, $\mathcal{A} \otimes \mathcal{B}$ 가 컴팩트임과 동시에 $\mathcal{A}$ 와 $\mathcal{B}$ 가 컴팩트임이 서로 동치임을 보였다.