Related papers: Some applications of two completely copositive map…
We study sum-of-squares representations of symmetric univariate real matrix polynomials that are positive semidefinite along the real line. We give a new proof of the fact that every positive semidefinite univariate matrix polynomial of…
Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…
Let $m,n\ge 2$ be integers. Denote by $M_n$ the set of $n\times n$ complex matrices. Let $\|\cdot\|_{(p,k)}$ be the $(p,k)$ norm on $M_{mn}$ with $1\leq k\leq mn$ and $2<p<\infty$. We show that a linear map $\phi:M_{mn}\rightarrow M_{mn}$…
Let $A$ be an $m \times n$ matrix with real entries. Given two proper cones $K_1$ and $K_2$ in $\mathbb{R}^n$ and $\mathbb{R}^m$, respectively, we say that $A$ is nonnegative if $A(K_1) \subseteq K_2$. $A$ is said to be semipositive if…
We investigate a two-parameter family of linear maps on matrix algebras, constructed as diagonal perturbations of classical Tomiyama maps. Employing the Choi matrix method alongside block-positivity techniques, we derive explicit necessary…
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,…
A linear map $u\colon \ E\to F$ between operator spaces is called completely co-bounded if it is completely bounded as a map from $E$ to the opposite of $F$. We give several simple results about completely co-bounded Schur multipliers on…
Let $X$, $Y$ be sets and let $\Phi$, $\Psi$ be mappings with domains $X^{2}$ and $Y^{2}$ respectively. We say that $\Phi$ and $\Psi$ are combinatorially similar if there are bijections $f \colon \Phi(X^2) \to \Psi(Y^{2})$ and $g \colon Y…
Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for…
A real symmetric matrix $M$ is completely positive semidefinite if it admits a Gram representation by (Hermitian) positive semidefinite matrices of any size $d$. The smallest such $d$ is called the (complex) completely positive semidefinite…
A real seminormed involutive algebra is a real associative algebra ${\mathcal A}$ endowed with an involutive antiautomorphism $*$ and a submultiplicative seminorm $p$ with $p(a^*) =p(a)$ for $a\in {\mathcal A}$. Then ${\mathop{\tt…
This work introduces and systematically studies a new convex cone of PCOP (pairwise copositive). We establish that this cone is dual to the cone of PCP (pairwise completely positive) and, critically, provides a complete characterization for…
The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability…
Let $R$ be a 2-torsion free unital ring and $N_n=N_n(R)$ the ring of strictly upper triangular matrices with entries in $R$ and center $Z=Z(N_n)$. It has been previously shown that any linear map $f:N_n\rightarrow N_n$ satisfying the…
Let $\mathcal A$ be an $\mathbb F$-algebra and $\omega \in \mathcal A\langle x_1, \ldots, x_m \rangle$ which defines a map $\mathcal A^m \rightarrow \mathcal A$ by evaluation, called a polynomial map with constant. We consider $\mathcal {A}…
We give a useful new characterization of the set of all completely positive, trace-preserving (i.e., stochastic) maps from 2x2 matrices to 2x2 matrices. These conditions allow one to easily check any trace-preserving map for complete…
The set of associative and commutative hypercomplex numbers, called the perfect hypercomplex algebra (PHA) is investigated. Necessary and sufficient conditions for an algebra to be a PHA via semi-tensor product(STP) of matrices are…
This chapter investigates the cone of copositive matrices, with a focus on the design and analysis of conic inner approximations for it. These approximations are based on various sufficient conditions for matrix copositivity, relying on…
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…
Let $A$ be an algebra over a field $F$ with {\rm char}$(F)\ne 2$. If $A$ is generated as an algebra by $[[A,A],[A,A]]$, then for every skew-symmetric bilinear map $\Phi:A\times A\to X$, where $X$ is an arbitrary vector space over $F$, the…