arXiv++ Combinatorics

This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from them. The unifying themes of our investigation are various `nonpositive curvature' and `local-to-global' properties and characterizations of weakly modular graphs and their subclasses. Weakly modular graphs have been introduced as a far-reaching common generalization of median graphs (and more generally, of modular and orientable modular graphs), Helly graphs, bridged graphs, and dual polar graphs occurring under different disguises in several seemingly-unrelated fields of mathematics: Metric graph theory, Geometric group theory, Incidence geometries and buildings, Theoretical computer science and combinatorial optimization. We give a local-to-global characterization of weakly modular graphs and their subclasses in terms of simple connectedness of associated triangle-square complexes and specific local combinatorial conditions. In particular, we revisit characterizations of dual polar graphs by Cameron and by Brouwer-Cohen. We also show that (disk-)Helly graphs are precisely the clique-Helly graphs with simply connected clique complexes. With $l_1$-embeddable weakly modular and sweakly modular graphs we associate high-dimensional cell complexes, having several strong topological and geometrical properties (contractibility and the CAT(0) property). Their cells have a specific structure: they are basis polyhedra of even $\triangle$-matroids in the first case and orthoscheme complexes of gated dual polar subgraphs in the second case. We resolve some open problems concerning subclasses of weakly modular graphs: we prove a Brady-McCammond conjecture about CAT(0) metric on the orthoscheme complexes of modular lattices; we answer Chastand's question about prime graphs for pre-median graphs.

We introduce partial duality of hypermaps, which include the classical Euler-Poincaré duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation system or $τ$-model), or as three permutations on the set of half-edges (rotation system or $σ$-model in orientable case), or as edge 3-coloured graphs. We express partial duality in each of these models. We give a formula for the genus change under partial duality.

Las Vergnas and Hamidoune studied the number of circuits needed to determine an oriented matroid. In this paper we investigate this problem and some new variants, as well as their interpretation in particular classes of matroids. We present general upper and lower bounds in the setting of general connected orientable matroids, leading to the study of subgraphs of the base graph and the intersection graph of circuits. We then consider the problem for uniform matroids which is closely related to the notion of (connected) covering numbers in Design Theory. Finally, we also devote special attention to regular matroids as well as some graphic and cographic matroids leading in particular to the topics of (connected) bond and cycle covers in Graph Theory.

We prove that every $k$-list-critical graph ($k \ge 7$) on $n \ge k+2$ vertices has at least $\frac12 \left(k-1 + \frac{k-3}{(k-c)(k-1) + k-3}\right)n$ edges where $c = (k-3)\left(\frac12 - \frac{1}{(k-1)(k-2)}\right)$. This improves the bound established by Kostochka and Stiebitz. The same bound holds for online $k$-list-critical graphs, improving the bound established by Riasat and Schauz. Both bounds follow from a more general result stating that either a graph has many edges or it has an Alon-Tarsi orientable induced subgraph satisfying a certain degree condition.

Using the pfaffian structure of the generating series for locally orientable maps, we show that the generating series satsifies a nonlinear differential equation called the BKP equation. Using this we are able to derive a cubic differential equation which is satisfied by the generating series for locally orientable triangulations. As a result, we prove a conjecture of Garoufalidis and Mariño concerning the constant $p_g$ which appears in asymptotic formulas for a variety of rooted maps on non-orientable surfaces. This allows one to determine the asymptotic expansion for $p_g$ up to an unknown Stokes constant.

The Carrell-Chapuy recurrence formulas dramatically improve the efficiency of counting orientable rooted maps by genus, either by number of edges alone or by number of edges and vertices. This paper presents an implementation of these formulas with three applications: the computation of an explicit rational expression for the ordinary generating functions of rooted map numbers with a given positive genus, the construction of large tables of rooted map numbers, and the use of these tables, together with the method of A. Mednykh and R. Nedela, to count unrooted maps by genus and number of edges and vertices.

