arXiv++ Combinatorics

In 2002, Koh and Tay conjectured that every bridgeless graph of order $n\geq 5$ and size at least ${n\choose 2}-n+5$ has an orientation of diameter two. Later, Cochran, Czabarka, Dankelmann and Székely proved this conjecture and asked what is the minimum number of edges required in a bridgeless graph of order $n$ to guarantee the existence of an orientation of diameter at most $d$? We conjecture that the answer is ${n-d \choose 2}+n+2$. We prove this conjecture for the case $d=n-2$ and prove the lower bound of this conjecture for the case $5\leq d\leq n-2$.

Let $A$ be a finite commutative ring with unity $1 \neq 0.$ An ideal of $A$ is said to be essential if it has a non-zero intersection with every non-zero ideal of $A.$ The essential graph of $A$ is a simple undirected graph whose vertex set consists of all non-zero zero-divisors of $A.$ Two different vertices $u$ and $v$ are connected by an edge precisely when the ideal formed by the annihilator of their product $uv$ is essential in $A.$ This paper examines the minimal embeddings of the line graph of the essential graph of $A$ into orientable surfaces as well as non-orientable surfaces. Our results include a complete classification of finite commutative rings for which the line graphs of their essential graphs is planar, outerplanar or have genus or crosscap number at most two. We also characterize all such non-local rings for which the line graph of their zero-divisor graph is outerplanar.

One of the consequences of residual finiteness of triangle groups is that for any given hyperbolic triple $(\ell,m,n)$ there exist infinitely many regular hypermaps of type $(\ell,m,n)$ on compact orientable surfaces. The same conclusion also follows from a classification of those finite quotients of hyperbolic triangle groups that are isomorphic to linear fractional groups over finite fields. A non-orientable analogue of this, that is, existence of regular hypermaps of a given hyperbolic type on {\em non-orientable} compact surfaces, appears to have been proved only for {\em maps}, which arise when one of the parameters $\ell,m,n$ is equal to $2$. In this paper we establish a non-orientable version of the above statement in full generality by proving the following much stronger assertion: for every hyperbolic triple $(\ell,m,n)$ there exists an infinite set of primes $p$ of positive Dirichlet density, such that (i) there exists a regular hypermap $\mathcal{H}$ of type $(\ell,m,n)$ on a compact non-orientable surface such that the automorphism group of $\mathcal{H}$ is isomorphic to $\PSL(2,p)$, and, moreover, (ii) the carrier compact surface of {\em every} regular hypermap of type $(\ell,m,n)$ with rotation group isomorphic to $\PSL(2,p)$ is necessarily non-orientable.

Orientable sequences of order n are infinite periodic sequences with symbols drawn from a finite alphabet of size k with the property that any particular subsequence of length n occurs at most once in a period in either direction. They were introduced in the early 1990s in the context of possible applications in position sensing. Bounds on the period of such sequences and a range of methods of construction have been devised, although apart from very small cases a significant gap remains between the largest known period for such a sequence and the best known upper bound. In this paper we first give improved upper bounds on the period of such sequences. We then give a new general method of construction for orientable sequences involving subgraphs of the de Bruijn graph with special properties, and describe two different approaches for generating such subgraphs. This enables us to construct orientable sequences with periods meeting the improved upper bounds when n is 2 or 3, as well as n=4 and k odd. For 4\leq n\leq 8, in some cases the sequences produced by the methods described have periods larger than for any previously known sequences.

Rotary maps (orientably regular maps) are highly symmetric graph embeddings on orientable surfaces. This paper classifies all rotary maps whose underlying graphs are Praeger-Xu graphs, denoted $\operatorname{C}(p,r,s)$, for any odd prime $p$ that does not divide $r$. Our main result establishes a one-to-one correspondence between the isomorphism classes of these maps and the multiplicity-free representations of the dihedral group $\operatorname{D}_{2r}$ over the finite field $\mathbb{F}_p$. This work extends a recent classification for the case where $p=2$.

