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.

An Elementary Proof for a Property of Cross Product in R7

A geometric proof of the classification of complex vector cross product

Submanifolds with Parallel Gaussian Mean Curvature Vector in Euclidean Spaces

Algebra Method Studies on Orthocomplement of Euclidean Subspace

Vector cross product in n-dimensional vector space

The projection onto the cross

Hardy'S Theorem and Rotations of Several Complex Variables

Families of Vector Spaces with R-Wise L-intersections

A Proof of Alexandrov'S Uniqueness Theorem for Convex Surfaces in R-3

On Theorems of Sinajova, Rankin and Kuperberg Concerning Spherical Point Configurations

A new proof of a theorem of Petersen

Elementary proof of a Lemma for parallel mean curvature surfaces in complex space forms

Several Proofs of Three Matrix Rank Inequalities

A proof of the Quadratic Reciprocity Law

Yet another proof from the Book: the Gauss theorem on regular polygons

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

A New Proof of Subcritical Trudinger-Moser Inequalities on the Whole Euclidean Space

An elementary proof of the Selberg identity for Kloosterman sums

New proofs of two identities of Ramanujan

The real rank zero property of crossed product

A PROOF OF HIRSCHHORN'S CONJECTURE ON -DISSECTION OF EULER'S PRODUCT