Spectrum of a McKay graph
Let
Proof
Let
be the character afforded by ๐ . For each ๐ , we have ๐ โ โ ๐ ๐ โ ๐ = 1 ๐ ๐ ๐ ๐ ๐ = ๐ ๐ ๐ and thus for any
, ๐ โ ๐บ ๐ด ๐ ( ๐บ ) โก โข โข โฃ ๐ 1 ( ๐ ) โฎ ๐ ๐ ( ๐ ) โค โฅ โฅ โฆ = ๐ ( ๐ ) โก โข โข โฃ ๐ 1 ( ๐ ) โฎ ๐ ๐ ( ๐ ) โค โฅ โฅ โฆ which gives
linearly independent eigenvectors and is thus complete. ๐