English
Related papers

Related papers: Tropical Cramer Determinants Revisited

200 papers

In this note, we propose a novel technique to reduce the algorithmic complexity of neural network training by using matrices of tropical real numbers instead of matrices of real numbers. Since the tropical arithmetics replaces…

Computational Complexity · Computer Science 2021-01-05 Ozgur Ceyhan

In tropical algebraic geometry, the solution sets of polynomial equations are piecewise-linear. We introduce the tropical variety of a polynomial ideal, and we identify it with a polyhedral subcomplex of the Grobner fan. The tropical…

Algebraic Geometry · Mathematics 2007-05-23 David Speyer , Bernd Sturmfels

We establish necessary and sufficient conditions for a semigroup identity to hold in the monoid of $n\times n$ upper triangular tropical matrices, in terms of equivalence of certain tropical polynomials. This leads to an algorithm for…

Rings and Algebras · Mathematics 2020-04-07 Laure Daviaud , Marianne Johnson , Mark Kambites

The tropical rank of a semimodule of rational functions on a metric graph mirrors the concept of rank in linear algebra. Defined in terms of the maximal number of tropically independent elements within the semimodule, this quantity has…

Algebraic Geometry · Mathematics 2026-03-09 Omid Amini , Stéphane Gaubert , Lucas Gierczak

We prove that there exists a topologically mixing homeomorphism which is completely scrambled. We also prove that for any integer $n\geq 1$ there is a continuum of topological dimension $n$ supporting a transitive completely scrambled…

Dynamical Systems · Mathematics 2017-01-30 Jan P. Boroński , Jiří Kupka , Piotr Oprocha

We show that an embedding in Euclidean space based on tropical geometry generates stable sufficient statistics for barcodes. In topological data analysis, barcodes are multiscale summaries of algebraic topological characteristics that…

Statistics Theory · Mathematics 2019-07-02 Anthea Monod , Sara Kališnik , Juan Ángel Patiño-Galindo , Lorin Crawford

We provide geometric methods and algorithms to verify, construct and enumerate pairs of words (of specified length over a fixed $m$-letter alphabet) that form identities in the semigroup $\ut{n}$ of $n\times n$ upper triangular tropical…

Combinatorics · Mathematics 2018-08-14 Marianne Johnson , Ngoc Mai Tran

This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories,…

Rings and Algebras · Mathematics 2012-07-17 Zur Izhakian , Manfred Knebusch , Louis Rowen

We develop a theory of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence, which also includes the possibility of dealing with several systems associated with sufficiently independent…

Number Theory · Mathematics 2020-12-16 Boris Adamczewski , Colin Faverjon

We show that the moduli spaces of irreducible labeled parametrized marked rational curves in toric varieties can be embedded into algebraic tori such that their tropicalizations are the analogous tropical moduli spaces. These embeddings are…

Algebraic Geometry · Mathematics 2016-12-01 Andreas Gross

We develop the rudiments of a finite-dimensional representation theory of groups over idempotent semifields by considering linear actions on tropical linear spaces. This can be considered a tropical representation theory, a characteristic…

Representation Theory · Mathematics 2018-10-23 Noah Giansiracusa , Jacob Manaker

This paper is the third installment in a series of papers devoted to the computation of enumerative invariants of abelian surfaces through the tropical approach. We develop a pearl diagram algorithm similar to the floor diagram algorithm…

Algebraic Geometry · Mathematics 2024-03-27 Thomas Blomme

We study the expressivity and computational aspects of first-order logic and its extensions in the semiring semantics developed by Gr\"adel and Tannen. We characterize the complexity of model checking and data complexity of first-order…

Logic in Computer Science · Computer Science 2025-05-21 Timon Barlag , Nicolas Fröhlich , Teemu Hankala , Miika Hannula , Minna Hirvonen , Vivian Holzapfel , Juha Kontinen , Arne Meier , Laura Strieker

We present applications of tropical geometry to some integrable piecewise-linear maps, based on the lecture given by one of the authors (R. I.) at the workshop "Tropical Geometry and Integrable Systems" (University of Glasgow, July 2011),…

Mathematical Physics · Physics 2012-11-02 Rei Inoue , Shinsuke Iwao

This is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique…

Rings and Algebras · Mathematics 2026-03-30 Marianne Akian , Stephane Gaubert , Louis Rowen

In this text we review a few structural properties of matrix models that should at least partly generalize to random tensor models. We review some aspects of the loop equations for matrix models and their algebraic counterpart for tensor…

Mathematical Physics · Physics 2016-03-08 Stephane Dartois

We study the classical result by Bruijn and Erd\H os regarding the bound on the number of lines determined by a $n$-point configuration in the plane, and in the light of the recently proven Tropical Sylvester-Gallai theorem, come up with a…

Algebraic Geometry · Mathematics 2020-06-09 Ayush Kumar Tewari

Tropical algebra emerges in many fields of mathematics such as algebraic geometry, mathematical physics and combinatorial optimization. In part, its importance is related to the fact that it makes various parameters of mathematical objects…

Algebraic Geometry · Mathematics 2019-04-26 Dima Grigoriev , Vladimir V. Podolskii

In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and…

Logic in Computer Science · Computer Science 2016-07-18 Boas Kluiving , Wijnand van Woerkom

We introduce and study minimal (with respect to inclusion) solutions of systems of tropical linear differential equations. We describe the set of all minimal solutions for a single equation. It is shown that any tropical linear differential…

Algebraic Geometry · Mathematics 2025-04-01 Dima Grigoriev , Cristhian Garay López
‹ Prev 1 8 9 10 Next ›