arXiv++ Combinatorics

In 1963, Anton Kotzig famously conjectured that $K_{n}$, the complete graph of order $n$, where $n$ is even, can be decomposed into $n-1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. The problem is still wide open and here we consider a variant of it for the binomial random graph $G(n,p)$. We prove that, for every fixed $k$, there exists a constant $C=C(k)$ such that, when $p\ge \frac{C \log n}{n}$, with high probability, $G(n,p)$ contains $k$ edge-disjoint perfect matchings with the property that every pair of them forms a Hamilton cycle. In fact, our main result is a very precise counting result for $K_n$. We show that, given any $k$ edge-disjoint perfect matchings $M_1,\dots,M_k$, the probability that a uniformly random perfect matching $M^*$ in $K_n$ has the property that $M^*\cup M_i$ forms a Hamilton cycle for each $i\in [k]$ is $Θ_k(n^{-k/2})$. This is proved by building on a variety of methods, including a random process analysis, the absorption method, the entropy method and the switching method. The result on the binomial random graph follows from a slight strengthening of our counting result via the recent breakthroughs on the expectation threshold conjecture.

A paired dominating set of a graph $G$ is a dominating set $D$ such that $G[D]$ has a perfect matching. The minimum size of such a set is the paired domination number $\gpr(G)$. Desormeaux and Henning conjectured that every cubic bipartite graph $G$ of order $n$ satisfies $\gpr(G)\le n/2$. We prove the conjecture in the sharp integer form $\gpr(G)\le 2\lfloor |V(G)|/4\rfloor$ for every finite simple cubic bipartite graph $G$. The proof combines a directed contraction along a perfect matching, switching arguments based on dominator trees, a four-symbol boundary calculus for two-edge cuts, and the Gallai--Edmonds decomposition. Equality is attained by $K_{3,3}$ when $|V(G)|\equiv2\pmod4$ and by the cube $Q_3$ when $|V(G)|\equiv0\pmod4$.

Lecture notes from a graduate course given by Michael Krivelevich at the School of Mathematical Sciences of Tel Aviv University in the spring semester of 2026. Topics covered include: phase transition and the giant component in $G(n,p)$; long paths and cycles in supercritical and sparse random graphs; thresholds for connectedness and perfect matching; general model of a random subgraph of a finite graph; phase transition and the giant component in the random hypercube; polynomial diameter of the giant component; perfect matchings in the random hypercube.

A proof of the cycle double cover conjecture was recently announced, yielding an $8$-cycle double cover for every bridgeless graph. The stronger $5$-cycle double cover conjecture, which is still open, is equivalent to the statement that the edge set of every bridgeless claw-free cubic graph can be covered by at most four perfect matchings. Perfect matchings in bridgeless cubic graphs have been studied extensively, with two of the main conjectures in this area being the Berge--Fulkerson and the Fan--Raspaud conjectures. The latter, a consequence of the former, states that every bridgeless cubic graph admits three perfect matchings $M_1, M_2, M_3$ such that $M_1\cap M_2\cap M_3=\emptyset$. Here we show that the Fan--Raspaud conjecture is true for bridgeless claw-free cubic graphs. This also gives further information on the interaction of perfect matchings in a class where the $5$-cycle double cover conjecture requires control of four of them.

Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. For $α\in[0,1)$, we use $A_α(G)$ and $ρ_α(G)$ to denote the $A_α$-matrix and the $A_α$-spectral radius of $G$, respectively. The binding number $\mbox{bind}(G)$ of $G$ is defined by $\mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}$. If $\mbox{bind}(G)\geq1$, then $G$ is called 1-binding. A perfect matching in $G$ is a set of nonadjacent edges covering every vertex of $G$. Tutte proved that a graph $G$ of even order has a perfect matching if and only if $o(G-S)\leq|S|$ holds for every $S\subseteq V(G)$ [W. Tutte, The factorization of linear graphs, J. Lond. Math. Soc. 22 (1947) 107--111]. In this paper, we use Tutte's result to prove that a connected 1-binding graph $G$ of even order $n$ with $n\geq n(α)$ has a perfect matching unless $G=K_1\vee(K_{n-5}\cup K_3\cup K_1)$ if $ρ_α(G)\geqρ_α(K_1\vee(K_{n-5}\cup K_3\cup K_1))$, where $n(α)$ is defined as follows: $n(α)=\max\{18,\frac{2+8α}{1-2α}\}$ if $α\in[0,\frac{1}{2})$, and $n(α)=18$ if $α=\frac{1}{2}$.

