Showing 1–23 of 23 results for author: Kian, M

Hermitian Maps: Approximations and Completely Positive Extensions

Authors: Mohsen Kian, Mohsen Rostamian Delavar

Abstract: This study investigates Hermitian linear maps, focusing on their decomposition into completely positive (CP) maps and their extensions to CP maps using auxiliary spaces. We derive a precise lower bound on the Hilbert-Schmidt norm of the negative component in any CP decomposition, proving its attainability through the Jordan decomposition. Additionally, we demonstrate that the positive part of this… ▽ More This study investigates Hermitian linear maps, focusing on their decomposition into completely positive (CP) maps and their extensions to CP maps using auxiliary spaces. We derive a precise lower bound on the Hilbert-Schmidt norm of the negative component in any CP decomposition, proving its attainability through the Jordan decomposition. Additionally, we demonstrate that the positive part of this decomposition provides the optimal CP approximation in the Hilbert-Schmidt norm. We also determine the minimal dimension of an auxiliary space required to extend a Hermitian map to a CP map, with explicit constructions provided. Practical examples illustrate the application of our results. △ Less

Submitted 11 June, 2025; originally announced June 2025.

Deviation from Complete Positivity: Structural Insights and Quantum Information Applications

Authors: Mohsen Kian

Abstract: We introduce the CP-distance as a measure of how far a Hermitian map is from being completely positive, deriving key properties and bounds. We investigate the role of CP-distance in the structural analysis of positive Hermitian linear maps between matrix algebras, focusing on its implications for quantum information theory. In particular, we derive bounds on the detection strength of entanglement… ▽ More We introduce the CP-distance as a measure of how far a Hermitian map is from being completely positive, deriving key properties and bounds. We investigate the role of CP-distance in the structural analysis of positive Hermitian linear maps between matrix algebras, focusing on its implications for quantum information theory. In particular, we derive bounds on the detection strength of entanglement witnesses. We elucidate the interplay between CP-distance and the structural properties of positive maps, offering insights into their decompositions. We also analyze how the CP-distance influences the decompositions of positive Hermitian maps, revealing its impact on the balance between completely positive components. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Some Generalizations of Mercer inequality and its operator extensions

Authors: Mohsen Kian, Zainab Peymani Mazraj

Abstract: We study the Mercer inequality and its operator extension for superquadratic functions. In particular, we give a more general form of the Mercer inequality by replacing some constants by positive operators. As some consequences, our results produce a Jensen operator inequality for superquadratic functions. Moreover, we present some Mercer inequalities of Hermite-Hadamard's type. We study the Mercer inequality and its operator extension for superquadratic functions. In particular, we give a more general form of the Mercer inequality by replacing some constants by positive operators. As some consequences, our results produce a Jensen operator inequality for superquadratic functions. Moreover, we present some Mercer inequalities of Hermite-Hadamard's type. △ Less

Submitted 26 March, 2024; originally announced March 2024.

MSC Class: 47A63

Improved eigenvalue inequalities via two major subclasses of superquadratic functions

Authors: Mohsen Kian

Abstract: There exist two major subclasses in the class of superquadratic functions, one comprises concave and decreasing functions, while the other consists of convex and monotone increasing functions. Leveraging this distinction, we introduce eigenvalue inequalities for each case. The characteristics of these functions allow us to advance our findings in two ways: firstly, by refining existing results rel… ▽ More There exist two major subclasses in the class of superquadratic functions, one comprises concave and decreasing functions, while the other consists of convex and monotone increasing functions. Leveraging this distinction, we introduce eigenvalue inequalities for each case. The characteristics of these functions allow us to advance our findings in two ways: firstly, by refining existing results related to eigenvalues for convex functions, and secondly, by deriving complementary inequalities for other function types. To bolster our claims, we will provide illustrative examples. △ Less

Submitted 16 March, 2024; v1 submitted 10 July, 2023; originally announced July 2023.

MSC Class: 26A51; 15A45; 15A18; 47A56

Journal ref: Linear Algebra and its Applications (2023)

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

A new estimation of the quantum Chernoff bound

Authors: Mohsen Kian, Trung Hoa Dinh, 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$. In this paper, we intro… ▽ 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$. In this paper, we introduce a new class of functions that satisfy the above inequality. As a consequence, we derive a novel estimation of the quantum Chernoff bound. Additionally, we characterize matrix decreasing functions and establish matrix Powers-Störmer type inequalities for perspective functions. △ Less

