arXiv++ Combinatorics

Let $G$ be a complete convex geometric graph whose vertex set $P$ forms a convex polygon $C$, and let $F$ be a family of subgraphs of $G$. A blocker for $F$ is a set of edges, of smallest possible size, that contains a common edge with every element of $F$. Previous works determined the blockers for various families $F$ of non-crossing subgraphs, including the families of all perfect matchings, all spanning trees, all Hamiltonian paths, etc. In this paper we present a complete characterization of the family $B$ of blockers for the family $T$ of triangulations of $C$. In particular, we show that $|B|=F_{2n-8}$, where $F_k$ is the $k$'th element in the Fibonacci sequence and $n=|P|$. We use our characterization to obtain a tight result on a geometric Maker-Breaker game in which the board is the set of diagonals of a convex $n$-gon $C$ and Maker seeks to occupy a triangulation of $C$. Namely, we show that in the $(1:1)$ triangulation game, Maker can ensure a win within $n-3$ moves, and that in the $(1:2)$ triangulation game, Breaker can ensure a win within $n-3$ moves. In particular, the threshold bias for the game is $2$.

If a graph has a non-singular adjacency matrix, then one may use the inverse matrix to define a (labeled) graph that may be considered to be the inverse graph to the original one. It has been known that an adjacency matrix of a tree is non-singular if and only if the tree has a unique perfect matching; in this case the determinant of the matrix turns out to be $\pm 1$ and the inverse of the tree was shown to be `switching-equivalent' to a simple graph [C. Godsil, Inverses of Trees, Combinatorica 5 (1985), 33--39]. Using generalized inverses of symmetric matrices (that coincide with Moore-Penrose, Drazin, and group inverses in the symmetric case) we prove a formula for determining a `generalized inverse' of a tree.

The flip graph of triangulations has as vertices all triangulations of a convex $n$-gon, and an edge between any two triangulations that differ in exactly one edge. An $r$-rainbow cycle in this graph is a cycle in which every inner edge of the triangulation appears exactly $r$ times. This notion of a rainbow cycle extends in a natural way to other flip graphs. In this paper we investigate the existence of $r$-rainbow cycles for three different flip graphs on classes of geometric objects: the aforementioned flip graph of triangulations of a convex $n$-gon, the flip graph of plane trees on an arbitrary set of $n$ points, and the flip graph of non-crossing perfect matchings on a set of $n$ points in convex position. In addition, we consider two flip graphs on classes of non-geometric objects: the flip graph of permutations of $\{1,2,\dots,n\}$ and the flip graph of $k$-element subsets of $\{1,2,\dots,n\}$. In each of the five settings, we prove the existence and non-existence of rainbow cycles for different values of $r$, $n$ and~$k$.

We show that deciding whether a given graph $G$ of size $m$ has a unique perfect matching as well as finding that matching, if it exists, can be done in time $O(m)$ if $G$ is either a cograph, or a split graph, or an interval graph, or claw-free. Furthermore, we provide a constructive characterization of the claw-free graphs with a unique perfect matching.

Let $M$ be a perfect matching in a graph. A subset $S$ of $M$ is said to be a forcing set of $M$, if $M$ is the only perfect matching in the graph that contains $S$. The minimum size of a forcing set of $M$ is called the forcing number of $M$. Pachter and Kim [Discrete Math. 190 (1998) 287--294] conjectured that the forcing number of every perfect matching in the $n$-dimensional hypercube is at least $2^{n-2}$, for all $n \ge 2$. Riddle [Discrete Math. 245 (2002) 283-292] proved this for even $n$. We show that the conjecture holds for all $n \ge 2$. The proof is based on simple linear algebra.

This paper is the first from a series of papers that establish a generalization of the basilica decomposition for cardinality minimum joins in grafts. Joins in grafts are also known as $T$-joins in graphs, where $T$ is a given set of vertices, and minimum joins in grafts can be considered as a generalization of perfect matchings in graphs provided in terms of parity. The basilica decomposition is a canonical decomposition applicable to general graphs with perfect matchings, and the general Kotzig-Lovász decomposition is one of the three central concepts that compose this theory. The classical Kotzig-Lovász decomposition is a canonical decomposition for a special class of graphs known as {\em factor-connected graphs} and is famous for its contribution to the study of the matching polytope and lattice. The general Kotzig-Lovász decomposition is a nontrivial generalization of its classical counterpart and is applicable to general graphs with perfect matchings. As a component of the basilica decomposition theory, the general Kotzig-Lovász decomposition has contributed to the derivation of further results in matching theory, such as a characterization of barriers or an alternative proof of the tight cut lemma. In this paper, we present an analogue of the general Kotzig-Lovász decomposition for minimum joins in grafts.

