arXiv++ Combinatorics

We consider the thickness $θ(G))$ and outerthickness $θ_o(G)$ of a graph G in terms of its orientable and nonorientable genus. Dean and Hutchinson provided upper bounds for thickness of graphs in terms of their orientable genus. More recently, Concalves proved that the outerthickness of any planar graph is at most 2. In this paper, we apply the method of deleting spanning disks of embeddings to approximate the thickness and outerthickness of graphs. We first obtain better upper bounds for thickness. We then use a similar approach to provide upper bounds for outerthickness of graphs in terms of their orientable and nonorientable genera. Finally we show that the outerthickness of the torus (the maximum outerthickness of all toroidal graphs) is 3. We also show that all graphs embeddable in the double torus have thickness at most 3 and outerthickness at most 5.

A $d$-box is the cartesian product of $d$ intervals of $\mathbb{R}$ and a $d$-box representation of a graph $G$ is a representation of $G$ as the intersection graph of a set of $d$-boxes in $\mathbb{R}^d$. It was proved by Thomassen in 1986 that every planar graph has a 3-box representation. In this paper we prove that every graph embedded in a fixed orientable surface, without short non-contractible cycles, has a 5-box representation. This directly implies that there is a function $f$, such that in every graph of genus $g$, a set of at most $f(g)$ vertices can be removed so that the resulting graph has a 5-box representation. We show that such a function $f$ can be made linear in $g$. Finally, we prove that for any proper minor-closed class $\mathcal{F}$, there is a constant $c(\mathcal{F})$ such that every graph of $\mathcal{F}$ without cycles of length less than $c(\mathcal{F})$ has a 3-box representation, which is best possible.

A graph G is said to be 1-perfectly orientable (1-p.o. for short) if it admits an orientation such that the out-neighborhood of every vertex is a clique in G. The class of 1-p.o. graphs forms a common generalization of the classes of chordal and circular arc graphs. Even though 1-p.o. graphs can be recognized in polynomial time, no structural characterization of 1-p.o. graphs is known. In this paper we consider the four standard graph products: the Cartesian product, the strong product, the direct product, and the lexicographic product. For each of them, we characterize when a nontrivial product of two graphs is 1-p.o.

We present a monomial ideal $\mathfrak{a} \subset S$ such that $S/\mathfrak{a}$ is not Golod, even though the product on its Koszul homology is trivial. This constitutes a counterexample to a well-known result by Berglund and Jöllenbeck (the error can be traced to a mistake in an earlier article by Jöllenbeck). On the positive side, we show that if $R$ is a monomial ring such that the $r$-ary Massey product vanish for all $r \leq \max(2, \mathrm{reg} R-2)$, then $R$ is Golod. In particular, if $R$ is the Stanley-Reisner ring of a simplicial complex of dimension at most $3$, then $R$ is Golod if and only if the product on its Koszul homology is trivial. Moreover, we show that if $Δ$ is a triangulation of a $\Bbbk$-orientable manifold whose Stanley-Reisner ring is Golod, then $Δ$ is $2$-neighborly. This extends a recent result of Iriye and Kishimoto.

A classic exercise in the topology of surfaces is to show that, using handle slides, every disc-band surface, or 1-vertex ribbon graph, can be put in a canonical form consisting of the connected sum of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Motivated by the principle that ribbon graph theory informs delta-matroid theory, we find the delta-matroid analogue of this surface classification. We show that, using a delta-matroid analogue of handle-slides, every binary delta-matroid in which the empty set is feasible can be written in a canonical form consisting of the direct sum of the delta-matroids of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Our delta-matroid results are compatible with the surface results in the sense that they are their ribbon graphic delta-matroidal analogues.

The power graph $Γ_G$ of a finite group $G$ is the graph whose vertex set is the group, two distinct elements being adjacent if one is a power of the other. In this paper, we classify the finite groups whose power graphs have (non)orientable genus two.

The Joint Crossing Number problem asks for a simultaneous embedding of two disjoint graphs into one surface such that the number of edge crossings (between the two graphs) is minimized. It was introduced by Negami in 2001 in connection with diagonal flips in triangulations of surfaces, and subsequently investigated in a general form for small-genus surfaces. We prove that all of the commonly considered variants of this problem are NP-hard already in the orientable surface of genus 6, by a reduction from a special variant of the anchored crossing number problem of Cabello and Mohar.

