An extension of a Frankl-Füredi theorem (Q762154)

\textit{P. Frankl} and \textit{Z. Füredi} [Families of finite sets with a missing intersection, Finite and infinite sets, 6th Hung. Combin. Colloq., Eger/Hung. 1981, Coll. Math. Soc. János Bolyai 37, 305-318 (1984)] proved the following theorem. Let \(1\leq r<n\) be integers and \({\mathcal H}^ a \)family of subsets of an n-element set such that \(1\leq | H\cap H'| \leq r\) holds. Then \(| {\mathcal H}| \leq \left( \begin{matrix} n-1\\ 0\end{matrix} \right)+...+\left( \begin{matrix} n-1\\ r\end{matrix} \right)\) holds if either (a) \(n\leq 2r+2,\) or (b) \(n>100 r^ 2/\log r.\) In the paper under review, the following extension of this result is presented: If \({\mathcal H}\) is a system of finite sets satisfying the conditions of the Frankl-Füredi theorem and \(6(r+1)\leq n\leq 1/5(r+1)^ 2,\) then also \(| {\mathcal H}| \leq \left( \begin{matrix} n-1\\ 0\end{matrix} \right)+...+\left( \begin{matrix} n-1\\ r\end{matrix} \right).\)