Let $H$ be a $k$-partite $k$-graph with $n$ vertices in each partition class, and let $δ_{k-1}(H)$ denote the minimum co-degree of $H$. We characterize those $H$ with $δ_{k-1}(H) \geq n/2$ and with no perfect matching. As a consequence we give an affirmative answer to the following question of Rödl and Ruciński: If $k$ is even or $n \not\equiv 2 \pmod 4$, does $δ_{k-1}(H) \geq n/2$ imply that $H$ has a perfect matching? We also give an example indicating that it is not sufficient to impose this degree bound on only two types of $(k-1)$-sets.

An edge set $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matchings, where $G-S$ denotes the subgraph obtained by deleting all edges in $S$ from $G$. The anti-Kekulé number of a graph $G$, denoted by $ak(G)$, is the cardinality of a smallest anti-Kekulé set of $G$. It is NP-complete to find the smallest anti-Kekulé set of a graph. In this paper, we show that the anti-Kekulé number of a 2-connected cubic graph is either 3 or 4, and the anti-Kekulé number of a connected cubic bipartite graph is always equal to 4. Furthermore, a polynomial time algorithm is given to find all smallest anti-Kekulé sets of a connected cubic graph.

We show the existence of rainbow perfect matchings in $μn$-bounded edge colourings of Dirac bipartite graphs, for a sufficiently small $μ>0$. As an application of our results, we obtain several results on the existence of rainbow $k$-factors in Dirac graphs and rainbow spanning subgraphs of bounded maximum degree on graphs with large minimum degree.

A {\it fractional matching} of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ so that $\sum_{e\in Γ(v)}f(e)\leq 1$ for each $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The {\it fractional matching number} of $G$, written $α'_{*}(G)$, is the maximum of $\sum_{e\in E(G)}f(e)$ over all fractional matchings $f$. In this paper, we propose the relations between the fractional matching number and the signless Laplacian spectral radius of a graph. As applications, we also give sufficient spectral conditions for existence of a fractional perfect matching in a graph in terms of the signless Laplacian spectral radius of the graph and its complement.

This paper is a sequel to our previous work in which we found a combinatorial realization of continued fractions as quotients of the number of perfect matchings of snake graphs. We show how this realization reflects the convergents of the continued fractions as well as the Euclidean division algorithm. We apply our findings to establish results on sums of squares, palindromic continued fractions, Markov numbers and other statements in elementary number theory.

In 1972, Woodall raised the following Ore type condition for directed Hamilton cycles in digraphs: Let $D$ be a digraph. If for every vertex pair $u$ and $v$, where there is no arc from $u$ to $v$, we have $d^+u)+d^-(v)\geq |D|$, then $D$ has a directed Hamilton cycle. By a correspondence between bipartite graphs and digraphs, the above result is equivalent to the following result of Las Vergnas: Let $G = (B,W)$ be a balanced bipartite graph. If for any $b \in B$ and $w \in W$, where $b$ and $w$ are nonadjacent, we have $d(w)+d(b) \geq |G|/2 + 1$, then every perfect matching of $G$ is contained in a Hamilton cycle. The lower bounds in both results are tight. In this paper, we reduce both bounds by $1$, and prove that the conclusions still hold, with only a few exceptional cases that can be clearly characterized.

We derive a simple bijection between geometric plane perfect matchings on $2n$ points in convex position and triangulations on $n+2$ points in convex position. We then extend this bijection to monochromatic plane perfect matchings on periodically $k$-colored vertices and $(k+2)$-gonal tilings of convex point sets. These structures are related to a generalization of Temperley-Lieb algebras and our bijections provide explicit one-to-one relations between matchings and tilings. Moreover, for a given element of one class, the corresponding element of the other class can be computed in linear time.

A connected planar cubic graph is called an $m$-barrel fullerene and denoted by $F(m,k)$, if it has the following structure: The first circle is an $m$-gon. Then $m$-gon is bounded by $m$ pentagons. After that we have additional k layers of hexagons. At the last circle $m$-pentagons connected to the second $m$-gon. In this paper we asymptotically count by two different methods the number of perfect matchings in $m$-barrel fullerene graphs, as the number of hexagonal layers is large, and show that the results are equal.

We determine the minimum degree sum of two adjacent vertices that ensures a perfect matching in a 3-graph without isolated vertex. More precisely, suppose that $H$ is a 3-uniform hypergraph whose order $n$ is sufficiently large and divisible by $3$. If $H$ contains no isolated vertex and $deg(u)+ deg(v) > \frac{2}{3}n^2-\frac{8}{3}n+2$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching. This bound is tight.

