arXiv++ Combinatorics

The Erdős Matching Conjecture is governed by two competing ways of excluding $s+1$ disjoint edges: one may concentrate all edges on fewer than $k(s+1)$ vertices, or force every edge to meet a fixed $s$-set. We determine a near-optimal range in which the second construction is extremal. For every fixed $k\ge2$, there is $s_0(k)$ such that, whenever $s\ge s_0(k)$ and $n\ge(k+1)s$, every $\mathcal{F}\subseteq\binom{[n]}k$ with $ν(\mathcal{F})\le s$ satisfies\[ |\mathcal{F}|\le\binom nk-\binom{n-s}k, \]with equality only for the family of all $k$-sets meeting a fixed $s$-set. This lowers the best previous general linear coefficient from $(5k-2)/3$ to $k+1$. Since the two conjectured constructions exchange asymptotic dominance at $n=(ρ_k+o(1))s$ for a coefficient $ρ_k\in(k,k+1)$, our range lies less than one unit above the unavoidable barrier. We also prove a stability theorem showing that cover families are the only near-extremal configurations throughout this range. A key ingredient in our proof is a probabilistic rigidity statement which forces near-extremal fractional covers to be almost integral.

For integers $n\ge s\ge2$, let $e(n,s)$ be the maximum size of a family $\mathcal F\subseteq2^{[n]}$ with no $s$ pairwise disjoint members. The problem of determining $e(n,s)$, now called the Erdős--Kleitman problem, is closely related to the well-known Erdős matching problem. Frankl and Kupavskii posed a meta-conjecture predicting that the maximum is always attained by a weighted family. Fix $m\ge3$, write $n=ms+c$ with $0\le c<s$, and set $\ell=s-c$. For $0\le k\le m$, let $a_k=ms-kc-1$. For $A\in\binom{[n]}{a_k}$, define \[ \mathcal H^k(m,s,\ell;A):= \{F\subseteq[n]: k|F|+|F\cap A|\ge m(k+1)\}. \] This defines a unified class of weighted families with matching number less than $s$. Among these families, $\mathcal H^0$, $\mathcal H^1$, and $\mathcal H^m$ were previously known to be extremal in different ranges of $c$. We show that for $1\le k\le m-1$, all families $\mathcal H^k$ are uniquely extremal in some ranges of $c$. More precisely, we prove that for every $m\ge3$ and every $1\le k\le m-1$, there exist constants $α=α(m,k)>0$, $β=β(m,k)>0$ and an integer $s_0=s_0(m,k)$ such that, for all integers $s\ge s_0$ and all integers $c$ with $0\le c<s$, the only extremal families for $e(n,s)$ are the families $\mathcal H^k(m,s,\ell;A)$ with $A\in\binom{[n]}{a_k}$ whenever $βs^{(k-1)/k}\le c\le αs^{k/(k+1)}$. In particular, this result determines an infinite number of new extremal families for the Erdős--Kleitman problem and verifies the Frankl--Kupavskii meta-conjecture in these ranges. This also provides a quantitative extension of the result of Kupavskii and Sokolov on the extremality of $\mathcal H^1$.

We establish a tensor spectral stability theorem for uniform hypergraphs with bounded matching number. More precisely, for fixed integers $k\geq 3$ and $β\geq2$, and sufficiently large $n$, we prove that every $n$-vertex $k$-uniform hypergraph $H$ with matching number at most $β$ and tensor spectral radius close to the maximum possible value among all such hypergraphs must be structurally close to the extremal hypergraph $S_{n,k,β}$, whose edges consist of all $k$-sets intersecting a fixed set of $β$ vertices. Furthermore, we show that every edge of $H$ intersects this distinguished vertex set and that $H$ contains all but a small proportion of the edges of $S_{n,k,β}$. As an application, we obtain a new proof of the spectral version of the Erdős matching conjecture for sufficiently large $n$.

