arXiv++ Combinatorics

In this paper, the quadrangular genus (4-genus) of the complete graph $K_p$ is shown to be $γ_4 (K_p) = \lceil {p(p-5)}/{8} \rceil +1$ for orientable surfaces. This means that $K_p$ is minimally embeddable in the closed orientable surface of genus $γ_4 (K_p)$ under the constraint that each face has length at least 4. In the most general setting, the genus of the complete graph was established by Ringel and Youngs and was mainly concerned with triangulations of surfaces. Nonetheless, since then a great deal of interest has also been generated in quadrangulations of surfaces. Hartsfield and Ringel were the first who considered minimal quadrangulations of surfaces. Sections 1--4 of this paper are essentially a reproduction of the original 1998 version as follows: Chen B., Lawrencenko S., Yang H. Determination of the 4-genus of a complete graph, submitted to Discrete Mathematics and withdrawn by S. Lawrencenko, June 1998, URL: https://t.co/cUg6R9Jwyw . More discussion on this 1998 version is held and some copyright issues around the quadrangular genus of complete graphs are clarified in the Appendix to the current version of the paper; the Appendix was written in 2017.

It was shown by Fock, Goncharov and Fomin, Shapiro, Thurston that some cluster algebras arise from triangulated orientable suraces. Subsequently Dupont and Palesi generalised this construction to include unpunctured non-orientable surfaces, giving birth to quasi-cluster algebras. Previously we linked this framework to Lam and Pylyavskyy's Laurent phenomenon algebras, showing that unpunctured surfaces admit an LP structure. In this paper we extend quasi-cluster algebras to include punctured surfaces. Moreover, by adding laminations to the surface we demonstrate that all punctured and unpunctured surfaces admit LP structures.

Consider the collection of edge bicolorings of a graph that is cellularly embedded on an orientable surface. In this work, we count the number of equivalence classes of such colorings under two relations: reversing colors around a face and reversing colors around a vertex. In the case of the plane, this is well studied, but for other surfaces, the computation is more subtle. While this question can be stated purely graph theoretically, it has interesting applications in knot theory.

Let $Γ$ be a triangulation of a connected closed $2$-dimensional (not necessarily orientable) surface. Using zigzags (closed left-right paths), for every face of $Γ$ we define the $z$-monodromy which acts on the oriented edges of this face. There are precisely $7$ types of $z$-monodromies. We consider the following two cases: (M1) the $z$-monodromy is identity, (M2) the $z$-monodromy is the consecutive passing of the oriented edges. Our main result is the following: the subgraphs of the dual graph $Γ^{*}$ formed by edges whose $z$-monodromies are of types (M1) and (M2), respectively, both are forests. We apply this statement to the connected sum of $z$-knotted triangulations.

Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich, and by Boissy through methods involving both combinatorics algebraic geometry, topology and dynamical systems. Our first paper proposed an ad hoc combinatorial proof of this classification. In this paper we define a general method, called the labelling method, which allows one to classify Rauzy-type dynamics in a much more systematic way. We apply the method to the Rauzy dynamics and obtain a second combinatorial proof of the classification.

A road interchange where $n$ roads meet and in which the drivers are not allowed to change lanes can be modelled as an embedding of a 2-coloured (hence bipartite) multigraph $G$ with equal-sized colour classes into an orientable surface such that there is a face bounded by a Hamiltonian cycle (Kurauskas, 2017). The case of $G$ a complete bipartite graph $K_{n,n}$ corresponds to a complete $n$-way interchange where drivers approaching from each of $n$ directions can exit to any other direction. The genus of the underlying surface can be interpreted as the number of bridges in the interchange. In this paper we study the minimum genus, or the minimum number of bridges, of a complete interchange with a restriction that it is symmetric under the cyclic permutation of its roads. We consider both (a) abstract combinatorial/topological symmetry, and (b) symmetry in the 3-dimensional Euclidean space $\mathbb{R}^3$. The proof of (a) is based on the classic voltage and transition graph constructions. For (b) we use, among other techniques, a simple new combinatorial lower bound.

In this work for the first time we enumerate unlabelled maps on orientable genus $g$ surfaces with respect to all homeomorphisms, including both orientation-preserving and orientation-reversing. We show that in the latter case as an intermediate step one has to enumerate rooted maps of a special kind (quotient maps) on orientable and non-orientable surfaces possibly having a boundary and a certain number of branch points. In this work we develop a special technique for enumerating such maps.

