Directed Sidorenko property for K₂-homomorphic bipartite

Status open medium confidence

No paper resolving Conjecture 1.4 of arXiv:2210.16971 was found. The source paper itself shows that the directed Sidorenko property for bipartite oriented graphs is equivalent to an asymmetric undirected Sidorenko property, reducing the conjecture to an open undirected analogue rather than proving it. The two internal-corpus references (arXiv:2312.15333, Nguyen-Scott-Seymour) were verified to concern a different 'Conjecture 1.4' from a Fox-Sudakov induced-subgraph-density paper and are unrelated to the directed Sidorenko setting. Web searches revealed active interest in directed Sidorenko questions but no specific resolution of this conjecture.

Reviewer notes. The conjecture is closely related to the asymmetric (undirected) Sidorenko conjecture, which is itself open; the source paper reduces the directed version to an undirected asymmetric variant (see abstract of 2210.16971). arXiv:2602.12551 ('Sidorenko property and forcing in regular tournaments', 2026) studies Sidorenko-type properties in tournament hosts but focuses on tournament-valued H rather than the bipartite-oriented-graph setting of Conjecture 1.4. No resolution found after 3+ years; conjecture plausibly remains open as a consequence of the undirected asymmetric Sidorenko conjecture also being open.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).