arXiv++ Combinatorics

Gross, Mansour and Tucker introduced the partial-dual orientable genus polynomial and the partial-dual Euler genus polynomial. They showed that the partial-dual genus polynomial for an orientable ribbon graph is interpolating and gave an analogous conjecture: The partial-dual Euler-genus polynomial for any non-orientable ribbon graph is interpolating. In this paper, we first give some counterexamples to the conjecture. Then motivated by these counterexamples, we further find two infinite classes of counterexamples.

We propose to imagine that every Riemannian metric on a surface is discrete at the small scale, made of curves called walls. The length of a curve is its number of wall crossings, and the area of the surface is the number of crossings of the walls themselves. We show how to approximate a Riemannian (or self-reverse Finsler) metric by a wallsystem. This work is motivated by Gromov's filling area conjecture (FAC) that the hemisphere minimizes area among orientable Riemannian surfaces that fill a circle isometrically. We introduce a discrete FAC: every square-celled surface that fills isometrically a $2n$-cycle graph has at least $n(n-1)/2$ squares. We prove that our discrete FAC is equivalent to the FAC for surfaces with self-reverse metric. If the surface is a disk, the discrete FAC follows from Steinitz's algorithm for transforming curves into pseudolines. This gives a new proof of the FAC for disks with self-reverse metric. We also imitate Ivanov's proof of the same fact, using discrete differential forms. And we prove that the FAC holds for Möbius bands with self-reverse metric. For this we use a combinatorial curve shortening flow developed by de Graaf--Schrijver and Hass--Scott. With the same method we prove the systolic inequality for Klein bottles with self-reverse metric, conjectured by Sabourau--Yassine. Self-reverse metrics can be discretized using walls because every normed plane satisfies Crofton's formula: the length of every segment equals the symplectic measure of the set of lines that it crosses. Directed 2-dimensional metrics have no Crofton formula, but can be discretized as well. Their discretization is a triangulation where the length of each edge is 1 in one way and 0 in the other, and the area of the surface is the number of triangles. This structure is a simplicial set, dual to a plabic graph. The role of the walls is played by Postnikov's strands.

By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which preserves the vertex-edge-face incidences in the embedding. When the underlying surface is orientable, every automorphism of a map determines an angle-preserving homeomorphism of the surface. While it is conjectured that there is no "truly subquadratic" algorithm for testing map isomorphism for unconstrained genus, we present a linear-time algorithm for computing the generators of the automorphism group of a map, parametrized by the genus of the underlying surface. The algorithm applies a sequence of local reductions and produces a uniform map, while preserving the automorphism group. The automorphism group of the original map can be reconstructed from the automorphism group of the uniform map in linear time. We also extend the algorithm to non-orientable surfaces by making use of the antipodal double-cover.

In 2011 Musiker, Schiffler and Williams obtained expansion formulae for cluster algebras from orientable surfaces. For singly and doubly notched arcs these formulae required the notion of $γ$-symmetric perfect matchings and $γ$-compatible pairs of $γ$-symmetric perfect matchings, respectively. We simplify and unify these approaches by considering good matchings of loop graphs.

We say that a digraph $D$ is competitive if any pair of vertices has a common out-neighbor in $D$ and that a graph $G$ is competitively orientable if there exists a competitive orientation of $G$. The notion of competitive digraphs arose while studying digraph whose competition graphs are complete. We derive some useful properties of competitively orientable graphs and show that a complete graph of order $n$ is competitively orientable if and only if $n \geq 7$. Then we completely characterize a competitively orientable complete multipartite graph in terms of the sizes of its partite sets. Moreover, we present a way to build a competitive multipartite tournament in each of competitively orientable cases.

Treewidth is an important graph invariant, relevant for both structural and algorithmic reasons. A necessary condition for a graph class to have bounded treewidth is the absence of large cliques. We study graph classes closed under taking induced subgraphs in which this condition is also sufficient, which we call $(tw,ω)$-bounded. Such graph classes are known to have useful algorithmic applications related to variants of the clique and $k$-coloring problems. We consider six well-known graph containment relations: the minor, topological minor, subgraph, induced minor, induced topological minor, and induced subgraph relations. For each of them, we give a complete characterization of the graphs $H$ for which the class of graphs excluding $H$ is $(tw,ω)$-bounded. Our results yield an infinite family of $χ$-bounded induced-minor-closed graph classes and imply that the class of $1$-perfectly orientable graphs is $(tw,ω)$-bounded, leading to linear-time algorithms for $k$-coloring $1$-perfectly orientable graphs for every fixed~$k$. This answers a question of Bre\v sar, Hartinger, Kos, and Milani{\v c} from 2018 and one of Beisegel, Chudnovsky, Gurvich, Milani{\v c}, and Servatius from 2019, respectively. We also reveal some further algorithmic implications of $(tw,ω)$-boundedness related to list $k$-coloring and clique problems. In addition, we propose a question about the complexity of the maximum weight independent set problem in $(tw,ω)$-bounded graph classes and prove that the problem is polynomial-time solvable in every class of graphs excluding a fixed star as an induced minor.

