[논문 리뷰] Reverse Test and Characterization of Quantum Relative Entropy

Keiji Matsumoto|arXiv (Cornell University)|2010. 10. 05.

Statistical Mechanics and Entropy참고 문헌 16인용 수 29

한 줄 요약

이 논문은 자원 변환 시나리오를 사용하여 양자 상대 엔트로피의 공리적 특성화를 제공하며, 가설 검정의 쌍대 개념으로서 역시험(reverse test)와 점점 더 큰 규모의 자원 변환을 모델링하는 점근적 역시험을 도입한다. 단조성과 정규화 조건 하에서, 양자 상대 엔트로피는 표준 상대 엔트로피 D(ρ||σ)와 RLD 상대 엔트로피 Dᴿ(ρ||σ) 사이에 유계이며, 점근적 영역에서는 D(ρ||σ)의 상수배로 유일하게 결정된다.

ABSTRACT

The aim of the present paper is to give axiomatic characterization of quantum relative entropy utilizing resource conversion scenario. We consider two sets of axioms: non-asymptotic and asymptotic. In the former setting, we prove that the upperbound and the lowerbund of $\mathrm{D}^{Q}(ρ||σ) $ is $\mathrm{D}^{R}(ρ||σ) :=\mathrm{tr}% \,ρ\ln\sqrtρσ^{-1}\sqrtρ$ and $\mathrm{D}(ρ||σ) :=$ $\mathrm{tr}\,ρ(\lnρ-\lnσ) $, respectively. In the latter setting, we prove uniqueness of quantum relative entropy, that is, $\mathrm{D}^{Q}(ρ||σ) $ should equal a constant multiple of $\mathrm{D}(ρ||σ) $. In the analysis, we define and use reverse test and asymptotic reverse test, which are natural inverse of hypothesis test.

연구 동기 및 목표

• 자원 변환 시나리오를 활용한 양자 상대 엔트로피의 공리적 기초를 제공한다.
• 역시험을 통한 운영적이고 정보이론적인 근거를 제시하여 양자 상대 엔트로피를 정당화한다.
• 약한 가환성과 하한 점근 연속성 조건 하에서 양자 상대 엔트로피의 점근적 행동을 특성화한다.
• 역시험 분석을 통해 RLD 피셔 정보의 운영적 의미를 명확히 한다.
• 점근적 공리 조건 하에서 양자 상대 엔트로피가 D(ρ||σ)의 상수배로 유일하게 결정됨을 증명한다.

제안 방법

• 가설 검정의 역으로서, 고전적 확률 쌍 (p,q) 를 양자 상태 쌍 (ρ,σ) 로 변환하는 CPTP 사상으로서의 역시험을 도입한다.
• 점근적 자원 변환을 모델링하기 위해, 고전적 n중 분포 (pⁿ,qⁿ) 를 양자 상태 (ρⁿ,σⁿ) 로의 근사적 변환으로서의 점근적 역시험을 정의한다.
• 역시험을 활용하여 하한을 유도한다: Dᴿ(ρ||σ) = tr[ρ ln(√ρ σ⁻¹ √ρ)] 는 (ρ,σ) 에 대한 모든 역시험에서의 D(p||q) 의 최소값이다.
• Hiai-Petz 정리를 적용하여, ρⁿ 과 σⁿ 을 지수적으로 작은 오차로 점차적으로 구분할 수 있는 사영 측정을 구성함으로써 점근적 분석을 가능하게 한다.
• 유일성 도출을 위해 단조성(M), 정규화(N), 약한 가환성(A), 하한 점근 연속성(C)의 공리를 도입한다.
• 가설 검정과 역시험 간의 이중성을 활용하여, (M), (A), (C) 를 만족하는 임의의 기능적은 반드시 D(ρ||σ) 의 상수배여야 한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 단조성과 고전적 정규화 조건을 만족하는 양자 상대 엔트로피 기능 D^Q(ρ||σ) 에 대한 최대한의 상한과 하한은 무엇인가?
• RQ2 자연스러운 자원이론적 공리들만을 사용하여 점근적 영역에서 양자 상대 엔트로피를 유일하게 특성화할 수 있는가?
• RQ3 양자 추정 이론에서 RLD 피셔 정보의 운영적 의미는 무엇인가?
• RQ4 점근적 역시험은 양자 상대 엔트로피와 가설 검정의 점근적 행동과 어떻게 관련이 있는가?
• RQ5 하한 점근 연속성 조건 (C) 는 상대 레니이 엔트로피와 같은 다른 발산을 포함하도록 약화시킬 수 있는가?

주요 결과

• 단조성(M)과 정규화(N) 조건 하에서, D^Q(ρ||σ) 는 D(ρ||σ) = tr[ρ(lnρ − lnσ)] 에서 하한으로서, Dᴿ(ρ||σ) = tr[ρ ln(√ρ σ⁻¹ √ρ)] 에서 상한으로서 유계이다.
• 약한 가환성(A) 조건을 추가하면, 하한은 D(ρ||σ) ≤ D^Q(ρ||σ) ≤ Dᴿ(ρ||σ) 로 강화되며, 이는 Dᴿ(ρ||σ) 가 최대한의 상한임을 보여준다.
• 조건 (M), (A), (C) 를 만족할 경우, D^Q(ρ||σ) 는 반드시 D(ρ||σ) 의 상수배여야 하며, 이는 점근적 설정에서 양자 상대 엔트로피의 유일성을 증명한다.
• RLD 상대 엔트로피 Dᴿ(ρ||σ) 는 볼록함수이며, 이는 역시험 분석을 통해 입증된다.
• 피드백 기반 발산 D^F(ρ||σ) = ln||√ρ√σ||₁ 는 하한 점근 연속성 조건 (C) 를 만족하지 못하므로, 양자 상대 엔트로피의 타당한 후보가 될 수 없다.
• 적절하게 정규화된 단조성 메트릭 g 에 대해, 수렴하는 시퀀스 ˜ρⁿ 에 대해 (1/n)D^g(˜ρⁿ||σⁿ) 의 하한은 D(ρ||σ) 와 일치하며, 이는 운영적 수렴이 표준 상대 엔트로피로 이루어짐을 보여준다.