Related papers: Operator extension of strong subadditivity of entr…
Tsallis relative operator entropy was defined as a parametric extension of relative operator entropy and the generalized Shannon inequalities were shown in the previous paper. After the review of some fundamental properties of Tsallis…
Some new trace inequalities for operators in Hilbert spaces are provided. The superadditivity and monotonicity of some associated functionals are investigated and applications for power series of such operators are given. Some trace…
A mathematical interpretation of the usual definition of entropy (for a discrete probability distribution or a trace 1 positive operator) is given. This formulation makes some properties of entropy immediate.
Let f be a function defined on positive numbers. The subject is the trace inequality $Tr f(A) + Tr f(P_2AP_2) \le Tr f(P_{12}AP_{12}) + \Tr f(P_{23}AP_{23})$, where $A$ is a positive operator, $P_1,P_2,P_3$ are orthogonal projections such…
A general method for proving continuity of the von Neumann entropy on subsets of positive trace-class operators is considered. This makes it possible to re-derive the known conditions for continuity of the entropy in more general forms and…
We extend Hardy's inequality from sequences of non-negative numbers to sequences of positive semi-definite operators if the parameter p satisfies 1<p<=2, and to operators under a trace for arbitrary p>1. Applications to trace functions are…
Let $S(\rho)$ be the von Neumann entropy of a density matrix $\rho$. Weak monotonicity asserts that $S(\rho_{AB}) - S(\rho_A) + S(\rho_{BC}) - S(\rho_C)\geq 0$ for any tripartite density matrix $\rho_{ABC}$, a fact that is equivalent to the…
We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $\rho_{AB} \otimes \sigma_{C}^{-1} \leq \rho_{A} \otimes \sigma_{BC}^{-1}$ by identifying the mathematical structure behind it as Connes'…
We consider the following trace function on n-tuples of positive operators: \Phi_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a…
In this paper we investigate a notion of relative operator entropy, which develops the theory started by J.I. Fujii and E. Kamei [Math. Japonica 34 (1989), 341--348]. For two finite sequences $\mathbf{A}=(A_1,...,A_n)$ and…
In this paper, we obtain the subadditivity inequality of strongly operator convex functions on $(0, \infty)$ and $(-\infty,0)$. Applying the properties of operator convex functions, we deduce the subadditivity property of operator monotone…
Tsallis relative operator entropy is defined as a parametric extension of the relative operator entropy. Some properties of the Tsallis relative operator entropy are investigated. Also some operator inequalities related to the Tsallis…
We discuss how countable subadditivity of operators can be derived from subadditivity under mild forms of continuity, and provide examples manifesting such circumstances.
We establish a reverse inequality for Tsallis relative operator entropy involving a positive linear map. In addition, we present converse of Ando's inequality, for each parameter. We give examples to compare our results with the known…
We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is \Phi_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite…
We introduce the theory of operator monotone functions and employ it to derive a new inequality relating the quantum relative entropy and the quantum conditional entropy. We present applications of this new inequality and in particular we…
Tsallis relative operator entropy is defined and then its properties are given. Shannon inequality and its reverse one in Hilbert space operators derived by T.Furuta \cite{Fu:par} are extended in terms of the parameter of the Tsallis…
We prove that a continuous function $f:(0,\infty) \to (0,\infty)$ is operator monotone increasing if and only if $f(A \: !_t \: B) \leqs f(A) \: !_t \: f(B)$ for any positive operators $A,B$ and scalar $t \in [0,1]$. Here, $!_t$ denotes the…
New sharp multiplicative reverses of the operator means inequalities are presented, with a simple discussion of squaring an operator inequality. As a direct consequence, we extend the operator P\'olya-Szeg\"o inequality to arbitrary…
A short and elementary proof of the joint convexity of relative entropy is presented, using nothing beyond linear algebra. The key ingredients are an easily verified integral representation and the strategy used to prove the Cauchy-Schwarz…