arXiv++ Combinatorics

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.

The aim of this paper is to give analogs of the cluster expansion formula of Musiker and Schiffler for cluster algebras of type A with coefficients arising from boundary arcs of the corresponding triangulated polygon. Indeed, we give three cluster expansion formulas by perfect matchings of angles in triangulated polygon, by discrete subsets of arrows of the corresponding ice quiver and by minimal cuts of the corresponding quiver with potential.

In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast.

One fundamental question in the context of the geometric complexity theory approach to the VP vs. VNP conjecture is whether VP = $\overline{\textrm{VP}}$, where VP is the class of families of polynomials that are of polynomial degree and can be computed by arithmetic circuits of polynomial size, and $\overline{\textrm{VP}}$ is the class of families of polynomials that are of polynomial degree and can be approximated infinitesimally closely by arithmetic circuits of polynomial size. The goal of this article is to study the conjecture in (Mulmuley, FOCS 2012) that $\overline{\textrm{VP}}$ is not contained in VP. Towards that end, we introduce three degenerations of VP (i.e., sets of points in $\overline{\textrm{VP}}$), namely the stable degeneration Stable-VP, the Newton degeneration Newton-VP, and the p-definable one-parameter degeneration VP*. We also introduce analogous degenerations of VNP. We show that Stable-VP $\subseteq$ Newton-VP $\subseteq$ VP* $\subseteq$ VNP, and Stable-VNP = Newton-VNP = VNP* = VNP. The three notions of degenerations and the proof of this result shed light on the problem of separating $\overline{\textrm{VP}}$ from VP. Although we do not yet construct explicit candidates for the polynomial families in $\overline{\textrm{VP}}\setminus$VP, we prove results which tell us where not to look for such families. Specifically, we demonstrate that the families in Newton-VP $\setminus$ VP based on semi-invariants of quivers would have to be non-generic by showing that, for many finite quivers (including some wild ones), any Newton degeneration of a generic semi-invariant can be computed by a circuit of polynomial size. We also show that the Newton degenerations of perfect matching Pfaffians, monotone arithmetic circuits over the reals, and Schur polynomials have polynomial-size circuits.

In this paper we prove a generalized version of Hall's theorem for hypergraphs. More precisely, let H be a k-uniform k- partite hypergraph with some ordering on parts as V1, V2,..., Vk. such that the subhypergraph generated on union of V1, V2,..., Vk-1 has a unique perfect matching. In this case, we give a necessary and sufficient condition for having a matching of size t = |V1| in H. Some relevant results and counterexamples are given as well.

In this paper, we characterize all unmixed d-uniform r-partite hypergraphs under a certain condition. Also we give a necessary condition for unmixedness in d-uniform hypergraphs with a perfect matching of size n. Finally we give a sufficient condition for unmixednes in d-uniform hypergraphs with a perfect matching.

Lots of research focuses on the combinatorics behind various bases of cluster algebras. This paper studies the natural basis of a type A cluster algebra, which consists of all cluster monomials. We introduce a new kind of combinatorial formulas for the cluster monomials in terms of the so-called globally compatible collections. We give bijective proofs of these formulas by comparing with the well-known combinatorial models of the T-paths and of the perfect matchings in a snake diagram. For cluster variables of a type A cluster algebra, we give a bijection that relates our new formula with the theta functions constructed by Gross, Hacking, Keel and Kontsevich.

Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.

