Abstract:A linear map $\Phi$ between matrix spaces is called cross-positive if it is positive on orthogonal pairs $(U,V)$ of positive semidefinite matrices in the sense that $\langle U,V\rangle:=\text{Tr}(UV)=0$ implies $\langle \Phi(U),V\rangle\geq0$, and is completely cross-positive if all its ampliations $I_n\otimes \Phi$ are cross-positive. (Completely) cross-positive maps arise in the theory of operator semigroups, where they are sometimes called exponentially-positive maps, and are also important in the theory of affine processes on symmetric cones in mathematical finance. To each $\Phi$ as above a bihomogeneous form is associated by $p_\Phi(x,y)=y^T\Phi(xx^T)y$. Then $\Phi$ is cross-positive if and only if $p_\Phi$ is nonnegative on the variety of pairs of orthogonal vectors $\{(x,y)\mid x^Ty=0\}$. Moreover, $\Phi$ is shown to be completely cross-positive if and only if $p_\Phi$ is a sum of squares modulo the principal ideal $(x^Ty)$. These observations bring the study of cross-positive maps into the powerful setting of real algebraic geometry. Here this interplay is exploited to prove quantitative bounds on the fraction of cross-positive maps that are completely cross-positive. Detailed results about cross-positive maps $\Phi$ mapping between $3\times 3$ matrices are given. Finally, an algorithm to produce cross-positive maps that are not completely cross-positive is presented.

Frobenius-König theorem for classes of (0,±1)-matrices

The Loewner-Neville Factorization Of Generalized Matrices With Consecutive-Column And -Row Properties

A p-adic Perron-Frobenius Theorem

Is This a New Class of Matrices?

Discussion on Matrices Fixed Nullity in Complement Problem of Operator Matrices

Two Matrix Theorems Arising from Nilpotent Groups

On Double-One Matrices and Double-Zero Matrices

On the Frobenius norm of the inverse of a non-negative matrix

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

The Vandermonde Matrix in the Commutative Case

On the Column Number and Forbidden Submatrices for [math]-Modular Matrices

Cross-positive linear maps, positive polynomials and sums of squares

Compatible Forts and Maximum Nullity of a Graph

Matrices with high completely positive semidefinite rank

Exposedness of elementary positive maps between matrix algebras

Three New Proofs of the Theorem rank f(M) + rank g(M) = rank (f,g)(M) + rank [f,g](M)

Nonlinear extensions of the Perron–Frobenius theorem and the Krein–Rutman theorem

A Refutation of the Pach-Tardos Conjecture for 0-1 Matrices

Matrices having nonzero outer inverses

Patterns of alternating sign matrices

A note on the image of polynomials on upper triangular matrix algebras