arXiv++ Combinatorics

The number of perfect matchings of a $k$-pfaffian graph can be counted by computing a linear combination of the pfaffians of $k$ matrices. The pfaffian number of a graph $G$ is the smallest integer $k$ such that $G$ is $k$-pfaffian. We present the first known lower bounds for the pfaffian number of graphs. As an intermediate step, we prove an upper bound for the rank of two matrices related to their Khatri-Rao product, a result of independent relevance. One of the consequences of these results is the existence of graphs whose pfaffian numbers are arbitrarily large.

We provide an explicit algorithm to solve the idempotent analogue of the discrete Monge-Kantorovich optimal mass transportation problem with the usual real number field replaced by the tropical (max-plus) semiring, in which addition is defined as the maximum and product is defined as usual addition, with minus infinity and zero playing the roles of additive and multiplicative identities. Such a problem may be naturally called tropical or "max-plus" optimal transportation problem. We show that the solutions to the latter, called the optimal tropical plans, may not correspond to perfect matchings even if the data (max-plus probability measures) have all weights equal to zero, in contrast with the classical discrete optimal transportation analogue, where perfect matching optimal plans in similar situations always exist. Nevertheless, in some randomized situation the existence of perfect matching optimal tropical plans may occur rather frequently. At last, we prove that the uniqueness of solutions of the optimal tropical transportation problem is quite rare.

A graph $G$ is called matching covered if all of its edges are contained in some perfect matching of $G$. Furthermore, a cycle $C \subseteq G$ is called conformal if $G - V(C)$ has a perfect matching and $G$ itself is called cycle-conformal if all of its even cycles are conformal. Both matching covered graphs and conformal cycles play central roles in matching theory. After a string of results from various authors, focused mainly on bipartite, planar graphs and claw-free graphs, a complete characterisation of all planar, cycle-conformal graphs has recently been presented by Dalwadi, Pause, Diwan, and Kothari [DMTCS, 2025]. We continue this exploration further into the realm of non-planar graphs, giving a characterisation of matching covered, cycle-conformal graphs that are bipartite and cubic, and respectively, those that are bipartite and Pfaffian. The last class plays a fundamental role in matching theory, having important connections to the problem of counting perfect matchings, recognising graphs with even directed cycles, and computing the permanent of certain matrices efficiently. To prove our results, we break matching covered graphs down to their building blocks, the bipartite ones of which are called braces. The key to both characterisations are theorems that identify the braces in the respective classes. In particular, as our main results, we show that the cycle of length 4 is the only Pfaffian, cycle-conformal brace and we show that $K_{3,3}$ is the only cubic, cycle-conformal brace. In both cases these theorems facilitate the characterisations of the much richer classes of associated matching covered graphs. We conjecture that for each integer $\ell \geq 2$ the only $\ell$-regular, cycle-conformal brace is $K_{\ell,\ell}$.

Let $G$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. A $k$-matching of a graph $G$ is a function $f:E(G)\rightarrow \{0,1,\ldots, k\}$ satisfying $\sum_{e \in E_G(v)} f(e) \leq k$ for every vertex $v \in V(G)$, where $E_G(v)$ is the set of edges incident with $v$ in $G$. A $k$-matching of a graph $G$ is perfect if $ \sum_{e \in E_G(v) } f(e) = k $ for any vertex $v \in V(G)$. The $k$-Berge-Tutte-formula of a graph $G$ is defined as: \[ \defk(G) = \max_{S \subseteq V(G)} \begin{cases} k \cdot i(G - S) - k|S|, & k \text{ is even;} \\[6pt] \odd(G - S) + k \cdot i(G - S) - k|S|, & k \text{ is odd.} \end{cases} \] A $k$-barrier of the graph $G$ is the subset $S \subseteq V(G)$ that reaches the maximum value in $k$-Berge-Tutte-formula. A connected graph \( G \) of odd (even) order is a {generalized factor-critical (generalized bicritical) graph about integer \( k \)-matching}, abbreviated as a \( \mathrm{GFC}_k (\mathrm{GBC}_k)\) graph, if $\emptyset$ is a unique $k$-barrier. When $k$ is odd, let \( 1 \leq d \leq k \) and \( |V(G)| \equiv d \pmod{2} \). If for any \( v \in V(G) \), there exists a \( k \)-matching \( h \) such that $\sum_{e \in E_G(v)} h(e) = k - d$ {and} $\sum_{e \in E_G(u)} h(e) = k$ for any \( u \in V(G) - \{v\} \), then \( G \) is said to be \( k \)-\( d \)-critical. In this paper, we provide sufficient conditions in terms of distance spectral radius to ensure that a graph has a perfect $k$-matching and a graph is \( k \)-\( d \)-critical, $\mathrm{GFC}_k$ or $\mathrm{GBC}_k$, respectively.