Let $G$ be a graph embedded in a surface and let $\mathcal F$ be a set of even faces of $G$ (faces bounded by a cycle of even length). The resonance graph of $G$ with respect to $\mathcal F$, denoted by $R(G;\mathcal F)$, is a graph such that its vertex set is the set of all perfect matchings of $G$ and two vertices $M_1$ and $M_2$ are adjacent to each other if and only if the symmetric difference $M_1\oplus M_2$ is a cycle bounding some face in $\mathcal F$. It has been shown that if $G$ is a matching-covered plane bipartite graph, the resonance graph of $G$ with respect to the set of all inner faces is isomorphic to the covering graph of a distributive lattice. It is evident that the resonance graph of a plane graph $G$ with respect to an even-face set $\mathcal F$ may not be the covering graph of a distributive lattice. In this paper, we show the resonance graph of a graph $G$ on a surface with respect to a given even-face set $\mathcal F$ can always be embedded into a hypercube as an induced subgraph. Furthermore, we show that the Clar covering polynomial of $G$ with respect to $\mathcal F$ is equal to the cube polynomial of the resonance graph $R(G;\mathcal F)$, which generalizes previous results on some subfamilies of plane graphs.

Let $\{G_i\}$ be the random graph process: starting with an empty graph $G_0$ with $n$ vertices, in every step $i \geq 1$ the graph $G_i$ is formed by taking an edge chosen uniformly at random among the non-existing ones and adding it to the graph $G_{i - 1}$. The classical `hitting-time' result of Ajtai, Komlós, and Szemerédi, and independently Bollobás, states that asymptotically almost surely the graph becomes Hamiltonian as soon as the minimum degree reaches $2$, that is if $δ(G_i) \ge 2$ then $G_i$ is Hamiltonian. We establish a resilience version of this result. In particular, we show that the random graph process almost surely creates a sequence of graphs such that for $m \geq (\tfrac{1}{6} + o(1))n\log n$ edges, the $2$-core of the graph $G_m$ remains Hamiltonian even after an adversary removes $(\tfrac{1}{2} - o(1))$-fraction of the edges incident to every vertex. A similar result is obtained for perfect matchings.

A leaf matching operation on a graph consists of removing a vertex of degree~$1$ together with its neighbour from the graph. For $k\geq 0$, let $G$ be a $d$-regular cyclically $(d-1+2k)$-edge-connected graph of even order. We prove that for any given set $X$ of $d-1+k$ edges, there is no $1$-factor of $G$ avoiding $X$ if and only if either an isolated vertex can be obtained by a series of leaf matching operations in $G-X$, or $G-X$ has an independent set that contains more than half of the vertices of~$G$. To demonstrate how to check the conditions of the theorem we prove several statements on $2$-factors of cubic graphs. For $k\ge 3$, we prove that given a cubic cyclically $(4k-5)$-edge-connected graph $G$ and three paths of length $k$ such that the distance of any two of them is at least $8k-17$, there is a $2$-factor of $G$ that contains one of the paths . We provide a similar statement for two paths when $k=3$ and $k=4$. As a corollary we show that given a vertex $v$ in a cyclically $7$-edge-connected cubic graph, there is a $2$-factor such that $v$ is in a circuit of length greater than $7$.

Tanglegrams are special graphs that consist of a pair of rooted binary trees with the same number of leaves, and a perfect matching between the two leaf-sets. These objects are of use in phylogenetics and are represented with straightline drawings where the leaves of the two plane binary trees are on two parallel lines and only the matching edges can cross. The tangle crossing number of a tanglegram is the minimum crossing number over all such drawings and is related to biologically relevant quantities, such as the number of times a parasite switched hosts. Our main results for tanglegrams which parallel known theorems for crossing numbers are as follows. The removal of a single matching edge in a tanglegram with $n$ leaves decreases the tangle crossing number by at most $n-3$, and this is sharp. Additionally, if $γ(n)$ is the maximum tangle crossing number of a tanglegram with $n$ leaves, we prove $\frac{1}{2}\binom{n}{2}(1-o(1))\leγ(n)<\frac{1}{2}\binom{n}{2}$. Further, we provide an algorithm for computing non-trivial lower bounds on the tangle crossing number in $O(n^4)$ time. This lower bound may be tight, even for tanglegrams with tangle crossing number $Θ(n^2)$.

Is perfect matching in NC? That is, is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in theoretical computer science for over three decades, ever since the discovery of RNC matching algorithms. Within this question, the case of planar graphs has remained an enigma: On the one hand, counting the number of perfect matchings is far harder than finding one (the former is #P-complete and the latter is in P), and on the other, for planar graphs, counting has long been known to be in NC whereas finding one has resisted a solution. In this paper, we give an NC algorithm for finding a perfect matching in a planar graph. Our algorithm uses the above-stated fact about counting matchings in a crucial way. Our main new idea is an NC algorithm for finding a face of the perfect matching polytope at which $Ω(n)$ new conditions, involving constraints of the polytope, are simultaneously satisfied. Several other ideas are also needed, such as finding a point in the interior of the minimum weight face of this polytope and finding a balanced tight odd set in NC.