---
title: 'Sign Preservers: Theory and Applications'
url: https://www.emergentmind.com/topics/sign-preservers
type: topic
---

# Sign Preservers: Theory and Applications

In the literature surveyed here, closely related terminology is used for several distinct preservation problems centered on sign-structured data. These include linear maps preserving a Schur matrix functional such as the determinant or permanent, operators preserving sign regularity of minors, entrywise transforms preserving positive definiteness or positive semidefiniteness, fourth-order elliptic operators sending non-positive data to negative solutions, and reconstructions whose interface jumps preserve the sign of cell jumps in entropy-stable schemes [1807.06264] [2408.02428] [2507.06076] [1303.2237] [1510.09038]. A persistent source of ambiguity is that, in the Descartes-rule literature, a “sign preservation” is not a preserver map at all, but an adjacent equality in a coefficient sign pattern [1905.01836].

## 1. Terminological scope and Descartes-type sign preservations

For a monic real polynomial
\[
P(x)=x^d+\sum_{j=0}^{d-1}a_jx^j,\qquad a_j\neq 0,
\]
the sign pattern is
\[
\sigma=\bigl(+,\operatorname{sgn}(a_{d-1}),\ldots,\operatorname{sgn}(a_0)\bigr).
\]
A sign change is an index \(j\) with \(\sigma_{j-1}\neq \sigma_j\), while a sign preservation is an index \(j\) with \(\sigma_{j-1}=\sigma_j\). If \(c\) and \(p\) denote the numbers of sign changes and sign preservations, then \(c+p=d\). Descartes’ rule yields
\[
pos\le c,\qquad c-pos\equiv 0 \pmod 2,
\]
and, after applying the rule to \(P(-x)\),
\[
neg\le p,\qquad p-neg\equiv 0 \pmod 2.
\]
Thus sign preservations are the Descartes-dual quantity controlling negative roots [1905.01836].

For hyperbolic polynomials with all coefficients nonzero, the count becomes exact: the number of positive roots equals \(c\), and the number of negative roots equals \(p\). Under the additional assumption that all root moduli are distinct, the problem becomes finer: one asks which words in \(\{P,N\}^d\) can occur as the order of moduli of positive and negative roots. The change–preservation pattern, a word in \(\{c,p\}^d\), and the order of moduli form a compatible couple when the number of \(c\)’s matches the number of \(P\)’s and the number of \(p\)’s matches the number of \(N\)’s. Every sign pattern is realizable with its canonical order, obtained by reading the change–preservation pattern from the right and replacing \(c\mapsto P\), \(p\mapsto N\). Canonical sign patterns are exactly those whose change–preservation word contains no subword \(cpc\) or \(pcp\) [2302.05127].

The same theme appears in refined Descartes problems for patterns with exactly two sign changes. Writing
\[
E_{m,n,q}=(\underbrace{+,\dots,+}_{m},\underbrace{-\dots-}_{n},\underbrace{+,\dots,+}_{q}),
\qquad m+n+q=d+1,
\]
one has \(c=2\) and \(p=d-2\). Here the total number \(p\) is not decisive by itself: the block structure of sign preservations can force or forbid realizability of extremal pairs \((0,d-2k)\). In particular, the sufficient condition
\[
L(d,m,n):=-d n^2 + 4 d m + 4 d n - 4 m^2 - 4 m n - 4 d + 4 m > 0
\]
guarantees realizability with \((0,d-2)\), whereas patterns \(E_{1,n,q}\) with \(m=1\) and \(n\ge 4\) are not realizable with \((0,d-2)\) [1905.01836]. This suggests that, even in the non-operator sense, “sign preservation” is already a structural constraint rather than a mere count.

## 2. Schur matrix functionals, determinant preservers, and permanent preservers

