arXiv++ Combinatorics

We define the notion of $(p_0,p_1,\dots,p_d)$-type semi-equivelar gems for closed connected PL $d$-manifolds, related to the regular embedding of gems $Γ$ representing $M$ on a surface $S$ such that the face-cycles at all the vertices of $Γ$ on $S$ are of the same type. The term is inspired by semi-equivelar maps of surfaces. Given a surface $S$ having non-negative Euler characteristic, we find all regular embedding types on $S$ and then construct a genus-minimal semi-equivelar gem (if it exists) of each such type embedded on $S$. Moreover, we present constructions of the following semi-equivelar gems: (1) For each closed connected surface $S$, we construct a genus-minimal semi-equivelar gem that represents $S$. In particular, for $S=\#_n (\mathbb{S}^1 \times \mathbb{S}^1)$ (resp., $\#_n(\mathbb{RP}^2)$), the semi-equivelar gem of type $((4n+2)^3)$ (resp., $((2n+2)^3)$) is constructed. (2) For a closed connected orientable PL $d$-manifold $M$ (where $d \geq 3$) of regular genus at most $1$, we show that $M$ admits a genus-minimal semi-equivelar gem if and only if $M$ is a lens space. Moreover, if we consider semi-equivelar gems with $2$-gons then for a closed connected orientable $d$-manifold $M$ (where $d \geq 3$) with $\mathcal{G}(M)\leq 1$, $M$ admits a genus-minimal semi-equivelar gem (with bigons).

We continue the study of $(\mathrm{tw},ω)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this property has useful algorithmic implications for the Independent Set and related problems. In the previous paper of the series [Dallard, Milanič, and Štorgel, Treewidth versus clique number. II. Tree-independence number], we introduced the tree-independence number, a min-max graph invariant related to tree decompositions. Bounded tree-independence number implies both $(\mathrm{tw},ω)$-boundedness and the existence of a polynomial-time algorithm for the Maximum Weight Independent Set problem, provided that the input graph is given together with a tree decomposition with bounded independence number. In this paper, we consider six graph containment relations and for each of them characterize the graphs $H$ for which any graph excluding $H$ with respect to the relation admits a tree decomposition with bounded independence number. The induced minor relation is of particular interest: we show that excluding either a $K_5$ minus an edge or the $4$-wheel implies the existence of a tree decomposition in which every bag is a clique plus at most $3$ vertices, while excluding a complete bipartite graph $K_{2,q}$ implies the existence of a tree decomposition with independence number at most $2(q-1)$. Our constructive proofs are obtained using a variety of tools, including $\ell$-refined tree decompositions, SPQR trees, and potential maximal cliques. They imply polynomial-time algorithms for the Independent Set and related problems in an infinite family of graph classes; in particular, the results apply to the class of $1$-perfectly orientable graphs, answering a question of Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius from 2019.

We define a new integer invariant of a finite graph G, the freeness index, that measures the extent to which G can be embedded in the 3-sphere so that it and its subgraphs have ``simple" complements, i.e., complements which are homeomorphic to a connect-sum of handlebodies. We relate the freeness index to questions of embedding graphs into surfaces, in particular to the orientable cycle double cover conjecture. We show that a cubic graph satisfying the orientable double cycle cover conjecture has freeness index at least two.

Selfadhesivity is a property of entropic polymatroids which guarantees that the polymatroid can be glued to an identical copy of itself along arbitrary restrictions such that the two pieces are independent given the common restriction. We show that positive definite matrices satisfy this condition as well and examine consequences for Gaussian conditional independence structures. New axioms of Gaussian CI are obtained by applying selfadhesivity to the previously known axioms of structural semigraphoids and orientable gaussoids.