It is well-known that an undirected graph has no odd cycle if and only if it is bipartite. A less obvious, but similar result holds for directed graphs: a strongly connected digraph has no odd cycle if and only if it is bipartite. Can this result be further generalized to more general graphs such as edge-colored graphs? In this paper, we study this problem and show how to decide if there exists an odd properly colored cycle in a given edge-colored graph. As a by-product, we show how to detect if there is a perfect matching in a graph with even (or odd) number of edges in a given edge set.

For a $3$-uniform hypergraph $H$, let $σ(H)$ be the minimum over the vertices of $H$ of the spectral radius of the link. Lin, Lu, Yuan and Zhao conjectured that $σ(H)>\tfrac{2n}3-2$ forces a perfect matching in a $3$-graph of order $n$ divisible by three, and Lu and Yuan conjectured that $σ(H)>τ(q)$ forces one in a $q$-balanced $3$-partite $3$-graph, where $τ(q)=\sqrt{q(q-1)/2}$ for odd $q$ and $τ(q)$ is given by a quartic for even $q$. In this paper, we prove both perfect matching conjectures for large order. Each proof passes through a stability theorem for fractional matchings: a fractional vertex cover of deficient weight with a zero coordinate is obtained, the link of that vertex carries the induced cover, and the spectral radius of such a link is bounded by an inequality whose extremal cases identify the corresponding space barriers.

Let $G$ be a simple graph of even order at least four, and let $K_G$ denote the complete graph on $V(G)$. A perfect matching of $K_G$ is called a pairing of $G$. The graph $G$ has the Pairing-Hamiltonian property, or PH-property, if every pairing $M$ of $G$ admits a perfect matching $N\subseteq E(G)$, disjoint from $M$, such that $M\cup N$ is a Hamiltonian cycle of $K_G$. We prove that the PH-property is preserved under Cartesian products. More precisely, for graphs $G$ and $H$ of even order at least four, we show that both $G$ and $H$ are PH if and only if every pairing of $G\square H$ admits a Hamiltonian completion contained in a spanning union of vertex-disjoint prisms determined by a perfect matching of $G$ or of $H$. Without this support restriction, the converse fails: a Cartesian product may be PH even when neither of the two graphs is PH.

Conway's 99-graph problem asks whether a strongly regular graph with parameters $\mathrm{srg}(99,14,1,2)$ exists. We develop two complementary lines of attack. Fixing one vertex, the conditions $λ=1$ and $μ=2$ force its neighbourhood to be a perfect matching and determine every edge between that neighbourhood and the remaining vertices. For $(99,14,1,2)$, the unresolved part is therefore a constrained $12$-regular graph on $84$ vertices. We encode this reduction in CP-SAT and validate it by recovering the unique $\mathrm{srg}(9,4,1,2)$. We also prove by exhaustive enumeration that no circulant graph on $\mathbb{Z}/99$ satisfies more than $68.0\%$ of the CAISc constraints, and we give a validated orbit formulation for prescribed automorphisms. We then study the partial-score search problem. Fourteen human-designed search configurations reached at most $69.43\%$. Separately, we supplied the scoring function to an evolutionary program-search system. It produced a degree-preserving $4$-vertex-switch tabu search whose best verified artifact scores $70.73\%$. The generated move differs from those used in our own searches and crosses a plateau that was stable under them. These results do not resolve the existence problem, but they reduce the exact search space and improve the best verified partial construction found in our experiments.

Coronoid systems, nanotubes and toroidal polyhexes (or fullerenes) can all be regarded as carbon networks composed of carbon atoms linked in hexagonal shapes. The resonance graphs of coronoid systems and nanotubes are not necessarily connected. For coronoid systems and elementary nanotubes, by using flow across cuts the present authors gave criteria for two perfect matchings lying in the same connected component of the resonance graph (Discrete Appl. Math. 395 (2026) 443-455). However, the sufficiency of such criterion does not hold for general nanotubes and toroidal polyhexes. In this paper we strengthen this requirement to obtain valid criteria for two perfect matchings of a nanotube (resp. toroidal polyhex) to lie in the same connected component of its resonance graph: they have the same flows across cuts along the $x$-axis (resp. longitude and latitude) and the same ladders. For toroidal polyhexes, our method uses homotopic classes of simple loops on the torus, and the above criterion can be simplified by using only simple flows, for the case in which two perfect matchings have alternating hexagons.

A prime circle of order $2n$ is a circular ordering of $1,\ldots,2n$ such that the sum of every two adjacent terms is prime. We prove that a prime circle exists for every sufficiently large $n$. The proof is based on a perfect matching and robust expansion. We also study Hamilton cycles in graphs and digraphs defined by primitive sums and differences over finite fields. In particular, the primitive-sum graph on $\F_q$ is Hamiltonian for every prime power $q>18\,888\,871$, and for the graph on a full prime field $\F_p$, the bound improves to $p>61$.

