Turán’s Tetrahedron Conjecture

• The topic presents Turán's (3,4)-conjecture, defining minimal edge conditions in 3-uniform hypergraphs with every 4-vertex set containing an edge.
• It introduces algebraic shifting and domination techniques that recast extremal hypergraph problems into an algebraic framework for verification.
• Methodological advances using flag algebras and semidefinite programming provide promising approaches for resolving longstanding open problems.

The Tetrahedron Conjecture of Turán, also referred to as Turán’s (3,4)-conjecture or the tetrahedron problem, occupies a central position in extremal hypergraph theory. It posits the minimal size or maximal density of a 3-uniform hypergraph on $n$ vertices in which every 4-vertex subset contains at least one edge. This conjecture has motivated developments across combinatorics, algebraic shifting, and modern applications of flag algebra methods. Although the (3,4)-conjecture remains open in its original form, significant progress has been made on its structural, algebraic, and computational aspects.

1. Combinatorial Formulation and Turán's Construction

Let $H$ be a 3-uniform hypergraph (3-graph) on $[n]$ such that every 4-set contains an edge. Turán's conjecture (1940) asserts that the minimum number of edges in such $H$ is achieved by a specific "balanced" 3-partite construction: partition $[n]$ into three parts $A_1, A_2, A_3$ (with sizes $s_1, s_2, s_3$ and $|s_i - s_j| \leq 1$), and include as edges all triples either contained within a single part or intersecting two vertices from one part and one from the next (cyclically). The conjectured minimum is: $$h(n) = \sum_{i=1}^3 \binom{s_i}{3} + \sum_{i=1}^3 s_i\binom{s_{i+1}}{2}$$ The combinatorial extremal configuration $C_n$ constructed this way is a balanced complete tripartite 3-graph with prescribed local edge patterns (Kalai et al., 2018).

2. Algebraic Shifting and Domination Reformulation

Algebraic shifting and domination provide an algebraic lens for recasting extremal problems. For Turán’s conjecture, the shifted family

$H$0

satisfies $H$1. The domination conjecture asserts that any 3-graph $H$2 on $H$3 with the "every 4-set spans an edge" property algebraically dominates $H$4, i.e., in the third compound matrix $H$5 of a generic $H$6 matrix $H$7, the submatrix indexed by $H$8 and $H$9 has full row rank. The exterior algebraic shift $[n]$0, for a term order $[n]$1 making $[n]$2 initial, satisfies $[n]$3 (Kalai et al., 2018).

Algebraic Shifting Definitions:

• For $[n]$4-uniform families $[n]$5, $[n]$6 dominates $[n]$7 iff the corresponding compound matrix minor has maximal rank.
• The exterior algebraic shift $[n]$8 constructs the lexicographically minimal weakly isomorphic shifted family.
• Combinatorial shifting applies elementary swaps, iterated until a shifted family is reached.

Algebraic shifting commutes with simplicial-complex skeletons, and key homological relations express Betti numbers in terms of shifted complexes.

3. Strengthened Conjectures and Graph Analogues

A strengthened version, termed the (3,4)-domination conjecture, postulates that all $[n]$9 as above dominate $H$0—or, equivalently, $H$1. While open for hypergraphs, several graph analogues have been established:

• Domination version of Mantel-Turán: If $H$2 is a graph on $H$3 with every 3-set containing an edge, the edge family $H$4 dominates $H$5, the shifted extremal graph. Algebraically, $H$6 for any order refining the sum order $H$7.
• Involution Theorem (graph analogue II): For a graph $H$8 and involution $H$9 on $[n]$0, if every 3-set $[n]$1 satisfies $[n]$2, then $[n]$3 where $[n]$4 is the balanced bipartite graph (Kalai et al., 2018).

The involution and algebraic domination results generalize and sharpen classical extremal graph theorems such as Mantel’s theorem.

4. Methodological Advances: Flag Algebras and Semidefinite Computation

Recent work introduces new analytic tools for the Turán tetrahedron problem, notably the flag algebra and semidefinite programming framework developed by Razborov. The extremality of a hypergraph is measured using the codegree vector—particularly its $[n]$5 and $[n]$6 norms:

• $[n]$7-norm: Counts edges, corresponding to the classical problem.
• $[n]$8-norm: The codegree-squared sum $[n]$9; extremal parameter $A_1, A_2, A_3$0.

Applying flag algebra methods, asymptotic values are obtained: $A_1, A_2, A_3$1 Stability results show that near extremal $A_1, A_2, A_3$2-free hypergraphs in $A_1, A_2, A_3$3-norm are essentially modifications of $A_1, A_2, A_3$4 (Balogh et al., 2021).

5. Structural Stability and Comparison to Classical Extremals

A key property established for the $A_1, A_2, A_3$5 extremal problem is the uniqueness (modulo $A_1, A_2, A_3$6 perturbations) of the $A_1, A_2, A_3$7 construction in maximizing $A_1, A_2, A_3$8 among $A_1, A_2, A_3$9-free hypergraphs. For the classical $s_1, s_2, s_3$0-norm (edge count), extremal families are known to be exponentially numerous (including the Brown–Kostochka–Fon-der-Flaass constructions); however, for the $s_1, s_2, s_3$1-norm, the structure is rigid: the extremal graphs are close to $s_1, s_2, s_3$2 (the balanced complete tripartite plus one-step blow-up) (Balogh et al., 2021).

Table: Comparison of Extremal Constructions

Problem	Extremal Configuration	Uniqueness
Turán's original ($s_1, s_2, s_3$3-norm)	Many (Brown–Kostochka etc.)	Not unique
$s_1, s_2, s_3$4-norm (codegree-square)	$s_1, s_2, s_3$5 (balanced tripartite + blow-up)	Essentially unique

This structural rigidity supports the conjecture that $s_1, s_2, s_3$6 is also extremal for the classical Turán $s_1, s_2, s_3$7-norm problem.

6. Open Problems and Perspectives

Despite advances, the original Turán (3,4)-conjecture remains unresolved. Notable directions and open problems include:

• Proving or disproving the (3,4)-domination conjecture for hypergraphs using exterior algebraic shifting.
• Characterizing equality cases in the involution-based graph theorem.
• Extending domination and shifting techniques to higher-uniformity Turán-type extremal problems and further group actions.
• Leveraging computational evidence and algebraic shifting for finer classification of extremal structures (Kalai et al., 2018).

Partial evidence for the conjecture includes success in graph analogues, computer verification for small instances (e.g., Kostochka’s examples), and the stability and uniqueness yielded in $s_1, s_2, s_3$8-norm analyses (Balogh et al., 2021).

7. Impact and Future Directions

Algebraic, combinatorial, and analytic developments around the Tetrahedron Conjecture of Turán have provided new insights into extremal combinatorics, including toolsets based on exterior algebraic shifting, homological invariants, and flag algebra techniques. These advances refine our understanding of the interplay between structure and extremality in hypergraphs and offer pathways to resolving longstanding open problems and generalizing to broader Turán-type contexts. The persistent openness of Turán’s (3,4)-conjecture continues to stimulate methodological innovation and cross-pollination between algebraic and combinatorial extremal theory (Kalai et al., 2018, Balogh et al., 2021).