Archdeacon, in his seminal paper $[1]$, defined the concept of Heffter array in order to provide explicit constructions of $\mathbb{Z}_{v}$-regular biembeddings of complete graphs $K_v$ into orientable surfaces. In this paper, we first introduce the quasi-Heffter arrays as a generalization of the concept of Heffer array and we show that, in this context, we can define a $2$-colorable embedding of Archdeacon type of the complete multipartite graph $K_{\frac{v}{t}\times t}$ into an orientable surface. Then, our main goal is to study the full automorphism groups of these embeddings: here we are able to prove, using a probabilistic approach, that, almost always, this group is exactly $\mathbb{Z}_{v}$. As an application of this result, given a positive integer $t\not\equiv 0\pmod{4}$, we prove that there are, for infinitely many pairs of $v$ and $k$, at least $(1-o(1)) \frac{(\frac{v-t}{2})!}{φ(v)} $ non-isomorphic biembeddings of $K_{\frac{v}{t}\times t}$ whose face lengths are multiples of $k$. Here $φ(\cdot)$ denotes the Euler's totient function. Moreover, in case $t=1$ and $v$ is a prime, almost all these embeddings define faces that are all of the same length $kv$, i.e. we have a more than exponential number of non-isomorphic $kv$-gonal biembeddings of $K_{v}$.

Recently we introduced the hypergraph matrix model (HMM), a Hermitian matrix model generalizing the classical Gaussian Unitary Ensemble (GUE). In this model the Gaussians of the GUE, whose moments count partitions of finite sets into pairs, are replaced by formal measures whose moments count set partitions into parts of a fixed even size 2m >= 2. Just as the expectations of the trace polynomials Tr X^{2r} in the GUE produce polynomials counting unicellular orientable maps of different genera, in the HHM these expectations give polynomials counting certain unicelled edge-ramified CW complexes with extra data that we call (orientable CW) maps with instructions. In this paper we describe generating functions for maps with instructions of fixed genus and with the number of vertices arbitrary. Our results are motivated by work of Wright. In particular Wright computed generating functions of connected graphs of fixed first Betti number as rational functions in the rooted tree function T (x), given as the solution to the functional relation x = T e^{-T}.

Permutation-partition pairs were introduced by Stahl in 1980. These pairs are generalizations of graphs and graphs on surfaces. They were used to solve some problems for orientable embeddings of graphs. In this paper, we introduce a particular type of permutation-partition pair, called permutation-bipartition pair, which can be seen as generalizations of signed graphs and signed graph embeddings. Some applications are given.

Given a finite group $G$, the {\it genus spetrum} ${\rm sp}(G)$ of $G$ is the set of integers $g\geq 0$ such that $G$ can act faithfully on an orientable closed surface of genus $g$ by orientation-preserving homeomorphisms. The determination of ${\rm sp}(G)$ is a classical topic and has a long history, but progress is lacked. In this paper, when $G$ is an abelian $p$-group with $p>2$, we propose a new approach to ${\rm sp}(G)$, giving a structural description for ${\rm sp}(G)$ in terms of a function which can be computed in finitely many steps.

Let $α$ and $β$ be uniformly random permutations of orders $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation $αβαβ^{-1}$. How many fixed points does this random permutation have on average? The current paper studies questions of this kind and relates them to surprising topological and algebraic invariants of elements in free products of groups. Formally, let $Γ=G_{1}*\ldots*G_{k}$ be a free product of groups where each of $G_1,\ldots,G_k$ is either finite, finitely generated free, or an orientable hyperbolic surface group. For a fixed element $γ\inΓ$, a $γ$-random permutation in the symmetric group $S_{N}$ is the image of $γ$ through a uniformly random homomorphism $Γ\to S_{N}$. In this paper we study local statistics of $γ$-random permutations and their asymptotics as $N$ grows. We first consider $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$, the expected number of fixed points in a $γ$-random permutation in $S_{N}$. We show that unless $γ$ has finite order, the limit of $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ as $N\to\infty$ is an integer, and is equal to the number of subgroups $H\leΓ$ containing $γ$ such that $H\cong\mathbb{Z}$ or $H\cong C_{2}*C_{2}$. Equivalently, this is the number of subgroups $H\leΓ$ containing $γ$ and having (rational) Euler characteristic zero. We also prove there is an asymptotic expansion for $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ and determine the limit distribution of the number of fixed points as $N\to\infty$. These results are then generalized to all statistics of cycles of fixed lengths.

The first non-trivial case of Hadwiger's conjecture for oriented matroids reads as follows. If $\mathcal{O}$ is an $M(K_4)$-free oriented matroid, then $\mathcal{O}$ admits a NZ $3$-coflow, i.e., it is $3$-colourable in the sense of Hochstättler-Nešetřil. The class of gammoids is a class of $M(K_4)$-free orientable matroids and it is the minimal minor-closed class that contains all transversal matroids. Towards proving the previous statement for the class of gammoids, Goddyn, Hochstättler, and Neudauer conjectured that every gammoid has a positive coline (equivalently, a positive double circuit), which implies that all orientations of gammoids are $3$-colourable. In this brief note we disprove Goddyn, Hochstättler, and Neudauers' conjecture by exhibiting a large class of bicircular matroids that do not contain positive double circuits.

