Graphs that are critical (minimal excluded minors) for embeddability in surfaces are studied. In Part I we consider the structure of graphs with a 2-vertex-cut that are critical with respect to the Euler genus. A general theorem describing the building blocks is presented. These constituents, called hoppers and cascades, are classified for the case when Euler genus is small. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained. This is the first complete result about obstructions for embeddability of graphs in the Klein bottle, and the outcome is somewhat surprising in the sense that there are considerably fewer excluded minors than expected.
Graphs that are critical (minimal excluded minors) for embeddability in surfaces are studied. In Part I, it was shown that graphs that are critical for embeddings into surfaces of Euler genus $k$ or for embeddings into nonorientable surface of genus $k$ are built from 3-connected components, called hoppers and cascades. In Part II, all cascades for Euler genus 2 are classified. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained.
We exhibit an explicit list of nine graphs such that a graph drawn in the Klein bottle is 5-colorable if and only if it has no subgraph isomorphic to a member of the list.
We give the complete list of the 29 irreducible triangulations of the Klein bottle. We show how the construction of Lawrencenko and Negami, which listed only 25 such irreducible triangulations, can be modified at two points to produce the 4 additional irreducible triangulations of the Klein bottle.
For a graph $G = (V, E)$ embedded in the Klein bottle, let $\mathcal{F}(G)$ denote the set of faces of $G$. Then, $G$ is called a $C_k$-face-magic Klein bottle graph if there exists a bijection $f: V(G) \to \{1, 2, \dots, |V(G)|\}$ such that for any $F \in \mathcal{F}(G)$ with $F \cong C_k$, the sum of all the vertex labelings along $C_k$ is a constant $S$. Let $x_v =f(v)$ for all $v\in V(G)$. We call $\{x_v : v\in V(G)\}$ a $C_k$-face-magic Klein bottle labeling on $G$. We consider the $m \times n$ grid graph, denoted by $\mathcal{K}_{m,n}$, embedded in the Klein bottle in the natural way. We…
The structure of graphs with a 2-vertex-cut that are critical with respect to the Euler genus is studied. A general theorem describing the building blocks is presented. These constituents, called hoppers and cascades, are classified for the case when Euler genus is small. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained.
The $k$-semi equivelar maps, for $k \geq 2$, are generalizations of maps on the surfaces of Johnson solids to closed surfaces other than the 2-sphere. In the present study, we determine 2-semi equivelar maps of curvature 0 exhaustively on the torus and the Klein bottle. Furthermore, we classify (up to isomorphism) all these 2-semi equivelar maps on the surfaces with up to 12 vertices.
We propose an algorithm for obtaining the common transfer digraph $ D^*_m$ for enumeration of 2-factors in graphs from the title all of which with $m n$ vertices ($m, n \in N, m >1 $). The numerical data gathered for $m <19$ reveal some matchings of the numbers of 2-factors for different types of torus or Klein bottle. In latter case we conjecture that these numbers are invariant under twisting.
We prove that the transfer digraph ${\cal D}^*_{C,m}$ needed for the enumeration of 2-factors in the thin cylinder $TnC_{m}(n)$, torus $TG_{m}(n)$ and Klein bottle $KB_m(n)$ (all grid graphs of the fixed width $m$ and with $m \cdot n$ vertices), when $m$ is odd, has only two components of order $2^{m-1}$ which are isomorphic. When $m$ is even, ${\cal D}^*_{C,m}$ has $ \left\lfloor \frac{m}{2} \right\rfloor + 1$ components which orders can be expressed via binomial coefficients and all but one of the components are bipartite digraphs. The proof is based on the application of recently obtained r…
Let $\bar{P}$ be a sequence of length $2n$ in which each element of $\{1,2,...,n\}$ occurs twice. Let $P'$ be a closed curve in a closed surface $S$ having $n$ points of simple auto-intersections, inducing a 4-regular graph embedded in $S$ which is 2-face colorable. If the sequence of auto-intersections along $P'$ is given by $\bar{P}$, we say that is a {\em $P'$ 2-face colorable solution for the Gauss Code $\bar{P}$ on surface $S$} or a {\em lacet for $\bar{P}$ on $S$}. In this paper we present a necessary and sufficient condition yielding these solutions when $S$ is Klein bottle. The conditi…
We present enumerations of a class of maps on Klein bottle which give rise to semi-equivelar maps. Semi-equivelar maps are generalizations of equivelar maps. There are eleven types of semi-equivelar maps on the Klein bottle. These are of the types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$, $\{3^{3},$ $4^{2}\}$, $\{3^{2},$ $4,$ $3,$ $4\}$, $\{3,$ $6,$ $3,$ $6\}$, $\{3^{4}, 6\}$, $\{4,$ $8^{2}\}$, $\{3, 12^{2}\}$, $\{4,$ $6,$ $12\}$, $\{3,$ $4,$ $6,$ $4\}$. In this article, we attempt to classify these maps.
In this paper, we study visibility representations of graphs that are embedded on a torus or a Klein bottle. Mohar and Rosenstiehl showed that any toroidal graph has a visibility representation on a flat torus bounded by a parallelogram, but left open the question whether one can assume a rectangular flat torus, i.e., a flat torus bounded by a rectangle. Independently the same question was asked by Tamassia and Tollis. We answer this question in the positive. With the same technique, we can also show that any graph embedded on a Klein bottle has a visibility representation on the rectangular f…
The geodesic complexity of a metric space X is the smallest k for which there is a partition of X x X into ENRs E_0,...,E_k on each of which there is a continuous choice of minimal geodesic sigma(x_0,x_1) from x_0 to x_1. We prove that the geodesic complexity of an n-dimensional Klein bottle equals 2n. Its topological complexity remains unknown for n>2.
Semi-Equivelar maps are generalizations of maps on the surfaces of Archimedean solids to surfaces other than the $2$-sphere. The well known 11 types of normal tilings of the plane suggest the possible types of semi-equivelar maps on the torus and the Klein bottle. In this article we classify (up to isomorphism) semi-equivelar maps on the torus and the Klein bottle with few vertices.
Closed-form expressions are obtained for the generating function of close-packed dimers on a $2M \times 2N$ simple quartic lattice embedded on a Möbius strip and a Klein bottle. Finite-size corrections are also analyzed and compared with those under cylindrical and free boundary conditions. Particularly, it is found that, for large lattices of the same size and with a square symmetry, the number of dimer configurations on a Möbius strip is 70.2% of that on a cylinder. We also establish two identities relating dimer generating functions for Möbius strips and cylinders.
Closed-form expressions are obtained for the partition function of the Ising model on an M x N simple-quartic lattice embedded on a Moebius strip and a Klein bottle for finite M and N. The finite-size effects at criticality are analyzed and compared with those under cylindrical and toroidal boundary conditions. Our analysis confirms that the central charge is c=1/2.
Via a computer search, Altshuler and Steinberg found that there are 1296 +1 combinatorial 3-manifolds on nine vertices, of which only one is non-sphere. This exceptional 3-manifold $K^{3}_{9}$ triangulates the twisted $S^{2}$-bundle over $S^{1}$. It was first constructed by Walkup. In this paper, we present a computer-free proof of the uniqueness of this non-sphere combinatorial 3-manifold. As opposed to the computer-generated proof, ours does not require wading through all the 9-vertex 3-spheres. As a preliminary result, we also show that any 9-vertex combinatorial 3-manifold is equivalent by…
The energy of a simple graph $G$ arising in chemical physics, denoted by $\mathcal E(G)$, is defined as the sum of the absolute values of eigenvalues of $G$. We consider the asymptotic energy per vertex (say asymptotic energy) for lattice systems. In general for a type of lattice in statistical physics, to compute the asymptotic energy with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions are different tasks with different hardness. In this paper, we show that if $\{G_n\}$ is a sequence of finite simple graphs with bounded average degree and $\{G_n'\}$ a sequence …
We give an elementary proof for the non-$3$-colorability of $4$-chromatic Schrijver graphs thus providing such a proof also for $4$-chromatic Kneser graphs. To this end we use a complete description of the structure of $4$-chromatic Schrijver graphs that was already given by Braun and even earlier in an unpublished manuscript by Li. We also address connections to surface quadrangulations. In particular, we show that a spanning subgraph of $4$-chromatic Schrijver graphs quadrangulates the Klein bottle, while another spanning subgraph quadrangulates the projective plane. The latter is a special …
