Directed forcing characterization via homomorphism

Conjecture 1.7 · arXiv:2210.16971

arXiv Conjecture high confidence— first stated 2022-10-30

Authors: Jacob Fox, Zoe Himwich, Nitya Mani, Yunkun Zhou

Status open high confidence

Conjecture 1.7 from arXiv:2210.16971 posits that admitting a homomorphism to a directed edge and having a cycle in the underlying undirected graph are together sufficient for an oriented graph to have the directed forcing property — a directed analogue of the Skokan–Thoma forcing conjecture. The source paper (published in Electronic Journal of Combinatorics) proves these two conditions are necessary (Theorem 1.6) but the conjectured sufficiency remains open. A wide web search covering related work on directed Sidorenko and forcing properties found no follow-up paper resolving the conjecture as of May 2026.

Reviewer notes. No follow-up paper resolving or partially resolving Conjecture 1.7 was found. The source paper was published in the Electronic Journal of Combinatorics (v32i3p38). Related papers on tournament Sidorenko inequalities (arXiv:2402.08418, arXiv:2512.11222) were fetched and verified to not address the directed forcing conjecture. Both supplied internal references (arXiv:2312.15333, duplicated) are false positives from the matching pipeline.

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

Conjecture. If $B$ is an oriented graph with a homomorphism to an edge and whose underlying undirected graph has a cycle, then $B$ has the directed forcing property.

Context

Theorem 1.6 establishes that admitting a homomorphism to a directed edge and having a cycle in the underlying undirected graph are both necessary conditions for the directed forcing property. The authors conjecture these two conditions together are also sufficient, providing a directed analogue of the Skokan–Thoma forcing conjecture.

Notes. PDF source.

Source paper

A note on directed analogues of the Sidorenko and forcing conjectures
Jacob Fox, Zoe Himwich, Nitya Mani, Yunkun Zhou · 2022-10-30
https://arxiv.org/abs/2210.16971 PDF source