Tensor product of graphs
In graph theory, the tensor product G × H of graphs G and H is a graph such that
- the vertex set of G × H is the Cartesian product V(G) × V(H); and
- any two vertices (u,u') and (v,v') are adjacent in G × H if and only if u' is adjacent with v' and u is adjacent with v.
The tensor product is also called the direct product, categorical product, cardinal product, relational product, Kronecker product, weak direct product, or conjunction. As an operation on binary relations, the tensor product was introduced by Alfred North Whitehead and Bertrand Russell in their Principia Mathematica (1912). It is also equivalent to the Kronecker product of the adjacency matrices of the graphs.
The notation G × H is also sometimes used to represent another construction known as the Cartesian product of graphs, but more commonly refers to the tensor product. The cross symbol shows visually the two edges resulting from the tensor product of two edges.
- The tensor product G × K2 is a bipartite graph, called the bipartite double cover of G. The bipartite double cover of the Petersen graph is the Desargues graph: K2 × G(5,2) = G(10,3). The bipartite double cover of a complete graph Kn is a crown graph (a complete bipartite graph Kn,n minus a perfect matching).
- The tensor product of a complete graph with itself is the complement of a Rook's graph. Its vertices can be placed in an n by n grid, so that each vertex is adjacent to the vertices that are not in the same row or column of the grid.
The tensor product is the category-theoretic product in the category of graphs and graph homomorphisms. That is, there is a homomorphism from G × H to G and to H (given by projection onto each coordinate of the vertices) such that any other graph that has a homomorphism to both G and H has a homomorphism to G × H that factors through the homomorphisms to G and H.
The adjacency matrix of G × H is the tensor product of the adjacency matrices of G and H.
If a graph can be represented as a tensor product, then there may be multiple different representations (tensor products do not satisfy unique factorization) but each representation has the same number of irreducible factors. Imrich (1998) gives a polynomial time algorithm for recognizing tensor product graphs and finding a factorization of any such graph.
If either G or H is bipartite, then so is their tensor product. G × H is connected if and only if both factors are connected and at least one factor is nonbipartite. In particular the bipartite double cover of G is connected if and only if G is connected and nonbipartite.
- Hahn, Geňa; Sabidussi, Gert (1997), Graph symmetry: algebraic methods and applications, NATO Advanced Science Institutes Series 497, Springer, p. 116, ISBN 978-0-7923-4668-5.
- Imrich, W. (1998), "Factoring cardinal product graphs in polynomial time", Discrete Mathematics 192: 119–144, doi:10.1016/S0012-365X(98)00069-7, MR 1656730
- Imrich, Wilfried; Klavžar, Sandi (2000), Product Graphs: Structure and Recognition, Wiley, ISBN 0-471-37039-8
- Weichsel, Paul M. (1962), "The Kronecker product of graphs", Proceedings of the American Mathematical Society 13 (1): 47–52, doi:10.2307/2033769, JSTOR 2033769, MR 0133816
- Whitehead, A. N.; Russell, B. (1912), Principia Mathematica, Cambridge University Press, vol. 2, p. 384