Introduced by Goulden and Jackson in their 1996 paper, the matchings-Jack conjecture and the hypermap-Jack conjecture (also known as the $b$-conjecture) are two major open questions relating Jack symmetric functions, the representation theory of the symmetric groups and combinatorial maps. They show that the coefficients in the power sum expansion of some Cauchy sum for Jack symmetric functions and in the logarithm of the same sum interpolate respectively between the structure constants of the class algebra and the double coset algebra of the symmetric group and between the numbers of orientable and locally orientable hypermaps. They further provide some evidence that these two families of coefficients indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are polynomials in $β= α-1$ with non negative integer coefficients of combinatorial significance. This paper is devoted to the case when one of the three partitions is equal to $(n)$. We exhibit some polynomial properties of both families of coefficients and prove a variation of the hypermap-Jack conjecture and the matchings-Jack conjecture involving labelled hypermaps and matchings in some important cases.

Gay and Kirby recently introduced the concept of a trisection for arbitrary smooth, oriented closed 4-manifolds, and with it a new topological invariant, called the trisection genus. This paper improves and implements an algorithm due to Bell, Hass, Rubinstein and Tillmann to compute trisections using triangulations, and extends it to non-orientable 4-manifolds. Lower bounds on trisection genus are given in terms of Betti numbers and used to determine the trisection genus of all standard simply connected PL 4-manifolds. In addition, we construct trisections of small genus directly from the simplicial structure of triangulations using the Budney-Burton census of closed triangulated 4-manifolds. These experiments include the construction of minimal genus trisections of the non-orientable 4-manifolds $S^3 \tilde{\times} S^1$ and $\mathbb{R}P^4$.

Hefetz, Mütze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper we support the analogous question for distance magic labeling. Let $Γ$ be an Abelian group of order $n$. A \textit{directed $Γ$-distance magic labeling} of an oriented graph $\vec{G} = (V,A)$ of order $n$ is a bijection $\vec{l}:V \rightarrow Γ$ with the property that there is a \textit{magic constant} $μ\in Γ$ such that for every $x \in V(G)$ $ w(x) = \sum_{y \in N^{+}(x)}\vec{l}(y) - \sum_{y \in N^{-}(x)} \vec{l}(y) = μ. $ In this paper we provide an infinite family of odd regular graphs possessing an orientable $\mathbb{Z}_{n}$-distance magic labeling. Our results refer to lexicographic product of graphs. We also present a family of odd regular graphs that are not orientable $\mathbb{Z}_{n}$-distance magic.

We present two characterizations of regular matroids among orientable matroids and use them to give a measure of "how far" an orientable matroid is from being regular.

In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how "simple" or "thin" a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of thin position for 3-manifolds, play an important role when studying algorithmic problems; in particular, there is a variety of problems in computational 3-manifold topology - some of them known to be computationally hard in general - that become solvable in polynomial time as soon as the dual graph of the input triangulation has bounded treewidth. In view of these algorithmic results, it is natural to ask whether every 3-manifold admits a triangulation of bounded treewidth. We show that this is not the case, i.e., that there exists an infinite family of closed 3-manifolds not admitting triangulations of bounded pathwidth or treewidth (the latter implies the former, but we present two separate proofs). We derive these results from work of Agol, of Scharlemann and Thompson, and of Scharlemann, Schultens and Saito by exhibiting explicit connections between the topology of a 3-manifold M on the one hand and width-type parameters of the dual graphs of triangulations of M on the other hand, answering a question that had been raised repeatedly by researchers in computational 3-manifold topology. In particular, we show that if a closed, orientable, irreducible, non-Haken 3-manifold M has a triangulation of treewidth (resp. pathwidth) k then the Heegaard genus of M is at most 18(k+1) (resp. 4(3k+1)).

We introduce a new type of discrete quantum walks, called vertex-face walks, based on orientable embeddings. We first establish a spectral correspondence between the transition matrix $U$ and the vertex-face incidence structure. Using the incidence graph, we derive a formula for the principal logarithm of $U^2$, and find conditions for its underlying digraph to be an oriented graph. In particular, we show this happens if the vertex-face incidence structure forms a partial geometric design. We also explore properties of vertex-face walks on the covers of a graph. Finally, we study a non-classical behavior of vertex-face walks.