Submitted 27 March, 2025; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: The paper has been re-organized and some new results have been added

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

How type of Convexity of the Core function affects the Csiszár $f$-divergence functional

Authors: Mohsen Kian

Abstract: We investigate how the type of Convexity of the Core function affects the Csiszár $f$-divergence functional. A general treatment for the type of convexity has been considered and the associated perspective functions have been studied. In particular, it has been shown that when the core function is \rm{MN}-convex, then the associated perspective function is jointly \rm{MN}-convex if the two scalar… ▽ More We investigate how the type of Convexity of the Core function affects the Csiszár $f$-divergence functional. A general treatment for the type of convexity has been considered and the associated perspective functions have been studied. In particular, it has been shown that when the core function is \rm{MN}-convex, then the associated perspective function is jointly \rm{MN}-convex if the two scalar mean \rm{M} and \rm{N} are the same. In the case where $\mathrm{M}\neq\mathrm{N}$, we study the type of convexity of the perspective function. As an application, we prove that the \textit{Hellinger distance} is jointly \rm{GG}-convex. As further applications, the matrix Jensen inequality has been developed for the perspective functions under different kinds of convexity. △ Less

Submitted 8 January, 2021; originally announced January 2021.

MSC Class: 26B25 . 94A17 . 15A45 . 26D15

Jointly convex mappings related to the Lieb's functional and Minkowski type operator inequalities

Authors: Mohsen Kian, Yuki Seo

Abstract: Employing the notion of operator log-convexity, we study joint concavity$/$ convexity of multivariable operator functions: $(A,B)\mapsto F(A,B)=h\left[ Φ(f(A))\ σ Ψ(g(B))\right]$, where $Φ$ and $Ψ$ are positive linear maps and $σ$ is an operator mean. As applications, we prove jointly concavity$/$convexity of matrix trace functions $\Tr\left\{ F(A,B)\right\}$. Moreover, considering positive multi-… ▽ More Employing the notion of operator log-convexity, we study joint concavity$/$ convexity of multivariable operator functions: $(A,B)\mapsto F(A,B)=h\left[ Φ(f(A))\ σ Ψ(g(B))\right]$, where $Φ$ and $Ψ$ are positive linear maps and $σ$ is an operator mean. As applications, we prove jointly concavity$/$convexity of matrix trace functions $\Tr\left\{ F(A,B)\right\}$. Moreover, considering positive multi-linear mappings in $F(A,B)$, our study of the joint concavity$/$ convexity of $(A_1,\cdots,A_k)\mapsto h\left[ Φ(f(A_1),\cdots,f(A_k))\right]$ provides some generalizations and complement to results of Ando and Lieb concerning the concavity$/$ convexity of maps involving tensor product. In addition, we present Minkowski type operator inequalities for a unial positive linear map, which is an operator version of Minkowski type matrix trace inequalities under a more general setting than Carlen and Lieb, Bekjan, and Ando and Hiai. △ Less

Submitted 24 October, 2020; originally announced October 2020.

MSC Class: 47A63; 47A56; 15A69

Journal ref: Analysis and Mathematical Physics-2021

Klein's trace inequality and superquadratic trace functions

Authors: Mohsen Kian, Mohammad W. Alomari

Abstract: We show that if $f$ is a non-negative superquadratic function, then $A\mapsto\mathrm{Tr}f(A)$ is a superquadratic function on the matrix algebra. In particular, \begin{align*} \tr f\left( {\frac{A + B}{2}} \right) +\tr f\left(\left| {\frac{A - B}{2}}\right|\right) \leq \frac{{\tr {f\left( A \right)} + \tr {f\left( B \right)} }}{2} \end{align*} holds for all positive matrices $A,B$. In addi… ▽ More We show that if $f$ is a non-negative superquadratic function, then $A\mapsto\mathrm{Tr}f(A)$ is a superquadratic function on the matrix algebra. In particular, \begin{align*} \tr f\left( {\frac{A + B}{2}} \right) +\tr f\left(\left| {\frac{A - B}{2}}\right|\right) \leq \frac{{\tr {f\left( A \right)} + \tr {f\left( B \right)} }}{2} \end{align*} holds for all positive matrices $A,B$. In addition, we present a Klein's inequality for superquadratic functions as $$ \mathrm{Tr}[f(A)-f(B)-(A-B)f'(B)]\geq \mathrm{Tr}[f(|A-B|)] $$ for all positive matrices $A,B$. It gives in particular an improvement of the Klein's inequality for non-negative convex function. As a consequence, some variants of the Jensen trace inequality for superquadratic functions have been presented. △ Less

