English
Related papers

Related papers: A trace inequality for positive definite matrices

200 papers

In this paper, we prove the convexity of trace functionals $$(A,B,C)\mapsto \text{Tr}|B^{p}AC^{q}|^{s},$$ for parameters $(p,q,s)$ that are best possible, where $B$ and $C$ are any $n$-by-$n$ positive definite matrices, and $A$ is any…

Mathematical Physics · Physics 2023-07-11 Haonan Zhang

The trace norm of a matrix is the sum of its singular values. This paper presents results on the minimum trace norm $\psi_{n}\left( m\right) $ of $\left( 0,1\right) $-matrices of size $n\times n$ with exactly $m$ ones. It is shown that: (1)…

Combinatorics · Mathematics 2017-03-21 Vladimir Nikiforov , Natalia Agudelo

We study matrix inequalities involving partial traces for positive semidefinite block matrices. First of all, we present a new method to prove a celebrated result of Choi [Linear Algebra Appl. 516 (2017)]. Our method also allows us to prove…

Functional Analysis · Mathematics 2024-04-09 Yongtao Li

Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can…

Functional Analysis · Mathematics 2014-03-05 William B. Johnson , Narutaka Ozawa , Gideon Schechtman

The problem of determining necessary and sufficient conditions for a set of real numbers to be the eigenvalues of a symmetric nonnegative matrix is called the symmetric nonnegative inverse eigenvalue problem (SNIEP). In this paper we solve…

Rings and Algebras · Mathematics 2014-03-25 Oren Spector

A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses…

Rings and Algebras · Mathematics 2021-06-03 Igor Klep , James Eldred Pascoe , Jurij Volčič

Let A be an n by n matrix with entries in an arbitrary field, and c_1,...,c_n be scalars. We prove that if A is not a scalar multiple of the identity matrix, then the condition c_1+...+c_n=tr(A) is necessary and sufficient for A to be…

Rings and Algebras · Mathematics 2012-08-30 Clément de Seguins Pazzis

We use nearly parallel pure states to characterize positive linear functionals $\phi$ on $\mathbb{M}_n$ as positive multiples of the trace if and only if $\phi(A \natural B) \leq \sqrt{\phi(A) \phi(B)}$ for all positive definite matrices…

Quantum Physics · Physics 2026-05-20 Airat Bikchentaev , Trung Hoa Dinh , Anh Vu Le , Mohammad Sal Moslehian

Let $p_1<p_2<\cdots<p_n$ be positive real numbers. It is shown that the matrix whose $i,j$ entry is $(p_i+p_j)^{p_i+p_j}$ is infinitely divisible, nonsingular and totally positive.

Functional Analysis · Mathematics 2018-03-13 Rajendra Bhatia , Tanvi Jain

The following theorem is proved: Suppose $M = (a_{i,j})$ be a $k \times k$ matrix with positive entries and $a_{i,j}a_{i+1,j+1} > 4\cos ^2 \frac{\pi}{k+1} a_{i,j+1}a_{i+1,j} \quad (1 \leq i \leq k-1, 1 \leq j \leq k-1).$ Then $\det M > 0 .$…

Rings and Algebras · Mathematics 2007-05-23 Olga M. Katkova , Anna M. Vishnyakova

Let $\mathbb{F}$ be an infinite field with characteristic different from two. For a graph $G=(V,E)$ with $V={1,...,n}$, let $S(G;\mathbb{F})$ be the set of all symmetric $n\times n$ matrices $A=[a_{i,j}]$ over $\mathbb{F}$ with…

Combinatorics · Mathematics 2012-10-29 Hein van der Holst

Let f be a function defined on positive numbers. The subject is the trace inequality $Tr f(A) + Tr f(P_2AP_2) \le Tr f(P_{12}AP_{12}) + \Tr f(P_{23}AP_{23})$, where $A$ is a positive operator, $P_1,P_2,P_3$ are orthogonal projections such…

Functional Analysis · Mathematics 2010-07-28 Koenraad Audenaer , Fumio Hiai , Denes Petz

Let $\mathcal{S}$ be the set of all positive-definite, symmetrizable integer matrices with non-zero upper and lower diagonal and $\mathcal{T}$ to be the set of all positive-definite real symmetric matrices with nonzero upper diagonal such…

Number Theory · Mathematics 2024-01-24 Srijonee Shabnam Chaudhury

Let $\mathbb{F}$ be a field. We show that given any $n$th degree monic polynomial $q(x)\in \mathbb{F}[x]$ and any matrix $A\in\mathbb{M}_n(\mathbb{F})$ whose trace coincides with the trace of $q(x)$ and consisting in its main diagonal of…

Rings and Algebras · Mathematics 2025-07-09 Peter Danchev , Esther García , Miguel Gómez Lozano

A necessary and sufficient condition for the convergence of an infinite right product of matrices of the form | I B | A = | 0 C |, with (uniformly) contracting submatrices $C$, is proven.

Rings and Algebras · Mathematics 2007-05-23 Olga Holtz

For a nonsingular matrix $A$, we propose the form $Tr(^t\!A A^{-1})$, the trace of the product of its transpose and inverse, as a new invariant under congruence of nonsingular matrices.

Rings and Algebras · Mathematics 2019-04-10 Kiyoshi Shirayanagi , Yuji Kobayashi

By the Choi matrix criteria it is easy to determine if a specific linear matrix map is completely positive, but to establish whether a linear matrix map is positive is much less straightforward. In this paper we consider classes of linear…

Functional Analysis · Mathematics 2021-03-29 Sanne ter Horst , Alma Naude

The sign patterns of inverse doubly-nonnegative matrices are examined. A necessary and sufficient condition is developed for a sign matrix to correspond to an inverse doubly-nonnegative matrix. In addition, for a doubly-nonnegative matrix…

Systems and Control · Computer Science 2021-03-09 Sandip Roy , Mengran Xue

For a positive semidefinite matrix $H= \begin{bmatrix} A&X\\ X^{*}&B \end{bmatrix} $, we consider the norm inequality $ ||H||\leq ||A+B|| $. We show that this inequality holds under certain conditions. Some related topics are also…

Functional Analysis · Mathematics 2018-08-02 Tomohiro Hayashi

It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior,…

Mathematical Physics · Physics 2007-07-06 Christopher J. Hillar , Charles R. Johnson