arXiv++ Combinatorics

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified for every $n\geq 2$, with one remaining case: $n=2$, $q\equiv 1\pmod 4$, and $q$ not a square. We settle this case by proving that every positivity preserver on $M_2(\mathbb{F}_q)$ is injective on the set $\mathbb{F}_q^+$ of nonzero squares whenever $q\equiv 1\pmod 4$. The proof combines an idempotent reduction of positivity preservers with a well-known property of quadratic characters. This yields the complete classification of entrywise positivity preservers over every finite field and in every fixed dimension.

Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within this setting, we establish results parallel to the classical theories of Pólya--Szegő, Schoenberg, Rudin, Loewner, and Horn in the context of entrywise calculus. The structure of our transform is governed by a Cayley--Hamilton-type theory valid in commutative rings of characteristic zero, together with a novel polynomial-matrix identity specific to convolution. Beyond these analytic aspects, we uncover an intrinsic connection between convolution and the Bruhat order on the symmetric group, illuminating the combinatorial aspect of this functional operation. This work extends the classical theory of entrywise positivity preservers and operator monotone functions into the convolutional setting.

Inspired by the seminal work of André-Louis Cholesky -- whose contributions remain crucial in broader sciences even after more than a century -- Cooper, Hanna and Whitlatch (2024) developed a theory of positive matrices over finite fields, and Khare and Vishwakarma (2025) described a general Cholesky factorization for a dense sub-family of the cone of Hermitian matrices over real/complex fields, whose leading principal minors (LPM) are nonzero. Building on this, we develop a parallel theory within the finite field setting. Specifically $(i)$ we extend the general Cholesky factorization to the LPM cone over finite fields which has asymptotic density $1$. We show that $(ii)$ this factorization is compatible with the entrywise Frobenius map, recently studied in the context of positivity preservers by Guillot, Gupta, Vishwakarma, and Yip [J. Algebra, 2025]. We also $(iii)$ leverage the Cholesky-structures to define meaningful group operations on the matrix cone, and as an application $(iv)$ enumerate sub-cones of LPM matrices using our general Cholesky factorizations.

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.

Lusztig showed that invertible totally nonnegative (TNN) matrices form a semigroup generated by positive diagonal matrices and Chevalley generators. From its Grassmann analogue, we introduce Chevalley operations on index sets, which we show have a rich variety of applications. We first completely classify all inequalities that are quadratic in Plucker coordinates over the TNN part of the Grassmannian: \[\sum_{I,J}c_{I,J}Δ_IΔ_J\ge 0\quad over\quad \mathrm{Gr}^{\ge 0}(m,m+n)\] where each $c_{I,J}$ is real, and $Δ_I,Δ_J$ are Plucker coordinates with a homogeneity condition. Using an idea of Gekhtman-Shapiro-Vainshtein, we also explain how our Chevalley operations can be motivated from cluster mutations, and lead to working in Grassmannians of smaller dimension, akin to cluster algebras. We then present several applications of Chevalley operations. First, we obtain certificates for the above inequalities via sums of coefficients $c_{I,J}$ over 321-avoiding permutations and involutions; we believe this refined results of Rhoades-Skandera for TNN-matrix inequalities via their Temperley-Lieb immanant idea. Second, we provide a novel proof via Chevalley operations of Lam's log-supermodularity of Plucker coordinates. This has several consequences: (a) Each positroid, corresponding to the positroid cells in Postnikov's decomposition of the TNN Grassmannian, is a distributive lattice. (b) It also yields numerical positivity in the main result of Lam-Postnikov-Pylyavskyy. (c) We show the coordinatewise monotonicity of ratios of Schur polynomials, first proved by Khare-Tao and which is the key result they use to obtain quantitative estimates for positivity preservers. Third, we employ Chevalley operations to show that the majorization order over partitions implicates a partial order for induced character immanants over TNN matrices, proved originally by Skandera-Soskin.

We resolve an algebraic version of Schoenberg's celebrated theorem [Duke Math.J., 1942] characterizing entrywise matrix transforms that preserve positive definiteness. Compared to the classical real and complex settings, we consider matrices with entries in a finite field and obtain a complete characterization of such preservers for matrices of a fixed dimension. When the dimension of the matrices is at least $3$, we prove that, surprisingly, the positivity preservers are precisely the positive multiples of the field's automorphisms. We also obtain characterizations of preservers for matrices of dimension $2$ over a finite field with $q$ elements, unless $q \equiv 1 \pmod 4$ and $q$ is not a square. Our proofs build on several novel connections between positivity preservers and field automorphisms via the works of Weil, Carlitz, and Muzychuk-Kovács, and via the structure of cliques in Paley graphs.

We show that the partial sums of the long Plücker relations for pairs of weakly separated Plücker coordinates oscillate around $0$ on the totally nonnegative part of the Grassmannian. Our result generalizes the classical oscillating inequalities by Gantmacher--Krein (1941) and recent results on totally nonnegative matrix inequalities by Fallat--Vishwakarma (2023). In fact we obtain a characterization of weak separability, by showing that no other pair of Plücker coordinates satisfies this property. Weakly separated sets were initially introduced by Leclerc and Zelevinsky and are closely connected with the cluster algebra of the Grassmannian. Moreover, our work connects several fundamental objects such as weak separability, Temperley--Lieb immanants, and Plücker relations, and provides a very general and natural class of additive determinantal inequalities on the totally nonnegative part of the Grassmannian.

A real linear combination of products of minors which is nonnegative over all totally nonnegative (TN) matrices is called a determinantal inequality for these matrices. It is referred to as multiplicative when it compares two collections of products of minors and additive otherwise. Set theoretic operations preserving the class of TN matrices naturally translate into operations preserving determinantal inequalities in this class. We introduce index-row (and index-column) operations that act directly on all determinantal inequalities for TN matrices, and yield further inequalities for these matrices. These operations assist in revealing novel additive inequalities for TN matrices embedded in the classical identities due to Laplace $[$Mem$.$ Acad$.$ Sciences Paris $1772]$ and Karlin $(1968).$ In particular, for any square TN matrix $A,$ these derived inequalities generalize -- to every $i^{\mbox{th}}$ row of $A$ and $j^{\mbox{th}}$ column of ${\rm adj} A$ -- the classical Gantmacher--Krein fluctuating inequalities $(1941)$ for $i=j=1.$ Furthermore, our index-row/column operations reveal additional undiscovered fluctuating inequalities for TN matrices. The introduced index-row/column operations naturally birth an algorithm that can detect certain determinantal expressions that do not form an inequality for TN matrices. However, the algorithm completely characterizes the multiplicative inequalities comparing products of pairs of minors. Moreover, the underlying index-row/column operations add that these inequalities are offshoots of certain "complementary/higher" ones. These novel results seem very natural, and in addition thoroughly describe and enrich the classification of these multiplicative inequalities due to Fallat--Gekhtman--Johnson $[$Adv$.$ Appl$.$ Math$.$ $2003]$ and later Skandera $[$J$.$ Algebraic Comb$.$ $2004].$