arXiv++ Combinatorics

A long-standing conjecture on spanning trees of a hypercube states that a balanced tree on $2^n$ vertices with maximum degree at most $3$ spans the hypercube of dimension $n$ \cite{havel1986}. In this paper, we settle the conjecture for a special family of binary trees. A $0$-caterpillar is a path. For $k\geq 1$, a $k$-caterpillar is a binary tree consisting of a path with $j$-caterpillars $(0\leq j\leq k-1)$ emanating from some of the vertices on the path. A $k$-caterpillar that contains a perfect matching is said to be perfectly balanced. In this paper, we show that a perfectly balanced $2$-caterpillar on $2^n$ vertices spans the hypercube of dimension $n$.

Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been considered on matching forcing problem of non-plane non-bipartite graphs. In this paper, we investigate the forcing polynomials of generalized Petersen graphs GP(n, 2) for n = 5, 6, . . . , 15, which is a typical class of non-plane non-bipartite graph.

A bipartite graph B is called a brace if it is connected and every matching of size at most two in B is contained in some perfect matching of B and a cycle C in B is called conformal if B-V(C) has a perfect matching. We show that there do not exist two disjoint alternating paths that form a cross over a conformal cycle C in a brace B if and only if one can reduce B, by an application of a matching theoretic analogue of small clique sums, to a planar brace H in which C bounds a face. We then utilise this result and provide a polynomial time algorithm which solves the 2-linkage problem for alternating paths in bipartite graphs with perfect matchings.

Two perfect matchings $P$ and $Q$ of the complete graph on $2k$ vertices are said to be set-wise $t$-intersecting if there exist edges $P_{1}, \cdots, P_{t}$ in $P$ and $Q_{1}, \cdots, Q_{t}$ in $Q$ such that the union of edges $P_{1}, \cdots, P_{t}$ has the same set of vertices as the union of $Q_{1}, \cdots, Q_{t}$ has. In this paper we prove an extension of the famous Erdős-Ko-Rado (EKR) theorem to set-wise $2$-intersecting families of perfect matching on all values of $k$, and we conjecture similar statement for all $t\geq 2$.

This is a companion note to the paper "Almost all Steiner triple systems have perfect matchings (arXiv:1611.02246). That paper contains several general lemmas about random Steiner triple systems; in this note we record analogues of these lemmas for random Latin squares, which in particular are necessary ingredients for our recent paper "Large deviations in random Latin squares" (arXiv:2106.11932). Most important is a relationship between uniformly random order-$n$ Latin squares and the triangle removal process on the complete tripartite graph $K_{n,n,n}$.

A Hamiltonian graph is 2-factor Hamiltonian (2FH) if each of its 2-factors is a Hamiltonian cycle. A similar, but weaker, property is the Perfect-Matching-Hamiltonian property (PMH-property): a graph admitting a perfect matching is said to have this property if each one of its perfect matchings (1-factors) can be extended to a Hamiltonian cycle. It was shown that the star product operation between two bipartite 2FH-graphs is necessary and sufficient for a bipartite graph admitting a 3-edge-cut to be 2FH. The same cannot be said when dealing with the PMH-property, and in this work we discuss how one can use star products to obtain graphs (which are not necessarily bipartite, regular and 2FH) admitting the PMH-property with the help of malleable vertices, which we introduce here. We show that the presence of a malleable vertex in a graph implies that the graph has the PMH-property, but does not necessarily imply that it is 2FH. It was also conjectured that if a graph is a bipartite cubic 2FH-graph, then it can only be obtained from the complete bipartite graph $K_{3,3}$ and the Heawood graph by using star products. Here, we show that a cubic graph (not necessarily bipartite) is 2FH if and only if all of its vertices are malleable. We also prove that the above conjecture is equivalent to saying that, apart from the Heawood graph, every bipartite cyclically 4-edge-connected cubic graph with girth at least 6 having the PMH-property admits a perfect matching which can be extended to a Hamiltonian cycle in exactly one way. Finally, we also give two necessary and sufficient conditions for a graph admitting a 2-edge-cut to be: (i) 2FH, and (ii) PMH.

We establish cutoff for a natural random walk (RW) on the set of perfect matchings (PMs). An $n$-PM is a pairing of $2n$ objects. The $k$-PM RW selects $k$ pairs uniformly at random, disassociates the corresponding $2k$ objects, then chooses a new pairing on these $2k$ objects uniformly at random. The equilibrium distribution is uniform over the set of all $n$-PM. We establish cutoff for the $k$-PM RW whenever $2 \le k \ll n$. If $k \gg 1$, then the mixing time is $\tfrac nk \log n$ to leading order. The case $k = 2$ was established by Diaconis and Holmes (2002) by relating the $2$-PM RW to the random transpositions card shuffle and also by Ceccherini-Silberstein, Scarabotti and Tolli (2007, 2008) using representation theory. We are the first to handle $k > 2$. Our argument builds on previous work of Berestycki, Schramm, Şengül and Zeitouni (2005, 2011, 2019) regarding conjugacy-invariant RWs on the permutation group.

