arXiv++ Combinatorics

Given an undirected graph, are there $k$ matchings whose union covers all of its nodes, that is, a matching-$k$-cover? A first, easy polynomial solution from matroid union is possible, as already observed by Wang, Song and Yuan (Mathematical Programming, 2014). However, it was not satisfactory neither from the algorithmic viewpoint nor for proving graphic theorems, since the corresponding matroid ignores the edges of the graph. We prove here, simply and algorithmically: all nodes of a graph can be covered with $k\ge 2$ matchings if and only if for every stable set $S$ we have $|S|\le k\cdot|N(S)|$. When $k=1$, an exception occurs: this condition is not enough to guarantee the existence of a matching-$1$-cover, that is, the existence of a perfect matching, in this case Tutte's famous matching theorem (J. London Math. Soc., 1947) provides the right `good' characterization. The condition above then guarantees only that a perfect $2$-matching exists, as known from another theorem of Tutte (Proc. Amer. Math. Soc., 1953). Some results are then deduced as consequences with surprisingly simple proofs, using only the level of difficulty of bipartite matchings. We give some generalizations, as well as a solution for minimization if the edge-weights are non-negative, while the edge-cardinality maximization of matching-$2$-covers turns out to be already NP-hard. We have arrived at this problem as the line graph special case of a model arising for manufacturing integrated circuits with the technology called `Directed Self Assembly'.

A family of perfect matchings of $K_{2n}$ is $t$-$intersecting$ if any two members share $t$ or more edges. We prove for any $t \in \mathbb{N}$ that every $t$-intersecting family of perfect matchings has size no greater than $(2(n-t) - 1)!!$ for sufficiently large $n$, and that equality holds if and only if the family is composed of all perfect matchings that contain a fixed set of $t$ disjoint edges. This is an asymptotic version of a conjecture of Godsil and Meagher that can be seen as the non-bipartite analogue of the Deza-Frankl conjecture proven by Ellis, Friedgut, and Pilpel.

In this paper we introduce abstract string modules and give an explicit bijection between the submodule lattice of an abstract string module and the perfect matching lattice of the corresponding abstract snake graph. In particular, we make explicit the direct correspondence between a submodule of a string module and the perfect matching of the corresponding snake graph. For every string module, we define a Coxeter element in a symmetric group, and we establish a bijection between these lattices and the interval in the weak Bruhat order determined by the Coxeter element. Using the correspondence between string modules and snake graphs, we give a new concise formulation of snake graph calculus.

Pósa's theorem states that any graph $G$ whose degree sequence $d_1 \le \ldots \le d_n$ satisfies $d_i \ge i+1$ for all $i < n/2$ has a Hamilton cycle. This degree condition is best possible. We show that a similar result holds for suitable subgraphs $G$ of random graphs, i.e. we prove a `resilience version' of Pósa's theorem: if $pn \ge C \log n$ and the $i$-th vertex degree (ordered increasingly) of $G \subseteq G_{n,p}$ is at least $(i+o(n))p$ for all $i<n/2$, then $G$ has a Hamilton cycle. This is essentially best possible and strengthens a resilience version of Dirac's theorem obtained by Lee and Sudakov. Chvátal's theorem generalises Pósa's theorem and characterises all degree sequences which ensure the existence of a Hamilton cycle. We show that a natural guess for a resilience version of Chvátal's theorem fails to be true. We formulate a conjecture which would repair this guess, and show that the corresponding degree conditions ensure the existence of a perfect matching in any subgraph of $G_{n,p}$ which satisfies these conditions. This provides an asymptotic characterisation of all degree sequences which resiliently guarantee the existence of a perfect matching.

In 1963, Anton Kotzig conjectured that for each $n \geq 2$ the complete graph $K_{2n}$ has a perfect one-factorisation (i.e., a decomposition into perfect matchings such that each pair of perfect matchings of the decomposition induces a Hamilton cycle). We affirmatively settle the smallest unresolved case for this conjecture.

The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed graph of the graph. A finite distributive lattice is matchable if its Hasse diagram is isomorphic to a $Z$-transformation directed graph of a plane weakly elementary bipartite graph, otherwise non-matchable. We introduce the meet-irreducible cell with respect to a perfect matching of a plane (weakly) elementary bipartite graph and give its equivalent characterizations. Using these, we extend a result on non-matchable distributive lattices, and obtain a class of new non-matchable distributive lattices.

We introduce a new cohomology theory for planar trivalent graphs with perfect matchings. The graded Euler characteristic of the cohomology is a one variable polynomial called the 2-factor polynomial that, if nonzero when evaluated at one, implies that the perfect matching is even and therefore the graph is 4-face colorable. We also define several new polynomials invariants of graphs with and without perfect matchings that are invariants of abstract tensors systems and spin networks defined by Roger Penrose in the 1970s. We show how some of these polynomials can be ``categorified'' into their own homology theories.

