Algorithms for Tight Spans and Tropical Linear Spaces
We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. It is based on Ganter's algorithm (1984) for finite closure systems.
Source author record
Simon Hampe
Simon Hampe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
6works
3topics
3close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
6 published item(s)
preprint2016arXiv
The intersection ring of matroids
We study a particular graded ring structure on the set of all loopfree matroids on a fixed labeled ground set, which occurs naturally in tropical geometry. The product is given by matroid intersection and the additive structure is defined by assigning to each matroid the indicator vector of its chains of flats. We show that this ring is generated in corank one, more precisely that any matroid can be written as a linear combination of products of corank one matroids. Moreover, we prove that a basis for the graded part of rank r matroids is given by the set of nested matroids and that the total number of these is a Eulerian number. Derksen's G-invariant then defines a Z-linear map on this ring, which implies for example that the Tutte polynomial is linear on it as well. Finally we show that the ring is the cohomology ring of the toric variety of the permutohedron and thus fulfills Poincaré duality.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
The polymake XML file format
We describe an XML file format for storing data from computations in algebra and geometry. We also present a formal specification based on a RELAX-NG schema.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Combinatorics of tropical Hurwitz cycles
We study properties of the tropical double Hurwitz loci defined by Bertram, Cavalieri and Markwig. We show that all such loci are connected in codimension one. If we mark preimages of simple ramification points, then for a generic choice of such points the resulting cycles are weakly irreducible, i.e. an integer multiple of an irreducible cycle. We study how Hurwitz cycles can be written as divisors of rational functions and show that they are numerically equivalent to a tropical version of a representation as a sum of boundary divisors. The results and counterexamples in this paper were obtained with the help of a-tint, an extension for polymake for tropical intersection theory.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Tropical linear spaces and tropical convexity
In classical geometry, a linear space is a space that is closed under linear combinations. In tropical geometry, it has long been a consensus that tropical varieties defined by valuated matroids are the tropical analogue of linear spaces. It is not difficult to see that each such space is tropically convex, i.e. closed under tropical linear combinations. However, we will also show that the converse is true: Each tropical variety that is also tropically convex is supported on the complex of a valuated matroid. We also prove a tropical local-to-global principle: Any closed, connected, locally tropically convex set is tropically convex.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
A-Tint: A polymake extension for algorithmic tropical intersection theory
In this paper we study algorithmic aspects of tropical intersection theory. We analyse how divisors and intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus of this paper is the study of moduli spaces, where the underlying combinatorics of the varieties involved allow a much more efficient way of computing certain tropical cycles. The algorithms discussed here have been implemented in an extension for polymake, a software for polyhedral computations.
0 citations0 reviewsNo code linkedOpen access