Abstract
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.
Keywords:
Laplacian spectra; categorical product; Kirchhoff index; global mean-first passage time; spanning tree MSC:
05C12; 05C90
1. 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. [] 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. [] 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. [] 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. [] 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., [].
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 , also simply called the resistance and denoted by R [], of a connected graph G on n nodes is defined by:
where is the resistance distance matrix. This formula for the Kirchhoff index reduces to []:
where represents the eigenvalue of the Laplacian matrix of the graph.
The global mean-first passage time (MFPT) 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 [,]. In fact, MFPT denoted by measures the diffusion efficiency of random walks, which is obtained by averaging over possible destinations and N origins of particles:
From ([]), let commuting time between nodes i and j be exactly , then we have:
where denotes the number of edges in G and 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 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 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 , for G(t) (the graph after t iterations) is defined as:
Moreover, the shortest path and effective resistance are related by expression , 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 , for , where t shows the iterations in constructing a graph, discussed in the next section, can be computed by Kirchhoff’s matrix tree theorem [].
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.
2. 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 of graphs G and H is defined as a graph such that the vertex set of is the Cartesian product and any two vertices (u, ) and (v, ) are adjacent in if and only if u is adjacent with v and is adjacent with . The direct product is also called the tensor product or categorical product.
Let G be a graph with vertices . The Laplacian matrix of G is , where A(G) is adjacency, and the matrix of G with is equal to 1 if vertices i and j are adjacent and 0 otherwise. is the diagonal matrix of vertices’ degrees.
Definition 1.
Consider two matrices A and B. The Kronecker product of two matrices A and B is the matrix that is obtained by taking -th entries as for all . The Kronecker product of the matrix with the matrix is defined as (see [,]):
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 denote the path with n vertices. Let be a cycle of length n. Then, their spectra can be stated as []:
Lemma 1.
The Laplacian eigenvalues of a path are , The Laplacian eigenvalues of a cycle are , 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.

Figure 1.
Flowchart for the methods.
3. Main Results
3.1. 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 , after iterations. Initially at is a path with n vertices. For , is constructed from ; from every existing vertex in , a new vertex is created so that a new path with n vertices is constructed; also, each new vertex in is connected to the vertices in , shown by Figure 2. The number of vertices and edges in is and , .

Figure 2.
(a) Path . (b) Grid after the first iteration for . (c) General grid structure.
Let and be the product of all nonzero eigenvalues of and the sum of reciprocals of these eigenvalues, respectively, i.e., and , where and , denote the nonzero eigenvalues of .
Theorem 1.
The product and sum of reciprocal nonzero eigenvalues of the Laplacian matrix of G(t), are:
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 [],
where is the diagonal matrix of order ; 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, , and , , respectively. Then, using the fact that:
is the upper triangular matrix with diagonal elements, the matrix:
is upper triangular matrix with diagonal elements,
that are the eigenvalues for the categorical product network. Therefore:
Corollary 1.
Let be the Laplacian matrix of , the categorical product graph with n vertices after the first iteration, , then the product and sum of the reciprocal nonzero eigenvalues of are:
☐
3.2. 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 , () after iterations. Initially, at is a cycle with n vertices. For , is constructed from , from every existing vertex in , a new vertex is created so that a new path with n vertices is constructed; also, each new vertex in is connected to vertices in , shown by Figure 3. The number of vertices and edges in are and , .

Figure 3.
(a) Cycle . (b) Grid after the first iteration for . (c) General grid structure.
Let and be the product of all nonzero eigenvalues of and the sum of reciprocals of these eigenvalues, respectively, i.e., and , where and , denote the nonzero eigenvalues of .
Theorem 2.
The product and sum of reciprocal nonzero eigenvalues of , 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 is the diagonal matrix of order ; 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, , and , , respectively. Then, using the fact that:
is the upper triangular matrix with diagonal elements, the matrix:
is the upper triangular matrix with diagonal elements,
that are the eigenvalues for the categorical product network. Therefore,
☐
3.3. 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 , () after iterations. Initially, at is a categorical product network of cycle with n vertices. For , is constructed from , and from every existing vertex in , a new vertex is created so that n vertices are constructed; also, each new vertex in is connected to the vertices in , shown by Figure 4. The number of vertices and edges in are and .

