Converse characterization of groups by directed endomorphism graphs

Prove that if two groups have isomorphic directed endomorphism graphs, then the groups themselves are isomorphic.

Background

The paper establishes that isomorphic groups have isomorphic directed endomorphism graphs, using a group isomorphism to transport endomorphisms and hence directed edges between the graphs. It also shows that the analogous converse fails for undirected endomorphism graphs: the non-isomorphic groups Z4\mathbb{Z}_4 and the Klein four group both have complete endomorphism graphs K4K_4.

The explicitly stated conjecture asks whether this loss of information is avoided in the directed setting. Namely, it proposes that the directed endomorphism graph determines the group up to isomorphism, so that isomorphic directed endomorphism graphs would imply isomorphic underlying groups.

References

We conjecture that the coverse of Theorem \ref{iso} holds for directed endomorpism graph.

Endomorphism and Automorphism Graphs  (2503.00759 - Ajith et al., 2 Mar 2025) in Section 2, immediately after Theorem 1