Rupert L. Frank, Elliott H. Lieb·2013-06-23·via cs.IT updates on arXiv.org
We show that a recent definition of relative Rényi entropy is monotone under completely positive, trace preserving maps. This proves a recent conjecture of Müller-Lennert et al.