In this article, we investigate short topological decompositions of non-orientable surfaces and provide algorithms to compute them. Our main result is a polynomial-time algorithm that for any graph embedded in a non-orientable surface computes a canonical non-orientable system of loops so that any loop from the canonical system intersects any edge of the graph in at most 30 points. The existence of such short canonical systems of loops was well known in the orientable case and an open problem in the non-orientable case. Our proof techniques combine recent work of Schaefer-Štefankovič with ideas coming from computational biology, specifically from the signed reversal distance algorithm of Hannenhalli-Pevzner. The existence of short canonical non-orientable systems of loops confirms a special case of a conjecture of Negami on the joint crossing number of two embeddable graphs. We also provide a correction for an argument of Negami bounding the joint crossing number of two non-orientable graph embeddings.

This paper focuses on the classification of classes of topological equivalence of finite group actions on Riemann surfaces. By the Riemann-Hurwitz bound, there are just finitely many groups that act conformally on a closed orientable surface $\mathcal{S}_g$ of genus $g\geq 2$. With each such action of a group $\mathrm{G}$ on $\mathcal{S}_g$ one can associate the fundamental group $Γ=π(\mathcal{O})$ of the quotient orbifold $\mathcal{O}=\mathcal{S}_g/\mathrm{G}$, isomorphic to a Fuchsian group determined completely by orbifold's signature. The Riemann existence theorem reduces the problem of the existence of an action of $\mathrm{G}$ on $\mathcal{S}_g$ to a purely group-theoretical problem of deciding whether there is an smooth epimorphism mapping the Fuchsian group $Γ$ onto the group $\mathrm{G}$. Using computer algebra systems such as \textsc{Magma} or GAP, together with the library of small groups, the generation of all finite group actions on a surface of fixed small genus $g\geq 2$ becomes almost a routine procedure. The difficult part is to determine the classes of these actions with respect to topological equivalence. To achieve this, one needs to investigate the action of the automorphism group of a Fuchsian group on the set of finite group actions on $\mathcal{S}_g$ with the corresponding signature. In this paper we derive several results on the topological equivalence of finite group actions on Riemann surfaces. As an application, we derive complete lists of finite group actions of genus $g\leq 9$ distinguished up to the topological equivalence. A summary of the actions can be found in Appendix, the reader interested in more details is referred to the web page [22]. It is expected that we will be able to extend the list to higher genera, refreshed partial results are available on the web page. The following text is an extended version of the paper [23].

The Kuratowski graphs $K_{3,3}$ and $K_5$ characterize planarity. Counting distinct 2-cell embeddings of these two graphs on orientable surfaces was previously done by using Burnside's Lemma and their automorphism groups, without actually constructing the embeddings. We obtain all 2-cell embeddings of these graphs on the double torus, using a constructive approach. This shows that there is a unique non-orientable 2-cell embedding of $K_{3,3}$, 14 orientable and 17 non-orientable 2-cell embeddings of $K_5$ on the double torus, which explicitly confirms the enumerative results. As a consequence, several new polygonal representations of the double torus are presented.

We describe an infinite family of edge-decompositions of complete graphs into two graphs, each of which triangulate the same orientable surface. Previously, such decompositions had only been known for only a few complete graphs. These so-called biembeddings solve a generalization of the Earth-Moon problem for an infinite number of orientable surfaces.

