Distinguishing conjecture for distinct immersion-closed classes

Less than 1 year old · traced to

Let M1\mathcal{M}_1 and M2\mathcal{M}_2 be two distinct immersion-closed and union-closed graph classes. For graphs GG and HH, write G=MHG =_{\mathcal{M}} H when hom⁡(K,G)=hom⁡(K,H)\hom(K,G)=\hom(K,H) for every K∈MK\in\mathcal{M}. Distinguishing conjecture. There exist i,j∈{1,2}i,j\in\{1,2\} with i≠ji\ne j and graphs GG and HH such that

G=MiHandG≠MjH.G =_{\mathcal{M}_i} H \quad\text{and}\quad G \ne_{\mathcal{M}_j} H.

This would strengthen the paper's homomorphism-counting results by showing that distinct immersion-closed, union-closed classes induce genuinely different equivalence relations. The source presents it as an open problem, and no resolution is specified.

References

Primary source

Andrea Jiménez, Benjamin Moore, Daniel A. Quiroz and Youngho Yoo, “Homomorphism counting for immersion-closed classes is not isomorphism”, arXiv:2602.08738 (2026).

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.