Note on a Family of Monotone Quantum Relative Entropies
Given a convex function φ and two hermitian matrices A and B, Lewin and Sabin study in [M. Lewin, J. Sabin, {\it A Family of Monotone Quantum Relative Entropies}, Lett. Math. Phys. \textbf{104} (2014), 691-705.] the relative entropy defined by H(A,B)=Tr[φ(A)−φ(B)−φ′(B)(A−B)]. Amongst other things, they prove that the so-defined quantity is monotone if and only if φ′ is operator monotone. The monotonicity is then used to properly define H(A,B) for self-adjoint bounded operators acting on an infinite-dimensional Hilbert space by a limiting procedure. More precisely, for an increasing sequence of finite-dimensional projections {Pn}n=1∞ with Pn→1 strongly, the limit limn→∞H(PnAPn,PnBPn) is shown to exist and to be independent of the sequence of projections {Pn}n=1∞. The question whether this sequence converges to its "obvious" limit, namely Tr[φ(A)−φ(B)−φ′(B)(A−B)], has been left open. We answer this question in principle affirmatively and show that limn→∞H(PnAPn,PnBPn)=Tr[φ(A)−φ(B)−dαdφ(αA+(1−α)B)∣α=0]. If the operators A and B are regular enough, that is (A−B), φ(A)−φ(B) and φ′(B)(A−B) are trace-class, the identity Tr[φ(A)−φ(B)−dαdφ(αA+(1−α)B)∣α=0]=Tr[φ(A)−φ(B)−φ′(B)(A−B)] holds.