- 1Department of Mathematics and Physics, Xinjiang Institute of Engineering, Urumqi, China
- 2Department of Basic Science, Xinjiang Institute of Light Industry Technology, Urumqi, China
- 3Department of Computer and Software Engineering, Xihua University, Chengdu, China
The consensus of complex networks has attracted the attention of many scholars. The graph operation is a common method to construct complex networks, which is helpful in studying the consensus of complex networks. Based on the corona networks G1◦G2, this study gives different weights to the edges of G1◦G2 to obtain the weighted corona networks
1 Introduction
With the development of network science, the research of complex networks has been extended to many fields, such as technical networks and transportation networks. Nowadays, the relevant theoretical knowledge of complex networks has been widely used in physics, computer science, life science, and other fields, such as consensus [1–5], resistance distance and Kirchhoff index [6], robustness [7, 8], and network synchronization [9, 10].
As a method of constructing networks, the graph operation can be used to construct more complex networks. The common graph operations include corona operation, edge corona operation, and join operation. In recent years, graph operations have attracted extensive attention of scholars. Y. Shang used the edge corona product to construct a simplicial network and, based on the degree of network vertices, studied the recently widely concerned Sombor index [11]. J. Liu presented a kind of weighted edge corona networks and obtained the Laplacian and signless Laplacian spectra of the weighted edge corona networks, and a specific application example is given by calculating the number of spanning trees and the Kirchhoff index [12]. M. Dai used the eigenvector method to obtain the generalized adjacency and Laplacian spectra of the special weighted corona networks [13]. We considered the weighted corona networks that are more realistic as the research object to study the consensus of networks.
The consensus of the networks is the key to solve cooperative control among nodes in complex networks. The consensus of complex networks means that network nodes reach the same level in a certain state with the change of time. For example, the direction of unmanned aerial vehicle formation is consistent during flight. The research on the consensus of special networks has achieved many good results. E. Mackin took the network of networks as the object, investigated how to connect the subgraph to achieve the optimal consensus of the networks, and used a specific example to illustrate it [14]. T. Hu defined three types of tree models with the given parameters and obtained the leaderless and leader–follower coherence of three types of network models. The study found that the leader–follower coherence was weaker than the leaderless coherence [15]. J. Wang analyzed the consensus of three different types of weighted duplex networks and compared the consensus of the three types of networks [16]. J. Chen showed the consensus of a class of special topological networks and obtained the relationships between the network consensus and parameters [17]. X. Wang used the property of the determinant to calculate the Laplacian polynomial of 5-rose graphs and investigated the consensus of 5-rose graphs by using the relationships between polynomial coefficients and eigenvalues [18].
Compared with the aforementioned literature, the innovation of this study is as follows. This study defines the weighted corona network model based on the unweighted corona networks. We used the properties of the orthogonal matrix to transform a high-order determinant into a low-order determinant and deduced the Laplacian polynomial of the weighted corona networks. Finally, the specific analytical formula of the first-order coherence of the weighted corona networks is obtained according to the relationship between the coefficient and the principal minor, which provided a theoretical basis for studying the coherence of the arbitrary weighted corona network.
This study is arranged as follows. Section 2 introduces the preliminaries. The characteristic polynomial of
2 Preliminaries
2.1 Definitions of the weighted graph operations
The topology of networks is the key to study the consensus of complex networks. It is a common method to construct complex networks by using graph operations. Next, we introduced two graph operations.
Definition 1 [19, 20]: Let G1 and G2 denote the two graphs with n1 and n2 vertices, respectively. The corona of G1 and G2 is described as the graph G1◦G2 obtained by taking one copy of G1 and n1 copies of G2 and then joining the ith vertex of G1 to every vertex in the ith copy of G2 (i = 1, 2, 3, … , n1).
The weighted corona graphs
Definition 2 [21]: Let the join of two disjoint graphs G1 and G2 be G1 ∨ G2, the vertex set of G1 ∨ G2 be V (G1 ∨ G2) = V (G1) ∪ V (G2), and the edge set of G1 ∨ G2 be E (G1 ∨ G2) = E (G1) ∪ E (G2) ∪ (xy) (x ∈ V (G1), y ∈ V (G2)).
The weighted join graphs
2.2 Network coherence
The network model of the system with noise is defined as follows [4]:
where L = D − A is the Laplacian matrix, D = diag (d1, d2, … , ds) denotes the degree matrix, di (i = 1, 2, … , s) is the degree of the ith node of the network.
Under the influence of noise, it is difficult for all nodes in the network to converge in a certain state. In order to describe the consensus of the networks, the concept of first-order coherence is introduced. It is defined as follows [4]:
The output of system (1) is denoted as follows:
where K is the projection operator,
The research shows that H(1) is closely related to the non-zero eigenvalues λi (i = 2, 3, … , s) of the Laplacian matrix L [18],
The Kirchhoff index (Kf) is also closely related to the non-zero eigenvalues of the Laplacian matrix L,
3 Laplacian polynomial of
In this section, the Laplacian polynomial of
Lemma 1: Let the Laplacian eigenvalues of G be 0 = v1 < v2 ≤ v3 ≤ ⋯ ≤ vn; there is an orthogonal matrix
Proof: the Laplacian eigenvalues of G are 0 = v1 < v2 ≤ v3 ≤ ⋯ ≤ vn; then, there is an orthogonal matrix
Proof: let Ai (i = 1, 2) be the adjacency matrices of G1 and G2; Di (i = 1, 2) denotes the degree matrices of G1 and G2;
The adjacency matrix of
The degree matrix of
The Laplacian matrix of
Let the Laplacian eigenvalues of G1 and G2 be
Then, there are orthogonal matrices
Because similar matrices have the same characteristic polynomials, the Laplacian polynomial of
In order to find a specific expression for Φ(λ), we further investigated
where
By Eq. 8,
By formulas (9), (11), 12) and (13), the row and column of element λ − r3 − r2μi (i = 2, 3, … , n2) are all 0 except itself. We expanded them according to the row; then,
4 First-order coherence of
In this section, according to theorem 1, the first-order coherence of
Theorem 2: the first-order coherence of
Proof: according to theorem 1, the Laplacian polynomial of
However, the Laplacian matrix of
Therefore, let
By [16], we have
Just for the sake of calculation, let B*(i) and B*(i, j) be the submatrices of matrix B by removing the ith row, and ith and jth rows. B†(i) and B†(i, j) are the submatrices of matrix B by removing the ith column, and ith and jth columns.
First, we calculated a1, and we obtained it from algebra,
When 1 ≤ i ≤ n1, the (n1 − 1 + i)-th row of |C(i)| is all 0; then,
where t (G1) is the number of spanning trees of G1.
Second, we calculated a2,
If 1 ≤ i < j ≤ n1, the (n1 − 2 + i)-th and (n1 − 2 + j)-th rows of |C (i, j)| are all 0; then,
If 1 ≤ i ≤ n1, j > n1, j ≠ n1 + i and the (n1 − 1 + i)-th row of |C (i, j)| is all 0, then
By Eq. 16,
where
By the properties of the determinant, we can obtain
By varying the determinant elementary column, we obtain
Because |r1L1| = 0, then
By formulas (15), (17), (18), and 19) and the literature [22], we obtain
From Eq. 5,
Since the form of theorem 2 is complicated, we further optimized the conclusion to obtain theorem 3.
Theorem 3
Proof: the Laplacian eigenvalues of
By Eq. 5,
Let K1 be the complete graph of order 1. The adjacency matrix of
The degree matrix of
The Laplacian matrix of
Because of
The Laplacian eigenvalues of
Then,
By formulas (14), (21), and (22), we obtain
5 Actual example
Let
The Laplacian spectrum of
The Laplacian spectrum of
From Eq. 20,
From Eq. 21,
From Eq. 22,
Then,
6 Conclusion
For the unweighted corona networks G1◦G2, the corresponding Laplacian spectra can be obtained by the eigenvector method, and we can use the relationship between eigenvalues and coherence to get the network coherence of G1◦G2. For the weighted corona networks
Data availability statement
The original contributions presented in the study are included in the article/Supplementary Material; further inquiries can be directed to the corresponding author.
Author contributions
Conceptualization, HG and WD; methodology, HG and JZ; software, WD; validation, XL and JZ; formal analysis, HG and WD; writing—original draft preparation, HG and WD; writing—review and editing, JZ; supervision, XL; and project administration, HG. All authors contributed to manuscript revision, read, and approved the submitted version.
Funding
This work was supported by the National Natural Science Foundation of China (no.61802316), the School level project of the Xinjiang institute of Light industry Technology (no. XJQG2022S16), the Scientific Research and Education Project of Xinjiang Institute of Engineering (2020xgy372302), the National innovation and entrepreneurship training program for College Students (no. 202110994006), and the project of Key Laboratory of New Energy and Materials Research of Xinjiang Institute of Engineering.
Acknowledgments
The authors express their sincere gratitude to the people who gave valuable comments.
Conflict of interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Publisher’s note
All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors, and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.
References
1. Mackin E, Patterson S. Optimizing the coherence of a network of networks. IEEE Trans Control Netw Syst (2020) 7(3):1465–75. doi:10.1109/tcns.2020.2979884
2. Shang Y. Practical consensus for heterophilous multiagent networks with constrained states. J Franklin Inst (2022). doi:10.1016/j.jfranklin.2022.04.037
3. Sun W, Li Y, Liu S. Noisy consensus dynamics in windmill-type graphs. Chaos (2020) 30(12):123131. Article ID 123131, 2020. doi:10.1063/5.0020696
4. Gao H, Zhu J, Chen X, Zhang L, Li X. Coherence analysis of symmetric star topology networks. Front Phys (2022) 10:876994. Article ID 876994. doi:10.3389/fphy.2022.876994
5. Chen J, Li Y, Sun W. Network coherence in a family of bookgraphs. Front Phys (2020) 8:583603. Article ID 583603. doi:10.3389/fphy.2020.583603
6. Liu J, Peng X, Gu J, Lin W. The (multiplicative degree-) Kirchhoff index of graphs derived from the cartesian product. J Math (2022) 2022:1–9. doi:10.1155/2022/1670984
7. Yi Y, Zhang Z, Shan L, Chen G. Robustness of first-and second-order consensus algorithms for a noisy scale-free small-world koch network. IEEE Trans Control Syst Technol (2016) 25(1):342–50. doi:10.1109/tcst.2016.2550582
8. Wang D, Huang L. Robust synchronization of discontinuous cohen-grossberg neural networks: Pinning control approach. J Franklin Inst (2018) 355(13):5866–92. doi:10.1016/j.jfranklin.2018.05.048
9. Tang L, Wu X, Lu J, Lu JA, D’Souza RM. Master stability functions for complete, intra-layer, and inter-layer synchronization in multiplex networks of coupled Rossler oscillators. Phys Rev E (2019) 99(1):012304. Article ID 012304. doi:10.1103/physreve.99.012304
10. Gao H, Zhu J, Li X, Chen X (2021). Synchronizability of multi-layer coupled star-composed networks. Symmetry 13:2224. Article ID 2224. doi:10.3390/sym13112224
11. Shang Y. Sombor index and degree-related properties of simplicial networks. Appl Math Comput (2022) 419:126881. Article ID 126881, 2022. doi:10.1016/j.amc.2021.126881
12. Liu J, Zhao J, Cai Z. On the generalized adjacency, Laplacian and signless Laplacian spectra of the weighted edge corona networks. Physica A: Stat Mech its Appl (2019) 540:123073. Article ID 123073. doi:10.1016/j.physa.2019.123073
13. Dai M, Shen J, Dai L, Ju T, Hou Y, Su W, et al. Generalized adjacency and laplacian spectra of the weighted corona graphs. Physica A: Stat Mech its Appl (2019) 528:121285. Article ID 121285. doi:10.1016/j.physa.2019.121285
14. Mackin E, Patterson S. Submodular optimization for consensus networks with noise-corrupted leaders. IEEE Trans Automat Contr (2019) 64(7):3054–9. doi:10.1109/TAC.2018.2874306
15. Hu T, Li L, Wu Y, Sun W. Consensus dynamics in noisy trees with given parameters. Mod Phys Lett B (2022) 36(7):2150608. Article ID 2150608, 2022. doi:10.1142/s0217984921506089
16. Wang J, Chen J, Sun W. Network coherence of weighted duplex networks: Exact results. Int J Mod Phys C (2022) 2022:2250130. Article ID 2250130, 2022. doi:10.1142/s0129183122501303
17. Chen J, Jing T, Sun W. Robustness of network coherence in asymmetric unicyclic graphs. Int J Mod Phys B (2021) 35(29):2150301. Article ID 2150301, 2021. doi:10.1142/s021797922150301x
18. Wang X, Xu H, Dai M. First-order network coherence in 5-rose graphs. Physica A: Stat Mech its Appl (2019) 527:121129. Article ID 121129, 2019. doi:10.1016/j.physa.2019.121129
19. Frucht R, Harary F. On the corona of two graphs. Aequ Math (1970) 4(1-2):264. doi:10.1007/bf01817769
20. Liu Q. The Laplacian spectrum of corona of two graphs. Kragujevac J Math (2014) 38(1):163–70. doi:10.5937/kgjmath1401163l
Keywords: consensus, weighted, corona operation, join operation, first-order coherence
Citation: Du W, Zhu J, Gao H and Li X (2022) Consensus analysis of the weighted corona networks. Front. Phys. 10:948247. doi: 10.3389/fphy.2022.948247
Received: 19 May 2022; Accepted: 15 July 2022;
Published: 19 August 2022.
Edited by:
Mahdi Jalili, RMIT University, AustraliaReviewed by:
Weigang Sun, Hangzhou Dianzi University, ChinaYilun Shang, Northumbria University, United Kingdom
Yongqing Wu, Liaoning Technical University, China
Copyright © 2022 Du, Zhu, Gao and Li. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: Haiping Gao, yqh@xjie.edu.cn