Constrained Triangulations, Volumes of Polytopes, and Unit Equations
arXiv:1609.05017
Abstract
Given a polytope in and a subset of its vertices, is there a triangulation of using -simplices that all contain ? We answer this question by proving an equivalent and easy-to-check combinatorial criterion for the facets of . Our proof relates triangulations of to triangulations of its "shadow", a projection to a lower-dimensional space determined by . In particular, we obtain a formula relating the volume of with the volume of its shadow. This leads to an exact formula for the volume of a polytope arising in the theory of unit equations.
Added section on Birkhoff polytope and reformulated previous sections considerably