In 2009, Jonoska, Seeman and Wu showed that every graph admits a route for a DNA reporter strand, that is, a closed walk covering every edge either once or twice, in opposite directions if twice, and passing through each vertex in a particular way. This corresponds to showing that every graph has an \emph{edge-outer embedding}, that is, an orientable embedding with some face that is incident with every edge. In the motivating application, the objective is such a closed walk of minimum length. Here we give a short algorithmic proof of the original existence result, and also prove that finding a shortest length solution is NP-hard, even for $3$-connected cubic ($3$-regular) planar graphs. Independent of the motivating application, this problem opens a new direction in the study of graph embeddings, and we suggest new problems emerging from it.

The modular decomposition of a graph is a canonical representation of its modules. Algorithms for computing the modular decomposition of directed and undirected graphs differ significantly, with the undirected case being simpler, and algorithms for directed graphs often work by reducing the problem to decomposing undirected graphs. In this paper we show that transitive acyclic digraphs have the same strong modules as their undirected versions. This simplifies reduction for transitive digraphs, requiring only the computation of strongly connected components. Furthermore, we are interested in permutation graphs, where both the graph and its complement are transitively orientable. Such graphs may be represented indirectly, as the transitive closure of a given graph. For non-transitive graphs we present a linear-time algorithm which allows us to identify prime-free modules w.r.t their transitive closure, which speeds up both modular decomposition and transitive orientation for sparse graphs. Finally, we show that any transitive orientation of a digraph's complement also transitively orients the complement of the digraph's transitive closure, allowing us to find such orientations in (near-)linear time.

In this paper we introduce a particular class of Heffter arrays, called globally simple Heffter arrays, whose existence gives at once orthogonal cyclic cycle decompositions of the complete graph and of the cocktail party graph. In particular we provide explicit constructions of such decompositions for cycles of length $k\leq 10$. Furthermore, starting from our Heffter arrays we also obtain biembeddings of two $k$-cycle decompositions on orientable surfaces.

Maximal chord diagrams up to all isomorphisms are enumerated. The enumerating formula is based on a bijection between rooted one-vertex one-face maps on locally orientable surfaces and a certain class of symmetric chord diagrams. This result extends the one of Cori and Marcus regarding maximal chord diagrams enumerated up to rotations.

We find a graph of genus $5$ and its drawing on the orientable surface of genus $4$ with every pair of independent edges crossing an even number of times. This shows that the strong Hanani-Tutte theorem cannot be extended to the orientable surface of genus $4$. As a base step in the construction we use a counterexample to an extension of the unified Hanani-Tutte theorem on the torus.

Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We prove that the component structure of a graph chosen uniformly at random from the class $\mathcal{S}_g(n,m)$ of all graphs on vertex set $[n]=\{1,\dotsc,n\}$ with $m$ edges embeddable on $\mathbb{S}_g$ features two phase transitions. The first phase transition mirrors the classical phase transition in the Erdős--Rényi random graph $G(n,m)$ chosen uniformly at random from all graphs with vertex set $[n]$ and $m$ edges. It takes place at $m=\frac{n}{2}+O(n^{2/3})$, when a unique largest component, the so-called \emph{giant component}, emerges. The second phase transition occurs at $m = n+O(n^{3/5})$, when the giant component covers almost all vertices of the graph. This kind of phenomenon is strikingly different from $G(n,m)$ and has only been observed for graphs on surfaces. Moreover, we derive an asymptotic estimation of the number of graphs in $\mathcal{S}_g(n,m)$ throughout the regimes of these two phase transitions.

Huggett and Moffatt characterized all bipartite partial duals of a plane graph in terms of all-crossing directions of its medial graph. Then Metsidik and Jin characterized all Eulerian partial duals of a plane graph in terms of semi-crossing directions of its medial graph. Plane graphs are ribbon graphs with genus 0. In this paper, we shall first extend Huggett and Moffatt's result to any orientable ribbon graph and provide an example to show that it is not true for non-orientable ribbon graphs. Then we characterize all Eulerian partial duals of any ribbon graph in terms of crossing-total directions of its medial graph, which are much more simple than semi-crossing directions.