Laplacian Spectra for Categorical Product Networks and Its Applications

The Kirchhoff index, global mean-first passage time, average path length and number of spanning trees are of great importance in the field of networking. The “Kirchhoff index” is known as a structure descriptor index. The “global mean-first passage time” is known as a measure for nodes that are quickly reachable from the whole network. The “average path length” is a measure of the efficiency of information or mass transport on a network, and the “number of spanning trees” is used to minimize the cost of power networks, wiring connections, etc. In this paper, we have selected a complex network based on a categorical product and have used the spectrum approach to find the Kirchhoff index, global mean-first passage time, average path length and number of spanning trees. We find the expressions for the product and sum of reciprocals of all nonzero eigenvalues of a categorical product network with the help of the eigenvalues of the path and cycles.


Introduction
The impact of the study of Laplacian spectra for graphs has increased due to its applications in different fields."Laplacian spectra have miscellaneous applications in graph theory, combinatorial optimization, mathematical biology, computer science, machine learning and in differential geometry, as well.Due to the wide range of applications, the Laplacian spectra of networks is a very interesting and attractive field of research.Computations of the Laplacian spectra of networks are involved in many results related to topological structures and dynamical processes." " Arenas et al. [1] developed a method for understanding synchronization phenomena in networks using Laplacian spectra.Synchronization processes in populations of locally-interacting elements are the focus of intense research in physical, biological, chemical, technological and complex network topologies.
Boccaletti et al. [2] focused on coupled biological and chemical systems, neural networks, socially-interacting species, the Internet and the World Wide Web, which are only a few examples of systems composed of a large number of highly interconnected dynamical units.The first approach to capture the global properties of such systems is to model them as graphs whose nodes represent the dynamical units and whose links stand for the interactions between them.
Liu et al. [3] discussed and investigated the properties of the Laplacian matrices for n-prism networks.They calculated the Laplacian spectra of n-prism graphs, which are both planar and polyhedral.In particular, they derived the analytical expressions for the product and the sum of the reciprocals of all nonzero Laplacian eigenvalues.Moreover, these results were used to handle various problems that often arise in the study of networks including the Kirchhoff index, global mean-first passage time, average path length and the number of spanning trees.
Ding et al. [4] discussed the Laplacian spectra of a three-prism graph and applied them.This graph is both planar and polyhedral and belongs to the generalized Petersen graph.Using the regular structures of this graph, they obtained the recurrent relationships for the Laplacian matrix between this graph and its initial state of a triangle and further derived the corresponding relationships for Laplacian eigenvalues between them.By these relationships, they obtained the analytical expressions for the product and the sum of the reciprocals of all nonzero Laplacian eigenvalues.Finally, they applied these expressions to calculate the number of spanning trees and mean first-passage time (MFPT) and saw the scaling of MFPT with the network size n, which is larger than those performed on some uniformly recursive trees.
Therefore, it is of great interest to compute the Laplacian spectra of different networks.In the last decades, networks and applications of Laplacian spectra have been studied by many scientists, i.e., [5].""Researchers have not paid much attention to applications of Laplacian spectra for networks based on different types of graph operations.Since graph products have a very significant contribution to describing very useful complex networks, we have considered networks based on a categorical product.In this paper, we study the Laplacian spectra of the complex network as a categorical product network.Categorical graph products are used to study complex networks in computer science, to understand structures in structural mechanics and to describe multilayer networks and have many applications in network topologies.Considering the structure of categorical product networks, we derive the expressions for the product and sum of reciprocals of nonzero eigenvalues of the categorical product with the help of the eigenvalues of the path and cycle.Furthermore, we compute the Kirchhoff index, global mean first passage time, average path length and number of spanning trees using the relation of nonzero eigenvalues to these applications." "The Kirchhoff index K f , also simply called the resistance and denoted by R [6], of a connected graph G on n nodes is defined by: where (Ω) ij is the resistance distance matrix.This formula for the Kirchhoff index reduces to [7]: where ν i represents the eigenvalue of the Laplacian matrix of the graph.The global mean-first passage time (MFPT) F ij has been studied with respect to transport and networks.The mean first passage time (MFPT) is very useful to estimate the speed of transport for random walks on complex networks [8,9].In fact, MFPT denoted by < F N > measures the diffusion efficiency of random walks, which is obtained by averaging F ij over (N − 1) possible destinations and N origins of particles:" From ( [10]), let commuting time C ij between nodes i and j be exactly 2 | E | r ij , then we have: " where | E | denotes the number of edges in G and r ij is the effective resistance between two nodes i and j.By combining the two above relations, the MFPT can be computed by the following formula:" " where ν k are the eigenvalues of the Laplacian matrix of the graph after t iterations.
The average path length defines the average number of steps along the shortest path d ij for all possible pairs of network nodes, which is the measure of the efficiency of information or mass transport on the network, then the average path length D t , for G(t) (the graph after t iterations) is defined as:" " Moreover, the shortest path d ij and effective resistance r ij are related by expression |N| , where N represents the number of nodes in the complete graph.Then, by these two relations, we have: Spanning trees are very important in complex networks and play a key role in various networks.The exact number of spanning trees N st (G t ), for G(t), (t ≥ 1), where t shows the iterations in constructing a graph, discussed in the next section, can be computed by Kirchhoff's matrix tree theorem [11]." " More precisely, in this paper, we have computed Laplacian spectra for categorical product networks and have discussed their applications.After the Introduction, in the second section, the materials and methods are discussed; in the main section, the categorical product network is defined in an iterative way, and then, the Laplacian spectra are computed.Finally, the applications of the Laplacian spectra are computed."