In this work we study the null space of bipartite graphs without cycles of length multiple of $4$, and its relation to structural properties. We decompose them into two subgraphs: $C_N(G)$ and $C_S(G)$. $C_N(G)$ has perfect matching and its adjacency matrix is nonsingular. $C_S(G)$ has a unique maximum independent set and the dimension of its null space equals the dimension of the null space of $G$. Even more, we show that the fundamental spaces of $G$ are the direct sum of the fundamental spaces of $C_N(G)$ and $C_S(G)$. We also obtain formulas relating the independence number and the matching number of a $C_{4k}$-free bipartite graph with $C_N(G)$ and $C_S(G)$, and the dimensions of the fundamental spaces. Among other results, we show that the rank of a $C_{4k}$-free bipartite graph is twice its matching number, generalizing a result for trees due to Bevis et al \cite{bevis1995ranks}, and Cvetković and Gutman \cite{D1972}. About maximum independent sets, we show that the intersection of all maximum independent sets of a $C_{4k}$-free bipartite graph coincides with the support of its null space.

We show that the probability that a random graph $G\sim G(n,p)$ contains no Hamilton cycle is $(1+o(1))Pr(δ(G) < 2)$ for all values of $p = p(n)$. We also prove an analogous result for perfect matchings.

We construct new resolvable decompositions of complete multigraphs and complete equipartite multigraphs into cycles of variable lengths (and a perfect matching if the vertex degrees are odd). We develop two techniques: {\em layering}, which allows us to obtain 2-factorizations of complete multigraphs from existing 2-factorizations of complete graphs, and {\em detachment}, which allows us to construct resolvable cycle decompositions of complete equipartite multigraphs from existing resolvable cycle decompositions of complete multigraphs. These techniques are applied to obtain new 2-factorizations of a specified type for both complete multigraphs and complete equipartite multigraphs, with the emphasis on new solutions to the Oberwolfach Problem and the Hamilton-Waterloo Problem. In addition, we show existence of some $α$-resolvable cycle decompositions.

The \emph{matching preclusion number} of a graph $G$, denoted by $\mpo(G)$, is the minimum number of edges whose deletion results in a graph that has neither perfect matchings nor almost-perfect matchings. In this paper, we first give some sharp upper and lower bounds of matching preclusion number. Next, graphs with large and small matching preclusion number are characterized, respectively. In the end, we investigate some extremal problems and the Nordhaus-Gaddum-type relations on matching preclusion number.

The determinant method of Kasteleyn gives a method of computing the number of perfect matchings of a planar bipartite graph. In addition, results of Bernardi exhibit a bijection between spanning trees of a planar bipartite graph and elements of its Jacobian. In this paper, we explore an analogue of Bernardi's results, providing a canonical simply transitive group action of the Kasteleyn cokernel of a planar bipartite graph on its set of perfect matchings, when the planar bipartite graph in question is of the form $G^+$, as defined by Kenyon, Propp and Wilson.

A family of perfect matchings of $K_{2n}$ is $intersecting$ if any two of its members have an edge in common. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2n-3)!!$ and if equality holds, then $\mathcal{F} = \mathcal{F}_{ij}$ where $ \mathcal{F}_{ij}$ is the family of all perfect matchings of $K_{2n}$ that contain some fixed edge $ij$. In this note, we show that the extremal families are stable, namely, that for any $ε\in (0,1/\sqrt{e})$ and $n > n(ε)$, any intersecting family of perfect matchings of size greater than $(1 - 1/\sqrt{e} + ε)(2n-3)!!$ is contained in $\mathcal{F}_{ij}$ for some edge $ij$. The proof uses the Gelfand pair $(S_{2n},S_2 \wr S_n)$ along with an isoperimetric method of Ellis.

We give a cluster expansion formula for cluster algebras with principal coefficients defined from triangulated surfaces in terms of perfect matchings of angles. Our formula simplifies the cluster expansion formula given by Musiker-Schiffler-Williams in terms of perfect matchings of snake graphs. A key point of our proof is to give a bijection between perfect matchings of angles in some triangulated polygon and perfect matchings of the corresponding snake graph. Moreover, they also correspond bijectively with perfect matchings of the corresponding bipartite graph and minimal cuts of the corresponding quiver with potential.

In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results in \cite{KS} suggest that the first algorithm is superior. In this paper we show that this is indeed the case, at least for random cubic graphs. We show that w.h.p. the first algorithm will find a matching of size $n/2 - O(\log n)$ on a random cubic graph (indeed on a random graph with degrees in $\{3,4\}$). We also show that the algorithm can be adapted to find a perfect matching w.h.p. in $O(n)$ time, as opposed to $O(n^{3/2})$ time for the worst-case.

