Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
The authors resolve a longstanding problem in quantum information theory by formulating a log-Euclidean quantum Rényi conditional mutual information (QCMI) that simultaneously satisfies data-processing monotonicity, tensor additivity, parameter monotonicity, and convergence to the standard QCMI as $\alpha \to 1$. This formulation addresses the long-standing absence of a generalized quantum conditional independence measure that preserves core structural axioms alongside operational recovery guarantees. Leveraging this quantity, they establish improved Petz-recovery bounds on the standard QCMI and derive Rényi chain rules that are novel even in classical information theory.
Quantum conditional independence finally has a fully well-behaved Rényi generalization, delivering tighter Petz recovery bounds and uncovering chain rules that were missing even in classical information theory.
Quantum conditional mutual information (QCMI) is a fundamental measure of conditional independence, with central applications throughout quantum information theory and many-body physics. Despite its importance, finding a fully quantum Rényi generalization that satisfies all desirable structural properties has remained an open question. In this work, we introduce a quantum Rényi conditional mutual information possessing these desirable properties: it is monotone under local quantum channels, additive under tensor products, monotone in the Rényi parameter, and converges to the QCMI in the limit $α\to 1$. We establish bounds on this quantity in terms of relative entropies to the Petz-recovered state, showing that it provides a distinct measure of approximate conditional independence. As a consequence, we derive recovery-based upper and lower bounds on the QCMI in terms of quantum generalizations of the Kullback-Leibler divergence, improving upon the best known results in certain regimes. Finally, we establish bounds in terms of relative entropies to the sets of Markov and separable states and derive Rényi chain rules, which appear to be novel even in the classical setting.