arXiv++ Combinatorics

A Heffter array $H(n;k)$ is an $n\times n$ matrix such that each row and column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$. Heffter arrays are useful for embedding the graph $K_{2nk+1}$ on an orientable surface. An integer Heffter array is one in which each row and column sum is $0$. Necessary and sufficient conditions (on $n$ and $k$) for the existence of an integer Heffter array $H(n;k)$ were verified by Archdeacon, Dinitz, Donovan and Yazıcı\ (2015) and Dinitz and Wanless (2017). In this paper we consider square Heffter arrays that are not necessarily integer. We show that such Heffter arrays exist whenever $3\leq k<n$.

A graph is $d$-orientable if its edges can be oriented so that the maximum in-degree of the resulting digraph is at most $d$. $d$-orientability is a well-studied concept with close connections to fundamental graph-theoretic notions and applications as a load balancing problem. In this paper we consider the d-ORIENTABLE DELETION problem: given a graph $G=(V,E)$, delete the minimum number of vertices to make $G$ $d$-orientable. We contribute a number of results that improve the state of the art on this problem. Specifically: - We show that the problem is W[2]-hard and $\log n$-inapproximable with respect to $k$, the number of deleted vertices. This closes the gap in the problem's approximability. - We completely characterize the parameterized complexity of the problem on chordal graphs: it is FPT parameterized by $d+k$, but W-hard for each of the parameters $d,k$ separately. - We show that, under the SETH, for all $d,ε$, the problem does not admit a $(d+2-ε)^{tw}$, algorithm where $tw$ is the graph's treewidth, resolving as a special case an open problem on the complexity of PSEUDOFOREST DELETION. - We show that the problem is W-hard parameterized by the input graph's clique-width. Complementing this, we provide an algorithm running in time $d^{O(d\cdot cw)}$, showing that the problem is FPT by $d+cw$, and improving the previously best known algorithm for this case.

A dessin is a 2-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of orientation- and colour-preserving automorphisms acts regularly on the edges. In this paper we study regular dessins whose underlying graph is a complete bipartite graph $K_{m,n}$, called $(m,n)$-complete regular dessins. The purpose is to establish a rather surprising correspondence between $(m,n)$-complete regular dessins and pairs of skew-morphisms of cyclic groups. A skew-morphism of a finite group $A$ is a bijection $\varphi\colon A\to A$ that satisfies the identity $\varphi(xy)=\varphi(x)\varphi^{π(x)}(y)$ for some function $π\colon A\to\mathbb{Z}$ and fixes the neutral element of~$A$. We show that every $(m,n)$-complete regular dessin $\mathcal{D}$ determines a pair of reciprocal skew-morphisms of the cyclic groups $\mathbb{Z}_n$ and $\mathbb{Z}_m$. Conversely, $\mathcal{D}$ can be reconstructed from such a reciprocal pair. As a consequence, we prove that complete regular dessins, exact bicyclic groups with a distinguished pair of generators, and pairs of reciprocal skew-morphisms of cyclic groups are all in one-to-one correspondence. Finally, we apply the main result to determining all pairs of integers $m$ and $n$ for which there exists, up to interchange of colours, exactly one $(m,n)$-complete regular dessin. We show that the latter occurs precisely when every group expressible as a product of cyclic groups of order $m$ and $n$ is abelian, which eventually comes down to the condition $\gcd(m,φ(n))=\gcd(φ(m),n)=1$, where $φ$ is Euler's totient function.

A dessin is a $2$-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts regularly on the edges. In this paper we employ group-theoretic method to determine and enumerate the isomorphism classes of regular dessins with the complete bipartite underlying graphs of odd prime power order.

