{"id":"arxiv/2602.01471","url":"https://arxiv.org/abs/2602.01471","tags":["math.CO","cs.DM"],"score":0,"title":"Erdős Matching (Conjecture) Theorem","domain":"math.CO","source":"arxiv","authors":["Tapas Kumar Mishra"],"reviews":0,"subject":"math.CO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-01","reactions":{}}