arXiv++ Combinatorics

We consider spherical quadrangulations -- spherical embeddings of multigraphs, possibly with loops, so that every face has boundary walk of length 4 -- in which all vertices have degree 3 or 4. Interpreting each degree 4 vertex as a crossing, these embeddings can also be thought of as transversal immersions of cubic graphs which we refer to as the {\it extracted graphs}. We also consider quadrangulations of the disk in which interior vertices have degree 3 or 4 and boundary vertices have degree 2 or 3. First, we classify all such quadrangulations of the disk. Then, we provide four methods for constructing spherical quadrangulations, two of which use quadrangulations of the disk as input. Two of these methods provide one-parameter families of quadrangulations, for which we prove that the sequence of isomorphism types of extracted graphs is periodic. We close with a description of computer computations which yielded spherical quadrangulations for all but three cubic multigraphs on eight vertices.

A graph $G$ embedded in a surface $S$ is called an $S$-grid when every facial boundary walk has length four, that is, the topological dual graph of $G$ in $S$ is 4-regular. Aside from the case where $S$ is the torus or Klein bottle, an $S$-grid must have vertices of degrees other than four. Let the sequence of degrees other than four in $G$ be called the curvature sequence of $G$. We give a succinct characterization of $S$-grids with nonempty curvature sequence $L$ in terms of graphs that have degree sequence $L$ and are immersed in a certain way in $S$; furthermore, the immersion associated with the $S$-grid $G$ is unique and so our characterization of $S$-grids also partitions the collection of all $S$-grids.

We develop an algebraic framework for ribbon graphs, revealing symmetry properties of (partial) twisted duality. The original ribbon group action of Ellis-Monaghan and Moffatt restricts self-duality, -petriality, or -triality to the canonical identification of a graph's edges with those of its dual, petrial, or trial, whereas the more natural definition allows any isomorphism. Here we define a new ribbon group action on ribbon graphs, using a semidirect product of the original ribbon group with a permutation group, to take (partial) twists and duals of ribbon graphs while also encoding graph isomorphisms. This brings new algebraic tools to bear on the natural definitions of self-duality etc., as a ribbon graph is a fixed point of this new ribbon group action exactly when it is isomorphic to one of its (partial) twisted duals. With these tools, we prove that every ribbon graph has in its orbit an orientable embedded bouquet, whose (partial) twisted duality properties propagate through the orbit. Thus, (partial) twisted duality properties of all embedded graphs may be analyzed through such bouquets, for which checking isomorphism reduces to checking just dihedral group symmetries. Previous research on self-duality, etc., typically focused on highly symmetric regular maps, but the theory here fully encompasses all cellularly embedded graphs. In contrast to the few, large, very high-genus, self-trial regular maps found by Wilson, and by Jones and Poultin, here we apply our framework to generate all self-trial ribbon graphs on up to seven edges. We also show how a graph's automorphism group may be used to find self-dual, etc., graphs in its orbit, thus exposing the relationship between regularity and the ribbon group action and, answering a question of Jones and Poulton, yielding an infinite family of self-trial graphs not arising as covers or parallel connections of regular maps.