[논문 리뷰] Monotonic multi-state quantum $f$-divergences

Keiichiro Furuya, Nima Lashkari외 1명|arXiv (Cornell University)|2021. 03. 17.

Quantum Information and Cryptography참고 문헌 54인용 수 4

한 줄 요약

이 논문은 토미타-타케사키 모듈라 이론과 쿠보-안도 행렬 평균을 이용하여 일반 von Neumann 대수에서 데이터 처리 부등식을 만족하는 광범위한 다중 상태 양자 f-발산의 클래스를 도입한다. 이 구성은 기존의 레니 발산과 f-발산, 특히 페츠 및 마츠모토의 측정치를 일반화하며, 비대칭 양자 상태 식별에서의 운영적 해석을 추측한다.

ABSTRACT

We use the Tomita-Takesaki modular theory and the Kubo-Ando operator mean to write down a large class of multi-state quantum $f$-divergences and prove that they satisfy the data processing inequality. For two states, this class includes the $(α,z)$-Rényi divergences, the $f$-divergences of Petz, and the measures in \cite{matsumoto2015new} as special cases. The method used is the interpolation theory of non-commutative $L^p_ω$ spaces and the result applies to general von Neumann algebras including the local algebra of quantum field theory. We conjecture that these multi-state Rényi divergences have operational interpretations in terms of the optimal error probabilities in asymmetric multi-state quantum state discrimination.

연구 동기 및 목표

• 다양한 양자 구분 측정치를 일반화하는 다중 상태 양자 f-발산의 일반적 프레임워크를 개발하는 것.
• 이 발산이 물리적으로 의미 있는 구분 측정치를 위해 필수적인 조건인 데이터 처리 부등식을 만족함을 증명하는 것.
• 페츠의 f-발산과 마츠모토의 측정치를 포함한 기존의 양자 레니 발산을 단일 연산자 이론적 프레임워크 안에서 통합하고 일반화하는 것.
• 이론을 일반 von Neumann 대수, 특히 양자장 이론의 국소 대수로 확장하는 것.
• 이 발산이 비대칭 다중 상태 양자 상태 식별 과제에서 운영적 의미를 가질 수 있음을 추측하는 것.

제안 방법

• von Neumann 대수에서 상태에 대한 비가환 Lp 공간과 모듈라 연산자를 정의하기 위해 토미타-타케사키 모듈라 이론을 사용한다.
• 연산자 볼록 함수와 가중치를 매개변수로 하는 다중 상태 f-발산의 가중치를 구성하기 위해 쿠보-안도 행렬 평균을 적용한다.
• 비가환 Lp 공간의 보간 이론을 활용하여 발산을 유도하고 양자 채널에 대한 단조성을 증명한다.
• 모듈라 연산자의 가중치 기하 평균을 통해 일차 파arameter 가중치 가중치의 발산 가중치를 구성함으로써 레니 유형의 발산을 일반화한다.
• 이러한 발산의 매개변수 ε → 0 근처에서의 극한을 이용하여 특수한 경우로 양자 상대 엔트로피를 복원한다.
• 리에즈-토린 보간 정리를 적용하여 비가환 Lp 공간에서 채널 사상의 유계성을 증명함으로써 데이터 처리의 단조성을 보장한다.

실험 결과

연구 질문

• RQ1 다양한 상태의 양자 f-발산을 일반화하는 통합 프레임워크를 구성할 수 있는가?
• RQ2 이 일반화된 발산이 임의의 양자 채널 하에서 데이터 처리 부등식을 만족하는가?
• RQ3 이 다중 상태 발산의 운영적 의미는 양자 정보 과제, 예를 들어 상태 식별에서 어떻게 해석될 수 있는가?
• RQ4 이러한 발산은 어떤 극한 경우에 상대 엔트로피나 로그-피델리티와 같은 알려진 양에 수렴하는가?
• RQ5 이 구성은 양자장 이론의 대수적 양자장 이론에서의 대수들 포함한 일반 von Neumann 대수로 확장될 수 있는가?

주요 결과

• 제안된 다중 상태 f-발산은 모든 양자 채널에서 데이터 처리 부등식을 만족하여 물리적 일관성을 보장한다.
• 이 클래스는 $(\alpha,z)$-레니 발산, 페츠의 f-발산, 마츠모토의 측정치를 특수한 경우로 포함한다.
• $\epsilon \to 0$ 근처에서의 극한에서, 발산은 $\sum_i \beta_i S(\psi_i \| \omega)$ 형태의 양자 상대 엔트로피의 볼록 조합으로 수렴한다.
• 이 구성은 일반 von Neumann 대수, 특히 양자장 이론의 국소 대수에 대해 유효하다.
• 이 방법은 비가환 $L^p_\omega$ 공간의 보간 이론과 모듈라 이론에 기반하여 수학적 엄밀성을 확보한다.
• 논문은 비가환 $L^p$ 공간에서 채널의 $(p\to q)$-노름이 1 이하로 유계임을 증명하였으며, 이는 데이터 처리 결과의 기초가 된다.