arXiv++ Combinatorics

A connected nontrivial graph $G$ is {\it matching covered} if every edge of $G$ is contained in some perfect matching of $G$. A matching covered graph $G$ is {\it minimal} if $G-e$ is not matching covered for each edge $e$ of $G$. A graph is said to be {\it factor-critical} if $G-v$ has a perfect matching for every $v\in V(G)$. A factor-critical graph $G$ is said to be {\it minimal factor-critical} if $G-e$ is not factor-critical graph for each edge $e\in E(G)$. In this paper, by employing ear decomposition and edge-exchange techniques, the greatest spectral radii of minimal matching covered bipartite graphs and minimal factor-critical graphs are determined, and the corresponding extremal graphs are characterized.

We consider the $q$-deformation of rational numbers introduced recently by Morier-Genoud and Ovsienko. We propose three enumerative interpretations of these $q$-rationals: in terms of a new version of Ostrowski's numeration system for integers, in terms of order ideals of fence posets and in terms of perfect matchings of snake graphs. Contrary to previous results which are restricted to rational numbers greater than one, our interpretations work for all positive rational numbers and are based on a single combinatorial object for defining both the numerator and denominator. The proofs rest on order-preserving bijections between posets over these objects. We recover a formula for a $q$-analog of Markoff numbers. We also deduce a fourth interpretation given in terms of the integer points inside a polytope in $\mathbb{R}^k$ on both sides of a hyperplane where $k$ is the length of the continued fraction expansion.

A graph of order $n$ is said to be \emph{$k$-factor-critical} ($0\leq k <n$) if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph $G$ is \emph{minimal} if $G-e$ is not $k$-factor-critical for any edge $e$ in $G$. Favaron and Shi posed the conjecture that every minimal $k$-factor-critical graph is of minimum degree $k+1$ in 1998. In this paper, we confirm the conjecture for planar graphs.

Let $G$ be a finite group and let $S$ be an inverse-closed subset of $G$ not containing the identity. The Cayley graph $\mathrm{Cay}(G,S)$ has vertex set $G$, where two vertices $x$ and $y$ are adjacent if and only if $x^{-1}y \in S$. Kaseasbeh and Erfanian (2021) determined the structure of all Cayley graphs on the dihedral group of order $2n$ for subsets $S$ of size at most three. We extend their work by analyzing the structure of such Cayley graphs for subsets $S$ of size at least four. Our main results are as follows: 1. using a classical result of Burnside and Schur, we determine the automorphism groups of Cayley graphs on dihedral groups of order $2p$, where $p$ ranges over infinitely many primes and $S$ consists only of rotations; 2. if $S$ consists of $4 \le 2k < n$ distinct rotations, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is the disjoint union of two isomorphic circulant graphs on $n$ vertices, and 3. if $S$ is a generating set of $4\leq k\leq n$ reflections, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is bipartite, forming the disjoint union of $k$ perfect matchings.

We study the perfect matching lattice of a matching covered graph $G$, generated by the incidence vectors of its perfect matchings. Building on results of Lovász and de Carvalho, Lucchesi, and Murty, we give a polynomial-time algorithm based on polyhedral methods that constructs a lattice basis for this lattice consisting of perfect matchings of $G$. By decomposing along certain odd cuts, we reduce the graph into subgraphs whose perfect matching polytopes coincide with their bipartite relaxations (known as \emph{Birkhoff von Neumann graphs}). This yields a constructive polyhedral proof of the existence of such bases and highlights new connections between combinatorial and geometric properties of perfect matchings.

We study robust versions of properties of $(n,d,λ)$-graphs, namely, the property of a random sparsification of an $(n,d,λ)$-graph, where each edge is retained with probability $p$ independently. We prove such results for the containment problem of perfect matchings, Hamiltonian cycles, and triangle factors. These results address a series of problems posed by Frieze and Krivelevich. First we prove that given $γ>0$, for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(d)$, $d=Ω(\log n)$ and $p\ge\frac{(1+γ)\log n}{d}$, $G\cap G(n,p)$ contains a Hamiltonian cycle (and thus a perfect matching if $n$ is even) with high probability. This result is asymptotically optimal. Moreover, we show that for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(\frac{d^2}{n})$, $d=Ω(n^{\frac{5}{6}}\log^{\frac{1}{2}}n)$ and $p\gg d^{-1}n^{\frac{1}{3}}\log^{\frac{1}{3}} n$, $G\cap G(n,p)$ contains a triangle factor with high probability. Here, the restrictions on $p$ and $λ$ are asymptotically optimal. Our proof for the triangle factor problem uses the iterative absorption approach to build a spread measure on the triangle factors, and we also prove and use a coupling result for triangles in the random subgraph of an expander $G$ and the hyperedges in the random subgraph of the triangle-hypergraph of $G$.

