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

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

基本信息

论文ID: 2510.06183
标题: Quantum $f$ -divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients
作者: Shreyas Iyer, Peixue Wu, Paula Belzig, Graeme Smith (University of Waterloo)
分类: 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\}$ 。