Figure 4.
(a) Initial product for . (b) Grid after the first iteration for .
Let and be the product of all nonzero eigenvalues of and the sum of reciprocals of these eigenvalues, respectively, i.e., and , where and , denote the nonzero eigenvalues of .
Theorem 3.
The product and sum of the reciprocal nonzero eigenvalues of , 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 is the diagonal matrix of order ; 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, , and , , respectively. Then, using the fact that:
is the upper triangular matrix with diagonal elements, the matrix:
is the upper triangular matrix with diagonal elements,
that are the eigenvalues for the categorical product network. Therefore:
☐
4. Applications of Laplacian Spectra
In this section, by the use of Expressions (15) and (16), we will find the Kirchhoff index, global mean-first passage time, average path length and the number of spanning trees.
4.1. Kirchhoff Index
The Kirchhoff index of a connected graph G is defined as the sum of resistance distances between all pairs of vertices, mathematically:
where represents the resistance distance between a pair of vertices. In terms of eigenvalues for a connected network G of order N with all its nonzero eigenvalues represented by , a well-known identity Kirchhoff index is defined as:
The Kirchhoff index for the categorical path-path product network:
The Kirchhoff index for the categorical cycle-path product network:
The Kirchhoff index for the categorical cycle-cycle network:
4.2. Global Mean-First Passage Time
The global mean first-passage time (MFPT) is defined as the average of the first-passage time (FPT) between two nodes of a network. Mathematically, the global mean-first passage time (MFPT) for is:
The global mean-first passage time for the categorical path-path product network:
Since and :
The global mean-first passage time for the categorical cycle-path product network:
Since and :
The global mean-first passage time for the categorical cycle-cycle product network:
Since and :
4.3. Average Path Length
The average path length is an idea in network topology that can be defined as the average number of steps along with the shortest paths for all possible pairs of vertices of a network. The average path length in terms of the Laplacian eigenvalues is defined as:
The average path length for the categorical path-path product network:
The average path length for the categorical cycle-path product network:
The average path length for the categorical cycle-cycle product network:
4.4. The Number of Spanning Trees
The number of spanning trees has a very important role in various networks, and it can be computed using the product of nonzero eigenvalues of the Laplacian matrix [];
The number of spanning trees for the categorical path-path product network:
The number of spanning trees for the categorical cycle-path product network:
The number of spanning trees for the categorical cycle-cycle product network:
5. Discussion
Laplacian spectra and their applications for different networks have been studied for many years, but the Laplacian spectra and their applications for networks based on graph operations are very rare. Laplacian spectra are used as a tool to analyze the structure of a network, and the importance of graph products cannot be denied in multilayer networking. Therefore, we have considered all cases of categorical product networks to compute Laplacian spectra and further to find their applications. The Laplacian spectra of a family of recursive trees and their applications in network coherence were discussed in []. Furthermore, we have computed the Laplacian spectra of the categorical product network and have established the expressions for the product of the nonzero Laplacian eigenvalues and the sum of the reciprocals of all nonzero Laplacian eigenvalues. Using these expressions, we have 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 [].
6. 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 [,].
Author Contributions
S.M.K. contribute for conceptualization, funding, and analyzed the data. M.K.S. contribute for supervision, methodology, software, validation, designing the experiments and formal analysing. N.A.R. and M.H.M. contribute for performed experiments, resources, some computations and wrote the initial draft of the paper which were investigated and approved by M.K.S. and M.I., and wrote the final draft. All authors read and approved the final version of the paper.
Acknowledgments
The authors are grateful to the anonymous referees for their valuable comments and suggestions that improved this paper. This research is supported by the Start-Up Research Grant 2016 of the United Arab Emirates University (UAEU), Al Ain, United Arab Emirates via Grant No. G00002233 and UPAR Grant of UAEU via Grant No. G00002590. Also This research is supported by The Higher Education Commission of Pakistan Under Research and Development Division, National Research Program for Universities via Grant No.: 5282/Federal/NRPU/R&D/HEC/2016.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Arenas, A.; Diaz-Guilera, A.; Kurths, J.; Moreno, Y.; Zhou, C.S. Synchronization in complex networks. Phys. Rep. 2008, 469, 93–153. [Google Scholar] [CrossRef]
- Boccaletti, S.; Latora, V.; Moreno, Y.; Chavez, M.; Hwang, D.U. Complex networks: structure and dynamics. Phys. Rep. 2006, 424, 175–308. [Google Scholar] [CrossRef]
- Liu, J.B.; Cao, J.; Alofi, A.; Al-Mazrooei, A.; Elaiw, A. Applications of Laplacian Spectra for n-prism networks. Neurocomputing 2016, 198, 69–73. [Google Scholar] [CrossRef]
- Ding, Q.Y.; Sun, W.G.; Chen, F.Y. Applications of Laplacian spectra on 3-prism graph. Mod. Phys. Lett. B 2014, 28, 1450–1459. [Google Scholar] [CrossRef]
- Hou, B.Y.; Zhang, H.I.; Liu, L. Applications of Laplacian spectra for extended Koch networks. Eur. Phys. J. B 2012, 85, 303–310. [Google Scholar] [CrossRef]
- Klien, D.I.; Randic, M. Resistance distance. J. Math. Chem. 1993, 2, 81–95. [Google Scholar] [CrossRef]
- Liu, I.B.; Pan, X.F.; Cao, I.; Hu, F.F. A note on some physical and chemical indices of clique-inserted lattices. J. Stat. Mech. Theory Exp. 2014, 6, 60–66. [Google Scholar]
- Kaminska, A.; Srokowski, T. Mean first passage time for a Markovian jumping process. Acta Phys. Pol. B 2007, 38, 3119–3123. [Google Scholar]
- Zhang, Z.Z.; Liu, H.X.; Wu, B.; Zhou, S.G. Enumeration of spanning trees in a pseudofractal scale-free web. Europhys. Lett. 2010, 90, 680–688. [Google Scholar] [CrossRef]
- Chandra, A.K.; Raghavan, P.; Ruzzo, W.L.; Smolensky, T.; Tiwari, P. The electrical resistance of a graph captures its commute and cover times. Comput. Complex. 1996, 6, 312–340. [Google Scholar] [CrossRef]
- Godsil, C.; Royle, G. Algebraic Graph Theory, Graduate Texts in Mathematics; Springer: New York, NY, USA, 2001. [Google Scholar]
- Gao, X.; Luo, Y.; Liu, W. Resistance distances and the Kirchhoff index in Cayley graphs. Discret. Appl. Math. 2011, 159, 2050–2057. [Google Scholar] [CrossRef]
- Horn, R.A.; Johnson, C.R. Matrix Analysis; Cambridge University Press: Cambridge, UK, 1985. [Google Scholar]
- Brouwer, A.E.; Haemers, W.H. Spectra of Graphs; Springer: New York, NY, USA, 2011. [Google Scholar]
- Sayama, H. Estimation of Laplacian spectra of direct and strong product graphs. Discret. Appl. Math. 2016, 205, 160–170. [Google Scholar] [CrossRef]
- Zhang, Z.Z.; Wu, B.; Comellas, F. The number of spanning trees in Apollonian networks. Discret. Appl. Math. 2014, 169, 206–213. [Google Scholar] [CrossRef]
- Sun, W.; Xuan, T.; Qin, S. Laplacian spectrum of a family of recursive trees and its applications in network coherence. J. Stat. Mech. 2016, 6, 063205. [Google Scholar] [CrossRef]
- Xiao, J.; Zhang, J.; Sun, W. Enumeration of spanning trees on generalized pseudofractal networks. Fractals 2015, 23. [Google Scholar] [CrossRef]
- Lin, Y.; Zhang, Z. Mean first-passage time for maximal-entropy random walks in complex networks. Sci. Rep. 2014. [Google Scholar] [CrossRef] [PubMed]
- Mowshowitz, A.; Dehmer, M. Entropy and the Complexity of Graphs Revisited. Entropy 2012, 14, 559–570. [Google Scholar] [CrossRef]
© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).