A thrackle is a drawing of a graph on a surface such that (i) adjacent edges only intersect at their common vertex; and (ii) nonadjacent edges intersect at exactly one point, at which they cross. Conway conjectured that if a graph with $n$ vertices and $m$ edges can be thrackled on the plane, then $m\le n$. Conway's conjecture remains open; the best bound known is that $m\le 1.393n$. Cairns and Nikolayevsky extended this conjecture to the orientable surface $S_g$ of genus $g > 0$, claiming that if a graph with $n$ vertices and $m$ edges has a thrackle on $S_g$, then $m \le n + 2g$. We disprove this conjecture. In stark contrast with the planar case, we show that for each $g>0$ there is a connected graph with $n$ vertices and $2n + 2g -8$ edges that can be thrackled on $S_g$. This leaves relatively little room for further progress involving thrackles on orientable surfaces, as every connected graph with $n$ vertices and $m$ edges that can be thrackled on $S_g$ satisfies that $m \le 2n + 4g - 2$. We prove a similar result for nonorientable surfaces. We also derive nontrivial upper and lower bounds on the minimum $g$ such that $K_{m,n}$ and $K_n$ can be thrackled on $S_g$.

Consider a surface $Σ$ with punctures that serve as marked points and at least one marked point on each boundary component. We build a filling surface $Σ_n$ by singling out one of the boundary components and denoting by $n$ the number of marked points it contains. We consider the triangulations of $Σ_n$ whose vertices are the marked points and the associated flip-graph $\mathcal{F}(Σ_n)$. Quotienting $\mathcal{F}(Σ_n)$ by the homeomorphisms of $Σ$ that fix the privileged boundary component results in a finite graph $\mathcal{MF}(Σ_n)$. Bounds on the diameter of $\mathcal{MF}(Σ_n)$ are available when $Σ$ is orientable and we provide corresponding bounds when $Σ$ is non-orientable. We show that the diameter of this graph grows at least like $5n/2$ and at most like $4n$ as $n$ goes to infinity. If $Σ$ is an unpunctured Möbius strip, $\mathcal{MF}(Σ_n)$ coincides with $\mathcal{F}(Σ_n)$ and we prove that the diameter of this graph grows exactly like $5n/2$ as $n$ goes to infinity.

The degree of a map between orientable manifolds is a fundamental concept in topology, offering deep insights into the structure of the manifolds and the nature of the corresponding maps. This concept has been extensively studied, particularly in the context of simplicial maps between orientable triangulable spaces. In 1982, Gromov proved that if degree $d$ maps exist from a genus $g$ orientable surface to a genus $h$ orientable surface for every $d \in \mathbb{Z}$, then $h$ must be 0 or 1. Recently, degree $d$ self-maps on spheres, particularly on genus 0 surfaces, have been investigated. In this paper, we focus on the unique minimal 7-vertex triangulation of the torus. We construct simplicial degree $d$ maps from a triangulation of a genus $g$ surface to the 7-vertex triangulation of the torus for $g \geq 1$. Our construction of degree $d$ maps is minimal for every $d$ when $g = 1,2$. If $g \geq 3$, then our construction remains minimal for $|d| \geq 2g - 1$. We believe that this concept will be highly useful in combinatorial topology, as it leads to several intriguing open research problems. In the final section, we propose some of these open research problems.

A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A split comparability graph is a split graph which is transitively orientable. In this work, we characterize split comparability graphs in terms of vertex labelling. Further, using this characterization, we prove that the permutation-representation number of a split comparability graph is at most three. This gives us an alternative proof of the result in order theory that the dimension of a split order is at most three.

We prove that, as $m$ grows, any family of $m$ homotopically distinct closed curves on a surface induces a number of crossings that grows at least like $(m \log m)^2$. We use this to answer two questions of Pach, Tardos and Toth related to crossing numbers of drawings of multigraphs where edges are required to be non-homotopic. Furthermore, we generalize these results, obtaining effective bounds with optimal growth rates on every orientable surface.

