Indexed metadata

Flip-graph non-convexity for once-punctured polygons

Lionel Pournin, Zili Wang

Source record

Source: arXiv

Published: Sep 1, 2026

arXiv: 2609.01412

Open original source ↗

Source abstract

The set of the triangulations with vertex set XX of a simple polygon P\mathrm{P} can be structured into a flip-graph F(P,X)\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 Fε(P,X)\mathcal{F}_\varepsilon(\mathrm{P},X) induced by the triangulations that contain a given arc ε\varepsilon is strongly convex in F(P,X)\mathcal{F}(\mathrm{P},X) when P\mathrm{P} is convex and XX contains no puncture (points in the interior of P\mathrm{P}) and at most one flat vertex (points in the interior of an edge). When XX 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 XX in such a way that Fε(P,X)\mathcal{F}_\varepsilon(\mathrm{P},X) is not strongly convex in F(P,X)\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 33-dimensional triangulations and a hyperbolic volume argument regarding their embedding into H3\mathbb{H}^3.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.