Measured f-Divergences in Quantum Info

• Measured f-divergences are a quantum generalization of classical f-divergences that capture maximal statistical distinguishability via measurement.
• They admit dual variational formulations and form part of a hierarchy with standard and maximal divergences, emphasizing their operational significance.
• Applications span quantum hypothesis testing, channel reversibility, and state estimation, underpinning data-processing inequalities and resource quantification.

A measured $f$-divergence is a quantum generalization of classical $f$-divergence, capturing the maximal classical statistical distinguishability obtainable between two quantum states via measurement. Given its critical role in quantum information theory, measured $f$-divergence constitutes a cornerstone in resource quantification, hypothesis testing, reversibility analysis of quantum operations, and the foundational study of data-processing inequalities.

1. Fundamental Definition and Dual Variational Formulations

Let $f : (0,\infty) \to \mathbb{R}$ be a convex function with $f(1)=0$. Given two density operators $\rho$ and $\sigma$ on a finite-dimensional Hilbert space $\mathcal{H}$, a measurement (POVM) $\mathcal{M} = \{ M_i \}_{i \in I}$ induces probability distributions $$P^\mathcal{M}_\rho(i) = \operatorname{Tr}[M_i \rho]$$ and $$P^\mathcal{M}_\sigma(i) = \operatorname{Tr}[M_i \sigma]$$. The measured quantum $f$-divergence is then

$$D_f^{\rm meas}(\rho\|\sigma) = \sup_{\mathcal{M}=\{M_i\}}\ S_f(P^\mathcal{M}_\rho\|P^\mathcal{M}_\sigma)$$

where $S_f(p\|q) = \sum_x q(x) f \big( p(x)/q(x) \big )$ denotes the classical $f$-divergence. Rank-one projective measurements are sufficient for the supremum, i.e.,

$$D_f^{\rm meas}(\rho\|\sigma) = \sup_{\mathrm{PVM}\ \{P_i\}} S_f\Big( \{ \operatorname{Tr}[P_i \rho] \} \Big\| \{ \operatorname{Tr}[P_i \sigma] \} \Big )$$

For operator-convex $f^*$, the conjugate of $f$, the supremum reduces to a tractable dual form over Hermitian operators: $$D_f^{\rm meas}(\rho\|\sigma) = \sup_{T = T^\dagger, \, \mathrm{spec}\,T \subset \mathrm{dom}\,f^* } \Big\{ \operatorname{Tr}(\rho T) - \operatorname{Tr}\big( \sigma f^*(T)\big) \Big\}$$ This parallels the classical Fenchel dual for $f$-divergences and is central to recent advances in quantum statistical estimation and recovery theory (Matsumoto, 2014, Fang et al., 11 Feb 2025).

2. Structural Properties and Hierarchies of Quantum $f$-Divergences

Measured $f$-divergence forms part of a hierarchy: $$D_f^{\rm meas}(\rho\|\sigma) \leq D_f(\rho\|\sigma) \leq D_f^{\max}(\rho\|\sigma)$$ where $D_f(\rho\|\sigma)$ is Petz's "standard" $f$-divergence and $D_f^{\max}$ is the maximal Petz-Ruskai extension. Equality $D_f^{\rm meas} = D_f$ holds if and only if $\rho$ and $\sigma$ commute or if $f$ is at most quadratic; otherwise, strict inequality is generic. These hierarchies distinguish operational tasks by the quantumness of accessible information (Hiai et al., 2016, Matsumoto, 2014).

Key attributes:

• Monotonicity: For any CPTP map $\Phi$, $$D_f^{\rm meas}(\Phi(\rho)\|\Phi(\sigma)) \leq D_f^{\rm meas}(\rho\|\sigma)$$.
• Convexity: Joint convexity in $(\rho,\sigma)$.
• Attainment: Under operator-convex $f^*$, the supremum is attained at a Hermitian operator $T_0$ solving a stationary point equation (Matsumoto, 2014).

3. Relations to Classical and Quantum Hypothesis Testing

For $f(t) = t\log t$ (relative entropy), the measured divergence coincides with the Umegaki quantum relative entropy, yielding

$S^{\rm meas}(\rho\|\sigma) = S(\rho\|\sigma)$

In the case of classical probability distributions or commuting quantum states, all quantum $f$-divergences reduce to their classical analogs.

For Rényi divergences $f_\alpha(t) = \frac{1}{\alpha-1} ( t^\alpha - 1 )$, several variants arise, including the measured (projective), sandwiched, and maximal versions, with precise relations quantifying their ordering and operational significance. Notably,

$$D_\alpha^{\rm meas}(\rho\|\sigma) = D_\alpha^{\rm pr}(\rho\|\sigma) < D_\alpha(\rho\|\sigma), \quad 0 < \alpha < 2,\ \rho\sigma\neq\sigma\rho$$

Measured Rényi divergences govern the error exponents in quantum hypothesis testing under measurement constraints (Hiai et al., 2016, Matsumoto, 2014).