A fractional matching of a graph $G$ is a function $h: E(G) \to [0,1]$ such that $\sum_{e \in E_G(v)} h(e) \leq 1$ for every vertex $v \in V(G)$, where $E_G(v)$ is the set of edges incident to $v$. If $\sum_{e \in E_G(v)} h(e) = 1$ for all $v$, then $h$ is a fractional perfect matching. A graph $G$ is fractional $k$-extendable if it has a matching of size $k$ and every $k$-matching $M$ in $G$ is contained in a fractional perfect matching $h$ such that $h(e)=1$ for every $e \in M$. In this paper, we establish new sufficient conditions for a graph with minimum degree $δ$ to be fractional $k$-extendable. Our main results provide spectral guarantees for this property based on the distance spectral radius and the signless Laplacian spectral radius.

Let $\mbox{odd}(G)$ and $i(G)$ denote the number of nontrivial odd components and the number of isolated vertices of a graph $G$, respectively. The $k$-Berge-Tutte-formula of a graph $G$ is defined as: $\mbox{def}_k(G)=\mathop{\text{max}}\limits_{S\subseteq V(G)}\{k\cdot i(G-S)-k|S|\} $ for even $k$; $\mbox{def}_k(G)=\mathop{\mbox{max}}\limits_{S\subseteq V(G)}\{\mbox{odd}(G-S)+k\cdot i(G-S)-k|S|\} $ for odd $k$. A $k$-barrier of a graph $G$ is the subset $S\subseteq V(G)$ that reaches the maximum value in the $k$-Berge-Tutte-formula of $G$. A graph $G$ of odd order (resp. even order) is generalized factor-critical (resp. generalized bicritical) if $\emptyset$ is its only $k$-barrier. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A $k$-matching of a graph $G$ is a function $f:E(G) \rightarrow \{0,1,...,k\}$ such that $\sum_{e\in E_G(v)} f(e)$ $\leq k$ for every vertex $v\in V(G)$. For $1\leq d\leq k$ and $d \equiv |V(G)|$(mod 2), if for any $ v \in V(G)$, there exists a $k$-matching $f$ such that $\sum_{e\in E_G(v)}f(e)=k-d$ and $\sum_{e\in E_G(u)}f(e)=k \text{ for any } u\in V(G)-\{v\}$. Then $G$ is $k$-$d$-critical. In this paper, we establish tight sufficient conditions in terms of size or spectral radius respectively for a graph $G$ to be generalized factor-critical, generalized bicritical, and $k$-$d$-critical. Furthermore, we prove the equivalence of the existence of four factors (namely, $\{K_2,\{C_t: t\geq 3\}\}$-factor, $\{K_2,\{C_{2t+1}:t\geq 1 \}\}$-factor, fractional perfect matching, perfect $k$-matching with even $k$) in a graph. Thus we also give size conditions and spectral radius conditions for a graph $G-v$ to have one of the four factors for any $v\in V(G)$.