In this paper, we provide the first known infinite family of simple graphs, each of which is the skeleton of a chiral map, a skeleton of a reflexible map on an orientable surfaces, as well as a skeleton of a reflexible map on a non-orientable surface. This family consists of all lexicographic product $C_n[mK_1]$, where $m\ge 3$, $n = sm$, with $s$ an integer not divisible by $4$. This answers a question posed in [S.\ Wilson, Families of regular graphs in regular maps, {\em Journal of Combinatorial Theory, Series B} 85 (2002), 269--289].

In this paper, we introduce the concept of a relative Heffter space which simultaneously generalizes those of relative Heffter arrays and Heffter spaces. Given a subgroup $J$ of an abelian group $G$, a relative Heffter space is a resolvable configuration whose points form a half-set of $G\setminus{J}$ and whose blocks are all zero-sum in $G$. Here we present two infinite families of relative Heffter spaces satisfying the additional condition of being simple. As a consequence, we get new results on globally simple relative Heffter arrays, on mutually orthogonal cycle decompositions and on biembeddings of cyclic cycle decompositions of the complete multipartite graph into an orientable surface.

Previous work of Chan--Church--Grochow and Baker--Wang shows that the set of spanning trees in a plane graph $G$ is naturally a torsor for the Jacobian group of $G$. Informally, this means that the set of spanning trees of $G$ naturally forms a group, except that there is no distinguished identity element. We generalize this fact to graphs embedded on orientable surfaces of arbitrary genus, which can be identified with ribbon graphs. In this generalization, the set of spanning trees of $G$ is replaced by the set of spanning quasi-trees of the ribbon graph, and the Jacobian group of $G$ is replaced by the Jacobian group of the associated regular orthogonal matroid $M$ (along with an associated regular representation of $M$). Our proof shows, more generally, that the family of "BBY torsors" constructed by Backman--Baker--Yuen and later generalized by Ding admit natural generalizations to (regular representations of) regular orthogonal matroids. In addition to shedding light on the role of planarity in the earlier work mentioned above, our results represent one of the first substantial applications of orthogonal matroids (also called "even delta-matroids" or "Lagrangian orthogonal matroids") to a natural combinatorial problem about graphs.

The Berge-Fulkerson conjecture states that every bridgeless cubic graph can be covered with six perfect matchings such that each edge is covered exactly twice. An equivalent reformulation is that it's possible to find a 6-cycle 4-cover. In this paper we discuss the oriented version (o6c4c) of the latter statement, pose it as a conjecture and prove it for the family of Isaacs flower snarks. Similarly to the case of oriented cycle double cover, we can always construct an orientable surface (possibly with boundary) from an o6c4c solution. If the o6c4c solution itself splits into two (not necessarily oriented) cycle double covers, then it's also possible to build another pair of orientable surfaces (also possibly with boundaries). Finally we show how to build a ribbon graph, and for some special o6c4c cases we show that this ribbon graph corresponds to an oriented 6-cycle double cover. Github: https://github.com/gexahedron/cycle-double-covers

We show that for all $n \equiv 0 \pmod{6}$, $n \geq 18$, there is an orientable triangular embedding of the octahedral graph on $n$ vertices that can be augmented with handles to produce a genus embedding of the complete graph of the same order. For these values of $n$, the intermediate embeddings of the construction also determine some surface crossing numbers of the complete graph on $n$ vertices and the genus of all graphs on $n$ vertices and minimum degree $n-2$.

