Computing Tropical Varieties

The tropical variety of a $d$-dimensional prime ideal in a polynomial ring with complex coefficients is a pure $d$-dimensional polyhedral fan. This fan is shown to be connected in codimension one. We present algorithmic tools for computing the tropical variety, and we discuss our implementation of these tools in the Gr\"obner fan software \texttt{Gfan}. Every ideal is shown to have a finite tropical basis, and a sharp lower bound is given for the size of a tropical basis for an ideal of linear forms.Comment: 22 pages, 2 figure

Integrable structure of box-ball systems: crystal, Bethe ansatz, ultradiscretization and tropical geometry

The box-ball system is an integrable cellular automaton on one dimensional lattice. It arises from either quantum or classical integrable systems by the procedures called crystallization and ultradiscretization, respectively. The double origin of the integrability has endowed the box-ball system with a variety of aspects related to Yang-Baxter integrable models in statistical mechanics, crystal base theory in quantum groups, combinatorial Bethe ansatz, geometric crystals, classical theory of solitons, tau functions, inverse scattering method, action-angle variables and invariant tori in completely integrable systems, spectral curves, tropical geometry and so forth. In this review article, we demonstrate these integrable structures of the box-ball system and its generalizations based on the developments in the last two decades.Comment: 73 page

Matrix Orbit Closures

Let $G$ be the group \GL_r(\CC) \times (\CC^\times)^n. We conjecture that the finely-graded Hilbert series of a $G$ orbit closure in the space of $r$-by-$n$ matrices is wholly determined by the associated matroid. In support of this, we prove that the coefficients of this Hilbert series corresponding to certain hook-shaped Schur functions in the \GL_r(\CC) variables are determined by the matroid, and that the orbit closure has a set-theoretic system of ideal generators whose combinatorics are also so determined. We also discuss relations between these Hilbert series for related matrices

A Note on Tropical Triangles in the Plane

We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes ∞, 0, 1. Using this classical hexagon, we determine a parameter space for transversal tropical triangles. The coordinates of the vertices of a transversal tropical triangle determine a tropically regular matrix. Triangulations of the tropical plane are obtained