Order automorphisms on positive definite operators and a few applications (Q632463)

Let \({\mathcal B}(H)\) be the algebra of all bounded linear operators on a complex Hilbert space \(H\) with dimension greater than one, and denote by \({\mathcal B}(H)^+_{-1}\) the set of all positive definite operators on \(H\). The usual order is defined by \(A\leq B\) if and only if \(B-A\) is positive semi-definite, and the chaotic order is defined by \(A\ll B\) if and only if \(\ln(A)\leq\ln(B)\). In this interesting paper, the author characterizes bijective maps on \({\mathcal B}(H)^+_{-1}\) preserving, in both directions, the usual or the chaotic order, and applies the obtained results to determine the structure of all bijective maps on the set of all invertible density operators which preserve different concepts of quantum relative entropy, such as the Umegaki and Belavkin-Staszewski relative entropies. Furthermore, he proves that if \(\bullet\) is a binary operation on \({\mathcal B}(H)^+_{-1}\) which makes it an ordered commutative group under the chaotic order, then \(A\bullet B=e^{\ln A+\ln B-\ln E}\),~\(A,B\in {\mathcal B}(H)^+_{-1}\), where \(E\) is the unit of the group \(({\mathcal B}(H)^+_{-1},\bullet)\). Finally, he shows that there is no binary operation on \({\mathcal B}(H)^+_{-1}\) which makes it an ordered commutative group under the usual order \(\leq\).