E. V. Belmega, S. Lasaulce, M. Debbah
In this note we prove that Tr (MN+ PQ)>= 0 when the following two conditions are met: (i) the matrices M, N, P, Q are structured as follows: M = A -B, N = inv(B)-inv(A), P = C-D, Q =inv (B+D)-inv(A+C), where inv(X) denotes the inverse matrix of X (ii) A, B are positive definite matrices and C, D are positive semidefinite matrices.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this note we generalize the trace inequality derived by [1] to the case where the number of terms of the sum (denoted by K) is arbitrary.
Diagonal and off-diagonal blocks of positive definite partitioned matrices
该研究建立了正定分块矩阵块间的精确不等式，并提出关于三个收缩算子的三角型不等式猜想，认为不等式中常数c=3/4是精确的。
Let $H$ be a positive semi-definite matrix partitioned in $β\times β$ Hermitian blocks, $H=[A_{s,t}]$, $1\le s,t,\le β$. Then, for all symmetric norms, {equation*} \| H \| \le \| \sum_{s=1}^β A_{s,s} \|. {equation*} The proof uses a nice decomposition for positive matrices and unitary congruences with the generators of a Clifford algebra. A few corollaries are given, in particular the partial trace operation increases norms of separable states on a real Hilbert space, leading to a conjecture for usual complex Hilbert spaces.
In this short paper, we show a certain matrix trace inequality and then give a refinement of the trace inequality proven by Belmega, Lasaulce and Debbah. In addition, we give an another improvement of their trace inequality.
An Oppenheim type inequality for positive definite block matrices
本文针对正定分块矩阵提出一个新的 Oppenheim 型行列式不等式，旨在去除 Lin 结果中两个矩阵必须可交换的限制，给出更自然的推广。
In this short paper, we give a complete and affirmative answer to a conjecture on matrix trace inequalities for the sum of positive semidefinite matrices. We also apply the obtained inequality to derive a kind of generalized Golden-Thompson inequality for positive semidefinite matrices.
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 o…
Let $A$ be a positive semidefinite $m\times 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].
Given a function $f:(0,\infty)\rightarrow\RR$ and a positive semidefinite $n\times n$ matrix $P$, one may define a trace functional on positive definite $n\times n$ matrices as $A\mapsto \Tr(Pf(A))$. For differentiable functions $f$, the function $A\mapsto \Tr(Pf(A))$ is differentiable at all positive definite matrices $A$. Under certain continuity conditions on~$f$, this function may be extended to certain non-positive-definite matrices $A$, and the \emph{directional} derivatives of $\Tr(Pf(A)$ may be computed there. This note presents conditions for these directional derivatives to exist and…
The current work generalizes the author's previous work on the infinite-dimensional Alpha Log-Determinant (Log-Det) divergences and Alpha-Beta Log-Det divergences, defined on the set of positive definite unitized trace class operators on a Hilbert space, to the entire Hilbert manifold of positive definite unitized Hilbert-Schmidt operators. This generalization is carried out via the introduction of the extended Hilbert-Carleman determinant for unitized Hilbert-Schmidt operators, in addition to the previously introduced extended Fredholm determinant for unitized trace class operators. The resul…
Oppenheim-Schur's inequality and RKHS
本文在再生核希尔伯特空间框架下，将 Oppenheim-Schur 不等式推广到正定分块矩阵，并给出其等式条件的再生核证明。
We introduce a class of flows on the Wasserstein space of probability measures with finite first moment on the Cartan-Hadamard Riemannian manifold of positive definite matrices, and consider the problem of differentiability of the corresponding Cartan barycentric trajectory. As a consequence we have a version of Lie-Trotter formula and a related unitarily invariant norm inequality. Furthermore, a fixed point theorem related to the Karcher equation and the Cartan barycentric trajectory is also presented as an application.
A Matrix Generalization of the Hardy-Littlewood-Pólya Rearrangement Inequality and Its Applications
本文通过分析正交矩阵上的优化问题，将Hardy-Littlewood-Pólya重排不等式推广到正定矩阵与矩形矩阵，并据此推导了信号处理、机器学习领域类距离函数的新不等式。
In this paper the Jessen's type inequality for normalized positive $C_0$-semigroups is obtained. An adjoint of Jessen's type inequality has also been derived for the corresponding adjoint-semigroup, which does not give the analogous results but the behavior is still interesting. Moreover, it is followed by some results regarding positive definiteness and exponential convexity of complex structures involving operators from a semigroup.
A log-majorization inequality for normal matrices with applications to determinantal inequalities and geometric means
研究建立正规矩阵对数优超不等式，扩展厄米特结果。通过该不等式解决行列式猜想正规矩阵扩展，给出加权几何均值乘积特征值图景，完善相关定理。
We prove a matrix trace inequality for completely monotone functions and for Bernstein functions. As special cases we obtain non-trivial trace inequalities for the power function x->x^q, which for certain values of q complement McCarthy's trace inequality and for others strenghten it.
We generalize in this article the classical Sobolev's and Sobolev's trace inequalities on the Grand Lebesgue Spaces under monomial weight instead the classical Lebesgue or grand Lebesgue Spaces. We will distinguish the classical Sobolev's inequality and the so-called trace Sobolev's inequality.
Let $A$ be an $m\times 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 paper, we prove the following inequality \[ (\mathrm{tr} A)I_{mn} - (\mathrm{tr}_2 A) \otimes I_n \ge \pm \bigl( I_m\otimes (\mathrm{tr}_1 A) -A\bigr).\] This inequality is not only a generalization of Ando's result [ILAS Conference (2014)] and Lin [Canad. Math. Bull. 59 (2016) 585--591], but it also could be regarded as a complement of a recent result of Choi [Linear Multilinear Algebra 66 (201…
Trace conjunction inequalities
本文引入迹联合积分并研究其不等式，统一了Hardy不等式与Gagliardo迹不等式，并在端点满足Bourgain-Brezis-Mironescu公式，提出了新开放问题。
Classification Theorem For Positive Critical Points Of Sobolev Trace Inequality
本文通过渐近估计与积分恒等式，在有限能量条件下分类了$1<p<n$时Sobolev迹不等式Euler-Lagrange方程的正解，推广了$p=2$的已知结果。
Hadamard's determinant inequality was refined and generalized by Zhang and Yang in [Acta Math. Appl. Sinica 20 (1997) 269-274]. Some special cases of the result were rediscovered recently by Rozanski, Witula and Hetmaniok in [Linear Algebra Appl. 532 (2017) 500-511]. We revisit the result in the case of positive semidefinite matrices, giving a new proof in terms of majorization and a complete description of the conditions for equality in the positive definite case. We also mention a block extension, which makes use of a result of Thompson in the 1960s.
Quantum entropy and skew information play important roles in quantum information science. They are defined by the trace of the positive operators so that the trace inequalities often have important roles to develop the mathematical theory in quantum information science. In this paper, we study some properties for information quantities in quantum system through trace inequalities. Especially, we give upper bounds and lower bounds of Tsallis relative entropy, which is a one-parameter extension of the relative entropy in quantum system. In addition, we compare the known bounds and the new bounds…
Let $f$ be an operator convex function on $(0,\infty)$, and $Φ$ be a unital positive linear maps on $B(H)$. we give a complementary inequality to Davis-Choi-Jensen's inequality as follows \begin{equation*} f(Φ(A))\geq \frac{4R(A,B)}{(1+R(A,B))^2}Φ(f(A)), \end{equation*} where $R(A, B)=\max\{r(A^{-1}B) ,r(B^{-1}A)\}$ and $r(A)$ is the spectral radius of $A$. We investigate the complementary inequalities related to the operator power means and the Karcher means via unital positive linear maps, and obtain the following result: If $A_{1}$, $A_{2}$,\dots, $A_{n}$, are positive definite operators in…
We find a new sharp trace Gagliardo-Nirenberg-Sobolev inequality on convex cones, aswell as a weighted sharp trace Sobolev inequality on epigraphs of convex functions. This is done by using a generalized Borell-Brascamp-Lieb inequality, coming from the Brunn-Minkowski theory.
The Sharp Scale Inequality for the Schatten Trace Class
本文建立Schatten迹类S₁的度量cotype 2不等式，解决了其最优尺度问题，明确了尺度参数的最优阶及相关必要条件。
The goal of this review is to explain some recent results regarding generalizations of the Stein-Tomas (and Strichartz) inequalities to the context of trace ideals (Schatten spaces).
We prove an inequality that complements the famous Araki-Lieb-Thirring (ALT) inequality for positive matrices $A$ and $B$, by giving a lower bound on the quantity $\trace[A^r B^r A^r]^q$ in terms of $\trace[ABA]^{rq}$ for $0\le r\le 1$ and $q\ge0$, whereas the ALT inequality gives an upper bound. The bound contains certain norms of $A$ and $B$ as additional ingredients and is therefore of a different nature than the Kantorovich type inequality obtained by Bourin (\textit{Math. Inequal. Appl.} \textbf{8}(2005) pp. 373--378) and others. Secondly, we also prove a generalisation of the ALT inequal…
The sharp affine $L^2$ Sobolev trace inequality and variants
本文利用 $L_p$ Busemann-Petty 质心不等式建立尖锐仿射 $L^p$ Sobolev 迹不等式，其在 $p=2$ 时强于 Escobar 和 Beckner 的经典结果，并刻画了所有取等号情形。
In information theory, the well-known log-sum inequality is a fundamental tool which indicates the non-negativity for the relative entropy. In this article, we establish a set of inequalities which are similar to the log-sum inequality involving two functions defined on scalars. The parametric extended log-sum inequalities are shown. We extend these inequalities for the commutative matrices. In addition, utilizing the Löwner partial order relation and the Hansen-Pedersen theory for non-commutative positive semi-definite matrices we demonstrate a number of matrix-inequalities analogous to the l…
For positive semi-definite block-matrix $M,$ we say that $M$ is P.S.D. and we write $M=\begin{pmatrix} A \& X\\ {X^*} \& B\end{pmatrix} \in {\mathbb{M}}\_{n+m}^+$, with $A\in {\mathbb{M}}\_n^+$, $B \in {\mathbb{M}}\_m^+.$ The focus is on studying the consequences of a decomposition lemma due to C.~Bourrin and the main result is extending the class of P.S.D. matrices $M$ written by blocks of same size that satisfies the inequality: $\|M\|\le \|A+B\|$ for all symmetric norms.
The Riemannian median of positive-definite matrices
本文定义了正定矩阵的黎曼均值，并探讨了其性质及在不同情况下的表现。
Jensen' s trace inequality with equality condition and noncommutative Lamperti's theorem
该研究针对半有限von Neumann代数，建立带等号条件的Jensen迹不等式，解答相关问题，推导非交换Lamperti型不等式，刻画一类F-范数非交换Orlicz空间上的线性等距，得到对应非交换Lamperti定理。
The Adams trace theorem for product Morrey spaces
利用Hedberg型不等式，将Adams迹不等式从Lebesgue空间扩展到乘积Morrey空间，提出新的分析工具。
We prove a logarithmic Sobolev trace inequality in a gaussian space and we study the trace operator in the weighted Sobolev space W^{1,p}(Ω,γ) for sufficiently regular domain. We exhibit examples to show the sharpness of the results. Applications to PDE are also considered.
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…
We prove that for $α\in (d-1,d]$, one has the trace inequality \begin{align*} \int_{\mathbb{R}^d} |I_αF| \;dν\leq C |F|(\mathbb{R}^d)\|ν\|_{\mathcal{M}^{d-α}(\mathbb{R}^d)} \end{align*} for all solenoidal vector measures $F$, i.e., $F\in M_b(\mathbb{R}^d,\mathbb{R}^d)$ and $\operatorname{div}F=0$. Here $I_α$ denotes the Riesz potential of order $α$ and $\mathcal M^{d-α}(\mathbb{R}^d)$ the Morrey space of $(d-α)$-dimensional measures on $\mathbb{R}^d$.
By the use of the celebrated Kato's inequality we obtain in this paper some new inequalities for trace class operators on a complex Hilbert space H. Natural applications for functions defined by power series of normal operators are given as well.
For positive definite matrices $A$ and $B$, the Araki-Lieb-Thirring inequality amounts to an eigenvalue log-submajorisation relation for fractional powers $$λ(A^t B^t) \prec_{w(\log)} λ^t(AB), \quad 0<t\le 1,$$ while for $t\ge1$, the reversed inequality holds. In this paper I generalise this inequality, replacing the fractional powers $x^t$ by a larger class of functions. Namely, a continuous, non-negative, geometrically concave function $f$ with domain $\dom(f)=[0,x_0)$ for some positive $x_0$ (possibly infinity) satisfies $$λ(f(A) f(B)) \prec_{w(\log)} f^2(λ^{1/2}(AB)),$$ for all positive se…
Jensen's inequality for partial traces in von Neumann algebras
本文在半有限冯·诺依曼代数中证明了部分追踪的詹森不等式，并扩展至一般冯·诺依曼代数框架。
A Jensen inequality for partial traces and applications to partially semiclassical limits
本文证明双体空间上厄米矩阵凸函数的矩阵不等式，以此重新证明并推广齐次势薛定谔算子特征值渐近性定理，重点研究Weyl表达式无穷大时的部分半经典极限情形。
We obtain a trace Hardy inequality for the Euclidean space with a bounded cut $Σ\subset\mathbb R^d$, $d \ge 2$. In this novel geometric setting, the Hardy-type inequality non-typically holds also for $d = 2$. The respective Hardy weight is given in terms of the geodesic distance to the boundary of $Σ$. We provide its applications to the heat equation on $\mathbb R^d$ with an insulating cut at $Σ$ and to the Schrödinger operator with a $δ'$-interaction supported on $Σ$. We also obtain generalizations of this trace Hardy inequality for a class of unbounded cuts.
Spectral geometric mean and trace characterizations
本文研究了正线性功能在矩阵代数上的特征化问题，通过谱几何平均和迹不等式探讨了正线性功能与迹之间的关系，并提出了一个新的迹不等式及其应用。
In this article we generalize the classical Sobolev's and Sobolev's trace inequalities on the Grand Lebesgue Spaces instead the classical Lebesgue Spaces. We will distinguish the classical Sobolev's inequality and the so-called trace Sobolev's inequality. We consider for simplicity only the case of whole space.
Suppose a map $ϕ$ on the set of positive definite matrices satisfies $\det(A+B)=\det(ϕ(A)+ϕ(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(ϕ(A){ϕ(B)}^{-1}).$$ Through this viewpoint, we show that $ϕ$ is of the form $ϕ(A)= M^*AM$ or $ϕ(A)= M^*A^tM$ for some invertible matrix $M$ with $\det (M^*M)=1$. We also characterize the map $ϕ: \mathcal{S} \rightarrow \mathcal{S}$ preserving the determinant of convex combinations in $\mathcal{S}$ by using similar method. Here $\mathcal{S}$ can be the set of complex matrices, positive definite matrices, symmetric matrices, and upper triangular matrices.
This note reports partial results related to the Gaussian product inequality (GPI) conjecture for the joint distribution of traces of Wishart matrices. In particular, several GPI-related results from Wei (2014) and Liu et al. (2015) are extended in two ways: by replacing the power functions with more general classes of functions, and by replacing the usual Gaussian and multivariate gamma distributional assumptions by the more general trace-Wishart distribution assumption. These findings suggest that a Kronecker product form of the GPI holds for diagonal blocks of any Wishart distribution.
This work presents a parametrized family of divergences, namely Alpha-Beta Log- Determinant (Log-Det) divergences, between positive definite unitized trace class operators on a Hilbert space. This is a generalization of the Alpha-Beta Log-Determinant divergences between symmetric, positive definite matrices to the infinite-dimensional setting. The family of Alpha-Beta Log-Det divergences is highly general and contains many divergences as special cases, including the recently formulated infinite dimensional affine-invariant Riemannian distance and the infinite-dimensional Alpha Log-Det divergen…
Sharp estimates of quantum covering problems via a novel trace inequality
本文提出一种新的迹不等式，并利用它去除维度因子，从而尖锐化多种量子覆盖问题的单发可达界，且该界可推广至无限维空间。
We give a new proof of a classical result which provides a one-to-one correspondence between positive definite radial kernels on a homogeneous tree and finite Borel measures on the interval $[-1,1]$. Our methods allow us to find a new characterisation in terms of positive trace-class operators on $\ell_2$. Furthermore, we extend both characterisations to finite products of homogeneous trees. The proof relies on a formula for the norm of radial Schur multipliers, in the spirit of Haagerup--Steenstrup--Szwarc, and a variation of the Hamburger moment problem.
Yuan and Leng (2007) gave a generalization of Ky Fan's determinantal inequality, which is a celebrated refinement of the fundamental Brunn-Minkowski inequality $(\det (A+B))^{1/n} \ge (\det A)^{1/n} +(\det B)^{1/n}$, where $A$ and $B$ are positive semidefinite matrices. In this note, we first give an extension of Yuan-Leng's result to multiple positive definite matrices, and then we further extend the result to a larger class of matrices whose numerical ranges are contained in a sector. Our result improves a recent result of Liu [Linear Algebra Appl. 508 (2016) 206--213].
We prove that for any (trace-preserving) conditional expectation $\mathcal E$ on a noncommutative $L_p$ with $p>2$, $Id-\mathcal E$ is a contraction on the positive cone $L_p^+$.
In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important results of Godement on square integrable positive definite functions to matrix valued square integrable positive definite functions. We show that a matrix-valued continuous $L^2$ positive definite function can always be written as a convolution of a $L^2$ positive definite function with itself. We also prove that, given two $L^2$ matrix valued positive definite functions $Φ$ and $Ψ$, $\int_G Trace(Φ(g) \bar{Ψ(g)}^t) d g \geq 0$. In addition this integral equals zero if and only …
We convert a conjectured inequality from quantum information theory, due to He and Vidal, into a block matrix inequality and prove a special case. Given $n$ matrices $A_i$, $i=1,\ldots,n$, of the same size, let $Z_1$ and $Z_2$ be the block matrices $Z_1:=(A_jA_i^*)_{i,j=1}^n$ and $Z_2:=(A_j^*A_i)_{i,j=1}^n$. Then the conjectured inequality is \[ \left(||Z_1||_1-\trace Z_1\right)^2 + \left(||Z_2||_1-\trace Z_2\right)^2 \le \left(\sum_{i\neq j} ||A_i||_2 ||A_j||_2\right)^2. \] We prove this inequality for the already challenging case $n=2$ with $A_1$ equal to the identity matrix.
We present some new inequalities related to determinant and trace for positive semidefinite block matrices by using symmetric tensor product, which are extensions of Fiedler-Markham's inequality and Thompson's inequality.
New Improvements to Heron and Heinz Inequality Using Matrix Techniques
本文研究矩阵均值插值与比较，将参数$\vartheta$扩展至$\mathbb{R}^+$，引入结合Kantorovich常数的Heinz不等式新标量变体并强化算子版本，提出专为半正定矩阵迹、行列式和范数设计的改进型Young不等式。
Non-commutative Optimal Transport for semi-definite positive matrices
本文为半正定矩阵间的非平衡非交换最优传输引入冯·诺依曼熵正则化，证明极小化子存在性、给出弱对偶公式，并通过Γ-收敛结果刻画了熵正则化参数趋于零和非平衡惩罚参数趋于无穷大两种极限行为。
Let $V$ be the set of $n\times n$ complex or real general matrices, Hermitian matrices, symmetric matrices, positive definite (resp. semi-definite) matrices, diagonal matrices, or upper triangular matrices. Fix $k\in \mathbb{Z}\setminus \{0, 1\}$. We characterize linear maps $ψ:V\to V$ that satisfy $ψ(A^k)=ψ(A)^k$ on an open neighborhood $S$ of $I_n$ in $V$. The $k$-power preservers are necessarily $k$-potent preservers, and the case $k=2$ corresponds to Jordan homomorphisms. Applying the results, we characterize maps $ϕ,ψ:V\to V$ that satisfy "$ \operatorname{tr}(ϕ(A)ψ(B)^k)=\operatorname{tr}…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。