Erdős's jump conjecture for hypergraph Turán densities

For an integer r2r\ge 2, an rr-graph is an rr-uniform hypergraph. A real number α[0,1]\alpha\in[0,1] is a jump for rr if there exists a constant c>0c>0 such that, for every ϵ>0\epsilon>0 and every integer mrm\ge r, there is an integer n0(ϵ,m)n_0(\epsilon,m) such that every rr-graph with at least n0(ϵ,m)n_0(\epsilon,m) vertices and density at least α+ϵ\alpha+\epsilon contains a subgraph with mm vertices and density at least α+c\alpha+c. Erdős's jump conjecture. Every α[0,1)\alpha\in[0,1) is a jump for every r2r\ge 2. Erdős proved that every α[0,r!/rr)\alpha\in[0,r!/r^r) is a jump for r3r\ge3, while the conjecture concerns the full interval [0,1)[0,1) and its status is not established by the supplied text.

Sources & referencesView supporting material

Primary source

Jianfeng Hou, Heng Li, Caihong Yang and Yixiao Zhang, “Generating non-jumps from a known one”, arXiv:2208.00794 (2022).

Additional references

2 papers in this index state this conjecture (2013–2022). The statement above is taken from the most recent of them; the others are arXiv:1312.3396.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.