Sharp bounds for rainbow matchings in hypergraphs

TL;DR

This paper establishes bounds on the number of matchings needed in an r-uniform hypergraph to guarantee a rainbow matching of size t, resolving longstanding questions and extending results to r-partite hypergraphs.

Contribution

It provides tight bounds for the minimum number of matchings required for rainbow matchings in hypergraphs, answering open questions and generalizing to r-partite cases.

Findings

Answer is on the order of t^r for fixed r.

Determined bounds for large r with fixed t.

Extended results to r-partite hypergraphs.

Abstract

Suppose we are given matchings $M_1,....,M_N$ of size $t$ in some $r$-uniform hypergraph, and let us think of each matching having a different color. How large does $N$ need to be (in terms of $t$ and $r$) such that we can always find a rainbow matching of size $t$? This problem was first introduced by Aharoni and Berger, and has since been studied by several different authors. For example, Alon discovered an intriguing connection with the Erd\H{o}s--Ginzburg--Ziv problem from additive combinatorics, which implies certain lower bounds for $N$. For any fixed uniformity $r \ge 3$, we answer this problem up to constant factors depending on $r$, showing that the answer is on the order of $t^{r}$. Furthermore, for any fixed $t$ and large $r$, we determine the answer up to lower order factors. We also prove analogous results in the setting where the underlying hypergraph is assumed to be $r$-partite. Our results settle questions of Alon and of Glebov-Sudakov-Szab\'{o}.