adjacency matrix of product of graphs is tensor of adjacency matrices

Tags: #theorem

Statement

Let G,H be two graphs. Suppose the adjacency matrix A(G) has eigenvalues α1,αm and A(H) has β1,,βn.

Then, A(G×H) has m×n eigenvalues given by αi+βj for all i,j.
and the eigenvectors are given by the tensor product of the eigenvectors.

Proof