A systematic linear-preserver formulation appears for Schur matrix functionals. Given a field \(\mathbb{F}\), \(n\ge 1\), and a nonvanishing map
\[
f:\mathfrak{S}_n\to \mathbb{F}^\ast,
\]
the associated Schur matrix functional is
\[
\widetilde f(M)=\sum_{\sigma\in\mathfrak S_n} f(\sigma)\prod_{j=1}^n m_{\sigma(j),j},
\qquad M=(m_{ij})\in M_n(\mathbb F).
\]
The determinant corresponds to \(f=\mathrm{sgn}\), and the permanent to the constant map \(f\equiv 1\). For two such maps \(f,g\), an \((f,g)\)-transformation is a linear map \(U:M_n(\mathbb F)\to M_n(\mathbb F)\) such that
\[
\widetilde g(U(M))=\widetilde f(M)\qquad\forall M\in M_n(\mathbb F).
\]
A key structural fact is that every \((f,g)\)-transformation is automatically an automorphism of \(M_n(\mathbb F)\), and its inverse is a \((g,f)\)-transformation [1807.06264].

In the determinant case, the classification is exactly Frobenius–Dieudonné. The linear maps satisfying
\[
\det(U(M))=\det(M)\qquad \forall M
\]
are precisely
\[
M\mapsto PMQ
\qquad\text{or}\qquad
M\mapsto PM^TQ,
\]
with \(P,Q\in GL_n(\mathbb F)\) and \(\det(P)\det(Q)=1\). If one allows a scalar factor \(\alpha\neq 0\),
\[
\det(U(M))=\alpha\det(M),
\]
the same forms occur with \(\det(P)\det(Q)=\alpha\). Over \(\mathbb R\), exact determinant preservation also preserves the sign of the determinant [1807.06264].

The general theory organizes existence of \((f,g)\)-transformations by PH-equivalence: such a transformation exists exactly when \(g\) is PH-equivalent to \(f\) or to \(f^T\), where \(f^T(\sigma)=f(\sigma^{-1})\). PH-equivalence consists of row and column permutations, multiplication by a nonzero Hadamard factor, and possibly transpose. For central \(f\), the classification simplifies sharply. Either \(f\) is rigid, meaning that its row and column equivalence relations are trivial, or
\[
f(\sigma)=a\,\beta^{\mathrm{nfix}(\sigma)}\,\mathrm{sgn}(\sigma)
\]
for some \(a,\beta\in\mathbb F^\ast\), in which case \(f\) is H-equivalent to the signature and hence determinant-like [1807.06264].

The permanent provides the contrasting rigid example. For \(n\ge 3\) and \(\operatorname{char}(\mathbb F)\neq 2\), the permanent-preserving maps are exactly
\[
M\mapsto R*(P_\sigma M P_\tau^T)
\qquad\text{or}\qquad
M\mapsto R*(P_\sigma M^T P_\tau^T),
\]
with \(\sigma,\tau\in\mathfrak S_n\) and \(R\) a rank \(1\) matrix whose diagonal product is \(1\). Unlike determinant preservers, arbitrary \(P,Q\in GL_n\) do not appear; only permutation matrices and normalized rank-1 Hadamard factors survive [1807.06264]. A common misconception is therefore that “sign-like” invariants always admit the same symmetry group as the determinant. The central-map classification shows the contrary: determinant-type central functionals and rigid central functionals behave differently at the preserver level.

## 3. Sign regularity, SR/SSR signatures, and their preservers

A matrix \(A\in\mathbb R^{m\times n}\) is strictly sign regular of order \(k\), written SSR\(_k\), if for each \(1\le r\le k\) there exists \(\varepsilon_r\in\{\pm1\}\) such that every \(r\times r\) minor of \(A\) is nonzero and has sign \(\varepsilon_r\). It is sign regular of order \(k\), written SR\(_k\), if every nonzero \(r\times r\) minor has sign \(\varepsilon_r\), zeros being allowed. For \(k=\min\{m,n\}\), one gets the global notions SR and SSR. The associated signature is
\[
\varepsilon(A)=(\varepsilon_1,\dots,\varepsilon_{\min\{m,n\}}),
\]
with \(\varepsilon_0=1\) by convention. Totally positive and totally nonnegative matrices are exactly the cases with all \(\varepsilon_r=+1\) [2408.02428].

