Turán's Theorem for the Fano plane
arXiv:1804.07673 · doi:10.1007/s00493-019-3981-8
Abstract
Confirming a conjecture of Vera T. Sós in a very strong sense, we give a complete solution to Turán's hypergraph problem for the Fano plane. That is we prove for that among all -uniform hypergraphs on vertices not containing the Fano plane there is indeed exactly one whose number of edges is maximal, namely the balanced, complete, bipartite hypergraph. Moreover, for there is exactly one other extremal configuration with the same number of edges: the hypergraph arising from a clique of order by removing all five edges containing a fixed pair of vertices. For sufficiently large values this was proved earlier by Füredi and Simonovits, and by Keevash and Sudakov, who utilised the stability method.
revised according to referee reports