English
Related papers

Related papers: A trace inequality for positive definite matrices

200 papers

Traces of inverse powers of a positive definite symmetric tridiagonal matrix give lower bounds of the minimal singular value of an upper bidiagonal matrix. In a preceding work, a formula for the traces which gives the diagonal entries of…

Numerical Analysis · Mathematics 2014-01-13 Takumi Yamashita , Kinji Kimura , Yusaku Yamamoto

We provide a nontrivial upper bound for the nonnegative rank of rank-three matrices, which allows us to prove that [6(n+1)/7] linear inequalities suffice to describe a convex n-gon up to a linear projection.

Combinatorics · Mathematics 2013-03-11 Yaroslav Shitov

Certain trace inequalities related to matrix logarithm are shown. These results enable us to give a partial answer of the open problem conjectured by A.S.Holevo. That is, concavity of the auxiliary function which appears in the random…

Quantum Physics · Physics 2016-09-08 Kenjiro Yanagi , Shigeru Furuichi , Ken Kuriyama

In this article we present several necessary and sufficient conditions for the existence of Hermitian positive definite solutions of nonlinear matrix equations of the form $X^s + A^*X^{-t}A + B^*X^{-p}B = Q$, where $ s, t, p \geq 1$, $ A,…

Functional Analysis · Mathematics 2019-07-22 Samik Pakhira , Snehasish Bose , Sk Monowar Hossein

We consider convex trace functions $\Phi_{p,q,s} = Trace[ (A^{q/2}B^p A^{q/2})^s]$ where $A$ and $B$ are positive $n\times n$ matrices and ask when these functions are convex or concave. We also consider operator convexity/concavity of…

Mathematical Physics · Physics 2015-07-15 Eric A. Carlen , Rupert L. Frank , Elliott H. Lieb

We introduce two related notions of pattern enforcement in $(0,1)$-matrices: $Q$-forcing and strongly $Q$-forcing, which formalize distinct ways a fixed pattern $Q$ must appear within a larger matrix. A matrix is $Q$-forcing if every…

Combinatorics · Mathematics 2025-11-03 Lei Cao , Shen-Fu Tsai

Let $f$ bea noncommutativepolynomial of degree $m\ge 1$ over an algebraically closed field $F$ of characteristic $0$. If $n\ge m-1$ and $\alpha_1,\alpha_2,\alpha_3$ are nonzero elements from $F$ such that $\alpha_1+\alpha_2+\alpha_3=0$,…

Rings and Algebras · Mathematics 2023-02-13 Matej Brešar , Peter Šemrl

Consider the nonlinear matrix equation X-sum_{i=1}^{m}A_{i}^{*}X^{p_{i}}A_{i}=Q with p_{i}>0. Sufficient and necessary conditions for the existence of positive definite solutions to the equation with p_{i}>0 are derived. Two perturbation…

Numerical Analysis · Mathematics 2012-08-20 Jing Li

In this paper the nonlinear matrix equation X-A^{*}X^{-p}A=Q with p>0 is investigated. We consider two cases of this equation: the case p>1 and the case 0<p<1. In the case p>1, a new sufficient condition for the existence of a unique…

Numerical Analysis · Mathematics 2012-09-13 Jing Li

Let $A=(a_{j,k})_{j,k \ge 1}$ be a non-negative matrix. In this paper, we characterize those $A$ for which $\|A\|_{\ell_p,\ell_q}$ are determined by their actions on non-negative decreasing sequences, where one of $p$ and $q$ is 1 or…

Functional Analysis · Mathematics 2007-10-02 Chang-Pao Chen , Chun-Yen Shen , Kuo-Zhong Wang

We consider a matrix semigroup $T: [0,\infty) \to \mathbb{R}^{d \times d}$ without assuming any measurability properties and show that, if $T$ is bounded close to $0$ and $T(t) \ge 0$ entrywise for all $t$, then $T$ is continuous. This…

Functional Analysis · Mathematics 2025-02-20 Jochen Glück

Many combinatorial matrices --- such as those of binomial coefficients, Stirling numbers of both kinds, and Lah numbers --- are known to be totally non-negative, meaning that all minors (determinants of square submatrices) are non-negative.…

Combinatorics · Mathematics 2019-06-06 David Galvin , Adrian Pacurar

A linear map between real symmetric matrix spaces is positive if all positive semidefinite matrices are mapped to positive semidefinite ones. A real symmetric matrix is separable if it can be written as a summation of Kronecker products of…

Optimization and Control · Mathematics 2016-03-29 Jiawang Nie , Xinzhen Zhang

We consider unimodular matrices $M$ such that neither $M$ nor $M^{-1}$ contain zero entries. Matrices typically exhibit a trade-off: small $M$ imply large $M^{-1}$. We investigate rare cases where both remain small, classify these matrices…

Combinatorics · Mathematics 2026-05-13 Steven Finch

Let $\mathcal{G}$ be a generalized matrix algebra over a commutative ring $\mathcal{R}$, ${\mathfrak q}\colon \mathcal{G}\times\mathcal{G}\longrightarrow \mathcal{G}$ be an $\mathcal{R}$-bilinear mapping and ${\mathfrak T}_{\mathfrak…

Rings and Algebras · Mathematics 2012-10-15 Zhankui Xiao , Feng Wei

A symmetric tensor is completely positive (CP) if it is a sum of tensor powers of nonnegative vectors. This paper characterizes completely positive binary tensors. We show that a binary tensor is completely positive if and only if it…

Optimization and Control · Mathematics 2018-08-08 Jinyan Fan , Jiawang Nie , Anwa Zhou

This paper is concerned with the positive definite solutions to the matrix equation $X+A^{\mathrm{H}}\bar{X}^{-1}A=I$ where $X$ is the unknown and $A$ is a given complex matrix. By introducing and studying a matrix operator on complex…

Numerical Analysis · Mathematics 2016-07-11 Bin Zhou , Guang-Bin Cai , James Lam

Hermitian positive definite, totally positive, and nonsingular M-matrices enjoy many common properties, in particular: (A) positivity of all principal minors, (B) weak sign symmetry, (C) eigenvalue monotonicity, (D) positive stability. The…

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

The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. A directed graph is said to support M if its adjacency matrix is the pattern of M. If M is an orthogonal matrix, then a digraph which supports M…

Combinatorics · Mathematics 2007-05-23 J. Richard Lundgren , K. B. Reid , Simone Severini , Dustin J. Stewart

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…

Functional Analysis · Mathematics 2015-09-15 Antoine Mhanna