Negami's famous planar cover conjecture is equivalent to the statement that a connected graph can be embedded in the projective plane if and only if it has a projective planar cover. In 1999, Hliněný proposed extending this conjecture to higher genus non-orientable surfaces. In this paper, we put forward a natural extension that encompasses orientable surfaces as well; for every compact surface $Σ$, a connected graph $G$ has a finite cover embeddable in $Σ$ if and only if $G$ is embeddable in a surface covered by $Σ$. As evidence toward this, we prove that for every surface $Σ$, the connected graphs with a finite cover embeddable in $Σ$ have bounded Euler genus. Moreover, we show that these extensions of Negami's conjecture are decidable for every compact surface of sufficiently large Euler genus, surpassing what is known for Negami's original conjecture. We also prove the natural analogue for countable graphs embeddable into a compact (orientable) surface. More precisely, we prove that a connected countable graph $G$ has a finite ply cover that embeds into a compact (orientable) surface if and only if $G$ embeds into a compact (orientable) surface. Our most general theorem, from which these results are derived, is that there is a constant $c>0$ such that for every surface $Σ$, there exists a decreasing function $p_Σ:\mathbb{N} \to \mathbb{N}$ with $\lim_{g\to \infty}p_Σ(g) =0$ such that every finite cover embeddable in $Σ$ of any connected graph with Euler genus $g\ge c$ has ply at most $p_Σ(g)$.

Analogously to de Bruijn sequences, Orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., recursive methods of construction were described for orientable sequences over arbitrary finite alphabets, requiring 'starter sequences' with special properties. Some of these methods required as input special orientable sequences, i.e. orientable sequences which were simultaneously negative orientable. We exhibit methods for constructing special orientable sequences with properties appropriate for use in two of the recursive methods of Alhakim et al. As a result we are able to show how to construct special orientable sequences for arbitrary sizes of alphabet (larger than a small lower bound) and for all window sizes. These sequences have periods asymptotic to the optimal as the alphabet size increases.

We study the problem of determining the minimal genus of a simple finite connected graph. We present an algorithm which, for an arbitrary graph $G$ with $n$ vertices and $m$ edges, determines the orientable genus of $G$ in $O(n(4^m/n)^{n/t})$ steps where $t$ is the girth of $G$. This algorithm avoids difficulties that many other genus algorithms have with handling bridge placements which is a well-known issue. The algorithm has a number of useful properties for practical use: it is simple to implement, it outputs the faces of an optimal embedding, and it iteratively narrows both upper and lower bounds. We illustrate the algorithm by determining the genus of the $(3,12)$ cage (which is 17); other graphs are also considered.

In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $γ_t(D)$, is the size of the smallest total dominating set of $D$. For an undirected graph $G$, we investigate the upper (or lower) orientable total domination number of $G$, denoted by $\mathrm{DOM}_t(G)$ (or $\mathrm{dom}_t(G)$), that is the maximum (or minimum) of the total domination numbers over all valid orientations of $G$. We characterize those graphs for which $\mathrm{DOM}_t(G)=|V(G)|-1$, and consequently we show that there exists a family of graphs for which $\mathrm{DOM}_t(G)$ and $\mathrm{dom}_t(G)$ can be as far as possible, namely $\mathrm{DOM}_t(G)=|V(G)|-1$ and $\mathrm{dom}_t(G)=3$.

Let $Δ$ and $B$ be the maximum vertex degree and a subset of vertices in a graph $G$ respectively. In this paper, we study the first (non-trivial) Steklov eigenvalue $σ_2$ of $G$ with boundary $B$. Using metrical deformation via flows, we first show that $σ_2 = \mathcal{O}\left(\frac{Δ(g+1)^3}{|B|}\right)$ for graphs of orientable genus $g$ if $|B| \geq \max\{3 \sqrt{g},|V|^{\frac{1}{4} + ε}, 9\}$ for some $ε> 0$. This can be seen as a discrete analogue of Karpukhin's bound. Secondly, we prove that $σ_2 \leq \frac{8Δ+4X}{|B|}$ based on planar crossing number $X$. Thirdly, we show that $σ_2 \leq \frac{|B|}{|B|-1} \cdot δ_B$, where $δ_B$ denotes the minimum degree for boundary vertices in $B$. At last, we compare several upper bounds on Laplacian eigenvalues and Steklov eigenvalues.