Shannon type inequalities of a relative operator entropy including Tsallis and Rényi ones (Q2516303)

Assume that \(\mathcal{H}\) is a Hilbert space and \(A, B\) are strictly positive operators on \(\mathcal H\). The relative operator entropy is defined by \[ S(A|B)=A^{\frac{1}{2}}\log\left(A^{-\frac{1}{2}}BA^{-\frac{1}{2}}\right)A^{\frac{1}{2}}\,, \] and Furuta considered its generalization \[ S_t(A|B)=A^{\frac{1}{2}}\left(A^{-\frac{1}{2}}BA^{-\frac{1}{2}}\right)^t\log\left(A^{-\frac{1}{2}}BA^{-\frac{1}{2}}\right)A^{\frac{1}{2}}\,, \] for \(t\in\mathbb R\). The Tsallis relative operator entropy is defined by \[ T_t(A|B)=\frac{1}{t}\left[A^{\frac{1}{2}}\left(A^{-\frac{1}{2}}BA^{-\frac{1}{2}}\right)^tA^{\frac{1}{2}}-A\right]=\frac{1}{t}\left(A \natural_t B-A\right),\quad t\neq 0, \] and \[ T_0(A|B)=\lim_{t\to 0}T_t(A|B)=S(A|B)\,, \] where \(A \natural_t B=A^{\frac{1}{2}}\left(A^{-\frac{1}{2}}BA^{-\frac{1}{2}}\right)^tA^{\frac{1}{2}}\). We say that an operator sequence \(\mathbb A=(A_1,\dots,A_n)\) is an operator distribution if \(A_i>0\) \((i=1,\dots,n)\) and \(\sum_{i=1}^n A_i=I\). In the paper under review, the authors define for \(t, s\in\mathbb R\setminus\{0\}\) \[ K_{t,s}(\mathbb A|\mathbb B):=\frac{\left(\sum_{i=1}^nA_i\natural_t B_i\right)^s-I}{ts}\,, \] where \(\mathbb A=(A_1,\dots,A_n)\) and \(\mathbb B=(B_1,\dots,B_n)\) are operator distributions. Also, under the above assumptions, they define \[ K_{t,0}(\mathbb A|\mathbb B):=\lim_{s\to 0}K_{t,s}(\mathbb A|\mathbb B) \] and \[ K_{0,s}(\mathbb A|\mathbb B):=\lim_{t\to 0}K_{t,s}(\mathbb A|\mathbb B). \] The authors investigate many fundamental properties of \(K_{t,s}(\mathbb A|\mathbb B)\), for example, monotonicity and the relation between relative operator entropy and the Tsallis relative operator entropy. Also, the authors obtain Shannon type operator inequalities by using \(K_{t,s}(\mathbb A|\mathbb B)\).