Materials and Methods
In this section, we state the materials and methods that are used in the main section."In graph theory, the direct product G × H of graphs G and H is defined as a graph such that the vertex set of G × H is the Cartesian product V(G) × V(H) and any two vertices (u, u 1 ) and (v, v 1 ) are adjacent in G × H if and only if u is adjacent with v and u 1 is adjacent with v 1 .The direct product is also called the tensor product or categorical product.
Let G be a graph with vertices 1, 2, . . ., n.The Laplacian matrix of G is , where A(G) is n × n adjacency, and the matrix of G with (i, j) − entry is equal to 1 if vertices i and j are adjacent and 0 otherwise.D(G) is the diagonal matrix of vertices' degrees."Definition 1. " Consider two matrices A and B. The Kronecker product A ⊗ B of two matrices A and B is the matrix that is obtained by taking (i, j)-th entries as a ij B for all i, j.The Kronecker product of the matrix A ∈ M (p,q) with the matrix B ∈ M (r,s) is defined as (see [12,13] The Kronecker product has the following main properties. "We have used the Kronecker product of matrices to find the Laplacian spectra for the categorical product considering the spectra for the path and cycle.Let P n denote the path with n vertices.Let C n be a cycle of length n.Then, their spectra can be stated as [14]:" Lemma 1.The Laplacian eigenvalues of a path P n are 2 − 2 cos iπ n , (i = 0, 1, . . ., n − 1).The Laplacian eigenvalues of a cycle C n are 2 − 2 cos 2jπ n , j = 0, 1,..., n−1.
With the help of the following flowchart in Figure 1, we will facilitate the understanding of the proposed approach in this paper clearly.

Categorical Product of Two Paths and Laplacian Spectra
"Let a categorical product network of paths be constructed in an iterative way.We take categorical product network G(t), (t ≥ 1) after t − 1 iterations.Initially at t = 1, G(1) is a path with n vertices.For t ≥ 2, G(t) is constructed from G(t − 1); from every existing vertex in G(t − 1), a new vertex is created so that a new path with n vertices is constructed; also, each new vertex in G(t) is connected to the vertices in G(t − 1), shown by Figure 2. The number of vertices and edges in "Let λ t and µ t be the product of all nonzero eigenvalues of G t and the sum of reciprocals of these eigenvalues, respectively, i.e., , where ν 1 = 0 and ν i , i = 2, 3, . . ., N t denote the N t − 1 nonzero eigenvalues of L(G t )." Theorem 1.The product and sum of reciprocal nonzero eigenvalues of L(G t ), the Laplacian matrix of G(t), are: d i shows the degree of vertex i.
Proof." Consider a categorical product network G as is shown in the figure.By the properties of the Kronecker product of matrices, we can write the Laplacian matrix for G as [15]," where D(P n ) is the diagonal matrix of order n × n; with the diagonal elements' degree of vertices.By using the results from linear algebra, there exists invertible matrices P and Q such that: are the upper triangular matrices with diagonal elements, 2 − 2 cos πj n , j = 0, 1, . . ., n − 1 and 2 − 2 cos πi t , i = 0, 1, . . ., t − 1, respectively.Then, using the fact that: is the upper triangular matrix with diagonal elements, the matrix:" is upper triangular matrix with diagonal elements, i = 0, 1, . . ., t − 1, j = 0, 1, . . ., n − 1, all other d i have a value of four." that are the eigenvalues for the categorical product network.Therefore: ) Corollary 1. " Let L(G 2 ) be the Laplacian matrix of P n × P 2 , the categorical product graph with n vertices after the first iteration, t = 2, then the product and sum of the reciprocal nonzero eigenvalues of L(G 2 ) are:"

