Equality cases in monotonicity of quasi-entropies, Lieb’s concavity and Ando’s convexity

Abstract

We revisit and improve joint concavity/convexity and monotonicity properties of quasi-entropies due to Petz in a new fashion. Then we characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways as follows: Let Φ:B(H)→B(K) be a trace-preserving map such that Φ* is a Schwarz map. When f is an operator monotone or operator convex function on [0, ∞), we present several equivalent conditions for the equality SfK(Φ(ρ)‖Φ(σ))=SfΦ*(K)(ρ‖σ) to hold for given positive operators ρ, σ on H and K∈B(K). The conditions include equality cases in the monotonicity versions of Lieb’s concavity and Ando’s convexity theorems. Specializing the map Φ we have equivalent conditions for equality cases in Lieb’s concavity and Ando’s convexity. Similar equality conditions are discussed also for monotone metrics and χ2-divergences. We further consider some types of linear preserver problems for those quantum information quantities.