Abstract
This paper reports a framework of analysis of spreading herbivore of individual-based system with time evolution network \(\widetilde{A}(t)\). By employing a sign function \(\theta _1 \left( x \right)\), \(\theta _1 \left( 0 \right) =0\), \(\theta _1 \left( x \right) =1\)\(x \in {\mathbb {N}}\), the dynamic equation of spreading is in a matrix multiplication expression. Based on that, a method of combining temporal network is reported. The risk of been-spread and the ability to spread can be illustrated by the principal eigenpair of temporal-joined matrix in a system. The principal eigenpair of post-joined matrix can estimate the step number to the farthest agent \(S_i\) in a non-time evolution network system \({\widetilde{A}}\left( t\right) ={\widetilde{A}}\) as well.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Various applications of network are applied crossing social and natural disciplinaries [1]. As a mathematical abstraction method, network describes the interactions among elements inside of system as links among nodes. The non-direction and static network gets the highest abstraction level and gives us uncountable results of explaining the dynamic properties of system. Temporal network [2] reduced the level of abstraction to contain essential dynamic information of system. Spectral method and eigensystem decomposition of network adjacency matrix, or of Laplacian matrix, are for the word abstraction method, which reveals the topology properties of network [3] and dynamic properties of system [3, 4]. But we do not have a good framework to combine spectral method and temporal network nowadays. Spreading on network is a scientific problem that wants such framework most. A query on the Thompson Web of Science database, more 1500 papers for the year 2017, shows the importance of spreading in complex network. But the situation of eigensystem explanation for spreading problem does not go well. Valdano et al. reviewed past works and left a negative comment for applying eigenvector centralities method from static contacting network in year 2015 [5], they used statistics of contacting data.
This paper is organized as follows: the next section shows the dynamic equation of spreading. Following that the numerical result of non-time evolution network is shown; followed by the spreading speed of periodical repeating temporal network. Future work is followed by the discussion section. Derivation of the dynamic equation is arranged in the “Appendix”.
Matrix representation formula for spreading via network
For an individual-based simulation, one single-network site indicates one agent only. We use binary value \(( \overrightarrow{H} ( t)) _i\) for describing state of been spread for ith agent at time t. While the value of \(( \overrightarrow{H} ( t)) _i\) is zero it indicates the situation that the ith agent is in free-form been-spread state, and value one for been-spread state, respectively. The only condition of turning to be been-spread state of each agent is the existence of been-spread neighbour. Since an agent is in been-spread state, this been-spread agent will remain in this state forever. We formulate this spreading dynamic of system with N agents on time as an evoluting network:
\({\widetilde{A}} \left( t\right)\) is an adjacency matrix representation for temporal network at time t, \({\widetilde{A}} \left( t\right) _{i,j}=1\) means that ith and jth agent is connected with a unidirectional link at time t, the value zero \({\widetilde{A}} \left( t\right) _{i,j}=0\) means not linked, respectively. \({\widetilde{I}}\) is a \(N \times N\) identity matrix. The symbol \(\overset{\curvearrowleft }{\prod }\) is left-matrix-product notation, \(\overset{\curvearrowleft }{\prod \nolimits _{l=1}^{m}}\widetilde{A_l}=\widetilde{A_m}\cdots \widetilde{A_2}\widetilde{A_1}\). Where function \(\theta _1 \left( x\right)\) is a simplified form denoting unit step function, \(\theta _1 \left( x+1\right) = \theta \left( x\right)\). The “Appendix” shows the properties of \(\theta _1 \left( x\right)\). The derivation of Eq. (1) is shown in the “Appendix” with these \(\theta _1 \left( x\right) \hbox {s}\) properties.
Non-time-evolution matrix
The first step to reveal the meaning of eigensystem is choosing the most simple case—non-evolution network and single spreading source, \({\widetilde{A}}( t) ={\widetilde{A}}\), \(( \overrightarrow{H} ( 0) ) _j= \delta _{i,j}\). The ith agent is the unique spreading source. In the non-evolution network case, the Eq. (1) can be simplified as \(\overrightarrow{H} ( t) = \theta _1 ( ( {\widetilde{I}} + {\widetilde{A}} ) ^t \overrightarrow{H} ( 0) )\), by employing Eq. (13). The been-spread state of jth agent at time t will be \(\theta _1 ( ( ( {\widetilde{I}} + {\widetilde{A}} ) ^t ) _{ij} )\). This condition is the 100\(\%\) been-spread starting from ith agent as a unique spreading origin:
Eigenmode decomposition is more easy to comprehend for this matrix multiplication, \(( {\widetilde{I}} + {\widetilde{A}}) ^t ) _{ij} = \sum _k ( ( \lambda _k +1 ) ^{t} w_{i,k}w_{j,k} ))\). The kth eigenpair of matrix \({\widetilde{A}}\) is \(\lambda _k\) and \(\overrightarrow{W}_k\) is, such eigenpairs satisfy the equation \({\widetilde{A}}\overrightarrow{W}_k =\lambda _k \overrightarrow{W}_k\). The ith agent’s eigenvector component in k-eigenvector is \(w_{i,k}\), \(w_{i,k}=( \overrightarrow{W}_1 ) _k\) The eigenpair indexes k are arranged as a descending order: \(\lambda _1 \ge \lambda _2 \ge \cdots \ge \lambda _N\). While \(k =1\), \(\lambda _1\) and \(w_{i,1}\) are called the principal eigenpair. The three similar matrices, \(( {\widetilde{I}} + {\widetilde{A}} ) ^t\), \({\widetilde{I}} + {\widetilde{A}}\) and \({\widetilde{A}}\) share the same eigenvector set. While condition:
the principal eigenpair is suitable for estimating lower bound of \(S_i\):
Case 1: Spanning tree
If this non-time evolution network is spanning tree, the first agent, \(i=1\), is the hub of this spanning tree, other agents link to the hub and there was no other link in this network. The off-diagonal elements of adjacency matrix are \({\widetilde{A}}_{ij}={\widetilde{A}}_{ij}=1\) if \(i=1\). In this network, \(S_1=1\) for \(i=1\), and \(S_i=2\) for others. For understanding the asymptotic behaviour when system size goes to large \(N \rightarrow \infty\), we denote a symbol \(1/\alpha ^2 = N-1\). The process of getting principal eigenpair of \({\widetilde{A}}\), \(\lambda _1\) and \(\overrightarrow{W}_1\), is following: to solve the eigenvector equation \({\widetilde{A}} \overrightarrow{W}_1=\lambda _1 \overrightarrow{W}_1\) with (a) positive eigenvector assumption \(w_{i,1}=( \overrightarrow{W}_1) _i>0\); (b) network symmetric \(w_{j,1}=w_{l,1}\)\(\forall j,l >2\); (c) eigenvector normalization \(\sum _i w_{i,1}^2=1\). The principal eigenpair is \(\lambda _1={1}/{\alpha }\),
We can calculate the \(E^\text {lower}( S_i )\) of each agent from Eq. (4):
Such Taylor expansion shows the asymptotic behaviour when \(N \rightarrow \infty\) as \(\alpha \rightarrow 0\). The Fig. 1 shows the numerical result of it.
Case 2: Circular loop and it with and without an radius link
The estimation formula Eq. (4) contains symmetric properties from the original network. We choose two networks to compare to state that—circular loop and it with and without a radius link. In the network with a radius link, a topological symmetric of rotation will be break. It is a \(N=16\) one dimensional loop, the degree (neighbours) of each agent is two. Such loop network contains symmetric properties and also can be found in the principal eigenvector components: \(w_{i,1}=1/ \sqrt{N}\). The step number to coverage all the network should be half size of network, \(S_i=N/2=8\). This result can be visualized as non zero matrix element figure of matrix \(( {\widetilde{I}} + {\widetilde{A}} ) ^t\) in Fig. 2. The value of estimation of \(S_i\) of each agent from principal eigenpair in Eq. (4) is the same:
where the principal eigenvalue is equal to average degree of network, \(\lambda _1=2\). There is no asymptotic behaviour when system size goes to infinity here, \(\lim _{N \rightarrow \infty } E^\text {lower}( S_i ) \ne S_i\), because the \(\lim _{N \rightarrow \infty } \lambda _1 /\lambda _2 =\lim _{N \rightarrow \infty } 1/( \cos ( 2 \pi /N ) ) =1\). That does not fit the condition of \(E^\text {lower}( S_i )\) in Eq. (3). Such asymptotic eigenvalue degeneracy will be broken when we add a radius link. The radius link links first agent and \(N/2+1\)th agent. The spectral properties can be calculated as a perturbation problem when system size goes to large. Form the fist step of perturbation calculation, the value of \(\lambda _1\), \(w_{1,1}\) and \(w_{1,N/2+1}\) is larger then them in the simple loop, then the estimation values of \(S_i\), \(S_1\) and \(S_{N/2+1}\) become smaller. The calculation of eigensystem of this small system does not need perturbation method. The estimation value of \(S_i\) from principal eigenpair of this system is shown in Fig. 3.
The \(S_i\) have three kind of symmetric properties, our estimation also shows the same symmetric properties:
Combining the three symmetric properties, the system of N will partition as four groups, within the edge node of group, the \(S_i\)s have \(N/4+1\) values. Therefore, the agents in the same set share the same value of \(S_i\): {1,9}, {2,16,10,8}, {3,15,11,7}, {4,14,12,6}, {5,13}. The results of Fig. 2 state that: \(S_i=3+i \quad i=1{-}5,\) we can understand them from the following easy examples. In this network, the distance to the farthest agent of 5th and of 13th agent is the same as them in the loop network without radius link \(A_{1,N/2+l}\). The value of \(S_i\) for 5th and of 13th agent remains the same \(S_5=S_{13}=8\). For the 4th agent, the distance to the farthest agent, 12th, gets one step smaller by shifting to the route with the radius link, from the route \(\{ 4 \rightarrow 3 \rightarrow 2 \rightarrow 1 \rightarrow 16 \rightarrow 15 \rightarrow 14 \rightarrow 13 \rightarrow 12\}\) to the route \(\{4\rightarrow 3\rightarrow 2\rightarrow 1\rightarrow 9\rightarrow 10\rightarrow 11\rightarrow 12\}\). These symmetric properties can also be found in our estimator because they are in the principal eigenvector, that can be revealed by calculating higher order perturbations. These correspondences of symmetry are shown in Fig. 3 as five \(\{x,y\}\) points, otherwise it will show more than five points. Comparing to the relation of \(S_i\) and its lower bound estimator \(E^\text {lower}( S_i )\), our estimator has the network symmetric properties and the monotonic relation to \(S_i\).
Temporal evolution network
For a system that the networks within \({\widetilde{A}} ( t)\) repeat each \(\tau\) step, \({\widetilde{A}} ( t)={\widetilde{A}} ( t+\tau),\) the time evolution of been-spread state \(\overrightarrow{H} ( t)\) in Eq. (1) can be denoted by a \({\widetilde{P}}\) matrix: \(\overrightarrow{H} ( t) = \theta _1 ( ( {\widetilde{P}} ) ^{t/\tau } \overrightarrow{H} ( 0) ) ,\) where
The following will show the \({\widetilde{P}}\) and its principal eigenpair for two artificial cases, \(N=3\) and \(N=60\), respectively. The results show that principal eigenpair of \({\widetilde{P}}\) carries the dynamic information during the period \(\tau\).
\(N=3\), \(\tau =2\) case
Each time step contains one link of the route from first agent to the third agent via the second agent. The first step links the first and the second agent: \(( {\widetilde{A}}( 0 ) ) _{1,2}=( {\widetilde{A}}( 0 ) ) _{2,1}=1\), and \(( {\widetilde{A}}( 0 ) ) _{i,j}=0\) for else \(\{i, j\}\) pair. The second step links the second and the third agent: \(( {\widetilde{A}}( 1 ) ) _{2,3}=( {\widetilde{A}}( 1 )) _{3,2}=1\), and \(( {\widetilde{A}}( 1 ) ) _{i,j}=0\) for else \(\{i, j\}\) pair. The matrix expression of network \({\widetilde{A}}( t' )\) is shown in the process of getting matrix \({\widetilde{P}}\):
The three eigenvalues of matrix \({\widetilde{P}}\) in descending order are \(\{ \frac{1}{2} ( 3+\sqrt{5}) ,\frac{1}{2}( 3-\sqrt{5}) ,0\}\). Their corresponding eigenvectors will be \(\{ \{ \frac{1}{2} ( \sqrt{5}-1) ,1,1\} ,\{ \frac{1}{2} ( -1-\sqrt{5}) ,1,1\} ,\{-1,1,0\} \}\), and equal to \(\{\{0.618034,1.,1.\},\{-1.61803,1.,1.\},\{-1.,1.,0\}\}\) numerically. Comparing with the value of \(w_{1,1}\), the larger eigenvector component in principal eigenpair of second and of third agent indicates they have higher risk of been-spread. This result can also tell from the \({\widetilde{A}}\left( t'\right)\): the second agent and the third agent receives the spreading from other two agents, but the first agent cannot receive the spreading from the third agent. It is fair that there is no degree of data compression during the process to get matrix \({\widetilde{P}}\) from \({\widetilde{A}}\left( t'\right)\), six binary number pre and post the process. It is notable that a meaning of matrix elements of matrix \({\widetilde{P}}\)’s transpose matrix \({\widetilde{P}}^\mathrm{T}\) is the possible agent-spreading from. Larger values of \({\widetilde{P}}^\mathrm{T}\)’s principal eigenvector component show more ability to spread things to other agents. That can be shown by this ration value in this system \(w_{1,1}/w_{3,1}=w_{2,1}/w_{3,1}=1.61\).
\(N=60\), \(\tau =5\) case
Permutation order of network in time will not change the average value in time, but it changes the result of spreading. This part shows a very simple example that the time order of network appearing changes the spreading importance of each agent. There are only two networks in this system, \(\widetilde{A^{\#1}}\) and \(\widetilde{A^{\#2}}\), and only one network appears in each time step. The two networks and their relation can be understood as following procedure. First, loop the \(N=60\) agents as a ring. Partition this ring loop into \(N_{\text{ group }}=10\) groups by taking \(N_{\text{ group }}\) inter-group links. These \(N_{\text{ group }}\) inter-group links form network \(\# 2\), \(\widetilde{A^{\#2}}\). The other \(( N-N_{\text{ group }} )\) intra-group links form network \(\# 1\), \(\widetilde{A^{\#1}}\). That results in \(\widetilde{A^{\#1}}+\widetilde{A^{\#2}}=\widetilde{A^{\text{ ring }}}\). The edge of group is the ith agent with this condition: \(\mod \left( i,N/N_{\mathrm{group}}\right) =1\), or \(\mod \left( i,N/N_{\mathrm{group}}\right) =0\). For example, first, 6th and 60th agents are the edge agents. We discuss two kind of permutation orders in a \(\tau =5\) window, \(\widetilde{A^{\#2}}\) first and \(\widetilde{A^{\#2}}\) last. In the first kind of permutation order, \(\widetilde{A^{\#2}}\) first, network \(\widetilde{A^{\#2}}\) appears in the first step \({\widetilde{A}}\left( 0\right) = \widetilde{A^{\#2}}\), and \(\widetilde{A^1}\) appears in the following next four steps, \({\widetilde{A}}\left( t\right) = \widetilde{A^{\#1}}\)\(t=1{\text{-- }}4\). This permutation order repeats every \(\tau =5\) steps: \({\widetilde{A}}\left( t\right) ={\widetilde{A}}\left( t-\tau \right)\). The beginning position of permutation order of network \(\#2\), \({\widetilde{A}}\left( 0\right) = \widetilde{A^{\#2}}\), helps the edge agents spread to his neighbourhood group. Other non-edge can spread to his neighbourhood group since next \(\tau\) is repeating. The stronger spread ability to other agents of edge agents has been confirmed by the magnitude ratio principal eigenvector components shown in Fig. 4 as blue points. In the second permutation order, the inter-group link was placed in the last \({\widetilde{A}}\left( 4\right) = \widetilde{A^{\#2}}\), the ability of spreading of edge agents is suppressed. This result can also be understood from a perspective of principal eigenvector components in Fig. 4 as orange points. In summary, the principal eigenvector components of matrix \({\widetilde{P}}\) or \({\widetilde{P}}^\mathrm{T}\) contain the information we need, the ability of spreading and the risk of been-spread, respectively. This eigenvector representation is highly compressed. Post the normalization of eigenvector components, \(\sim w^2_{i,1}=1\), we use \(N-1\) numbers to represent the information among \(\tau N/2\) binary numbers.
Conclusion
Including highly transitive disease, a generalized formalism of dynamic equation of spreading phenomena in a matrix multiplication expression is shown in Eq. (1). That dynamic equation also states the importance of principal eigenpair. In a non-time evolution network system \({\widetilde{A}}\left( t\right) ={\widetilde{A}}\), principal eigenpair can estimate the step number to the farthest agent \(S_i\). In a time evolution network system \({\widetilde{A}}\left( t\right)\), the risk of been-spread and the ability to spread is illustrated by the principal eigenvector of matrix \({\widetilde{P}}\) and of its transposed one \({\widetilde{P}}^\mathrm{T}\), respectively.
We find the asymptotic degeneracy for principal eigenvalues in “Derivation of the formula”. How the other eigenpair and degeneracy impact spreading phenomena is arranged in our recent studies. We also will apply this method for studying the various epidemic model besides traditional compartmental epidemic agent models [6] and for super-spreading phenomena and target vaccine problem.
References
Barabsi, A. L. (2015). Network science. Cambridge: Cambridge University Press.
Holme, P., & Saramki, J. (2012). Temporal networks. Physics Reports, 519(3), 97–125. https://doi.org/10.1016/j.physrep.2012.03.001.
Mohar, B. (1992). Laplace eigenvalues of graphs: A survey. Discrete Mathematics, 109(1), 171–183. https://doi.org/10.1016/0012-365X(92)90288-Q.
Seary, A. J., & Richards, W. D. (2003). Spectral methods for analyzing and visualizing networks: An introduction. In K. C. Ronald Breiger & P. Pattison (Eds.), Dynamic social network modeling and analysis : Workshop summary and papers (pp. 209–228). Washington: The National Academies.
Valdano, E., Poletto, C., Giovannini, A., Palma, D., Savini, L., & Colizza, V. (2015). Predicting epidemic risk from past temporal contact data. PLOS Computational Biology, 11(3), 1–19. https://doi.org/10.1371/journal.pcbi.1004152.
Wang, S. C., & Ito, N. (2018). Pathogenicdynamic epidemic agent model with an epidemic threshold. Physica A: Statistical Mechanics and Its Applications, 505, 1038–1045. https://doi.org/10.1016/j.physa.2018.04.035.
Acknowledgements
This research was supported by Japan MEXT as Exploratory Challenges on Post-K computer (Studies of multi-level spatiotemporal simulation of socioeconomic phenomena).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Properties of function \(\theta _1(x)\)
Using the unit step function \(\theta \left( d\right)\) to define a binary value function \(\theta _1\left( d\right)\):
The following shows prosperities of function \(\theta _1( d )\) for derivation of equations of spreading on network. In this system, the existence of link \({\widetilde{A}}_{ij}\) and spreading state of time \(( \overrightarrow{H} ( t ) ) _i\) are binary values. All the operations in this study are multiplication and addition without any subtraction. All values in this study should be non-negative integers. We show prosperities of function \(\theta _1( d )\) for non-negative integers. The symbols d and e are arbitrary non-negative integers, and \(\overrightarrow{D}\), \(\overrightarrow{E}\) are vectors or matrices with arbitrary non-negative integers:
We generalise the scalar function \(\theta _1\) to be a matrix function
The values of zero and one are the two fix points of function \(\theta _1\left( x\right)\): \(\theta _1\left( 0\right) =0\), \(\theta _1\left( 1 \right) =1\). For an arbitrary binary matrix or vector \(\overrightarrow{B}\), which is with element zero or one, \(\overrightarrow{B}\) will be the same post been acted by \(\theta _1\):
And function value of \(\theta _1\left( d\right)\) is binary, therefore, for arbitrary matrix or vector:
Detail derivation of Eq. 1
Rights and permissions
OpenAccess This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wang, SC., Ito, N. On principal eigenpair of temporal-joined adjacency matrix for spreading phenomenon. J Comput Soc Sc 2, 67–76 (2019). https://doi.org/10.1007/s42001-019-00030-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s42001-019-00030-2