[논문 리뷰] Beyond i.i.d. in Quantum Information Theory

Garry Bowen, Nilanjana Datta|ArXiv.org|2006. 04. 04.

Statistical Mechanics and Entropy참고 문헌 5인용 수 7

한 줄 요약

이 논문은 비i.i.d. 양자 시스템을 위한 상대 엔트로피의 일반화로 양자 스펙트럼 산란률을 도입하며, 스펙트럼 엔트로피와 상호정보량률에 대한 부분합성, 체인 규칙, 아라키-라이브 부등식 등의 기본 성질을 수립한다. 주요 기여는 i.i.d. 가정을 초월한 양자 정보률 분석을 위한 엄밀한 프레임워크를 제공함으로써, 일반적인 상태 시퀀스 하에서 양자 통신 및 압축 프로토콜의 점근적 분석을 가능하게 한다.

ABSTRACT

The information spectrum approach gives general formulae for optimal rates of codes in many areas of information theory. In this paper the quantum spectral divergence rates are defined and properties of the rates are derived. The entropic rates, conditional entropic rates, and spectral mutual information rates are then defined in terms of the spectral divergence rates. Properties including subadditivity, chain rules, Araki-Lieb inequalities, and monotonicity are then explored.

연구 동기 및 목표

• 클래식 정보 스펙트럼 방법을 i.i.d. 가정을 초월한 양자 시스템으로 확장하기 위해.
• 상대 엔트로피의 일반화로 양자 스펙트럼 산란률을 정의하고 분석하기 위해.
• 스펙트럼 엔트로피와 상호정보량률에 대한 기본 성질—부분합성, 체인 규칙, 단조성 등—을 양자 환경에서 도출하기 위해.
• 스펙트럼 영역에서 아라키-라이브 및 강한 부분합성과 같은 클래식 정보 부등식의 양자 대응을 수립하기 위해.
• 일반적인 비i.i.i.d. 상황에서 양자 용량, 데이터 압축, 그리고 얽힘 농축의 분석을 통합하는 프레임워크를 제공하기 위해.

제안 방법

• 양자 상태 시퀀스와 기준 연산자 간의 차이 연산자의 스펙트럼 프로젝션을 사용하여 양자 스펙트럼 최대 및 최소 산란률을 정의한다.
• 양성 연산자와 CPTP 사상에 대한 추적 부등식을 활용하여 산란률에 대한 경계를 유도한다.
• 형태 $\{\rho_n - e^{n\gamma}\omega_n \geq 0\}$의 스펙트럼 프로젝션에 대한 추적 함수계의 극한을 통해 스펙트럼 산란률을 수립한다.
• 최대 혼합 기준 상태에 대한 항등식 $\overline{S}(A) = \overline{D}(\rho^A \| \psi^A)$를 사용하여 스펙트럼 엔트로피율을 유도한다.
• 스펙트럼 상호정보량률을 $\overline{S}(A:B) = \overline{D}(\rho^{AB} \| \rho^A \otimes \rho^B)$ 및 $\underline{S}(A:B) = \underline{D}(\rho^{AB} \| \rho^A \otimes \rho^B)$로 정의한다.
• 스펙트럼 프로젝션 부등식과 CPTP 사상의 불변성을 사용하여 주요 성질을 증명하며, 단조성 및 체인 규칙 관계를 포함한다.

실험 결과

연구 질문

• RQ1 스펙트럼 방법을 사용하여 상대 엔트로피 개념을 비i.i.d. 양자 상태 시퀀스로 일반화할 수 있는가?
• RQ2 양자 시스템에서 스펙트럼 엔트로피와 상호정보량률의 기본 성질—부분합성, 체인 규칙, 단조성 등—은 무엇인가?
• RQ3 아라키-라이브 및 강한 부분합성과 같은 클래식 정보 부등식의 양자 대응은 스펙트럼 산란 프레임워크에서 성립하는가?
• RQ4 CPTP 작용과 시스템 축소에 대해 스펙트럼 상호정보량률은 어떻게 행동하는가?
• RQ5 스펙트럼 접근법은 i.i.i.d. 한계를 초월한 양자 통신 및 압축 프로토콜의 분석을 통합할 수 있는가?

주요 결과

• 스펙트럼 산란률 $\overline{D}(\rho\|\omega)$ 및 $\underline{D}(\rho\|\omega)$는 양자 상태 및 연산자 시퀀스에 대해 잘 정의되며, $\overline{D}(\rho\|\omega) \geq \underline{D}(\rho\|\omega)$를 만족한다.
• 스펙트럼 엔트로피율은 부분합성을 만족한다: $\overline{S}(AB) \leq \overline{S}(A) + \overline{S}(B)$ 및 $\underline{S}(AB) \geq \underline{S}(A) + \underline{S}(B)$.
• 스펙트럼 영역에서 아라키-라이브 부등식이 성립한다: $\overline{S}(AB) \geq |\overline{S}(A) - \overline{S}(B)|$ 및 $\underline{S}(AB) \geq \max\{\underline{S}(A) - \overline{S}(B), \underline{S}(B) - \overline{S}(A)\}$.
• 스펙트럼 상호정보량률은 비음수이다: $\overline{S}(A:B) \geq \underline{S}(A:B) \geq 0$, 그리고 어느 한 쪽 시스템에 대한 CPTP 작용에 대해 감소한다.
• 체인 규칙 부등식이 성립한다: $\overline{S}(A:B) \leq \overline{S}(A) - \underline{S}(A|B)$ 및 $\underline{S}(A:B) \geq \underline{S}(A) - \overline{S}(A|B)$이며, 고전적 상태에 대해서는 더 날카운 경계를 가진다.
• 고전적 이변량 소스의 경우 조건부 스펙트럼 엔트로피율은 비음수이다: $\underline{S}(A|B) \geq 0$, 그리고 스펙트럼 엔트로피율은 $\overline{S}(AB) \geq \max\{\overline{S}(A), \overline{S}(B)\}$를 만족한다.