arXiv++ Combinatorics

The set of the triangulations with vertex set $X$ of a simple polygon $\mathrm{P}$ can be structured into a flip-graph $\mathcal{F}(\mathrm{P},X)$ whose edges connect two triangulations that differ by a single arc. The geometry of flip-graphs has been thoroughly studied and it is known that the subgraph $\mathcal{F}_\varepsilon(\mathrm{P},X)$ induced by the triangulations that contain a given arc $\varepsilon$ is strongly convex in $\mathcal{F}(\mathrm{P},X)$ when $\mathrm{P}$ is convex and $X$ contains no puncture (points in the interior of $\mathrm{P}$) and at most one flat vertex (points in the interior of an edge). When $X$ contains at least two punctures or flat vertices, it is also known that this strong convexity property fails. Here, we close the last open case by showing that, for any convex polygon with sufficiently many vertices, one can always place a single puncture in $X$ in such a way that $\mathcal{F}_\varepsilon(\mathrm{P},X)$ is not strongly convex in $\mathcal{F}(\mathrm{P},X)$. We prove a similar result for simple polygons with a single reflex vertex. The main ingredients in our proofs are a decomposition lemma for a class of $3$-dimensional triangulations and a hyperbolic volume argument regarding their embedding into $\mathbb{H}^3$.

Let $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ be the moduli space of centrally symmetric convex polyhedral surfaces with $2N$ labeled vertices and prescribed cone-deficits $δ_1$, $δ_2$, $\dots$, $δ_N$. We show that $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ has the structure of a real hyperbolic manifold of dimension $2N-3$. When $N=4$ and $5$, we show that every surface in $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ can be decomposed into at most $2\binom{2N-2}{2}$ parallelograms, and the decomposition is invariant under the antipodal map. Using the edge-lengths of these parallelograms as coordinates, we show that the moduli space of centrally symmetric polyhedral surfaces with $8$ unlabeled vertices and cone-deficits $\fracπ{2}$ is isometric to the quotient of a real hyperbolic regular ideal $5$-simplex by the dihedral group $D_6$.

Let $σ$ be a simplicial triangulation of the 2-sphere, $X$ the associated integral 2-cycle. A filling of $X$ is an integral 3-chain $Y$ with $\partial Y = X$; a taut filling is one with minimal $L_1$-norm. We show that any taut filling arises from an extension of $σ$ to a shellable simplicial triangulation of the 3-ball. The key to the proof is the general fact that any taut filling of an $n$-cycle splits under disjoint union, connected sum, and more generally what we call almost disjoint union, where summands are supported on sets that overlap in at most $n+1$ vertices. Despite the generality of this result, we have nothing to say about optimal fillings of spheres of dimension 3 or higher.

Define the tet-volume of a triangulation of the 2-sphere to be the minimum number of tetrahedra in a 3-complex of which it is the boundary, and let $d(v)$ be the maximum tet-volume for $v$-vertex triangulations. In 1986 Sleator, Tarjan, and Thurston (STT) proved that $d(v) = 2v-10$ holds for large $v$, and conjectured that it holds for all $v \geq 13$. Their proof used hyperbolic polyhedra of large volume. They suggested using more general notions of volume instead. In work that was all but lost, Mathieu and Thurston used this approach to outline a combinatorial proof of the STT asymptotic result. Here we use a much simplified version of their approach to prove the full conjecture. This implies STT's weaker conjecture, proven by Pournin in 2014, characterizing the maximum rotation distance between trees.

It is known that the flip distance between two triangulations of a convex polygon is related to the minimum number of tetrahedra in the triangulation of some polyhedron. It is interesting to know whether these two numbers are the same. In this work, we find examples to show that the two numbers are different in nature, and their ratio can be arbitrarily close to $\frac{3}{2}$.

The triangulations of a surface $Σ$ with a prescribed set of vertices can be endowed with a graph structure $\mathcal{F}(Σ)$. Its edges connect two triangulations that differ by a single arc. It is known that, when $Σ$ is a convex polygon or a topological surface, the subgraph $\mathcal{F}_\varepsilon(Σ)$ induced in $\mathcal{F}(Σ)$ by the triangulations that contain a given arc $\varepsilon$ is strongly convex in the sense that all the geodesic paths between two such triangulations remain in that subgraph. Here, we provide a related result that involves a triangle instead of an arc, in the case when $Σ$ is a convex polygon. We show that, when the three edges of a triangle $τ$ appear in (possibly distinct) triangulations along a geodesic path, $τ$ must belong to a triangulation in that path. More generally, we prove that certain $3$-dimensional triangulations related to the geodesics in $\mathcal{F}(Σ)$ are flag when $Σ$ is a convex polygon with flat vertices, and provide two consequences. The first is that $\mathcal{F}_\varepsilon(Σ)$ is not always strongly convex when $Σ$ is a convex polygon with either two flat vertices or two punctures. The second is that the number of arc crossings between two triangulations of a topological surface $Σ$ does not allow to approximate their distance in $\mathcal{F}(Σ)$ by a factor of less than $3/2$.