Tropical measures, anisotropic isoperimetric inequality and honeycomb

Abstract

We introduce a tropical spherical measure on $\mathbb{R}^n$ that is based on the tropical metric and is an analogue of spherical Hausdorff measure. This measure is translation invariant but, unlike Lebesgue measure, is not invariant under rotations or reflections. It agrees with Lebesgue measure on $n$-dimensional (but not on $k$-dimensional, $k<n$) measurable subsets of $\mathbb{R}^n$, and on rectifiable curves it recovers tropical length. In dimension $2$ we prove a sharp tropical isoperimetric inequality, with equality precisely for tropical disks, and deduce a tropical honeycomb theorem. We also introduce a tropical analogue of Minkowski content and show that the tropical ball is the associated Wulff shape. This yields an anisotropic type of the tropical isoperimetric problem and consequently a tropical honeycomb theorem in $\mathbb{R}^n$. Finally, we describe the tropical dual norm and dual ball, compare the tropical spherical and Minkowski surface measures, and prove that they agree in the plane and on polytopes in $\mathbb{R}^n$ whose facets are parallel to facets of the tropical ball or its dual.

Figures (6)

• Figure 1: The tropical unit ball in the plane (a hexagon, left) and in space (a dodecahedron with four-sided faces, right)
• Figure 2: Decomposition of the 2-dimensional tropical unit ball into tropical unit hypercubes: min-plus decomposition (left) and max-plus decomposition (right)
• Figure 3: Tessellation of the plane by tropical disks
• Figure 4: Euclidean convex tropical polygon
• Figure 5: A simply connected region $D$ in the plane inscribed in a tropically geodesic set (hexagon) $P$

Theorems & Definitions (43)

• Definition 3.1
• Definition 3.2
• Theorem 4.1: see Ros26
• Definition 5.1
• Example 5.3
• Theorem 5.4
• proof
• Proposition 5.5
• proof
• Definition 5.6