arXiv++ Combinatorics

We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on 2n vertices. The upper bound is sharp for n even. For n odd we state a conjecture on a sharp upper bound.

In 2003, Ciucu presented a unified way to enumerate tilings of lattice regions by using a certain Reduction Theorem (Ciucu, Perfect Matchings and Perfect Powers, Journal of Algebraic Combinatorics, 2003). In this paper we continue this line of work by investigating new families of lattice regions whose tilings are enumerated by perfect powers or products of several perfect powers. We prove a multi-parameter generalization of Bo-Yin Yang's theorem on fortresses (B.-Y. Yang, Ph.D. thesis, Department of Mathematics, MIT, MA, 1991). On the square lattice with zigzag paths, we consider two particular families of regions whose numbers of tilings are always a power of 3 or twice a power of 3. The latter result provides a new proof for a conjecture of Matt Blum first proved by Ciucu. We also consider several new lattices obtained by periodically applying two simple subgraph replacement rules to the square lattice. On some of those lattices, we get new families of regions whose numbers of tilings are given by products of several perfect powers. In addition, we prove a simple product formula for the number of tilings of a certain family of regions on a variant of the triangular lattice.

In a Maker-Breaker game on a graph $G$, Breaker and Maker alternately claim edges of $G$. Maker wins if, after all edges have been claimed, the graph induced by his edges has some desired property. We consider four Maker-Breaker games played on random geometric graphs. For each of our four games we show that if we add edges between $n$ points chosen uniformly at random in the unit square by order of increasing edge-length then, with probability tending to one as $n\to\infty$, the graph becomes Maker-win the very moment it satisfies a simple necessary condition. In particular, with high probability, Maker wins the connectivity game as soon as the minimum degree is at least two; Maker wins the Hamilton cycle game as soon as the minimum degree is at least four; Maker wins the perfect matching game as soon as the minimum degree is at least two and every edge has at least three neighbouring vertices; and Maker wins the $H$-game as soon as there is a subgraph from a finite list of "minimal graphs". These results also allow us to give precise expressions for the limiting probability that $G(n,r)$ is Maker-win in each case, where $G(n,r)$ is the graph on $n$ points chosen uniformly at random on the unit square with an edge between two points if and only if their distance is at most $r$.

Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) is proven; this factorization also gives a recursion on the cluster variables produced by such sequences. We can realize these sequences as walks in a triangular lattice using a correspondence between the generators of the affine symmetric group $\tilde{A_2}$ and the mutations which generate $τ-$mutation sequences. Using this bijection, we obtain explicit formulae for the cluster that corresponds to a specific alcove in the lattice. With this lattice visualization in mind, we then express each cluster variable produced in a $τ$-mutation sequence as the sum of weighted perfect matchings of a new family of subgraphs of the dP3 brane tiling, which we call Aztec castles. Our main result generalizes previous work on a certain mutation sequence on the dP3 quiver in [Zha12], and forms part of the emerging story in combinatorics and theoretical high energy physics relating cluster variables to subgraphs of the associated brane tiling.

Using methods from Analytic Combinatorics, we study the families of perfect matchings, partitions, chord diagrams, and hyperchord diagrams on a disk with a prescribed number of crossings. For each family, we express the generating function of the configurations with exactly $k$ crossings as a rational function of the generating function of crossing-free configurations. Using these expressions, we study the singular behavior of these generating functions and derive asymptotic results on the counting sequences of the configurations with precisely $k$ crossings. Limiting distributions and random generators are also studied.

Let $H$ be a $k$-graph on $n$ vertices, with minimum codegree at least $n/k + cn$ for some fixed $c > 0$. In this paper we construct a polynomial-time algorithm which finds either a perfect matching in $H$ or a certificate that none exists. This essentially solves a problem of Karpiński, Ruciński and Szymańska; Szymańska previously showed that this problem is NP-hard for a minimum codegree of $n/k - cn$. Our algorithm relies on a theoretical result of independent interest, in which we characterise any such hypergraph with no perfect matching using a family of lattice-based constructions.

We introduce the notion of a graph derangement, which naturally interpolates between perfect matchings and Hamiltonian cycles. We give a necessary and sufficient condition for the existence of graph derangements on a locally finite graph. This result was first proved by W.T. Tutte in 1953 by applying some deeper results on digraphs. We give a new, simple proof which amounts to a reduction to the (Menger-Egervary-Konig-)Hall(-Hall) Theorem on transversals of set systems. Finally, we consider the problem of classifying all cycle types of graph derangements on m x n checkerboard graphs. Our presentation does not assume any prior knowledge in graph theory or combinatorics: all definitions and proofs of needed theorems are given.

