A New Upper Bound for the Turán Density of the Tetrahedron

For every \phi\in\operatorname{Hom}^+(\mathcal A^\sigma,\mathbb R), positivity and (?) give

For each n\ge3, choose a K_4^{(3)}-free 3-graph G_n on n vertices with \operatorname{ex}(n,K_4^{(3)}) edges. Since \mathcal F^0 is countable and every density lies in [0,1], a diagonal argument gives a subsequence along which p(F;G_n) converges for every F\in\mathcal F^0. By Theorem 2.2, these limits define a positive homomorphism \psi with \psi(\rho)=\pi(K_4^{(3)}). Conversely, every \phi\in\operatorname{Hom}^+(\mathcal A^0,\mathbb R) is realized by a convergent sequence \{G'_n\} with |V(G'_n)|\to\infty. Taking limits in

gives \phi(\rho)\le\pi(K_4^{(3)}).

Let \pi^1\colon\mathcal A^0\to\mathcal A^1 and \partial_1\colon\mathcal A^0\to\mathcal A^1 be Razborov’s upward operator and vertex differential, respectively [Razborov2007, §§2.3.1 and 4.3]. For M\in\mathcal F^0_\ell, \pi^1(M) is the sum of the 1-flags on \ell+1 vertices whose non-root vertices induce a copy of M. For the hyperedge, \partial_1\rho=3(\pi^1(\rho)-d), so [Razborov2007, Theorem 2.8(a)] gives

Razborov calls a theory vertex uniform if it has exactly one one-vertex type [Razborov2007, Definition 11]. This condition holds for \mathcal{T}, since the only 3-graph on a single vertex has no edges. We can therefore apply the stationarity criterion of Razborov [Razborov2007, Corollary 4.6(a)]. At an edge-density maximizer \phi_0, take M_1=\rho, the objective f(t)=-t on \mathbb R, and g=d. The choice f(t)=-t makes \phi_0 a minimizer of the objective in that corollary. It gives \phi_0(\left\llbracket d\cdot\partial_1\rho\right\rrbracket_1)=0, hence \phi_0(S)=0.

By Proposition 2.4, choose a maximizer \phi with \phi(\rho)=\pi(K_4^{(3)}). By Proposition 2.6, \phi(\tau S)=0 for every \tau\in\mathbb R, while each quadratic-form contribution is nonnegative by Theorem 2.5. Applying \phi to (?) and using Lemma 2.3 gives

The factorization of each Q_b is a sum of outer products of rational vectors, so Q_b\succeq 0. For the block sizes (s_b,\ell_b)=(1,4),(3,5),(4,5),(5,6), the average in (?) runs over, respectively, 140, 1260, 5040, and 5040 equally weighted choices of root-label assignments and ordered pairs of disjoint non-root sets. All four numbers divide 5040. The two averages in (?) have respectively 140 and 630 equally likely choices, which also divide 5040. Since the edge-density denominator is 35 and M^2\tau is an integer, (?) implies C_7(G)\in\mathbb Z.

To verify (3.2), we take one representative of each of the 964 tetrahedron-free 3-graphs on six vertices, add one vertex, and consider all 2^{15} choices of edges containing it. Retaining the tetrahedron-free extensions gives a list covering every member of \mathcal F^0_7 up to isomorphism: deleting any vertex from such a 3-graph leaves a member of the six-vertex catalog. Repeated isomorphism classes do not affect the maximum. The exhaustive integer evaluations detailed in Appendix ? establish (3.2) on this list; the counting formulas are given in Appendix ?. Dividing the maximum by L gives B=\frac{14993367693127837}{26880000000000000}. Together with the rational factorizations, this proves that the data form the claimed exact certificate.

Fix one such set U. Every labeling with image U that induces \sigma differs from \theta_U by a unique automorphism of \sigma. Hence

Summing over all such U gives (4.1). Changing \theta_U only permutes the automorphisms in the sum, so the value is independent of the chosen labeling. It is also unchanged when x_U and y_U are interchanged, since \widehat Q_b is symmetric.