Schacht’s and Lamaison’s uniform Turán-density questions

For every 33-uniform hypergraph FF, determine when its cherry Turán density vanishes. The claimed characterization is πee(F)=0\pi_{ee}(F)=0 if and only if FF is max-layered. The corresponding zero-jump questions ask whether there is a constant c>0c>0 such that no 33-uniform hypergraph FF satisfies π⋆(F)∈(0,c)\pi_{\star}(F)\in(0,c). The claimed answers are that zero is a jump for πvvv\pi_{vvv}, but not for πve\pi_{ve} or πee\pi_{ee}; equivalently, for every c>0c>0 there exists a 33-uniform hypergraph FF with 0<πve(F)<c0<\pi_{ve}(F)<c, and likewise one with 0<πee(F)<c0<\pi_{ee}(F)<c.

Equivalent formulations
  1. For every 33-uniform hypergraph FF, the following conditions are equivalent: πee(F)=0\pi_{ee}(F)=0, πeepal(F)=0\pi_{ee}^{\rm pal}(F)=0, and FF is max-layered.

    source: Vanishing Uniform Turán Densities: Characterization and Jumps

References
  1. arXiv

Progress summary

Refreshed
Open · solution reported

A new unpublished paper claims to settle the main structural and jump questions, but its mathematics has not been independently checked.

The questions concern when uniform Turán densities vanish and how they behave near zero. A 2026 preprint claims a general characterization that includes the max-layered criterion and resolves the associated palette- and jump-comparison questions.

Known results

  • Reiher, Rödl, and Schacht (2018) characterized 33-graphs with b[?25lπ1(F)=0b[?25l\pi_1(F)=0 and showed that failure of the condition forces b[?25lπ1(F)≥1/27b[?25l\pi_1(F)\ge 1/27.

2026 preprint: claimed structural resolution

The preprint claims, for every k≥3k\ge 3, 0≤t≤k−10\le t\le k-1, and every kk-graph FF, that b[?25lπtext(F)=0b[?25l\pi_t^{\mathrm{ext}}(F)=0 exactly when FF is tt-layered. It therefore claims that, for 33-graphs, vanishing cherry density is equivalent to being max-layered, and reports corresponding palette-density and zero-jump results. The claim is unrefereed and lacks independent mathematical assessment; the authors say unnamed AI tools generated the general-case argument, which they independently checked.

Current status (as of October 2026): The structural and jump questions are claimed solved by an unrefereed preprint, but the claimed resolution remains unverified.

Sources

Solutions 0

No solutions have been posted yet.