[논문 리뷰] Quantum conditional entropy for infinite-dimensional systems

А. А. Кузнецова|arXiv (Cornell University)|2010. 04. 26.

Quantum Information and Cryptography참고 문헌 7인용 수 10

한 줄 요약

이 논문은 상대 엔트로피와 순수화를 이용하여 무한차원 양자 시스템에 대한 양자 조건부 엔트로피의 엄밀한 정의를 수립하며, 단조성, 볼록성, 부분가역성과 같은 핵심 성질을 일반화한다. 주요 기여는 이러한 성질이 유한한 엔트로피 조건 하에서 성립함을 증명함으로써, 유한차원 양자정보이론을 연속가변수 시스템으로 확장하는 데 있다.

ABSTRACT

In this paper a general definition of quantum conditional entropy for infinite-dimensional systems is given based on recent work of Holevo and Shirokov arXiv:1004.2495 devoted to quantum mutual and coherent informations in the infinite-dimensional case. The properties of the conditional entropy such as monotonicity, concavity and subadditivity are also generalized to the infinite-dimensional case.

연구 동기 및 목표

• 유한차원에서의 양자 조건부 엔트로피 개념을 무한차원 양자 시스템으로 확장하기 위해.
• 특히 보식 가우시안 채널과 관련된 연속가변수 시스템에서 조건부 엔트로피에 대한 일반적 정의의 부재를 해결하기 위해.
• 조건부 엔트로피의 기본 성질인 단조성, 볼록성, 부분가역성을 무한차원 설정으로 일반화하기 위해.
• 적절한 수렴 조건 하에서 유한차원 양자정보이론의 알려진 결과와의 일관성을 확보하기 위해.
• 유계가 아닌 힐베르트 공간을 갖는 시스템에서 양자 채널과 상관관계를 분석하기 위한 기초를 제공하기 위해.

제안 방법

• 상대 엔트로피를 통한 조건부 엔트로피 정의: $ H(C|A) = H(\rho_C) - H(\rho_{AC} \| \rho_A \otimes \rho_C) $, 여기서 $ H(\cdot\|\cdot) $ 는 양자 상대 엔트로피이다.
• 상태의 순수화와 스틴스프링 확장(Stinespring dilation)을 이용하여 조건부 엔트로피를 협동 정보(coherent information)와 연결: $ I_c(\rho_{AB}, \mathrm{Tr}_B) = -H(C|A) $.
• 무한차원에서의 상대 엔트로피와 본 네만 엔트로피 이론을 적용하며, 하한 연속성과 지배 수렴 정리에 의존한다.
• 유한계수 프로젝터 $ P_n^A, P_k^B $ 를 사용하여 무한차원 상태를 근사하고 엔트로피 및 상대 엔트로피 항의 수렴을 증명한다.
• 근사 방법을 통해 성질을 증명: 유한차원 상태의 수열 $ \rho_{AB}^{nk} $ 이 원래 상태로 수렴하고, 주어진 조건 하에서 엔트로피 표현식이 수렴한다.
• 홀로보와 쇼로코프 [3] 의 협동 정보 및 상대 엔트로피 단조성에 관한 결과를 활용하여 핵심 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 무한차원 양자 시스템에서 양자 조건부 엔트로피를 어떻게 엄밀히 정의할 수 있는가?
• RQ2 조건부 엔트로피의 기본 성질인 단조성, 볼록성, 부분가역성이 무한차원 경우에도 성립하는가?
• RQ3 무한차원 근사의 극한에서 엔트로피 및 상대 엔트로피 표현식의 수렴을 보장하는 조건은 무엇인가?
• RQ4 조건부 엔트로피는 연속가변수 시스템에서 협동 정보 및 상호정보와 어떻게 관련이 있는가?
• RQ5 무한차원 시스템 상태 공간에서 조건부 엔트로피가 연속성이 보장되는 조건은 무엇인가?

주요 결과

• 상대 엔트로피와 순수화를 이용하여 무한차원 시스템에 대한 일반적 조건부 엔트로피 $ H(C|A) $ 의 정의가 수립된다.
• 조건부 엔트로피는 단조성을 만족한다: $ H(A|BC) \leq H(A|B) $, 부분 추적에 대한 상대 엔트로피의 단조성에 의해 증명된다.
• 함수 $ H(A|B) $ 는 상태 $ \rho_{AB} $ 에 대해 볼록하다. 이는 유한계수 프로젝터로 근사하고 수렴 정리들을 적용하여 증명된다.
• 부분가역성이 성립한다: $ H(AB|CD) \leq H(A|C) + H(B|D) $, 유한차원 부분가역성과 근사 하에서의 수렴을 통해 유도된다.
• 조건부 엔트로피는 근처의 극한에서 가장자리 엔트로피가 연속인 집합에서 연속적이다. 이는 순수화와 협동 정보의 수렴을 통해 보여진다.
• 유한한 엔트로피 조건 하에서 $ \rho_C $ 에 대해 항등식 $ H(C|A) + H(C|B) = 0 $ 이 성립하며, 이는 유한차원에서의 조건부 엔트로피의 대칭성 일반화이다.