Tropical Signs in Geometry

• Tropical signs are sign-sensitive refinements in tropical geometry that retain qualitative information lost in ordinary valuation-based tropicalization.
• They utilize algebraic frameworks like the symmetrized tropical semiring and tropical hyperfields to incorporate both valuation and sign, which improves root-counting, positivity analysis, and duality in tropical structures.
• Applications span from ensuring opposite-sign dominance in tropical equilibrations to defining Welschinger multiplicities in real enumerative geometry and guiding mutation dynamics in tropical cluster theory.

Tropical signs are sign-sensitive refinements of tropical constructions that retain data discarded by ordinary valuation-based tropicalization. In the current literature, the phrase covers several related but non-identical notions: signs of leading coefficients and orthants in signed tropicalization, opposite-sign dominance conditions in tropical equilibration, Welschinger-type signs in real tropical enumerative geometry, and parity-based sign conventions such as the signed Euler characteristic $(-1)^d\chi(X)$ of a tropical variety (Brandenburg et al., 2022, Samal et al., 2015, Argüz et al., 2020, Hiatt et al., 9 Jun 2026). Their common role is to distinguish tropical objects that are combinatorially similar at the level of valuations but differ over the reals, in positivity properties, or in topological behavior.

1. Algebraic frameworks for sign-sensitive tropicalization

The basic algebraic motivation is that the tropical semifield loses sign information. Several extensions restore it. One approach uses the symmetrized tropical semiring, in which a tropical number is replaced by a pair encoding positive and negative contributions. In the notation of signed tropical numbers, the operations are

$$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$

and

$$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$

This framework supports an absolute value, a sign switch, and a signed valuation from real closed nonarchimedean fields that keeps track of both valuation and sign (Akian et al., 2023).

A related formulation is the tropical real hyperfield, or tropical extension of the hyperfield of signs. In this setting, the null condition is controlled by minimal valuation terms together with sign cancellation. For the tropical real hyperfield $\mathbf{TR}$,

$$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$

This makes “sign plus valuation” a native tropical datum rather than an external decoration, and it underlies multiplicity theory for roots and initial forms in tropical extensions (Gunn, 2022).

These algebraic models support tropical analogues of classical sign rules. For polynomials over real closed valued fields, multiplicities at a signed tropical root satisfy

$$\mathrm{mult}_r(P) \geq \sum_{b \in L, sv(b)=r} \mathrm{mult}_b(P),$$

with equality modulo $2$, and the inequality is tight when the value group is non-trivial and divisible (Akian et al., 2023). This is a sign-and-valuation refinement of Descartes-type control of real roots.

2. Signed tropicalization, positivity, and real loci

Signed tropicalization refines Kapranov tropicalization by fixing an orthant. For a sign pattern $s=(s_1,\ldots,s_n)\in\{\pm1\}^n$, the signed part is the tropicalization of the subset where $\sgn(\lc(x_i))=s_i$. This leads to signed-tropical generators, which cut out the tropicalization of real points in a given orthant, and to positive-tropical generators, which do the same for the positive part (Brandenburg et al., 2022).

Determinantal varieties provide one of the cleanest explicit classifications. For the determinant hypersurface of $n\times n$ matrices, maximal cones correspond to edges $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$0 of the Birkhoff polytope, and a maximal cone $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$1 is positive precisely when

$$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$2

In arbitrary orthants, the signed tropicalization is obtained by sign-flipping in the determinant polynomial, and the positive cones are described by edges crossing a cut in the edge graph determined by the orthant sign vector. For $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$3, the paper also gives a triangle criterion for positivity; for $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$4, that criterion fails (Brandenburg et al., 2022).

A parallel positivity phenomenon appears for complete flags. The tropical complete flag variety $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$5 is defined by tropicalizing the full incidence-Plücker ideal, while the complete flag Dressian $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$6 uses only the tropicalized incidence-Plücker relations. In general $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$7, but their totally non-negative parts coincide: $$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$8 Here a positive tropical solution is one in which the minimum is attained by terms from both sides of the original relation. This suggests that positivity eliminates non-realizable artifacts that survive in the unrestricted Dressian (Boretsky, 2021).

3. Opposite-sign balance in tropical equilibration

In reaction network theory, “tropical signs” refer to the sign condition on dominant monomials in polynomial or rational ODEs. After rescaling variables and parameters by a small parameter, the order of a monomial is

$$(a^+, a^-) \oplus (b^+, b^-) = (a^+ \oplus b^+,\, a^- \oplus b^-)$$9

A tropical equilibration is then a vector $$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$0 such that, in each equation, the minimal order is attained by at least two dominant monomials of opposite signs: $$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$1 The sign condition is essential: if all dominant terms have the same sign, their sum cannot vanish or be small for positive values of the variables (Samal et al., 2015).

This sign constraint has both geometric and algorithmic consequences. Tropical equilibrations form a subset of the tropical prevariety. Their computation uses Newton polytopes together with edge filtering: only edges joining vertices of opposite signs are admissible candidates,

$$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$2

Feasible equilibrations are then found by solving equality and dominance inequalities, typically via linear programming. Equilibrations with the same dominant index sets form branches, and minimal branches are the inclusion-minimal such classes (Samal et al., 2015).

The same sign principle appears in the earlier tropicalization approach to biochemical kinetics: equilibrated variables require two dominant monomials of opposite sign, the tropically truncated system is obtained by eliminating dominated terms, and the resulting reduced dynamics can encode quasi-steady-state or quasi-equilibrium regimes. The Michaelis-Menten mechanism is treated as a detailed case study of this procedure (Noel et al., 2013).

