Algorithms for Tight Spans and Tropical Linear Spaces

TL;DR

This paper introduces a novel algorithmic approach for efficiently computing tropical linear spaces and their duals, leveraging Ganter's closure system algorithm to improve computational methods in tropical geometry.

Contribution

The paper presents a new method based on Ganter's algorithm for computing tropical linear spaces and duals of polyhedral subdivisions, advancing computational techniques in tropical geometry.

Findings

Efficient computation of tropical linear spaces.

Application of Ganter's algorithm to tropical geometry.

Enhanced methods for dual polyhedral subdivisions.

Abstract

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.