Categorical Product of the Cycle-Path and Laplacian Spectra
Let a categorical product network of the cycle and path be constructed in an iterative way.We take the initial categorical product network G(t), (t ≥ 1) after t − 1 iterations.Initially, at t = 1, G(1) is a cycle with n vertices.For t ≥ 2, G(t) is constructed from G(t − 1), from every existing vertex in G(t − 1), a new vertex is created so that a new path with n vertices is constructed; also, each new vertex in G(t) is connected to vertices in G(t − 1), shown by Figure 3.The number of vertices and edges in G(t) are N t = nt and E t = 2n(t − 1), n ≥ 2.
Let λ t and µ t be the product of all nonzero eigenvalues of G t and the sum of reciprocals of these eigenvalues, respectively, i.e., , where ν 1 = 0 and ν i , i = 2, 3, . . ., N t denote the N t − 1 nonzero eigenvalues of L(G t )." Theorem 2. The product and sum of reciprocal nonzero eigenvalues of L(G t ), the Laplacian matrix of G(t), are: Proof.Consider a categorical product network G as is shown in the figure.By the properties of the Kronecker product of matrices, we can write the Laplacian matrix for G as:" where D(C n ) is the diagonal matrix of order n × n; with the diagonal elements' degree of vertices.By using the results from linear algebra, there exists invertible matrices P and Q such that: are the upper triangular matrices with diagonal elements, 2 − 2 cos 2πj n , j = 0, 1, . . ., n − 1 and 2 − 2 cos πi t , i = 0, 1, . . ., t − 1, respectively.Then, using the fact that: is the upper triangular matrix with diagonal elements, the matrix: is the upper triangular matrix with diagonal elements," i = 0, 1, . . ., t − 1, j = 0, 1, . . ., n − 1, all d i have a value of two.
that are the eigenvalues for the categorical product network.Therefore,

Categorical Product of the Cycle-Cycle and Laplacian Spectra
" Let a categorical product network of cycles be constructed in an iterative way.We take initial categorical product network G(t), (t ≥ 1) after t − 1 iterations.Initially, at t = 1, G(1) is a categorical product network of cycle C n × C 3 with n vertices.For t ≥ 2, G(t) is constructed from G(t − 1), and from every existing vertex in G(t − 1), a new vertex is created so that n vertices are constructed; also, each new vertex in G(t) is connected to the vertices in G(t − 1), shown by Figure 4.The number of vertices and edges in G(t) are N t = n(t + 2) and E t = 2n(t + 2) − 2." Let λ t and µ t be the product of all nonzero eigenvalues of G t and the sum of reciprocals of these eigenvalues, respectively, i.e., λ t = ∏ N t i=2 ν i and µ t = ∑ N t i=2 , where ν 1 = 0 and ν i , i = 2, 3, . . ., N t denote the N t − 1 nonzero eigenvalues of L(G t )." Theorem 3. The product and sum of the reciprocal nonzero eigenvalues of L(G t ), the Laplacian matrix of G(t), are: Proof.Consider a categorical product network G as is shown in the figure.By the properties of the Kronecker product of matrices, we can write the Laplacian matrix for G as:" where D(C n ) is the diagonal matrix of order n × n; with the diagonal elements' degree of vertices.By using the results from linear algebra, there exists invertible matrices P and Q such that: are the upper triangular matrices with diagonal elements, 2 − 2 cos 2πj n , j = 0, 1, . . ., n − 1 and 2 − 2 cos 2πi t+2 , i = 0, 1, . . ., t + 1, respectively.Then, using the fact that: computed the Kirchhoff index, also called the "network criticality", for the categorical product network.
The enumeration of spanning trees on generalized pseudofractal networks is discussed in [18]."

Conclusions
In this paper, we discuss a complex network based on the categorical product and have used the spectrum approach to find the Kirchhoff index.The global mean first-passage time (MFPT) is computed for a complex network based on the categorical product.Moreover, using the Laplacian spectra for the categorical product network, we compute the average path length, which is the basic idea in network topologies.It describes the measure of the efficiency of transport (mass or information) on a network.The last application of Laplacian spectra for the categorical product network that we have computed was for spanning trees, which is the direct application in designing a network.We can extend our work to different networks based on graph operations other than the categorical product." These results are indirectly related to entropy.Using the same spectra, we have future plans to compute the global first-passage time for maximal-entropy random walks in categorical product networks, and the categorical product network entropy is also in our future plans using the idea given in [19,20].

Figure 1 .
Figure 1.Flowchart for the methods.

Figure 2 .
Figure 2. (a) Path P n .(b) Grid P n × P 2 after the first iteration for t = 2. (c) General grid P n × P t structure.

Figure 3 .
Figure 3. (a) Cycle C n .(b) Grid C n × P 2 after the first iteration for t = 2. (c) General grid C n × P t structure.

Figure 4 .
Figure 4. (a) Initial product C n × C 3 for t = 1.(b) Grid C n × C 4 after the first iteration for t = 2.