Let $S_{g}$ denote the genus $g$ closed orientable surface. For $k\in \mathbb{N}$, a $k$-system is a collection of pairwise non-homotopic simple closed curves such that no two intersect more than $k$ times. Juvan-Malnič-Mohar \cite{Ju-Mal-Mo} showed that there exists a $k$-system on $S_{g}$ whose size is on the order of $g^{k/4}$. For each $k\geq 2$, We construct a $k$-system on $S_{g}$ with on the order of $g^{\lfloor (k+1)/2 \rfloor +1}$ elements. The $k$-systems we construct behave well with respect to subsurface inclusion, analogously to how a pants decomposition contains pants decompositions of lower complexity subsurfaces.

We establish a simple recurrence formula for the number $Q_g^n$ of rooted orientable maps counted by edges and genus. We also give a weighted variant for the generating polynomial $Q_g^n(x)$ where $x$ is a parameter taking the number of faces of the map into account, or equivalently a simple recurrence formula for the refined numbers $M_g^{i,j}$ that count maps by genus, vertices, and faces. These formulas give by far the fastest known way of computing these numbers, or the fixed-genus generating functions, especially for large $g$. In the very particular case of one-face maps, we recover the Harer-Zagier recurrence formula. Our main formula is a consequence of the KP equation for the generating function of bipartite maps, coupled with a Tutte equation, and it was apparently unnoticed before. It is similar in look to the one discovered by Goulden and Jackson for triangulations, and indeed our method to go from the KP equation to the recurrence formula can be seen as a combinatorial simplification of Goulden and Jackson's approach (together with one additional combinatorial trick). All these formulas have a very combinatorial flavour, but finding a bijective interpretation is currently unsolved.

We show existence of centrally symmetric maps on surfaces all of whose faces are quadrangles and pentagons for each orientable genus $g \geq 0$. We also show existence of centrally symmetric maps on surfaces all of whose faces are hexagons for each orientable genus $g = 2k-1$, $k\in \mathbb{N}$. We enumerate centrally symmetric triangulated manifolds of dimensions 2 and 3 with few vertices.

We develop a new framework for investigating linear equivalence of divisors on graphs using a generalization of Gioan's cycle--cocycle reversal system for partial orientations. An oriented version of Dhar's burning algorithm is introduced and employed in the study of acyclicity for partial orientations. We then show that the Baker--Norine rank of a partially orientable divisor is one less than the minimum number of directed paths which need to be reversed in the generalized cycle--cocycle reversal system to produce an acyclic partial orientation. These results are applied in providing new proofs of the Riemann--Roch theorem for graphs as well as Luo's topological characterization of rank-determining sets. We prove that the max-flow min-cut theorem is equivalent to the Euler characteristic description of orientable divisors and extend this characterization to the setting of partial orientations. Furthermore, we demonstrate that $Pic^{g-1}(G)$ is canonically isomorphic as a $Pic^{0}(G)$-torsor to the equivalence classes of full orientations in the cycle--cocycle reversal system acted on by directed path reversals. Efficient algorithms for computing break divisors and constructing partial orientations are presented.

A well known theorem due to Kasteleyn states that the partition function of an Ising model on an arbitrary planar graph can be represented as the Pfaffian of a skew-symmetric matrix associated to the graph. This results both embodies the free fermionic nature of any planar Ising model and eventually gives an effective way of computing its partition functions in closed form. An extension of this result to non planar models expresses the partition function as a sum of Pfaffians which number is related to the genus of the oriented surface on which the graph can be embedded. In graph theory, McLane's theorem (1937) gives a characterization of planarity as a property of the cycle space of a graph, and recently, Diestel et al. (2009) extended this approach to embeddings in arbitrary surfaces. Here we show that McLane's approach naturally leads to Kasteleyn's results: McLane characterization of planar graphs is just what is needed to turn an Ising partition function into a Pfaffian. Using this approach, we prove that the Ising partition function on an arbitrary non planar graph can be written as \emph{the real part}of the Pfaffian of a single matrix with coefficients taken in a multicomplex algebra $\C_{\tilde g}$, where $\tilde g$ is the non-orientable genus, or crosscap number, of the embedding surface. Known representations as sums of Pfaffians follow from this result. In particular, Kasteleyn's result which involves $4^g$ matrices with real coefficients, $g$ orientable genus, is also recovered through some algebraic reduction.

