Clique-minor separating-pair conjecture

Let nNn\in\mathbb{N}. Clique-minor separating-pair conjecture. There exist non-isomorphic graphs HH and HH' such that

hom(F,H)hom(F,H)F contains Kn as a minor.\hom(F,H)\ne\hom(F,H')\quad\Longrightarrow\quad F\text{ contains }K_n\text{ as a minor}.

Here KnK_n is the complete graph on nn vertices. The paper says that proving this conjecture for every nn would suffice to prove the non-isomorphism conjecture for proper minor- and union-closed families; it is left 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.