arXiv++ Combinatorics

In this paper we consider the enumeration of orientable and non-orientable chord diagrams. We show that this enumeration is encoded in appropriate expectation values of the $β$-deformed Gaussian and RNA matrix models. We evaluate these expectation values by means of the $β$-deformed topological recursion, and - independently - using properties of quantum curves. We show that both these methods provide efficient and systematic algorithms for counting of chord diagrams with a given genus, number of backbones and number of chords.

Each finite and connected bipartite graph induces a finite collection of non-isomorphic dessins d'enfants, that is, $2$-cell embeddings of it into some closed orientable surface. We describe an algorithm to compute all these dessins d'enfants, together their automorphims group, monodromy group and duality type.

We follow the example of Tutte in his construction of the dichromate of a graph (that is, the Tutte polynomial) as a unification of the chromatic polynomial and the flow polynomial in order to construct a new polynomial invariant of maps (graphs embedded in orientable surfaces). We call this the surface Tutte polynomial. The surface Tutte polynomial of a map contains the Las Vergnas polynomial, Bollobás-Riordan polynomial and Kruskhal polynomial as specializations. By construction, the surface Tutte polynomial includes among its evaluations the number of local tensions and local flows taking values in any given finite group. Other evaluations include the number of quasi-forests.

Franco, Galloni, Penante, and Wen have proposed a boundary measurement map for a graph on any closed orientable surface with boundary. We consider this boundary measurement map which takes as input an edge weighted directed graph embedded on a surface and produces on element of a Grassmannian. Computing the boundary measurement requires a choice of fundamental domain. Here the boundary measurement map is shown to be independent of the choice of fundamental domain Also, a formula for the Plücker coordinates of the element of Grassmannian in the image of the boundary measurement map is given. The formula expresses the Plücker coordinates as a rational function which can be combinatorially described in terms of paths and cycles in the directed graph.

A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an additional assumption that all proper links of these triangulations have the weak Lefschetz property. As a corollary, we show that if $Δ$ is an arbitrary balanced triangulation of any closed homology manifold of dimension $d-1 \geq 3$, then $2h_2(Δ) - (d-1)h_1(Δ) \geq 4{d \choose 2}(\tildeβ_1(Δ)-\tildeβ_0(Δ))$, thus verifying a conjecture by Klee and Novik. To prove these results we develop the theory of flag $h''$-vectors.

It was shown by Fomin, Shapiro and Thurston that some cluster algebras arise from orientable surfaces. Subsequently, Dupont and Palesi extended this construction to non-orientable surfaces. We link this framework to Lam and Pylyavskyy's Laurent phenomenon algebras, showing that both orientable and non-orientable unpunctured marked surfaces have an associated LP-algebra.

The cop number of a graph $G$ is the smallest $k$ such that $k$ cops win the game of cops and robber on $G$. We investigate the maximum cop number of geometric intersection graphs, which are graphs whose vertices are represented by geometric shapes and edges by their intersections. We establish the following dichotomy for previously studied classes of intersection graphs: The intersection graphs of arc-connected sets in the plane (called string graphs) have cop number at most 15, and more generally, the intersection graphs of arc-connected subsets of a surface have cop number at most $10g+15$ in case of orientable surface of genus $g$, and at most $10g'+15$ in case of non-orientable surface of Euler genus $g'$. For more restricted classes of intersection graphs, we obtain better bounds: the maximum cop number of interval filament graphs is two, and the maximum cop number of outer-string graphs is between 3 and 4. The intersection graphs of disconnected 2-dimensional sets or of 3-dimensional sets have unbounded cop number even in very restricted settings. For instance, we show that the cop number is unbounded on intersection graphs of two-element subsets of a line, as well as on intersection graphs of 3-dimensional unit balls, of 3-dimensional unit cubes or of 3-dimensional axis-aligned unit segments.