This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of nonorientable surfaces into which such graphs may be embedded. In a previous paper by the authors, the problem of calculating whether a given *-graph in which all vertices have degree 4 or 6 admits a Z2-homologically trivial embedding into a given orientable surface was shown to be equivalent to a problem on matrices. Here we extend those results to nonorientable surfaces. The embeddability condition that we obtain yields quadratic-time algorithms to determine whether a *-graph with all vertices of degree 4 or 6 admits a Z2-homologically trivial embedding into the projective plane or into the Klein bottle.

A graph $G$ is equimatchable if any matching in $G$ is a subset of a maximum-size matching. It is known that any $2$-connected equimatchable graph is either bipartite or factor-critical. We prove that for any vertex $v$ of a $2$-connected factor-critical equimatchable graph $G$ and a minimal matching $M$ that isolates $v$ the graph $G\setminus(M\cup\{ v\})$ is either $K_{2n}$ or $K_{n,n}$ for some $n$. We use this result to improve the upper bounds on the maximum size of $2$-connected equimatchable factor-critical graphs embeddable in the orientable surface of genus $g$ to $4\sqrt g+17$ if $g\le 2$ and to $12\sqrt g+5$ if $g\ge 3$. Moreover, for any nonnegative integer $g$ we construct a $2$-connected equimatchable factor-critical graph with genus $g$ and more than $4\sqrt{2g}$ vertices, which establishes that the maximum size of such graphs is $Θ(\sqrt g)$. Similar bounds are obtained also for nonorientable surfaces. Finally, for any nonnegative integers $g$, $h$ and $k$ we provide a construction of arbitrarily large $2$-connected equimatchable bipartite graphs with orientable genus $g$, respectively nonorientable genus $h$, and a genus embedding with face-width $k$.

Let $S_{g}$ denote the closed orientable surface of genus $g$. We construct exponentially many mapping class group orbits of pairs of simple closed curves which fill $S_{g}$ and intersect minimally, by showing that such orbits are in correspondence with the solutions of a certain permutation equation in the symmetric group. Next, we demonstrate that minimally intersecting filling pairs are combinatorially optimal, in the sense that there are many simple closed curves intersecting the pair exactly once. We conclude by initiating the study of a topological Morse function $\mathcal{F}_{g}$ over the Moduli space of Riemann surfaces of genus $g$, which, given a hyperbolic metric $σ$, outputs the length of the shortest, minimally intersecting filling pair for the metric $σ$. We completely characterize the global minima of $\mathcal{F}_{g}$, and using the exponentially many mapping class group orbits of minimally intersecting filling pairs that we construct in the first portion of the paper, we show that the number of such minima grow at least exponentially in $g$.

This paper is devoted to the distribution of the eigenvalues of $XUYU^t$ where $X$ and $Y$ are given symmetric matrices and $U$ is a random real valued square matrix of standard normal distribution. More specifically we look at its moments, i.e. the mathematical expectation of the trace of $(XUYU^t)^n$ for arbitrary integer $n$. Hanlon, Stanley, Stembridge (1992) showed that this quantity can be expressed in terms of some generating series for the connection coefficients of the double cosets of the hyperoctahedral group with the eigenvalues of $X$ and $Y$ as indeterminate. We provide an explicit evaluation of these series in terms of monomial symmetric functions. Our development relies on an interpretation of the connection coefficients in terms of locally orientable hypermaps and a new bijective construction between partitioned locally orientable hypermaps and some decorated forests. As a corollary we provide a simple explicit evaluation of the moments of $XUYU^*$ when $U$ is complex valued and $X$ and $Y$ are given hermitian matrices.

