Directed Sidorenko conjecture for oriented graphs

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

t(B,G)t(K2,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 BK2B\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.

Sources & referencesView supporting material

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.