The d-dimensional Catalan numbers form a well-known sequence of numbers which count balanced bracket expressions over an alphabet of size d. In this paper, we introduce and study what we call d-dimensional prime Catalan numbers, a sequence of numbers which count only a very specific subset of indecomposable balanced bracket expressions. We further introduce the notion of a trapezoidal diagram of a crossing-free geometric graph, such as a triangulation or a crossing-free perfect matching. In essence, such a diagram is obtained by augmenting the geometric graph in question with its trapezoidal decomposition, and then forgetting about the precise coordinates of individual vertices while preserving the vertical visibility relations between vertices and segments. We note that trapezoidal diagrams of triangulations are closely related to abstract upward triangulations. We study the numbers of such diagrams in the cases of (i) perfect matchings and (ii) triangulations. We give bijective proofs which establish relations with 3-dimensional (prime) Catalan numbers. This allows us to determine the corresponding exponential growth rates exactly as (i) 5.196^n and (ii) 23.459^n (bases are rounded to 3 decimal places). Finally, we give lower bounds for the maximum number of embeddings of a trapezoidal diagram on any given point set.

We study the biased $(1:b)$ Maker--Breaker positional games, played on the edge set of the complete graph on $n$ vertices, $K_n$. Given Breaker's bias $b$, possibly depending on $n$, we determine the bounds for the minimal number of moves, depending on $b$, in which Maker can win in each of the two standard graph games, the Perfect Matching game and the Hamilton Cycle game.

Given a graph on $n$ vertices and an assignment of colours to the edges, a rainbow Hamilton cycle is a cycle of length $n$ visiting each vertex once and with pairwise different colours on the edges. Similarly (for even $n$) a rainbow perfect matching is a collection of $n/2$ independent edges with pairwise different colours. In this note we show that if we randomly colour the edges of a random geometric graph with sufficiently many colours, then a.a.s. the graph contains a rainbow perfect matching (rainbow Hamilton cycle) if and only if the minimum degree is at least $1$ (respectively, at least $2$). More precisely, consider $n$ points (i.e. vertices) chosen independently and uniformly at random from the unit $d$-dimensional cube for any fixed $d\ge2$. Form a sequence of graphs on these $n$ vertices by adding edges one by one between each possible pair of vertices. Edges are added in increasing order of lengths (measured with respect to the $\ell_p$ norm, for any fixed $1<p\le\infty$). Each time a new edge is added, it receives a random colour chosen uniformly at random and with repetition from a set of $\lceil Kn\rceil$ colours, where $K=K(d)$ is a sufficiently large fixed constant. Then, a.a.s. the first graph in the sequence with minimum degree at least $1$ must contain a rainbow perfect matching (for even $n$), and the first graph with minimum degree at least $2$ must contain a rainbow Hamilton cycle.

We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this work we focus on the case of Breaker playing randomly and Maker being "clever". The reverse scenario is treated in a separate paper. We determine the sharp threshold bias of classical games played on the edge set of the complete graph $K_n$, such as connectivity, perfect matching, Hamiltonicity, and minimum degree-$1$. In all of these games, the threshold is equal to the trivial upper bound implied by the number of edges needed for Maker to occupy a winning set. Moreover, we show that the clever Maker can not only win against an asymptotically optimal bias, but can do so very fast, wasting only logarithmically many moves (while the winning set sizes are linear in $n$).

We study (a:a) Maker-Breaker games played on the edge set of the complete graph on n vertices. In the following four games - perfect matching game, Hamilton cycle game, star factor game and path factor game, our goal is to determine the least number of moves which Maker needs in order to win these games. Moreover, for all games except for the star factor game, we show how Red can win in the strong version of these games.

The discrepancy BR for an $m \times n$ $0,1$-matrix from Brualdi and Sanderson \cite{Brualdi1998} counts the minimum number of $1$'s which need to be shifted in each row to the left to achieve its Ferrers matrix, i.e. each row consists of consecutive $1$'s followed by consecutive $0$'s. For ecological bipartite networks BR describes how nested a set of relationships is. Since different labeled matrices can be isomorphic but possess different discrepancies, we define a metric determining the minimum discrepancy in an isomorphic class. We give a reduction to $k\leq n$ minimum weighted perfect matching problems.