A hypermap is an embedding of a connected hypergraph into an orientable closed surface. A covering between hypermaps is a homomorphism between the embedded hypergraphs which extends to an orientation-preserving covering of the supporting surfaces. A covering of a hypermap onto itself is an automorphism, and a hypermap is regular if its automorphism group acts transitively on the brins. Depending on the algebraic theory of regular hypermaps and hypermap operations, the abelian regular coverings over the quaternion hypermap are investigated. We define normalized multicyclic coverings between regular hypermaps, generalizing almost totally branched coverings studied in [K. Hu, R. Nedela, N.-E Wang, Branched cyclic regular coverings over platonic maps, European J. Combin. 36 (2014) 531--549]. It is shown that the covering transformation group of a normalized multicyclic covering is a nilpotent group with bounded class. As an application the abelian normalized bicyclic coverings over the quaternion hypemap are classified. In particular, those coverings which possess various level of external symmetry or fulfil certain smoothness conditions are explicitly determined.

A map is a 2-cell decomposition of an orientable closed surface. A dessin is a bipartite map with a fixed colouring of vertices. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts transitively on the edges, and a regular dessin is symmetric if it admits an additional external symmetry transposing the vertex colours. Regular dessins with nilpotent automorphism groups are investigated. We show that each such dessin is a parallel product of regular dessins whose automorphism groups are the Sylow subgroups. Regular and symmetric dessins with abelian automorphism groups are classified and enumerated.

Let $S$ be an orientable surface with negative Euler characteristic. For $k \in \mathbb{N}$, let $\mathcal{C}_{k}(S)$ denote the $\textit{k-curve graph}$, whose vertices are isotopy classes of essential simple closed curves on $S$, and whose edges correspond to pairs of curves that can be realized to intersect at most $k$ times. The theme of this paper is that the geometry of Teichmüller space and of the mapping class group captures local combinatorial properties of $\mathcal{C}_{k}(S)$. Using techniques for measuring distance in Teichmüller space, we obtain upper bounds on the following three quantities for large $k$: the clique number of $\mathcal{C}_{k}(S)$ (exponential in $k$, which improves on all previously known bounds and which is essentially sharp); the maximum size of the intersection, whenever it is finite, of a pair of links in $\mathcal{C}_{k}$ (quasi-polynomial in $k$); and the diameter in $\mathcal{C}_{0}(S)$ of a large clique in $\mathcal{C}_{k}(S)$ (uniformly bounded). As an application, we obtain quasi-polynomial upper bounds, depending only on the topology of $S$, on the number of short simple closed geodesics on any square-tiled surface homeomorphic to $S$.

We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mutations along $\mathcal{N}$. As an application of our method, we construct an example of a complete orientable hyperbolic $4$-manifold $\mathcal{X}$ with a single non-toric cusp and a complete orientable hyperbolic $4$-manifold $\mathcal{Y}$ with a single toric cusp. Both $\mathcal{X}$ and $\mathcal{Y}$ have twice the minimal volume among all complete orientable hyperbolic $4$-manifolds.

For a map $\mathcal M$ cellularly embedded on a connected and closed orientable surface, the bases of its Lagrangian (also known as delta-) matroid $Δ(\mathcal M)$ correspond to the bases of a Lagrangian subspace $L$ of the standard orthogonal space $\mathbb{Q}^E\oplus\mathbb{Q}^{E^*}$, where $E$ and $E^*$ are the edge-sets of $\mathcal M$ and its dual map. The Lagrangian subspace $L$ is said to be a representation of both $\mathcal M$ and $Δ(\mathcal M)$. Furthermore, the bases of $Δ(\mathcal M)$, when understood as vertices of the hypercube $[-1,1]^n$, induce a polytope $\mathbf P(Δ(\mathcal M))$ with edges parallel to the root system of type $BC_n$. In this paper we study the action of the Coxeter group $BC_n$ on $\mathcal M$, $L$, $Δ(\mathcal M)$ and $\mathbf P(Δ(\mathcal M))$. We also comment on the action of $BC_n$ on $\mathcal M$ when $\mathcal M$ is understood a dessin d'enfant.

