Flip Graphs of Degree-Bounded (Pseudo-)Triangulations

We study flip graphs of triangulations whose maximum vertex degree is bounded by a constant $k$. In particular, we consider triangulations of sets of $n$ points in convex position in the plane and prove that their flip graph is connected if and only if $k > 6$; the diameter of the flip graph is $O(n^2)$. We also show that, for general point sets, flip graphs of pointed pseudo-triangulations can be disconnected for $k \leq 9$, and flip graphs of triangulations can be disconnected for any $k$. Additionally, we consider a relaxed version of the original problem. We allow the violation of the degree bound $k$ by a small constant. Any two triangulations with maximum degree at most $k$ of a convex point set are connected in the flip graph by a path of length $O(n \log n)$, where every intermediate triangulation has maximum degree at most $k+4$.Comment: 13 pages, 12 figures, acknowledgments update

Transforming triangulations on non planar-surfaces

We consider whether any two triangulations of a polygon or a point set on a non-planar surface with a given metric can be transformed into each other by a sequence of edge flips. The answer is negative in general with some remarkable exceptions, such as polygons on the cylinder, and on the flat torus, and certain configurations of points on the cylinder.Comment: 19 pages, 17 figures. This version has been accepted in the SIAM Journal on Discrete Mathematics. Keywords: Graph of triangulations, triangulations on surfaces, triangulations of polygons, edge fli

The polytope of non-crossing graphs on a planar point set

For any finite set \A of $n$ points in $\R^2$, we define a $(3n-3)$-dimensional simple polyhedron whose face poset is isomorphic to the poset of ``non-crossing marked graphs'' with vertex set \A, where a marked graph is defined as a geometric graph together with a subset of its vertices. The poset of non-crossing graphs on \A appears as the complement of the star of a face in that polyhedron. The polyhedron has a unique maximal bounded face, of dimension $2n_i +n -3$ where $n_i$ is the number of points of \A in the interior of \conv(\A). The vertices of this polytope are all the pseudo-triangulations of \A, and the edges are flips of two types: the traditional diagonal flips (in pseudo-triangulations) and the removal or insertion of a single edge. As a by-product of our construction we prove that all pseudo-triangulations are infinitesimally rigid graphs.Comment: 28 pages, 16 figures. Main change from v1 and v2: Introduction has been reshape

Triangulating the Real Projective Plane

We consider the problem of computing a triangulation of the real projective plane P2, given a finite point set S={p1, p2,..., pn} as input. We prove that a triangulation of P2 always exists if at least six points in S are in general position, i.e., no three of them are collinear. We also design an algorithm for triangulating P2 if this necessary condition holds. As far as we know, this is the first computational result on the real projective plane

A bijection for triangulations, quadrangulations, pentagulations, etc

A $d$-angulation is a planar map with faces of degree $d$. We present for each integer $d\geq 3$ a bijection between the class of $d$-angulations of girth $d$ (i.e., with no cycle of length less than $d$) and a class of decorated plane trees. Each of the bijections is obtained by specializing a "master bijection" which extends an earlier construction of the first author. Our construction unifies known bijections by Fusy, Poulalhon and Schaeffer for triangulations ($d=3$) and by Schaeffer for quadrangulations ($d=4$). For $d\geq 5$, both the bijections and the enumerative results are new. We also extend our bijections so as to enumerate \emph{$p$-gonal $d$-angulations} ($d$-angulations with a simple boundary of length $p$) of girth $d$. We thereby recover bijectively the results of Brown for simple $p$-gonal triangulations and simple $2p$-gonal quadrangulations and establish new results for $d\geq 5$. A key ingredient in our proofs is a class of orientations characterizing $d$-angulations of girth $d$. Earlier results by Schnyder and by De Fraysseix and Ossona de Mendez showed that simple triangulations and simple quadrangulations are characterized by the existence of orientations having respectively indegree 3 and 2 at each inner vertex. We extend this characterization by showing that a $d$-angulation has girth $d$ if and only if the graph obtained by duplicating each edge $d-2$ times admits an orientation having indegree $d$ at each inner vertex

Mutations and faces of the Thurston norm ball dynamically represented by multiple distinct flows

A pseudo-Anosov flow on a hyperbolic 3-manifold dynamically represents a face F of the Thurston norm ball if the cone on F is dual to the cone spanned by homology classes of closed orbits of the flow. Fried showed that for every fibered face of the Thurston norm ball there is a unique, up to isotopy and reparametrization, flow which dynamically represents the face. Using veering triangulations we have found that there are non-fibered faces of the Thurston norm ball which are dynamically represented by multiple topologically inequivalent flows. This raises a question of how distinct flows representing the same face are related. We define combinatorial mutations of veering triangulations along surfaces that they carry. We give sufficient and necessary conditions for the mutant triangulation to be veering. After appropriate Dehn filling these veering mutations correspond to transforming one 3-manifold M with a pseudo-Anosov flow transverse to an embedded surface S into another 3-manifold admitting a pseudo-Anosov flow transverse to a surface homeomorphic to S. We show that a non-fibered face of the Thurston norm ball can be dynamically represented by two distinct flows that differ by a veering mutation.Comment: 60 pages, 25 figure

The geometry of flip graphs and mapping class groups

The space of topological decompositions into triangulations of a surface has a natural graph structure where two triangulations share an edge if they are related by a so-called flip. This space is a sort of combinatorial Teichm\"uller space and is quasi-isometric to the underlying mapping class group. We study this space in two main directions. We first show that strata corresponding to triangulations containing a same multiarc are strongly convex within the whole space and use this result to deduce properties about the mapping class group. We then focus on the quotient of this space by the mapping class group to obtain a type of combinatorial moduli space. In particular, we are able to identity how the diameters of the resulting spaces grow in terms of the complexity of the underlying surfaces.Comment: 46 pages, 23 figure

Multitriangulations, pseudotriangulations and primitive sorting networks

We study the set of all pseudoline arrangements with contact points which cover a given support. We define a natural notion of flip between these arrangements and study the graph of these flips. In particular, we provide an enumeration algorithm for arrangements with a given support, based on the properties of certain greedy pseudoline arrangements and on their connection with sorting networks. Both the running time per arrangement and the working space of our algorithm are polynomial. As the motivation for this work, we provide in this paper a new interpretation of both pseudotriangulations and multitriangulations in terms of pseudoline arrangements on specific supports. This interpretation explains their common properties and leads to a natural definition of multipseudotriangulations, which generalizes both. We study elementary properties of multipseudotriangulations and compare them to iterations of pseudotriangulations.Comment: 60 pages, 40 figures; minor corrections and improvements of presentatio