On the Exact Tur\'an Number of
In the authors' words
For a -graph , the Tur\'an number of , denoted by , is the maximum number of edges in a -graph on vertices containing no subgraph isomorphic to . Let be the -graph formed by a complete four-vertex core and three outer vertices, with all but one of the twelve triples containing one core vertex and two outer vertices. We prove that, for every , \[ \ex(n,F^-_{4,3})=\binom n3-\binom{\lfloor n/2\rfloor}{3}-\binom{\lceil n/2\rceil}{3}, \] and the balanced complete bipartite -graph is the unique extremal configuration. This determines the exact value and all equality cases in the asymptotic theorem of Mubayi and R\"odl. It also extends the exact Tur\'an Number of and resolves a conjecture of Frankl, Huang and R\"odl.
Appeared: Friday, September 25. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 13 pages