On set systems with restricted intersections modulo a composite number. (Extended abstract)

From MaRDI portal





The following theorem is proved: Let \(m\) be a positive non-prime-power integer, and suppose that \(m\) has \(r>1\) different prime divisors. Then, for every integer \(n>0\), there exists an explicitly constructible family \(F\) of subsets of \(\{1,\dots, n\}\) of size \(\exp(c(\log n)^r/(\log\log n)^{r- 1})\) with some \(c>0\) such that \(|X|\equiv 0\pmod m\) and \(|X\cap Y|\not\equiv 0\pmod m\) for all \(X,Y\in F\). The proof uses a low-degree polynomial construction of \textit{D. A. M. Barrington}, \textit{R. Beigel} and \textit{S. Rudich} [Comput. Complexity 4, No. 4, 367-382 (1994; Zbl 0829.68057)] and a new method for constructing set systems from multivariate polynomials. The result also settles a related conjecture of Babai and Frankl in the negative. For the entire collection see [Zbl 0869.00027].











This page was built for publication: On set systems with restricted intersections modulo a composite number. (Extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364578)