arXiv++ Combinatorics

This paper deals with triangulations of the 2-torus with the vertex labeled general octahedral graph $O_4$ which is isomorphic to the complete four-partite graph $K_{2,2,2,2}$; it is known that there exist precisely twelve such triangulations. We find all the 12 triangulations in a Schlegel diagram of the hyperoctahedron and realize all of them geometrically with the same 1-skeleton in 3-space. In particular, we identify two geometric polyhedral tori (both without self-intersections) with the same 1-skeleton in 3-space, but without a single common face, or in other words their intersection (as point-sets) is only their common 1-skeleton. Similarly, all the twelve triangulations of the 2D projective plane with the vertex labeled complete graph $K_6$ are found in a Schlegel diagram of the 5-simplex and all are realized geometrically with the same 1-skeleton in 4-space; especially we obtain a pair of triangulations of the Möbius band and a pair of triangulated projective planes with the same 1-skeleton (within each pair) in 3-space and 4-space, respectively, without a single common face. The constructed polyhedra are modeled and visualized with GeoGebra.

In this paper, the quadrangular genus (4-genus) of the complete graph $K_p$ is shown to be $γ_4 (K_p) = \lceil {p(p-5)}/{8} \rceil +1$ for orientable surfaces. This means that $K_p$ is minimally embeddable in the closed orientable surface of genus $γ_4 (K_p)$ under the constraint that each face has length at least 4. In the most general setting, the genus of the complete graph was established by Ringel and Youngs and was mainly concerned with triangulations of surfaces. Nonetheless, since then a great deal of interest has also been generated in quadrangulations of surfaces. Hartsfield and Ringel were the first who considered minimal quadrangulations of surfaces. Sections 1--4 of this paper are essentially a reproduction of the original 1998 version as follows: Chen B., Lawrencenko S., Yang H. Determination of the 4-genus of a complete graph, submitted to Discrete Mathematics and withdrawn by S. Lawrencenko, June 1998, URL: https://t.co/cUg6R9Jwyw . More discussion on this 1998 version is held and some copyright issues around the quadrangular genus of complete graphs are clarified in the Appendix to the current version of the paper; the Appendix was written in 2017.

Hartsfield and Ringel constructed orientable quadrangular embeddings of the complete graph $K_n$ for $n\equiv 5 \pmod 8$, and nonorientable ones for $n \ge 9$ and $n\equiv 1 \pmod 4$. These provide minimal quadrangulations of their underlying surfaces. We extend these results to determine, for every complete graph $K_n$, $n \ge 4$, the minimum genus, both orientable and nonorientable, for the surface in which $K_n$ has an embedding with all faces of degree at least $4$, and also for the surface in which $K_n$ has an embedding with all faces of even degree. These last embeddings provide sharpness examples for a result of Hutchinson bounding the chromatic number of graphs embedded with all faces of even degree, completing the proof of the Even Map Color Theorem. We also show that if a connected simple graph $G$ has a perfect matching and a cycle then the lexicographic product $G[K_4]$ has orientable and nonorientable quadrangular embeddings; this provides new examples of minimal quadrangulations.

A $d$-angulation of a surface is an embedding of a 3-connected graph on that surface that divides it into $d$-gonal faces. A $d$-angulation is said to be Grünbaum colorable if its edges can be $d$-colored so that every face uses all $d$ colors. Up to now, the concept of Grünbaum coloring has been related only to triangulations ($d = 3$), but in this note, this concept is generalized for an arbitrary face size $d \geqslant 3$. It is shown that the face 2-colorability of a $d$-angulation $P$ implies the Grünbaum colorability of $P$. Some wide classes of triangulations have turned out to be face 2-colorable.

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.

A new formula is obtained in algebraic topology, in terms of Betti numbers, and a new method, called the spinal method, is suggested and developed for generating quadrangulations of closed orientable surfaces. Those surfaces arise as the thickenings of 1- and 2-dimensional curvilinear polyhedra, called spines, in Euclidean 3-space. By way of spinal manipulation, quadrangulations with given properties are constructed.

It is shown that each quadrangulation of the 2-torus by the Cartesian product of two cycles can be geometrically realized in (Euclidean) 4-space without hidden symmetries---that is, so that each combinatorial cellular automorphism of the quadrangulation extends to a geometric symmetry of its Euclidean realization. Such realizations turn out to be new regular toroidal geometric 2-polyhedra which are inscribed in the Clifford 2-torus in 4-space, just as the five regular spherical 2-polyhedra are inscribed in the 2-sphere in 3-space. The following are two open problems: Realize geometrically (1) the regular triangulations and (2) the regular hexagonizations of the 2-torus without hidden symmetries in 4-space.

A complete list of irreducible triangulations is identified on the Möbius band.

A partial formula is provided to calculate the smallest number of vertices possible in a quadrangulation on the closed orientable 2-manifold of given genus. This extends the previously known partial formula due to N. Hartsfield and G. Ringel [J. Comb. Theory, Ser. B, 1989, 46, 84-95].

A method is suggested for construction of quadrangulations of the closed orientable surface with given genus g and either (1) with given chromatic number or (2) with given order allowed by the genus g. In particular, N. Hartsfield and G. Ringel's results [Minimal quadrangulations of orientable surfaces, J. Combin. Theory, Series B 46 (1989) 84-95] are generalized by way of generating new minimal quadrangulations of infinitely many other genera.