2025-11-21T05:34:15.491003

Quantum $f$-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients

Iyer, Wu, Belzig et al.

Any reasonable measure of distinguishability of quantum states must satisfy a data processing inequality, that is, it must not increase under the action of a quantum channel. We can ask about the proportion of information lost or preserved and this leads us to study contraction and expansion coefficients respectively, which can be combined into a single \emph{relative expansion coefficient}. We focus on two prominent families: (i) standard quantum $f$ divergences and (ii) their local (second-order) behaviour, which induces a monotone Riemannian semi-norm (that is linked to the $Ï^2$ divergence). Building on prior work, we identify new families of $f$ for which the global ($f$ divergence) and local (Riemannian) relative expansion coefficients coincide for every pair of channels, and we clarify how exceptional such exact coincidences are. Beyond equality, we introduce an \emph{equivalence} framework that transfers qualitative properties such as strict positivity uniformly across different relative expansion coefficients. Leveraging the link between equality in the data processing inequality (DPI) and channel reversibility, we apply our framework of relative expansion coefficients to approximate recoverability of quantum information. Using our relative expansion results for primitive channels, we prove a reverse quantum Markov convergence theorem, converting positive expansion coefficients into quantitative lower bounds on the convergence rate.

academic

양자 $f$ -발산과 그 국소적 행동: 상대 전개 계수를 통한 분석

기본 정보

논문 ID: 2510.06183
제목: Quantum $f$ -divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients
저자: Shreyas Iyer, Peixue Wu, Paula Belzig, Graeme Smith (워털루 대학교)
분류: quant-ph cs.IT math-ph math.fa math.IT math.MP
발표 시간: 2025년 10월 14일 (arXiv v2)
논문 링크: https://arxiv.org/abs/2510.06183v2

초록

본 논문은 양자 상태 구별 가능성 측도가 만족해야 하는 데이터 처리 부등식을 연구하며, 이는 양자 채널 작용 하에서 증가하지 않아야 한다. 저자들은 수축 계수와 전개 계수를 연구하여 정보 손실 또는 보존의 비율을 정량화하고, 이를 상대 전개 계수로 통합한다. 논문은 두 가지 중요한 족에 초점을 맞춘다: (i) 표준 양자 $f$ -발산 및 (ii) 그들의 국소적(이차) 행동으로, 후자는 $χ^2$ -발산과 관련된 단조 리만 반노름을 유도한다. 선행 연구를 바탕으로, 저자들은 전역적(f-발산) 및 국소적(리만) 상대 전개 계수가 모든 채널 쌍에 대해 일치하는 새로운 $f$ 족을 식별하고, 이러한 정확한 일치의 예외성을 명확히 한다. 등식 외에도, 동치성 프레임워크를 도입하여 엄격한 양성 등의 정성적 성질을 서로 다른 상대 전개 계수로 통합적으로 전달한다.

연구 배경 및 동기

문제 배경

양자 정보 구별 가능성: 양자 정보 이론에서 두 양자 상태의 차이를 정량화하는 방법은 매우 중요하며, 이는 양자 채널에서의 정보 전송 정확성과 같은 프로토콜 신뢰성을 검증하는 데 사용된다.
데이터 처리 부등식: 모든 합리적인 구별 가능성 측도는 데이터 처리 부등식(DPI)을 만족해야 하며, 즉 양자 채널 작용 하에서 증가하지 않아야 하고, 이는 노이즈 양자 채널에 내재된 정보 손실과의 일관성을 보장한다.
$f$ -발산 족: 고전 및 양자 $f$ -발산은 상대 엔트로피에 영감을 받은 좋은 구별 가능성 측도 족이며, 고전 통계에서 이미 큰 성공을 거두었다.

연구 동기

정보 보존 비율: 양자 채널이 얼마나 많은 구별 가능성 정보를 보존하는지 이해하고, 수축 및 전개 계수를 통해 정량화한다.
전역적 및 국소적 행동 관계: 표준 $f$ -발산과 그 국소적 이차 행동(리만 반노름) 간의 심층적 연결을 탐구한다.
회복 가능성 응용: 전개 계수의 양성을 활용하여 양자 정보 근사 회복 가능성의 한계를 수립한다.

핵심 기여

부정적 결과: 광범위한 양자 채널 클래스에 대해 모든 상태에서 발산 기반 역 데이터 처리 부등식이 없음을 증명 (정리 3.3)
등식 조건 확장: 산포도와 리만 상대 전개 계수가 모든 채널 쌍에 대해 일치하는 두 개의 무한 $f$ 족을 식별 (정리 4.2)
동치성 프레임워크: 상대 전개 계수 간의 동치성 개념을 도입하여 정성적 성질의 전달을 허용 (정리 5.2)
유계 및 무계 경우 분리: 유계 및 무계 리만 계수가 임의로 많은 수량 차이를 보일 수 있음을 증명 (정리 5.5)
응용 확장:
- 근사 회복 가능성과의 연결 수립 (따름정리 6.2, 6.4)
- 역 양자 마르코프 수렴 정리 증명 (따름정리 6.9)
- 원시 양자 채널에 대한 양의 전개 계수의 명시적 예 제공

방법 상세 설명

작업 정의

상대 전개 계수 연구: $qη_f(N,M) := \inf_{\rho≠γ∈D(H_A)} \frac{D_f(N(ρ)∥N(γ))}{D_f(M(ρ)∥M(γ))}$

여기서 $N,M$ 은 양자 채널이고 $D_f$ 는 양자 $f$ -발산이다.

핵심 개념

1. 표준 $f$ -발산

연산자 볼록 함수 $f ∈ F$ 에 대해: $D_f^{std}(ρ∥γ) := ⟨γ^{1/2}, f(Δ_{ρ,γ})(γ^{1/2})⟩_{HS}$ 여기서 $Δ_{ρ,γ} := L_ρR_γ^{-1}$ 은 상대 모듈 연산자이다.

2. 리만 반노름

$∥X∥²_{κ,ρ} := ⟨X, R_ρ^{-1}κ(Δ_{ρ,ρ})(X)⟩_{HS}$

3. 국소-전역 관계

표준 $f$ -발산의 이차 국소 행동은 관련 리만 반노름에 의해 결정된다: $\frac{d²}{dε²}\bigg|_{ε=0} D_f^{std}(ρ∥γ_ε) = f''(1)∥X∥²_{κ_f,ρ}$

기술적 혁신점

1. 적분 표현 방법

연산자 볼록 함수의 적분 표현 활용: $f(x) = f'(1)(x-1) + c(x-1)² + ∫_{[0,∞)} \frac{(x-1)²}{x+s}dμ(s)$

2. 동치성 상속

정리 5.2: $af(x) ≤ g(x) ≤ bf(x)$ 이고 $qη_f^{std} ∼_{γ,δ} qη_{κ_f}^{Riem}$ 이면: $qη_g^{std} ∼_{α,β} qη_{κ_g}^{Riem}$ 여기서 $α = \frac{a²γ}{b²}, β = \min\{\frac{b²δ}{a²}, 1\}$ 이다.