Showing 1–50 of 170 results for author: Moslehian, M S

Extensions of the Hilbert-multi-norm in Hilbert $C^*$-modules

Authors: Sajjad Abedi, Mohammad Sal Moslehian

Abstract: Dales and Polyakov introduced a multi-norm $\left( \left\|\cdot\right\|_n^{(2,2)}:n\in\mathbb{N}\right)$ based on a Banach space $\mathscr{X}$ and showed that it is equal with the Hilbert-multi-norm $\left( \left\|\cdot\right\|_n^{\mathscr{H}}:n\in\mathbb{N}\right)$ based on an infinite-dimensional Hilbert space $\mathscr{H}$. We enrich the theory and present three extensions of the Hilbert-multi-… ▽ More Dales and Polyakov introduced a multi-norm $\left( \left\|\cdot\right\|_n^{(2,2)}:n\in\mathbb{N}\right)$ based on a Banach space $\mathscr{X}$ and showed that it is equal with the Hilbert-multi-norm $\left( \left\|\cdot\right\|_n^{\mathscr{H}}:n\in\mathbb{N}\right)$ based on an infinite-dimensional Hilbert space $\mathscr{H}$. We enrich the theory and present three extensions of the Hilbert-multi-norm for a Hilbert $C^*$-module $\mathscr{X}$. We denote these multi-norms by $\left( \left\|\cdot\right\|_n^{\mathscr{X}}:n\in\mathbb{N}\right)$, $\left( \left\|\cdot\right\|_n^{*}:n\in\mathbb{N}\right)$, and $\left( \left\|\cdot\right\|_n^{\mathcal{P}\left(\mathfrak{A} \right) }:n\in\mathbb{N}\right)$. We show that $\left\|x\right\|_n^{\mathcal{P}\left(\mathfrak{A} \right) }\geq\left\|x\right\|_n^{\mathscr{X}}\leq \left\|x\right\|_n^{*}$ for each $x\in\mathscr{X}^n$. In the case when $\mathscr{X}$ is a Hilbert $\mathbb{K}\left(\mathscr{H}\right)$-module, for each $x\in\mathscr{X}^n$, we observe that $\left\|\cdot\right\|_n^{\mathcal{P}\left(\mathfrak{A} \right)}=\left\|\cdot\right\|_n^{\mathscr{X}}$. Furthermore, if $\mathscr{H}$ is separable and $\mathscr{X}$ is infinite-dimensional, we prove that $\left\|x\right\|_n^{\mathscr{X}}=\left\|x\right\|_n^{*}$. Among other things, we show that small and orthogonal decompositions with respect to these multi-norms are equivalent. Several examples are given to support the new findings. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: 16 pages, Accepted by Positivity

MSC Class: 46L05; 46B15; 47L10

Journal ref: Positivity 27 (2023), no. 1, Paper No. 7, 17 pp

Operator mean inequalities and Kwong functions

Authors: Nahid Gharakhanlu, Mohammad Sal Moslehian, Hamed Najafi

Abstract: In this paper, we study operator mean inequalities for the weighted arithmetic, geometric and harmonic means. We give a slight modification of Audenaert's result to show the relation between Kwong functions and operator monotone functions. Operator mean inequalities provide some analogs of the geometric concavity property for Kwong functions, operator convex, and operator monotone functions. Moreo… ▽ More In this paper, we study operator mean inequalities for the weighted arithmetic, geometric and harmonic means. We give a slight modification of Audenaert's result to show the relation between Kwong functions and operator monotone functions. Operator mean inequalities provide some analogs of the geometric concavity property for Kwong functions, operator convex, and operator monotone functions. Moreover, we give our points across by way of some examples which show the usage of our main results. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: Accepted by Arch. Math. (Basel)

MSC Class: 47A63; 47A64; 15A60

Around Strongly Operator Convex Functions

Authors: Nahid Gharakhanlu, Mohammad Sal Moslehian

Abstract: In this paper, we obtain the subadditivity inequality of strongly operator convex functions on $(0, \infty)$ and $(-\infty,0)$. Applying the properties of operator convex functions, we deduce the subadditivity property of operator monotone functions on $(0, \infty)$. We give new operator inequalities involving strongly operator convex functions on an interval and the weighted operator means. We al… ▽ More In this paper, we obtain the subadditivity inequality of strongly operator convex functions on $(0, \infty)$ and $(-\infty,0)$. Applying the properties of operator convex functions, we deduce the subadditivity property of operator monotone functions on $(0, \infty)$. We give new operator inequalities involving strongly operator convex functions on an interval and the weighted operator means. We also investigate relations between strongly operator convex functions and Kwong functions on $(0, \infty)$. Moreover, we study the strongly operator convex functions on $(a, \infty)$ with $a>-\infty$ and also on left half line $(-\infty,b)$ with $b< \infty$. We show that any non-constant strongly operator convex function on $(a, \infty)$ is strictly operator decreasing, and any non-constant strongly operator convex function on $(-\infty,b)$ is strictly operator monotone. Consequently, if $g$ is a strongly operator convex function on $(a, \infty)$ or $(-\infty,b)$, we estimate lower bounds of $|g(A)-g(B)|$ whenever $A-B>0$. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: 15 pages

MSC Class: 47A63; 47A30; 47B10

Separated Pairs of Submodules in Hilbert $C^*$-modules

Authors: R. Eskandari, W. Luo, M. S. Moslehian, Q. Xu, H. Zhang

Abstract: We introduce the notion of the separated pair of closed submodules in the setting of Hilbert $C^*$-modules. We demonstrate that even in the case of Hilbert spaces this concept has several nice characterizations enriching the theory of separated pairs of subspaces in Hilbert spaces. Let $\mathscr H$ and $\mathscr K$ be orthogonally complemented closed submodules of a Hilbert $C^*$-module… ▽ More We introduce the notion of the separated pair of closed submodules in the setting of Hilbert $C^*$-modules. We demonstrate that even in the case of Hilbert spaces this concept has several nice characterizations enriching the theory of separated pairs of subspaces in Hilbert spaces. Let $\mathscr H$ and $\mathscr K$ be orthogonally complemented closed submodules of a Hilbert $C^*$-module $\mathscr E$. We establish that $ (\mathscr H,\mathscr K)$ is a separated pair in $\mathscr{E}$ if and only if there are idempotents $Π_1$ and $Π_2$ such that $Π_1Π_2=Π_2Π_1=0$ and $\mathscr R(Π_1)=\mathscr H$ and $\mathscr R(Π_2)=\mathscr K$. We show that $\mathscr R(Π_1+λΠ_2)$ is closed for each $λ\in \mathbb{C}$ if and only if $\mathscr R(Π_1+Π_2)$ is closed. We use the localization of Hilbert $C^*$-modules to define the angle between closed submodules. We prove that if $(\mathscr H^\perp,\mathscr K^\perp)$ is concordant, then $(\mathscr H^{\perp\perp},\mathscr K^{\perp\perp})$ is a separated pair if the cosine of this angle is less than one. We also present some surprising examples to illustrate our results. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: 20 pages

MSC Class: 46L08; 46C05; 47A05; 47A30

A separation theorem for Hilbert $W^*$-modules

Authors: Rasoul Eskandari, Mohammad Sal Moslehian

Abstract: Let $\mathscr L$ be a closed submodule of a Hilbert $W^*$-module $\mathscr E$ over a $C^*$-algebra $\mathscr A$. We pose a separation problem: Does there exist a normal state $ω$ such that $ι_ω(\mathscr L)$ is not dense in $\mathscr E_ω$? In this note, among other results, we give an affirmative answer to this problem, when $\mathscr E$ is a self-dual Hilbert $W^*$-module such that… ▽ More Let $\mathscr L$ be a closed submodule of a Hilbert $W^*$-module $\mathscr E$ over a $C^*$-algebra $\mathscr A$. We pose a separation problem: Does there exist a normal state $ω$ such that $ι_ω(\mathscr L)$ is not dense in $\mathscr E_ω$? In this note, among other results, we give an affirmative answer to this problem, when $\mathscr E$ is a self-dual Hilbert $W^*$-module such that $\mathscr E\backslash \mathscr L$ has a nonempty interior with respect to the weak$^*$-topology. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: 9 pages

MSC Class: Primary 46L08; Secondary 46L05; 47C15

Convergence of Random Products of Countably Infinitely Many Projections

Authors: Rasoul Eskandari, Mohammad Sal Moslehian

Abstract: Let $r \in \mathbb{N}\cup\{\infty\}$ be a fixed number and let $P_j\,\, (1 \leq j\leq r )$ be the projection onto the closed subspace $\mathcal{M}_j$ of $\mathscr{H}$. We are interested in studying the sequence $P_{i_1}, P_{i_2}, \ldots \in\{P_1, \ldots, P_r\}$. A significant problem is to demonstrate conditions under which the sequence $\{P_{i_n}\cdots P_{i_2}P_{i_1}x\}_{n=1}^\infty$ converges st… ▽ More Let $r \in \mathbb{N}\cup\{\infty\}$ be a fixed number and let $P_j\,\, (1 \leq j\leq r )$ be the projection onto the closed subspace $\mathcal{M}_j$ of $\mathscr{H}$. We are interested in studying the sequence $P_{i_1}, P_{i_2}, \ldots \in\{P_1, \ldots, P_r\}$. A significant problem is to demonstrate conditions under which the sequence $\{P_{i_n}\cdots P_{i_2}P_{i_1}x\}_{n=1}^\infty$ converges strongly or weakly to $Px$ for any $x\in\mathscr{H}$, where $P$ is the projection onto the intersection $\mathcal{M}=\mathcal{M}_1\cap \ldots \cap \mathcal{M}_r$. Several mathematicians have presented their insights on this matter since von Neumann established his result in the case of $r=2$. In this paper, we give an affirmative answer to a question posed by M. Sakai. We present a result concerning random products of countably infinitely many projections (the case $r=\infty$) incorporating the notion of pseudo-periodic function. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: 12 pages

