matching
3165 papers tagged with this keyword
Rainbow matchings in edge-colored graphs
Let $G$ be an edge-colored graph. We use $e(G)$ and $c(G)$ to denote the number of edges and colors in $G$, respectively. A subgraph $H$ is called rainbow if $c(H)=e(H)$. Li et al. (European J. Combin., 36 (2014), 453-459) proved that every edge-colored graph on $n$ vertices with $e(G)+c(G) \geq n(n+1)/2$ contains rainbow triangles. Later, Xu et al. (European J. Combin., 54 (2016), 193-200) generalized the previous results concerning rainbow triangles to rainbow cliques $Kr$, where $r\geq 4$. In this paper, we consider the existence of rainbow matchings of size $k$ in general edge-colored graphs $G$ under the condition of $e(G)+c(G)$, and the condition in our result is tight.
Hall's theorem for reconfigurations and higher dimensional topological connectedness
One widely applied sufficient condition for the existence of a colorful simplex in a vertex-colored simplicial complex is a topological extension of Hall's transversal theorem due to Aharoni, Haxell, and Meshulam. We prove a similar topological Hall theorem that provides a sufficient condition for being able to transform any colorful simplex into any other through a sequence of one-vertex swaps while always maintaining a colorful simplex, meaning that the associated reconfiguration graph is connected. In fact, we prove a generalized topological Hall theorem about the homological connectedness of the space of colorful simplices, as well as a matroidal generalization of this result. We deduce sufficient conditions for reconfiguration graphs to be connected for various combinatorial structures of interest such as independent transversals in graphs, matchings in bipartite hypergraphs, and intersections of matroids. In particular, we give an alternative proof of a maximum degree condition for independent transversal reconfigurability by Buys, Kang, and Ozeki. We also deduce tight reconfiguration versions of the colorful Helly, colorful Carathéodory, and Tverberg theorems from discrete geometry, confirming a conjecture of Oliveros, Roldán, Soberón, and Torres.
A common generalization to strengthenings of Drisko's Theorem for intersections of two matroids
Let $\mathcal{M}$ and $\mathcal{N}$ be two matroids on the same ground set $V$. Let $A_1,\dots,A_{2n-1}$ be sets which are independent in both $\mathcal{M}$ and $\mathcal{N}$, satisfying $|A_i|\geq \textrm{min}(i,n)$ for all $i$. We show that there exists a partial rainbow set of size $n$, which is independent in both $\mathcal{M}$ and $\mathcal{N}$. This is a common generalization of rainbow matching results for bipartite graphs by Aharoni, Berger, Kotlar, and Ziv, and for the intersection of two matroid by Kotlar and Ziv.
A Polyhedral Perspective on the Perfect Matching Lattice
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.
Induced matching treewidth and tree-independence number, revisited
We study two graph parameters defined via tree decompositions: tree-independence number and induced matching treewidth. Both parameters are defined similarly as treewidth, but with respect to different measures of a tree decomposition $\mathcal{T}$ of a graph $G$: for tree-independence number, the measure is the maximum size of an independent set in $G$ included in some bag of $\mathcal{T}$, while for the induced matching treewidth, the measure is the maximum size of an induced matching in $G$ such that some bag of $\mathcal{T}$ contains at least one endpoint of every edge of the matching.
While the induced matching treewidth of any graph is bounded from above by its tree-independence number, the family of complete bipartite graphs shows that small induced matching treewidth does not imply small tree-independence number. On the other hand, Abrishami, Briański, Czyżewska, McCarty, Milanič, Rzążewski, and Walczak~[SIAM Journal on Discrete Mathematics, 2025] showed that, if a fixed biclique $K_{t,t}$ is excluded as an induced subgraph, then the tree-independence number is bounded from above by some function of the induced matching treewidth. The function resulting from their proof is exponential even for fixed $t$, as it relies on multiple applications of Ramsey's theorem. In this note we show, using the Kövári-Sós-Turán theorem, that for any class of $K_{t,t}$-free graphs, the two parameters are in fact polynomially related.
Mathematical exploration and discovery at scale
AlphaEvolve (Novikov et al., 2025) is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refines algorithmic solutions to challenging scientific and practical problems. In this paper we showcase AlphaEvolve as a tool for autonomously discovering novel mathematical constructions and advancing our understanding of long-standing open problems.
To demonstrate its breadth, we considered a list of 67 problems spanning mathematical analysis, combinatorics, geometry, and number theory. The system rediscovered the best known solutions in most of the cases and discovered improved solutions in several. In some instances, AlphaEvolve is also able to generalize results for a finite number of input values into a formula valid for all input values. Furthermore, we are able to combine this methodology with Deep Think and AlphaProof in a broader framework where the additional proof-assistants and reasoning systems provide automated proof generation and further mathematical insights.
These results demonstrate that large language model-guided evolutionary search can autonomously discover mathematical constructions that complement human intuition, at times matching or even improving the best known results, highlighting the potential for significant new ways of interaction between mathematicians and AI systems. We present AlphaEvolve as a powerful new tool for mathematical discovery, capable of exploring vast search spaces to solve complex optimization problems at scale, often with significantly reduced requirements on preparation and computation time.
Robustness for expander graphs
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$.
Orthogonal roots, quantum Hafnians, and generalized Rothe diagrams
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$.
A Tight Lower Bound on Cubic Vertices and Upper Bounds on Thin and Non-thin edges in Planar Braces
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.
On the Mutual Visibility of Some Moore Graphs
The concept of mutual visibility in a graph encodes combinatorial information about vertex subsets with prescribed visibility properties and serves as a useful algebraic invariant. In this paper, we study the visibility properties of some Moore graphs of diameter 2, with emphasis on the Petersen and Hoffman Singleton graphs. We first compute the visibility polynomial of the Petersen graph explicitly by analyzing its structural features in relation to the strong regularity of the graph. For the Hoffman Singleton graph, we establish an upper bound of 20 on its visibility number, and subsequently employ an integer programming approach to prove that this bound is tight. As a corollary, we deduce that the maximum size of an induced matching in the Hoffman Singleton graph is 10. These results demonstrate how visibility polynomials can be computed for extremal graphs of high symmetry, and how algebraic and optimization techniques can be combined to determine precise visibility parameters in complex graph families.
Sandwiching between random regular graphs and Erdős-Rényi graphs: configuration model and unions of perfect matchings
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.
Evacuation of rectangular standard Young tableaux corresponds to reflection of $\mathfrak{sl}_n$ webs
Web graphs form a family of planar directed graphs with boundary that can be used to model quantum $\mathfrak{sl}_n$-invariant vectors. Standard Young tableaux on an $n \times k$ rectangle naturally index a basis for $\mathfrak{sl}_n$ web graphs. We prove that evacuation of the tableau $T$ corresponds to reflection of the associated web graph $w_T$ up to equivalence under a specific set of edge-flip relations. This extends a result of Patrias and Pechenik for the cases $n=2,3$ and mirrors analogous results about rotation of web graphs corresponding to promotion of tableau by Peterson-Pylyavskyy-Rhoades for $n=3$ and Gaetz-Pechenik-Pfannerer-Striker-Swanson for $n=4$. We use an intermediate object called a multicolored noncrossing matching, which is closely related to the notion of strandings recently introduced by Russell and the fourth author.
On the second largest eigenvalue of certain graphs in the perfect matching association scheme
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.
Hitting all longest paths in $H$-free graphs and $H$-graphs
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$.
Three-dimensional symmetric designs of propriety 3
We define symmetric designs of dimension $n$ and propriety $d$, providing a unifying generalization of several classes of higher-dimensional symmetric designs previously studied. We focus on the case $n=d=3$, which leads to the following question: Can we fill the $v^3$ cells of a $v\times v\times v$ cube with $\{0,1\}$ in such a way that each layer parallel to each face contains a fixed number $k$ of ones, and that for every two parallel layers there are exactly $λ$ positions where they have matching ones? We establish necessary conditions on the parameters $(v,k,λ)$, introduce notions of difference sets and multipliers for these objects, and enumerate small examples up to equivalence. Furthermore, we construct infinite families of these objects using difference sets, symmetric designs, doubly regular tournaments, Hadamard matrices, Latin cubes, and association schemes on triples.
The insertion encoding of restricted growth functions
We adapt the vertical and horizontal insertion encodings of Cayley permutations to enumerate restricted growth functions, which are in bijection with unordered set partitions. For both insertion encodings, we fully classify the classes for which these languages are regular. For the horizontal insertion encoding, we also prove that the conditions to be regular are the same for restricted growth functions of matchings.
On the expansion of Hanoi graphs
The famous Tower of Hanoi puzzle involves moving $n$ discs of distinct sizes from one of $p\geq 3$ pegs (traditionally $p=3$) to another of the pegs, subject to the constraints that only one disc may be moved at a time, and no disc can ever be placed on a disc smaller than itself. Much is known about the Hanoi graph $H_p^n$, whose $p^n$ vertices represent the configurations of the puzzle, and whose edges represent the pairs of configurations separated by a single legal move. In a previous paper, the present authors presented nearly tight asymptotic bounds of $O((p-2)^n)$ and $Ω(n^{(1-p)/2}(p-2)^n)$ on the treewidth of this graph for fixed $p \geq 3$. In this paper we show that the upper bound is tight, by giving a matching lower bound of $Ω((p-2)^n)$ for the expansion of $H_p^n$.
$q$-rationals and dimers
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.
Stranding $\mathfrak{sl}_n$ webs
Webs are a kind of planar, directed, edge-labeled graph that encode invariant vectors for quantum representations of $\mathfrak{sl}_n$. The theory of webs developed organically for $\mathfrak{sl}_2$, where they are also known as noncrossing matchings and the Temperley-Lieb algebra, before being formalized by Kuperberg for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$ as the morphisms in a diagrammatic categorification of quantum representations called the spider category. Various models extend webs to $n \geq 4$. Only Cautis-Kamnitzer-Morrison prove a full set of relations for their webs, though Fontaine's webs are better adapted to computations, more graph-theoretically natural, and directly generalize webs for $n=2$ and $n=3$.
This paper formalizes the theory of Fontaine's webs, proving the existence of a deep and powerful global structure on these webs called strandings. We do three key things: 1) give a state-sum formula to construct ($U_q(\mathfrak{sl}_n)$-invariant) web vectors from the orientation of strandings on Fontaine's webs; 2) list and prove a complete set of relations, connecting strandings to the local data of binary labelings that are well-established in the literature; and 3) provide applications and examples of how strandings facilitate computations.
Flexible DP 3-coloring of sparse multigraphs
A \emph{request} on a graph assigns a preferred color to a subset of the vertices. A graph $G$ is \emph{$ε$-flexibly $k$-choosable} if for every $k$-list assignment $L$ and every request $r$ on $G$, there is an $L$-coloring such that an $ε$-fraction of the requests are satisfied. This notion was introduced in 2019 by Dvořák, Norin, and Postle, who also proved important properties of flexible colorings and posed several natural problems. However, the weighted version of this problem is a special case of the much older problem of fractional hypergraph matchings, introduced by Lovász in 1975. We study flexibly DP-colorable multigraphs. We prove that every loopless multigraph with maximum average degree less than $3$ is $\frac{1}{5}$-flexibly DP $3$-colorable, except for an infinite family of multigraphs that we completely characterize. The constant $ε= \frac 15$ is best possible in the weighted setting, as shown by an infinite family of tight examples. Our result follows from a stronger statement in terms of potential. We also provide a family of graphs that gives a negative answer to a question by Dvořák, Norin, and Postle regarding flexibility for list coloring in the setting of DP-coloring.