An exact Turán result for the generalized triangle (Q949792)

In a \(k\)-uniform hypergraph three edges \(D_1,D_2, D_3\) form a generalized triangle if \(D_1\triangle D_2 \subseteq D_3.\) Let \({\mathcal T}_k\) denote the set of all \(k\)-graphs with generalized triangles. Let \(\Sigma_k \subset {\mathcal T}_k\) contain all \(k\)-graphs with the special generalized triangle \(| D_1\cap D_2| =k-1.\) The exact value of the Turán function ex\((n,{\mathcal T}_k)\) was computed for \(k=3\) by \textit{B. Bollobás} [Discrete Math. 8, 21--24 (1974; Zbl 0291.05114)] and for \(k=4\) by \textit{A. F. Sidorenko} [Math. Notes 41, 247--259 (1987; Zbl 0677.05064)]. \textit{P. Frankl and Z. Füredi} [J. Comb. Theory, Ser. A 52, No. 1, 129--147 (1989; Zbl 0731.05030)] studied the Turán problem for the special \(k\)-graph \(T_k\in \Sigma_k\) where \(| (D_1\cup D_2)\cap D_3| =2.\) In 1989 they conjectured that there exists a constant \(n_0(k)\) such that ex\((n,T_k)=\)ex\((n,\Sigma_k)\) for all \(n> n_0(k).\) This conjecture is known to be true for \(k=3.\) This lengthy, rather involved paper under review proves the conjecture for the case \(k=4\).