{"id":"arxiv/2605.26060","url":"https://arxiv.org/abs/2605.26060","tags":["math.CO"],"score":0,"title":"The Erdős Matching Conjecture for 4-uniform hypergraphs","domain":"math.CO","source":"arxiv","authors":["Jianfeng Hou","Caiyun Hu","Xizhi Liu"],"reviews":0,"subject":"math.CO","summary":"We prove the Erdős Matching Conjecture for $4$-uniform hypergraphs for every matching number $s\\ge6004$. Specifically, for integers $s\\ge 6004$ and $n\\ge 4s+4$, if a $n$-vertex 4-uniform hypergraph $\\mathcal F$ does not contain a matching of size $s+1$, then \\[ |\\mathcal F|\\le \\max\\left\\{\\binom{4s+3}{4},\\binom n4-\\binom{n-s}{4}\\right\\}. \\] Our proof introduces a finite-board reduction for general uniformity. It reduces the global conjecture to a lower-uniformity bound and a fixed finite optimization at the two adjacent vertex numbers where the candidate constructions exchange dominance. In…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-25","reactions":{}}