For surjective linear maps \(\mathcal L:\mathbb R^{m\times n}\to\mathbb R^{m\times n}\), the unconstrained SR/SSR-preserver classification is rigid. When either \(m=n>3\) or \(m\neq n\) with \(m,n\ge 2\), \(\mathcal L\) maps SR onto itself if and only if it maps SR\(_2\) onto itself, and this happens exactly when \(\mathcal L\) is a composition of positive diagonal left and right multiplications, a global sign flip, row reversal by the exchange matrix \(P_m\), column reversal by \(P_n\), and, in the square case, transpose. For fixed signature \(\varepsilon\), the classification becomes stricter: only positive diagonal equivalences, simultaneous reversal \(A\mapsto P_m A P_n\), and, if \(m=n\), transpose preserve SR\((\varepsilon)\) or SSR\((\varepsilon)\) [2408.02428]. The equivalence between preserving SR and preserving only SR\(_2\) is a local-to-global principle: preservation of \(1\times1\) and \(2\times2\) minor signs already controls all orders.

A complementary entrywise theory studies functions \(f\) with \(f[A]\) preserving SR or SSR. For fixed sign pattern \(\epsilon=(\epsilon_1,\dots,\epsilon_d)\), \(d=\min\{m,n\}\), the classification depends on \(d\) and on whether \(\epsilon_2=\epsilon_3\). On \([0,\infty)\), SR\((\epsilon)\)-preservers are, according to dimension, either nonnegative functions (\(d=1\)), scaled signum or power functions \(c\,\operatorname{sgn}(x)\) and \(c x^\alpha\) (\(d=2\)), pattern-dependent power/signum families (\(d=3\)), or only the cases \(\alpha\in\{0,1\}\) for \(d\ge 4\). For SSR\((\epsilon)\) on \((0,\infty)\), the classification is stricter: \(f(x)=c x^\alpha\) with \(\alpha>0\) for \(d=2\), pattern-dependent ranges \(\alpha\in(0,1]\) or \([1,\infty)\) for \(d=3\), and only \(f(x)=cx\), \(c>0\), for \(d\ge 4\) [2509.17902].

When the sign pattern is not fixed, the allowable entrywise preservers change again. For all SR matrices, the high-dimensional regime \(d\ge 4\) admits only nonzero constants or piecewise linear maps
\[
f(x)=
\begin{cases}
c_1|x|,&x\le 0,\\
c_2x,&x\ge 0,
\end{cases}
\]
whereas for all SSR matrices and \(d\ge 3\), only the nonvanishing piecewise-linear form survives on \(\mathbb R\setminus\{0\}\) [2509.17902]. This suggests that sign regularity is markedly more rigid under entrywise calculus than positive semidefiniteness.

## 4. Entrywise definiteness preservers and fixed-dimension positivity preservers

For entrywise transforms on Hermitian matrices, a sign preserver is a function \(f\) such that \(A\) is positive semidefinite or positive definite if and only if \(f[A]\) is. In fixed dimension \(n\ge 3\), the classification is complete over \(\mathbb R\) and \(\mathbb C\): the positive semidefinite and positive definite sign preservers are exactly positive multiples of continuous field automorphisms. Concretely,
\[
f(x)=cx \quad (c>0)
\]
over \(\mathbb R\), and
\[
f(z)=cz \quad\text{or}\quad f(z)=c\overline z \qquad (c>0)
\]
over \(\mathbb C\). The \(2\times2\) case is exceptional: there the sign preservers are extensions of power functions, with \(f(x)=\alpha x|x|^\beta\) on the real line and \(|f(z)|=\alpha |z|^\beta\) off the real axis, subject to conjugation symmetry [2507.06076]. On graph-constrained matrix spaces \(M_G(\Omega)\), the same dichotomy reappears: for trees, the class is larger, but for graphs containing a cycle, only the scaled identity or scaled conjugation remains [2507.06076].