Let $\mathscr{P}_{m}$ be the graph on the set of perfect matchings in the complete graph $K_{2m}$, where two perfect matchings are connected by an edge if their symmetric difference is a cycle of length four. This paper studies geodesics in $\mathscr{P}_{m}$. The diameter of $\mathscr{P}_{m}$, as well as the eccentricity of each vertex, are shown to be $m-1$. Two proof are given to show that the number of geodesics between any two antipodes is $m^{m-2}$. The first is a direct proof via a recursive formula, and the second is via reduction to the number of minimal factorizations of a given $m$-cycle in the symmetric group $S_m$. An explicit formula for the number of geodesics between any two matchings in $\mathscr{P}_{m}$ is also given. Let $\mathscr{M}_m$ be the graph on the set of non-crossing perfect matchings of $2m$ labeled points on a circle with the same adjacency condition as in $\mathscr{P}_m$. $\mathscr{M}_m$ is an induced subgraph of $\mathscr{P}_m$, and it is shown that $\mathscr{M}_m$ has exactly one pair of antipodes having the maximal number ($m^{m-2}$) of geodesics between them.

In this paper we show that many snarks have shortest cycle covers of length $\frac{4}{3}m+c$ for a constant $c$, where $m$ is the number of edges in the graph, in agreement with the conjecture that all snarks have shortest cycle covers of length $\frac{4}{3}m+o(m)$. In particular we prove that graphs with perfect matching index at most 4 have cycle covers of length $\frac{4}{3}m$ and satisfy the $(1,2)$-covering conjecture of Zhang, and that graphs with large circumference have cycle covers of length close to $\frac{4}{3}m$. We also prove some results for graphs with low oddness and discuss the connection with Jaeger's Petersen colouring conjecture.

A conjecture of Berge and Fulkerson (1971) states that every cubic bridgeless graph contains 6 perfect matchings covering each edge precisely twice, which easily implies that every cubic bridgeless graph has three perfect matchings with empty intersection (this weaker statement was conjectured by Fan and Raspaud in 1994). Let $m_t$ be the supremum of all reals $α\le 1$ such that for every cubic bridgeless graph $G$, there exist $t$ perfect matchings of $G$ covering a fraction of at least $α$ of the edges of $G$. It is known that the Berge-Fulkerson conjecture is equivalent to the statement that $m_5=1$, and implies that $m_4=\tfrac{14}{15}$ and $m_3=\tfrac45$. In the first part of this paper, we show that $m_4=\tfrac{14}{15}$ implies $m_3=\tfrac45$, and $m_3=\tfrac45$ implies the Fan-Raspaud conjecture, strengthening a recent result of Tang, Zhang, and Zhu. In the second part of the paper, we prove that for any $2\le t \le 4$ and for any real $τ$ lying in some appropriate interval, deciding whether a fraction of more than (resp. at least) $τ$ of the edges of a given cubic bridgeless graph can be covered by $t$ perfect matching is an NP-complete problem. This resolves a conjecture of Tang, Zhang, and Zhu.

Each positive rational number x>0 can be written uniquely as x=a/(b-a) for coprime positive integers 0<a<b. We will identify x with the pair (a,b). In this paper we define for each positive rational x>0 a simplicial complex \Ass(x)=\Ass(a,b) called the {\sf rational associahedron}. It is a pure simplicial complex of dimension a-2, and its maximal faces are counted by the {\sf rational Catalan number} \Cat(x)=\Cat(a,b):=\frac{(a+b-1)!}{a!\,b!}. The cases (a,b)=(n,n+1) and (a,b)=(n,kn+1) recover the classical associahedron and its "Fuss-Catalan" generalization studied by Athanasiadis-Tzanaki and Fomin-Reading. We prove that \Ass(a,b) is shellable and give nice product formulas for its h-vector (the {\sf rational Narayana numbers}) and f-vector (the {\sf rational Kirkman numbers}). We define \Ass(a,b) via {\sf rational Dyck paths}: lattice paths from (0,0) to (b,a) staying above the line y = \frac{a}{b}x. We also use rational Dyck paths to define a rational generalization of noncrossing perfect matchings of [2n]. In the case (a,b) = (n, mn+1), our construction produces the noncrossing partitions of [(m+1)n] in which each block has size m+1.

A covering with dominoes of a rectilinear region is called \emph{tatami} if no four dominoes meet at any point. We describe a reduction from planar 3SAT to Domino Tatami Covering. As a consequence it is NP-complete to decide whether there is a perfect matching of a graph that meets every 4-cycle, even if the graph is restricted to be an induced subgraph of the grid-graph. The gadgets used in the reduction were discovered with the help of a SAT-solver.

MacMahon enumerated the plane partitions in an $a \times b \times c$ box. These are in bijection to lozenge tilings of a hexagon, to certain perfect matchings, and to families of non-intersecting lattice paths. In this work we consider more general regions, called triangular regions, and establish signed versions of the latter three bijections. Indeed, we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. A combinatorial argument involving a new method, called resolution of a puncture, then shows that the signs are in fact equivalent. This provides in particular two different determinantal enumerations of these families. These results are then applied to study the weak Lefschetz property of Artinian quotients by monomial ideals of a three-dimensional polynomial ring. We establish sufficient conditions guaranteeing the weak Lefschetz property as well as the semistability of the syzygy bundle of the ideal, classify the type two algebras with the weak Lefschetz property, and study monomial almost complete intersections in depth. Furthermore, we develop a general method that often associates to an algebra that fails the weak Lefschetz property a toric surface that satisfies a Laplace equation. We also present examples of toric varieties that satisfy arbitrarily many Laplace equations. Our combinatorial methods allow us to address the dependence on the characteristic of the base field for many of our results.