Submitted 27 January, 2020; originally announced January 2020.

MSC Class: 47A56; 15A45; 15A18; 15A42

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

Matricial Radius: A Relation of Numerical radius with Matricial Range

Authors: Mohsen Kian, Mahdi Dehghani, Mostafa Sattari

Abstract: It has been shown that if $T$ is a complex matrix, then {\small\begin{align*} ω(T)&=\frac{1}{n}\sup\left\{|\mathrm{Tr}\ X|;\ X\in W^n(T)\right\}\\ &=\frac{1}{n}\sup\left\{\|X\|_1;\ X\in W^n(T)\right\}\\ &= \sup\left\{ ω(X);\ X\in W^n(T)\right\} \end{align*} } where $n$ is a positive integer, $ω(T)$ is the numerical radius and $W^n(T)$ is the $n$'th matricial range of $T$. It has been shown that if $T$ is a complex matrix, then {\small\begin{align*} ω(T)&=\frac{1}{n}\sup\left\{|\mathrm{Tr}\ X|;\ X\in W^n(T)\right\}\\ &=\frac{1}{n}\sup\left\{\|X\|_1;\ X\in W^n(T)\right\}\\ &= \sup\left\{ ω(X);\ X\in W^n(T)\right\} \end{align*} } where $n$ is a positive integer, $ω(T)$ is the numerical radius and $W^n(T)$ is the $n$'th matricial range of $T$. △ Less

Submitted 25 November, 2019; originally announced November 2019.

MSC Class: 15A60; 47A12

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

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

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

Interpolating operator Jensen-type inequalities for log-convex and superquadratic functions

Authors: Mojtaba Bakherad, Mohsen Kian, Mario Krnic, Seyyed Alireza Ahmadi

Abstract: Motivated by some recently established operator Jensen-type inequalities related to a usual convexity, in the present paper we derive several more accurate operator Jensen-type inequalities for certain subclasses of convex functions. More precisely, we obtain interpolating series of Jensen-type inequalities for log-convex and non-negative superquadratic functions. In particular, we obtain the corr… ▽ More Motivated by some recently established operator Jensen-type inequalities related to a usual convexity, in the present paper we derive several more accurate operator Jensen-type inequalities for certain subclasses of convex functions. More precisely, we obtain interpolating series of Jensen-type inequalities for log-convex and non-negative superquadratic functions. In particular, we obtain the corresponding refinements of the Jensen-Mercer operator inequality for such classes of functions. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: to appear in Filomat journal

A refinement of Hardy Inequality via superquadratic function

Authors: Mohsen Kian, M. Rostamian Delavar

Abstract: A refinement of the Hardy inequality has been presented by use of superquadratic function. A refinement of the Hardy inequality has been presented by use of superquadratic function. △ Less

Submitted 16 May, 2017; originally announced May 2017.

C*-Convexity of Norm Unit Balls

Authors: Mohsen Kian

Abstract: We determine those norms on B(H) whose unit ball is C*-convex. We call them M-norms and show that the class of M-norms less than a given norm enjoys a maximum element. These minimum and maximum elements will be determined in some cases. Finally, we give a constructive result to obtain M-norms on B(H). We determine those norms on B(H) whose unit ball is C*-convex. We call them M-norms and show that the class of M-norms less than a given norm enjoys a maximum element. These minimum and maximum elements will be determined in some cases. Finally, we give a constructive result to obtain M-norms on B(H). △ Less

Submitted 11 April, 2016; originally announced April 2016.

Comments: to appear in Journal of Mathematical Analysis and Applications

MSC Class: 47A30; 15A60; 47A05

Epigraph of Operator Functions

Authors: Mohsen Kian