The List Edge-Coloring Conjecture predicts that any graph whose edges can be colored with $k$ colors can also be colored from arbitrary lists of $k$ colors. We prove its stronger online form for two new infinite families, $K_{p-1}$ and $K_{2p}$, where $p$ is an odd prime. For even $n$, order the vertices of $K_n$ and draw each perfect matching as arcs above them. Count crossings separately within each matching, and let $S_n$ be the number of decompositions into perfect matchings having an even total crossing count minus the number having an odd total. Then \[ S_{p-1}\equiv\left(\frac{-2}{p}\right)\pmod p, \qquad S_{2p}\equiv-p\pmod {p^2}. \] The two congruences are governed by the same elementary matching sum over $\F_p$, although their proofs use the prime $p$ differently. Their nonzero residues give the conjectured values even in the online game. They also treat the corresponding complete graphs with one perfect matching removed, as well as $K_{2p}$ after deleting some, but not all, of a natural cyclic family of $p$ disjoint perfect matchings.

The independence complex and perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining their homotopy types is generally difficult, with explicit descriptions known mainly for highly structured graph families. In this article, we determine the homotopy types of these complexes for the Möbius ladder graphs $M_{2n}$ and circular ladder graphs $\mathcal{C}_{2n}$. The Möbius ladder graphs $M_{2n}$ are highly symmetric cubic graphs obtained from a $2n$-cycle by joining opposite vertices, while the circular ladder graphs $\mathcal{C}_{2n}$ are the Cartesian products of an $n$-cycle and a path of length one. We show that $\operatorname{Ind}(M_{2n})$ and $\operatorname{Ind}(\mathcal{C}_{2n})$ have the homotopy type of wedges of spheres, with the numbers and dimensions of the spheres exhibiting periodic behavior according to $n$ modulo $4$. For the perfect matching complex $\mathcal{M}_p(M_{2n})$, its homotopy type is a wedge of two copies of $\mathbb{S}^{(n-2)/2}$ when $n$ is even, while for odd $n$ it has the homotopy type of a wedge of spheres whose numbers and dimensions depend periodically on $n$ modulo $6$. The perfect matching complex $\mathcal{M}_p(\mathcal{C}_{2n})$ is contractible for odd $n$, whereas for even $n$ its homotopy type is a wedge of spheres, with the numbers and dimensions determined periodically by $n$ modulo $6$. Thus, we obtain explicit homotopy types for the independence and perfect matching complexes of two highly symmetric families of cubic graphs, which are also relevant in crystallization theory and the combinatorial representation of PL manifolds.

A perfect matching in an ordered graph is nonnested if no edge lies strictly inside another. We classify the smallest edge sets meeting every nonnested perfect matching on $2k$ ordered vertices. For $k\ge2$, these blockers have $k$ edges and belong to three explicit families, with $2^k+k-2$ members in total. The proof uses a minimum spanning tree of an auxiliary interval cut; its equality case also classifies the minimum blockers for concatenations of crossing matchings. The argument gives a deterministic algorithm that, from at most $k$ deleted edges, returns a minimum blocker description or an avoiding nonnested perfect matching in $O(k^2)$ word operations and $O(k)$ auxiliary words. We also give an injection from one of the blocker families into minimum blockers of $123$-avoiding permutation matrices. Beyond the perfect case, an explicit construction gives graphs with $(k-1)n+1$ edges and no nonnested $k$-matching for every $k\ge5$ and $n\ge2k+1$.

A graph on \(n\) vertices is called a Parter graph if there exists a nonsingular symmetric matrix, whose nonzero off-diagonal entries correspond exactly to the edges of the graph, such that all of its principal submatrices of order \(n-1\) are singular. Previously, a graph satisfying this condition was said to have property~(P). It was proved that, for bipartite graphs of cycle rank at most \(3\), being a Parter graph is equivalent to the existence of a perfect matching. We extend this result to cycle rank \(4\), proving that every bipartite graph of cycle rank at most \(4\) is a Parter graph if and only if it has a perfect matching. Furthermore, we show that this bound is sharp by constructing, for every integer \(r\ge5\), a connected balanced bipartite Parter graph of cycle rank \(r\) that has no perfect matching.

