Kühn–Osthus–Townsend conjecture on minimum dd-degree thresholds for matchings

Let HH be a kk-graph, let dd be an integer with 1dk11\leq d\leq k-1, and let mds(k,n)m_d^s(k,n) denote the minimum integer mm such that every nn-vertex kk-graph HH with minimum dd-degree at least mm contains a matching of size ss. For any ε>0\varepsilon>0, with 0s(1ε)n/k0\leq s\leq(1-\varepsilon)n/k, Kühn–Osthus–Townsend conjecture.

mds(k,n)=(1(1sn)kd+o(1))(ndkd).m_d^s(k,n)=\left(1-\left(1-\frac{s}{n}\right)^{k-d}+o(1)\right)\binom{n-d}{k-d}.

This conjecture predicts the asymptotic minimum codegree-type threshold forcing a matching of size ss. The source introduces it as a conjecture of Kühn, Osthus, and Townsend; its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Peter Frankl, Hongliang Lu, Jie Ma and Yuze Wu, “Towards the Erdős matching conjecture for 4-uniform hypergraphs: stability and applications”, arXiv:2602.19230 (2026).

Additional references

2 papers in this index state this conjecture (2021–2026). The statement above is taken from the most recent of them; the others are arXiv:2104.00518.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.