Let $M_k$ denote a matching of size $k$. The classical Erdős matching conjecture asks for the maximum number of edges of an intersecting $r$-graph without $M_k$. The csae for $k=2$, which is known as intersecting $r$-graph, is established by Erdős, Ko and Rado. Hilton and Milner further determine the maximum number of edges of a non-trivial intersecting $r$-graph, where the intersecting $r$-graph $H$ is called non-trivial if $\cap_{e\in E(H)}e=\emptyset$. In this paper, we investigate the spectral analogues of the hpergraph matching problems and intersecting family problems. More precisely, for sufficiently large $n$, we determine respectively the maximum spectral radius of $M_{k+1}$-free and non-trivial intersecting $3$-graphs on $n$ vertices, and characterize the extremal hypergraphs.

The Erdős Matching Conjecture concerns the maximum number of hyperedges in an $r$-uniform hypergraph with bounded matching number. In this paper, we study a spectral counterpart of this conjecture. For sufficiently large $n$, we determine the maximum spectral radius over all $n$-vertex $r$-uniform hypergraphs whose matching number is less than $s$, and characterize the unique extremal hypergraph. To establish the main theorem, we first apply the shifting method to reduce the problem to shifted hypergraphs. We then derive several spectral upper bounds through hypergraph decomposition and related variational estimates for tensor spectral radii. With these estimates, we analyze the structural properties of shifted-saturated hypergraphs and prove the spectral extremal theorem for shifted hypergraphs with bounded matching numbers. Finally, we drop the shifted condition and extend our spectral bound to general $r$-uniform hypergraphs. Our main theorem states that for any $n$-vertex $r$-uniform hypergraph $H$ with matching number $ν(H)<s$, the inequality $ρ(H)\leq ρ(\mathcal{F}_{s-1}(n))$ holds whenever $n$ is sufficiently large. Here $\mathcal{F}_{a}(n)$ denotes the family of all $r$-subsets of $[n]$ intersecting the vertex set $[a]$, and equality is attained if and only if $H$ is isomorphic to $\mathcal{F}_{s-1}(n)$. As an immediate corollary, we derive a spectral counterpart of the classical Erdős-Ko-Rado theorem for intersecting hypergraph families.

We study a vector-space analogue of the Erdős Matching Conjecture. Let $m_q(n,k,s)$ denote the maximum cardinality of a family of $k$-dimensional subspaces of an $n$-dimensional vector space over $\mathbb F_q$ with no $s+1$ members whose sum is direct. Two natural constructions provide lower bounds. The first consists of all $k$-subspaces contained in a fixed $((s+1)k-1)$-dimensional subspace; the second consists of all $k$-subspaces that intersect a fixed $s$-dimensional subspace nontrivially. These constructions motivate the following vector-space analogue of the Erdős Matching Conjecture: for all $n\ge (s+1)k$, $$m_q(n,k,s)=\max\left\{\genfrac{[}{]}{0pt}{}{(s+1)k-1}{k}_q,~\genfrac{[}{]}{0pt}{}{n}{k}_q-q^{ks}\genfrac{[}{]}{0pt}{}{n-s}{k}_q\right\}.$$ We prove this conjecture when $k=2$, when $n=(s+1)k$, and when $n$ is sufficiently large. In particular, the case $k=2$ may be viewed as a vector-space analogue of the Erdős--Gallai theorem. In the large-$n$ range, we also prove a Hilton--Milner-type stability theorem, determining the largest nontrivial families with this property. Finally, we connect this problem with $t$-cover-free families in vector spaces and determine their extremal number up to a lower-order term, extending a recent result of Shan and Zhou for the special case $t=2$. The proofs combine Lovász's minimax theorem for matroid matchings, a high-dimensional Hoffman bound for uniform hypergraphs, and packing-design arguments in vector spaces.

We exhibit, in a systematic way, connections between hypergraph Turán problems and extremal set theory. More specifically, we construct natural families of uniform hypergraphs for which the upper bounds on their Turán densities reduce to classical problems in extremal set theory, including the Erdős--Ko--Rado theorem, $L$-intersecting families, and the Erdős matching problem.

