Related papers: On linear preservers of semipositive matrices

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…

Semipositive matrices (matrices that map at least one nonnegative vector to a positive vector) and minimally semipositive matrices (semipositive matrices whose no column-deleted submatrix is semipositive) are well studied in matrix theory.…

Let K, K' be convex cones residing in finite-dimensional real vector spaces E, E'. An element in the tensor product E \otimes E' is K \otimes K'-separable if it can be represented as finite sum \sum_l x_l \otimes x'_l with x_l \in K and…

Given a proper cone $K$ in the Euclidean space $\mathbb{R}^n$, a square matrix $A$ is said to be $K$-semipositive if there exists an $x\in K$ such that $Ax\in \text{int}(K)$, the topological interior of $K$. The paper aims to study…

The objective of this manuscript is to understand the structure of an invertible linear map on the space of real symmetric matrices $\mathcal{S}^n$ that leaves invariant the closed convex cones of copositive and completely positive matrices…

Let K be an arbitrary (commutative) field, and V be a linear subspace of M_n(K) such that codim V<n-1. Using a recent generalization of a theorem of Atkinson and Lloyd, we show that every linear embedding of V into M_n(K) which strongly…

We study $K$-positivity preservers with given closed $K\subseteq\mathbb{R}^n$, i.e., linear maps $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ such that $T\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds, and their generators…

We investigate structural properties of the completely positive semidefinite cone $\mathcal{CS}_+^n$, consisting of all the $n \times n$ symmetric matrices that admit a Gram representation by positive semidefinite matrices of any size. This…

For any closed $K\subseteq\mathbb{R}^n$, in [P.\ J.\ di\,Dio, K.\ Schm\"udgen: $K$-Positivity Preserver and their Generators, SIAM J.\ Appl.\ Algebra Geom.\ 9 (2025), 794--824] all $K$-positivity preserver have been characterized, i.e., all…

For a proper cone $K$ and its dual cone $K^*$ in $\mathbb R^n$, the complementarity set of $K$ is defined as ${\mathbb C}(K)=\{(x,y): x\in K,\; y\in K^*,\, x^\top y=0\}$. It is known that ${\mathbb C}(K)$ is an $n$-dimensional manifold in…

Let A be a finite subset of N^n and R[x]_A be the space of real polynomials whose monomial powers are from A. Let K be a compact basic semialgebraic set of R^n such that R[x]_A contains a polynomial that is positive on K. Denote by P_A(K)…

Let $H_{n}^{+}(\mathbb{R})$ be the cone of all positive semidefinite $n\times n$ real matrices. Two of the best known partial orders that were mostly studied on subsets of square complex matrices are the L\"owner and the minus partial…

Let $X^{(2)}$ denote the second symmetric product space of a partially ordered vector space $X$, endowed with the projective cone. A characterization of linear maps $T\colon X^{(2)}\to X^{(2)}$ which preserve the set of all positive…

Let $m,n\ge 2$ be positive integers, $M_m$ the set of $m\times m$ complex matrices and $M_n$ the set of $n\times n$ complex matrices. Regard $M_{mn}$ as the tensor space $M_m\otimes M_n$. Suppose $|\cdot|$ is the Ky Fan $k$-norm with $1 \le…

Let $\mathcal{S}_n$ be the set of all $n$-by-$n$ symmetric real matrices, and let $\mathcal{C}_n$ be the copositive cone, that is, the set of all matrices $a\in\mathcal{S}_n$ that fulfill the condition $u^\top a u\geqslant0$ for all…

Given a closed, convex cone $K\subseteq \mathbb{R}^n$, a multivariate polynomial $f\in\mathbb{C}[\mathbf{z}]$ is called $K$-stable if the imaginary parts of its roots are not contained in the relative interior of $K$. If $K$ is the…

Let $K$ be a proper cone in $\IR^n$, let $A$ be an $n\times n$ real matrix that satisfies $AK\subseteq K$, let $b$ be a given vector of $K$, and let $\lambda$ be a given positive real number. The following two linear equations are…

Let $1 \leq k < n$ be integers. Two $n \times n$ matrices $A$ and $B$ form a parallel pair with respect to the $k$-numerical radius $w_k$ if $w_k(A + \mu B) = w_k(A) + w_k(B)$ for some scalar $\mu$ with $|\mu| = 1$; they form a TEA…

Let $H_{n}^{+}(\mathbb{R})$ be the cone of all positive semidefinite $n\times n$ real matrices. We describe the form of all surjective maps on $H_{n}^{+}(\mathbb{R}) $, $n\geq 3$, that preserve the minus partial order in both directions.

The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but…