Let $U$ be a set of positive roots of type $ADE$, and let $Ω_U$ be the set of all maximum cardinality orthogonal subsets of $U$. For each element $R \in Ω_U$, we define a generalized Rothe diagram whose cardinality we call the level, $ρ(R)$, of $R$. We define the generalized quantum Hafnian of $U$ to be the generating function of $ρ$, regarded as a $q$-polynomial in $U$. Several widely studied algebraic and combinatorial objects arise as special cases of these constructions, and in many cases, $Ω_U$ has the structure of a graded partially ordered set with rank function $ρ$. A motivating example of the construction involves a certain set of $k^2$ roots in type $D_{2k}$, where the elements of $Ω_U$ correspond to permutations in $S_k$, the generalized Rothe diagrams are the traditional Rothe diagrams associated to permutations, the level of a permutation is its length, the generalized quantum Hafnian is the $q$-permanent, and the partial order is the Bruhat order. We exhibit many other natural examples of this construction, including one involving perfect matchings, two involving labelled Fano planes, and one involving the invariant cubic form in type $E_6$.

For a subset $X$ of the vertex set $\VV(\GG)$ of a graph $\GG$, we denote the set of edges of $\GG$ which have exactly one end in $X$ by $\partial(X)$ and refer to it as the cut of $X$ or edge cut $\partial(X)$. A graph $\GG=(\VV,\EE)$ is called matching covered if $\forall e \in \EE(\GG), ~\exists \text{a perfect matching }M \text{ of }\GG \text{ s. t. } e \in M$. A cut $C$ of a matching covered graph $\GG$ is a separating cut if and only if, given any edge $e$, there is a perfect matching $M_{e}$ of $\GG$ such that $e \in M_{e}$ and $|C \cap M_{e}| = 1$. A cut $C$ in a matching covered graph $\GG$ is a tight cut of $\GG$ if $|C \cap M| = 1$ for every perfect matching $M$ of $\GG$. For, $X, Y \subseteq \VV(\GG)$, we denote the set of edges of $\EE(\GG)$ which have one endpoint in $X$ and the other endpoint in $Y$ by $E[X,Y]$. Let $\partial(X)=E[X,\overline{X}]$ be an edge cut, where $\overline{X}=\VV(\GG) \setminus X$. An edge cut is trivial if $|X|=1$ or $|\overline{X}|=1$. A matching covered graph, which is free of nontrivial tight cuts, is a brace if it is bipartite and is a brick if it is non-bipartite. An edge $e$ in a brace $\GG$ is \emph{thin} if, for every tight cut $\partial(X)$ of $\GG - e$, $|X| \le 3$ or $|\overline{X}| \le 3$. Carvalho, Lucchesi and Murty conjectured that there exists a positive constant $c$ such that every brace $\GG$ has $c|\VV(\GG)|$ thin edges \cite{DBLP:journals/combinatorics/LucchesiCM15}. He and Lu \cite{HE2025153} showed a lower bound of thin edges in a brace in terms of the number of cubic vertices. We asked whether any planar brace exists that does not contain any cubic vertices. We answer negatively by showing that such set of planar braces is empty. We have been able to show a quantitively tight lower bound on the number of cubic vertices in a planar brace. We have proved tight upper bounds of nonthin edges and thin edges in a planar brace.

We establish new couplings among several random graph and multigraph models related to the random regular graph $G(n,d)$, including the configuration model and unions of random perfect matchings. As a main result, we verify the Kim-Vusandwich conjecture for all large degrees $d=n-O(\log^4 n)$ and prove a weakened version for $d=O(\log^4 n)$, which are the only remaining open cases. Our approach introduces a coupling framework that links $G(n,d)$ and $G(n,p)$ through a chain of intermediate models.

