Constructing embedded surfaces for cellular embeddings of leveled spatial graphs
Senja Barthel, Fabio Buccoliero
TL;DR
The paper introduces leveled spatial graphs and provides a constructive framework to embed such graphs cellularly on a closed orientable surface $\mathcal{S}\subset\mathbb{R}^3$. It proves that leveled graphs with up to four levels admit a cellular embedding via a sphere-and-handles construction, and it develops an algorithmic approach for Hamiltonian leveled graphs (with extensions to non-Hamiltonian and multi-leveled cases) to produce $\mathcal{S}$ when successful. The method includes detailed cylinder-placement rules, intersection-avoidance criteria, and a face-tracing mechanism to verify cellularity, while acknowledging practical limitations and proposing conjectures about broader applicability. The results connect to circular embeddings and open-book framing, offering a pathway to explicit, verifiable realizations of cellular embeddings for a wide class of spatial graphs in 3-space. Overall, the work provides both a theoretical and algorithmic route to realizing cellular embeddings in $\mathbb{R}^3$, with implications for related areas in knot theory and graph embedding conjectures.
Abstract
For a given spatial graph $\mathcal{G} \subset \mathbb{R}^3$, we would like to find a closed orientable surface $\mathcal{S}$ embedded in $\mathbb{R}^3$ in which $\mathcal{G}$ is cellular embedded. However, for general $\mathcal{G}$ this is not possible. We therefore define a property of spatial graphs, called leveled, to show that for leveled spatial graphs with a small number of levels, a surface $\mathcal{S}$ can always be found. The argument is based on decomposing $\mathcal{G}$ into spatial subgraphs that can be placed on a sphere and on cylinders attached as handles, in such a way that the resulting surface contains a cellular embedding of $\mathcal{G}$. We generalize the procedure to an algorithm that, if successful, constructs $\mathcal{S}$ for leveled spatial graphs with any number of levels. We conjecture that all connected leveled embeddings can be cellular embedded with the presented algorithm.
