Separating hypergraph Tur\'an densities

Erd\H{o}s asked whether, similarly as for graphs, the Tur\'an density of $K_4^{(3)}$ is the same as that of $K_5^{(3)-}$. This was disproved by Markstr\"om using a proof that relied on computer-aided flag algebra calculations. Here we give a flag-algebra-free proof that for all $k\geq 3$,...

Full description

Saved in:
Bibliographic Details
Main Authors Liu, Hong, Schülke, Bjarne, Wang, Shuaichao, Yang, Haotian, Zhang, Yixiao
Format Journal Article
LanguageEnglish
Published 11.10.2024
Subjects
Mathematics - Combinatorics
Online AccessGet full text

Cover

More Information
Summary:Erd\H{o}s asked whether, similarly as for graphs, the Tur\'an density of $K_4^{(3)}$ is the same as that of $K_5^{(3)-}$. This was disproved by Markstr\"om using a proof that relied on computer-aided flag algebra calculations. Here we give a flag-algebra-free proof that for all $k\geq 3$, $\pi(K_{k+1}^{(k)})<\pi(K_{k+2}^{(k)-})$. We further illustrate our methods by separating the Tur\'an densities of other hypergraphs without relying on explicit bounds. For instance, we show that $\pi(K_{\ell}^{(k)})<\pi(K_{\ell+1}^{(k)})$, for all $\ell> k\geq3$.
DOI:10.48550/arxiv.2410.08921