matching
3165 papers tagged with this keyword
A hypergraph analogue of Alon-Frankl Theorem
Recently, Alon and Frankl (JCTB, 2024) determined the maximum number of edges in $K_{\ell+1}$-free $n$-vertex graphs with bounded matching number. For integers $\ell\ge r \ge 2$, the family $\mathcal{K}_{\ell+1}^{r}$ consists of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that, for some $(\ell+1)$-set $K$, every pair $\{x,y\} \subseteq K$ is covered by an edge in $F$. In this paper, we study the maximum number of edges in $\mathcal{K}_{\ell+1}^r$-free $r$-uniform hypergraphs that have the matching number at most $s$, that is, $\mathrm{ex}_r(n, \{\mathcal{K}_{\ell+1}^r, M^r_{s+1}\})$, and obtain the exact value for sufficiently large $n$, along with the corresponding extremal hypergraph. This result can be viewed as a hypergraph extension of the work of Alon and Frankl. In addition, for the $3$-uniform Fano plane $\mathbb{F}$, we determine the exact value of $\mathrm{ex}_3(n, \{\mathbb{F}, M^3_{s+1}\})$, and characterize the corresponding extremal hypergraph.
Scaling limits of critical FK-decorated random planar maps with $q=4$
We establish the first scaling limit for FK($q$)-weighted planar maps in the critical case $q=4$, resolving a problem that has remained open since Sheffield's seminal work arXiv:1108.2241. In that work, Sheffield proved a scaling limit for $q<4$ via the celebrated hamburger-cheeseburger bijection, which initiated the peanosphere (mating-of-trees) approach to Liouville quantum gravity. We prove that, at criticality, the associated burger count $\mathcal{S}$ and discrepancy $\mathcal{D}$ satisfy \[ \left(\frac{\mathcal{S}_{\lfloor nt \rfloor}}{\sqrt{n}}, \frac{\log(n)}{{2π}\sqrt{n}} \mathcal{D}_{\lfloor nt \rfloor}\right)_{t\in\mathbb{R}} \stackrel{\text{d}}{\longrightarrow} (B^1_t, B^2_{t})_{t\in\mathbb{R}}, \] where $B^1$ and $B^2$ are independent two-sided Brownian motions. To the best of our knowledge, no conjecture for the correct discrepancy scaling factor had previously been formulated. Matching the limiting process with the critical mating of trees arXiv:2109.00275, we establish the first rigorous planar map convergence towards CLE$_4$ and critical ($γ=2$) Liouville quantum gravity, in the peanosphere sense. Our proof is based on a novel approach that reveals the exactly solvable nature of the model through a correspondence with the (bicoloured) fully packed loop-$O(2)$ model on triangulations, and yields critical geometric exponents matching the predictions of conformal field theory.
A complete solution of the Erdős-Kleitman matching problem for $n\le 3s$
Given integers $n\ge s\ge 2$, let $e(n,s)$ stand for the maximum size of a family of subsets of an $n$-element set that contains no $s$ pairwise disjoint members. The study of this quantity goes back to the 1960s, when Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for all integer $m,s\ge 1$. The question of determining $e(n,s)$ is closely connected to its uniform counterpart, the subject of the famous Erdős Matching Conjecture.
The problem of determining $e(n,s)$ has proven to be very hard and, in spite of some progress during these years, even a general conjecture concerning the value of $e(n,s)$ is missing. In this paper, we completely solve the problem for $n\le 3s$. In this regime, the average size of a set in an $s$-matching is at most $3$, and it is a delicate interplay between the `missing' $2$- and $3$-element sets that plays a key role here. Four types of extremal families appear in the characterization. Our result sheds light on how the extremal function $e(n,s)$ may behave in general.
Hall's Harem Theorem with controlled sizes of cycles
We prove a new version of Hall's Harem Theorem, where the final matching is realized by a unary function with additional conditions on behavior of cycles. The present paper can be considered as a helpful companion of the paper of the author: arXiv:2105.06304, where a computable version of Hall's Harem Theorem with controlled sizes of cycles is proved. These two versions of Hall's Harem Theorem are independent: none of them follows from the other one.
A Generalized Grassmann-Pfaffian Framework for Monomer-Dimer and Spanning Trees
We develop a unified framework for Berezin integrals over Grassmann variables that establishes master identities for exponential quadratic fermionic forms and linear fermionic forms coupled to both bosonic and fermionic sources. The construction is rigorous for both real and complex fermions in arbitrary dimensions and remains well-defined even when the underlying matrices are singular. Our main mathematical results appear in two master theorems. Theorem 12 provides a comprehensive identity for Berezin integrals over Grassmann variables for real fermions with mixed bosonic-fermionic sources, applicable to any antisymmetric matrix. Its complex analogue, Theorem 13, yields corresponding determinant-based representations. Together, they serve as generating functionals for a wide range of combinatorial and physical models. Key applications include the dimer, monomer-dimer, matching, and almost-matching problems. We revisit the Kasteleyn theorem for planar dimers using Berezin integrals. We construct monomer-dimer systems through the \textit{Monobisyzexant (Mbsz)} function, which generalizes the Hafnian to incorporate monomer contributions and admits a Pfaffian-sum representation for planar graphs (Theorem 5); and practical techniques for handling singular matrices via unitary block decomposition (Theorem 6) and spectral analysis. We further present explicit mappings between Hafnians and Pfaffians and their submatrix generalizations (Hafnianinhos and Pfaffianinhos); an alternative source-ordered Berezin integral representation for spanning trees and forests using complex bosonic sources that regularizes the Laplacian zero mode (Theorem 10). Overall, this work offers a flexible toolkit for the theoretical analysis and computational implementation of graph-based models and lattice field theories using Berezin integrals over Grassmann variables .
Quantitative Frameproof Codes and Hypergraphs
Frameproof codes are a class of secure codes introduced by Boneh and Shaw in the context of digital fingerprinting, and have been widely studied from a combinatorial point of view. In this paper, we study a quantitative extension of frameproof codes and hypergraphs, referred to as {\it quantitative frameproof codes and hypergraphs}. We give asymptotically optimal bounds on the maximum sizes of these structures and determine their exact sizes for a broad range of parameters. In particular, we introduce a generalized version of the Erdős matching number in our proof and derive relevant estimates for it.
Triple systems with bounded matching number: some constructions and exact Turán number
We study the Turán numbers of $3$-graphs avoiding $3$-graphs $F$ and $M_{s+1}^3$, a matching of size $s+1$. We disprove a conjecture of Gerbner, Tompkins, and Zhou [European Journal of Combinatorics, 2025, 127:104155] on $\ex(n,\{F,M^3_{s+1}\})$ for $3$-graph $F$ with $χ(F)=2$ by constructing infinitely many counterexamples. For this family, we determine the asymptotic Turán number via edge-colored Turán problem. In addition, for the $3$-graph $F_{3,2}$ with edge set $\{123,145,245,345\}$, we determine the exact value of $\ex(n,\{F_{3,2}, M_{s+1}^3\})$ for every integers $s$ and all $n \ge 12s^2$.
Independent sets and colorings of $K_{t,t,t}$-free graphs
Alon, Krivelevich, and Sudakov conjectured in 1999 that every $F$-free graph of maximum degree at most $Δ$ has chromatic number $O(Δ/ \log Δ)$. This was previously known only for almost bipartite graphs, that is, for subgraphs of $K_{1,t,t}$ (verified by Alon, Krivelevich, and Sudakov themselves), while most recent results were concerned with improving the leading constant factor in the case where $F$ is almost bipartite. We prove this conjecture for all $3$-colorable graphs $F$, i.e. subgraphs of $K_{t,t,t}$, representing the first progress toward the conjecture since it was posed.
A closely related conjecture of Ajtai, Erdős, Komlós, and Szemerédi from 1981 asserts that for every graph $F$, every $n$-vertex $F$-free graph of average degree $d$ contains an independent set of size $Ω(n \log d / d)$. We prove this conjecture in a strong form for all 3-colorable graphs $F$. More precisely, we show that every $n$-vertex $K_{t,t,t}$-free graph of average degree $d$ contains an independent set of size at least $(1 - o(1)) n \log d / d$, matching Shearer's celebrated bound for triangle-free graphs (the case $t = 1$) and thereby yielding a substantial strengthening of it. Our proof combines a new variant of the Rödl nibble method for constructing independent sets with a Turán-type result on $K_{t,t,t}$-free graphs.
Richardson tableaux and noncrossing partial matchings
Richardson tableaux are a remarkable subfamily of standard Young tableaux introduced by Karp and Precup in order to index the irreducible components of Springer fibers equal to Richardson varieties. We show that the set of insertion tableaux of noncrossing partial matchings on $\{1,2,,\ldots, n\}$ by applying the Robinson--Schensted algorithm coincides with the set of Richardson tableaux of size $n$. This leads to a natural one-to-one correspondence between the set of Richardson tableaux of size $n$ and the set of Motzkin paths with $n$ steps, in response to a problem proposed by Karp and Precup. As consequences, we recover some known and establish new properties for Richardson tableaux. Especially, we relate the $q$-counting of Richardson tableaux to $q$-Catalan numbers.
The Minimum Number of Edges in $(p+1)K_2$-Saturated Graphs
Given a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-saturated if it is $\mathcal{F}$-free but the addition of any missing edge creates a copy of some $F \in \mathcal{F}$. The study of the minimum number of edges in $\mathcal{F}$-saturated graphs is a central topic in extremal graph theory.
Let $(p+1)K_2$ denote a matching of size $p+1$. Determining the minimum number of edges in a $(p+1)K_{2}$-saturated graph is a fundamental question in this area, explicitly posed as Problem 9 in the survey by Faudree et al. (2011). In this paper, we refine the structural analysis of $(p+1)K_2$-saturated graphs and derive an explicit formula for the number of edges in terms of a single integer parameter. By minimizing this formula we determine $\mathrm{sat}(n,(p+1)K_2)$ for all $n>2p$, thereby resolving Problem 9 in full generality and extending earlier results of Kászonyi--Tuza (1986) and Zhang--Lu--Yu (2024). Moreover, by maximizing the same formula we recover the classical Erdős--Gallai (1959) upper bound on the number of edges in such graphs.
Polynomial invariants of cyclically ordered graphs
Cyclically ordered graphs, or cogs, sit between abstract graphs and cellularly embedded graphs. They arise naturally in topological graph theory, knot theory, and mathematical biology. We develop a formal theory of cogs and establish a number of invariants of cogs. In particular we detail several ways to present cogs and detail how these descriptions can be used to construct cog invariants by adapting the matching, transition and Yamada polynomials.
Counterexamples to conjectures on strong maximality and minimality
We provide counterexamples to several conjectures concerning strongly maximal and strongly minimal structures in infinite graphs and hypergraphs. In particular, we construct 3-uniform hypergraphs without strongly maximal matchings and without strongly minimal covers, and from our construction for covers we build a graph with no strongly minimal colouring. We also consider several refinements of these problems.
Our results resolve conjectures and questions of Aharoni; Aharoni and Berger; Aharoni, Berger, Georgakopoulos, and Sprüssel; Aharoni and Korman; and Tardos.
Rainbow subgraphs of star-coloured graphs
An edge-colouring of a graph $G$ can fail to be rainbow for two reasons: either it contains a monochromatic cherry (a pair of incident edges), or a monochromatic matching of size two. A colouring is a proper colouring if it forbids the first structure, and a star-colouring if it forbids the second structure. In this paper, we study rainbow subgraphs in star-coloured graphs and determine the maximum number of colours in a star-colouring of a large complete graph which does not contain a rainbow copy of a given graph $H$. This problem is a special case of one studied by Axenovich and Iverson on generalised Ramsey numbers and we extend their results in this case.
$q$-analogs of rational numbers: from Ostrowski numeration systems to perfect matchings
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.
Advancing the Rödl Nibble: New bounds on matchings and the list chromatic index of hypergraphs
Let $H$ be a $(k+1)$-uniform hypergraph which is nearly $D$-regular, such that any set of $i$ vertices is contained in at most $D_i$ edges of $H$ for each $i = 2, 3, \dots, k+1$. Influential results of Pippenger and of Frankl and Rödl show that the \textit{Rödl Nibble} -- a probabilistic procedure which iteratively constructs a matching in small bits -- can produce an almost-perfect matching in $H$, provided $D_2$ is much smaller than $D$. The quantitative aspects of this result were sharpened by several authors, with the previously best-known result due to Vu, whose result takes more of the codegree sequence $D_2, \dots, D_{k+1}$ into account. We improve Vu's result, by showing the Rödl Nibble can ``exhaust'' the full codegree sequence up to one of several natural bottlenecks, even tolerating extensive ``clustering'' of codegree values. Up to a subpolynomial error term, we believe our result to be the optimal usage of pure nibble methodology.
We also show that our matching can be taken to be ``pseudorandom'' with respect to a set of weight functions on $V(H)$, and we use this result to derive other hypergraph matching results in partite settings, including a new bound on the list chromatic index which implies the best-known result of Molloy and Reed up to the error term, and is stronger when the hypergraph is not close to linear, i.e.\ $D_2=ω(1)$. We also apply our results to obtain improved bounds on almost-spanning structures in Latin squares and designs, and the maximum diameter of a simplicial complex.
Odd-Ramsey numbers of Hamilton cycles
The odd-Ramsey number $r_{\text odd}(n,H)$ of a graph $H$, as introduced by Alon in his work on graph-codes, is the minimum number of colours needed to edge-colour $K_n$ so that every copy of $H$ intersects some colour class in an odd number of edges. In this paper, we determine the odd-Ramsey number of Hamilton cycles up to a small multiplicative factor, proving that $r_{\text odd}(n,C_n) = Θ(\sqrt{n})$. Our upper bound follows from an explicit finite-field construction, while the matching lower bound uses a combinatorial framework based on parity switches. We also initiate the study of odd-Ramsey numbers of Hamilton cycles in Dirac graphs, demonstrating that a small increase in the minimum degree beyond $n/2$ forces nontrivial odd-Ramsey numbers.
Graph Classes Closed under Self-intersection
A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a disjoint union of trees with exactly one vertex of degree 3 and paths. This dichotomy also characterizes exactly those monotone graph classes for which many NP-hard algorithmic problems admit polynomial-time algorithms. These algorithmic dichotomies, however, do not extend to the universe of all hereditary classes, which are classes closed under taking induced subgraphs. This leads to the natural question of whether we can extend known algorithmic dichotomies for monotone classes to larger families of hereditary classes. We give an affirmative answer to this question by considering the family of hereditary graph classes that are closed under self-intersection, which is known to be located strictly between the monotone and hereditary classes. We prove a new structural characterization of graphs in self-intersection-closed classes excluding a tripod. We use our characterization to give a complete dichotomy of Maximum Independent Set, and its weighted variant for self-intersection-closed classes defined by finitely many obstructions: these problems are in P if the class excludes a tripod and NP-hard otherwise. This generalizes several known results on Maximum Independent Set. We also use it to obtain dichotomies for Maximum Induced Matching on self-intersection-closed classes of bipartite graphs defined by finitely many obstructions. Similarly, we obtain dichotomies for Satisfiability and Counting Satisfiability on self-intersection-closed classes of (bipartite) incidence graphs defined by finitely many obstructions, and for boundedness of clique-width for self-intersection-closed classes of bipartite graphs defined by finitely many obstructions.
On minimal k-factor-critical planar graphs
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.
Forgetting Alternation and Blossoms: A New Framework for Fast Matching Augmentation and Its Applications to Sequential/Distributed/Streaming Computation
Finding a maximum cardinality matching in a graph is one of the most fundamental problems. An algorithm proposed by Micali and Vazirani (1980) is well-known to solve the problem in $O(m\sqrt{n})$ time, which is still one of the fastest algorithms in general. While the MV algorithm itself is not so complicated and is indeed convincing, its correctness proof is extremely challenging, which can be seen from the history: after the first algorithm paper had appeared in 1980, Vazirani has made several attempts to give a complete proof for more than 40 years. It seems, roughly speaking, caused by the nice but highly complex structure of the shortest alternating paths in general graphs that are deeply intertwined with the so-called (nested) blossoms.
In this paper, we propose a new structure theorem on the shortest alternating paths in general graphs without taking into the details of blossoms. The high-level idea is to forget the alternation (of matching and non-matching edges) as early as possible. A key ingredient is a notion of alternating base trees (ABTs) introduced by Izumi, Kitamura, and Yamaguchi (2024) to develop a nearly linear-time distributed algorithm. Our structure theorem refines the properties of ABTs exploited in their algorithm, and we also give simpler alternative proofs for them. Based on our structure theorem, we propose a new algorithm, which is slightly slower but more implementable and much easier to confirm its correctness than the MV algorithm.
As applications of our framework, we also present new $(1 - ε)$-approximation algorithms in the distributed and semi-streaming settings. Both algorithms are deterministic, and substantially improve the best known upper bounds on the running time. The algorithms are built on the top of a novel framework of amplifying approximation factors of given matchings, which is of independent interest.
Automorphism Groups and Structure of 4-Valent Cayley Graphs on Dihedral Groups
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.