BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
M. S. Moslehian contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this expository article, we give several examples showing how drastically different can be the behavior of operators acting on finite versus infinite dimensional Hilbert spaces. This essay is written as in such a friendly-reader to show that the situation in the infinite dimensional setting is trickier than the finite one.
There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and theories for complex and real Banach spaces and the corresponding linear operators between them. We deeply discuss some aspects of the complexification of real Banach spaces and give several examples showing how drastically different can be the behavior of real Banach spaces versus their complex counterparts.
To extend the Euclidean operator radius, we define $w_p$ for an $n$-tuples of operators $(T_1,\ldots, T_n)$ in $\mathbb{B}(\mathscr{H})$ by $w_p(T_1,\ldots,T_n):= \sup_{\| x \| =1} \left(\sum_{i=1}^{n}| \langle T_i x, x \rangle |^p \right)^{\frac1p}$ for $p\geq1$. We generalize some inequalities including Euclidean operator radius of two operators to those involving $w_p$. Further we obtain some lower and upper bounds for $w_p$. Our main result states that if $f$ and $g$ are nonnegative continuous functions on $\left[ 0,\infty \right) $ satisfying $f\left( t\right) g\left(t\right) =t$ for all $t\in \left[ 0,\infty \right) $, then \begin{equation*} w_{p}^{rp}\left( A_{1}^{\ast }T_{1}B_{1},\ldots ,A_{n}^{\ast }T_{n}B_{n}\right) \leq \frac{1}{2}\left\Vert \underset{i=1}{\overset{n}{\sum }}\Big( \left[ B_{i}^{\ast }f^{2}\left( \left\vert T_{i}\right\vert \right) B_{i}\right] ^{rp}+\left[ A_{i}^{\ast }g^{2}\left( \left\vert T_{i}^{\ast }\right\vert \right) A_{i}\right] ^{rp}\Big)\right\Vert \end{equation*} for all $p\geq 1$, $r\geq 1$ and operators in $ \mathbb{B}(\mathscr{H})$.
The Callebaut inequality says that \begin{align*} \sum_{ j=1}^n \left(A_j\sharp B_j\right)\leq \left(\sum_{ j=1}^n A_j σB_j\right)\sharp\left(\sum_{ j=1}^n A_j σ^{\bot} B_j\right)\leq\left(\sum_{ j=1}^n A_j\right)\sharp \left(\sum_{ j=1}^nB_j\right)\,, \end{align*} where $A_j, B_j\,\,(1\leq j\leq n)$ are positive invertible operators and $σ$ and $σ^\perp$ are an operator mean and its dual in the sense of Kabo and Ando, respectively. In this paper we employ the Mond--Pečarić method as well as some operator techniques to establish a complementary inequality to the above one under mild conditions. We also present some refinements of a Callebaut type inequality involving the weighted geometric mean and Hadamard products of Hilbert space operators.
Let $\mathfrak{M}$ be a semifinite von Neumann algebra on a Hilbert space equipped with a faithful normal semifinite trace $τ$. A closed densely defined operator $x$ affiliated with $\mathfrak{M}$ is called $τ$-measurable if there exists a number $λ\geq 0$ such that $τ\left(e^{|x|}(λ,\infty)\right)<\infty$. A number of useful inequalities, which are known for the trace on Hilbert space operators, are extended to trace on $τ$-measurable operators. In particular, these inequalities imply Clarkson inequalities for $n$-tuples of $τ$-measurable operators. A general parallelogram law for $τ$-measurable operators are given as well.
We introduce the notion of Krein-operator convexity in the setting of Krein spaces. We present an indefinite version of the Jensen operator inequality on Krein spaces by showing that if $(\mathscr{H},J)$ is a Krein space, $\mathcal{U}$ is an open set which is symmetric with respect to the real axis such that $\mathcal{U}\cap\mathbb{R}$ consists of a segment of real axis and $f$ is a Krein-operator convex function on $\mathcal{U}$ with $f(0)=0$, then \begin{eqnarray*} f(C^{\sharp}AC)\leq^{J}C^{\sharp}f(A)C \end{eqnarray*} for all $J$-positive operators $A$ and all invertible $J$-contractions $C$ such that the spectra of $A$, $C^{\sharp}AC$ and $D^{\sharp}AD$ are contained in $\mathcal{U}$, where $D$ is a defect operator for $C^{\sharp}$.\\ We also show that in contrast with usual operator convex functions the converse of this implication is not true, in general.
We establish some operator versions of Bellman's inequality. In particular, we prove that if $Φ: \mathbb{B}(\mathscr{H}) \to \mathbb{B}(\mathscr{K})$ is a unital positive linear map, $A,B \in \mathbb{B}(\mathscr{H})$ are contractions, $p>1$ and $0 \leq λ\leq 1$, then {eqnarray*} \big(Φ(I_\mathscr{H}-A\nabla_λB)\big)^{1/p}\geΦ\big((I_\mathscr{H}-A)^{1/p}\nabla_λ(I_\mathscr{H}-B)^{1/p}\big). {eqnarray*}
We investigate the deformation of involution and multiplication in a unital $C^*$-algebra when its norm is fixed. Our main result is to present all multiplications and involutions on a given $C^*$-algebra $\mathcal{A}$ under which $\mathcal{A}$ is still a $C^*$-algebra whereas we keep the norm unchanged. For each invertible element $a\in\mathcal{A}$ we also introduce an involution and a multiplication making $\mathcal{A}$ into a $C^*$-algebra in which $a$ becomes a positive element. Further, we give a necessary and sufficient condition for that the center of a unital $C^*$-algebra $\mathcal{A}$ is trivial.
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 $\mathbf{B}=(B_1,...,B_n)$ of positive operators acting on a Hilbert space, a real number $q$ and an operator monotone function $f$ we extend the concept of entropy by $$ S_q^f(\mathbf{A}|\mathbf{B}):=\sum_{j=1}^nA_j^{1/2}(A_j^{-1/2}B_jA_j^{-1/2})^qf(A_j^{-1/2}B_jA_j^{-1/2})A_j^{1/2}\,, $$ and then give upper and lower bounds for $S_q^f(\mathbf{A}|\mathbf{B})$ as an extension of an inequality due to T. Furuta [Linear Algebra Appl. 381 (2004), 219--235] under certain conditions. Afterwards, some inequalities concerning the classical Shannon entropy are drawn from it.
We present some generalized Jensen type operator inequalities involving sequences of self-adjoint operators. Among other things, we prove that if $f:[0,\infty) \to \mathbb{R}$ is a continuous convex function with $f(0)\leq 0$, then {equation*} \sum_{i=1}^{n} f(C_i) \leq f(\sum_{i=1}^{n}C_i)-δ_f\sum_{i=1}^{n}\widetilde{C}_i\leq f(\sum_{i=1}^{n}C_i) {equation*} for all operators $C_i$ such that $0 \leq C_i\leq M \leq \sum_{i=1}^{n} C_i $ \ $(i=1,...,n)$ for some scalar $M\geq0$, where $ \widetilde{C_i} = 1/2 - |\frac{C_i}{M}- 1/2 |$ and $δ_f = f(0)+f(M) - 2 f(\frac{M}{2})$.
Let $A,B\in \mathbb{B}(\mathscr{H})$ be such that $0<b_{1}I \leq A \leq a_{1}I$ and $0<b_{2}I \leq B \leq a_{2}I$ for some scalars $0<b_{i}< a_{i},\;\; i=1,2$ and $Φ:\mathbb{B}(\mathscr{H})\rightarrow\mathbb{B}(\mathscr{K})$ be a positive linear map. We show that for any operator mean $σ$ with the representing function $f$, the double inequality $$ ω^{1-α}(Φ(A)#_αΦ(B))\le (ωΦ(A))\nabla_αΦ(B)\leq \fracαμΦ(AσB) $$ holds, where $μ=\frac{a_{1}b_{1}(f(b_{2}a_{1}^{-1})-f(a_{2}b_{1}^{-1}))}{b_{1}b_{2}-a_{1}a_{2}}, $ $ν=\frac{a_{1}a_{2}f(b_{2}a_{1}^{-1})-b_{1}b_{2}f(a_{2}b_{1}^{-1})}{a_{1}a_{2}-b_{1}b_{2}}, $ $ω=\frac{αν}{(1-α)μ}$ and $#_α$ ($\nabla_α$, resp.) is the weighted geometric (arithmetic, resp.) mean for $α\in (0,1)$. As applications, we present several generalized operator inequalities including Diaz--Metcalf and reverse Ando type inequalities. We also give some related inequalities involving Hadamard product and operator means.
Let $t$ be a regular operator between Hilbert $C^*$-modules and $t^†$ be its Moore-Penrose inverse. We investigate the Moore-Penrose invertibility of the Gram operator $t^*t$. More precisely, we study some conditions ensuring that $t^† = (t^* t)^† t^*= t^* (t t^*)^†$ and $(t^*t)^†=t^†t^{* †}$ hold. As an application, we get some results for densely defined closed operators on Hilbert $C^*$-modules over $C^*$-algebras of compact operators.
Given self-adjoint operators $A, B\in\mathbb{B}(\mathscr{H})$ it is said $A\leq_uB$ whenever $A\leq U^*BU$ for some unitary operator $U$. We show that $A\leq_u B$ if and only if $f(g(A)^r)\leq_uf(g(B)^r)$ for any increasing operator convex function $f$, any operator monotone function $g$ and any positive number $r$. We present some sufficient conditions under which if $B\leq A\leq U^*BU$, then $B=A=U^*BU$. Finally we prove that if $A^n\leq U^\ast A^nU$ for all $n\in\mathbb{N}$, then $A=U^\ast AU$.
We show that every Finsler module over a $C^*$-algebra has a quasi-representation into the Banach space $\mathbb{B}(\mathscr{H},\mathscr{K})$ of all bounded linear operators between some Hilbert spaces $\mathscr{H}$ and $\mathscr{K}$. We define the notion of completely positive $φ$-morphism and establish a Stinespring type theorem in the framework of Finsler modules over $C^*$-algebras. We also investigate the nondegeneracy and the irreducibility of quasi-representations.
We present a Diaz--Metcalf type operator inequality as a reverse Cauchy-Schwarz inequality and then apply it to get the operator versions of Pólya-Szegö's, Greub-Rheinboldt's, Kantorovich's, Shisha-Mond's, Schweitzer's, Cassels' and Klamkin-McLenaghan's inequalities via a unified approach. We also give some operator Grüss type inequalities and an operator Ozeki-Izumino-Mori-Seo type inequality. Several applications are concluded as well.
We study the Cauchy--Schwarz and some related inequalities in a semi-inner product module over a $C^*$-algebra $\A$. The key idea is to consider a semi-inner product $\A$-module as a semi-inner product $\A$-module with respect to another semi-inner product. In this way, we improve some inequalities such as the Ostrowski inequality and an inequality related to the Gram matrix. The induced semi-inner products are also related to the the notion of covariance and variance. Furthermore, we obtain a sequence of nested inequalities that emerges from the Cauchy--Schwarz inequality. As a consequence, we derive some interesting operator-theoretical corollaries. In particular, we show that the sequence arising from our construction, when applied to a positive element of a $C^*$-algebra, converges to its pseudo-inverse.
We show that the symmetrized product $AB+BA$ of two positive operators $A$ and $B$ is positive if and only if $f(A+B)\leq f(A)+f(B)$ for all non-negative operator monotone functions $f$ on $[0,\infty)$ and deduce an operator inequality. We also give a necessary and sufficient condition for that the composition $f\circ g$ of an operator convex function $f$ on $[0,\infty)$ and a non-negative operator monotone function $g$ on an interval $(a,b)$ is operator monotone and give some applications.
For a normed linear space $(X,|\cdot|)$ and $p>0$ we characterize all $n$-tuples $(μ_1,...,μ_n)\in\mathbb{R}^{n}$ for which the generalized triangle inequality of the second type $$\|x_1+...+x_n\|^p\leq\frac{|x_1|^p}{μ_1}+...+\frac{|x_n|^p}{μ_n}$$ holds for any $x_1,...,x_n\in X$. We also characterize $(μ_1,...,μ_n)\in\mathbb{R}^{n}$ for which the reverse of the inequality above holds.
Let $A=U|A|$ and $B=V|B|$ be the polar decompositions of $A\in \mathbb{B}(\mathscr{H}_1)$ and $B\in \mathbb{B}(\mathscr{H}_2)$ and let $Com(A,B)$ stand for the set of operators $X\in\mathbb{B}(\mathscr{H}_2,\mathscr{H}_1)$ such that $AX=XB$. A pair $(A,B)$ is said to have the FP-property if $Com(A,B)\subseteqCom(A^\ast,B^\ast)$. Let $\tilde{C}$ denote the Aluthge transform of a bounded linear operator $C$. We show that (i) if $A$ and $B$ are invertible and $(A,B)$ has the FP-property, then so is $(\tilde{A},\tilde{B})$; (ii) if $A$ and $B$ are invertible, the spectrums of both $U$ and $V$ are contained in some open semicircle and $(\tilde{A},\tilde{B})$ has the FP-property, then so is $(A,B)$; (iii) if $(A,B)$ has the FP-property, then $Com(A,B)\subseteqCom(\tilde{A},\tilde{B})$, moreover, if $A$ is invertible, then $Com(A,B)=Com(\tilde{A},\tilde{B})$. Finally, if $Re(U|A|^{1\over2})\geq a>0$ and $Re(V|B|^{1\over2})\geq a>0$ and $X$ is an operator such that $U^* X=XV$, then we prove that $\|\tilde{A}^* X-X\tilde{B}\|_p\geq 2a\|\,|B|^{1\over2}X-X|B|^{1\over2}\|_p$ for any $1 \leq p \leq \infty$.
Let $T\in\mathbb{B}(\mathscr{H})$ and $T=U|T|$ be its polar decomposition. We proved that (i) if $T$ is log-hyponormal or $p$-hyponormal and $U^n=U^\ast$ for some $n$, then $T$ is normal; (ii) if the spectrum of $U$ is contained in some open semicircle, then $T$ is normal if and only if so is its Aluthge transform $\widetilde{T}=|T|^{1\over2}U|T|^{1\over2}$.
We present several operator and norm inequalities for Hilbert space operators. In particular, we prove that if $A_{1},A_{2},...,A_{n}\in {\mathbb B}({\mathscr H})$, then \[|||A_{1}A_{2}^{*}+A_{2}A_{3}^{*}+...+A_{n}A_{1}^{*}|||\leq|||\sum_{i=1}^{n}A_{i}A_{i}^{*}|||,\] for all unitarily invariant norms. We also show that if $A_{1},A_{2},A_{3},A_{4}$ are projections in ${\mathbb B}({\mathscr H})$, then &&|||(\sum_{i=1}^{4}(-1)^{i+1}A_{i})\oplus0\oplus0\oplus0|||&\leq&|||(A_{1}+|A_{3}A_{1}|)\oplus (A_{2}+|A_{4}A_{2}|)\oplus(A_{3}+|A_{1}A_{3}|)\oplus(A_{4}+|A_{2}A_{4}|)||| for any unitarily invariant norm.
In this paper we present a new characterization of inner product spaces related to the p-angular distance. We also generalize some results due to Dunkl, Williams, Kirk, Smiley and Al-Rashed by using the notion of p-angular distance.
We present several operator versions of the Dunkl--Williams inequality with respect to the $p$-angular distance for operators. More precisely, we show that if $A, B \in \mathbb{B}(\mathscr{H})$ such that $|A|$ and $|B|$ are invertible, $\frac{1}{r}+\frac{1}{s}=1\,\,(r>1)$ and $p\in\mathbb{R}$, then \begin{equation*} |A|A|^{p-1}-B|B|^{p-1}|^{2} \leq |A|^{p-1}(r|A-B|^{2}+s||A|^{1-p}|B|^{p}-|B||^2)|A|^{p-1}.%\nonumber \end{equation*} In the case that $0<p \leq 1$, we remove the invertibility assumption and show that if $A=U|A|$ and $B=V|B|$ are the polar decompositions of $A$ and $B$, respectively, $t>0$, then $$|(U|A|^{p}-V|B|^{p})|A|^{1-p}|^{2}\leq (1+t)|A-B|^{2}+(1+\frac{1}{t})||B|^{p}|A|^{1-p}-|B||^2 \,.$$ We obtain several equivalent conditions, when the case of equalities hold.
Suppose that ${\mathcal A}$ is an algebra, $σ,τ:{\mathcal A}\to{\mathcal A}$ are two linear mappings such that both $σ({\mathcal A})$ and $τ({\mathcal A})$ are subalgebras of ${\mathcal A}$ and ${\mathcal X}$ is a $\big(τ({\mathcal A}),σ({\mathcal A})\big)$-bimodule. A linear mapping $D:{\mathcal A}\to {\mathcal X}$ is called a $(σ,τ)$-derivation if $D(ab)=D(a)\cdotσ(b)+τ(a)\cdot D(b) (a,b\in {\mathcal A})$. A $(σ,τ)$-derivation $D$ is called a $(σ,τ)$-inner derivation if there exists an $x\in{\mathcal X}$ such that $D$ is of the form either $D_x^-(a)=x\cdot σ(a)-τ(a)\cdot x (a\in {\mathcal A})$ or $D_x^ +(a)=x\cdot σ(a)+τ(a)\cdot x (a\in {\mathcal A})$. A Banach algebra ${\mathcal A}$ is called $(σ,τ)$-amenable if every $(σ,τ)$-derivation from ${\mathcal A}$ into a dual Banach $\big(τ({\mathcal A}),σ({\mathcal A})\big)$-bimodule is $(σ,τ)$-inner. Studying some general algebraic aspects of $(σ,τ)$-derivations, we investigate the relation between amenability and $(σ,τ)$-amenability of Banach algebras in the case when $σ, τ$ are homomorphisms. We prove that if $\mathfrak A$ is a $C^*$-algebra and $σ, τ$ are *-homomorphisms with $\ker(σ)=\ker(τ)$, then ${\mathfrak A}$ is $(σ, τ)$-amenable if and only if $σ({\mathfrak A})$ is amenable
Regarding the generalizations of the Bessel inequality in Hilbert spaces which are due to Bombiari and Boas--Bellman, we obtain a version of the Bessel inequality and some generalizations of this inequality in the framework of Hilbert $C^*$-modules.
We present a new operator equality in the framework of Hilbert $C^*$-modules. As a consequence, we get an extension of the Euler--Lagrange type identity in the setting of Hilbert bundles as well as several generalized operator Bohr's inequalities due to O. Hirzallah, W.-S. Cheung-J.E. Pecaric and F. Zhang.
We prove several versions of reverse triangle inequality in Hilbert $C^*$-modules. We show that if $e_1, ..., e_m$ are vectors in a Hilbert module ${\mathfrak X}$ over a $C^*$-algebra ${\mathfrak A}$ with unit 1 such that $<e_i,e_j>=0 (1\leq i\neq j \leq m)$ and $\|e_i\|=1 (1\leq i\leq m)$, and also $r_k,ρ_k\in\Bbb{R} (1\leq k\leq m)$ and $x_1, ..., x_n\in {\mathfrak X}$ satisfy $$0\leq r_k^2 \|x_j\|\leq {Re}< r_ke_k,x_j> ,\quad0\leq ρ_k^2 \|x_j\| \leq {Im}< ρ_ke_k,x_j> ,$$ then [\sum_{k=1}^m(r_k^2+ρ_k^2)]^{1/2}\sum_{j=1}^n \|x_j\|\leq\|\sum_{j=1}^nx_j\|, and the equality holds if and only if \sum_{j=1}^n x_j=\sum_{j=1}^n\|x_j\|\sum_{k=1}^m(r_k+iρ_k)e_k .
We show that the unit ball of a full Hilbert $C^*$-module is sequentially compact in a certain weak topology if and only if the underlying $C^*$-algebra is finite dimensional. This provides an answer to the question posed in J. Chmieliński et al [Perturbation of the Wigner equation in inner product $C^*$-modules, J. Math. Phys. 49 (2008), no. 3, 033519; arXiv:0801.2726].
We establish an operator extension of the following generalization of Bohr's inequality, due to M.P. Vasić and D.J. Kečkić: $$|\sum_{i=1}^n z_i|^r \leq (\sum_{i=1}^n α_i^{1/(1-r)})^{r-1}\sum_{i=1}^n α_i|z_i|^r \quad (r>1, z_i \in{\mathbb C}, α_i>0, 1 \leq i \leq n) .$$ We also present some norm inequalities related to our noncommutative generalization of Bohr's inequality.
Consider the functional equation ${\mathcal E}_1(f) = {\mathcal E}_2(f) ({\mathcal E})$ in a certain framework. We say a function $f_0$ is an approximate solution of $({\mathcal E})$ if ${\mathcal E}_1(f_0)$ and ${\mathcal E}_2(f_0)$ are close in some sense. The stability problem is whether or not there is an exact solution of $({\mathcal E})$ near $f_0$. In this paper, the stability of derivations on Hilbert $C^*$-modules is investigated in the spirit of Hyers--Ulam--Rassias.
We introduce the concept of $θ$-derivations on $JB^*$-triples, and prove the Hyers--Ulam--Rassias stability of $θ$-derivations on $JB^*$-triples.