Non-isomorphism conjecture for proper minor- and union-closed families

Let F\mathcal{F} be a minor- and union-closed family of graphs, and let F\cong_{\mathcal{F}} denote homomorphism indistinguishability over F\mathcal{F}. Non-isomorphism conjecture. If F\mathcal{F} does not contain all graphs, then F\cong_{\mathcal{F}} is not the isomorphism relation. This is presented as a relaxation of the main distinctness conjecture. The paper notes that union-closure is unnecessary for a proper minor-closed class after closing under disjoint unions, and leaves the assertion open.

Sources & referencesView supporting material

Primary source

David E. Roberson, “Oddomorphisms and homomorphism indistinguishability over graphs of bounded degree”, arXiv:2206.10321 (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.