4. Real tropical enumerative geometry and Welschinger signs

In real enumerative geometry, tropical signs are multiplicities that reproduce signed counts of real curves. For a trivalent tropical curve $$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$3, with dual triangle $$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$4 at a vertex $$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$5, the tropical Welschinger sign is

$$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$6

where $$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$7 is the number of interior lattice points of $$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$8. The sign of the whole curve is

$$(a^+, a^-) \odot (b^+, b^-) = (a^+ \odot b^+ \oplus a^- \odot b^-,\, a^+ \odot b^- \oplus a^- \odot b^+).$$9

These rules match the parity of real elliptic nodes in the corresponding real log curves, and the tropical correspondence theorem identifies the signed tropical count with the log Welschinger invariant (Argüz et al., 2020).

A higher-dimensional enumerative example is the tropical count of binodal cubic surfaces. Classically there are 280 binodal cubic surfaces passing through 17 general points, but for the tropical point conditions used in the paper only 214 of these give tropicalizations in which the nodes are separated on the tropical cubic surface. The total 214 is decomposed as

$\mathbf{TR}$0

The paper further states that the sign, or real multiplicity, depends on the sign vector of the point configuration, and proves a lower bound of at least 58 real binodal cubic surfaces with separated nodes for one positive configuration (Brandt et al., 2019).

5. Topological and combinatorial sign patterns

A different sign convention appears in tropical topology through the signed Euler characteristic. For a pure $\mathbf{TR}$1-dimensional tropical subvariety $\mathbf{TR}$2 of a tropical abelian variety, the signed Euler characteristic is

$\mathbf{TR}$3

If $\mathbf{TR}$4 is H-regular, then

$\mathbf{TR}$5

The proof uses a local vanishing theorem for H-regular tropical fans,

$\mathbf{TR}$6

and yields a Lefschetz-type theorem for affine H-regular tropical varieties. The paper also shows that the inequality fails for general tropical subvarieties, including a $\mathbf{TR}$7-dimensional example with $\mathbf{TR}$8, so H-regularity is essential (Hiatt et al., 9 Jun 2026).

Cluster geometry provides another systematic source of sign data. For tropical cluster varieties of type $\mathbf{TR}$9, the real cluster configuration space has exactly

$$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$0

distinct sign patterns. These are classified by centrally symmetric and axially symmetric dihedral orderings, and the sign pattern attached to a labeling $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$1 is

$$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$2

The corresponding signed tropicalizations are subfans of the tropicalization, dual to either a cyclohedron or an associahedron (Makhlin, 4 Aug 2025).

In rank $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$3 real cluster-cyclic exchange matrices, tropical signs govern mutation dynamics. The $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$4-vectors are sign-coherent, the exchange graphs of the $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$5-pattern and $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$6-pattern are $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$7-regular trees, and the mutation action on tropical sign types is organized by the dihedral group $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$8. The allowed sign patterns form a single $$N_{\mathbf{TR}} = \left\{ \sum s_i t^{\gamma_i} : \text{among minimal } \gamma_i, \text{ the } s_i \text{ add to zero in } S \right\}.$$9-orbit with 12 elements, while the all-positive and all-negative patterns do not occur away from the initial seed (Akagi et al., 9 Sep 2025).

6. Sign rules, duality, and broader consequences

Tropical signs also enter tropical analogues of classical root-counting theorems. For a real polynomial $$\mathrm{mult}_r(P) \geq \sum_{b \in L, sv(b)=r} \mathrm{mult}_b(P),$$0, the tropicalization used in the tropical analogue of Descartes’ rule is

$$\mathrm{mult}_r(P) \geq \sum_{b \in L, sv(b)=r} \mathrm{mult}_b(P),$$1

corresponding to the conjectural weight sequence $$\mathrm{mult}_r(P) \geq \sum_{b \in L, sv(b)=r} \mathrm{mult}_b(P),$$2. The number of positive or negative real roots is then conjectured to be bounded by the number of positive or negative essential tropical roots of this weighted tropicalization. The conjecture is settled up to degree $$\mathrm{mult}_r(P) \geq \sum_{b \in L, sv(b)=r} \mathrm{mult}_b(P),$$3, and the paper proves a weaker statement for arbitrary degree (Forsgård et al., 2015).

Duality theory furnishes another sign-sensitive tropical construction. For semi-algebraic sets over real closed nonarchimedean fields, taking the polar commutes with signed valuation: $$\mathrm{mult}_r(P) \geq \sum_{b \in L, sv(b)=r} \mathrm{mult}_b(P),$$4 This leads to tropical analogues of classical cones of matrices and shows that hierarchies of classical cones collapse under tropicalization: the signed valuations of cones such as positive semidefinite, completely positive semidefinite, and completely positive matrices coincide, and so do the valuations of their polars. The same paper notes an algorithmic contrast: tropical copositivity testing is polynomial time, whereas general tropical quadratic feasibility remains NP-hard (Akian et al., 2023).

Taken together, these developments show that tropical signs are not a single invariant but a family of sign-aware mechanisms distributed across tropical algebra, real tropical geometry, dynamical systems, topology, and cluster theory. Their recurrent function is to restore qualitative distinctions—orthant, cancellation, positivity, parity, or real multiplicity—that ordinary tropicalization suppresses.