A graph $G$ is $k$-factor-critical if $G-S$ has a perfect matching for every subset $S \subseteq V(G)$ with $|S|=k$. A spanning subgraph $H$ of $G$ is called a $[1,b]$-odd factor if $b \equiv 1 \pmod{2}$ and $d_{H}(v) \in\left\lbrace 1, 3, \ldots, b\right\rbrace$ for every $v\in V(G),$ where $d_{H}(v)$ denotes the degree of vertex $v$ in $H$. Moreover, $G$ is said to be $k$-critical with respect to $[1,b]$-odd factors if $G-X$ contains a $[1,b]$-odd factor for every subset $X \subseteq V(G)$ with $|X|=k$. In this paper, we provide some sufficient conditions based on the distance spectral radius and the distance signless Laplacian spectral radius for a graph with minimum degree to be $k$-critical with respect to $[1,b]$-odd factors.

A locally checkable labeling problem (LCL) on a group $Γ$ asks one to find a labeling of the Cayley graph of $Γ$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching problems. In descriptive combinatorics, one often considers the existence of solutions to LCLs in the setting of descriptive set theory. For example, given a free action of $Γ$ on a Polish space $X$, we might be interested in solving a given LCL on each orbit in a continuous, Borel, measurable, etc. way. In an attempt to understand more finely the gap between Borel and continuous combinatorics, we consider the existence of Baire class $m$ solutions to LCLs. For all $n > 1$ and $m \in ω$, we produce an LCL on $\mathbb{F}_n$ which always admits Baire class $m+1$ solutions, but not necessarily Baire class $m$ solutions.

An edge-colored graph is a graph in which each edge is assigned a color. Such a graph is called strongly edge-colored if each color class forms an induced matching, and called rainbow if all edges receive pairwise distinct colors. In this paper, by establishing a connection with $μn$-bounded graphs, we prove that for all sufficiently large integers $n$, every strongly edge-colored graph $G$ on $n$ vertices with minimum degree at least $\frac{n+1}{2}$ contains a rainbow Hamilton cycle. We also characterize all strongly edge-colored graphs on $n$ vertices with minimum degree exactly $\frac{n}{2}$ that do not contain a rainbow Hamilton cycle. As an application, we determine the optimal minimum degree conditions for the existence of rainbow Hamilton paths and rainbow perfect matchings in strongly edge-colored graphs. Together, these results verify three conjectures concerning strongly edge-colored graphs for sufficiently large $n$.

Assume that $n = 2k$ potential roommates each have an ordered preference of the $n-1$ others. A stable matching is a perfect matching of the $n$ roommates in which no two unmatched people prefer each other to their matched partners. In their seminal 1962 stable marriage paper, Gale and Shapley noted that not every instance of the stable roommates problem admits a stable matching. In the case when the preferences are chosen uniformly at random, Gusfield and Irving predicted in 1989 that there is no stable matching with high probability for large $n$. We prove this conjecture and show that for $n$ sufficiently large, the probability there is a stable matching is at most $n^{-1/17}$.

A graph $G$ factors into graphs $H$ and $K$ via a matrix product if $A = BC$, where $A$, $B$, and $C$ are the adjacency matrices of $G$, $H$, and $K$, respectively. The graph $G$ is prime if, in every such factorization, one of the factors is a perfect matching that is, it corresponds to a permutation matrix. We characterize all prime graphs, then using this result we classify all factorable forests, answering a question of Akbari et al. [\emph{Linear Algebra and its Applications} (2025)]. We prove that every torus is factorable, and we characterize all possible factorizations of grids, addressing two questions posed by Maghsoudi et al. [\emph{Journal of Algebraic Combinatorics} (2025)].

