Necessity of logarithmic factors in width comparisons
Determine whether the bounds $fhw(H)=O(\lambda(H)\,adw(H))$ for all hypergraphs and $ghw(H)=O(adw(H))$ for hypergraphs with private intersections hold, or alternatively establish matching logarithmic separations showing that the logarithmic factors in the known comparisons are necessary.
References
No example is currently known in which either logarithmic loss is necessary. This leaves open the possibility that
fhw(H)=O(\lambda(H)adw(H))
holds for all hypergraphs and that
ghw(H)=O(adw(H))
holds for hypergraphs with private intersections.
— FPT=PTIME for Homomorphism Problems on Sparse-Incidence and Bounded-Independence Patterns
(2609.21840 - Lanzinger, 18 Sep 2026) in Section 7, subsection "Open Problems", paragraph "Unifying the flow and separator proofs"