MSC Class: 46C05; 47A05; 47B02

Matrix Inequalities between $f(A)σf(B)$ and $AσB$

Authors: Manisha Devi, Jaspal Singh Aujla, Mohsen Kian, Mohammad Sal Moslehian

Abstract: Let $A$ and $ B$ be $n\times n$ positive definite complex matrices, let $σ$ be a matrix mean, and let $f : [0,\infty)\to [0,\infty)$ be a differentiable convex function with $f(0)=0$. We prove that $$f^{\prime}(0)(A σB)\leq \frac{f(m)}{m}(AσB)\leq f(A)σf(B)\leq \frac{f(M)}{M}(AσB)\leq f^{\prime}(M)(AσB),$$ where $m$ represents the smallest eigenvalues of $A$ and $B$ and $M$ represents the largest… ▽ More Let $A$ and $ B$ be $n\times n$ positive definite complex matrices, let $σ$ be a matrix mean, and let $f : [0,\infty)\to [0,\infty)$ be a differentiable convex function with $f(0)=0$. We prove that $$f^{\prime}(0)(A σB)\leq \frac{f(m)}{m}(AσB)\leq f(A)σf(B)\leq \frac{f(M)}{M}(AσB)\leq f^{\prime}(M)(AσB),$$ where $m$ represents the smallest eigenvalues of $A$ and $B$ and $M$ represents the largest eigenvalues of $A$ and $B$. If $f$ is differentiable and concave, then the reverse inequalities hold. We use our result to improve some known subadditivity inequalities involving unitarily invariant norms under certain mild conditions. In particular, if $f(x)/x$ is increasing, then $$|||f(A)+f(B)|||\leq\frac{f(M)}{M} |||A+B|||\leq |||f(A+B)|||$$ holds for all $A$ and $B$ with $M\leq A+B$. Furthermore, we apply our results to explore some related inequalities. As an application, we present a generalization of Minkowski's determinant inequality.equality. △ Less

Submitted 18 April, 2024; v1 submitted 16 February, 2023; originally announced February 2023.

Comments: to appear in Aequationes Mathematicae

MSC Class: 15A60; 15A42

Generalizations of Powers--Størmer's inequality

Authors: Mohsen Kian, Mohammad Sal Moslehian, Hiroyuki Osaka

Abstract: Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*} \mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big) \end{align*} holds for every positive-valued matrix monotone function $f$, where $g(x)=x/f(x)$, and all positive definite matrices $A$ and $B$. This study demonstrates t… ▽ More Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*} \mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big) \end{align*} holds for every positive-valued matrix monotone function $f$, where $g(x)=x/f(x)$, and all positive definite matrices $A$ and $B$. This study demonstrates that the set of functions satisfying this inequality includes additional elements and provides illustrative examples to support this claim. Furthermore, we present a characterization of matrix decreasing functions based on a matrix version of the above inequality. △ Less

Submitted 16 March, 2024; v1 submitted 15 February, 2023; originally announced February 2023.

MSC Class: 46N50; 15A15; 46L30

Decomposition of tracial positive maps and applications in quantum information

Authors: Ali Dadkha, Mohsen Kian, Mohammad Sal Moslehian

Abstract: Every positive multilinear map between $C^*$-algebras is separately weak$^*$-continuous. We show that the joint weak$^*$-continuity is equivalent to the joint weak$^*$-continuity of the multiplications of $C^*$-algebras under consideration. We study the behavior of general tracial positive maps on properly infinite von Neumann algebras and by applying the Aron--Berner extension of multilinear maps… ▽ More Every positive multilinear map between $C^*$-algebras is separately weak$^*$-continuous. We show that the joint weak$^*$-continuity is equivalent to the joint weak$^*$-continuity of the multiplications of $C^*$-algebras under consideration. We study the behavior of general tracial positive maps on properly infinite von Neumann algebras and by applying the Aron--Berner extension of multilinear maps, we establish that under some mild conditions every tracial positive multilinear map between general $C^*$-algebras enjoys a decomposition $Φ=\varphi_2 \circ \varphi_1$, in which $\varphi_1$ is a tracial positive linear map with the commutative range and $\varphi_2$ is a tracial completely positive map with the commutative domain. As an immediate consequence, tracial positive multilinear maps are completely positive. Furthermore, we prove that if the domain of a general tracial completely positive map $Φ$ between $C^*$-algebra is a von Neumann algebra, then $Φ$ has a similar decomposition. As an application, we investigate the generalized variance and covariance in quantum mechanics via arbitrary positive maps. Among others, an uncertainty relation inequality for commuting observables in a composite physical system is presented. △ Less

Submitted 8 May, 2024; v1 submitted 25 February, 2022; originally announced February 2022.

MSC Class: Primary 47C15; 46L10; Secondary 47A63; 46L05

Journal ref: Anal. Math. Phys. 14 (2024), no. 3, Paper No. 48

Power-norms based on Hilbert $C^*$-modules

Authors: Sajjad Abedi, Mohammad Sal Moslehian

Abstract: Suppose that $\mathscr{E}$ and $\mathscr{F}$ are Hilbert $C^*$-modules. We present a power-norm $\left(\left\|\cdot\right\|^{\mathscr{E}}_n:n\in\mathbb{N}\right)$ based on $\mathscr{E}$ and obtain some of its fundamental properties. We introduce a new definition of the absolutely $(2,2)$-summing operators from $\mathscr{E}$ to $\mathscr{F}$, and denote the set of such operators by… ▽ More Suppose that $\mathscr{E}$ and $\mathscr{F}$ are Hilbert $C^*$-modules. We present a power-norm $\left(\left\|\cdot\right\|^{\mathscr{E}}_n:n\in\mathbb{N}\right)$ based on $\mathscr{E}$ and obtain some of its fundamental properties. We introduce a new definition of the absolutely $(2,2)$-summing operators from $\mathscr{E}$ to $\mathscr{F}$, and denote the set of such operators by $\tildeΠ_2(\mathscr{E},\mathscr{F})$ with the convention $\tildeΠ_2(\mathscr{E})=\tildeΠ_2(\mathscr{E},\mathscr{E})$. It is known that the class of all Hilbert--Schmidt operators on a Hilbert space $\mathscr{H}$ is the same as the space $\tildeΠ_2(\mathscr{H})$. We show that the class of Hilbert--Schmidt operators introduced by Frank and Larson coincides with the space $\tildeΠ_2(\mathscr{E})$ for a countably generated Hilbert $C^*$-module $\mathscr{E}$ over a unital commutative $C^*$-algebra. These results motivate us to investigate the properties of the space $\tildeΠ_2(\mathscr{E},\mathscr{F})$. △ Less

Submitted 8 May, 2024; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: 22 pages, Accepted by Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Mat. RACSAM

MSC Class: 46L08; 46L05; 46B15; 47L10

Journal ref: Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Mat. RACSAM 117 (2023), no. 1, Paper No. 7, 17 pp

Pedersen--Takesaki operator equation in Hilbert $C^*$-modules

Authors: R. Eskandari, X. Fang, M. S. Moslehian, Q. Xu

Abstract: We extend a work of Pedersen and Takesaki by giving some equivalent conditions for the existence of a positive solution of the so-called Pedersen--Takesaki operator equation $XHX=K$ in the setting of Hilbert $C^*$-modules. It is known that the Douglas lemma does not hold in the setting of Hilbert $C^*$-modules in its general form. In fact, if $\mathscr{E}$ is a Hilbert $C^*$-module and… ▽ More We extend a work of Pedersen and Takesaki by giving some equivalent conditions for the existence of a positive solution of the so-called Pedersen--Takesaki operator equation $XHX=K$ in the setting of Hilbert $C^*$-modules. It is known that the Douglas lemma does not hold in the setting of Hilbert $C^*$-modules in its general form. In fact, if $\mathscr{E}$ is a Hilbert $C^*$-module and $A, B \in \mathcal{L}(\mathscr E)$, then the operator inequality $B B^*\le λAA^*$ with $λ>0$ does not ensure that the operator equation $AX=B$ has a solution, in general. We show that under a mild orthogonally complemented condition on the range of operators, $AX=B$ has a solution if and only if $BB^*\leq λAA^*$ and $\mathscr R(A) \supseteq \mathscr R(BB^*)$. Furthermore, we prove that if $\mathcal{L}(\mathscr E)$ is a $W^*$-algebra, $A,B\in \mathcal{L}(\mathscr E)$, and $\overline{\mathscr R(A^*)}=\mathscr E$, then $BB^*\leqλAA^*$ for some $λ>0$ if and only if $\mathscr R (B)\subseteq \mathscr R(A)$. Several examples are given to support the new findings. △ Less

Submitted 24 November, 2021; originally announced November 2021.

Comments: 16 pages

MSC Class: 46L08; 46L05; 47A62

Improved inequalities for the numerical radius via Cartesian decomposition