A connected graph $G$ with at least $2m + 2n + 2$ vertices which contains a perfect matching is $E(m, n)$-{\it extendable}, if for any two sets of disjoint independent edges $M$ and $N$ with $|M| = m$ and $|N|= n$, there is a perfect matching $F$ in $G$ such that $M\subseteq F$ and $N\cap F=\emptyset$. Similarly, a connected graph with at least $n+2k+2$ vertices is called $(n,k)$-{\it extendable} if for any vertex set $S$ of size $n$ and any matching $M$ of size $k$ of $G-S$, $G-S-V(M)$ contains a perfect matching. Let $\varepsilon$ be a small positive constant, $b(G)$ and $t(G)$ be the binding number and toughness of a graph $G$. The two main theorems of this paper are: for every graph $G$ with sufficiently large order, 1) if $b(G)\geq 4/3+\varepsilon$, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable; 2) if $t(G)\geq 1+\varepsilon$ and $G$ has a high connectivity, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable. It is worth to point out that the binding number and toughness conditions for the existence of the general matching extension properties are almost same as that for the existence of perfect matchings.

For a matching $M$ in a graph $G$, let $G(M)$ be the subgraph of $G$ induced by the vertices of $G$ that are incident with an edge in $M$. The matching $M$ is induced, if $G(M)$ is $1$-regular, and $M$ is uniquely restricted, if $M$ is the unique perfect matching of $G(M)$. The induced matching number $ν_s(G)$ of $G$ is the largest size of an induced matching in $G$, and the uniquely restricted matching number $ν_{ur}(G)$ of $G$ is the largest size of a uniquely restricted matching in $G$. Golumbic, Hirst, and Lewenstein (Uniquely restricted matchings, Algorithmica 31 (2001) 139-154) posed the problem to characterize the graphs $G$ with $ν_s(G)=ν_{ur}(G)$. We give a complete characterization of the $2$-connected subcubic graphs $G$ of sufficiently large order with $ν_s(G)=ν_{ur}(G)$. As a consequence, we are able to show that the subcubic graphs $G$ with $ν_s(G)=ν_{ur}(G)$ can be recognized in polynomial time.

Let $G$ be a finite, simple, and undirected graph and let $S$ be a set of vertices of $G$. In the geodetic convexity, a set of vertices $S$ of a graph $G$ is convex if all vertices belonging to any shortest path between two vertices of $S$ lie in $S$. The convex hull $H(S)$ of $S$ is the smallest convex set containing $S$. If $H(S) = V(G)$, then $S$ is a hull set. The cardinality $h(G)$ of a minimum hull set of $G$ is the hull number of $G$. The complementary prism $G\overline{G}$ of a graph $G$ arises from the disjoint union of the graph $G$ and $\overline{G}$ by adding the edges of a perfect matching between the corresponding vertices of $G$ and $\overline{G}$. Motivated by previous work, we determine and present lower and upper bounds on the hull number of complementary prisms of trees, disconnected graphs and cographs. We also show that the hull number on complementary prisms cannot be limited in the geodetic convexity, unlike the $P_3$-convexity.

If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger ($P_{10}$-conjecture) states that for any bridgeless cubic graph $G$, one has: $P_{10}\prec G$. The Sylvester coloring conjecture ($S_{10}$-conjecture) states that for any cubic graph $G$, $S_{10}\prec G$. In this paper, we introduce two new conjectures that are related to these conjectures. The first of them states that any cubic graph with a perfect matching admits an $S_{12}$-coloring. The second one states that any cubic graph $G$ whose edge-set can be covered with four perfect matchings, admits a $P_{12}$-coloring. We call these new conjectures $S_{12}$-conjecture and $P_{12}$-conjecture, respectively. Our first results justify the choice of graphs in $S_{12}$-conjecture and $P_{12}$-conjecture. Next, we characterize the edges of $P_{12}$ that may be fictive in a $P_{12}$-coloring of a cubic graph $G$. Finally, we relate the new conjectures to the already known conjectures by proving that $S_{12}$-conjecture implies $S_{10}$-conjecture, and $P_{12}$-conjecture and $(5,2)$-Cycle cover conjecture together imply $P_{10}$-conjecture. Our main tool for proving the latter statement is a new reformulation of $(5,2)$-Cycle cover conjecture, which states that the edge-set of any claw-free bridgeless cubic graph can be covered with four perfect matchings.

Let $G=(V,E)$ be a simple connected graph. A perfect matching (or Kekulé structure in chemical literature) of $G$ is a set of disjoint edges which covers all vertices of $G$. The anti-forcing number of $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching and is denoted by $af(G)$. For every $m\in\mathbb{N}$, the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. In this paper, we study the anti-forcing number of the powers of some graphs.