arXiv++ Combinatorics

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.

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$ admits a perfect matching. The minimum cardinality of a paired dominating set of $G$ is the paired domination number $\gpr(G)$ of $G$. We show that if $G$ is a graph of order~$n$ and $δ(G) \ge 4$, then $\gpr(G) \le \frac{10}{17}n < 0.5883 n$.

A tanglegram of size n is a graph formed from two rooted binary trees with n leaves each and a perfect matching between their leaf sets. Tanglegrams are used to model co-evolution in various settings. A tanglegram layout is a straight line drawing where the two trees are drawn as plane trees with their leaf-sets on two parallel lines, and only the edges of the matching may cross. The tangle crossing number of a tanglegram is the minimum crossing number among its layouts. It is known that tanglegrams have crossing number at least one precisely when they contain one of two size 4 subtanglegrams, which we refer to as cross-inducing subtanglegrams. We show here that a tanglegram with exactly one cross inducing subtanglegram must have tangle crossing number exactly one, and ask the question whether the tangle-crossing number of tanglegrams with exactly k cross-inducing subtanglegrams is bounded for every k.

Contraction of triangles is a standard operation in the study of cubic graphs, as it reduces the order of the graph while typically preserving many of its properties. In this paper, we investigate the converse problem, wherein certain vertices of cubic graphs are expanded into triangles to achieve a desired property. We first focus on bridgeless cubic graphs and define the parameter $T(G)$ as the minimum number of vertices that need to be expanded into triangles so that the resulting cubic graph can be covered with four perfect matchings. We relate this parameter to the concept of shortest cycle cover. Furthermore, we show that if $5$-Cycle Double Cover Conejcture holds true, then $T(G)\leq \frac{2}{5} |V(G)|$. We conjecture a tighter bound, $T(G)\leq \frac{1}{10}|V(G)|$, which is optimal for the Petersen graph, and show that this bound follows from major conjectures like the Petersen Coloring Conjecture. In the second part of the paper, we introduce the parameter $t(G)$ as the minimum number of vertex expansions needed for the graph to admit a perfect matching. We prove a Gallai type identity: $t(G)+\ell(G)=|V(G)|$, where $\ell(G)$ is the number of edges in a largest even subgraph of $G$. Then we prove the general upper bound $t(G)< \frac{1}{4}|V(G)|$ for cubic graphs, and $t(G)< \frac{1}{6}|V(G)|$ for cubic graphs without parallel edges. We provide examples showing that these bounds are asymptotically tight. The paper concludes with a discussion of the computational complexity of determining these parameters.

We prove that, for positive integers $n,a_1, a_2, a_3$ satisfying $a_1+a_2+a_3 = n-1$, it holds that any bipartite graph $G$ which is the union of three perfect matchings $M_1$, $M_2$, and $M_3$ on $2n$ vertices contains a matching $M$ such that $|M\cap M_i| =a_i$ for $i= 1,2,$ and $3$. The bound $n-1$ on the sum is best possible in general. Our result verifies the multiplicity extension of the Ryser-Brualdi-Stein Conjecture, proposed recently by Anastos, Fabian, Müyesser, and Szabó, for three colors.

The eternal vertex cover game is played between an attacker and a defender on an undirected graph $G$. The defender identifies $k$ vertices to position guards on to begin with. The attacker, on their turn, attacks an edge $e$, and the defender must move a guard along $e$ to defend the attack. The defender may move other guards as well, under the constraint that every guard moves at most once and to a neighboring vertex. The smallest number of guards required to defend attacks forever is called the eternal vertex cover number of $G$, denoted $evc(G)$. For any graph $G$, $evc(G)$ is at least the vertex cover number of $G$, denoted $mvc(G)$. A graph is Spartan if $evc(G) = mvc(G)$. It is known that a bipartite graph is Spartan if and only if every edge belongs to a perfect matching. We show that the only König graphs that are Spartan are the bipartite Spartan graphs. We also give new lower bounds for $evc(G)$, generalizing a known lower bound based on cut vertices. We finally show a new matching-based characterization of all Spartan graphs.

A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.