Hartsfield and Ringel constructed orientable quadrangular embeddings of the complete graph $K_n$ for $n\equiv 5 \pmod 8$, and nonorientable ones for $n \ge 9$ and $n\equiv 1 \pmod 4$. These provide minimal quadrangulations of their underlying surfaces. We extend these results to determine, for every complete graph $K_n$, $n \ge 4$, the minimum genus, both orientable and nonorientable, for the surface in which $K_n$ has an embedding with all faces of degree at least $4$, and also for the surface in which $K_n$ has an embedding with all faces of even degree. These last embeddings provide sharpness examples for a result of Hutchinson bounding the chromatic number of graphs embedded with all faces of even degree, completing the proof of the Even Map Color Theorem. We also show that if a connected simple graph $G$ has a perfect matching and a cycle then the lexicographic product $G[K_4]$ has orientable and nonorientable quadrangular embeddings; this provides new examples of minimal quadrangulations.

For each of the 14 classes of edge-transitive maps described by Graver and Watkins, necessary and sufficient conditions are given for a group to be the automorphism group of a map, or of an orientable map without boundary, in that class. Extending earlier results of Siran, Tucker and Watkins, these are used to determine which symmetric groups $S_n$ can arise in this way for each class. Similar results are obtained for all finite simple groups, building on work of Leemans and Liebeck, Nuzhin and others on generating sets for such groups. It is also shown that each edge-transitive class realises finite groups of every sufficiently large nilpotence class or derived length, and also realises uncountably many non-isomorphic infinite groups. Edge-transitive embeddings of complete graphs are classified, and there is a detailed discussion of edge-transitive maps with boundary.

A doubly group-labeled graph is an oriented graph with its edges labeled by elements of the direct sum of two groups $Γ_1,Γ_2$. A cycle in a doubly group-labeled graph is $(Γ_1,Γ_2)$-non-zero if it is non-zero in both coordinates. Our main result is a generalization of the Flat Wall Theorem of Robertson and Seymour to doubly group-labeled graphs. As an application, we determine all canonical obstructions to the Erdős-Pósa property for $(Γ_1,Γ_2)$-non-zero cycles in doubly group-labeled graphs. The obstructions imply that the half-integral Erdős-Pósa property always holds for $(Γ_1,Γ_2)$-non-zero cycles. Moreover, our approach gives a unified framework for proving packing results for constrained cycles in graphs. For example, as immediate corollaries we recover the Erdős-Pósa property for cycles and $S$-cycles and the half-integral Erdős-Pósa property for odd cycles and odd $S$-cycles. Furthermore, we recover Reed's Escher-wall Theorem. We also prove many new packing results as immediate corollaries. For example, we show that the half-integral Erdős-Pósa property holds for cycles not homologous to zero, odd cycles not homologous to zero, and $S$-cycles not homologous to zero. Moreover, the (full) Erdős-Pósa property holds for $S_1$-$S_2$-cycles and cycles not homologous to zero on an orientable surface. Finally, we also describe the canonical obstructions to the Erdős-Pósa property for cycles not homologous to zero and for odd $S$-cycles.

Let $G$ be a quadrangulation on an orientable surface and let $g$ be a proper vertex-$4$-coloring of $G$. A face $F$ of $G$ is said to be a rainbow-face if all four distinct colors appear on its boundary. A $(c_1,c_2,c_3,c_4)$-face in $G$ is a rainbow face with colors $c_i$, $i=1,2,3,4$ on the boundary in clockwise order. We show that the number of $(c_1,c_2,c_3,c_4)$-faces in $G$ equals the number of $(c_4,c_3,c_2,c_1)$-faces. This implies in particular that the number of rainbow-faces of $G$ is even.

