arXiv++ Combinatorics

It is a classical result that a random permutation of $n$ elements has, on average, about $\log n$ cycles. We generalise this fact to all directed $d$-regular graphs on $n$ vertices by showing that, on average, a random cycle-factor of such a graph has $\mathcal{O}((n\log d)/d)$ cycles. This is tight up to the constant factor and improves the best previous bound of the form $\mathcal{O}(n/\sqrt{\log d})$ due to Vishnoi. Our results also yield randomised polynomial-time algorithms for finding such a cycle-factor and for finding a tour of length $(1+\mathcal{O}((\log d)/d)) \cdot n$ if the graph is connected. This makes progress on a conjecture of Magnant and Martin and on a problem studied by Vishnoi and by Feige, Ravi, and Singh. Our proof uses the language of entropy to exploit the fact that the upper and lower bounds on the number of perfect matchings in regular bipartite graphs are extremely close.

We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.

We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $\smash{2^{n^{Ω(1)}}}$. This improves on the $n^{Ω(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.

Let $F$ be a strictly $1$-balanced $k$-graph on $s$ vertices with $t$ edges and $δ_{F,d}^T$ be the infimum of $δ>0$ such that for every $α>0$ and sufficiently large $n\in \mathbb{N}$, every $k$-graph system $\mathbf H=\{H_{1}, H_{2}, \dots ,H_{tn}\}$ on the same $sn$ vertices with $δ_d(H_i)\ge (δ+α)\binom{sn-d}{k-d}$, $i\in [tn]$ contains a transversal $F$-factor, that is, an $F$-factor consisting of exactly one edge from each $H_i$. In this paper we prove the following result. Let $\mathbf{H} =\{H_{1}, H_{2}, \dots ,H_{tn}\}$ be a $k$-graph system where each $H_{i}$ is an $sn$-vertex $k$-graph with $δ_d(H_i)\ge (δ_{F,d}^T+α)\binom{sn-d}{k-d}$. Then with high probability $\mathbf{H}(p) :=\{H_{1}(p), H_{2}(p), \dots ,H_{tn}(p)\}$ contains a transversal $F$-factor, where $H_i(p)$ is a random subhypergraph of $H_i$ and $p=Ω(n^{-1/d_1(F)-1}(\log n)^{1/t})$. This extends a recent result by Kelly, Müyesser and Pokrovskiy, and independently by Joos, Lang and Sanhueza-Matamala. Moreover, the assumption on $p$ is best possible up to a constant. Along the way, we also obtain a spread version of a result of Pikhurko on perfect matchings in $k$-partite $k$-graphs.

This paper focuses on the embeddability of hypercubes in an important class of Cayley graphs, known as augmented cubes. An $n$-dimensional augmented cube $AQ_n$ is constructed by augmenting the $n$-dimensional hypercube $Q_n$ with additional edges, thus making $Q_n$ a spanning subgraph of $AQ_n$. Dong and Wang (2019) first posed the problem of determining the number of $Q_n$-isomorphic subgraphs in $AQ_n$, which still remains open. By exploiting the Cayley properties of $AQ_n$, we establish a lower bound for this number. What's more, we develop a method for constructing pairs of $Q_n$-isomorphic subgraphs in $AQ_n$ with the minimum number of common edges. This is accomplished through the use of reciprocal perfect matchings, a technique that also relies on the Cayley property of $AQ_n$. As an application, we prove that $AQ_n$ admits $n-1$ edge-disjoint Hamiltonian cycles when $n\geq3$ is odd and $n-2$ cycles when $n$ is even, thereby confirming a conjecture by Hung (2015) for the odd case. Additionally, we prove that $AQ_n$ has a fault-free cycle of every even length from $4$ to $2^n$ with up to $4n-8$ faulty edges, when each vertex is incident to at least two fault-free edges. This result not only provides an alternative proof for the fault-tolerant Hamiltonicity of established by Hsieh and Cian (2010), but also extends their work by demonstrating the fault-tolerant bipancyclicity of $AQ_n$.

A spanning tree $T$ of a connected graph $G$ is a subgraph of $G$ that is a tree covers all vertices of $G$. The leaf distance of $T$ is defined as the minimum of distances between any two leaves of $T$. A fractional matching of a graph $G$ is a function $h$ assigning every edge a real number in $[0,1]$ so that $\sum\limits_{e\in E_G(v)}{h(e)}\leq1$ for any $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$. A fractional matching of $G$ is called a fractional perfect matching if $\sum\limits_{e\in E_G(v)}{h(e)}=1$ for any $v\in V(G)$. A graph $G$ with at least $2k+2$ vertices is said to be fractional $k$-extendable if every $k$-matching $M$ in $G$ is included in a fractional perfect matching $h$ of $G$ such that $h(e)=1$ for any $e\in M$. This paper considers a lower bound on the spectral radius of $G$ to guarantee that $G$ has a spanning tree with leaf distance at least $d$. At the same time, we obtain a lower bound on the spectral radius of $G$ to ensure that $G$ is fractional $k$-extendable.

The decision problem of perfect matchings in uniform hypergraphs is famously an NP-complete problem. It has been shown by Keevash--Knox--Mycroft [STOC, 2013] that for every $\varepsilon>0$, such decision problem restricted to $k$-uniform hypergraphs $H$ satisfying that every $(k-1)$-set of vertices is in at least $(1/k+\varepsilon)|H|$ edges is tractable, and the quantity $1/k$ is best possible. In this paper we study the existence of perfect matchings in the random $p$-sparsification of such $k$-uniform hypergraphs, that is, for $p=p(n)\in [0,1]$, every edge is kept with probability $p$ independent of others. As a consequence, we give a polynomial-time algorithm that with high probability solves the decision problem; we also derive effective bounds on the number of perfect matchings in such hypergraphs. At last, similar results are obtained for the $F$-factor problem in graphs. The key ingredients of the proofs are a strengthened partition lemma for the lattice-based absorption method, and the random redistribution method developed recently by Kelly, Müyesser and Pokrovskiy, based on the spread method.

The twisted graph $T_{n}$ is a drawing of the complete graph with $n$ vertices $v_{1},v_{2},\ldots ,v_{n}$ in which two edges $v_{i}v_{j}$ ($i<j$) and $v_{s}v_{t}$ ($s<t$) cross if and only if $i<s<t<j$ or $s<i<j<t$. We show that for any maximal plane subgraphs $S$ and $R$ of $T_{n}$, each containing at least one perfect matching, there is a sequence $S=F_0, F_1, \ldots, F_m=R$ of maximal plane subgrahs of $T_n$, also containing perfect matchings, such that for $i=0,1, \ldots, m-1$, $F_{i+1}$ can be obtained from $F_{i}$ by a single edge exchange.

We investigate generalisations of 1-factorisations and hyperfactorisations of the complete graph $K_{2n}$. We show that they are special subsets of the association scheme obtained from the Gelfand pair $(S_{2n},S_2 \wr S_n)$. This unifies and extends results by Cameron (1976) and gives rise to new existence and non-existence results. Our methods involve working in the group algebra $\mathbb{C}[S_{2n}]$ and using the representation theory of $S_{2n}$.

A hypergraph is \textit{bipartite with bipartition} $(A, B)$ if every edge has exactly one vertex in $A$, and a matching in such a hypergraph is \textit{$A$-perfect} if it saturates every vertex in $A$. We prove an upper bound on the number of $A$-perfect matchings in uniform hypergraphs with small maximum codegree. Using this result, we prove that there exist order-$n$ Latin squares with at most $(n/e^{2.117})^n$ transversals when $n$ is odd and $n \equiv 0\pmod 3$. We also show that $k$-uniform $D$-regular hypergraphs on $n$ vertices have at most $((1+o(1))q/e^k)^{Dn/k}$ proper $q$-edge-colorings when $q = (1+o(1))D$ and the maximum codegree is $o(q)$.

Recently, Adiprasito et al. have initiated the study of the so-called no-dimensional Tverberg problem. This problem can be informally stated as follows: Given $n\geq k$, partition an $n$-point set in Euclidean space into $k$ parts such that their convex hulls intersect a ball of relatively small radius. In this survey, we aim to present the recent progress towards solving the no-dimensional Tverberg problem and new open questions arising in its context. Also, we discuss the colorful variation of this problem and its algorithmic aspects, particularly focusing on the case when each part of a partition contains exactly 2 points. The latter turns out to be related to the following no-dimensional Tverberg-type problem of Huemer et al.: For an even set of points in Euclidean space, find a perfect matching such that the balls with diameters induced by its edges intersect.

A subset $X$ of vertices in a graph $G$ is a {\em diameter 2 subset} if the distance of any two vertices of $X$ is at most two {\em in $G[X]$}. Relaxing this notion, a subset $X$ of vertices in a graph $G$ is a {\em 2-reachable subset} if the distance of any two vertices of $X$ is at most two {\em in $G$}. Related to recent attempts to strengthen a well-known conjecture of Ryser, English et al. conjectured that the vertices of a $2$-edge-colored cocktail party graph (the graph obtained from a complete graph with an even number of vertices by deleting a perfect matching) can be covered by the vertices of two monochromatic diameter $2$ subsets. In this note we prove the relaxed form of this conjecture, replacing diameter $2$ by $2$-reachable. An immediate corollary is that $2$-colored cocktail party graphs on $n$ vertices must contain a monochromatic $2$-reachable subset with at least $n\over 2$ vertices (and this is best possible).

This work studies the complexity of refuting the existence of a perfect matching in spectral expanders with an odd number of vertices, in the Polynomial Calculus (PC) and Sum of Squares (SoS) proof system. Austrin and Risse [SODA, 2021] showed that refuting perfect matchings in sparse $d$-regular \emph{random} graphs, in the above proof systems, with high probability requires proofs with degree $Ω(n/\log n)$. We extend their result by showing the same lower bound holds for \emph{all} $d$-regular graphs with a mild spectral gap.

In this work we establish several monotonicity and decomposition results in the framework of random regular graphs. Among other results, we show that, for a wide range of parameters $d_1 \leq d_2$, there exists a coupling of $G(n,d_1)$ and $G(n,d_2)$ satisfying that $G(n,d_1) \subseteq G(n,d_2)$ with high probability, confirming a conjecture of Gao, Isaev and McKay in a new regime. Our contributions include new tools for analysing contiguity and total variation distance between random regular graph models, a novel procedure for generating unions of random edge-disjoint perfect matchings, and refined estimates of Gao's bounds on the number of perfect matchings in random regular graphs. In addition, we make progress towards another conjecture of Isaev, McKay, Southwell and Zhukovskii.

We study two measures of uncolourability of cubic graphs, their colouring defect and perfect matching index. The colouring defect of a cubic graph $G$ is the smallest number of edges left uncovered by three perfect matchings; the perfect matching index of $G$ is the smallest number of perfect matchings that together cover all edges of $G$. We provide a complete characterisation of cubic graphs with colouring defect $3$ whose perfect matching index is greater or equal to $5$. The result states that every such graph arises from the Petersen graph with a fixed $6$-cycle $C$ by substituting edges or vertices outside $C$ with suitable $3$-edge-colourable cubic graphs. Our research is motivated by two deep and long-standing conjectures, Berge's conjecture stating that five perfect matchings are enough to cover the edges of any bridgeless cubic graph and the shortest cycle cover conjecture of Alon and Tarsi suggesting that every bridgeless graph can have its edges covered with cycles of total length at most $7/5\cdot m$, where $m$ is the number of edges. We apply our characterisation to showing that every cubic graph with colouring defect $3$ admits a cycle cover of length at most $4/3\cdot m +1$, where $m$ is the number of edges, the bound being achieved by the graphs whose perfect matching index equals $5$. We further prove that every snark containing a $5$-cycle with an edge whose endvertices removed yield a $3$-edge-colourable graph has a cycle cover of length at most $4/3\cdot m+1$, as well.

A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching (not necessarily as an induced subgraph). The paired domination number, $γ_{\mathrm{pr}}(G)$, of $G$ is the minimum cardinality of a paired dominating set of $G$. We present a linear algorithm for computing the paired domination number of a tree. As an application of our algorithm, we prove that the paired domination number is asymptotically normal in a random rooted tree of order $n$ generated by a conditioned Galton-Watson process as $n\to\infty$. In particular, we have found that the paired domination number of a random Cayley tree of order $n$, where each tree is equally likely, is asymptotically normal with expectation approaching $(0.5177\ldots)n$.

We give, for each $k \geq 3$, the precise best possible minimum positive codegree condition for a perfect matching in a large $k$-uniform hypergraph $H$ on $n$ vertices. Specifically we show that, if $n$ is sufficiently large and divisible by $k$, and $H$ has minimum positive codegree $δ^+(H) \geq \frac{k-1}{k}n - (k-2)$ and no isolated vertices, then $H$ contains a perfect matching. For $k=3$ this was previously established by Halfpap and Magnan, who also gave bounds for $k \geq 4$ which were tight up to an additive constant.

We proved that for any finite collection of sparse subgraphs $(D_m)_{m=1}^\ell$ of the complete graph $K_{2n}$, and a uniformly chosen perfect matching $R$ in $K_{2n}$, the random vector $(|E(R \cap D_m)|)_{m=1}^\ell$ jointly converges to a vector of independent Poisson random variables with mean $|E(D_m)|/(2n)$. We also showed a similar result when $K_{2n}$ is replaced by the balanced complete $r$-partite graph $K_{r \times 2n/r}$ for fixed $r$ and determined the asymptotic joint distribution. The proofs rely on elementary tools of the Principle of Inclusion-Exclusion and generating functions. These results extend recent works of Johnston, Kayll and Palmer, Spiro and Surya, and Granet and Joos from the univariate to the multivariate setting.

A set-system $S\subseteq \{0,1\}^n$ is cube-ideal if its convex hull can be described by capacity and generalized set covering inequalities. In this paper, we use combinatorics, convex geometry, and polyhedral theory to give exponential lower bounds on the size of cube-ideal set-systems, and linear lower bounds on their VC dimension. We then provide applications to graph theory and combinatorial optimization, specifically to strong orientations, perfect matchings, dijoins, and ideal clutters.

It has recently been shown in [\emph{Discrete Appl. Math.} {\bf 366} (2025) 75--85] that the resonance graph of a plane elementary bipartite graph $G$ is a daisy cube if and only if $G$ is peripherally 2-colorable. Let $G$ be a peripherally 2-colorable graph and $R(G)$ be its resonance graph. We provide a decomposition structure of $R(G)$ with respect to an arbitrary finite face of $G$ together with a proper labelling for the vertex set of $R(G)$. An algorithm is obtained to generate a proper labelling for all perfect matchings of $G$ which induces an isometric embedding of $R(G)$ as a daisy cube into an $n$-dimensional hypercube, where $n$ is the isometric dimension of $R(G)$. Moreover, the algorithm can be applied to generate such a proper labelling for all perfect matchings of any plane weakly elementary bipartite graph whose each elementary component with more than two vertices is peripherally 2-colorable. We also compare two binary codings for all perfect matchings of $G$ which induces distinct structures on $R(G)$: one as a daisy cube and the other as a finite distributive, respectively.