A simple proof that the edge density of Fon-der-Flaass $(3,4)$-graph is $\geq\frac{7}{16}(1-o(1))$

Abstract

In 2018, Alexander A. Razborov proved that the edge density of Fon-der-Flaass $(3,4)$-graph is $\geq\frac{7}{16}(1-o(1))$, using flag algebras. In this paper, we give an elementary proof of this result.