Our main result improves bounds of Markstrom and Rucinski on the minimum d-degree which forces a perfect matching in a k-uniform hypergraph on n vertices. We also extend bounds of Bollobas, Daykin and Erdos by asymptotically determining the minimum vertex degree which forces a matching of size t < n/2(k-1) in a k-uniform hypergraph on n vertices. Further asymptotically tight results on d-degrees which force large matchings are also obtained. Our approach is to prove fractional versions of the above results and then translate these into integer versions.

We consider the following generalization of the seminal Erdős-Ko-Rado theorem, due to Frankl. For k>= 2, let F be a k-wise intersecting family of r-subsets of an n element set X, i.e. any k sets in F have a nonempty intersection. If r<= (k-1/k)n, then |F|<={n-1 \choose r-1}. We extend Frankl's theorem in a graph-theoretic direction. For a graph G, and r>=1, let P^r(G) be the family of all r-subsets of the vertex set of G such that every r-subset is either an independent set or contains a maximum independent set. We will consider k-wise intersecting subfamilies of this family for the graph M_n, where M_n is the perfect matching on 2n vertices, and prove an analog of Frankl's theorem. This result can also be considered as an extension of a theorem of Bollobás and Leader for intersecting families of independent vertex sets in M_n.

The inverse Kasteleyn matrix of a bipartite graph holds much information about the perfect matchings of the system such as local statistics which can be used to compute local and global asymptotics. In this paper, we consider three different weightings of domino tilings of the Aztec diamond and show using recurrence relations, we can compute the inverse Kasteleyn matrix. These weights are the one-periodic weighting where the horizontal edges have one weight and the vertical edges have another weight, the q^{vol} weighting which corresponds to multiplying the product of tile weights by q if we add a `box' to the height function and the two-periodic weighting which exhibits a flat region with defects in the center.

A graph $G$ with a perfect matching is called saturated if $G+e$ has more perfect matchings than $G$ for any edge $e$ that is not in $G$. Lovász gave a characterization of the saturated graphs called the cathedral theorem, with some applications to the enumeration problem of perfect matchings, and later Szigeti gave another proof. In this paper, we give a new proof with our preceding works which revealed canonical structures of general graphs with perfect matchings. Here, the cathedral theorem is derived in quite a natural way, providing more refined or generalized properties. Moreover, the new proof shows that it can be proved without using the Gallai-Edmonds structure theorem.

The problem of establishing the number of perfect matchings necessary to cover the edge-set of a cubic bridgeless graph is strictly related to a famous conjecture of Berge and Fulkerson. In this paper we prove that deciding whether this number is at most 4 for a given cubic bridgeless graph is NP-complete. We also construct an infinite family $\cal F$ of snarks (cyclically 4-edge-connected cubic graphs of girth at least five and chromatic index four) whose edge-set cannot be covered by 4 perfect matchings. Only two such graphs were known. It turns out that the family $\cal F$ also has interesting properties with respect to the shortest cycle cover problem. The shortest cycle cover of any cubic bridgeless graph with $m$ edges has length at least $\tfrac43m$, and we show that this inequality is strict for graphs of $\cal F$. We also construct the first known snark with no cycle cover of length less than $\tfrac43m+2$.

A Skolem sequence is a linear arrangement of the multiset, {1, 1, 2, 2, ..., n, n} such that if r in [n] appears in positions i and j, then |i-j| = r. We first translate the problem to a particular set of perfect matchings, then apply the method of generating trees for open arc diagrams to generate exhaustively all Skolem sequences of a given size. Tracking the arc length between pairs of vertices in an arc annotated diagram is the central task. Although we do not surpass previously known enumerative results, this method drastically reduces the search space compared to previously known methods.

Let $K$ be a set of $k$ positive integers. A biclique cover of type $K$ of a graph $G$ is a collection of complete bipartite subgraphs of $G$ such that for every edge $e$ of $G$, the number of bicliques need to cover $e$ is a member of $K$. If $K=\{1,2,..., k\}$ then the maximum number of the vertices of a complete graph that admits a biclique cover of type $K$ with $d$ bicliques, $n(k,d)$, is the maximum possible cardinality of a $k$-neighborly family of standard boxes in $\mathbb{R}^d$. In this paper, we obtain an upper bound for $n(k,d)$. Also, we show that the upper bound can be improved in some special cases. Moreover, we show that the existence of the biclique cover of type $K$ of the complete bipartite graph with a perfect matching removed is equivalent to the existence of a cross $K$-intersection family.