The perfect matching association scheme is a set of relations on the perfect matchings of the complete graph on $2n$ vertices. The relations between perfect matchings are defined by the cycle structure of the union of any two perfect matchings, and each relation can be represented as a matrix. Each matrix is labeled by an integer partition whose parts correspond to the size do the cycles in the union. Since these matrices form an association scheme, they are simultaneously diagonalizable. Further, it is well-known that the common eigenspaces correspond to the irreducible representations of $S_{2n}$ indexed by the even partitions of $2n$. In this paper, we conjecture that the second largest eigenvalue of the matrices in the perfect matching association scheme labeled by a partition containing at least two parts of size 1 always occurs on the eigenspace corresponding to the representation indexed by $[2n-2, 2]$. We confirm this conjecture for matrices labeled by the partitions $[2, 1^{n-2}], [3, 1^{n-3}], [2, 2, 1^{n-4}], [4, 1^{n-4}], [3, 2, 1^{n-5}]$, and $[5, 1^{n-5}]$, as well as any partition in which the first part is sufficiently large.

The \textit{longest path transversal number} of a connected graph $G$, denoted by $lpt(G)$, is the minimum size of a set of vertices of $G$ that intersects all longest paths in $G$. We present constant upper bounds for the longest path transversal number of \textit{hereditary classes of graphs}, that is, classes of graphs closed under taking induced subgraphs. Our first main result is a structural theorem that allows us to \textit{refine} a given longest path transversal in a graph using domination properties. This has several consequences: First, it implies that for every $t \in \{5,6\}$, every connected $P_t$-free graph $G$ satisfies $lpt(G) \leq t-2$. Second, it shows that every $(\textit{bull}, \textit{chair})$-free graph $G$ satisfies $lpt(G) \leq 5$. Third, it implies that for every $t \in \mathbb{N}$, every connected chordal graph $G$ with no induced subgraph isomorphic to $K_t \mat \overline{K_t}$ satisfies $lpt(G) \leq t-1$, where $K_t \mat \overline{K_t}$ is the graph obtained from a $t$-clique and an independent set of size $t$ by adding a perfect matching between them. Our second main result provides an upper bound for the longest path transversal number in \textit{$H$-intersection graphs}. For a given graph $H$, a graph $G$ is called an \textit{$H$-graph} if there exists a subdivision $H'$ of $H$ such that $G$ is the intersection graph of a family of vertex subsets of $H'$ that each induce connected subgraphs. The concept of $H$-graphs, introduced by Biró, Hujter, and Tuza, naturally captures interval graphs, circular-arc graphs, and chordal graphs, among others. Our result shows that for every connected graph $H$ with at least two vertices, there exists an integer $k = k(H)$ such that every connected $H$-graph $G$ satisfies $lpt(G) \leq k$.

We describe the relationships between the notion of $q$-deformed rational numbers, introduced in our previous work with Sophie Morier-Genoud, and the theory of dimer models. We show that $q$-deformed rationals can be calculated in terms of perfect matchings of certain bipartite graphs, known as snake graphs, or ribbon tiles, etc. equipped with a certain weight function on the set of edges. We apply some elements of the dimer theory to get more information about $q$-rationals.

A connected graph $G$ with a perfect matching is said to be $k$-extendable for integers $k$, $1 \leq k\leq \frac{|V(G)|}{2}-1$, if any matching in $G$ of size $k$ is contained in a perfect matching of $G$. A $k$-extendable graph is minimal if the deletion of any edge results in a graph that is not $k$-extendable. In 1994, Plummer proved that every $k$-extendable claw-free graph has minimum degree at least $2k$. Recently, He et al. showed that every minimal 1-extendable graph has minimum degree 2 or 3. In this paper, we prove that the minimum degree of a minimal 2-extendable claw-free graph is either $4$ or $5$.

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.

Given a bipartite graph that has a perfect matching, a prefect proportional allocation is an assignment of positive weights to the nodes of the right partition so that every left node is fractionally assigned to its neighbors in proportion to their weights, and these assignments define a fractional perfect matching. We prove that a bipartite graph has a perfect proportional allocation if and only if it is matching covered, by using a classical result on matrix scaling. We also present an extension of this result to provide simple proportional allocations in non-matching-covered bipartite graphs.

