Weak Sidorenko expansion conjecture

Let FF be a bipartite graph, and let Er(F)\mathrm{E}^r(F) denote its rr-uniform expansion: each edge of FF is extended to an rr-edge by adding new vertices. An rr-graph is Sidorenko if its homomorphism density satisfies the Sidorenko inequality for every rr-graph. Weak Sidorenko expansion conjecture. For every bipartite graph FF, there exists an integer r2r\geq 2 such that Er(F)\mathrm{E}^r(F) is Sidorenko. This is presented as a potentially weaker version of Sidorenko's conjecture, since Sidorenko's conjecture would give the conclusion with r=2r=2; the supplied source gives no resolution status.

Sources & referencesView supporting material

Primary source

Jiaxi Nie and Sam Spiro, “Sidorenko Hypergraphs and Random Turán Numbers”, arXiv:2309.12873 (2025).

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.