We extend the duality between acyclic orientations and totally cyclic orientations on planar graphs to dualities on graphs on orientable surfaces by introducing boundary acyclic orientations and totally bi-walkable orientations. In addition, we provide a reciprocity theorem connecting local tensions and boundary acyclic orientations. Furthermore, we define the balanced flow polynomial which is connected with tension polynomial by duality and with totally bi-walkable orientations by reciprocity.

Gross, Mansour and Tucker introduced the partial-dual orientable genus polynomial and the partial-dual Euler genus polynomial. They computed these two partial-dual genus polynomials of four families of ribbon graphs, posed some research problems and made some conjectures. In this paper, we introduce the notion of signed sequences of bouquets and obtain the partial-dual Euler genus polynomials for all ribbon graphs with the number of edges less than 4 and the partial-dual orientable genus polynomials for all orientable ribbon graphs with the number of edges less than 5 in terms of signed sequences. We check all the conjectures and find a counterexample to the Conjecture 3.1 in their paper: There is no orientable ribbon graph having a non-constant partial-dual genus polynomial with only one non-zero coefficient. Motivated by this counterexample, we further find an infinite family of counterexamples to the conjecture. Moreover, we find a counterexample to the Conjecture 5.3 in their paper: The partial-dual Euler-genus polynomial for any non-orientable ribbon graph is interpolating.

We introduce a one-parameter deformation of the 2-Toda tau-function of (weighted) Hurwitz numbers, obtained by deforming Schur functions into Jack symmetric functions. We show that its coefficients are polynomials in the deformation parameter $b$ with nonnegative integer coefficients. These coefficients count generalized branched coverings of the sphere by an arbitrary surface, orientable or not, with an appropriate $b$-weighting that "measures" in some sense their non-orientability. Notable special cases include non-orientable dessins d'enfants for which we prove the most general result so far towards the Matching-Jack conjecture and the "$b$-conjecture" of Goulden and Jackson from 1996, expansions of the $β$-ensemble matrix model, deformations of the HCIZ integral, and $b$-Hurwitz numbers that we introduce here and that are $b$-deformations of classical (single or double) Hurwitz numbers obtained for $b=0$. A key role in our proof is played by a combinatorial model of non-orientable constellations equipped with a suitable $b$-weighting, whose partition function satisfies an infinite set of PDEs. These PDEs have two definitions, one given by Lax equations, the other one following an explicit combinatorial decomposition.

Delta-matroid theory is often thought of as a generalization of topological graph theory. It is well-known that an orientable embedded graph is bipartite if and only if its Petrie dual is orientable. In this paper, we first introduce the concepts of Eulerian and bipartite delta-matroids and then extend the result from embedded graphs to arbitrary binary delta-matroids. The dual of any bipartite embedded graph is Eulerian. We also extend the result from embedded graphs to the class of delta-matroids that arise as twists of binary matroids. Several related results are also obtained.

We construct an explicit bijection between bipartite pointed maps of an arbitrary surface $\mathbb{S}$, and specific unicellular blossoming maps of the same surface. Our bijection gives access to the degrees of all the faces, and distances from the pointed vertex in the initial map. The main construction generalizes recent work of the second author which covered the case of an orientable surface. Our bijection gives rise to a first combinatorial proof of a parametric rationality result concerning the bivariate generating series of maps of a given surface with respect to their numbers of faces and vertices. In particular, it provides a combinatorial explanation of the structural difference between the aforementioned bivariate parametric generating series in the case of orientable and non-orientable maps.

A Hamiltonian embedding is an embedding of a graph $G$ such that the boundary of each face is a Hamiltonian cycle of $G$. It is shown that the hypercube graph $Q_n$ admits such an embedding on an orientable surface when $n$ is a power of 2. Basic necessary conditions on Hamiltonian embeddings for $Q_n$ and conjectures are made about other values of $n$.