This rigidity contrasts with ordinary entrywise positivity preservation on \(P_N(I)\), where fixed dimension allows much richer sign behavior in the Maclaurin coefficients. If
\[
f(x)=\sum_{k\ge 0} c_k x^k
\]
preserves positivity on \(P_N((0,p))\), then the first \(N\) nonzero coefficients must be positive, but after those first \(N\) there is no further restriction on signs. On \(P_N((0,\infty))\), the first \(N\) and last \(N\) nonzero coefficients must be positive, and any negative coefficient must be followed by at least \(N\) positive coefficients; these constraints are sharp [1708.05197]. Thus fixed-dimensional positivity preservers can have highly nontrivial coefficient sign patterns even though fixed-dimensional sign preservers of definiteness are almost rigid.

A further variant forbids the entrywise function from acting on specified diagonal or principal blocks. If \(T_n\) is a partition of \([n]\) with a uniformly bounded number \(K\) of blocks and some block of size at least \(2\), then dimension-free positivity preservers can be of the form
\[
f(z)=cz,\qquad c\in\left[-\frac{1}{K-1},1\right].
\]
These provide the first examples of dimension-free entrywise positivity preservers that are not absolutely monotonic. By contrast, when the forbidden blocks overlap, one is forced back to the Herz-absolutely-monotone regime, and in the single-function formulation only the identity survives [2002.00332]. A plausible implication is that block structure can interpolate between classical Schoenberg–Rudin rigidity and genuinely new preserver classes.

## 5. Positivity-preserving semigroups and fourth-order elliptic sign-preserving operators

On \(\mathbb R[x_1,\dots,x_n]\), a constant-coefficient operator
\[
T=\sum_{\alpha\in\mathbb N^n} c_\alpha\,\partial^\alpha,\qquad c_0=1,
\]
is a positivity preserver when
\[
T(\operatorname{Pos}(\mathbb R^n))\subseteq \operatorname{Pos}(\mathbb R^n).
\]
Such operators are characterized by moment sequences: \(s_\alpha=\alpha!c_\alpha\) must be a multidimensional moment sequence, equivalently there exists a nonnegative Borel measure \(\mu\) with
\[
(Tf)(x)=\int_{\mathbb R^n} f(x+y)\,d\mu(y).
\]
Within the Fréchet Lie group \(\mathcal D\) of constant-coefficient operators, a positivity preserver has a generator \(A\) with \(\exp(A)=T\) if and only if its representing measure is infinitely divisible. The generators are precisely the Lévy–Khinchin ones:
\[
A=\sum_{\alpha\neq 0} a_\alpha \partial^\alpha
\]
with coefficients determined by a drift \(b\), a positive semidefinite covariance matrix \(E\), and a measure \(\nu\) satisfying the stated moment integrability conditions. In PDE language, these are exactly the generators of Lévy-type positivity-preserving semigroups on polynomials [2308.10455].

A different sign-preserving phenomenon occurs for fourth-order elliptic equations. In one dimension, if a fourth-order operator factors as
\[
\mathcal L=\mathcal L_2\circ \mathcal L_1,
\qquad
\mathcal L_i w = a_i(x)w''+b_i(x)w'+c_i(x)w,
\]
with
\[
\min\{a_1(x),a_2(x)\}\ge \eta>0,\qquad \max\{c_1(x),c_2(x)\}\le 0,
\]
then any solution \(u\) of
\[
\mathcal L_1u=\gamma,\qquad \mathcal L_2\gamma\le 0,\qquad
u(\pm 1)=u'(\pm 1)=0
\]
satisfies either \(u\equiv 0\) or \(u<0\) on \((-1,1)\). The same sign-preserving conclusion holds for radially symmetric solutions in a ball and in an annulus with clamped Dirichlet conditions [1303.2237]. The mechanism is a factorization-based replacement for a fourth-order maximum principle: the second-order factors satisfy standard maximum-principle hypotheses, and their combination yields negativity of the fourth-order solution for non-positive data.

