An extremal problem for sets: A new approach via Bezoutians (Q1208052)

The paper gives a new proof for \textit{N. Alon}'s theorem [J. Comb. Theory, Ser. A 40, 82-89 (1985; Zbl 0578.05002)] which generalizes \textit{B. Bollobás}' classical result [Acta Math. Acad Sci. Hungar. 16, 447-452 (1965; Zbl 0138.194)] in the following way: Let \(X_ 1,\dots,X_ n\) be \(n\) disjoint sets. For \(1\leq i\leq n\) and \(1\leq j\leq h\) let \(A_{ij}\) and \(B_{ij}\) be subsets of \(X_ i\) satisfying \(| A_{ij}|\leq r_ i\), \(| B_{ij}|\leq s_ i\) (for all \(i,j\) pairs), \((\bigcup_ iA_{ij})\cap(\bigcup_ iB_{ij})=\varnothing\) (for all \(j)\) and \((\bigcup_ iA_{ij})\cap(\bigcup_ iB_{il})\neq\varnothing\) (for \(1\leq j<l\leq h)\). Then \(h\leq\prod^ n_{i=1}{r_ i+s_ i\choose r_ i}\). Alon's proof uses the Lovász exterior algebra techniques. This new proof uses polynomial algebra techniques based on the Bezoutian of two polynomials.