We generalise the expansion formulae of Musiker, Schiffler and Williams, obtained for cluster algebras from orientable surfaces, to a larger class of coefficients which we call principal laminations. In doing so, for any quasi-cluster algebra from a non-orientable surface, we are able to obtain expansion formulae for each cluster variable with respect to any initial quasi-triangulation $T$, and any choice of principal lamination. Moreover, generalising the `separation of additions' formula of Fomin and Zelevinsky, we settle a conjecture of Lam and Pylyavskyy in the setting of quasi-cluster algebras. Namely, we prove the positivity conjecture for quasi-cluster algebras with respect to any choice of coefficients.

Let a compact torus $T=T^{n-1}$ act on an orientable smooth compact manifold $X=X^{2n}$ effectively, with nonempty finite set of fixed points, and suppose that stabilizers of all points are connected. If $H^{odd}(X)=0$ and the weights of tangent representation at each fixed point are in general position, we prove that the orbit space $Q=X/T$ is a homology $(n+1)$-sphere. If, in addition, $π_1(X)=0$, then $Q$ is homeomorphic to $S^{n+1}$. We introduce the notion of $j$-generality of tangent weights of torus action. For any action of $T^k$ on $X^{2n}$ with isolated fixed points and $H^{odd}(X)=0$, we prove that $j$-generality of weights implies $(j+1)$-acyclicity of the orbit space $Q$. This statement generalizes several known results for actions of complexity zero and one. In complexity one, we give a criterion of equivariant formality in terms of the orbit space. In this case, we give a formula expressing Betti numbers of a manifold in terms of certain combinatorial structure that sits in the orbit space.

Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.

Let $D$ be a directed graph cellularly embedded in a surface together with non-negative cost on its arcs. Given any integer circulation in $D$, we study the problem of finding a minimum-cost non-negative integer circulation in $D$ that is homologous over the integers to the given circulation. A special case of this problem arises in recent work on the stable set problem for graphs with bounded odd cycle packing number, in which the surface is non-orientable (Conforti et al., SODA'20). For orientable surfaces, polynomial-time algorithms have been obtained for different variants of this problem. We complement these results by showing that the convex hull of feasible solutions has a very simple polyhedral description. In contrast, only little seems to be known about the case of non-orientable surfaces. We show that the problem is strongly NP-hard for general non-orientable surfaces, and give the first polynomial-time algorithm for surfaces of fixed genus. For the latter, we provide a characterization of homology (over the integers) that allows us to recast the problem as a special integer program, which can be efficiently solved using proximity results and dynamic programming.

A collection $ Δ$ of simple closed curves on an orientable surface is an algebraic $ k $-system if the algebraic intersection number $\langle α,β\rangle$ is equal to $k $ in absolute value for every $ α, β\in Δ$ distinct. Generalizing a theorem of [MRT14] we compute that the maximum size of an algebraic $k$-system of curves on a surface of genus $g$ is $2g+1$ when $g\ge 3$ or $k$ is odd, and $2g$ otherwise. To illustrate the tightness in our assumptions, we present a construction of curves pairwise geometrically intersecting twice whose size grows as $g^2$.

It is proved that for any prescribed orientation of the triples of either a Steiner triple system or a Latin square of odd order, there exists an embedding in an orientable surface with the triples forming triangular faces and one extra large face.

We study edge-maximal, non-complete graphs on surfaces that do not triangulate the surface. We prove that there is no such graph on the projective plane $\mathbb{N}_1$, $K_7-e$ is the unique such graph on the Klein bottle $\mathbb{N}_2$ and $K_8-E(C_5)$ is the unique such graph on the torus $\mathbb{S}_1$. In contrast to this for each $g\ge 2$ we construct an infinite family of such graphs on the orientable surface $\mathbb{S}_g$ of genus $g$, that are $\lfloor \frac{g}{2} \rfloor$ edges short of a triangulation.

A graph G is prismatic if for every triangle T of G, every vertex of G not in T has a unique neighbour in T. The complement of a prismatic graph is called \emph{antiprismatic}. The complexity of colouring antiprismatic graphs is still unknown. Equivalently, the complexity of the clique cover problem in prismatic graphs is not known. Chudnovsky and Seymour gave a full structural description of prismatic graphs. They showed that the class can be divided into two subclasses: the orientable prismatic graphs, and the non-orientable prismatic graphs. We give a polynomial time algorithm that solves the clique cover problem in every non-orientable prismatic graph. It relies on the the structural description and on later work of Javadi and Hajebi. We give a polynomial time algorithm which solves the vertex-disjoint triangles problem for every prismatic graph. It does not rely on the structural description.