This article aims to provide exponential lower bounds on the number of non-isomorphic $k$-gonal biembeddings of the complete multipartite graph into orientable surfaces. For this purpose, we use the concept, introduced by Archdeacon in 2015, of Heffer array and its relations with graph embeddings. In particular we show that, under certain hypotheses, from a single Heffter array, we can obtain an exponential number of distinct graph embeddings. Exploiting this idea starting from the arrays constructed by Cavenagh, Donovan and Yazici in 2020, we obtain that, for infinitely many values of $k$ and $v$, there are at least $k^{\frac{k}{2}+o(k)} \cdot 2^{v\cdot \frac{H(1/4)}{(2k)^2}+o(v)}$ non-isomorphic $k$-gonal biembeddings of $K_v$, where $H(\cdot)$ is the binary entropy. Moreover about the embeddings of $K_{\frac{v}{t}\times t}$, for $t\in\{1,2,k\}$, we provide a construction of $2^{v\cdot \frac{H(1/4)}{2k(k-1)}+o(v,k)}$ non-isomorphic $k$-gonal biembeddings whenever $k$ is odd and $v$ belongs to a wide infinite family of values.

In this note, we examine how the BKP structure of the generating series of several models of maps on non-oriented surfaces can be used to obtain explicit and/or efficient recurrence formulas for their enumeration according to the genus and size parameters. Using techniques already known in the orientable case (elimination of variables via Virasoro constraints or Tutte equations), we naturally obtain recurrence formulas with non-polynomial coefficients. This non-polynomiality reflects the presence of shifts of the charge parameter in the BKP equation. Nevertheless, we show that it is possible to obtain non-shifted versions, meaning pure ODEs for the associated generating functions, from which recurrence relations with polynomial coefficients can be extracted. We treat the cases of triangulations, general maps, and bipartite maps. These recurrences with polynomial coefficients are conceptually interesting but bigger to write than those with non-polynomial coefficients. However they are relatively nice-looking in the case of one-face maps. In particular we show that Ledoux's recurrence for non-oriented one-face maps can be recovered in this way, and we obtain the analogous statement for the (bivariate) bipartite case.

A directed graph is semi-transitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$ exist for $1 \leq i < j \leq t$. Recognizing semi-transitive orientability of a graph is an NP-complete problem. A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. Semi-transitive orientability of spit graphs was recently studied in the literature. The main result in this paper is proving that recognition of semi-transitive orientability of split graphs can be done in a polynomial time. We also characterize, in terms of minimal forbidden induced subgraphs, semi-transitively orientable split graphs with the size of the independent set at most 3, hence extending the known classification of such graphs with the size of the clique at most 5.

We introduce an $n$-dimensional analogue of the construction of tessellated surfaces from finite groups first described by Herman and Pakianathan. Our construction is functorial and associates to each $n$-ary alternating quasigroup both a smooth, flat Riemannian $n$-manifold which we dub the open serenation of the quasigroup in question, as well as a topological $n$-manifold (the serenation of the quasigroup) which is a subspace of the metric completion of the open serenation. We prove that every connected orientable smooth manifold is serene, in the sense that each such manifold is a component of the serenation of some quasigroup. We prove some basic results about the variety of alternating $n$-quasigroups and note connections between our construction, Latin hypercubes, and Johnson graphs.

We present an edge labeling of order-$k$ Voronoi diagrams, $V_k(S)$, of point sets $S$ in the plane, and study properties of the regions defined by them. Among them, we show that $V_k(S)$ has a small orientable cycle and path double cover, and we identify configurations that cannot appear in $V_k(S)$ for small values of $k$. This paper also contains a systematic study of well-known and new properties of $V_k(S)$, all whose proofs only rely on elementary geometric arguments in the plane. The maybe most comprehensive study of structural properties of $V_k(S)$ was done by D.T. Lee (On k-nearest neighbor Voronoi diagrams in the plane) in 1982. Our work reviews and extends the list of properties of higher order Voronoi diagrams.

The Goldberg-Seymour Conjecture for $f$-colorings states that the $f$-chromatic index of a loopless multigraph is essentially determined by either a maximum degree or a maximum density parameter. We introduce an oriented version of $f$-colorings, where now each color class of the edge-coloring is required to be orientable in such a way that every vertex $v$ has indegree and outdegree at most some specified values $g(v)$ and $h(v)$. We prove that the associated $(g,h)$-oriented chromatic index satisfies a Goldberg-Seymour formula. We then present simple applications of this result to variations of $f$-colorings. In particular, we show that the Linear Arboricity Conjecture holds for $k$-degenerate loopless multigraphs when the maximum degree is at least $4k-2$, improving a bound recently announced by Chen, Hao, and Yu for simple graphs. Finally, we demonstrate that the $(g,h)$-oriented chromatic index is always equal to its list coloring analogue.