On a hypergraph Turán problem of Frankl

From MaRDI portal
Publication:2368596

DOI10.1007/S00493-005-0042-2zbMATH Open1089.05075arXivmath/0211179OpenAlexW2078034676MaRDI QIDQ2368596FDOQ2368596

Benny Sudakov, Peter Keevash

Publication date: 27 June 2006

Published in: Combinatorica (Search for Journal in Brave)

Abstract: Let Cr2k be the 2k-uniform hypergraph obtained by letting P1,...,Pr be pairwise disjoint sets of size k and taking as edges all sets PicupPj with ieqj. This can be thought of as the `k-expansion' of the complete graph Kr: each vertex has been replaced with a set of size k. We determine the exact Turan number of C32k and the corresponding extremal hypergraph, thus confirming a conjecture of Frankl. Sidorenko has given an upper bound of (r2)/(r1) for the Tur'an density of Cr2k for any r, and a construction establishing a matching lower bound when r is of the form 2p+1. We show that when r=2p+1, any Cr4-free hypergraph of density (r2)/(r1)o(1) looks approximately like Sidorenko's construction. On the other hand, when r is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Tur'an density of Cr4 to (r2)/(r1)c(r), where c(r) is a constant depending only on r. The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal-Katona theorem and properties of Krawtchouck polynomials.


Full work available at URL: https://arxiv.org/abs/math/0211179






Cited In (35)


   Recommendations





This page was built for publication: On a hypergraph Turán problem of Frankl

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