arXiv++ Combinatorics

Given a `genus' function $g=g(n)$, we let $\mathcal{E}^g$ be the class of all graphs $G$ such that if $G$ has order $n$ (that is, has $n$ vertices) then it is embeddable in a surface of Euler genus at most $g(n)$. Let the random graph $R_n$ be sampled uniformly from the graphs in $\mathcal{E}^g$ on vertex set $[n]=\{1,\ldots,n\}$. Observe that if $g(n)$ is 0 then $R_n$ is a random planar graph, and if $g(n)$ is sufficiently large then $R_n$ is a binomial random graph $G(n,\tfrac12)$. We investigate typical properties of $R_n$. We find that for \emph{every} genus function $g$, with high probability at most one component of $R_n$ is non-planar. In contrast, we find a transition for example for connectivity: if $g$ is non-decreasing and $g(n) = O(n/\log n)$ then $\liminf_{n \to \infty} \mathbb{P}(R_n \mbox{ is connected}) < 1$, and if $g(n) \gg n$ then with high probability $R_n$ is connected. These results also hold when we consider orientable and non-orientable surfaces separately. We also investigate random graphs sampled uniformly from the `hereditary part' or the `minor-closed' part of $\mathcal{E}^g$, and briefly consider corresponding results for unlabelled graphs.

This paper describes new, simple, recursive methods of construction for orientable sequences, i.e. periodic binary sequences in which any n-tuple occurs at most once in a period in either direction. As has been previously described, such sequences have potential applications in automatic position-location systems, where the sequence is encoded onto a surface and a reader needs only examine n consecutive encoded bits to determine its location and orientation on the surface. The only previously described method of construction (due to Dai et al.) is somewhat complex, whereas the new techniques are simple to both describe and implement. The methods of construction cover both the standard `infinite periodic' case, and also the aperiodic, finite sequence, case. Both the new methods build on the Lempel homomorphism, first introduced as a means of recursively generating de Bruijn sequences.

Recently, Gross, Mansour and Tucker introduced the partial duality polynomial of a ribbon graph and posed a conjecture that there is no orientable ribbon graph whose partial duality polynomial has only one non-constant term. We found an infinite family of counterexamples for the conjecture and showed that essentially these are the only counterexamples. This is also obtained independently by Chumutov and Vignes-Tourneret and they posed a problem: it would be interesting to know whether the partial duality polynomial and the related conjectures would make sence for general delta-matroids. In this paper, we show that partial duality polynomials have delta-matroid analogues. We introduce the twist polynomials of delta-matroids and discuss its basic properties for delta-matroids. We give a characterization of even normal binary delta-matroids whose twist polynomials have only one term and then prove that the twist polynomial of a normal binary delta-matroid contains non-zero constant term if and only if its intersection graph is bipartite.

A quadrangular embedding of a graph in a surface $Σ$, also known as a quadrangulation of $Σ$, is a cellular embedding in which every face is bounded by a $4$-cycle. A quadrangulation of $Σ$ is minimal if there is no quadrangular embedding of a (simple) graph of smaller order in $Σ$. In this paper we determine $n(Σ)$, the order of a minimal quadrangulation of a surface $Σ$, for all surfaces, both orientable and nonorientable. Letting $S_0$ denote the sphere and $N_2$ the Klein bottle, we prove that $n(S_0)=4, n(N_2)=6$, and $n(Σ)=\lceil (5+\sqrt{25-16χ(Σ)})/2\rceil$ for all other surfaces $Σ$, where $χ(Σ)$ is the Euler characteristic. Our proofs use a `diagonal technique', introduced by Hartsfield in 1994. We explain the general features of this method.

Given a function $g=g(n)$ we let ${\mathcal E}^g$ be the class of all graphs $G$ such that if $G$ has order $n$ (that is, has $n$ vertices) then it is embeddable in some surface of Euler genus at most $g(n)$, and let ${\widetilde{\mathcal E}}^g$ be the corresponding class of unlabelled graphs. We give estimates of the sizes of these classes. For example we show that if $g(n)=o(n/\log^3n)$ then the class ${\mathcal E}^{g}$ has growth constant $γ_{\mathcal P}$, the (labelled) planar graph growth constant; and when $g(n) = O(n)$ we estimate the number of n-vertex graphs in ${\mathcal E}^{g}$ and ${\widetilde{\mathcal E}}^g$ up to a factor exponential in $n$. From these estimates we see that, if ${\mathcal E}^g$ has growth constant $γ_{\mathcal P}$ then we must have $g(n)=o(n/\log n)$, and the generating functions for ${\mathcal E}^g$ and ${\widetilde{\mathcal E}}^g$ have strictly positive radius of convergence if and only if $g(n)=O(n/\log n)$. Such results also hold when we consider orientable and non-orientable surfaces separately. We also investigate related classes of graphs where we insist that, as well as the graph itself, each subgraph is appropriately embeddable (according to its number of vertices); and classes of graphs where we insist that each minor is appropriately embeddable. In a companion paper [43], these results are used to investigate random $n$-vertex graphs sampled uniformly from ${\mathcal E}^g$ or from similar classes.