A graph $G$ is said to be $1$-perfectly orientable if it has an orientation such that for every vertex $v\in V(G)$, the out-neighborhood of $v$ in $D$ is a clique in $G$. In $1982$, Skrien posed the problem of characterizing the class of $1$-perfectly orientable graphs. This graph class forms a common generalization of the classes of chordal and circular arc graphs; however, while polynomially recognizable via a reduction to $2$-SAT, no structural characterization of this intriguing class of graphs is known. Based on a reduction of the study of $1$-perfectly orientable graphs to the biconnected case, we characterize, both in terms of forbidden induced minors and in terms of composition theorems, the classes of $1$-perfectly orientable $K_4$-minor-free graphs and of $1$-perfectly orientable outerplanar graphs. As part of our approach, we introduce a class of graphs defined similarly as the class of $2$-trees and relate the classes of graphs under consideration to two other graph classes closed under induced minors studied in the literature: cyclically orientable graphs and graphs of separability at most~$2$.

Goulden and Jackson (1996) introduced, using Jack symmetric functions, some multivariate generating series $ψ(x, y, z; 1, 1+β)$ with an additional parameter $β$ that may be interpreted as a continuous deformation of the rooted bipartite maps generating series. Indeed, it has the property that for $β\in \{0,1\}$, it specializes to the rooted, orientable (general, i.e. orientable or not, respectively) bipartite maps generating series. They made the following conjecture: coefficients of $ψ$ are polynomials in $β$ with positive integer coefficients that can be written as a multivariate generating series of rooted, general bipartite maps, where the exponent of $β$ is an integer-valued statistic that in some sense "measures the non-orientability" of the corresponding bipartite map. We show that except for two special values of $β= 0,1$ for which the combinatorial interpretation of the coefficients of $ψ$ is known, there exists a third special value $β= -1$ for which the coefficients of $ψ$ indexed by two partitions $μ,ν$, and one partition with only one part are given by rooted, orientable bipartite maps with arbitrary face degrees and black/white vertex degrees given by $μ$/$ν$, respectively. We show that this evaluation corresponds, up to a sign, to a top-degree part of the coefficients of $ψ$. As a consequence, we introduce a collection of integer-valued statistics of maps $(η)$ such that the top-degree of the multivariate generating series of rooted bipartite maps with only one face (called unicellular) with respect to $η$ gives the top-degree of the appropriate coefficients of $ψ$. Finally, we show that the $b$-conjecture holds true for all rooted, unicellular bipartite maps of genus at most $2$.

Topological triangulations of orientable and non-orientable surfaces with arbitrary genus have important applications in quantum geometry, graph theory and statistical physics. However, until now only the asymptotics for 2-spheres are known analytically, and exact counts of triangulations are only available for both small genus and small triangulations. We apply the Wang-Landau algorithm to calculate the number $N(m,h)$ of triangulations for several order of magnitudes in system size $m$ and genus $h$. We verify that the limit of the entropy density of triangulations is independent of genus and orientability and are able to determine the next-to-leading and the next-to-next-to-leading order terms. We conjecture for the number of surface triangulations the asymptotic behavior \begin{equation*} N(m,h) \rightarrow (170.4 \pm 15.1)^h m^{-2(h - 1)/5} \left( \frac{256}{27} \right)^{m / 2}\;, \end{equation*} what might guide a mathematicians proof for the exact asymptotics.

Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We show that the number of vertex-labelled cubic multigraphs embeddable on $\mathbb{S}_g$ with $2n$ vertices is asymptotically $c_g n^{5(g-1)/2-1}γ^{2n}(2n)!$, where $γ$ is an algebraic constant and $c_g$ is a constant depending only on the genus $g$. We also derive an analogous result for simple cubic graphs and weighted cubic multigraphs. Additionally we prove that a typical cubic multigraph embeddable on $\mathbb{S}_g$, $g\ge 1$, has exactly one non-planar component.