The study of nowhere-zero flows began with a key observation of Tutte that in planar graphs, nowhere-zero k-flows are dual to k-colourings (in the form of k-tensions). Tutte conjectured that every graph without a cut-edge has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow. For a graph embedded in an orientable surface of higher genus, flows are not dual to colourings, but to local-tensions. By Seymour's theorem, every graph on an orientable surface without the obvious obstruction has a nowhere-zero 6-local-tension. Bouchet conjectured that the same should hold true on non-orientable surfaces. Equivalently, Bouchet conjectured that every bidirected graph with a nowhere-zero $\mathbb{Z}$-flow has a nowhere-zero 6-flow. Our main result establishes that every such graph has a nowhere-zero 12-flow.

We explore the well-known Jaeger's directed cycle double cover conjecture which is equivalent to the assertion that every cubic bridgeless graph has an embedding on a closed orientable surface with no dual loop. We associate each cubic graph G with a novel object H that we call a "hexagon graph"; perfect matchings of H describe all embeddings of G on closed orientable surfaces. The study of hexagon graphs leads us to define a new class of graphs that we call "lean fork-graphs". Fork graphs are cubic bridgeless graphs obtained from a triangle by sequentially connecting fork-type graphs and performing Y-Delta, Delta-Y transformations; lean fork-graphs are fork graphs fulfilling a connectivity property. We prove that Jaeger's conjecture holds for the class of lean fork-graphs. The class of lean fork-graphs is rich; namely, for each cubic bridgeless graph G there is a lean fork-graph containing a subdivision of G as an induced subgraph. Our results establish for the first time, to the best of our knowledge, the validity of Jaeger's conjecture in a broad inductively defined class of graphs.

In this paper we give tight upper bounds on the total domination number, the weakly connected domination number and the connected domination number of a graph in terms of order and Euler characteristic. We also present upper bounds for the restrained bondage number, the total restrained bondage number and the restricted edge connectivity of graphs in terms of the orientable/nonorientable genus and maximum degree.

This paper studies systems of polynomial equations that provide information about orientability of matroids. First, we study systems of linear equations over GF(2), originally alluded to by Bland and Jensen in their seminal paper on weak orientability. The Bland-Jensen linear equations for a matroid M have a solution if and only if M is weakly orientable. We use the Bland-Jensen system to determine weak orientability for all matroids on at most nine elements and all matroids between ten and twelve elements having rank three. Our experiments indicate that for small rank, about half the time, when a simple matroid is not orientable, it is already non-weakly orientable. Thus, about half of the small simple non-orientable matroids of rank three are not representable over fields having order congruent to three modulo four. For binary matroids, the Bland-Jensen linear systems provide a practical way to check orientability. Second, we present two extensions of the Bland-Jensen equations to slightly larger systems of non-linear polynomial equations. Our systems of polynomial equations have a solution if and only if the associated matroid M is orientable. The systems come in two versions, one directly extending the Bland-Jensen system for GF(2), and a different system working over other fields. We study some basic algebraic properties of these systems. Finally, we present an infinite family of non-weakly-orientable matroids, with growing rank and co-rank. We conjecture that these matroids are minor-minimal non-weakly-orientable matroids.

A $k$-uniform hypergraph $H = (V, E)$ is called $\ell$-orientable, if there is an assignment of each edge $e\in E$ to one of its vertices $v\in e$ such that no vertex is assigned more than $\ell$ edges. Let $H_{n,m,k}$ be a hypergraph, drawn uniformly at random from the set of all $k$-uniform hypergraphs with $n$ vertices and $m$ edges. In this paper we establish the threshold for the $\ell$-orientability of $H_{n,m,k}$ for all $k\ge 3$ and $\ell \ge 2$, i.e., we determine a critical quantity $c_{k, \ell}^*$ such that with probability $1-o(1)$ the graph $H_{n,cn,k}$ has an $\ell$-orientation if $c < c_{k, \ell}^*$, but fails doing so if $c > c_{k, \ell}^*$. Our result has various applications including sharp load thresholds for cuckoo hashing, load balancing with guaranteed maximum load, and massive parallel access to hard disk arrays.