Directed Sidorenko conjecture for oriented graphs

About 4 years old · traced to

Let BB be an oriented graph, let GG be an oriented graph, and let K⃗2\vec K_2 denote the oriented complete graph on two vertices. The directed Sidorenko property means

t(B,G)≥t(K⃗2,G)e(B).t(B,G)\geq t(\vec K_2,G)^{e(B)}.

Directed Sidorenko conjecture. If BB is a bipartite oriented graph with a homomorphism B→K⃗2B\to\vec K_2, then BB has the directed Sidorenko property. This is a directed analogue of Sidorenko's conjecture. The stated homomorphism condition is necessary for a bipartite oriented graph to have the directed Sidorenko property, and the paper conjectures that it is sufficient; the conjecture is related to the asymmetric undirected Sidorenko conjecture.

References

Primary source

Jacob Fox, Zoe Himwich, Nitya Mani and Yunkun Zhou, “A note on directed analogues of the Sidorenko and forcing conjectures”, arXiv:2210.16971 (2022).

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.