Chvátal conjectured that amongst the largest intersecting subfamilies of a finite subset-closed family of sets is a star. Kleitman later strengthened Chvátal's conjecture, defining a partial ordering on the vector space freely generated by $2^{[n]}$ and suggesting that the vector of every maximal intersecting subfamily of $2^{[n]}$ is bigger than a convex combination of stars. We restate Kleitman's conjecture in terms of the cochain complex of the discrete cube, describing it as the optimization of a convex objective. We examine the pseudoinverse of the codifferential, along with its relation to monotonicity, through which we recover the Harris-Kleitman inequality and give a generalization of a theorem of Frankl and Kupavskii on perfect matchings in superset-closed families. We show level families to satisfy Kleitman's conjecture, providing explicit cochains. We further show maximal intersecting families in the union of two stars and nonnegative threshold families to satisfy Kleitman's conjecture. We close with several strengthenings of the conjecture and related open problems.

A connected graph is matching covered if it has at least one edge and every edge lies in some perfect matching.Lovász proved that every matching covered graph G can be uniquely decomposed into a list of bricks and braces up to multiple edges. Denote by b(G) the number of bricks in such a decomposition. An edge e of G is removable if G-e is also matching covered; is b-invariant if e is removable and b(G-e)=b(G). Furthermore, an edge e of G is a forcing edge if it lies in precisely one perfect matching of G. Lucchesi and Murty proposed the problem of characterizing bricks, distinct from K_4, \overline{C_6}, and the Petersen graph, in which every b-invariant edge is a forcing edge. In this paper, we solve this problem for near-bipartite bricks by providing a complete characterization.

For every positive integer $k$, we prove that the homogeneous cut semigroup of every $K_5$-minor-free graph is saturated at height $k$ if and only if every planar $k$-graph is $k$-edge-colourable. Here a $k$-graph is a loopless $k$-regular multigraph in which every odd vertex cut has size at least $k$. A triangle expansion of a cubic plane dual converts cut decompositions into perfect-matching decompositions. The converse uses symmetric difference with a fixed perfect matching. The equivalence identifies the normality conjecture for $K_5$-minor-free cut polytopes with Seymour's planar edge-colouring conjecture. In particular, the known cases $k\leq 8$ give saturation through height eight.

Let $G$ be a simple graph on $n$ vertices and $e(G)$ edges. Let $μ_1\geq \cdots \geq μ_{n-1}\geq μ_n=0$ be the Laplacian eigenvalues of $G$. For $k=1, \ldots, n$, let $S_k(G)=\sum_{i=1}^{k}μ_i$. Brouwers conjecture asserts that for any $k\in\{1,\ldots, n\}$, $S_k(G)\leq e(G)+\binom{k+1}{2}$. In [Bounding the sum of the largest Laplacian eigenvalues of graphs, {\em Discrete Appl. Math.}, 170:95--103, (2014)], Rocha and Trevisan showed that the conjecture holds true for $1 \leq k \leq \lfloor g/5 \rfloor$, where $g$ denotes the girth of $G$. This bound on $k$ was later improved by Chen in [Improved results on Brouwers conjecture for sum of the Laplacian eigenvalues of a graph, {\em Linear Algebra Appl.}, 557:327--338, (2018)], who established that the conjecture holds for $1 \leq k \leq \lfloor g/4 \rfloor$. In this article, we further strengthen these results by proving that the Brouwers conjecture holds for $1\leq k\leq\left\lfloor \frac{m(G)}{2}\right\rfloor,$ where $m(G)$ denotes the matching number of $G$. Since $m(G)\geq \lfloor g/2\rfloor$, the case constitutes a genuine improvement over the aforementioned results. As an application, we show that if $G$ is a graph of order $n$ and with a perfect matching, then the Brouwers conjecture holds for $1\leq k\leq \left\lfloor \frac{n}{4}\right\rfloor$. Finally, we provide a new perspective on verifying Brouwers conjecture by proving that $G$ satisfies the Brouwers conjecture if and only if for a fixed positive integer $h$, $\mathcal{S}_h(\overline{G})\leq e(\overline{G})+\binom{h+1}{2}$ holds whenever $\mathcal{S}_h(G)\leq e(G)+\binom{h+1}{2}$, where $\overline{G}$ denotes the complement of $G$.

Sterboul and Deming gave classical matching-based characterizations of non-Kőnig--Egerváry graphs through flower--posy and blossom-pair configurations. We consider two classical configuration families, denoted \(T\) and \(S\), and introduce a new walk-based family \(J\), based on \(J\)-flowers and \(J\)-posies. Our main result proves that, for every graph \(G\), \[ \SD_T(G)=\SD_S(G)=\SD_J(G). \] Thus the additional flexibility of the \(J\)-framework preserves the set of vertices detected by the classical configurations. The proof is vertex-preserving and passes through strict-Hall structure in traces of \(J\)-posies. As a consequence, every prescribed vertex of a connected matchable strict-Hall graph lies in a rigid \(T\)-posy for a suitable perfect matching, linking the theory naturally with matching-covered graphs.