Algebraic structures of tropical mathematics

DOI10.1090/CONM/616/12312zbMATH Open1320.15022arXiv1305.3906OpenAlexW1639175025MaRDI QIDQ2942944FDOQ2942944

Authors: Zur Izhakian, Manfred Knebusch, Louis Rowen 

Publication date: 11 September 2015

Published in: Contemporary Mathematics (Search for Journal in Brave)

Abstract: Tropical mathematics often is defined over an ordered cancellative monoid $M$, usually taken to be $(RR,+)$ or $(QQ,+)$. Although a rich theory has arisen from this viewpoint, cf. [L1], idempotent semirings possess a restricted algebraic structure theory, and also do not reflect certain valuation-theoretic properties, thereby forcing researchers to rely often on combinatoric techniques. In this paper we describe an alternative structure, more compatible with valuation theory, studied by the authors over the past few years, that permits fuller use of algebraic theory especially in understanding the underlying tropical geometry. The idempotent max-plus algebra $A$ of an ordered monoid $M$ is replaced by $R:=LimesM$, where $L$ is a given indexing semiring (not necessarily with 0). In this case we say $R$ layered by $L$. When $L$ is trivial, i.e, $L=1$, $R$ is the usual bipotent max-plus algebra. When $L=1,infty$ we recover the "standard" supertropical structure with its "ghost" layer. When $L=NN$ we can describe multiple roots of polynomials via a "layering function" $s:RoL$. Likewise, one can define the layering $s:R^{(n)}o{L}^{(n)}$ componentwise; vectors $v_1,dots,v_m$ are called tropically dependent if each component of some nontrivial linear combination $sum{a}_i{v}_i$ is a ghost, for "tangible" $a_{i}inR$. Then an $nimesn$ matrix has tropically dependent rows iff its permanent is a ghost. We explain how supertropical algebras, and more generally layered algebras, provide a robust algebraic foundation for tropical linear algebra, in which many classical tools are available. In the process, we provide some new results concerning the rank of d-independent sets (such as the fact that they are semi-additive),put them in the context of supertropical bilinear forms, and lay the matrix theory in the framework of identities of semirings.

Full work available at URL: https://arxiv.org/abs/1305.3906

Recommendations

• Layered tropical mathematics
• Categorical notions of layered tropical algebra and geometry
• Elements of tropical linear algebra
• Semigroup identities of supertropical matrices
• Basics of linear algebra over the extended tropical semiring

zbMATH Keywords

max-plus algebratropical linear algebrasupertropical algebrassupertropical bilinear forms

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Semifields (12K10) Max-plus and related algebras (15A80) Semirings (16Y60)

Cited In (17)

• Supertropical monoids: basics and canonical factorization
• Congruences and coordinate semirings of tropical varieties
• Supertropical linear algebra
• Layered tropical mathematics
• Elements of tropical linear algebra
• Idempotent semigroups and tropical algebraic sets
• An informal overview of triples and systems
• Basics of linear algebra over the extended tropical semiring
• Strong independence and injectivity in tropical modules
• On the numerical range in tropical algebra
• Submathematics and tropical mathematics
• A classification of the commutative Banach perfect semi-fields of characteristic 1: applications
• Dominance and Transmissions in Supertropical Valuation Theory
• Categorical notions of layered tropical algebra and geometry
• TROPICAL ALGEBRAIC SETS, IDEALS AND AN ALGEBRAIC NULLSTELLENSATZ
• On matrix semiring over the extended tropical semiring
• Polynomial convolutions in max-plus algebra

This page was built for publication: Algebraic structures of tropical mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942944)