Abstract: It is known that a real function $f$ is convex if and only if the set $$\mathrm{E}(f)=\{(x,y)\in\mathbb{R}\times\mathbb{R};\ f(x)\leq y\},$$ the epigraph of $f$ is a convex set in $\mathbb{R}^2$. We state an extension of this result for operator convex functions and $C^*$-convex sets as well as operator log-convex functions and $C^*$-log-convex sets. Moreover, the $C^*$-convex hull of a Hermitian… ▽ More It is known that a real function $f$ is convex if and only if the set $$\mathrm{E}(f)=\{(x,y)\in\mathbb{R}\times\mathbb{R};\ f(x)\leq y\},$$ the epigraph of $f$ is a convex set in $\mathbb{R}^2$. We state an extension of this result for operator convex functions and $C^*$-convex sets as well as operator log-convex functions and $C^*$-log-convex sets. Moreover, the $C^*$-convex hull of a Hermitian matrix has been represented in terms of its eigenvalues. △ Less

Submitted 17 December, 2015; originally announced December 2015.

Comments: to appear in "Quaestiones Mathematicae"

Developed Matrix inequalities via Positive Multilinear Mappings

Authors: Mahdi Dehghani, Mohsen Kian, Yuki Seo

Abstract: Utilizing the notion of positive multilinear mappings, we give some matrix inequalities. In particular, Choi--Davis--Jensen and Kantorovich type inequalities including positive multilinear mappings are presented. Utilizing the notion of positive multilinear mappings, we give some matrix inequalities. In particular, Choi--Davis--Jensen and Kantorovich type inequalities including positive multilinear mappings are presented. △ Less

Submitted 8 December, 2015; originally announced December 2015.

MSC Class: 15A69; 47A63; 47A64; 47A56

Journal ref: Linear Algebra Appl. 484 (2015) 63-85

Operator log-convex functions and f-divergence functional

Authors: Mohsen Kian

Abstract: We present a characterization of operator log-convex functions by using positive linear mappings. Moreover, we study the non-commutative f-divergence functional of operator log-convex functions. In particular, we prove that f is operator log-convex if and only if the non-commutative f-divergence functional is operator log-convex in its first variable and operator convex in its second variable. We present a characterization of operator log-convex functions by using positive linear mappings. Moreover, we study the non-commutative f-divergence functional of operator log-convex functions. In particular, we prove that f is operator log-convex if and only if the non-commutative f-divergence functional is operator log-convex in its first variable and operator convex in its second variable. △ Less

Submitted 25 August, 2014; v1 submitted 31 May, 2013; originally announced May 2013.

MSC Class: 47A63; 47A64; 15A60; 26D15

Operator inequalities of Jensen type

Authors: M. S. Moslehian, J. Micic, M. Kian

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

Submitted 31 March, 2013; originally announced April 2013.

Comments: 17 pages, to appear in Topological Algebra and its Applications (a newly established journal by Versita Ltd.))

MSC Class: 47A63; 47A64; 15A60

Journal ref: Top. Algebra Appl. 1 (2013), 9-21

Non-commutative f-divergence functional

Authors: Mohammad Sal Moslehian, Mohsen Kian

Abstract: We introduce the non-commutative $f$-divergence functional $Θ(\widetilde{A},\widetilde{B}):=\int_TB_t^{\frac{1}{2}}f\left(B_t^{-\frac{1}{2}} A_tB_t^{-\frac{1}{2}}\right)B_t^{\frac{1}{2}}dμ(t)$ for an operator convex function $f$, where $\widetilde{A}=(A_t)_{t\in T}$ and $\widetilde{B}=(B_t)_{t\in T}$ are continuous fields of Hilbert space operators and study its properties. We establish some relat… ▽ More We introduce the non-commutative $f$-divergence functional $Θ(\widetilde{A},\widetilde{B}):=\int_TB_t^{\frac{1}{2}}f\left(B_t^{-\frac{1}{2}} A_tB_t^{-\frac{1}{2}}\right)B_t^{\frac{1}{2}}dμ(t)$ for an operator convex function $f$, where $\widetilde{A}=(A_t)_{t\in T}$ and $\widetilde{B}=(B_t)_{t\in T}$ are continuous fields of Hilbert space operators and study its properties. We establish some relations between the perspective of an operator convex function $f$ and the non-commutative $f$-divergence functional. In particular, an operator extension of Csiszár's result regarding $f$-divergence functional is presented. As some applications, we establish a refinement of the Choi--Davis--Jensen operator inequality, obtain some unitarily invariant norm inequalities and give some results related to the Kullback--Leibler distance. △ Less

Submitted 30 January, 2013; originally announced January 2013.

Comments: 22 pages, to appear in Math. Nachr

MSC Class: 47A63; 46L05; 26D15; 15A60; 60E15

Journal ref: Math. Nachr. 286 (2013), no. 14-15, 1514-1529