In this paper we study the minimum number of reversals needed to transform a unicellular fatgraph into a tree. We consider reversals acting on boundary components, having the natural interpretation as gluing, slicing or half-flipping of vertices. Our main result is an expression for the minimum number of reversals needed to transform a unicellular fatgraph to a plane tree. The expression involves the Euler genus of the fatgraph and an additional parameter, which counts the number of certain orientable blocks in the decomposition of the fatgraph. In the process we derive a constructive proof of how to decompose non-orientable, irreducible, unicellular fatgraphs into smaller fatgraphs of the same type or trivial fatgraphs, consisting of a single ribbon. We furthermore provide a detailed analysis how reversals affect the component-structure of the underlying fatgraphs. Our results generalize the Hannenhalli-Pevzner formula for the reversal distance of signed permutations.

The theory of matroids has been generalized to oriented matroids and, recently, to arithmetic matroids. We want to give a definition of "oriented arithmetic matroid" and prove some properties like the "uniqueness of orientation".

In 1968, Ringel and Youngs confirmed the last open case of the Heawood Conjecture by determining the genus of every complete graph $K_n$. In this paper, we investigate the minimum genus embeddings of the complete $3$-uniform hypergraphs $K_n^3$. Embeddings of a hypergraph $H$ are defined as the embeddings of its associated Levi graph $L_H$ with vertex set $V(H)\sqcup E(H)$, in which $v\in V(H)$ and $e\in E(H)$ are adjacent if and only if $v$ and $e$ are incident in $H$. We determine both the orientable and the non-orientable genus of $K_n^3$ when $n$ is even. Moreover, it is shown that the number of non-isomorphic minimum genus embeddings of $K_n^3$ is at least $2^{\frac{1}{4}n^2\log n(1-o(1))}$. The construction in the proof may be of independent interest as a design-type problem.

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 in [KZ03] and correspond bijectively to the connected components of the strata of the moduli space of abelian differentials. In a paper [Boi14] Boissy proposed a Rauzy-type dynamics that acts on a subset of the permutations (the standard permutations) and conjectured that the Rauzy classes of this dynamics are exactly the Rauzy classes of the Rauzy dynamics restricted to standard permutations. In this paper, we apply the labelling method introduced in [D18] to classify this dynamics thus proving Boissy's conjecture. Finally, this paper conclude our serie of three papers on the study of the Rauzy dynamics by presenting two new results on the Rauzy classes: An quadratic algorithm for outputting a path between two connected permutations and a tight $Θ(n)$ bound on the diameter of the Rauzy classes for the alternating distance.

We construct a new polynomial invariant of maps (graphs embedded in a compact surface, orientable or non-orientable), which contains as specializations the Krushkal polynomial, the Bollobás--Riordan polynomial, the Las Vergnas polynomial, and their extensions to non-orientable surfaces, and hence in particular the Tutte polynomial. Other evaluations include the number of local flows and local tensions taking non-identity values in a given finite group.

We present a family of index 1 abelian current graphs whose derived embeddings can be modified into triangulations of $K_{12s}$ for $s \geq 4$. Our construction is significantly simpler than previous methods for finding genus embeddings of $K_{12s}$, which utilized either large index or nonabelian groups.

A drawing of a graph on a surface is independently even if every pair of nonadjacent edges in the drawing crosses an even number of times. The $\mathbb{Z}_2$-genus of a graph $G$ is the minimum $g$ such that $G$ has an independently even drawing on the orientable surface of genus $g$. An unpublished result by Robertson and Seymour implies that for every $t$, every graph of sufficiently large genus contains as a minor a projective $t\times t$ grid or one of the following so-called $t$-Kuratowski graphs: $K_{3,t}$, or $t$ copies of $K_5$ or $K_{3,3}$ sharing at most two common vertices. We show that the $\mathbb{Z}_2$-genus of graphs in these families is unbounded in $t$; in fact, equal to their genus. Together, this implies that the genus of a graph is bounded from above by a function of its $\mathbb{Z}_2$-genus, solving a problem posed by Schaefer and Štefankovič, and giving an approximate version of the Hanani-Tutte theorem on orientable surfaces. We also obtain an analogous result for Euler genus and Euler $\mathbb{Z}_2$-genus of graphs.

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$.