For a graph whose vertex set is a finite set of points in the Euclidean $d$-space consider the closed (open) balls with diameters induced by its edges. The graph is called a (an open) Tverberg graph if these closed (open) balls intersect. Using the idea of halving lines, we show that ($i$) for any finite set of points in the plane, there exists a Hamiltonian cycle that is a Tverberg graph; ($ii$) for any $ n $ red and $ n $ blue points in the plane, there exists a perfect red-blue matching that is a Tverberg graph. Also, we prove that ($iii$) for any even set of points in the Euclidean $ d $-space, there exists a perfect matching that is an open Tverberg graph; ($iv$) for any $ n $ red and $ n $ blue points in the Euclidean $ d $-space, there exists a perfect red-blue matching that is a Tverberg graph.

The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. A crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. In this paper, by using the orbit partition method in algebraic graph theory, we determine the set of all distance eigenvalues of $L(Cr(n))$ and show that this graph is distance integral.

A graceful labelling of a graph G is an injective function f from the set of vertices of G into the set {0,1,...,|EG|} such that if edge uv is assigned the label |f(u)-f(v)| then all edge labels have distinct values. A strong graceful labelling of a tree T with a perfect matching is a graceful labelling of T with the additional property that the sum of the vertex labels of each odd labelled edge add up to |ET|. A lobster or a 2-distant tree is a tree T that contains a path P such that any vertex of T is a distance at most 2 from a vertex of P. In this paper, we define generalised strongly graceful permutations and discover two new permutations in addition to the known permutation that is obtained by replacing each vertex label f(v) by |ET|- f(v). We use these permutations to prove, by induction, that a lobster with a perfect matching that consists of the set of end edges of the lobster, is strongly graceful. Further, we show that there exist strongly graceful labellings that assign the label 0 to four specific vertices of any tree belonging to this family of lobsters. By using the technique developed in this paper we will, further, present a tractable way for proving an equivalent form of Bermond conjecture which states that all lobsters are graceful. Two out of a total of three cases of the proposed equivalent form of Bermond conjecture are completed leaving the third case open for refutation or completion.

Cross-ratio degrees count configurations of points $z_1,\ldots, z_n \in \mathbb{P}^1$ satisfying $n - 3$ cross-ratio constraints, up to isomorphism. These numbers arise in multiple contexts in algebraic and tropical geometry, and may be viewed as combinatorial invariants of certain hypergraphs. We prove an upper bound on cross-ratio degrees in terms of the theory of perfect matchings on bipartite graphs. We also discuss several of the many perspectives on cross-ratio degrees -- including a connection to Gromov-Witten theory -- and give many example computations.

We characterise the quintic (i.e. 5-regular) multigraphs with the property that every edge lies in a triangle. Such a graph is either from a set of small graphs or is formed by adding a perfect matching to a line graph of a cubic graph as double edges, or can be reduced by a sequence of operations to one of these graphs.

We prove that for $k+1\geq 3$ and $c>(k+1)/2$ w.h.p. the random graph on $n$ vertices, $cn$ edges and minimum degree $k+1$ contains a (near) perfect $k$-matching. As an immediate consequence we get that w.h.p. the $(k+1)$-core of $G_{n,p}$, if non empty, spans a (near) spanning $k$-regular subgraph. This improves upon a result of Chan and Molloy and completely resolves a conjecture of Bollobás, Kim and Verstraëte. In addition, we show that w.h.p. such a subgraph can be found in linear time. A substantial element of the proof is the analysis of a randomized algorithm for finding $k$-matchings in random graphs with minimum degree $k+1$.

Consider the random graph process $\{G_t\}_{t\geq 0}$. For $k\geq 3$ let $G_{t}^{(k)}$ denote the $k$-core of $G_t$ and let $τ_k$ be the minimum $t$ such that the $k$-core of $G_t$ is nonempty. It is well known that w.h.p. for $G_{τ_k}^{(k)}$ has linear size while it is believed to be Hamiltonian. Bollobás, Cooper, Fenner and Frieze further conjectured that w.h.p. $G_{t}^{(k)}$ spans $\lfloor \frac{k-1}{2} \rfloor$ edge-disjoint Hamilton cycles plus, when $k$ is even, a perfect matching for $t\geq τ_k$. We prove that w.h.p.\@ if $k$ is odd then $G_{t}^{(k)}$ spans $\frac{k-3}{2}$ edge disjoint Hamilton cycles plus an additional 2-factor whereas if $k$ is even then it spans $\frac{k-2}{2}$ edge disjoint Hamilton cycles plus an additional matching of size $n/2-o(n)$ for $t\geq τ_k$. In particular w.h.p. $G_{t}^{(k)}$ is Hamiltonian for $k\geq 4$ and $t\geq τ_k$. This improves upon results of Krivelevich, Lubetzky and Sudakov.

