Realizability of rational exponents by a single bipartite graph

About 6 years old · traced to

Let r∈(1,2)r\in(1,2) be rational. For a graph FF, write ex⁡(n,F)\operatorname{ex}(n,F) for the maximum number of edges in an nn-vertex graph containing no copy of FF. Realizability of rational exponents. For every rational number r∈(1,2)r\in(1,2), there exists a bipartite graph FrF_r such that

ex⁡(n,Fr)=Θ(nr).\operatorname{ex}(n,F_r)=\Theta(n^r).

Bukh and Conlon proved the analogous assertion with a finite family of graphs in place of one graph; this conjecture asks whether every rational exponent can be realized by a single bipartite graph. The source also records the stronger Erdős–Simonovits question requiring an asymptotic formula cnr+o(nr)cn^r+o(n^r), but that stronger question is not the present claim.

References

Primary source

Tao Jiang, Zilin Jiang and Jie Ma, “Negligible obstructions and Turán exponents”, arXiv:2007.02975 (2023).

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.