Minimal orderings and quadratic forms on a free module over a supertropical semiring

Zur Izhakian, Manfred Knebusch, Louis Rowen

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)
7 Downloads (Pure)


This paper is a sequel to [6], in which we introduced quadratic forms on a module over a supertropical semiring R and analyzed the set of bilinear companions of a single quadratic form V→R in case the module V is free. Any (semi)module over a semiring gives rise to what we call its minimal ordering, which is a partial order iff the semiring is “upper bound.” Any polynomial map q (or quadratic form) then induces a pre-order, which can be studied in terms of “q-minimal elements,” which are elements a which cannot be written in the form b+c where b<a but q(b)=q(a). We determine the q-minimal elements by examining their support.
But the class of all polynomial maps (in up to rank(V) variables) is itself a module over R, so the basic properties of the minimal ordering are applied to this R -module, or its submodule Quad(V) consisting of quadratic forms on V. This is a significant initial step in the classification of quadratic forms over semirings arising in tropical mathematics.
Quad(V) is the sum of two disjoint submodules QL(V) and Rig(V), consisting of the quasilinear and the rigid quadratic forms on V respectively (cf. [6]). Both QL(V) and Rig(V) are free with explicitly known bases, but Quad(V) itself is almost never free.
Original languageEnglish
Pages (from-to)420-461
Number of pages42
Journal Linear Algebra and its Applications
Early online date15 Jun 2016
Publication statusPublished - 15 Oct 2016


  • Tropical algebra
  • Supertropical modules
  • Bilinear forms
  • Quadratic forms
  • Quadratic pairs
  • Supertropicalization
  • Varieties


Dive into the research topics of 'Minimal orderings and quadratic forms on a free module over a supertropical semiring'. Together they form a unique fingerprint.

Cite this