We extend the notion of quasi-transitive orientations of graphs to 2-edge-coloured graphs. By relating quasi-transitive $2$-edge-colourings to an equivalence relation on the edge set of a graph, we classify those graphs that admit a quasi-transitive $2$-edge-colouring. As a contrast to Ghouilá-Houri's classification of quasi-transitively orientable graphs as comparability graphs, we find quasi-transitively $2$-edge-colourable graphs do not admit a forbiddden subgraph characterization. Restricting the problem to comparability graphs, we show that the family of uniquely quasi-transitively orientable comparability graphs is exactly the family of comparabilty graphs that admit no quasi-transitive $2$-edge-colouring.

Discrete Morse theory, a cell complex-analog to smooth Morse theory, has been developed over the past few decades since its original formulation by Robin Forman in 1998. In particular, discrete gradient vector fields on simplicial complexes capture important features of discrete Morse functions. We prove that the characteristic polynomials of the Laplacian matrices of a simplicial complex are generating functions for discrete gradient vector fields of discrete Morse functions when the complex is either a graph or a triangulation of an orientable manifold. Furthermore, we provide a full characterization of the correspondence between rooted forests in higher dimensions and discrete gradient vector fields.

In this paper, we analyze embeddings of grid graphs on orientable surfaces. We determine the genus of a large class of k-dimensional grid graphs and effective two-sided bounds for the genus of any 3-dimensional grid graph, both in terms of a grid graph's combinatorics. As an application, we provide a complete classification of planar and toroidal grid graphs. Our work requires a variety of combinatorial arguments to determine effective lower bounds on the genus of a grid graph, along with explicitly constructing embeddings of grid graphs on surfaces to determine effective upper bounds on their genera.

Catacondensed benzenoids (those benzenoids having no carbon atom belonging to three hexagonal rings) form the simplest class of polycyclic aromatic hydrocarbons (PAH). They have a long history of study and are of wide chemical importance. In this paper, mathematical possibilities for natural extension of the notion of a catacondensed benzenoid are discussed, leading under plausible chemically and physically motivated restrictions to the notion of a catacondensed chemical hexagonal complex (CCHC). A general polygonal complex is a topological structure composed of polygons that are glued together along certain edges. A polygonal complex is flat if none of its edges belong to more than two polygons. A connected flat polygonal complex determines an orientable or nonorientable surface, possibly with boundary. A CCHC is then a connected flat polygonal complex all of whose polygons are hexagons and each of whose vertices belongs to at most two hexagonal faces. We prove that all CCHC are Kekulean and give formulas for counting the perfect matchings in a series of examples based on expansion of cubic graphs in which the edges are replaced by linear polyacenes of equal length. As a preliminary assessment of the likely stability of molecules with CCHC structure, all-electron quantum chemical calculations are applied to molecular structures based on several CCHC, using either linear or kinked unbranched catafused polyacenes as the expansion motif. The systems examined all have closed shells according to Hückel theory and all correspond to minima on the potential surface, thus passing the most basic test for plausibility as a chemical species.

In this article, we study a class of closed connected orientable PL $4$-manifolds admitting a semi-simple crystallization and which have an infinite cyclic fundamental group. We show that the manifold in the class admits a handle decomposition in which the number of $2$-handles depends upon its second Betti number and other $h$-handles ($h \leq 4$) are at most $2$. More precisely, our main result is the following. For a closed connected orientable PL $4$-manifold having a semi-simple crystallization with the fundamental group as $\mathbb{Z}$, we have constructed a handle decomposition for $M$ as one of the following types: $(1)$ one $0$-handle, two $1$-handles, $1+β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle, $(2)$ one $0$-handle, one $1$-handle, $β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle, where $β_2(M)$ denotes the second Betti number of manifold $M$ with $\mathbb{Z}$ coefficients.

We show that for loopless $6$-regular triangulations on the torus the gap between the choice number and chromatic number is at most $2$. We also show that the largest gap for graphs embeddable in an orientable surface of genus $g$ is of the order $Θ(\sqrt{g})$, and moreover for graphs with chromatic number of the order $o(\sqrt{g}/\log_{2}(g))$ the largest gap is of the order $o(\sqrt{g})$.

Recently, Gross, Mansour and Tucker introduced the partial-dual genus polynomial of a ribbon graph as a generating function that enumerates the partial duals of the ribbon graph by genus. It is analogous to the extensively-studied polynomial in topological graph theory that enumerates by genus all embeddings of a given graph. To investigate the partial-dual genus polynomial one only needs to focus on bouquets, i.e. ribbon graphs with only one vertex. In this paper, we shall further show that the partial-dual genus polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say the bouquets with the same signed intersection graph will have the same partial-dual genus polynomial. We then prove that the partial-dual genus polynomial of a bouquet contains non-zero constant term if and only if its signed intersection graph is positive and bipartite. Finally we consider a conjecture posed by Gross, Mansour and Tucker. that there is no orientable ribbon graph whose partial-dual genus polynomial has only one non-constant term, we give a characterization of non-empty bouquets whose partial-dual genus polynomials have only one term by consider non-orientable case and orientable case separately.

