Showing 1–8 of 8 results for author: Najafi, H

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

Characterization of some classes of graphs and their products as frame graph

Authors: H. Najafi, F. Abdollahi

Abstract: To each finite frame $\varphi$ in an inner product space $\mathcal{H}$ we associate a simple graph $G(\varphi)$, called {\it frame graph}, with the vectors of the frame as vertices and there is an edge between vertices $f$ and $g$ provided that $\langle f, g\rangle \neq 0$ [1]. In this paper the relation between the order of $G(\varphi)$ and the dimension of $\mathcal{H}$ is investigated for some… ▽ More To each finite frame $\varphi$ in an inner product space $\mathcal{H}$ we associate a simple graph $G(\varphi)$, called {\it frame graph}, with the vectors of the frame as vertices and there is an edge between vertices $f$ and $g$ provided that $\langle f, g\rangle \neq 0$ [1]. In this paper the relation between the order of $G(\varphi)$ and the dimension of $\mathcal{H}$ is investigated for some well-known classes of graphs and their products. △ Less

Submitted 5 January, 2022; originally announced January 2022.

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

Estimates of operator convex and operator monotone functions on bounded intervals

Authors: M. Fujii, M. S. Moslehian, H. Najafi, R. Nakamoto

Abstract: Recently the behavior of operator monotone functions on unbounded intervals with respect to the relation of strictly positivity has been investigated. In this paper we deeply study such behavior not only for operator monotone functions but also for operator convex functions on bounded intervals. More precisely, we prove that if $f$ is a nonlinear operator convex function on a bounded interval… ▽ More Recently the behavior of operator monotone functions on unbounded intervals with respect to the relation of strictly positivity has been investigated. In this paper we deeply study such behavior not only for operator monotone functions but also for operator convex functions on bounded intervals. More precisely, we prove that if $f$ is a nonlinear operator convex function on a bounded interval $(a,b)$ and $A, B$ are bounded linear operators acting on a Hilbert space with spectra in $(a,b)$ and $A-B$ is invertible, then $sf(A)+(1-s)f(B)>f(sA+(1-s)B)$. A short proof for a similar known result concerning a nonconstant operator monotone function on $[0,\infty)$ is presented. Another purpose is to find a lower bound for $f(A)-f(B)$, where $f$ is a nonconstant operator monotone function, by using a key lemma. We also give an estimation of the Furuta inequality, which is an excellent extension of the Löwner--Heinz inequality. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Comments: 10 pages, to appear in Hokkaido Math. J

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

Journal ref: Hokkaido Math. J. 45 (2016) , 325-336

Deformation of involution and multiplication in a C*-algebra

Authors: H. Najafi, M. S. Moslehian

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

Submitted 30 April, 2013; originally announced April 2013.

Comments: 8 pages, to appear in Studia Math. (IMPAN)

MSC Class: Primary 46L05; Secondary 46L10

Journal ref: Studia Math. 215 (2013), 31-37

An extension of the Lowner-Heinz inequality

Authors: Mohammad Sal Moslehian, Hamed Najafi

Abstract: We extend the celebrated Löwner--Heinz inequality by showing that if $A, B$ are Hilbert space operators such that $A > B \geq 0$, then A^r - B^r \geq ||A||^r-(||A||- \frac{1}{||(A-B)^{-1}||})^r > 0 for each $0 < r \leq 1$. As an application we prove that \log A - \log B \geq \log||A||- \log(||A||-\frac{1}{||(A-B)^{-1}||})>0. We extend the celebrated Löwner--Heinz inequality by showing that if $A, B$ are Hilbert space operators such that $A > B \geq 0$, then A^r - B^r \geq ||A||^r-(||A||- \frac{1}{||(A-B)^{-1}||})^r > 0 for each $0 < r \leq 1$. As an application we prove that \log A - \log B \geq \log||A||- \log(||A||-\frac{1}{||(A-B)^{-1}||})>0. △ Less

Submitted 12 July, 2012; originally announced July 2012.

Comments: 8 pages; To appear in Linear Algebra Appl. (LAA)

MSC Class: 47A63; 47B10; 47A30

Journal ref: Linear Algebra Appl. 437 (2012), no. 9, 2359-2365

On the binary relation $\leq_u$ on self-adjoint Hilbert space operators

Authors: M. S. Moslehian, S. M. S. Nabavi Sales, H. Najafi

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

Submitted 10 April, 2012; originally announced April 2012.

Comments: To appear in C. R. Math. Acad. Sci. Paris

MSC Class: 47A63; 47B15; 47B20

Journal ref: C. R. Math. Acad. Sci. Paris, 350 (2012), no. 7-8, 407-410

Around Operator Monotone Functions

Authors: M. S. Moslehian, H. Najafi

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

Submitted 30 October, 2011; originally announced October 2011.

Comments: 9 pages; to appear in Integral Equations Operator Theory (IEOT)

MSC Class: 47A63; 47B10; 47A30

Journal ref: Integral Equations Operator Theory 71 (2011), no. 4, 575-582