Let $Δ$ be a triangulated homology ball whose boundary complex is $\partialΔ$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Δ$, $\mathbb F[Δ]$, is isomorphic to the Stanley--Reisner module of the pair $(Δ, \partialΔ)$, $\mathbb F[Δ,\partial Δ]$. This result implies that an Artinian reduction of $\mathbb F[Δ,\partial Δ]$ is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of $\mathbb F[Δ]$. We establish a generalization of this duality to all triangulations of connected orientable homology manifolds with boundary. We also provide an explicit algebraic interpretation of the $h"$-numbers of Buchsbaum complexes and use it to prove the monotonicity of $h"$-numbers for pairs of Buchsbaum complexes as well as the unimodality of $h"$-vectors of barycentric subdivisions of Buchsbaum polyhedral complexes. We close with applications to the algebraic manifold $g$-conjecture.

The classical theorem of Fáry states that every planar graph can be represented by an embedding in which every edge is represented by a straight line segment. We consider generalizations of Fáry's theorem to surfaces equipped with Riemannian metrics. In this setting, we require that every edge is drawn as a shortest path between its two endpoints and we call an embedding with this property a shortest path embedding. The main question addressed in this paper is whether given a closed surface S, there exists a Riemannian metric for which every topologically embeddable graph admits a shortest path embedding. This question is also motivated by various problems regarding crossing numbers on surfaces. We observe that the round metrics on the sphere and the projective plane have this property. We provide flat metrics on the torus and the Klein bottle which also have this property. Then we show that for the unit square flat metric on the Klein bottle there exists a graph without shortest path embeddings. We show, moreover, that for large g, there exist graphs G embeddable into the orientable surface of genus g, such that with large probability a random hyperbolic metric does not admit a shortest path embedding of G, where the probability measure is proportional to the Weil-Petersson volume on moduli space. Finally, we construct a hyperbolic metric on every orientable surface S of genus g, such that every graph embeddable into S can be embedded so that every edge is a concatenation of at most O(g) shortest paths.

Computing the reversal distances of signed permutations is an important topic in Bioinformatics. Recently, a new lower bound for the reversal distance was obtained via the plane permutation framework. This lower bound appears different from the existing lower bound obtained by Bafna and Pevzner through breakpoint graphs. In this paper, we prove that the two lower bounds are equal. Moreover, we confirm a related conjecture on skew-symmetric plane permutations, which can be restated as follows: let $p=(0,-1,-2,\ldots -n,n,n-1,\ldots 1)$ and let $$ \tilde{s}=(0,a_1,a_2,\ldots a_n,-a_n,-a_{n-1},\ldots -a_1) $$ be any long cycle on the set $\{-n,-n+1,\ldots 0,1,\ldots n\}$. Then, $n$ and $a_n$ are always in the same cycle of the product $p\tilde{s}$. Furthermore, we show the new lower bound via plane permutations can be interpreted as the topological genera of orientable surfaces associated to signed permutations.

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 $ε$ of the graph $G$ and a vertex of $G$, how many different ways of reembedding the vertex such that the resulting embedding $ε'$ is of genus $g+Δg$? We give formulas to compute this quantity and the local minimal genus achieved by reembedding. In the process we obtain miscellaneous results. In particular, if there exists a one-face embedding of $G$, then the probability of a random embedding of $G$ to be one-face is at least $\prod_{ν\in V(G)}\frac{2}{deg(ν)+2}$, where $deg(ν)$ denotes the vertex degree of $ν$. Furthermore we obtain an easy-to-check necessary condition for a given embedding of $G$ to be an embedding of minimum genus.

For a field $\mathbb{F}$, the notion of $\mathbb{F}$-tightness of simplicial complexes was introduced by Kühnel. Kühnel and Lutz conjectured that any $\mathbb{F}$-tight triangulation of a closed manifold is the most economic of all possible triangulations of the manifold. The boundary of a triangle is the only $\mathbb{F}$-tight triangulation of a closed 1-manifold. A triangulation of a closed 2-manifold is $\mathbb{F}$-tight if and only if it is $\mathbb{F}$-orientable and neighbourly. In this paper we prove that a triangulation of a closed 3-manifold is $\mathbb{F}$-tight if and only if it is $\mathbb{F}$-orientable, neighbourly and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension $\leq 3$.