These sign-preserving elliptic operators feed into spectral and nonlinear applications. The resolvent becomes strongly positive in appropriate cones, enabling Krein–Rutman arguments for positive eigenfunctions and simple principal eigenvalues. The same framework is used for nonlinear fourth-order equations, radially symmetric MEMS models, and Moreau-type polar-cone decompositions [1303.2237]. This suggests a broad operator-theoretic notion of sign preservation: not merely invariance of a sign, but positivity-improving order structure after inversion or semigroup evolution.

## 6. Discrete sign properties and sign-pattern invariants

In entropy-stable finite difference schemes for scalar conservation laws, the relevant sign-preserver is a reconstruction procedure. If \(v=\eta'(u)\) is the entropy variable and
\[
\Delta v_{i+\frac12}=v_{i+1}-v_i,
\qquad
\llbracket v\rrbracket_{i+\frac12}=v^+_{i+\frac12}-v^-_{i+\frac12},
\]
then entropy stability of the TeCNO flux
\[
F_{i+\frac12}=F^*_{i+\frac12}-\frac12 a_{i+\frac12}\llbracket v\rrbracket_{i+\frac12}
\]
is ensured provided the reconstruction satisfies the sign property
\[
\operatorname{sign}\bigl(\llbracket v\rrbracket_{i+\frac12}\bigr)
=
\operatorname{sign}\bigl(\Delta v_{i+\frac12}\bigr).
\]
The third-order SP-WENO reconstruction is built exactly to satisfy this property. Its weights are chosen from case-by-case feasible regions in the \((C_1,C_2)\)-plane so as to enforce convexity, mirror symmetry, the sign property, and third-order accuracy. The resulting reconstructed jumps satisfy the quantitative bound
\[
\left|\llbracket v\rrbracket_{i+\frac12}\right|
\le 2\,|\Delta v_{i+\frac12}|,
\]
the same bounding constant as ENO-2 and smaller than ENO-3 [1510.09038]. In this discrete setting, a sign preserver is therefore a nonlinear reconstruction whose interface jump cannot reverse the sign of the cell jump.

A complementary invariant-based viewpoint appears in the theory of sign patterns and sepr-sequences. For a real matrix \(B\), the sepr-sequence \(t_1\cdots t_n\) records, for each order \(k\), whether the principal \(k\times k\) minors are all positive, all negative, all zero, or occur with mixed sign/zero patterns. For a sign pattern \(\mathcal P\), the sepr-set
\[
SEPR(\mathcal P)=\{\sepr(B): B\in Q(\mathcal P)\}
\]
collects the sepr-sequences of all realizations in its qualitative class. A sign pattern has a unique sepr-sequence if \(|SEPR(\mathcal P)|=1\). A sufficient condition for uniqueness is that, for each \(k\), either every \(k\times k\) principal subpattern has a signed determinant, or there exist three such principal subpatterns with signed determinants \(+\), \(-\), and \(0\) [1807.04874]. Sign semi-stable patterns automatically satisfy the signed-determinant condition, hence have unique sepr-sequences; moreover, their nonzero order-\(k\) principal minors have sign \((-1)^k\), so the sequence is strongly parity-structured [1807.04874].

This invariant language is not itself a preserver theory, but it clarifies what many sign preservers are actually preserving: not a scalar sign alone, but a stratified sign geometry of minors, determinants, jumps, or cones. Across these settings, the preserved object is typically rigid enough that once a small amount of local structure is fixed—\(2\times2\) minors for SR, flattening minors for secants, determinant zero sets for Schur functionals, or interface jump signs for TeCNO schemes—the entire admissible transformation class becomes sharply constrained.

Source: https://www.emergentmind.com/topics/sign-preservers