For a graph $G$ with order $2n$ and a perfect matching, let $f(G)$ and $F(G)$ denote the minimum and maximum forcing number of $G$ respectively. Then $0\leq f(G)\leq F(G)\leq n-1$. Liu and Zhang [10] ever proposed a conjecture: $e(G)\geq \frac{n^2}{n-F(G)}$, where $e(G)$ denotes the number of edges of $G$. In this paper we confirm this conjecture and obtain $F(G)\leq n-\frac{n^2}{e(G)}$. If $F(G)=n-1$, Liu and Zhang [9] proved that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along 4-cycles. If $G$ is bipartite and $F(G)\geq n-k$, $1\leq k\leq n-1$, we show that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along even cycles of length at most $2(k+1)$. Finally, we ask whether $f(G)\geq \lceil\frac{n}{k}\rceil-1$ holds for such bipartite graphs $G$, and give positive answers for the cases $k=1,2$. Further we show all minimum forcing numbers of the bipartite graphs $G$ of order $2n$ and with $F(G)=n-2$ form an integer interval $[\lfloor\frac{n}{2}\rfloor, n-2]$.

A graph $G$ is called equiarboreal if the number of spanning trees containing a given edge in $G$ is independent of the choice of edge. In [Combinatorica 1(2) (1981) 163--167], Godsil proved that any graph which is a colour class in an association scheme is equiarboreal, and further conjectured that the edge-connectivity of a connected graph which is a colour class in an association scheme equals its vertex degree. In this paper, we confirm this long-standing conjecture. More generally, we prove an even stronger result that the edge-connectivity of a connected regular equiarboreal graph equals its degree by combinatorial and electrical network approaches. As a consequence, we show that every connected regular equiarboreal graph on an even number of vertices has a perfect matching.

A factor of a graph is essentially a specific type spanning subgraph. The study of characterizing the existence of $[a, b]$-factors based on eigenvalue conditions can be traced back to the work of Brouwer and Haemers (2005) on perfect matchings. With the advancement of graphs factor theory, the related spectral extremal problems, particularly the study of $[a,b]$-factors and fractional $[a,b]$-factors, have been widely studied by scholars. Our work is motivated by research related to the $[a,b]$-factors and fractional $[a,b]$-factors, and explores their generalizations: $(a,b,k)$-critical graphs and fractional $(a,b,k)$-critical graphs. A graph $G$ is called an $(a,b,k)$-critical (a fractional $(a,b,k)$-critical) graph if after deleting any $k$ vertices of $G$ the remaining graph of $G$ has an $[a,b]$-factor (a fractional $[a,b]$-factor). In this paper, we establish spectral radius conditions for a graph to be $(a,b,k)$-critical or fractional $(a,b,k)$-critical. When $k=0$, our results also resolve some open problems concerning $[a, b]$-factors and fractional $[a, b]$-factors.

In 2021, motivated by graph limit theory Lovász extended most of the theory of flows to a measure theoretic setting. Using this framework, the first author constructed $d$-regular treeings that are measurably bipartite, and have no nonzero measurable circulations, that is, flows without sources or sinks. In particular, these treeings do not admit a measurable perfect matching. In this paper, we develop tools to build $d$-regular treeings where the space of circulations is exactly $k$-dimensional for any positive integer $k$. As applications, we construct 1) a treeing with a single balanced orientation, but no Schreier decoration; 2) a treeing with a single Schreier decoration; 3) and a treeing with a proper edge $d$-coloring, but no further perfect matchings. The first answers a question raised by Lovász, as this particular balanced orientation does not decompose as a linear combination of finite cycles and infinite paths.

We establish explicit formulas for Bell numbers and graphical Stirling numbers of complete multipartite graphs, complete bipartite graphs with removed perfect matchings, and Mycielskian trees. For complete multipartite graphs $K(n_1,\ldots,n_\ell)$, we provide a simplified proof that $B(G) = \prod_{i=1}^\ell \bell{n_i}$. We derive $B(K_{n,n} - M) = \sum_{k=0}^{n} \binom{n}{k} \bell{k}^2$ for removed perfect matching $M$, and for Mycielskian star graphs, $B(M(St_n); 3) = 2^n + 1$ and $B(M(St_n); 2n) = 2n^2 - 3n + 3$. Results extend to Mycielskians of arbitrary trees. Our computational verifications establish links between graphical Bell numbers and fundamental sequences in combinatorics and pattern avoidance, including identification of several OEIS entries: A000051, A096376, A116735, A384980, A384981, A384988, A385432, and A385437.

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.