We prove the 4-uniform Erdős Matching Conjecture for every matching number $s\ge 6961$. The proof has two parts. First, building on ideas from Frankl--Rödl--Ruciński, we formulate a general finite-board criterion for the $r$-uniform conjecture. The criterion has two assumptions: the $(r-1)$-uniform cover-side bound for links with matching number at most $t$ holds at every $m\ge n_r(t)$, and a finite optimization problem for mixed-size trace configurations on an $(r^2+r-1)$-vertex board. Together with the corresponding lower-uniformity input, this finite-board optimization implies the Erdős Matching Conjecture with explicit large-matching thresholds. Second, we verify the finite-board assumption for $r=4$. The local board has 19 vertices, and the required inequality is decomposed into three weighted local inequalities: a leading wide layer, a 15-board layer, and an 11-board layer. The verification is reduced to exact finite optimization and certificate-validation problems: Ferrers down-set enumerations for pair and triple traces, rational Farkas-dual certificates for the top-star branch, integer branch-and-bound up-set hitting and pattern searches for the no-top-star branch, and residual-cut dual certificates for the 15-board and 11-board layers.

For integers $n\ge s\ge2$, let $e(n,s)$ denote the maximum size of a family $\F\subseteq2^{[n]}$ with no $s$ pairwise disjoint members. The problem of determining $e(n,s)$, now called the Erdős--Kleitman problem, is the non-uniform analogue of the Erdős matching problem. Fix $m\ge3$ and write $n=sm+c$, $\ell=s-c$. We prove that for every fixed $m\ge3$, there exists constants $β_m$ and $δ_m$ such that for sufficiently large $s$, the extremal families for $e(sm+c,s)$ are $P'(m,s,\ell;L')\coloneqq \binom{L'}m\cup\binom{[sm+c]}{\ge m+1}$ for some $L'$ with $|L'|=m\ell-1$ when $β_m s^{(m-1)/m}\le c\le δ_m s$. For $m=3$, we determine the asymptotic range of $\ell$ for which $P'(3,s,\ell;L')$ is extremal.

For integers $n\ge s\ge2$, let $e(n,s)$ be the maximum size of a family $\F\subseteq2^{[n]}$ with no $s$ pairwise disjoint members. The study of determining $e(n,s)$ is closely related to its uniform counterpart, the well-known Erdős matching conjecture. Frankl and Kupavskii conjectured an exact formula for $e((m+1)s-\ell,s)$ when $1\le \ell\le \lceil s/2\rceil$. We prove that for every fixed $m\ge3$ and sufficiently large $s$, the extremal families for $e((m+1)s-\ell,s)$ are \[ P(m,s,\ell;L)\coloneqq\{A\subseteq [n]\colon |A|+|A\cap L|\ge m+1\} \text{ for some $L$ with } |L|=\ell-1 \] when $1\le \ell\le (\frac{m+1}{2m+1}-o(1))s$. In particular, this confirms the Frankl--Kupavskii conjecture for every fixed $m\ge3$ and all sufficiently large $s$. For $m=3$, we determine the whole range of $\ell$ for which $P(3,s,\ell;L)$ is extremal, generalizing a theorem of Kupavskii and Sokolov.

Let $e(n,s)$ denote the maximum size of a family $\mathcal{F}$ of subsets of an $n$-element set that contains no $s$ pairwise disjoint members. In 1968, answering a question of Erdős, Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for all integers $m,s\ge 1$. Half a century later, Frankl and Kupavskii determined $e(s(m+1)-\ell, s)$ for $\ell \leq \frac{s-3}{m+3}$. They showed that the corresponding extremal example is closely connected with the extremal example for the Erdős Matching Conjecture, and conjectured that the same remains true for all $\ell \leq s/2$. In this paper, we prove an approximate version of their conjecture for $s\ge s_0(m)$.

Quantile shares, introduced by Babichenko, Feldman, Holzman, and Narayan [STOC 2024], offer an ordinal, self-maximizing, and interpretable benchmark for fair division of indivisible goods, but their universal feasibility is known only conditional on the rainbow Erdős matching conjecture (EMC). Specifically, Babichenko et al. showed that assuming the rainbow EMC in the near-perfect matching regime, the $(1/2e)$-quantile share is universally feasible. In contrast, a simple argument shows that the $q$-quantile share can be infeasible for any $q > 1/e$. We introduce a one-parameter refinement of quantile shares, the $c$-thinned quantile share, obtained by thinning the inclusion probability in the random benchmark bundle by a factor of $c$ for a fixed constant $c\in(0,1]$. Our main result is that there exists a universal constant $c >0$ for which the $c$-thinned $e^{-c}$-quantile share is unconditionally universally feasible; this is best possible in the sense that for any $c \in (0,1]$, the $c$-thinned $q$-quantile share can be infeasible for any $q > e^{-c}$. Prior to this work, the only nontrivial share known to be universally feasible was Feige's residual maximin share. The thinning viewpoint also lets us remove the factor-two loss in the conditional result for the original quantile share: assuming the rainbow EMC, the $(1/e)$-quantile share is universally feasible.

For a family $\mathcal{H} \subseteq \binom{[n]}{k}$, a subset $\{A_1, A_2, \ldots, A_m\} \subseteq \mathcal{H}$ is called a \textit{matching} of size~$m$ if the sets $A_1, A_2, \ldots, A_m$ are pairwise disjoint. The \textit{matching number} of $\mathcal{H}$, denoted by $ν(\mathcal{H})$, is the largest integer~$m$ for which such a matching exists. $\{A_1,A_2,\ldots,A_l\}\subseteq \binom{[n]}{k}$ is said to be a \textit{$k$-uniform sunflower} with $l$ \textit{petals}, if there exists a core set $C\subseteq[n]$ contained in every $A_i$ and $A_i\setminus C$ are pairwise disjoint, for $1\leq i\leq l$. Let $S_{k,l}^{k-1}$ denote the $k$-uniform sunflower with $l$ petals and the core set of size $k-1$. The \textit{codegree} of $E$ in $\mathcal{H}$, denoted by $d_{\mathcal{H}}(E)$, is defined as $d_{\mathcal{H}}(E) =|\{F\in \mathcal{H}:E\subseteq F\}|$. Let the \textit{$\ell_p$-norm} of $\mathcal{H}$ be $co_p(\mathcal{H})= \sum_{E\in \binom{[n]}{k-1}}(d_{\mathcal{H}}(E))^p$. For sufficiently large $n$, we determine the maximum $\ell_p$-norm and the maximum number of sunflowers $S_{k,l}^{k-1}$ for a family $\mathcal{F} \subseteq \binom{[n]}{k}$ with matching number $ν(\mathcal{F}) = s$. These results can be viewed as a Turán-type problem (specifically $\mathrm{ex}_k(n, S_{k,l}^{k-1}, M_s)$) and a generalization of the Erdős Matching Conjecture. Furthermore, for the case $k = 3$, we establish a linear threshold for $n$.

It is well known that Erdős Matching Conjecture concerns the maximum number of hyperedges in an $r$-uniform hypergraph with bounded matching number. As a generalization, it is natural to ask for the maximum number of copies of subhypergraphs. Given integers $r\geq2$ and $k\ge 1$, let $S_{r-1,k}^r$ denote the $r$-uniform hypergraph with hyperedges $\{e_1, \dots, e_k\}$ such that there exists an $(r-1)$-set $T$ with $e_i \cap e_j = T$ for $1\le i < j \le k$. We determine the maximum number of copies of $S_{r-1,k}^r$ in an $r$-uniform hypergraph with bounded matching number, and characterize all extremal hypergraphs. An interesting phenomenon is that the extremal numbers and extremal hypergraphs are exactly the same for all $k\ge 1$. Our main tool is the shifting method. By establishing an injection, we prove that the shifting operation does not decrease the number of copies of $S_{r-1,k}^r$ for all $k\geq1$, thereby answering a question raised by Wang and Peng (2026). Moreover, we present a counting method for estimating the number of copies of $S_{r-1,k}^r$ in arbitrary $r$-uniform hypergraphs. Counting the number of copies of $S_{r-1,k}^r$ in $r$-uniform hypergraphs is closely related to Turán problems in the $(r-1,k)$-norm proposed by Chen, Il'kovič, León, Liu and Pikhurko. The $(r-1,k)$-norm of an $r$-uniform hypergraph $\mathcal{H}$ is the sum of the $k$-th power of the degrees $d_{\mathcal{H}}(T)$ over all $(r-1)$-subsets $T \subseteq V(\mathcal{H})$. Combining our established result with that of Frankl (2013), and utilizing the Newton expansion of powers and Stirling numbers of the second kind, we show that Erdős Matching Conjecture in the $(r-1,k)$-norm holds, which generalizes the result of Brooks and Linz concerning the $(r-1,2)$-norm case.

A central theme in extremal combinatorics is the study of the maximum number of edges in an $r$-uniform hypergraph ($r$-graph) with matching number at most $s$ (the Erdős Matching Conjecture) or with pairwise intersection at least $t$ (the $t$-intersection problem). The maximum sizes for these problems are typically achieved by trivial constructions: for the matching problem, the extremal construction consists of all edges intersecting a fixed set of $s$ vertices, while for the intersection problem, it consists of all edges containing a fixed set of $t$ vertices. In this paper, we investigate the \emph{non-trivial} $r$-partite $r$-graphs where each part is of size $n$. We determine the exact bounds for both the matching problem and the intersection problem when $n$ is sufficiently large. Furthermore, for the intersection problem, we resolve the cases $t=1$ and $t=r-2$ for all $n \ge 2$. Our results partially confirm a conjecture of Lu and Ma.

A famous conjecture of Erdős asserts that for $k\ge 3$, the maximum number of edges in an $n$-vertex $k$-uniform hypergraph without $s+1$ pairwise disjoint edges is $\max\{\binom{n}{k}-\binom{n-s}{k},\binom{sk+k-1}{k}\}$. This problem has been central in extremal combinatorics, with substantial progress in the literature, including a complete solution for $k=3$ due to the first author. In this paper, we make progress towards the $4$-uniform case, proving the conjecture for $n\ge 5s$ and sufficiently large $n$, thereby taking a first step analogous to the $3$-uniform case. The main technical contribution is a stability result of independent interest. We further apply this stability to resolve two new instances of conjectures on the minimum $d$-degree threshold for matchings in $5$- and $6$-uniform hypergraphs, in a strengthened form.

Let $\mathcal{F}$ be a family of $k$-sized subsets of $[n]$ that does not contain $s$ pairwise disjoint subsets. The Erdős Matching Conjecture, a celebrated and long-standing open problem in extremal combinatorics, asserts the maximum cardinality of $\mathcal{F}$ is upper bounded by $\max\left\{\binom{sk-1}{k}, \binom{n}{k}-\allowbreak \binom{n-s+1}{k}\right\}$. These two bounds correspond to the sizes of two canonical extremal families: one in which all subsets are contained within a ground set of $sk-1$ elements, and one in which every subset intersects a fixed set of $s-1$ elements. In this paper, we prove the conjecture.

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.

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.

Define a \textit{$t$-matching} of size $m$ in a $k$-uniform family as a collection $\{A_1, A_2, \ldots, A_m\} \subseteq \binom{[n]}{k}$ such that $|A_i \cap A_j| < t$ for all $1 \leq i < j \leq m$. Let $\mathcal{F}\subseteq \binom{[n]}{k}$. The \textit{$t$-matching number} of $\mathcal{F}$, denoted by $ν_t(\mathcal{F})$, is the maximum size of a $t$-matching contained in $\mathcal{F}$. We study the maximum cardinality of a family $\mathcal{F}\subseteq\binom{[n]}{k}$ with given $t$-matching number, which is a generalization of Erdős matching conjecture, and we additionally prove a stability result. We also determine the second largest maximal structure with $ν_t(\mathcal{F})=s$, extending work of Frankl and Kupavskii \cite{frankl2016two}. Finally, we obtain the extremal $G$-free induced subgraphs of generalized Kneser graph, generalizing Alishahi's results in \cite{alishahi2018extremal}.