Toida's conjecture is true (Q698609)

Summary: Let \(S\) be a subset of the units in \(\mathbb{Z}_n\). Let \({\Gamma}\) be a circulant graph of order \(n\) (a Cayley graph of \(\mathbb{Z}_n\)) such that if \(ij\in E(\Gamma)\), then \(i - j \pmod n \in S\). Toida conjectured that if \(\Gamma'\) is another circulant graph of order \(n\), then \(\Gamma\) and \(\Gamma'\) are isomorphic if and only if they are isomorphic by a group automorphism of \(\mathbb{Z}_n\). In this paper, we prove that Toida's conjecture is true. We further prove that Toida's conjecture implies Zibin's conjecture, a generalization of Toida's conjecture.