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

要約

本論文は、量子状態の識別可能性度量が満たすべきデータ処理不等式、すなわち量子チャネルの作用下で増加してはならないという条件を研究する。著者らは、収縮係数と展開係数を研究することで情報損失または保存の比率を定量化し、これらを相対展開係数として統一する。論文は2つの重要な族に焦点を当てている：(i) 標準量子 $f$ -ダイバージェンスと(ii) それらの局所（二階）振る舞い。後者は $χ^2$ -ダイバージェンスに関連する単調リーマン半ノルムを誘導する。先行研究に基づいて、著者らは新しい $f$ 族を特定し、全体的（ $f$ -ダイバージェンス）および局所的（リーマン）相対展開係数がすべてのチャネル対に対して一致する条件を明らかにし、この厳密な一致の例外性を明確にする。等式に加えて、等価性フレームワークを導入し、厳密正性などの定性的性質を異なる相対展開係数に統一的に伝播させる。

研究背景と動機

問題背景

量子情報識別可能性: 量子情報理論において、2つの量子状態の差異を定量化する方法は極めて重要であり、これらは量子チャネルにおける情報伝送の正確性など、プロトコルの信頼性を検証するために使用される。
データ処理不等式: 合理的な識別可能性度量はすべてデータ処理不等式(DPI)を満たす必要があり、すなわち量子チャネルの作用下で増加してはならない。これにより、ノイズを含む量子チャネルに固有の情報損失との一貫性が保証される。
$f$ -ダイバージェンス族: 古典的および量子的 $f$ -ダイバージェンスは相対エントロピーに触発された良好な識別可能性度量の族であり、古典統計学で大きな成功を収めている。

研究動機

情報保存比率: 量子チャネルが識別可能性情報をどの程度保存するかを理解し、収縮係数と展開係数を通じて定量化する。
全体的および局所的振る舞いの関係: 標準 $f$ -ダイバージェンスとその局所二階振る舞い（リーマン半ノルム）との間の深い関連を探索する。
回復可能性応用: 展開係数の正性を利用して、量子情報近似回復可能性の界を確立する。

核心的貢献

否定的結果: 大規模な量子チャネルクラスに対して、すべての状態上に散度ベースの逆データ処理不等式が存在しないことを証明した（定理3.3）
等式条件の拡張: ダイバージェンスとリーマン相対展開係数がすべてのチャネル対に対して一致する2つの無限 $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\}$ である。