Let $n\in \mathbb{N}$ and $d_1 \geq d_2 \geq d_n\geq 1$ be integers. There is characterization of when $(d_1, d_1, \ldots, d_n)$ is the degree sequence of a graph containing a perfect matching, due to results of Lovász (1974) and Erdős and Gallai (1960). But \emph{which} perfect matchings can be realized in the labelled graph? Here we find the extremal answers to this question, showing that the sequence $(d_1, d_2, \ldots, d_n)$: (1) can realize a perfect matching iff it can realize $\{(1, n), (2,n-1), \ldots, (n/2, n/2+1)\}$, and; (2) can realize any perfect matching iff it can realize $\{(1, 2), (3,4), \ldots, (n-1, n)\}$. Our main result is a characterization of when (2) occurs, extending the work of Lovász and Erdős and Gallai. Separately, we are also able to establish a conjecture of Yin and Busch, Ferrera, Hartke, Jacobsen, Kaul, and West about packing graphic sequences, establishing a degree-sequence analog of the Sauer-Spencer packing theorem. We conjecture an $h$-factor analog of our main result, and discuss implications for packing $h$ disjoint perfect matchings.

In this paper we introduce the edge inducibility problem. This is a common refinement of both the well known Kruskal--Katona theorem and the inducibility question introduced by Pippenger and Golumbic. Our first result is a hardness result. It shows that for any graph $G$, there is a related graph $G'$ whose edge inducibility determines the vertex inducibility of $G$. Moreover, we determine the edge inducibility of every $G$ with at most $4$ vertices, and make some progress on the cases $G=C_5,P_6$. Lastly, we extend our hardness result to graphs with a perfect matching that is the unique fractional perfect matching. This is done by introducing locally directed graphs, which are natural generalizations of directed graphs.

A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we present a characterization of this problem when the bricks are claw-free.

Given an Abelian groups $G$, denote $μ(G)$ the size of its largest sum-free subset and $f_{\max}(G)$ the number of maximal sum-free sets in $G$. Confirming a prediction by Liu and Sharifzadeh, we prove that all even-order $G\ne \mathbb{Z}_2^k$ have exponentially fewer maximal sum-free sets than $\mathbb{Z}_2^k$, i.e. $f_{\max}(G) \leq 2^{(1/2-c)μ(G)}$, where $c > 10^{-64}$. We construct an infinite family of Abelian groups $G$ with intermediate growth in the number of maximal sum-free sets, i.e., with $ 2^{(\frac{1}{2}+c)μ(G)}\leq f_{\max}(G) \leq 3^{(\frac{1}{3}-c)μ(G)} $, where $c=10^{-4}$. This disproves a conjecture of Liu and Sharifzadeh and also answers a question of Hassler and Treglown in the negative. Furthermore, we determine for every even-order group $G$, the number of maximal distinct sum-free sets (where a distinct sum is $a+b= c$ with distinct $a,b,c$): it is $ 2^{(1/2+o(1))μ(G)}$ with the only exception being $G=\mathbb{Z}_2^k \oplus \mathbb{Z}_3$, when this function is $3^{(1/3+o(1))μ(G)}$, refuting a conjecture of Hassler and Treglown. Our proofs rely on a container theorem due to Green and Ruzsa. Other key ingredient is a sharp upper bound we establish on the number of maximal independent sets in graphs with given matching number, which interpolates between the classical results of Moon and Moser, and Hujter and Tuza. A special case of our bound implies that every $n$-vertex graph with a perfect matching has at most $2^{n/2}$ maximal independent sets, resolving another conjecture of Hassler and Treglown.

For two graphs $G$ and $H$, a mapping $f\colon E(G) \to E(H)$ is an $H$-coloring of $G$, if it is a proper edge-coloring and for every $v \in V(G)$ there exists a vertex $u \in V(H)$ with $f(\partial_G(v))=\partial_H(u)$. Motivated by the Petersen Coloring Conjecture, Mkrtchyan [A remark on the Petersen coloring conjecture of Jaeger, \emph{Australas. J. Combin.}, 56 (2013), 145-151] and Mkrtchyan together with Hakobyan [$S_{12}$ and $P_{12}$-colorings of cubic graphs, \emph{Ars Math. Contemp.}, 17 (2019), 431-445] made the following two conjectures. (I) Every cubic graph has an $S_{10}$-coloring, where $S_{10}$ is a graph on 10 vertices sometimes also referred to as the Sylvester graph. (II) Every cubic graph with a perfect matching has an $S_{12}$-coloring, where $S_{12}$ is the graph obtained from $S_{10}$ by replacing the central vertex with a triangle. In this note we present a (rather small) counterexample to both conjectures.