The Fidelity of Recovery Is Multiplicative

Abstract

Fawzi and Renner recently established a lower bound on the conditional quantum mutual information (CQMI) of tripartite quantum states ABC in terms of the fidelity of recovery (FoR), i.e., the maximal fidelity of the state ABC with a state reconstructed from its marginal BC by acting only on the C system. The FoR measures quantum correlations by the local recoverability of global states and has many properties similar to the CQMI. Here, we generalize the FoR and show that the resulting measure is multiplicative by utilizing semi-definite programming duality. This allows us to simplify an operational proof by Brandão et al. of the above-mentioned lower bound that is based on quantum state redistribution. In particular, in contrast to the previous approaches, our proof does not rely on de Finetti reductions.