{"id":"arxiv/2605.06389","url":"https://arxiv.org/abs/2605.06389","tags":["math.CO"],"score":0,"title":"A solution to Frankl and Kupavskii's conjecture concerning Erdős-Kleitman matching problem","domain":"math.CO","source":"arxiv","authors":["Cheng Chi","Yan Wang"],"reviews":0,"subject":"math.CO","summary":"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 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\\}$ for some $L$ with $|L|=\\ell-1$ when…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-07","reactions":{}}