4. Convex-Analytic, Variational, and Operational Characterizations

Recent results provide a general convex-optimization formulation for measured $f$-divergence, extending variational formulas for wide classes of $f$ (Fang et al., 11 Feb 2025): $$S_{\mathrm{Meas},f}(\rho\|\sigma) = \sup_{T = T^\dagger,\, \mathrm{spec}\,T\subset \mathrm{dom}\,f^*} \big\{ \operatorname{Tr}(\rho T) - \operatorname{Tr}(\sigma f^*(T)) \big\}$$ Under suitable operator-convexity, optimization over POVMs reduces to a single Hermitian parameter, allowing formulation as a convex program.

For measured Rényi divergences, setting $f_\alpha$, the variational form simplifies explicitly. For $\alpha = 1/2$, the measured divergence recovers the squared fidelity: $$D_{\mathrm{Meas},1/2}(\rho\|\sigma) = -2 \log F(\rho,\sigma)$$ which exactly aligns with Uhlmann's theorem. The framework extends this minimax property to general $f$ (with conditions on $f^*$), yielding Uhlmann-type theorems for measured divergences and connecting duals of divergence minimization to linearly constrained convex sets of states or measurements (Fang et al., 11 Feb 2025).

5. Additivity, Regularization, and Open Problems

The additivity of measured $f$-divergences generally fails:

$$D_f^{\rm meas}(\rho^{\otimes n}\|\sigma^{\otimes n}) \ne n D_f^{\rm meas}(\rho\|\sigma)$$

Regularized limits, $$\lim_{n\rightarrow\infty} n^{-1} D_f^{\rm meas}(\rho^{\otimes n}\|\sigma^{\otimes n})$$, are studied to remedy this for asymptotic analyses.

Open questions include:

• Characterizing all $f$ for which $D_f^{\rm meas} = D_f^{\rm pr}$ in full generality (settled only for Umegaki and Rényi cases).
• Sharpening necessary and sufficient conditions for supremum attainment in the dual formulation.
• Fully developing sharp upper and lower bounds on measured $f$-divergences under constraints, relevant for finite-copy or resource-constrained tasks (Matsumoto, 2014).

6. Applications in Quantum Information Theory

Measured $f$-divergences impact several domains:

• Quantum channel reversibility: $D_f^{\rm meas}$ is preserved by a CPTP map $\Phi$ if and only if $\Phi$ is reversible on the input pair $(\rho,\sigma)$, i.e., there exists a CPTP Recovery map $\Psi$ with $\Psi\circ\Phi(\rho)=\rho$, $\Psi\circ\Phi(\sigma)=\sigma$ (Hiai et al., 2016).
• Hypothesis testing: The trade-off between Type-I and Type-II error rates under restricted observables is characterized by the measured Rényi divergences.
• Quantum thermodynamics: Coarse-grained distinguishability and resource monotones can be modeled by measured $f$-divergences.
• Statistical estimation: Variational and dual representations of measured $f$-divergences enable their numerical and algorithmic implementation in quantum state or process tomography (Fang et al., 11 Feb 2025).

7. Example Table: Comparison of Classical and Measured $f$-Divergences

Divergence	Classical Probability	Quantum (Measured $f$-divergence)
Kullback-Leibler	$D_{KL}(p\|q)=\sum p(x)\log(p(x)/q(x))$	$$D_{KL}^{\rm meas}(\rho\|\sigma) = \sup_{\mathcal{M}}\sum_i \mathrm{Tr}[M_i \rho]\log( \frac{\mathrm{Tr}[M_i \rho]}{\mathrm{Tr}[M_i \sigma] } )$$
Rényi $(\alpha)$	$$\frac{1}{\alpha-1}\log\sum p(x)^\alpha q(x)^{1-\alpha}$$	$$D_\alpha^{\rm meas}(\rho\|\sigma) = \sup_{\mathcal{M}}\frac{1}{\alpha-1}\log\sum_i \mathrm{Tr}[M_i \rho]^\alpha \mathrm{Tr}[M_i \sigma]^{1-\alpha}$$
Trace distance	$\frac{1}{2}\sum |p(x)-q(x)|$	$D_{|1-t|}^{\rm meas} = \|\rho-\sigma\|_1$

This comparison highlights how measured $f$-divergence extends the operational meaning of classical divergences to the quantum regime, with supremization over all measurements delivering the maximal classical information extractable from quantum systems (Matsumoto, 2014, Hiai et al., 2016, Fang et al., 11 Feb 2025).

---

Measured $f$-divergences thus unify convex-analytic, variational, and operational perspectives on quantum statistical distances and provide a universal bridge between quantum and classical theories of statistical distinguishability. Their dual characterizations, monotonicity under quantum operations, and centrality in quantum reversibility and resource theory underscore their broad foundational and applied significance (Hiai et al., 2016, Matsumoto, 2014, Fang et al., 11 Feb 2025).