A family of monotone quantum relative entropies (Q2014735)

In this paper, it is introduced and discussed a relative entropy \[ \mathcal{H}_{\varphi} (A,B)=\operatorname{Tr}(\varphi (A)- \varphi (B)- \varphi ' (B)(A-B)) \] for \(\varphi \in C^0 ([0,1],\mathbb{R})\cap C^1 ((0,1),\mathbb{R})\). The important results of the paper are: (1) (Monotonicity). The entropy \(\mathcal{H}_{\varphi} (A,B)\) is monotone, that is, for any linear maps \(X:\mathfrak{H}_1 \rightarrow \mathfrak{H}_2\) such that \(X^*X \leqslant 1\) and any \(0 \leqslant A,B \leqslant 1\) on \(\mathfrak{H}_1\), it follows \[ \mathcal{H}_{\varphi} (A,B) \geqslant \mathcal{H}_{\varphi} (XAX^*,XBX^*). \] (2) (Approximation). If \(X_k:\mathfrak{H}_1 \rightarrow \mathfrak{H}_k\) is a sequence such that \(X^*_k X_k \leqslant 1\), \(X^*_k X_k \rightarrow 1\) strongly in \(\mathfrak{H}_1\), then \[ \mathcal{H}_{\varphi} (A,B)=\lim_{k\rightarrow\infty} \mathcal{H}_{\varphi} (X_k AX^*_k,X_k BX^*_k). \] (3) (Weak lower semi-continuity). If \(0 \leqslant A_n ,B_n \leqslant 1\), \(A_n,B_n \in \mathcal{B}(\mathfrak{H})\), \(A_n \rightharpoonup A\), \(B_n \rightharpoonup B\) weakly-\(\ast\) in \(\mathcal{B}(\mathfrak{H})\), then \[ \mathcal{H}_{\varphi} (A,B)\leqslant \liminf_{n\rightarrow\infty} \mathcal{H}_{\varphi} (A_n ,B_n ). \]