Some properties on the star order of bounded operators (Q465376)

Let \(A, B \in B(H)\) be selfadjoint. We say the Löwner order \(A \leq B\) holds if there is a positive operator \(C\in B(H)\) such that \(A+C=B\). If there exists a selfadjoint operator \(C \in B(H)\) such that \(AC = 0\) and \(A + C = B\), then we write \(A\preceq B\) and \(\preceq\) is called the logic order. If \(A, B \in B(H)\), then we say that \(A\) is lower than or equal to \(B\) with respect to the \(*\)-order and write \(A\overset{*}{\leq} B\) when \(A^*A = A^*B = B^*A\), \(AA^* = BA^* = AB^*\). In this paper, the author presents some necessary and sufficient conditions for which the infimum or an upper bound of selfadjoint operators exists with respect to a given order, presents various characterizations of the \(*\)-order, and gives some relationships between the logic order and the star order.