An edge subset $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matching. We can see that a connected graph $G$ has no anti-Kekulé set if and only if each spanning tree of $G$ has a perfect matching. In this paper, by applying Tutte's 1-factor theorem and structure of minimally 2-connected graphs, we characterize all graphs whose each spanning tree has a perfect matching In addition, we show that if $G$ is a connected graph of order $2n$ for a positive integer $n\geq 4$ and size $m$ whose each spanning tree has a perfect matching, then $m\leq \frac{(n+1)n} 2$, with equality if and only if $G\cong K_n\circ K_1$.

A permutation is said to be a square if it can be obtained by shuffling two order-isomorphic patterns. The definition is intended to be the natural counterpart to the ordinary shuffle of words and languages. In this paper, we tackle the problem of recognizing square permutations from both the point of view of algebra and algorithms. On the one hand, we present some algebraic and combinatorial properties of the shuffle product of permutations. We follow an unusual line consisting in defining the shuffle of permutations by means of an unshuffling operator, known as a coproduct. This strategy allows to obtain easy proofs for algebraic and combinatorial properties of our shuffle product. We besides exhibit a bijection between square $(213,231)$-avoiding permutations and square binary words. On the other hand, by using a pattern avoidance criterion on oriented perfect matchings, we prove that recognizing square permutations is $\mathbf{NP}$-complete.

A perfect straight-line matching $M$ on a finite set $P$ of points in the plane is a set of segments such that each point in $P$ is an endpoint of exactly one segment. $M$ is non-crossing if no two segments in $M$ cross each other. Given a perfect straight-line matching $M$ with at least one crossing, we can remove this crossing by a flip operation. The flip operation removes two crossing segments on a point set $Q$ and adds two non-crossing segments to attain a new perfect matching $M'$. It is well known that after a finite number of flips, a non-crossing matching is attained and no further flip is possible. However, prior to this work, no non-trivial upper bound on the number of flips was known. If $g(n)$ (resp.~$k(n)$) is the maximum length of the longest (resp.~shortest) sequence of flips starting from any matching of size $n$, we show that $g(n) = O(n^3)$ and $g(n) = Ω(n^2)$ (resp.~$k(n) = O(n^2)$ and $k(n) = Ω(n)$).

The Fan-Raspaud Conjecture states that every bridgeless cubic graph has three 1-factors with empty intersection. A weaker one than this conjecture is that every bridgeless cubic graph has two 1-factors and one join with empty intersection. Both of these two conjectures can be related to conjectures on Fano-flows. In this paper, we show that these two conjectures are equivalent to some statements on cores and weak cores of a bridgeless cubic graph. In particular, we prove that the Fan-Raspaud Conjecture is equivalent to a conjecture proposed in [E. Steffen, 1-factor and cycle covers of cubic graphs, J. Graph Theory 78 (2015) 195-206]. Furthermore, we disprove a conjecture proposed in [G. Mazzuoccolo, New conjectures on perfect matchings in cubic graphs, Electron. Notes Discrete Math. 40 (2013) 235-238] and we propose a new version of it under a stronger connectivity assumption. The weak oddness of a cubic graph $G$ is the minimum number of odd components in the complement of a join of $G$. We obtain an upper bound of weak oddness in terms of weak cores, and thus an upper bound of oddness in terms of cores as a by-product.

Berge Conjecture states that every bridgeless cubic graph has 5 perfect matchings such that each edge is contained in at least one of them. In this paper, we show that Berge Conjecture holds for two classes of cubic graphs, cubic graphs with a circuit missing only one vertex and bridgeless cubic graphs with a 2-factor consisting of two circuits. The first part of this result implies that Berge Conjecture holds for hypohamiltonian cubic graphs.

We study snarks whose edges cannot be covered by fewer than five perfect matchings. Esperet and Mazzuoccolo found an infinite family of such snarks, generalising an example provided by Hagglund. We construct another infinite family, arising from a generalisation in a different direction. The proof that this family has the requested property is computer-assisted. In addition, we prove that the snarks from this family (we call them treelike snarks) have circular flow number five and admit a 5-cycle double cover.