Abstract A quantum channel is sufficient with respect to a set of input states if it can be reversed on this set. In the approximate version, the input states can be recovered within an error bounded by the decrease of the relative entropy under the channel. Using a new integral representation of the relative entropy in Frenkel (Integral formula for quantum relative entropy implies data processing inequality, Quantum 7, 1102 (2023)), we present an easy proof of a characterization of sufficient quantum channels and recoverability by preservation of optimal success probabilities in hypothesis testing problems, equivalently, by preservation of
L1 L 1 -distance.
We consider the reversibility problem for quantum operations (stochastic maps) in connection with the preservation of various quantum divergences, including two different versions of quantum
f-divergences, sandwiched R\'enyi divergences, and
α-
z-R\'enyi relative entropies.
Quantum relative entropies play a fundamental role in quantum information theory. In the classical setting, Rényi relative entropies constitute, up to linear combinations, the most general class of relative entropies, naturally motivating the search for their minimal and maximal quantum extensions. The minimal extension is known to be the reverse sandwiched Rényi relative entropy for
α∈[0,1/2) and the sandwiched Rényi relative entropy for
α≥1/2. In contrast, the maximal extension had previously been identified only for
α∈[0,2], where it is given by the geometric Rényi relative entropy. In this work, we complete this characterization by proving that for
α>2, the maximal extension is given by the
α-
z Rényi relative entropy with
z=α−1. As an application, we determine when an energy-incoherent state can be transformed into an energy-coherent state by a Gibbs-preserving operation assisted by an uncorrelated catalyst, thereby fully characterizing the coherence-generating power of this class of operations in the catalytic setting.