A survey of dimension-free entrywise positivity preservers with links to metric embeddings, Schur polynomials, finite fields, and an appendix on sphere packings via Schoenberg's theorem.
Entrywise transforms preserving matrix positivity and non-positivity
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We characterize real and complex functions which, when applied entrywise to square matrices, yield a positive definite matrix if and only if the original matrix is positive definite. We refer to these transformations as sign preservers. Compared to classical work on entrywise preservers of Schoenberg and others, we completely resolve this problem in the harder fixed dimensional setting, extending a similar recent classification of sign preservers obtained for matrices over finite fields. When the matrix dimension is fixed and at least $3$, we show that the sign preservers are precisely the positive scalar multiples of the continuous automorphisms of the underlying field. This is in contrast to the $2 \times 2$ case where the sign preservers are extensions of power functions. These results are built on our classification of $2 \times 2$ entrywise positivity preservers over broader complex domains. Our results yield a complementary connection with a work of Belton, Guillot, Khare, and Putinar (2023) on negativity-preserving transforms. We also extend our sign preserver results to matrices with a structure of zeros, as studied by Guillot, Khare, and Rajaratnam for the entrywise positivity preserver problem. Finally, in the spirit of sign preservers, we address a natural extension to monotone maps, classically studied by Loewner and many others.
fields
math.CA 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The entrywise calculus and dimension-free positivity preservers, with an Appendix on sphere packings
A survey of dimension-free entrywise positivity preservers with links to metric embeddings, Schur polynomials, finite fields, and an appendix on sphere packings via Schoenberg's theorem.