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.

A translation generalized quadrangle in characteristic $\ne 0$ is linear

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

On finite generalized quadrangles with PSL(2,q) as an automorphism group

Generalized Quadrangles Of Order $(s, s^2)$. IV. Translations, Moufang And Fong-Seitz

On finite generalized quadrangles of even order

Central aspects of skew translation quadrangles, I

Infinite cyclic projective skew translation quadrangles do not exist

Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

On Translation Hyperovals in Semifield Planes

Euler characteristics of linear symplectic quotients and $\operatorname{O}(2)$-spaces

The geometry of polynomial representations in positive characteristic

Linear Shafarevich Conjecture in positive characteristic, Hyperbolicity and Applications

Generic representations of finite general linear groups in cross characteristic

Ideals preserved by linear changes of coordinates in positive characteristic

Generalized Quasiorders and the Galois Connection End-gQuord

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

The Linearized System for Isometric Embeddings and Its Characteristic Variety

Equivariant Vector Bundles on the Drinfeld Upper Half Space over a Local Field of Positive Characteristic

Translation invariant quadratic forms in dense sets

Quasidiagonals in Strata of Translation Surfaces

Classification of STGQs, I