Turing universality, computability, and incompleteness in hypergraph Turán theory

Abstract: Given a finite family $\mathcal F$ of forbidden $r$-graphs, the Turán problem asks for the maximum asymptotic edge density of $\mathcal F$-free $r$-graphs and the structure of near-extremal examples. We show that both questions can encode arbitrary computation. Fix a universal Turing machine $\mathsf U$. For every sufficiently large fixed $r$, there is a rational $τ<em>r\in(0,1)$ such that, from each binary word $β$, one can construct a finite family $\mathcal F</em>{r,β}$ with $π(\mathcal F_{r,β})=τ<em>r$ if $\mathsf U$ does not halt on $β$, and $π(\mathcal F</em>{r,β})&gt;τ<em>r$ otherwise. The same dichotomy governs extremal structure. We construct finite families $\mathcal G</em>{r,β}$ such that nonhalting gives a unique extremal limit and Erdős--Simonovits stability, whereas halting gives two nonempty compact extremal phases separated by the sign of a fixed continuous statistic. Hence uniqueness and connectedness of the extremal space, symmetry breaking, two-phase behavior, and stability are all undecidable. The reductions are effective and verifiable in ZFC by finite certificates. Consequently, for every consistent computably axiomatized extension of ZFC and every sufficiently large fixed $r$, there is a finite family $\mathcal F$ for which the true equality $π(\mathcal F)=τ_r$ is neither provable nor refutable; analogous independence holds for the five structural properties above. We also obtain effective approximation, classify exact comparison complexity, and show that the smallest improvement witnesses have Busy-Beaver growth, with no uniform computable positive lower bound on the density gain.