The power graph $P(G)$ of a finite group $G$ is the undirected simple graph with vertex set $G$, where two elements are adjacent if one is a power of the other. In this paper, the matching numbers of power graphs of finite groups are investigated. We give upper and lower bounds, and conditions for the power graph of a group to possess a perfect matching. We give a formula for the matching number for any finite nilpotent group. In addition, using some elementary number theory, we show that the matching number of the enhanced power graph $P_e(G)$ of $G$ (in which two elements are adjacent if both are powers of a common element) is equal to that of the power graph of $G$.

Cluster algebra structures for Grassmannians and their (open) positroid strata are controlled by a Postnikov diagram D or, equivalently, a dimer model on the disc, as encoded by either a bipartite graph or the dual quiver (with faces). The associated dimer algebra A, determined directly by the quiver with a certain potential, can also be realised as the endomorphism algebra of a cluster-tilting object in an associated Frobenius cluster category. In this paper, we introduce a class of A-modules corresponding to perfect matchings of the dimer model of D and show that, when D is connected, the indecomposable projective A-modules are in this class. Surprisingly, this allows us to deduce that the cluster category associated to D embeds into the cluster category for the appropriate Grassmannian. We show that the indecomposable projectives correspond to certain matchings which have appeared previously in work of Muller-Speyer. This allows us to identify the cluster-tilting object associated to D, by showing that it is determined by one of the standard labelling rules constructing a cluster of Plücker coordinates from D. By computing a projective resolution of every perfect matching module, we show that Marsh-Scott's formula for twisted Plücker coordinates, expressed as a dimer partition function, is a special case of the general cluster character formula, and thus observe that the Marsh-Scott twist can be categorified by a particular syzygy operation in the Grassmannian cluster category.

The colouring defect of a cubic graph, introduced by Steffen in 2015, is the minimum number of edges that are left uncovered by any set of three perfect matchings. Since a cubic graph has defect $0$ if and only if it is $3$-edge-colourable, this invariant can measure how much a cubic graph differs from a $3$-edge-colourable graph. Our aim is to examine the relationship of colouring defect to oddness, an extensively studied measure of uncolourability of cubic graphs, defined as the smallest number of odd circuits in a $2$-factor. We show that there exist cyclically $5$-edge-connected snarks (cubic graphs with no $3$-edge-colouring) of oddness $2$ and arbitrarily large colouring defect. This result is achieved by means of a construction of cyclically $5$-edge-connected snarks with oddness $2$ and arbitrarily large girth. The fact that our graphs are cyclically $5$-edge-connected significantly strengthens a similar result of Jin and Steffen (2017), which only guarantees graphs with cyclic connectivity at most $3$. At the same time, our result improves Kochol's original construction of snarks with large girth (1996) in that it provides infinitely many nontrivial snarks of any prescribed girth $g\ge 5$, not just girth at least~$g$.

Let $G$ be a simple graph with $2n$ vertices and a perfect matching. We denote by $f(G)$ and $F(G)$ the minimum and maximum forcing number of $G$, respectively. Hetyei obtained that the maximum number of edges of graphs $G$ with a unique perfect matching is $n^2$. We know that $G$ has a unique perfect matching if and only if $f(G)=0$. Along this line, we generalize the classical result to all graphs $G$ with $f(G)=k$ for $0\leq k\leq n-1$, and characterize corresponding extremal graphs as well. Hence we get a non-trivial lower bound of $f(G)$ in terms of the order and size. For bipartite graphs, we gain corresponding stronger results. Further, we obtain a new upper bound of $F(G)$. For bipartite graphs $G$, Che and Chen (2013) obtained that $f(G)=n-1$ if and only if $G$ is complete bipartite graph $K_{n,n}$. We completely characterize all bipartite graphs $G$ with $f(G)= n-2$.

We show that if a non-amenable, quasi-transitive, unimodular graph $G$ has all degrees even then it has a factor-of-iid balanced orientation, meaning each vertex has equal in- and outdegree. This result involves extending earlier spectral-theoretic results on Bernoulli shifts to the Bernoulli graphings of quasi-transitive, unimodular graphs. As a consequence, we also obtain that when $G$ is regular (of either odd or even degree) and bipartite, it has a factor-of-iid perfect matching. This generalizes a result of Lyons and Nazarov beyond transitive graphs.

We characterize hyperfinite bipartite graphings that admit measurable perfect matchings. In particular, we prove that every regular hyperfinite bipartite graphing admits a measurable perfect matching if it is one-ended or the degree is odd. We give several applications of this result, answering various open questions in the field. For instance, we extend the Lyons--Nazarov theorem by characterizing bipartite Cayley graphs which admit a factor of iid perfect matching, answering the bipartite case of a well-known question of Lyons and Nazarov, popularized by Kechris and Marks. Moreover, we show how our results apply to measurable equidecompositions and, in particular, generalize the recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring. Our approach applies more generally to rounding measurable perfect fractional matchings.