This paper presents four new classes of binary quantum codes with minimum dis- tance 3 and 4, namely Class-I, Class-II, Class-III and Class-IV. The classes Class-I and Class-II are constructed based on self-dual orientable embeddings of the com- plete graphs K4r+1 and K4s and by current graphs and rotation schemes. and s are both divisible by 4.

Given a map $\mathcal M$ on a connected and closed orientable surface, the delta-matroid of $\mathcal M$ is a combinatorial object associated to $\mathcal M$ which captures some topological information of the embedding. We explore how delta-matroids associated to dessins d'enfants behave under the action of the absolute Galois group. Twists of delta-matroids are considered as well; they correspond to the recently introduced operation of partial duality of maps. Furthermore, we prove that every map has a partial dual defined over its field of moduli. A relationship between dessins, partial duals and tropical curves arising from the cartography groups of dessins is observed as well.

We prove that infinite regular and chiral maps take place on surfaces with at most one end. Moreover, we prove that an infinite regular or chiral map on an orientable surface with genus can only be realized on the Loch Ness monster, that is, the topological surface of infinite genus with one end.

We determine the minimum number of vertices needed to provide balanced triangulations of $\mathbb S^{d-2}$-bundles over $\mathbb S^1$. If $d$ is odd and the bundle is orientable, or $d$ is even and the bundle is non-orientable, the minimum number of vertices is $3d$; otherwise, it is $3d+2$. Similar results apply to all balanced simplicial complexes that triangulate homology manifolds with $β_1\neq 0$ and $β_2=0$, where $β_i$'s are the Betti numbers, computed with coefficients in $\mathbb Q$.

In 2015, Archdeacon introduced the notion of Heffter arrays and showed the connection between Heffter arrays and biembedding m-cycle and an n-cycle systems on a surface. In this paper we exploit this connection and prove that for every n >= 3 there exists an orientable embedding of the complete graph on 6n+1 vertices with each edge on both a 3-cycle and an $n$-cycle. We also give an analogous (but partial) result for biembedding a 5-cycle system and an n-cycle system.

Higher chromatic numbers $χ_s$ of simplicial complexes naturally generalize the chromatic number $χ_1$ of a graph. In any fixed dimension $d$, the $s$-chromatic number $χ_s$ of $d$-complexes can become arbitrarily large for $s\leq\lceil d/2\rceil$ [6,18]. In contrast, $χ_{d+1}=1$, and only little is known on $χ_s$ for $\lceil d/2\rceil<s\leq d$. A particular class of $d$-complexes are triangulations of $d$-manifolds. As a consequence of the Map Color Theorem for surfaces [29], the 2-chromatic number of any fixed surface is finite. However, by combining results from the literature, we will see that $χ_2$ for surfaces becomes arbitrarily large with growing genus. The proof for this is via Steiner triple systems and is non-constructive. In particular, up to now, no explicit triangulations of surfaces with high $χ_2$ were known. We show that orientable surfaces of genus at least 20 and non-orientable surfaces of genus at least 26 have a 2-chromatic number of at least 4. Via a projective Steiner triple systems, we construct an explicit triangulation of a non-orientable surface of genus 2542 and with face vector $f=(127,8001,5334)$ that has 2-chromatic number 5 or 6. We also give orientable examples with 2-chromatic numbers 5 and 6. For 3-dimensional manifolds, an iterated moment curve construction [18] along with embedding results [6] can be used to produce triangulations with arbitrarily large 2-chromatic number, but of tremendous size. Via a topological version of the geometric construction of [18], we obtain a rather small triangulation of the 3-dimensional sphere $S^3$ with face vector $f=(167,1579,2824,1412)$ and 2-chromatic number 5.

It is well known that any triangulation of a marked surface produces a quiver. In this paper we will provide a triangulation for orientable surfaces of genus $n$ with an arbitrary number interior marked points (called punctures) whose corresponding quiver has a maximal green sequence.

The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $\mathbb{E}$ of the graph $G$, if we randomly rearrange the edges around a vertex, i.e., re-embedding, what is the probability of the resulting embedding $\mathbb{E}'$ having genus $g+Δg$? We give a formula to compute this probability. Meanwhile, some other known and unknown results are also obtained. For example, we show that the probability of preserving the genus is at least $\frac{2}{deg(v)+2}$ for re-embedding any vertex $v$ of degree $deg(v)$ in a one-face embedding; and we obtain a necessary condition for a given embedding of $G$ to be an embedding with the minimum genus.