In 1993, Csima and Sawyer proved that in a non-pencil arrangement of n pseudolines, there are at least $\frac{6}{13}n$ simple points of intersection. Since pseudoline arrangements are the topological representations of reorientation classes of oriented matroids of rank $3$, in this paper, we will use this result to prove by induction that an oriented paving matroid of rank $r \ge 3$ on $n$ elements, where $n \geq 5+ r$, has at least $\frac{12}{13(r-1)} \binom{n}{r-2}$ independent hyperplanes, yielding a new necessary condition for a paving matroid to be orientable.

We introduce a new method for finding a non-realizability certificate of a simplicial sphere Sigma: we exhibit a monomial combination of classical 3-term Plücker relations that yields a sum of products of determinants that are known to be positive in any realization of Sigma; but their sum should vanish, contradiction. Using this technique, we prove for the first time the non-realizability of a balanced 2-neighborly 3-sphere constructed by Zheng, a family of highly neighborly centrally symmetric spheres constructed by by Novik and Zheng, and several combinatorial prismatoids introduced by Criado and Santos. The method in fact works for orientable pseudo-manifolds, not just for spheres.

A graph $G$ is primarily orientable if it is possible to orient its edges in such a way that the resulting oriented graph is prime, i.e., indecomposable under modular decomposition. We characterize primarily orientable graphs.

Let $G$ be a finite group. The co-prime order graph of $G$ is the graph whose vertex set is $G$, and two distinct vertices $x,y$ are adjacent if gcd$(o(x),o(y))$ is either $1$ or a prime, where $o(x)$ and $o(y)$ are the orders of $x$ and $y$, respectively. In this paper, we characterize all finite groups whose co-prime order graphs are complete and classify all finite groups whose co-prime order graphs are planar. Also, we compute the vertex-connectivity of the co-prime order graph of a cyclic group, a dihedral group and a generalized quaternion group, which answers a question by Banerjee (2019). Finally, we prove that, for a fixed positive integer $k$, there are finitely many finite groups whose co-prime order graphs have (non)orientable genus $k$. As applications, we classify all finite groups whose co-prime order graphs have (non)orientable genus one and two.

Let $G$ be a graph embedded on an orientable surface. Given a class ${\cal C}$ of facial circuits of $G$ as a forbidden class, we give a sufficient-necessary condition for that an $α$-orientation (orientation with prescribed out-degrees) of $G$ can be transformed into another by a sequence of flips on non-forbidden circuits and further give an explicit formula for the minimum number of such flips. We also consider the connection among all $α$-orientations by defining a directed graph ${\bf D}({\cal C})$, namely the ${\cal C}$-forbidden flip graph. We show that if ${\cal C}\not=\emptyset$, then ${\bf D}({\cal C})$ has exactly $|O(G,{\cal C})|$ components, each of which is the cover graph of a distributive lattice, where $|O(G,{\cal C})|$ is the number of the $α$-orientations that has no counterclockwise facial circuit other than that in ${\cal C}$. If ${\cal C}=\emptyset$, then every component of ${\bf D}({\cal C})$ is strongly connected. This generalizes the corresponding results of Felsner and Propp for the case that ${\cal C}$ consists of a single facial circuit.

We compute all signatures of $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ which classify all orientation preserving actions of the groups $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ on compact, connected, orientable surfaces with orbifold genus $\geq 0$. This classification is well-grounded in the other branches of Mathematics like topology, smooth, and conformal geometry, algebraic categories, and it is also directly related to the inverse Galois problem.

In this paper we define a new class of partially filled arrays, called $λ$-fold relative Heffter arrays, that are a generalisation of the Heffter arrays introduced by Archdeacon in 2015. After showing the connection of this new concept with several other ones, such as signed magic arrays, graph decompositions and relative difference families, we determine some necessary conditions and we present existence results for infinite classes of these arrays. In the last part of the paper we also show that these arrays give rise to biembeddings of multigraphs into orientable surfaces and we provide infinite families of such biembeddings. To conclude, we present a result concerning pairs of $λ$-fold relative Heffter arrays and covering surfaces.

In 1973, Brown, Erdős and Sós proved that if $\mathcal{H}$ is a 3-uniform hypergraph on $n$ vertices which contains no triangulation of the sphere, then $\mathcal{H}$ has at most $O(n^{5/2})$ edges, and this bound is the best possible up to a constant factor. Resolving a conjecture of Linial, also reiterated by Keevash, Long, Narayanan, and Scott, we show that the same result holds for triangulations of the torus. Furthermore, we extend our result to every closed orientable surface $\mathcal{S}$.