Authors: Pintu Bhunia, Suvendu Jana, Mohammad Sal Moslehian, Kallol Paul

Abstract: We develop various lower bounds for the numerical radius $w(A)$ of a bounded linear operator $A$ defined on a complex Hilbert space, which improve the existing inequality $w^2(A)\geq \frac{1}{4}\|A^*A+AA^*\|$. In particular, for $r\geq 1$, we show that \begin{eqnarray*}\frac{1}{4}\|A^*A+AA^*\| \leq\frac{1}{2} \left( \frac{1}{2}\|\Re(A)+\Im(A)\|^{2r}+\frac{1}{2}\|\Re(A)-\Im(A)\|^{2r}\right)^{\fra… ▽ More We develop various lower bounds for the numerical radius $w(A)$ of a bounded linear operator $A$ defined on a complex Hilbert space, which improve the existing inequality $w^2(A)\geq \frac{1}{4}\|A^*A+AA^*\|$. In particular, for $r\geq 1$, we show that \begin{eqnarray*}\frac{1}{4}\|A^*A+AA^*\| \leq\frac{1}{2} \left( \frac{1}{2}\|\Re(A)+\Im(A)\|^{2r}+\frac{1}{2}\|\Re(A)-\Im(A)\|^{2r}\right)^{\frac{1}{r}} \leq w^{2}(A),\end{eqnarray*} where $\Re(A)$ and $\Im(A)$ are the real and imaginary parts of $A$, respectively. Furthermore, we obtain upper bounds for $w^2(A)$ refining the well-known upper bound $w^2(A)\leq \frac{1}{2} \left(w(A^2)+\|A\|^2\right)$. Separate complete characterizations for $w(A)=\frac{\|A\|}{2}$ and $w(A)=\frac{1}{2}\sqrt{\|A^*A+AA^*\|}$ are also given. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: 14 pages

MSC Class: Primary 47A12; Secondary 15A60; 47A30; 47A50

Similarities and differences between real and complex Banach spaces: an overview and recent developments

Authors: M. S. Moslehian, G. A. Muñoz-Fernández, A. M. Peralta, J. B. Seoane-Sepúlveda

Abstract: 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… ▽ More 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. △ Less

Submitted 24 February, 2022; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: In this second version we added some new materials and some new proofs for well-known results, 106 pages

Vector-valued reproducing kernel Hilbert $C^*$-modules

Authors: M. S. Moslehian

Abstract: The aim of this paper is to present a unified framework in the setting of Hilbert $C^*$-modules for the scalar- and vector-valued reproducing kernel Hilbert spaces and $C^*$-valued reproducing kernel spaces. We investigate conditionally negative definite kernels with values in the $C^*$-algebra of adjointable operators acting on a Hilbert $C^*$-module. In addition, we show that there exists a two-… ▽ More The aim of this paper is to present a unified framework in the setting of Hilbert $C^*$-modules for the scalar- and vector-valued reproducing kernel Hilbert spaces and $C^*$-valued reproducing kernel spaces. We investigate conditionally negative definite kernels with values in the $C^*$-algebra of adjointable operators acting on a Hilbert $C^*$-module. In addition, we show that there exists a two-sided connection between positive definite kernels and reproducing kernel Hilbert $C^*$-modules. Furthermore, we explore some conditions under which a function is in the reproducing kernel module and present an interpolation theorem. Moreover, we study some basic properties of the so-called relative reproducing kernel Hilbert $C^*$-modules and give a characterization of dual modules. Among other things, we prove that every conditionally negative definite kernel gives us a reproducing kernel Hilbert $C^*$-module and a certain map. Several examples illustrate our investigation. △ Less

Submitted 13 May, 2021; originally announced May 2021.

Comments: 17 pages

MSC Class: 46E22; 46L08; 47A56; 46L05

Left multipliers of reproducing kernel Hilbert $C^*$-modules and the Papadakis theorem

Authors: M. Ghaemi, V. M. Manuilov, M. S. Moslehian

Abstract: We give a modified definition of a reproducing kernel Hilbert $C^*$-module (shortly, $RKHC^*M$) without using the condition of self-duality and discuss some related aspects; in particular, an interpolation theorem is presented. We investigate the exterior tensor product of $RKHC^*M$s and find their reproducing kernel. In addition, we deal with left multipliers of $RKHC^*M$s. Under some mild condit… ▽ More We give a modified definition of a reproducing kernel Hilbert $C^*$-module (shortly, $RKHC^*M$) without using the condition of self-duality and discuss some related aspects; in particular, an interpolation theorem is presented. We investigate the exterior tensor product of $RKHC^*M$s and find their reproducing kernel. In addition, we deal with left multipliers of $RKHC^*M$s. Under some mild conditions, it is shown that one can make a new $RKHC^*M$ via a left multiplier. Moreover, we introduce the Berezin transform of an operator in the context of $RKHC^*M$s and construct a unital subalgebra of the unital $C^*$-algebra consisting of adjointable maps on an $RKHC^*M$ and show that it is closed with respect to a certain topology. Finally, the Papadakis theorem is extended to the setting of $RKHC^*M$, and in order for the multiplication of two specific functions to be in the Papadakis $RKHC^*M$, some conditions are explored. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 15 pages

MSC Class: 46E22; 47A56; 47L08; 46L05

Journal ref: J. Math. Anal. Appl. 505 (2022), no. 1, 125471

Hilbert $C^*$-module independence

Authors: R. Eskandari, J. Hamhalter, M. S. Moslehian, V. M. Manuilov

Abstract: We introduce the notion of Hilbert $C^*$-module independence: Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\mathscr{E}_i\subseteq \mathscr{E},\,\,i=1, 2$, be ternary subspaces of a Hilbert $\mathscr{A}$-module $\mathscr{E}$. Then $\mathscr{E}_1$ and $\mathscr{E}_2$ are said to be Hilbert $C^*$-module independent if there are positive constants $m$ and $M$ such that for every state… ▽ More We introduce the notion of Hilbert $C^*$-module independence: Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\mathscr{E}_i\subseteq \mathscr{E},\,\,i=1, 2$, be ternary subspaces of a Hilbert $\mathscr{A}$-module $\mathscr{E}$. Then $\mathscr{E}_1$ and $\mathscr{E}_2$ are said to be Hilbert $C^*$-module independent if there are positive constants $m$ and $M$ such that for every state $\varphi_i$ on $\langle \mathscr{E}_i,\mathscr{E}_i\rangle,\,\,i=1, 2$, there exists a state $\varphi$ on $\mathscr{A}$ such that \begin{align*} m\varphi_i(|x|)\leq \varphi(|x|) \leq M\varphi_i(|x|^2)^{\frac{1}{2}},\qquad \mbox{for all~}x\in \mathscr{E}_i, i=1, 2. \end{align*} We show that it is a natural generalization of the notion of $C^*$-independence of $C^*$-algebras. Moreover, we demonstrate that even in case of $C^*$-algebras this concept of independence is new and has a nice characterization in terms of extensions. This enriches the theory of independence of $C^*$-algebras. We show that if $\langle \mathscr{E}_1,\mathscr{E}_1\rangle $ has the quasi extension property and $z\in \mathscr{E}_1\cap \mathscr{E}_2$ with $\|z\|=1$, then $|z|=1$. Several characterizations of Hilbert $C^*$-module independence and a new characterization of $C^*$-independence are given. One of characterizations states that if $z_0\in \mathscr{E}_1\cap \mathscr{E}_2$ is such that $\langle z_0,z_0\rangle=1$, then $\mathscr{E}_1$ and $\mathscr{E}_2$ are Hilbert $C^*$-module independent if and only if $\|\langle x,z_0\rangle\langle y,z_0\rangle\|=\|\langle x,z_0\rangle\|\,\|\langle y,z_0\rangle\|$ for all $x\in \mathscr{E}_1$ and $y\in \mathscr{E}_2$. We also provide some technical examples and counterexamples to illustrate our results. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 23 pages

MSC Class: 46L08; 46L05; 47A62

Dichotomy between operators acting on finite and infinite dimensional Hilbert spaces

Authors: L. Bernal-González, M. S. Moslehian, J. B. Seoane-Sepúlveda

Abstract: 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. 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. △ Less

Submitted 1 March, 2022; v1 submitted 9 August, 2020; originally announced August 2020.

Comments: 11 pages, some materials are added

MSC Class: 47B02; 15A15

Maximal inequalities in quantum probability spaces

Authors: Gh. Sadeghi, M. S. Moslehian, A. Talebi

Abstract: We employ some techniques involving projections in a von Neumann algebra to establish some maximal inequalities such as the strong and weak symmetrization, Levy, Levy-Skorohod, and Ottaviani inequalities in the realm of the quantum probability spaces. We employ some techniques involving projections in a von Neumann algebra to establish some maximal inequalities such as the strong and weak symmetrization, Levy, Levy-Skorohod, and Ottaviani inequalities in the realm of the quantum probability spaces. △ Less

Submitted 8 August, 2020; v1 submitted 21 April, 2020; originally announced April 2020.

Comments: 16 pages, major revision: We simplify the proofs and removed the notion of joint independence

MSC Class: 46L53; 46L10; 47A30; 60B11

B-spline interpolation problem in Hilbert C*-modules

Authors: Rasoul Eskandari, Michael Frank, Vladimir Manuilov, Mohammad Sal Moslehian

Abstract: We introduce the $B$-spline interpolation problem corresponding to a $C^*$-valued sesquilinear form on a Hilbert $C^*$-module and study its basic properties as well as the uniqueness of solution. We first study the problem in the case when the Hilbert $C^*$-module is self-dual. Extending a bounded $C^*$-valued sesquilinear form on a Hilbert $C^*$-module to a sesquilinear form on its second dual, w… ▽ More We introduce the $B$-spline interpolation problem corresponding to a $C^*$-valued sesquilinear form on a Hilbert $C^*$-module and study its basic properties as well as the uniqueness of solution. We first study the problem in the case when the Hilbert $C^*$-module is self-dual. Extending a bounded $C^*$-valued sesquilinear form on a Hilbert $C^*$-module to a sesquilinear form on its second dual, we then provide some necessary and sufficient conditions for the $B$-spline interpolation problem to have a solution. Passing to the setting of Hilbert $W^*$-modules, we present our main result by characterizing when the spline interpolation problem for the extended $C^*$-valued sesquilinear to the dual $\mathscr{X}'$ of the Hilbert $W^*$-module $\mathscr{X}$ has a solution. As a consequence, we give a sufficient condition that for an orthogonally complemented submodule of a self-dual Hilbert $W^*$-module $\mathscr{X}$ is orthogonally complemented with respect to another $C^*$-inner product on $\mathscr{X}$. Finally, solutions of the $B$-spline interpolation problem for Hilbert $C^*$-modules over $C^*$-ideals of $W^*$-algebras are extensively discussed. Several examples are provided to illustrate the existence or lack of a solution for the problem. △ Less

Submitted 8 August, 2020; v1 submitted 3 April, 2020; originally announced April 2020.

Comments: 25 pages, final version, to appear in J. Operator Theory

MSC Class: 46L08; 46L05; 47A62

Journal ref: J. Operator Theory 86 (2021), no. 2, 275-298

Operator equalities and Characterizations of Orthogonality in Pre-Hilbert $C^*$-Modules

Authors: Rasoul Eskandari, M. S. Moslehian, Dan Popovici

Abstract: In the first part of the paper, we use states on $C^*$-algebras in order to establish some equivalent statements to equality in the triangle inequality, as well as to the parallelogram identity for elements of a pre-Hilbert $C^*$-module. We also characterize the equality case in the triangle inequality for adjointable operators on a Hilbert $C^*$-module. Then we give certain necessary and sufficie… ▽ More In the first part of the paper, we use states on $C^*$-algebras in order to establish some equivalent statements to equality in the triangle inequality, as well as to the parallelogram identity for elements of a pre-Hilbert $C^*$-module. We also characterize the equality case in the triangle inequality for adjointable operators on a Hilbert $C^*$-module. Then we give certain necessary and sufficient conditions to the Pythagoras identity for two vectors in a pre-Hilbert $C^*$-module under the assumption that their inner product has negative real part. We introduce the concept of Pythagoras orthogonality and discuss its properties. We describe this notion for Hilbert space operators in terms of the parallelogram law and some limit conditions. We present several examples in order to illustrate the relationship between the Birkhoff--James, Roberts, and Pythagoras orthogonalities, and the usual orthogonality in the framework of Hilbert $C^*$-modules. △ Less

Submitted 31 January, 2020; v1 submitted 27 January, 2020; originally announced January 2020.

MSC Class: 46L08; 46L05; 47A62

Asymmetric Choi--Davis inequalities

Authors: Mohsen Kian, M. S. Moslehian, R. Nakamoto

Abstract: Let $Φ$ be a unital positive linear map and let $A$ be a positive invertible operator. We prove that there exist partial isometries $U$ and $V$ such that \[ |Φ(f(A))Φ(A)Φ(g(A))|\leq U^*Φ(f(A)Ag(A))U \] and \[\left|Φ\left(f(A)\right)^{-r}Φ(A)^rΦ\left(g(A)\right)^{-r}\right|\leq V^*Φ\left(f(A)^{-r}A^rg(A)^{-r}\right)V\] hold under some mild operator convex conditions and some positive numbers $r$. F… ▽ More Let $Φ$ be a unital positive linear map and let $A$ be a positive invertible operator. We prove that there exist partial isometries $U$ and $V$ such that \[ |Φ(f(A))Φ(A)Φ(g(A))|\leq U^*Φ(f(A)Ag(A))U \] and \[\left|Φ\left(f(A)\right)^{-r}Φ(A)^rΦ\left(g(A)\right)^{-r}\right|\leq V^*Φ\left(f(A)^{-r}A^rg(A)^{-r}\right)V\] hold under some mild operator convex conditions and some positive numbers $r$. Further, we show that if $f^2$ is operator concave, then $$ |Φ(f(A))Φ(A)|\leq Φ(Af(A)).$$ In addition, we give some counterparts to the asymmetric Choi--Davis inequality and asymmetric Kadison inequality. Our results extend some inequalities due to Bourin--Ricard and Furuta. △ Less

Submitted 27 January, 2020; originally announced January 2020.

MSC Class: 47A63; 15A60; 47B65

Variants of Ando--Hiai type inequalities for deformed means and applications

Authors: Mohsen Kian, M. S. Moslehian, Yuki Seo

Abstract: For an $n$-tuple of positive invertible operators on a Hilbert space, we present some variants of Ando--Hiai type inequalities for deformed means from an $n$-variable operator mean by an operator mean, which is related to the information monotonicity of a certain unital positive linear map. As an application, we investigate the monotonicity of the power mean from the deformed mean in terms of the… ▽ More For an $n$-tuple of positive invertible operators on a Hilbert space, we present some variants of Ando--Hiai type inequalities for deformed means from an $n$-variable operator mean by an operator mean, which is related to the information monotonicity of a certain unital positive linear map. As an application, we investigate the monotonicity of the power mean from the deformed mean in terms of the generalized Kantorovich constants under the operator order. Moreover, we improve the norm inequality for the operator power means related to the Log-Euclidean mean in terms of the Specht ratio. △ Less

Submitted 25 November, 2019; originally announced November 2019.

MSC Class: 47A64

Seminorm and numerical radius inequalities of operators in semi-Hilbertian spaces

Authors: M. S. Moslehian, Q. Xu, A. Zamani

Abstract: Let $A$ be a positive bounded operator on a Hilbert space $\big(\mathcal{H}, \langle \cdot, \cdot\rangle \big)$. The semi-inner product ${\langle x, y\rangle}_A := \langle Ax, y\rangle$, $x, y\in\mathcal{H},$ induces a seminorm ${\|\cdot\|}_A$ on $\mathcal{H}$. Let ${\|T\|}_A,\ w_A(T),$ and $c_A(T)$ denote the $A$-operator seminorm, the $A$-numerical radius, and the $A$-Crawford number of an opera… ▽ More Let $A$ be a positive bounded operator on a Hilbert space $\big(\mathcal{H}, \langle \cdot, \cdot\rangle \big)$. The semi-inner product ${\langle x, y\rangle}_A := \langle Ax, y\rangle$, $x, y\in\mathcal{H},$ induces a seminorm ${\|\cdot\|}_A$ on $\mathcal{H}$. Let ${\|T\|}_A,\ w_A(T),$ and $c_A(T)$ denote the $A$-operator seminorm, the $A$-numerical radius, and the $A$-Crawford number of an operator $T$ in the semi-Hilbertian space $\big(\mathcal{H}, {\|\cdot\|}_A\big)$, respectively. In this paper, we present some seminorm inequalities and equalities for semi-Hilbertian space operators. More precisely, we give some necessary and sufficient conditions for two orthogonal semi-Hilbertian operators satisfy Pythagoras' equality. In addition, we derive new upper and lower bounds for the numerical radius of operators in semi-Hilbertian spaces. In particular, we show that \begin{align*} \frac{1}{16} {\|TT^{\sharp_{A}} + T^{\sharp_{A}}T\|}^{2}_{A} + \frac{1}{16}c_{A}\Big(\big(T^2 + (T^{\sharp_{A}})^2\big)^2\Big) \leq w^4_{A}(T) \leq \frac{1}{8} {\|TT^{\sharp_{A}} + T^{\sharp_{A}}T\|}^{2}_{A} + \frac{1}{2}w^2_{A}(T^2), \end{align*} where $T^{\sharp_A}$ is a distinguished $A$-adjoint operator of $T$. Some applications of our inequalities are also provided. △ Less

Submitted 8 October, 2019; originally announced October 2019.

MSC Class: 47A05; 46C05; 47B65; 47A12

Journal ref: Linear Algebra Appl. 591 (2020), 299--321

Numerical radius inequalities concerning with algebraic norms

Authors: A. Zamani, M. S. Moslehian, Q. Xu, C. Fu

Abstract: We give an expression for a generalized numerical radius of Hilbert space operators and then apply it to obtain upper and lower bounds for the generalized numerical radius. We also establish some generalized numerical radius inequalities involving the product of two operators. Applications of our inequalities are also provided. We give an expression for a generalized numerical radius of Hilbert space operators and then apply it to obtain upper and lower bounds for the generalized numerical radius. We also establish some generalized numerical radius inequalities involving the product of two operators. Applications of our inequalities are also provided. △ Less

Submitted 25 September, 2019; originally announced September 2019.

Comments: It is submitted on 11-Jul-2019 to a research journal

MSC Class: 47A12; 47A30

Noncommutative versions of inequalities in quantum information theory

Authors: Ali Dadkhah, Mohammad Sal Moslehian, Kenjiro Yanagi

Abstract: In this paper, we aim to replace in the definitions of covariance and correlation the usual trace {\rm Tr} by a tracial positive map between unital $C^*$-algebras and to replace the functions $x^α$ and $x^{1-α}$ by functions $f$ and $g$ satisfying some mild conditions. These allow us to define the generalized covariance, the generalized variance, the generalized correlation and the generalized Wig… ▽ More In this paper, we aim to replace in the definitions of covariance and correlation the usual trace {\rm Tr} by a tracial positive map between unital $C^*$-algebras and to replace the functions $x^α$ and $x^{1-α}$ by functions $f$ and $g$ satisfying some mild conditions. These allow us to define the generalized covariance, the generalized variance, the generalized correlation and the generalized Wigner--Yanase--Dyson skew information related to the tracial positive maps and functions $f$ and $g$. We persent a generalization of Heisenberg's uncertainty relation in the noncommutative framework. We extend some inequalities and properties for the generalized correlation and the generalized Wigner--Yanase--Dyson skew information. Furthermore, we extend some inequalities for the generalized skew information such as uncertainty relation and the relation between the generalized variance and the generalized skew information. △ Less

Submitted 11 May, 2019; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: 19 pages, to appear in Analysis and Mathematical Physics. Some corrections has been done

MSC Class: 46L05; 47A63; 81P15

Journal ref: Anal. Math. Phys. 9 (2019), no. 4, 2151--2169

Extensions of the Lax-Milgram theorem to Hilbert C*-modules

Authors: R. Eskandari, M. Frank, V. M. Manuilov, M. S. Moslehian

Abstract: We present three versions of the Lax-Milgram theorem in the framework of Hilbert C*-modules, two for those over W*-algebras and one for those over C*-algebras of compact operators. It is remarkable that while the Riesz theorem is not valid for certain Hilbert C*-modules over C*-algebras of compact operators, our Lax-Milgram theorem turns out to be valid for all of them. We also give several exampl… ▽ More We present three versions of the Lax-Milgram theorem in the framework of Hilbert C*-modules, two for those over W*-algebras and one for those over C*-algebras of compact operators. It is remarkable that while the Riesz theorem is not valid for certain Hilbert C*-modules over C*-algebras of compact operators, our Lax-Milgram theorem turns out to be valid for all of them. We also give several examples to illustrate our results, in particular, we show that the main theorem is not true for Hilbert modules over arbitrary C*-algebras. △ Less

Submitted 30 April, 2019; originally announced May 2019.

Comments: 13 pages

Journal ref: Positivity 24 (2020), no. 4, 1169--1180

Halmos' two projections theorem for Hilbert $C^*$-module operators and the Friedrichs

Authors: Wei Luo, Mohammad Sal Moslehian, Qingxiang Xu

Abstract: Halmos' two projections theorem for Hilbert space operators is one of the fundamental results in operator theory. In this paper, we introduce the term of two harmonious projections in the context of adjointable operators on Hilbert $C^*$-modules, extend Halmos' two projections theorem to the case of two harmonious projections. We also give some new characterizations of the closed submodules and th… ▽ More Halmos' two projections theorem for Hilbert space operators is one of the fundamental results in operator theory. In this paper, we introduce the term of two harmonious projections in the context of adjointable operators on Hilbert $C^*$-modules, extend Halmos' two projections theorem to the case of two harmonious projections. We also give some new characterizations of the closed submodules and their associated projections. As an application, a norm equation associated to a characterization of the Friedrichs angle is proved to be true in the framework of Hilbert $C^*$-modules. △ Less

Submitted 24 April, 2019; originally announced April 2019.

Comments: 26 pages, to appear in Linear Algebra Appl. (LAA)

MSC Class: 46L08; 47A05

Journal ref: Linear Algebra Appl. 577 (2019), 134--158

Positivity of $2\times 2$ block matrices of operators

Authors: Mohammad Sal Moslehian, Mohsen Kian, Qingxiang Xu

Abstract: We review some of the significant generalizations and applications of the celebrated Douglas theorem on the equivalence of factorization, range inclusion, and majorization of operators. We then apply it to find a characterization of the positivity of $2\times 2$ block matrices of operators in Hilbert spaces and finally describe the nature of such block matrices and provide several ways for showing… ▽ More We review some of the significant generalizations and applications of the celebrated Douglas theorem on the equivalence of factorization, range inclusion, and majorization of operators. We then apply it to find a characterization of the positivity of $2\times 2$ block matrices of operators in Hilbert spaces and finally describe the nature of such block matrices and provide several ways for showing their positivity. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 17 pages. This expository paper is appeared in Banach J. Math. Anal

MSC Class: 47A63; 46L05

Journal ref: Banach J. Math. Anal. 13 (2019), no. 3, 726--743

Non-linear positive maps between $C^*$-algebras

Authors: Ali Dadkhah, Mox Sal Moslehian

Abstract: We present some properties of (not necessarily linear) positive maps between $C^*$-algebras. We first extend the notion of Lieb functions to that of Lieb positive maps between $C^*$-algebras. Then we give some basic properties and fundamental inequalities related to such maps. Next, we study $n$-positive maps ($n\geq 2$). We show that if for a unital $3$-positive map… ▽ More We present some properties of (not necessarily linear) positive maps between $C^*$-algebras. We first extend the notion of Lieb functions to that of Lieb positive maps between $C^*$-algebras. Then we give some basic properties and fundamental inequalities related to such maps. Next, we study $n$-positive maps ($n\geq 2$). We show that if for a unital $3$-positive map $Φ: \mathscr{A}\longrightarrow\mathscr{B}$ between unital $C^*$-algebras and some $ A\in \mathscr{A}$ equality $Φ(A^*A)= Φ(A)^* Φ(A)$ holds, then $Φ(XA)=Φ(X)Φ(A)$ for all $X \in \mathscr{A}$. In addition, we prove that for a certain class of unital positive maps $Φ: \mathscr{A}\longrightarrow\mathscr{B}$ between unital $C^*$-algebras, the inequality $Φ(αA)\leqαΦ(A)$ holds for all $ α\in [0,1]$ and all positive elements $ A\in \mathscr{A}$ if and only if $Φ(0)=0$. Furthermore, we show that if for some $α$ in the unit ball of $\mathbb{C}$ or in $\mathbb{R}_+$ with $|α|\neq 0,1$, the equality $Φ(αI)=αI$ holds, then $Φ$ is additive on positive elements of $\mathscr{A}$. Moreover, we present a mild condition for a $6$-positive map, which ensures its linearity. △ Less

Submitted 7 November, 2018; originally announced November 2018.

Comments: 20 pages, to appear in Linear Multilinear Algebra

MSC Class: 15A60; 47A63

Journal ref: Linear Multilinear Algebra 68 (2020), no. 8, 1501--1517

Non-commutative Stein inequality and its applications

Authors: Ali Talebi, Mohammad Sal Moslehian

Abstract: The non-commutative Stein inequality asks whether there exists a constant $C_{p,q}$ depending only on $p, q$ such that \begin{equation*} \left\| \left(\sum_{n} |\mathcal{E}_{n} (x_n) |^{q}\right)^{\frac{1}{q}} \right\|_p \leq C_{p,q} \left\| \left(\sum_{n} | x_n |^q \right)^{\frac{1}{q}}\right \|_p\qquad \qquad (S_{p,q}), \end{equation*} for (positive) sequences $(x_n)$ in $L_p(\mathcal{M})$. The… ▽ More The non-commutative Stein inequality asks whether there exists a constant $C_{p,q}$ depending only on $p, q$ such that \begin{equation*} \left\| \left(\sum_{n} |\mathcal{E}_{n} (x_n) |^{q}\right)^{\frac{1}{q}} \right\|_p \leq C_{p,q} \left\| \left(\sum_{n} | x_n |^q \right)^{\frac{1}{q}}\right \|_p\qquad \qquad (S_{p,q}), \end{equation*} for (positive) sequences $(x_n)$ in $L_p(\mathcal{M})$. The validity of $(S_{p,2})$ for $1 < p < \infty$ and $(S_{p,1})$ for $1 \leq p < \infty$ are known. In this paper, we verify (i) $(S_{p,\infty})$ for $1 < p \leq \infty$; (ii) $(S_{p,p})$ for $1 \leq p < \infty$; (iii) $(S_{p,q})$ for $1 \leq q \leq 2$ and $q<p<\infty$. We also present some applications. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 11 pages, to appear in Comm. Statist. Theory Methods

MSC Class: 46L53; 47A30; 60E15

Journal ref: Comm. Statist. Theory Methods 48 (2019), no. 7, 1611--1620

A variance bound for a general function of independent noncommutative random variables

Authors: Ali Talebi, Mohammad Sal Moslehian

Abstract: The main purpose of this paper is to establish a noncommutative analogue of the Efron--Stein inequality, which bounds the variance of a general function of some independent random variables. Moreover, we state an operator version including random matrices, which extends a result of D. Paulin et al. [Ann. Probab. 44 (2016), no. 5, 3431--3473]. Further, we state a Steele type inequality in the frame… ▽ More The main purpose of this paper is to establish a noncommutative analogue of the Efron--Stein inequality, which bounds the variance of a general function of some independent random variables. Moreover, we state an operator version including random matrices, which extends a result of D. Paulin et al. [Ann. Probab. 44 (2016), no. 5, 3431--3473]. Further, we state a Steele type inequality in the framework of noncommutative probability spaces. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 15 pages (to appear in Quaest. Math.)

MSC Class: Primary 46L53; Secondary 60E15

Journal ref: Quaest. Math. 42 (2019), no. 3, 307--318

Operator Ky Fan type inequalities

Authors: S. Habibzadeh, J. Rooin, M. S. Moslehian

Abstract: In this paper, we extend some significant Ky Fan type inequalities in a large setting to operators on Hilbert spaces and derive their equality conditions. Among other things, we prove that if $f:[0,\infty)\rightarrow[0,\infty)$ is an operator monotone function with $f (1) = 1$, $f'(1)=μ$, and associated mean $σ$, then for all operators $A$ and $B$ on a complex Hilbert space $\mathscr{H}$ such that… ▽ More In this paper, we extend some significant Ky Fan type inequalities in a large setting to operators on Hilbert spaces and derive their equality conditions. Among other things, we prove that if $f:[0,\infty)\rightarrow[0,\infty)$ is an operator monotone function with $f (1) = 1$, $f'(1)=μ$, and associated mean $σ$, then for all operators $A$ and $B$ on a complex Hilbert space $\mathscr{H}$ such that $0<A,B\leq\frac{1}{2}I$, we have \begin{equation*} A'\nabla_μB'-A'σB'\leq A\nabla_μB-AσB, \end{equation*} where $I$ is the identity operator on $\mathscr{H}$, $A':=I-A$, $B':=I-B$, and $\nabla_μ$ is the $μ$-weighted arithmetic mean. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 14 pages (Linear Algebra Appl.)

MSC Class: 47A64; 47A63; 47B15; 47B07; 15A42

Journal ref: Linear Algebra Appl. 556 (2018), 220-237

Norm-parallelism and the Davis--Wielandt radius of Hilbert space operators

Authors: A. Zamani, M. S. Moslehian, M. T. Chien, H. Nakazato

Abstract: We present a necessary and sufficient condition for the norm-parallelism of bounded linear operators on a Hilbert space. We also give a characterization of the Birkhoff--James orthogonality for Hilbert space operators. Moreover, we discuss the connection between norm-parallelism to the identity operator and an equality condition for the Davis--Wielandt radius. Some other related results are also d… ▽ More We present a necessary and sufficient condition for the norm-parallelism of bounded linear operators on a Hilbert space. We also give a characterization of the Birkhoff--James orthogonality for Hilbert space operators. Moreover, we discuss the connection between norm-parallelism to the identity operator and an equality condition for the Davis--Wielandt radius. Some other related results are also discussed. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 11 pages, to appear in Linear Multilinear Algebra

MSC Class: Primary 46B20; Secondary 47L05; 47A12

Journal ref: Linear Multilinear Algebra 67 (2019), no. 11, 2147--2158

Sharp inequalities for the numerical radius of block operator matrices

Authors: M. Ghaderi Aghideh, M. S. Moslehian, J. Rooin

Abstract: In this paper, we present several sharp upper bounds for the numerical radii of the diagonal and off-diagonal parts of the $2\times2$ block operator matrix $\begin{bmatrix}A&B\\ C&D\end{bmatrix}$. Among extensions of some results of Kittaneh et al., it is shown that if $T=\begin{bmatrix}A&0\\ 0&D\end{bmatrix}$, and $f$ and $g$ are non-negative continuous functions on $[0,\infty)$ such that… ▽ More In this paper, we present several sharp upper bounds for the numerical radii of the diagonal and off-diagonal parts of the $2\times2$ block operator matrix $\begin{bmatrix}A&B\\ C&D\end{bmatrix}$. Among extensions of some results of Kittaneh et al., it is shown that if $T=\begin{bmatrix}A&0\\ 0&D\end{bmatrix}$, and $f$ and $g$ are non-negative continuous functions on $[0,\infty)$ such that $f(t)g(t)=t\,\,(t\geq 0)$, then for all nonnegative nondecreasing convex functions $h$ on $[0,\infty)$ , we obtain that \begin{align*}h\left(w^r(T)\right)\leq \max\left(\left\|\frac{1}{p}h\left(f^{pr}(\left|A\right|)\right)+ \frac{1}{q}h\left(g^{qr}(\left|A^*\right|)\right)\right\|, \left\|\frac{1}{p}h\left(f^{pr}(\left|D\right|)\right)+ \frac{1}{q}h\left(g^{qr}(\left|D^*\right|)\right)\right\|\right), \end{align*} where $p, q>1$ with $\frac{1}{p}+\frac{1}{q}=1$ and $r\min(p,q)\geq 2$. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Comments: 18 pages, to appear in Analysis Mathematica

MSC Class: 47A12

Douglas factorization theorem revisited

Authors: Vladimir Manuilov, Mohammad Sal Moslehian, Qingxiang Xu

Abstract: Inspired by the Douglas lemma, we investigate the solvability of the operator equation $AX=C$ in the framework of Hilbert C*-modules. Utilizing partial isometries, we present its general solution when $A$ is a semi-regular operator. For such an operator $A$, we show that the equation $AX=C$ has a positive solution if and only if the range inclusion ${\mathcal R}(C) \subseteq {\mathcal R}(A)$ holds… ▽ More Inspired by the Douglas lemma, we investigate the solvability of the operator equation $AX=C$ in the framework of Hilbert C*-modules. Utilizing partial isometries, we present its general solution when $A$ is a semi-regular operator. For such an operator $A$, we show that the equation $AX=C$ has a positive solution if and only if the range inclusion ${\mathcal R}(C) \subseteq {\mathcal R}(A)$ holds and $CC^*\le t\, CA^*$ for some $t>0$. In addition, we deal with the solvability of the operator equation $(P+Q)^{1/2}X=P$, where $P$ and $Q$ are projections. We provide a counterexample to show that there exists a $C^*$-algebra $\mathfrak{A}$, a Hilbert $\mathfrak{A}$-module $\mathscr{H}$ and projections $P$ and $Q$ on $\mathscr{H}$ such that the operator equation $(P+Q)^{1/2}X=P$ has no solution. Moreover, we give a perturbation result related to the latter equation. △ Less

Submitted 8 October, 2019; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: 14 pages, title changed, final version

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 3, 1139--1151

Power means of probability measures and Ando-Hiai inequality

Authors: Mohsen Kian, Mohammad Sal Moslehian

Abstract: Let $μ$ be a probability measure of compact support on the set $\mathbb{P}_n$ of all positive definite matrices, let $t\in(0,1]$, and let $P_t(μ)$ be the unique positive solution of $X=\int_{\mathbb{P}_n}X\sharp_t Z dμ(Z)$. In this paper, we show that $$ P_t(μ)\leq I\quad \Longrightarrow\quad P_{\frac{t}{p}}(ν)\leq P_t(μ)$$ for every $p\geq1$, where $ν(Z)=μ(Z^{1/p})$. This provides an extension… ▽ More Let $μ$ be a probability measure of compact support on the set $\mathbb{P}_n$ of all positive definite matrices, let $t\in(0,1]$, and let $P_t(μ)$ be the unique positive solution of $X=\int_{\mathbb{P}_n}X\sharp_t Z dμ(Z)$. In this paper, we show that $$ P_t(μ)\leq I\quad \Longrightarrow\quad P_{\frac{t}{p}}(ν)\leq P_t(μ)$$ for every $p\geq1$, where $ν(Z)=μ(Z^{1/p})$. This provides an extension of the Ando--Hiai inequality for matrix power means. Moreover, we prove that if $Φ:\mathbb{M}_n\to\mathbb{M}_m$ is a unital positive linear map, then $Φ(P_t(μ))\leq P_t(ν)$ for all $t\in[-1,1]\backslash\{0\}$, where $ν$ is a certain measure. △ Less

Submitted 22 September, 2019; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: Submitted on 24 November 2018

MSC Class: 47A63; 47A64

Orthogonality preserving property for pairs of operators on Hilbert $C^*$-modules

Authors: Michael Frank, M. S. Moslehian, Ali Zamani

Abstract: We investigate the orthogonality preserving property for pairs of mappings on inner product $C^*$-modules extending existing results for a single orthogonality-preserving mapping. Guided by the point of view that the $C^*$-valued inner product structure of a Hilbert $C^*$-module is determined essentially by the module structure and by the orthogonality structure, pairs of linear and local orthogon… ▽ More We investigate the orthogonality preserving property for pairs of mappings on inner product $C^*$-modules extending existing results for a single orthogonality-preserving mapping. Guided by the point of view that the $C^*$-valued inner product structure of a Hilbert $C^*$-module is determined essentially by the module structure and by the orthogonality structure, pairs of linear and local orthogonality-preserving mappings are investigated, not a priori bounded. The intuition is that most often $C^*$-linearity and boundedness can be derived from the settings under consideration. In particular, we obtain that if $\mathscr{A}$ is a $C^{*}$-algebra and $T, S:\mathscr{E}\longrightarrow \mathscr{F}$ are two bounded ${\mathscr A}$-linear mappings between full Hilbert $\mathscr{A}$-modules, then $\langle x, y\rangle = 0$ implies $\langle T(x), S(y)\rangle = 0$ for all $x, y\in \mathscr{E}$ if and only if there exists an element $γ$ of the center $Z(M({\mathscr A}))$ of the multiplier algebra $M({\mathscr A})$ of ${\mathscr A}$ such that $\langle T(x), S(y)\rangle = γ\langle x, y\rangle$ for all $x, y\in \mathscr{E}$. In particular, for adjointable operators $S$ we have $T=(S^*)^{-1}$, and any bounded invertible module operator $T$ may appear. Varying the conditions on the mappings $T$ and $S$ we obtain further affirmative results for local operators and for pairs of a bounded and of an unbounded module operator with bounded inverse, among others. Also, unbounded operators with disjoint ranges are considered. The proving techniques give new insights. △ Less

Submitted 27 April, 2021; v1 submitted 10 November, 2017; originally announced November 2017.

Comments: 23 pages, In this last revision several new examples are added and some minor changes appeared in the text. To appear in Aequat. Math

MSC Class: 47B49 (Primary) 46L05; 46L08 (Secondary)

Journal ref: Aequat. Math. 95 (2021), 867-887

An extension of orthogonality relations based on norm derivatives

Authors: A. Zamani, M. S. Moslehian

Abstract: We introduce the relation $ρ_λ$-orthogonality in the setting of normed spaces as an extension of some orthogonality relations based on norm derivatives, and present some of its essential properties. Among other things, we give a characterization of inner product spaces via the functional $ρ_λ$. Moreover, we consider a class of linear mappings preserving this new kind of orthogonality. In particula… ▽ More We introduce the relation $ρ_λ$-orthogonality in the setting of normed spaces as an extension of some orthogonality relations based on norm derivatives, and present some of its essential properties. Among other things, we give a characterization of inner product spaces via the functional $ρ_λ$. Moreover, we consider a class of linear mappings preserving this new kind of orthogonality. In particular, we show that a linear mapping preserving $ρ_λ$-orthogonality has to be a similarity, that is, a scalar multiple of an isometry. △ Less

Submitted 31 October, 2018; v1 submitted 10 November, 2017; originally announced November 2017.

Comments: 13 pages, to appear in The Quarterly Journal of Mathematics

MSC Class: 46B20 (Primary); 47B49; 46C50 (Secondary)

Journal ref: Q. J. Math. 70 (2019), no. 2, 379--393

Approximately angle preserving mappings

Authors: Mohammad Sal Moslehian, Ali Zamani, Paweł Wójcik

Abstract: In this paper, we present some characterizations of linear mappings, which preserve vectors at a specific angle. We introduce the concept of $(\varepsilon, c)$-angle preserving mappings for $|c|<1$ and $0\leq \varepsilon < 1 + |c|$. In addition, we define $\widehat{\varepsilon}\,(T, c)$ as the ``smallest'' number $\varepsilon$ for which $T$ is $(\varepsilon, c)$-angle preserving mapping. We state… ▽ More In this paper, we present some characterizations of linear mappings, which preserve vectors at a specific angle. We introduce the concept of $(\varepsilon, c)$-angle preserving mappings for $|c|<1$ and $0\leq \varepsilon < 1 + |c|$. In addition, we define $\widehat{\varepsilon}\,(T, c)$ as the ``smallest'' number $\varepsilon$ for which $T$ is $(\varepsilon, c)$-angle preserving mapping. We state some properties of the function $\widehat{\varepsilon}\,(., c)$, and then propose an exact formula for $\widehat{\varepsilon}\,(T, c)$ in terms of the norm $\|T\|$ and the minimum modulus $[T]$ of $T$. Finally, we characterize the approximately angle preserving mappings. △ Less

Submitted 31 October, 2018; v1 submitted 10 November, 2017; originally announced November 2017.

Comments: 12 pages, to appear in Bull. Austral. Math. Soc

MSC Class: 47B49; 46C05; 47L05

Journal ref: Bull. Aust. Math. Soc. 99 (2019) 485-496

On majorization and range inclusion of operators on Hilbert $C^*$-modules

Authors: Xiaochun Fang, Mohammad Sal Moslehian, Qingxiang Xu

Abstract: It is proved that for adjointable operators $A$ and $B$ between Hilbert $C^*$-modules, certain majorization conditions are always equivalent without any assumptions on $\overline{\mathcal{R}(A^*)}$, where $A^*$ denotes the adjoint operator of $A$ and $\overline{\mathcal{R}(A^*)}$ is the norm closure of the range of $A^*$. In the case that $\overline{{\mathcal R}(A^*)}$ is not orthogonally compleme… ▽ More It is proved that for adjointable operators $A$ and $B$ between Hilbert $C^*$-modules, certain majorization conditions are always equivalent without any assumptions on $\overline{\mathcal{R}(A^*)}$, where $A^*$ denotes the adjoint operator of $A$ and $\overline{\mathcal{R}(A^*)}$ is the norm closure of the range of $A^*$. In the case that $\overline{{\mathcal R}(A^*)}$ is not orthogonally complemented, it is proved that there always exists an adjointable operator $B$ whose range is contained in that of $A$, whereas the associated equation $AX=B$ for adjointable operators is unsolvable. △ Less

Submitted 6 November, 2017; originally announced November 2017.

Comments: 9 pages, to appear in Linear Multilinear Algebra

MSC Class: 46L08; 47A05

Journal ref: Linear Multilinear Algebra 66 (2018), no. 12, 2493-2500

Quadratic interpolation of the Heinz means

Authors: Fuad Kittaneh, Mohammad Sal Moslehian, Mohammad Sababheh

Abstract: The main goal of this article is to present several quadratic refinements and reverses of the well known Heinz inequality, for numbers and matrices, where the refining term is a quadratic function in the mean parameters. The proposed idea introduces a new approach to these inequalities, where polynomial interpolation of the Heinz function plays a major role. As a consequence, we obtain a new proof… ▽ More The main goal of this article is to present several quadratic refinements and reverses of the well known Heinz inequality, for numbers and matrices, where the refining term is a quadratic function in the mean parameters. The proposed idea introduces a new approach to these inequalities, where polynomial interpolation of the Heinz function plays a major role. As a consequence, we obtain a new proof of the celebrated Heron-Heinz inequality proved by Bhatia, then we study an optimization problem to find the best possible refinement. As applications, we present matrix versions including unitarily invariant norms, trace and determinant versions. △ Less

Submitted 23 October, 2017; originally announced October 2017.

Comments: 20 pages, to appear in Math. Inequal. Appl

MSC Class: 15A39; 15B48; 47A30; 47A63

Journal ref: Math. Inequal. Appl. 21 (2018), no. 3, 739-57

Norm inequalities related to the Heron and Heinz means

Authors: Y. Kapil, C. Conde, M. S. Moslehian, M. Singh, M. Sababheh

Abstract: In this article, we present several inequalities treating operator means and the Cauchy-Schwarz inequality. In particular, we present some new comparisons between operator Heron and Heinz means, several generalizations of the difference version of the Heinz means and further refinements of the Cauchy-Schwarz inequality. The techniques used to accomplish these results include convexity and Löwner m… ▽ More In this article, we present several inequalities treating operator means and the Cauchy-Schwarz inequality. In particular, we present some new comparisons between operator Heron and Heinz means, several generalizations of the difference version of the Heinz means and further refinements of the Cauchy-Schwarz inequality. The techniques used to accomplish these results include convexity and Löwner matrices. △ Less

Submitted 28 September, 2017; originally announced September 2017.

Comments: 15 pages, Mediterr. J. Math.(to appear)

MSC Class: 47A30; 47A63; 47A64; 15A60

Journal ref: Mediterr. J. Math. 14 (2017), no. 5, Art. 213, 18 pp

Etemadi and Kolmogorov inequalities in noncommutative probability spaces

Authors: Ali Talebi, Mohammad Sal Moslehian, Ghadir Sadeghi

Abstract: Based on a maximal inequality type result of Cuculescu, we establish some noncommutative maximal inequalities such as Hajék--Penyi inequality and Etemadi inequality. In addition, we present a noncommutative Kolmogorov type inequality by showing that if $x_1, x_2, \ldots, x_n$ are successively independent self-adjoint random variables in a noncommutative probability space $(\mathfrak{M}, τ)$ such t… ▽ More Based on a maximal inequality type result of Cuculescu, we establish some noncommutative maximal inequalities such as Hajék--Penyi inequality and Etemadi inequality. In addition, we present a noncommutative Kolmogorov type inequality by showing that if $x_1, x_2, \ldots, x_n$ are successively independent self-adjoint random variables in a noncommutative probability space $(\mathfrak{M}, τ)$ such that $τ\left(x_k\right) = 0$ and $s_k s_{k-1} = s_{k-1} s_k$, where $s_k = \sum_{j=1}^k x_j$, then for any $λ> 0$ there exists a projection $e$ such that $$1 - \frac{(λ+ \max_{1 \leq k \leq n} \|x_k\|)^2}{\sum_{k=1}^n {\rm var}(x_k)}\leq τ(e)\leq \frac{τ(s_n^2)}{λ^2}.$$ As a result, we investigate the relation between convergence of a series of independent random variables and the corresponding series of their variances. △ Less

Submitted 23 September, 2017; originally announced September 2017.

Comments: 17 pages; to appear in Michigan Math. J

MSC Class: Primary 46L53; Secondary 46L10; 47A30; 60F99

Journal ref: Michigan Math. J. 68 (2019), no. 1, 57--69

Uffe Haagerup - His life and mathematics

Authors: Mohammad Sal Moslehian, Erling Størmer, Steen Thorbjørnsen, Carl Winsløw

Abstract: In remembrance of Professor Uffe Valentin Haagerup (1949--2015), as a brilliant mathematician, we review some aspects of his life, and his outstanding mathematical accomplishments. In remembrance of Professor Uffe Valentin Haagerup (1949--2015), as a brilliant mathematician, we review some aspects of his life, and his outstanding mathematical accomplishments. △ Less

Submitted 12 September, 2017; originally announced September 2017.

Comments: 31 pages, to appear in Adv. Oper. Theory (AOT)

MSC Class: Primary 01A99; Secondary 01A60; 01A61; 43-03; 46-03; 47-03

Journal ref: Adv. Oper. Theory 3 (2018), no. 1, 295-325

Operator maps of Jensen-type

Authors: Frank Hansen, Mohammad Sal Moslehian, Hamed Najafi

Abstract: Let $\mathbb{B}_J(\mathcal H)$ denote the set of self-adjoint operators acting on a Hilbert space $\mathcal{H}$ with spectra contained in an open interval $J$. A map $Φ\colon\mathbb{B}_J(\mathcal H)\to {\mathbb B}(\mathcal H)_\text{sa} $ is said to be of Jensen-type if \[ Φ(C^*AC+D^*BD)\le C^*Φ(A)C+D^*Φ(B)D \] for all $ A, B \in B_J(\mathcal H)$ and bounded linear operators $ C,D $ acting on… ▽ More Let $\mathbb{B}_J(\mathcal H)$ denote the set of self-adjoint operators acting on a Hilbert space $\mathcal{H}$ with spectra contained in an open interval $J$. A map $Φ\colon\mathbb{B}_J(\mathcal H)\to {\mathbb B}(\mathcal H)_\text{sa} $ is said to be of Jensen-type if \[ Φ(C^*AC+D^*BD)\le C^*Φ(A)C+D^*Φ(B)D \] for all $ A, B \in B_J(\mathcal H)$ and bounded linear operators $ C,D $ acting on $ \mathcal H $ with $ C^*C+D^*D=I$, where $I$ denotes the identity operator. We show that a Jensen-type map on a infinite dimensional Hilbert space is of the form $Φ(A)=f(A)$ for some operator convex function $ f $ defined in $ J $. △ Less

Submitted 26 October, 2017; v1 submitted 23 August, 2017; originally announced August 2017.

Comments: 8 pages

MSC Class: 47A63 (Primary); 47B10; 47A30 (Secondary)

Journal ref: Positivity 22 (2018), no. 5, 1255-1263

Characterizations of operator Birkhoff-James orthogonality

Authors: Mohammad Sal Moslehian, Ali Zamani

Abstract: In this paper, we obtain some characterizations of the (strong) Birkhoff--James orthogonality for elements of Hilbert $C^*$-modules and certain elements of $\mathbb{B}(\mathscr{H})$. Moreover, we obtain a kind of Pythagorean relation for bounded linear operators. In addition, for $T\in \mathbb{B}(\mathscr{H})$ we prove that if the norm attaining set $\mathbb{M}_T$ is a unit sphere of some finite d… ▽ More In this paper, we obtain some characterizations of the (strong) Birkhoff--James orthogonality for elements of Hilbert $C^*$-modules and certain elements of $\mathbb{B}(\mathscr{H})$. Moreover, we obtain a kind of Pythagorean relation for bounded linear operators. In addition, for $T\in \mathbb{B}(\mathscr{H})$ we prove that if the norm attaining set $\mathbb{M}_T$ is a unit sphere of some finite dimensional subspace $\mathscr{H}_0$ of $\mathscr{H}$ and $\|T\|_{{\mathscr{H}_0}^\perp} < \|T\|$, then for every $S\in\mathbb{B}(\mathscr{H})$, $T$ is the strong Birkhoff--James orthogonal to $S$ if and only if there exists a unit vector $ξ\in {\mathscr{H}}_0$ such that $\|T\|ξ= |T|ξ$ and $S^*Tξ= 0$. Finally, we introduce a new type of approximate orthogonality and investigate this notion in the setting of inner product $C^*$-modules. △ Less

Submitted 19 May, 2017; originally announced May 2017.

Comments: 14 pages, to appear in Canad. Math. Bull

MSC Class: 46L05; 46L08; 46B20

Journal ref: Canad. Math. Bull. 60 (2017), no. 4, 816--829

Noncommutative Blackwell-Ross martingale inequality

Authors: Ali Talebi, Mohammad Sal Moslehian, Ghadir Sadeghi

Abstract: We establish a noncommutative Blackwell--Ross inequality for supermartingales under a suitable condition which generalize Khan's works to the noncommutative setting. We then employ it to deduce an Azuma-type inequality. We establish a noncommutative Blackwell--Ross inequality for supermartingales under a suitable condition which generalize Khan's works to the noncommutative setting. We then employ it to deduce an Azuma-type inequality. △ Less

Submitted 19 May, 2017; originally announced May 2017.

Comments: 9 pages, to appear in Infin. Dimens. Anal. Quantum Probab. Relat. Top

MSC Class: Primary 46L53; Secondary 46L10; 47A30

Journal ref: Infin. Dimens. Anal. Quantum Probab. Relat. Top. 21 (2018), no. 1, 1850005, 9 pp

Relative Entropy and Tsallis Entropy of two Accretive Operators

Authors: M. Raïssouli, M. S. Moslehian, S. Furuichi

Abstract: Let $A$ and $B$ be two accretive operators. We first introduce the weighted geometric mean of $A$ and $B$ together with some related properties. Afterwards, we define the relative entropy as well as the Tsallis entropy of $A$ and $B$. The present definitions and their related results extend those already introduced in the literature for positive invertible operators. Let $A$ and $B$ be two accretive operators. We first introduce the weighted geometric mean of $A$ and $B$ together with some related properties. Afterwards, we define the relative entropy as well as the Tsallis entropy of $A$ and $B$. The present definitions and their related results extend those already introduced in the literature for positive invertible operators. △ Less

Submitted 19 May, 2017; originally announced May 2017.

Comments: 7 pages, to appear in C. R. Math. Acad. Sci. Paris

MSC Class: 47A63; 47A64; 46N10; 46L05

Journal ref: C. R. Math. Acad. Sci. Paris 355 (2017), no. 6, 687--693

Geometric aspects of $p$-angular and skew $p$-angular distances

Authors: J. Rooin, S. Habibzadeh, M. S. Moslehian

Abstract: Corresponding to the concept of $p$-angular distance $α_p[x,y]:=\left\lVert\lVert x\rVert^{p-1}x-\lVert y\rVert^{p-1}y\right\rVert$, we first introduce the notion of skew $p$-angular distance $β_p[x,y]:=\left\lVert \lVert y\rVert^{p-1}x-\lVert x\rVert^{p-1}y\right\rVert$ for non-zero elements of $x, y$ in a real normed linear space and study some of significant geometric properties of the $p$-angu… ▽ More Corresponding to the concept of $p$-angular distance $α_p[x,y]:=\left\lVert\lVert x\rVert^{p-1}x-\lVert y\rVert^{p-1}y\right\rVert$, we first introduce the notion of skew $p$-angular distance $β_p[x,y]:=\left\lVert \lVert y\rVert^{p-1}x-\lVert x\rVert^{p-1}y\right\rVert$ for non-zero elements of $x, y$ in a real normed linear space and study some of significant geometric properties of the $p$-angular and the skew $p$-angular distances. We then give some results comparing two different $p$-angular distances with each other. Finally, we present some characterizations of inner product spaces related to the $p$-angular and the skew $p$-angular distances. In particular, we show that if $p>1$ is a real number, then a real normed space $\mathcal{X}$ is an inner product space, if and only if for any $x,y\in \mathcal{X}\smallsetminus{\lbrace 0\rbrace}$, it holds that $α_p[x,y]\geqβ_p[x,y]$. △ Less

Submitted 19 May, 2017; originally announced May 2017.

Comments: 20 pages, to appear in Tokyo J. Math

MSC Class: 46B20; 46C15; 26D15

Journal ref: Tokyo J. Math. 41 (2018), no. 1, 253--272

Solutions of the system of operator equations $BXA=B=AXB$ via $*$-order

Authors: Mehdi Vosough, Mohammad Sal Moslehian

Abstract: In this paper, we establish some necessary and sufficient conditions for the existence of solutions to the system of operator equations $ BXA=B=AXB $ in the setting of bounded linear operators on a Hilbert space, where the unknown operator $X$ is called the inverse of $A$ along $B$. After that, under some mild conditions we prove that an operator $X$ is a solution of $ BXA=B=AXB $ if and only if… ▽ More In this paper, we establish some necessary and sufficient conditions for the existence of solutions to the system of operator equations $ BXA=B=AXB $ in the setting of bounded linear operators on a Hilbert space, where the unknown operator $X$ is called the inverse of $A$ along $B$. After that, under some mild conditions we prove that an operator $X$ is a solution of $ BXA=B=AXB $ if and only if $B \stackrel{*}{ \leq} AXA$, where the $*$-order $C\stackrel{*}{ \leq} D$ means $CC^*=DC^*, C^*C=C^*D$. Moreover we present the general solution of the equation above. Finally, we present some characterizations of $C \stackrel{*}{ \leq} D$ via other operator equations. △ Less

Submitted 19 May, 2017; originally announced May 2017.

Comments: 13 pages, to appear in Electron. J. Linear Algebra (ELA)

MSC Class: 15A24; 15B48; 47A62; 46L05

Journal ref: Electron. J. Linear Algebra 32 (2017), 172-183