Inequality between unitary orbits (Q351378): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: K. C. Sivakumar / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47A63 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6186979 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
operator monotone function | |||
Property / zbMATH Keywords: operator monotone function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
unitary orbits | |||
Property / zbMATH Keywords: unitary orbits / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positive linear map | |||
Property / zbMATH Keywords: positive linear map / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.crma.2013.04.024 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1965776502 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On some operator inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5690490 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Unitary orbits of Hermitian operators with convex or concave functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Schwarz inequality for positive linear maps on C\(^*\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Jensen's inequality for operators and Loewner's theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalized Schwarz inequality and algebraic invariants for operator algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4283261 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the binary relation \(\leqslant_u\) on self-adjoint Hilbert space operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A condition under which 𝐵=𝐴=𝑈*𝐵𝑈 follows from 𝐵≤𝐴≤𝑈*𝐵𝑈 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Commutativity of selfadjoint operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4833858 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong monotonicity of operator functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operator monotone functions which are defined implicitly and operator inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On some operator monotone functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new majorization between functions, polynomials, and operator inequalities. II / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:47, 6 July 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
0 references