Inequality between unitary orbits (Q351378): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:03, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inequality between unitary orbits |
scientific article |
Statements
Inequality between unitary orbits (English)
0 references
11 July 2013
0 references
Let \(f\) be a real valued continuous function defined on an interval \(I\). Let \(A\) be a bounded self-adjoint operator on a Hilbert space whose spectrum is a subset of \(I\). Then \(f(A)\) denotes the ordinary functional calculus. We say that \(f\) is operator monotone on \(I\) if \(A \leq B\) implies that \(f(A) \leq f(B)\), where ``\(\leq \)'' denotes the Löwner partial order. For self-adjoint operators \(A\) and \(B\), we denote \(A \leq_u B\) to signify that there exists a unitary operator \(U\) such that \(A \leq U^*BU\). Now, let the interval \(I\) be of the form \((a,b)\) or \([a,b)\). Let \(h:I \rightarrow \mathbb{R} \cup \{\infty\}\) be an increasing and continuous operator monotone function such that \(\lim_{t \rightarrow a^+} h(t)=0\) and \(\lim_{t \rightarrow b^-} h(t)=\infty\). Further, suppose that both \(h(t) >0\) and \(\log h\) be operator monotone in the interior of \(I\). Finally, assume that the spectra of the operators \(A\) and \(B\) are subsets of \(I\). The authors prove that, if \(h(B)\) is invertible, then the implication \(A \leq_u B \Longrightarrow h(A)^{\alpha} \leq_u h(B)^{\alpha}\) holds for all \(\alpha >0\). This extends a result known for the exponential function.
0 references
operator monotone function
0 references
unitary orbits
0 references
positive linear map
0 references