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.
Fix $I = (0,\rho)$, where $0<\rho\leq\infty$, and let $\mathbb{P}_n(I)$ be the set of positive semidefinite $n\times n$ matrices with entries in $I$. A longstanding problem in matrix theory is to characterize the functions $f: I \to \mathbb{R}$ for which the entrywise calculus $f[A] = [f(a_{ij})]_{i,j = 1}^{n}$ preserv...
We study the cone $\mathcal{M}_{n,2d}$ of nonnegative mean polynomials---real $n$-variate forms of degree $2d$ that can be expressed as weighted power means $M_{q,p}(Y,w)$ with $q>p$. This cone simultaneously generalises the cone of sums of squares $\Sigma_{n,2d}$ and the cone of sums of nonnegative circuit polynomials...
Given a field $\mathbb{F}$ and an integer $n \geq 2$, denote by $t_n(\mathbb{F})$ the greatest possible dimension for a vector space of $n$-by-$n$ matrices over $\mathbb{F}$ in which every element is triangularizable. It was recently proved that $t_n(\mathbb{F})=\frac{n(n+1)}{2}$ if and only if $\mathbb{F}$ is not quad...
A vertex operator algebra $V_L$ associated with a positive definite even lattice $L$ has a standard integral form, which we denote it by $V_{L,\mathbb{Z}} $. If $F$ is a field of characteristic $p>0$, it is known that $V_{L,F}:= F\otimes_\mathbb{Z} V_{L,\mathbb{Z}}$, a vertex algebra over $F$, is simple if and only if...
We study the generic nullity of generalized commutator operators \[L_{\mathbf{A}}(X)=s_{k+1}(A_1,\cdots,A_k,X)\] on matrix algebras, where $s_{k+1}$ denotes the standard polynomial. Dixon and Pressman conjectured an explicit formula for the generic nullity of $L_{\mathbf{A}}$, and Brassil and Reichstein proved the conj...
Let $n \geq 2$ be a positive integer, and $q$ be a prime power. We study the $number$ of additive decompositions of nonscalar matrices in the matrix ring $M_n(\mathbb{F}_q)$ as sums of elements from two prescribed conjugacy classes. Let $z \in M_n(\mathbb{F}_q)$ be nonscalar. We show that, except for the case $(n,q,\te...
K. Kishore, Sunil Kumar Mallick· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
