Uniform Tur\'an density of cycles

In the early 1980s, Erdős and Sós initiated the study of the classical Turán problem with a uniformity condition: the uniform Turán density of a hypergraph H is the infimum over all d for which any sufficiently large hypergraph with the property that all its linear-size subhypergraphs have density a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Transactions of the American Mathematical Society 2023-07, Vol.376 (7), p.4765
Hauptverfasser: Matija Bucić, Jacob W. Cooper, Daniel Kráľ, Samuel Mohr, David Munhá Correia
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In the early 1980s, Erdős and Sós initiated the study of the classical Turán problem with a uniformity condition: the uniform Turán density of a hypergraph H is the infimum over all d for which any sufficiently large hypergraph with the property that all its linear-size subhypergraphs have density at least d contains H. In particular, they raise the questions of determining the uniform Turán densities of K_4^{(3)-} and K_4^{(3)}. The former question was solved only recently by Glebov, Král’, and Volec [Israel J. Math. 211 (2016), pp. 349–366] and Reiher, Rödl, and Schacht [J. Eur. Math. Soc. 20 (2018), pp. 1139–1159], while the latter still remains open for almost 40 years. In addition to K_4^{(3)-}, the only 3-uniform hypergraphs whose uniform Turán density is known are those with zero uniform Turán density classified by Reiher, Rödl and Schacht [J. London Math. Soc. 97 (2018), pp. 77–97] and a specific family with uniform Turán density equal to 1/27. We develop new tools for embedding hypergraphs in host hypergraphs with positive uniform density and apply them to completely determine the uniform Turán density of a fundamental family of 3-uniform hypergraphs, namely tight cycles C_\ell ^{(3)}. The uniform Turán density of C_\ell ^{(3)}, \ell \ge 5, is equal to 4/27 if \ell is not divisible by three, and is equal to zero otherwise. The case \ell =5 resolves a problem suggested by Reiher.
ISSN:0002-9947
1088-6850
DOI:10.1090/tran/8873