[논문 리뷰] On the condition of conversion of classical probability distribution families into quantum families

Keiji Matsumoto|arXiv (Cornell University)|2014. 12. 11.

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

한 줄 요약

이 논문은 고전적 확률 분포 가족을 완전히 양성이고 추적을 보존하는(CPTP) 사상에 의해 양자 밀도 연산자 가족으로 변환하는 데 필요한 필수 및 충분 조건을 수립한다. 이는 최대 양자 f-분산 $ D_f^{\max} $ 를 도입하여 그러한 변환에 필요한 최소 고전적 f-분산을 특성화하며, CPTP 사상의 존재에 있어 f의 연산자 볼록성의 필수성을 증명함으로써, 양자 통계적 구별 가능성과 고전적 정보 측도 사이의 연결 고리를 제공한다.

ABSTRACT

The purpose of the paper is to study the condition for a probability distribution family to a quantum state family. This is an (relatively) easy example of quantum version of "comparison of statistical experiments", which had turned out to supply deep insight into the foundation of classical and quantum statistics \cite{Strasser}\cite{Torgersen}. It turns out use of maximal quantum $f$-divergence is useful in characterizing the classical-quantum transformability.

연구 동기 및 목표

• 고전적 확률 분포 가족이 CPTP 사상에 의해 양자 밀도 연산자 가족으로 변환될 수 있는 필요 및 충분 조건을 규명하는 것.
• 주어진 양자 통계 모델을 시뮬레이션하기 위해 필요한 최소 고전적 f-분산을 특성화하고, f-분산의 양자 버전을 도입하는 것.
• 최대 f-분산 $ D_f^{\max} $ 를 통해 양자 통계적 구별 가능성과 고전적 정보 측도 사이의 연결 고리를 설정하는 것.
• CPTP 사상의 존재를 보장하기 위해 연산자 볼록성이 수행하는 역할을 명확히 하여 양자 정보 이론과 고전적 분산 이론 간의 연결 고리를 제공하는 것.

제안 방법

• 목표 양자 상태를 도출하는 데 필요한 모든 CPTP 사상과 입력 분포에 대해 고전적 f-분산의 하한으로서 최대 양자 f-분산 $ D_f^{\max}(\sigma_0||\sigma_1) $ 를 정의한다.
• Naimark 확장 정리를 사용하여 CPTP 사상을 등급과 프로젝터를 통해 표현함으로써, 최적화 문제를 연산자 대수의 관점에서 재구성한다.
• f가 연산자 볼록일 경우 $ D_f^{\max} $ 의 명시적 표현을 유도한다: $ \mathrm{tr}\,\sigma_1 f(\sigma_1^{-1/2} \tilde{\sigma}_0 \sigma_1^{-1/2}) + (1 - \mathrm{tr}\,\tilde{\sigma}_0) \lim_{\lambda\to\infty} f(\lambda)/\lambda $, 여기서 $ \tilde{\sigma}_0 $ 는 $ \sigma_0 $ 와 $ \sigma_1 $ 에 대한 슈어 보조행렬이다.
• CPTP 사상에 대해 f-분산의 단조성 성질을 적용하여, 유효한 모든 양자 f-분산이 $ D_f^{\max} $ 이하로 제한되어야 한다는 것을 보인다.
• 모든 등급에 대해 $ f(V^\dagger d' V) \leq V^\dagger f(d') V $ 를 만족시키기 위해 f가 연산자 볼록이어야 한다는 사실을 활용하여, CPTP 사상의 존재에 대한 필요 조건을 도출한다.
• 이진 매개변수 공간의 경우를 분석하고, 추가 제약 조건이 없으면서도 $ D_f^{\max} $ 에 기반한 조건이 CPTP 사상의 존재를 보장하지 못함을 보여주는 반례를 구성한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 고전적 확률 분포 가족이 CPTP 사상에 의해 양자 밀도 연산자 가족으로 변환될 수 있는가?
• RQ2 고전에서 양자로의 변환 맥락에서 최대 양자 f-분산 $ D_f^{\max} $ 는 고전적 f-분산과 어떻게 관련이 있는가?
• RQ3 f의 연산자 볼록성이 그러한 변환을 위한 CPTP 사상의 존재를 결정하는 데 어떤 역할을 하는가?
• RQ4 주어진 양자 모델을 시뮬레이션하기 위해 필요한 최소 고전적 f-분산을 명시적으로 특성화할 수 있는가?
• RQ5 $ D_f^{\max} $ 에 기반한 모든 연산자 볼록 f에 대한 조건은 CPTP 사상의 존재에 대해 충분한가?

주요 결과

• 모든 $ \theta \in \{0,1\} $ 에 대해 $ \Gamma(p_\theta) = \sigma_\theta $ 를 만족하는 CPTP 사상 $ \Gamma $ 가 존재하기 위한 필요 및 충분 조건은, $[0,\infty)$ 에서의 모든 연산자 볼록 함수 f에 대해 $ D_f^{\max}(\sigma_0||\sigma_1) \leq D_f(p_0||p_1) $ 를 만족하는 것이다.
• 최대 양자 f-분산 $ D_f^{\max}(\sigma_0||\sigma_1) $ 는 명시적으로 $ \mathrm{tr}\,\sigma_1 f(\sigma_1^{-1/2} \tilde{\sigma}_0 \sigma_1^{-1/2}) + (1 - \mathrm{tr}\,\tilde{\sigma}_0) \lim_{\lambda\to\infty} f(\lambda)/\lambda $ 로 주어지며, 여기서 $ \tilde{\sigma}_0 $ 는 $ \sigma_0 $ 와 $ \sigma_1 $ 에 대한 슈어 보조행렬이다.
• 모든 연산자 볼록 f에 대해 $ D_f^{\max} $ 를 기반으로 한 조건은 CPTP 사상의 존재를 보장하지 못한다. 이는 삼차 곡선과 대수적 볼록성 제약 조건을 포함하는 반례를 통해 입증된다.
• 모든 등급 V에 대해 $ f(V^\dagger d' V) \leq V^\dagger f(d') V $ 를 만족시키기 위해 f가 연산자 볼록이어야 하며, 이는 최소화가 $ D_f^{\max} $ 로 유한하게 제한되기 위해 필수적이다.
• RLD 피셔 정보와 양자 상대 엔트로피의 일종은 각각 주어진 양자 모델을 시뮬레이션하기 위해 필요한 최소 고전적 피셔 정보와 엔트로피로 운영적으로 특성화된다.
• 이 논문은 $ D_f^{\max} $ 가 가환 경우에서 고전적 f-분산과 일치하고 CPTP 사상에 대해 단조성을 만족하는 가장 작은 양자 f-분산임을 보여준다.