Related papers: Layered Tropical Mathematics
A very brief introduction to tropical and idempotent mathematics is presented. Tropical mathematics can be treated as a result of a dequantization of the traditional mathematics as the Planck constant tends to zero taking imaginary values.…
We introduce an object that has obvious similarity to the classical one - the algebra of supersymmetric polynomials. Despite the similarity, the known structure theorems on supersymmetric polynomials do not help in the study of the new…
This document is a slightly expanded version of a series of talks given by J. Giansiracusa at the workshop `Geometry over semirings' at Universitat Aut\`{o}noma de Barcelona in July 2025. In the first lecture we introduce tropical…
In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models…
The objective of this paper is to develop a general algebraic theory of supertropical matrix algebra, extending [11]. Our main results are as follows: * The tropical determinant (i.e., permanent) is multiplicative when all the determinants…
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to…
We study a numerical semigroup ring as an algebra over another numerical semigroup ring. The complete intersection property of numerical semigroup algebras is investigated using factorizations of monomials into minimal ones. The goal is to…
The hypertoric variety $\mathfrak{M}_{\mathcal{A}}$ defined by an affine arrangement $\mathcal{A}$ admits a natural tropicalization, induced by its embedding in a Lawrence toric variety. We explicitly describe the polyhedral structure of…
In a field of Laurent series, we construct a subring which has a module structure over a Weyl algebra. Identities of Bernoulli numbers and polynomials are obtained from these algebraic structures.
A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…
In this paper we look into the structure of finite-dimensional graded superalgebras of various types such as associative, Lie and Jordan over an algebraically closed field of characteristic zero.
Tropical geometry has recently found several applications in the analysis of neural networks with piecewise linear activation functions. This paper presents a new look at the problem of tropical polynomial division and its application to…
Much like in the theory of algebraic geometry, we develop a correspondence between certain types of algebraic and geometric objects. The basic algebraic environment we work in is the a semifield of fractions H(x1,...,xn) of the polynomial…
We explore several facets of tropical subrepresentations of a linear representation of a group over the tropical semifield $\mathbb{T}$. A key role in the study of tropical subrepresentations is played by two types of modules over a…
We define tropical analogues of the notions of linear space and Plucker coordinate and study their combinatorics. We introduce tropical analogues of intersection and dualization and define a tropical linear space built by repeated…
We investigate different notions of linear independence and of matrix rank that are relevant for max-plus or tropical semirings. The factor rank and tropical rank have already received attention, we compare them with the ranks defined in…
Positively graded algebras are fairly natural objects which are arduous to be studied. In this article we query quotients of non-standard graded polynomial rings with combinatorial and commutative algebra methods.
We give a short tour through major parts of a recent long paper [IKR1] on supertropical valuation theory, leaving aside nearly all proofs (to be found in [IKR1]). In this way we hope to give easy access to ideas of a new branch of so called…
We introduce new discrete best approximation problems, formulated and solved in the framework of tropical algebra, which deals with semirings and semifields with idempotent addition. Given a set of samples, each consisting of the input and…
We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the…