Inclusion conjecture for homomorphism indistinguishability relations
Inclusion conjecture for homomorphism indistinguishability relations
Let and be minor- and union-closed families of graphs. Write when the first homomorphism indistinguishability relation implies the second for all graphs. Inclusion conjecture.
One direction is immediate from inclusion of the testing families, and the conjecture asserts the converse for minor- and union-closed families. The paper states that this conjecture is open and equivalent to the distinctness conjecture.
Sources & referencesView supporting material
Primary source
David E. Roberson, “Oddomorphisms and homomorphism indistinguishability over graphs of bounded degree”, arXiv:2206.10321 (2022).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.