ترغب بنشر مسار تعليمي؟ اضغط هنا

A new matrix inequality involving partial traces

117   0   0.0 ( 0 )
 نشر من قبل Yongtao Li
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

Let $A$ be an $mtimes m$ positive semidefinite block matrix with each block being $n$-square. We write $mathrm{tr}_1$ and $mathrm{tr}_2$ for the first and second partial trace, respectively. In this note, we prove the following inequality [ (mathrm{tr} A)I_{mn} - (mathrm{tr}_2 A) otimes I_n ge pm bigl( I_motimes (mathrm{tr}_1 A) -Abigr). ] This inequality is not only a generalization of Andos result [1], but it also could be regarded as a complement of a recent result of Choi [8]. Additionally, some new partial traces inequalities for positive semidefinite block matrices are also included.



قيم البحث

اقرأ أيضاً

Let $A$ be a positive semidefinite $mtimes m$ block matrix with each block $n$-square, then the following determinantal inequality for partial traces holds [ (mathrm{tr} A)^{mn} - det(mathrm{tr}_2 A)^n ge bigl| det A - det(mathrm{tr}_1 A)^m bigr|, ] where $mathrm{tr}_1$ and $mathrm{tr}_2$ stand for the first and second partial trace, respectively. This result improves a recent result of Lin [14].
243 - Daniel Reem 2013
Consider a set represented by an inequality. An interesting phenomenon which occurs in various settings in mathematics is that the interior of this set is the subset where strict inequality holds, the boundary is the subset where equality holds, and the closure of the set is the closure of its interior. This paper discusses this phenomenon assuming the set is a Voronoi cell induced by given sites (subsets), a geometric object which appears in many fields of science and technology and has diverse applications. Simple counterexamples show that the discussed phenomenon does not hold in general, but it is established in a wide class of cases. More precisely, the setting is a (possibly infinite dimensional) uniformly convex normed space with arbitrary positively separated sites. An important ingredient in the proof is a strong version of the triangle inequality due to Clarkson (1936), an interesting inequality which has been almost totally forgotten.
In matrix theory, a well established relation $(AB)^{T}=B^{T}A^{T}$ holds for any two matrices $A$ and $B$ for which the product $AB$ is defined. Here $T$ denote the usual transposition. In this work, we explore the possibility of deriving the matrix equality $(AB)^{Gamma}=A^{Gamma}B^{Gamma}$ for any $4 times 4$ matrices $A$ and $B$, where $Gamma$ denote the partial transposition. We found that, in general, $(AB)^{Gamma} eq A^{Gamma}B^{Gamma}$ holds for $4 times 4$ matrices $A$ and $B$ but there exist particular set of $4 times 4$ matrices for which $(AB)^{Gamma}= A^{Gamma}B^{Gamma}$ holds. We have exploited this matrix equality to investigate the separability problem. Since it is possible to decompose the density matrices $rho$ into two positive semi-definite matrices $A$ and $B$ so we are able to derive the separability condition for $rho$ when $rho^{Gamma}=(AB)^{Gamma}=A^{Gamma}B^{Gamma}$ holds. Due to the non-uniqueness property of the decomposition of the density matrix into two positive semi-definte matrices $A$ and $B$, there is a possibility to generalise the matrix equality for density matrices lives in higher dimension. These results may help in studying the separability problem for higher dimensional and multipartite system.
We prove that for $alpha in (d-1,d]$, one has the trace inequality begin{align*} int_{mathbb{R}^d} |I_alpha F| ;d u leq C |F|(mathbb{R}^d)| u|_{mathcal{M}^{d-alpha}(mathbb{R}^d)} end{align*} for all solenoidal vector measures $F$, i.e., $Fin M_b(math bb{R}^d,mathbb{R}^d)$ and $operatorname{div}F=0$. Here $I_alpha$ denotes the Riesz potential of order $alpha$ and $mathcal M^{d-alpha}(mathbb{R}^d)$ the Morrey space of $(d-alpha)$-dimensional measures on $mathbb{R}^d$.
A version of Connes Integration Formula which provides concrete asymptotics of the eigenvalues is given. This radically extending the class of quantum-integrable functions on compact Riemannian manifolds.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا