The Erdős Matching Conjecture for 4-uniform hypergraphs
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.26060
curl -X POST /api/v1/records/arxiv/2605.26060/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.26060/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'