One of the results of this preprint (Proposition 3) can be found in arXiv:1902.10788. Since I am a single author of this statement, I rewrite this result to make the material self-completed. The remaining two authors of arXiv:1902.10788 do not have any objections and do not plan to include this result in their forthcoming paper. arXiv admin note: substantial text overlap with arXiv:1902.10788
The main objects of the paper are $z$-oriented triangulations of connected closed $2$-dimensional surfaces. A $z$-orientation of a map is a minimal collection of zigzags which double covers the set of edges. We have two possibilities for an edge -- zigzags from the $z$-orientation pass through this edge in different directions (type I) or in the same direction (type II). Then there are two types of faces in a triangulation: the first type is when two edges of the face are of type I and one edge is of type II and the second type is when all edges of the face are of type II. We investigate $z$-oriented triangulations with all faces of the first type (in the general case, any $z$-oriented triangulation can be shredded to a $z$-oriented triangulation of such type). A zigzag is homogeneous if it contains precisely two edges of type I after any edge of type II. We give a topological characterization of the homogeneity of zigzags; in particular, we describe a one-to-one correspondence between $z$-oriented triangulations with homogeneous zigzags and closed $2$-cell embeddings of directed Eulerian graphs in surfaces. At the end, we give an application to one type of the $z$-monodromy.
Develin and Sturmfels showed that regular triangulations of $Δ_{n-1} \times Δ_{d-1}$ can be thought as tropical polytopes. Tropical oriented matroids were defined by Ardila and Develin, and were conjectured to be in bijection with all subdivisions of $Δ_{n-1} \times Δ_{d-1}$. In this paper, we show that any triangulation of $Δ_{n-1} \times Δ_{d-1}$ encodes a tropical oriented matroid. We also suggest a new class of combinatorial objects that may describe all subdivisions of a bigger class of polytopes.
A {\em $1-$vertex triangulation} of an oriented compact surface $S$ of genus $g$ is an embedded graph $T\subset S$ with a unique vertex such that all connected components of $S\setminus T$ are triangles (adjacent to exactly 3 edges of $T$). This paper gives formulas enumerating such triangulations (up to equivalence) on an oriented surface of given genus. {\em Une triangulation à un sommet} d'une surface orientée compacte $S$ de genre $g$ est un graphe $T\subset S$ qui a un unique sommet et dont toutes les faces (composantes connexes de $S\setminus T$) sont des triangles (incidentes à trois ar…
We show that no minimal vertex triangulation of a closed, connected, orientable 2-manifold of genus 6 admits a polyhedral embedding in R^3. We also provide examples of minimal vertex triangulations of closed, connected, orientable 2-manifolds of genus 5 that do not admit any polyhedral embeddings. We construct a new infinite family of non-realizable triangulations of surfaces. These results were achieved by transforming the problem of finding suitable oriented matroids into a satisfiability problem. This method can be applied to other geometric realizability problems, e.g. for face lattices of…
We introduce the Dyck path triangulation of the cartesian product of two simplices $Δ_{n-1}\timesΔ_{n-1}$. The maximal simplices of this triangulation are given by Dyck paths, and its construction naturally generalizes to produce triangulations of $Δ_{r\ n-1}\timesΔ_{n-1}$ using rational Dyck paths. Our study of the Dyck path triangulation is motivated by extendability problems of partial triangulations of products of two simplices. We show that whenever $m\geq k>n$, any triangulation of $Δ_{m-1}^{(k-1)}\timesΔ_{n-1}$ extends to a unique triangulation of $Δ_{m-1}\timesΔ_{n-1}$. Moreover, with …
Let $Γ$ be a triangulation of a connected closed $2$-dimensional (not necessarily orientable) surface. Using zigzags (closed left-right paths), for every face of $Γ$ we define the $z$-monodromy which acts on the oriented edges of this face. There are precisely $7$ types of $z$-monodromies. We consider the following two cases: (M1) the $z$-monodromy is identity, (M2) the $z$-monodromy is the consecutive passing of the oriented edges. Our main result is the following: the subgraphs of the dual graph $Γ^{*}$ formed by edges whose $z$-monodromies are of types (M1) and (M2), respectively, both are …
We introduce a construction of oriented matroids from a triangulation of a product of two simplices. For this, we use the structure of such a triangulation in terms of polyhedral matching fields. The oriented matroid is composed of compatible chirotopes on the cells in a matroid subdivision of the hypersimplex, which might be of independent interest. In particular, we generalize this using the language of matroids over hyperfields, which gives a new approach to construct matroids over hyperfields. A recurring theme in our work is that various tropical constructions can be extended beyond tropi…
Starting with the irreducible triangulations of a fixed surface and splitting vertices, all the triangulations of the surface up to a given number of vertices can be generated. The irreducible triangulations have previously been determined for the surfaces S_0, S_1, N_1,and N_2. An algorithm is presented for generating the irreducible triangulations of a fixed surface using triangulations of other surfaces. This algorithm has been implemented as a computer program which terminates for S_1, S_2, N_1, N_2, N_3, and N_4. Thus the complete sets irreducible triangulations are now also known for S_2…
The complete sets of irreducible triangulations are known for the orientable surfaces with genus of 0, 1, or 2 and for the nonorientable surfaces with genus of 1, 2, 3, or 4. By examining these sets we determine some of the properties of these irreducible triangulations.
A triangulation is called $z$-knotted if it has a single zigzag (up to reversing). A $z$-orientation on a triangulation is a minimal collection of zigzags which double covers the set of edges. An edge is of type I if zigzags from the $z$-orientation pass through it in different directions, otherwise this edge is of type II. If all zigzags from the $z$-orientation contain precisely two edges of type I after any edge of type II, then the $z$-oriented triangulation is said to be $z$-homogeneous. We describe an algorithm transferring each $z$-homogeneous trianguation to other $z$-homogeneous trian…
The intersection matrix of a finite simplicial complex has as each of its entries the rank of the intersection of its respective simplices. We prove that such matrix defines the triangulation of a closed connected surface up to isomorphism.
A triangulation of a surface is irreducible if there is no edge whose contraction produces another triangulation of the surface. In this work we propose an algorithm that constructs the set of irreducible triangulations of any surface with precisely one boundary component. By implementing the algorithm on computer, we have found a list of 297 nonisomorphic combinatorial types of irreducible triangulations on the once-punctured torus.
We present two versions of a method for generating all triangulations of any punctured surface in each of these two families: (1) triangulations with inner vertices of degree at least 4 and boundary vertices of degree at least 3 and (2) triangulations with all vertices of degree at least 4. The method is based on a series of reversible operations, termed reductions, which lead to a minimal set of triangulations in each family. Throughout the process the triangulations remain within the corresponding family. Moreover, for the family (1) these operations reduce to the well-known edge contraction…
In this paper we prove that a finite triangulation of a connected closed surface is completely determined by its intersection matrix. The \emph{intersection matrix} of a finite triangulation, $K$, is defined as $M_{K}=(dim(s_{i}\cap s_{j}))_{0\leq i,0\leq j}^{n-1}$, where $K_{2}=\{s_{0}, \ldots s_{n-1}\}$ is a labelling of the triangles of $K$.
A triangulation of a surface is \emph{irreducible} if there is no edge whose contraction produces another triangulation of the surface. We prove that every irreducible triangulation of a surface with Euler genus $g\geq1$ has at most $13g-4$ vertices. The best previous bound was $171g-72$.
We present a family of index 1 abelian current graphs whose derived embeddings can be modified into triangulations of $K_{12s}$ for $s \geq 4$. Our construction is significantly simpler than previous methods for finding genus embeddings of $K_{12s}$, which utilized either large index or nonabelian groups.
We investigate zigzags in triangulations of connected closed $2$-dimensional surfaces and show that there is a one-to-one correspondence between triangulations with homogeneous zigzags and closed $2$-cell embeddings of directed Eulerian graphs in surfaces. A triangulation is called $z$-knotted if it has a single zigzag. We construct a family of tree structured $z$-knotted spherical triangulations whose zigzags are homogeneous.
A dominating set D of a graph G is a set such that each vertex v of G is either in the set or adjacent to a vertex in the set. Matheson and Tarjan (1996) proved that any n-vertex plane triangulation has a dominating set of size at most n/3, and conjectured a bound of n/4 for n sufficiently large. King and Pelsmajer recently proved this for graphs with maximum degree at most 6. Plummer and Zha (2009) and Honjo, Kawarabayashi, and Nakamoto (2009) extended the n/3 bound to triangulations on surfaces. We prove two related results: (i) There is a constant c such that any n-vertex plane triangulatio…
We prove that any triangulation of a surface different from the sphere and the projective plane admits an orientation without sinks such that every vertex has outdegree divisible by three. This confirms a conjecture of Barát and Thomassen and is a step towards a generalization of Schnyder woods to higher genus surfaces.
A triangulation is an embedding of a graph into a closed Riemann surface so that each face boundary is a 3-cycle of the graph. In this work, groundstate degeneracy in the antiferromagnetic Ising model on triangulations is studied. We show that for every fixed closed Riemann surface S, there are vertex-increasing sequences of triangulations of S with a non-degenerated groundstate. In particular, we exhibit geometrically frustrated systems with a non-degenerated groundstate.
With the $[0,1,2]$-family of cyclic triangulations we introduce a rich class of vertex-transitive triangulations of surfaces. In particular, there are infinite series of cyclic $q$-equivelar triangulations of orientable and non-orientable surfaces for every $q=3k$, $k\geq 2$, and every $q=3k+1$, $k\geq 3$. Series of cyclic tessellations of surfaces are derived from these triangulated series.
In a previous work, we gave a construction of (not necessarily realizable) oriented matroids from a triangulation of a product of two simplices. In this follow-up paper, we use a variant of Viro's patchworking to derive a topological representation of the oriented matroid directly from the polyhedral structure of the triangulation, hence finding a combinatorial manifestation of patchworking besides tropical algebraic geometry. We achieve this by rephrasing the patchworking procedure as a controlled cell merging process, guided by the structure of tropical oriented matroids. A key insight is a …
Triangulations of a product of two simplices and, more generally, of root polytopes are closely related to Gelfand-Kapranov-Zelevinsky's theory of discriminants, to tropical geometry, tropical oriented matroids, and to generalized permutohedra. We introduce a new approach to these objects, identifying a triangulation of a root polytope with a certain bijection between lattice points of two generalized permutohedra. In order to study such bijections, we define trianguloids as edge-colored graphs satisfying simple local axioms. We prove that trianguloids are in bijection with triangulations of r…
We describe some theoretical results on triangulations of surfaces and we develop a theory on roots, decompositions and genus-surfaces. We apply this theory to describe an algorithm to list all triangulations of closed surfaces with at most a fixed number of vertices. We specialize the theory for the case where the number of vertices is at most 11 and we get theoretical restrictions on genus-surfaces allowing us to get the list of triangulations of closed surfaces with at most 11 vertices.
A triangulation of a surface is irreducible if no edge can be contracted to produce a triangulation of the same surface. In this paper, we investigate irreducible triangulations of surfaces with boundary. We prove that the number of vertices of an irreducible triangulation of a (possibly non-orientable) surface of genus g>=0 with b>=0 boundaries is O(g+b). So far, the result was known only for surfaces without boundary (b=0). While our technique yields a worse constant in the O(.) notation, the present proof is elementary, and simpler than the previous ones in the case of surfaces without boun…
In this paper, we study the feedback game on $3$-chromatic Eulerian triangulations of surfaces. We prove that the winner of the game on every $3$-chromatic Eulerian triangulation of a surface all of whose vertices have degree $0$ modulo $4$ is always fixed. Moreover, we also study the case of $3$-chromatic Eulerian triangulations of surfaces which have at least two vertices whose degrees are $2$ modulo $4$, and in particular, we determine the winner of the game on a concrete class of such graphs, called an octahedral path.
Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We show that the number of vertex-labelled cubic multigraphs embeddable on $\mathbb{S}_g$ with $2n$ vertices is asymptotically $c_g n^{5(g-1)/2-1}γ^{2n}(2n)!$, where $γ$ is an algebraic constant and $c_g$ is a constant depending only on the genus $g$. We also derive an analogous result for simple cubic graphs and weighted cubic multigraphs. Additionally we prove that a typical cubic multigraph embeddable on $\mathbb{S}_g$, $g\ge 1$, has exactly one non-planar component.
A degree-regular triangulation is one in which each vertex has identical degree. Our main result is that any such triangulation of a (possibly non-compact) surface $S$ is geometric, that is, it is combinatorially equivalent to a geodesic triangulation with respect to a constant curvature metric on $S$, and we list the possibilities. A key ingredient of the proof is to show that any two $d$-regular triangulations of the plane for $d> 6 $ are combinatorially equivalent. The proof of this uniqueness result, which is of independent interest, is based on an inductive argument involving some combina…
In this paper, we show that two balanced triangulations of a closed surface are not necessary connected by a sequence of balanced stellar subdivisions and welds. This answers a question posed by Izmestiev, Klee and Novik. We also show that two balanced triangulations of a closed surface are connected by a sequence of three local operations, which we call the pentagon contraction, the balanced edge subdivision and the balanced edge weld. In addition, we prove that two balanced triangulations of the 2-sphere are connected by a sequence of pentagon contractions and their inverses if none of them …
Any two triangulations of a closed surface with the same number of vertices can be transformed into each other by a sequence of regular flips, provided the number of vertices exceeds a number N depending on the surface. Examples show that in general N is bigger than the minimal number of vertices of a triangulation. The existence of N was known, but no estimate. This paper provides an estimate for N that is linear in the Euler characteristic of the surface.
In this paper we prove that the surface of the cuboctahedron can be triangulated into 8 non-obtuse triangles and 12 acute triangles. Furthermore, we show that both bounds are the best possible.
We consider triangulations of closed surfaces in which every vertex is incident to exactly $d$ edges. These triangulations can be identified with subgroups of the triangle group $\langle a,b,c\mid a^2,b^2,c^2,(ab)^3,(ac)^2,(bc)^d\rangle$ that intersect $\langle a,b\rangle$, $\langle a,c\rangle$, and $\langle b,c\rangle$ trivially. The term geodesic duality refers to an external symmetry introduced by Wilson in 1979. Our main result is the characterisation of all subgroups corresponding to geodesic self--dual regular triangulations, together with a complete enumeration for $d < 10$.
We investigate a type of distance between triangulations on finite type surfaces where one moves between triangulations by performing simultaneous flips. We consider triangulations up to homeomorphism and our main results are upper bounds on distance between triangulations that only depend on the topology of the surface.
Motivated by recent work on Delaunay triangulations of hyperbolic surfaces, we consider the minimal number of vertices of such triangulations. First, we will show that every hyperbolic surface of genus $g$ has a simplicial Delaunay triangulation with $O(g)$ vertices, where edges are given by distance paths. Then, we will construct a class of hyperbolic surfaces for which the order of this bound is optimal. Finally, to give a general lower bound, we will show that the $Ω(\sqrt{g})$ lower bound for the number of vertices of a simplicial triangulation of a topological surface of genus $g$ is tigh…
The ideal (tagged resp.) triangulation of bounded surface with marked points are associated with skew-symmetric (skew-symmetrizable) exchange matrices. An algo- rithm is established to decompose the graph associated to such matrix. There are finite many graph with non-unique decomposition. We find all such graphs and their decompositions. In addition, we also find the associated ideal (tagged) triangulations to different decompositions.
We tackle the classification problem of non-degenerate potentials for quivers arising from triangulations of surfaces in the cases left open by Geiss-Labardini-Schröer. Namely, for once-punctured closed surfaces of positive genus, we show that the quiver of any triangulation admits infinitely many non-degenerate potentials that are pairwise not weakly right-equivalent; we do so by showing that the potentials obtained by adding the 3-cycles coming from triangles and a fixed power of the cycle surrounding the puncture are well behaved under flips and QP-mutations. For twice-punctured closed surf…
We consider the polytope arising from a marked surface by flips of triangulations. Sleator, Tarjan and Thurston studied in 1988 the diameter of the associahedron, which is the polytope arising from a marked disc by flips of triangulations. They showed that every shortest path between two vertices in a face does not leave that face. We establish that same non-leaving-face property for all unpunctured marked surfaces.
We survey basic properties and bounds for $q$-equivelar and $d$-covered triangulations of closed surfaces. Included in the survey is a list of the known sources for $q$-equivelar and $d$-covered triangulations. We identify all orientable and non-orientable surfaces $M$ of Euler characteristic $0>χ(M)\geq -230$ which admit non-neighborly $q$-equivelar triangulations with equality in the upper bound $q\leq\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ(M)})\Bigl\rfloor$. These examples give rise to $d$-covered triangulations with equality in the upper bound $d\leq2\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ…
This paper develops an algorithm that identifies and decomposes a median graph of a triangulation of a 2-dimensional (2D) oriented bordered surface and in addition restores all corresponding triangulation whenever they exist. The algorithm is based on the consecutive simplification of the given graph by reducing degrees of its nodes. From the paper \cite{FST1}, it is known that such graphs can not have nodes of degrees above 8. Neighborhood of nodes of degrees 8,7,6,5, and 4 are consecutively simplified. Then, a criterion is provided to identify median graphs with nodes of degrees at most 3. A…
We prove that every triangulation of either of the torus, projective plane and Klein bottle, contains a vertex-spanning planar Laman graph as a subcomplex. Invoking a result of Kir{á}ly, we conclude that every $1$-skeleton of a triangulation of a surface of nonnegative Euler characteristic has a rigid realization in the plane using at most 26 locations for the vertices.
If a (cusped) surface S admits an ideal triangulation T with no shears, we show an efficient algorithm to give S as a quotient of hypebolic plane by a subgroup of PSL(2, Z). The algorithm runs in time O(n log n), where n is the number of triangles in the triangulation T. The algorithm generalizes to producing fundamental groups of general surfaces and geometric manifolds of higher dimension.
Topological triangulations of orientable and non-orientable surfaces with arbitrary genus have important applications in quantum geometry, graph theory and statistical physics. However, until now only the asymptotics for 2-spheres are known analytically, and exact counts of triangulations are only available for both small genus and small triangulations. We apply the Wang-Landau algorithm to calculate the number $N(m,h)$ of triangulations for several order of magnitudes in system size $m$ and genus $h$. We verify that the limit of the entropy density of triangulations is independent of genus an…
A zigzag in a map (a $2$-cell embedding of a connected graph in a connected closed $2$-dimensional surface) is a cyclic sequence of edges satisfying the following conditions: 1) any two consecutive edges lie on the same face and have a common vertex, 2) for any three consecutive edges the first and the third edges are disjoint and the face containing the first and the second edges is distinct from the face which contains the second and the third. A map is $z$-knotted if it contains a single zigzag. Such maps are closely connected to Gauss code problem and have nice homological properties. We s…
A triangulation of a punctured or pinched surface is irreducible if no edge can be shrunk without producing multiple edges or changing the topological type of the surface. The finiteness of the set of (non-isomorphic) irreducible triangulations of any punctured surface is established. Complete lists of irreducible triangulations are determined for the Möbius band (6 in number) and the pinched torus (2 in number). All the non-isomorphic combinatorial types (20 in number) of triangulations of the projective plane with up to 8 vertices are determined.
A triangulation of a surface is called $q$-equivelar if each of its vertices is incident with exactly $q$ triangles. In 1972 Altshuler had shown that an equivelar triangulation of torus has a Hamiltonian Circuit. Here we present a necessary and sufficient condition for existence of a contractible Hamiltonian Cycle in equivelar triangulation of a surface.
We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any triangulation with minimal degree 6.
We introduce mutation along infinite admissible sequences for infinitely marked surfaces, that is surfaces with infinitely many marked points on the boundary. We show that mutation along such admissible sequences produces a preorder on the set of triangulations of a fixed infinitely marked surface. We provide a complete classification of the strong mutation equivalence classes of triangulations of the infinity- gon and the completed infinity-gon respectively, where strong mutation equivalence is the equivalence relation induced by this preorder. Finally, we introduce the notion of transfinite …
