# Network cohesion

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s00199-016-0992-1

- Cite this article as:
- Cavalcanti, T.V.V., Giannitsarou, C. & Johnson, C.R. Econ Theory (2017) 64: 1. doi:10.1007/s00199-016-0992-1

- 729 Downloads

## Abstract

We define a measure of network cohesion and show how it arises naturally in a broad class of dynamic models of endogenous perpetual growth with network externalities. Via a standard growth model, we show why network cohesion is crucial for conditional convergence and explain that as cohesion increases, convergence is faster. We prove properties of network cohesion and define a network aggregator that preserves network cohesion.

### Keywords

Network theory Endogenous growth models Convergence Consensus### Mathematics Subject Classification

D85 O40 D62## 1 Introduction

The purpose of this paper is to propose an aggregate measure for networks that is useful for analyzing models of endogenous growth with network externalities. As an example, we present a standard endogenous growth model in which the productivity of a particular country (or region) depends on the average stock of capital of its neighbor countries (or regions). Generally, without such externalities (i.e., when the network is empty and cohesion is zero), this model predicts that there will be no cross-country conditional convergence of income. However, under a certain condition, we can establish conditional convergence of all countries, and that convergence to the long-run balanced growth path is faster when network cohesion is higher.

The condition for convergence requires that the underlying network of externalities satisfies a certain property, which naturally defines the measure that we introduce. This novel summary statistic for a (possibly directed and weighted) network can be interpreted as a measure of network cohesion. It is defined via a matrix of dispersion which has typical elements that represent the deviation of intensity of the links from node *j* to node *i*, from the average intensity of the links from node *j*. The elements of this matrix become larger in absolute value as the intensity of links between nodes becomes more uneven, and the network cohesion is then defined as *one minus the largest modulus eigenvalue of this matrix*. This cohesion measure effectively gives a characterization of how uniform or fragmented a network is. We show that it is independent of how we label the nodes, and that it varies between zero and one. The complete network has the largest possible network cohesion, equal to 1, while the empty network (or any disconnected network) has the lowest cohesion, equal to 0.

Although we motivate network cohesion using a simple growth model, we argue that this statistic is relevant for characterizing the stability and the speed of convergence of any similar dynamic system with spillover effects from neighbors, in which a balanced growth path, rather than a steady state, is present, and analysis is carried out in terms of *relative* variables of interest, e.g., physical capital, human capital, beliefs and prices, divided by the average value of the corresponding variable in the whole system. It is in this sense that network cohesion is useful for analysis of a large variety of endogenous growth models with an underlying network structure and more broadly important for a growing literature on networks in economics.^{1}

After carefully defining network cohesion and characterizing some of its properties, we also propose a way in which large networks can be aggregated into smaller networks that share the same cohesion. In practice, this aggregation technique can be implemented in a straightforward manner and is helpful for reducing models with many dimensions to smaller, more manageable systems, without losing the dynamic properties of the original system. Last, we provide a detailed comparison between network cohesion to two other network statistics that are related to it, namely *algebraic connectivity* (see Fiedler 1973 and Mohar 1991) and the recently introduced *spectral homophily* (see Golub and Jackson 2012a, b). We also explain how network cohesion is related to other aggregate network measures that capture cohesion.

Our contribution is broadly related to a large variety of literature within engineering, biology and political economy, whenever the common factor between these and our setting is a system of variables with dynamics that evolve via an *average-based updating* process (i.e., a process by which next period’s node-specific variable depends on the current average of such a variable in the node’s neighborhood). For example, in our growth model setting, the future capital of a country depends on the average capital of the countries that this country is linked to (via trade and technological spillovers). A more detailed discussion of how the present work fits into the literature is presented at the end of Sect. 4.

There is an important difference between the setting we are interested in and other related strands of literature that focus on dynamic processes that converge to a stationary, constant steady state (i.e., convergence of Markov processes and convergence of beliefs). In such settings it is known that convergence and its speed depend on the second largest modulus eigenvalue of a stochastic matrix with typical element that gives the intensity of the links from node *j* to node *i*. We, on the other hand, are interested in growth models, where perpetual endogenous growth implies convergence to a *balanced growth path *rather than to a constant steady state. In such growth models, the dynamics are not stationary and their local properties are determined by a matrix which, as we show, is an appropriate transformation of the matrix that determines the local dynamics of the corresponding detrended model.

Our main contributions are then to (a) demonstrate that the dynamics of such systems cannot be analyzed directly by using known network measures such as algebraic connectivity or spectral homophily, (b) show how the dynamics of such systems reduce to a matrix that is closely related to the corresponding stochastic (intensity) matrix of a system with a steady state and (c) show formally that the spectrum of this matrix is the same as the spectrum of the corresponding stochastic matrix after replacing eigenvalue 1 with eigenvalue 0. These results not only allow us to show properties of network cohesion and give statements regarding convergence and speed of the dynamic systems we study, but also emphasize the fact that network cohesion can be thought of as one minus the second largest modulus eigenvalue of the stochastic matrix that corresponds to a system with a steady state. We discuss these points in more detail in Sects. 4 and 6, where we also refer to specific strands of literature and various related papers.

## 2 A motivating example

We present a very basic endogenous growth model with technological spillovers. We assume that there are *n* countries (or regions and states) which are the nodes of a network *N*. Let \(g_{ij}\in \{0,1\}\) be a relationship between two countries *i* and *j*. For this example, it is assumed that \(g_{ij}=g_{ji}\) (i.e., that the network is undirected) and that \( g_{ij}=1\), if there is a link between regions *i* and *j* and \(g_{ij}=0\) otherwise. We also assume that \(g_{ii}=1\). This notation allows us to represent the links in the network with an *adjacency matrix**G*.^{2} The interpretation of such links between two countries *i* and *j* may be trade between them, or simply geographical proximity, e.g., the two countries sharing a border. The importance of spatial externalities for growth, as in the latter interpretation, has previously been emphasized in the literature, e.g., see Ertur and Koch (2007) and references therein. Network externalities and their importance for growth are also addressed in Konno (2010).

*i*at time

*t*has a production function \(y_{it}=A_{it}k_{it}^{ \alpha },\) with \(0<\alpha <1\), where \(y_{it}\) is output, \(k_{it}\) is capital and \(A_{it}\) is the level of technology of country

*i*, which is defined as

*i*depends on a constant \(A>0\), common to all countries, and on the average capital of this country’s neighboring countries.

^{3}

*A*is constant.

^{4}Capital accumulates according to

The standard *AK* production function can be retrieved under the assumption that the network that describes the technological interdependence of countries is empty, i.e., for \(G=I_{n}\). In that case \(y_{it}=A_{it}k_{it}^{ \alpha }=Ak_{it}\). This benchmark version of the model predicts divergence of countries that have different initial capital (even if all model parameters are identical for all countries). The question we then ask is, if we allow for technological externalities, i.e., any network other than the empty one with \(G\ne I_{n}\), can the different countries converge if they have different initial capital, and if yes, how fast? As it turns out, as long as the network is connected (in the graph theoretic sense), there is convergence of the countries to a common balanced growth path and the rate of convergence can be parameterized by the measure of network cohesion that this paper introduces.

*t*, and let \(x_{it}=k_{it}/\bar{k}_{t}\) be the relative capital of country

*i*at time

*t*. Then, the dynamic system that describes the economy is given by

*i*at time

*t*. Collecting the dynamic equations for all countries, we can determine the evolution of this system by analyzing the following nonlinear system of difference equations:

*i*,\(j=1,\ldots ,n\), let

*F*is a matrix with typical element \(f_{ij}\) and \(C_{n}=I_{n}- \frac{1}{n}e_{n}e_{n}^{T}\), with \(I_{n}\) the \(n\times n\) identity matrix and \(e_{n}\) an \(n\times 1\) column vector of ones. The stability of the solution is therefore determined by the eigenvalues of \(J\left( \mathbf {x}^{*}\right) \). If all eigenvalues of \(J\left( \mathbf {x}^{*}\right) \) are inside the unit circle, then the system is stable and the countries converge. Moreover, the smaller the eigenvalues of \(J\left( \mathbf {x}^{*}\right) \) are in absolute value, the faster convergence is.

The measure of network cohesion we propose is defined as one minus the largest modulus eigenvalue of *F* and arises naturally in this simple growth model. As we will show in Sect. 4, nonzero network cohesion ensures convergence of the countries and the higher it is, the faster convergence will be. With this example in mind, we propose a general definition of network cohesion in the next section and then explain why this statement is true.

## 3 A measure of network cohesion

The network *N*, which can generally be weighted and/or directed, consists of a set of nodes labeled by \(i=1,2,\ldots ,n\). It is assumed that \(g_{ij}>0\) if there is a link from node *j* to node *i* and \(g_{ij}=0\) otherwise. We adopt the convention that \(g_{ii}>0\), for all \(i=1,2,\ldots ,n\). This notation allows us to represent the network by the adjacency matrix \(G=\left[ g_{ij}\right] \).^{5}

*j*to node

*i*.

^{6}

*n*.

^{7}We can now define the matrix

*G*the

*adjacency matrix*,

*R*the

*intensity matrix*and

*F*the

*relative intensity matrix*. We now provide the mathematical definition of our measure of network cohesion.

### Definition 1

Given a network *N* with adjacency matrix *G*, let matrices \(C_{n}\), *R* and *F* be defined as in (10), (12) and (13). The *network cohesion* is defined as \(\kappa \equiv 1-\rho (F)\), in which \(\rho \left( F\right) \) is the spectral radius of the matrix *F*.

We next explain informally what this measure captures. We first look at a typical element of the intensity matrix, \(r_{ij}\). This represents how ‘intense’ the link from node *j* to node *i* is. For example, for a undirected, unweighted network, the intensity of every link of node *i* is the inverse of the node’s degree (i.e., if node *i* has three links, each link is one-third intense). If the network is weighted, the intensity for node *i* is the weight of the link with node *j*, over of the strength of node *i*, and it is larger for nodes *j* that have high weights in the adjacency matrix. In other words, the intensity matrix represents a normalization of the adjacency matrix. Going back to the typical element \( r_{ij}\), suppose now that we want to compare the intensity \(r_{ij}\) of the link from *j* to *i*, with the average intensity from node *j* to other nodes of the network; we can then calculate \(f_{ij}=r_{ij}-\bar{r}_{j}\) (with \(\bar{r}_{j}=\left( \sum _{i}r_{ij}\right) /n\)), and call this the *relative *intensity of the link from node *j* to node *i*. If \( f_{ij}>0\), this means that node *i* has a more intense relationship to *j* than other nodes have with *j* on average, while if \(f_{ij}<0\), node *i* has a less intense relationship to *j* than other nodes have with *j* on average. It is easy to see that generally, if the elements \(f_{ij}\) are close to zero, i.e., if they do not deviate much from the averages, the nodes and relationships (links) in the network are alike, then the spectral radius \(\rho \left( F\right) \) is small, and the network is cohesive. If the elements \(f_{ij}\) are far from zero, i.e., if the elements \(f_{ij}\) are large in absolute value, the more variability there is in the intensity of links in the network, and the spectral radius \(\rho \left( F\right) \) is large. In the context of the simple growth model presented in Sect. 2, the typical element \(f_{ij}\) of the matrix *F* represents how important the spillover/externality from country *j* to country *i* is, relative to the average spillover from country *j* to the rest of the world. It is in this sense that the matrix *F* can be interpreted as a matrix of dispersion, and therefore we call the spectral radius \(\rho \left( F\right) \) of matrix *F* the *coefficient of dispersion* of the network.

High variability among the different \(f_{ij}\)s can also be interpreted as the network having more uneven, unequal interactions, i.e., less cohesion in the network. Consider, for example, two extreme cases, first, an undirected network, in which everyone is linked to each other (i.e., the complete network), and second the case of an empty undirected network. In the former case, the interaction with *j* is of importance 1 / *n* for node *i*, and that is true for all nodes *i*, so that the average \(\bar{r}_{j}\) is also 1 / *n*. Therefore, all the elements of *F* are zero, and \(\kappa =1\), i.e., there is the highest possible network cohesion. In the latter case, there is no interaction (link) between any two nodes and \(\kappa =0\).^{8}

Next, we provide two basic important properties of \(\kappa \). The first states that isomorphic networks have the same cohesion and the second states that the cohesion of a network is always between zero and one. Both these two results hinge on the following theorem, which we state and prove first.

### Theorem 1

*Q*\(\in \mathbb {R} ^{n\times n}\) has rows that sum to one, then

*Q*.

### Proof

*Q*corresponding to eigenvalue 1. Then

*Q*are those of \(Q_{1}\), i.e., \(\sigma \left( Q_{1}\right) =\sigma \left( Q\right) {\backslash }\left\{ 1\right\} .\) Next, we will show that \(\sigma \left( C_{n}Q\right) =\left( \sigma \left( Q\right) {\backslash } \left\{ 1\right\} \right) \cup \left\{ 0\right\} ,\) i.e., that the spectrum of \(C_{n}Q\) is generated by replacing eigenvalue 1 with 0 in the spectrum of

*Q*. First, it is straightforward to show that 0 is an eigenvalue of \(C_{n}Q\), with eigenvector \(e_{n}\): Since \(Qe_{n}=e_{n}\), we have that

*Q*apart from 1. In other words,

This theorem says that if we center a matrix *Q* with rows that sum to one around its column means, then the spectral radius of the centered matrix is the second largest modulus eigenvalue of *Q*. In fact, the theorem shows a lot more than that, i.e., that the whole spectrum of \(C_{n}Q\) coincides with the spectrum of *Q* after replacing eigenvalue 1 with eigenvalue 0. Note that this theorem holds generally for matrices with rows that sum to one, not just stochastic matrices. An immediate consequence of this theorem is that the cohesion of a network is equal to one minus the second largest modulus eigenvalue of its intensity matrix. This observation is very useful for proving properties of network cohesion. With this result in place, we can now show two properties of network cohesion \(\kappa \).

### Proposition 1

Isomorphic networks have the same cohesion.

### Proof

*P*such that \(G_{2}=PG_{1}P^{-1}\). Also, \(P^{-1}=P^{T}\) since

*P*is a permutation matrix. Let \(R_{1}=D_{1}G_{1}\) and \( R_{2}=D_{2}G_{2}\) be their corresponding intensity matrices. To show the result it suffices to show that \(R_{1}\) and \(R_{2}\) have the same eigenvalues. Note that

### Proposition 2

The cohesion of a network *N* satisfies the inequality \(0\le \kappa \le 1\).

### Proof

*R*is between 0 and 1. From Theorem 8.1.22 of Horn and Johnson (1985), we have that

*R*.\(\square \)

### Corollary 1

- (i)
For the empty network the cohesion is \(\kappa =0\).

- (ii)
For the complete network the cohesion is \(\kappa =1\).

- (iii)
For the star network the cohesion is \(\kappa =1/2\).

### Proof

All three statements follow immediately by applying Theorem 1 and Proposition 1 to the particular networks.\(\square \)

### Corollary 2

Disconnected networks have zero cohesion.

### Proof

*R*are then all the eigenvalues of \(R_{1}\) and \(R_{2}\). To see this let for example \(\lambda _{1} \) be an eigenvalue of \(R_{1}\), with eigenvector \(x_{1}\). Then

*R*with eigenvector \(x=\left( \begin{array}{cc} x_{1}^{T}&0^{T} \end{array} \right) ^{T}\). Since each of the intensity matrices \(R_{1}\) and \(R_{2}\) has 1 as an eigenvalue,

*R*has 1 as an eigenvalue with multiplicity at least 2. Therefore, from Theorem 1, after replacing one of these with the zero eigenvalue, the set of eigenvalues of

*F*still contains 1, and therefore, \(\kappa =0\).\(\square \)

Proposition 2 states that network cohesion varies between 0 and 1 and Corollary 1 gives a natural interpretation to these two bounds, by mapping them to two extreme networks: the smallest possible cohesion is achieved for the empty network (no links), and the highest cohesion is achieved for the complete network (all links). The star network has cohesion equal to 1 / 2 and provides a separation point between networks with low cohesion (\({<}1/2\)) and high cohesion (\({>}1/2\)).

## 4 AK growth model continued and some other examples

We now return to the simple growth model that we presented in Sect. 2. In order to determine under what conditions the system (5) converges to \(\mathbf {x}^{*}=e_{n}\), and at what speed, we first show an auxiliary result that provides the exact spectrum of the Jacobian at \(\mathbf {x}^{*}\).

### Lemma 1

*N*, let

*F*be the relative intensity matrix and \(C_{n}\) as defined in Sect. 3. Then, for any scalars \(b,~d\in \mathbb {R}\), the spectrum of \({ bF}+{ dC}_{n}\) is

### Proof

*F*and \(C_{n}\) commute. From Theorem 2.4.9 in Horn and Johnson (1985), the spectrum of the sum of commuting matrices consists of combinations of sums of the eigenvalues of these matrices, i.e., \(\sigma \left( { bF}+{ dC}_{n}\right) \subseteq b\sigma \left( F\right) +d\sigma \left( C_{n}\right) \). The eigenvalues of \(C_{n}\) are 0 with multiplicity 1 and 1 with multiplicity \(n-1\), i.e., \(\sigma \left( C_{n}\right) =\left\{ 0,1,\ldots ,1\right\} \), and the eigenvalues of

*F*are 0 with multiplicity 1 and \(\lambda _{1},\ldots ,\lambda _{n-1}\), i.e., \(\sigma \left( F\right) =\left\{ 0,\lambda _{1},\ldots ,\lambda _{n-1}\right\} \), as shown in Theorem . For both \(C_{n}\) and

*F*the eigenvector corresponding to eigenvalue 0 is

*e*. This implies that 0 is also an eigenvalue of \( { bF}+{ dC}_{n}\) with eigenvector

*e*. We can then apply the same deflation argument as in the proof of Theorem 1, with \(S_{n}\) as defined in expression (16), to obtain

We can now establish the following result for the \({ AK}\) growth model with technology spillovers:

### Proposition 3

Let the dynamics of the *n* countries in network *N* be described by (5). Then the solution \(\mathbf {x}^{*}=e_{n}\) is stable and the countries converge, if the network cohesion is strictly positive, i.e., if \(\kappa >0\).

### Proof

*F*are real, because they coincide with the eigenvalues of the row stochastic matrix

*R*apart from eigenvalue \( \lambda _{0}=1\), as shown in Theorem 1, and

*R*is similar to \( D^{-1/2}{} { GD}^{-1/2}\), which is symmetric for undirected networks. We also know that \(0\le \left| \lambda _{i}\right| \le 1\) since

*R*is row stochastic. From the triangle inequality, and since \(b,d\ge 0\), a sufficient condition for stability is then \(b\left| \lambda _{i}\right| +d<1\). Recalling that \(\beta =1-\alpha \), the condition is equivalent to requiring that \(\left| \lambda _{i}\right| <1\) for all

*i*, or that \(\kappa =1-\rho \left( F\right) >0\).\(\square \)

### Corollary 3

Higher network cohesion implies faster convergence to the balanced growth path of the balanced growth model of Sect. 2.

Next, we discuss some other examples in which network cohesion is relevant. First, the measure of network cohesion also arises in Cavalcanti and Giannitsarou (2015) in a model of endogenous growth with overlapping generations and human capital accumulation that depends on investment in education and local network externalities. In that framework, different households represent the nodes of the network. The paper then examines under what conditions populations that are initially heterogeneous can converge to a balanced growth path of long-run equality. It is shown that network cohesion is crucial for ensuring stability of the dynamic system and convergence to a balanced growth path of long-run equality, even when the network is connected: if network cohesion is low, the local externality effect may not be strong enough to guarantee convergence to equality, and inequality persists perpetually.

More generally, cohesion as a network statistic is particularly useful in nonstationary dynamic models in which *balanced growth*, rather than a steady state, may be present. As is typical in such models, the variables and dynamics are transformed by dividing through by averages, and the analysis is carried out in terms or *relative* variables (i.e., deviations of variables from an average). In such models, the local dynamics and their properties can be approximated at first order by the Jacobian, which is typically a linear function of a dispersion matrix *F*, i.e., a matrix of deviations of network intensities from corresponding averages. The spectral radius of *F* (and thus network cohesion) is then crucial for determining local stability of a balanced growth path. Then, one can think of a wide spectrum of models in which externalities and neighborhood effects may matter for long-run growth and inequality, and for which network cohesion would be crucial for stability and speed of convergence to a balanced growth path (e.g., Ray 2006; Garcia-Peñalosa and Turnovsky 2008; Mierau and Turnovsky 2014).

These examples are also useful for demonstrating the link between network cohesion and various other strands of literature in engineering, operations research and graph theory. In particular, it is known that the second largest eigenvalue of an appropriately defined stochastic matrix represents the rate of convergence of Markov chains to stationarity and this property has been used to analyze convergence rates of genetic algorithms, various models of statistical physics, or problems of global clock synchronization. Examples of such applications can be found in Mitra and Weiss (1980), Landau and Odlyzko (1981), Diaconis and Stroock (1991), Diaconis and Saloff-Coste (1993), Römer (2001) and Li and Rus (2006). The measure of network cohesion we present here is defined as one minus the coefficient of dispersion, where, as we have shown, the coefficient of dispersion coincides with the second largest modulus eigenvalue of a stochastic matrix. The fact that higher cohesion (or lower coefficient of dispersion) implies faster convergence in dynamic growth models is in direct correspondence with the aforementioned results.

There is also a more direct link to the literature on learning, imitation and social influence in the context of social and information networks (see Goyal (2007) and Jackson 2008, and references therein). In a simple model of consensus formation as in DeGroot (1974), the society starts from initial opinions on a matter. Each agent (in a network) updates his opinion using a weighted average of his current opinion and the average opinion of his neighbors. We can then analyze the dynamic behavior of the vector of all opinions as deviations from the average opinion in the society, and give conditions under which consensus is reached in the limit. Once again, strictly positive network cohesion is required for convergence and the higher cohesion is, the faster convergence is achieved.^{9} More generally, our measure of network cohesion can be useful for dynamic settings of opinion formation and disagreement, such as that analyzed in Melguizo (2016).

## 5 Aggregation

*s*to node

*q*is weighted as \(n_{q}n_{s}\) (i.e., the number of regions in country

*q*, times the number of regions in country

*s*) if the two groups were originally connected, and 0 otherwise. The resulting aggregated network is pictured in right-hand side of Fig. 1. Its adjacency matrix is

*G*and

*H*are defined as in (34) and (35). The local dynamics of the large system (regions) are described by

We now formalize the notion of aggregation and provide a theorem and corollaries that ensure that all the dynamic properties of these two systems are identical. In particular the theorem ensures that the two Jacobians have the same nonzero eigenvalues and the corollaries ensure that all these eigenvalues are real and the two networks have the same cohesion. This means that the proof of Proposition 3 is the same for either network and that the rates of converge of the two systems coincide.

*G*can be written in block form

*N*is the same as the cohesion of the one with adjacency matrix

*G*. Next, we construct the corresponding aggregate network with

*k*nodes, and corresponding adjacency matrix

*H*which has typical element

*Aggregation*. Let \(N=\left\{ \upsilon _{i},i=1,2,\ldots ,n\right\} \) be a network that is isomorphic to a network with adjacency matrix *G* as defined by (42)–(44) and intensity matrix *R*, and let its corresponding aggregate network \(M=\left\{ u_{q},q=1,2,\ldots ,k\right\} \) have adjacency matrix *H* given by (45) and intensity matrix *P*. Then the spectrum of *R* is equal to the spectrum of *P* plus the eigenvalue 0 with multiplicity \(n-k.\)

### Proof

*N*, denoted by

*R*. Its typical element is

*i*is in block \(G_{qs}\), then

*i*is in block \(G_{qs}\), then

*P*for the aggregated network. We can then write

*R*in block matrix form as

*P*, then it will also be an eigenvalue for

*R*. To see this, let \(x=\left[ x_{1},\ldots ,x_{k}\right] ^{T}\) be an eigenvector of

*P*, corresponding to eigenvalue \(\lambda \), and let \(\tilde{x}=\left[ \begin{array}{ccc} x_{1}e_{n_{1}}^{\prime }&\quad \cdots&\quad x_{k}e_{n_{k}}^{\prime } \end{array} \right] ^{\prime }\). Then,

*P*corresponding to eigenvector

*x*. Therefore,

*k*of the

*n*eigenvalues of

*R*are the

*k*eigenvalues of

*P*. Next, we show that the remaining eigenvalues are all zero. First, it is trivial to show that the linear system \({ Ry}=0\) has infinitely many solutions, with \(n-k\) free variables. Therefore, 0 is an eigenvalue, with geometric multiplicity equal to \(\dim { NulR}\), where \({ NulR}\) is the null space of

*R*. Since the geometric multiplicity is smaller than or equal to algebraic multiplicity of 0, and there cannot be more than

*n*eigenvalues in total, it must be that the algebraic multiplicity of 0 is \(n-k\).\(\square \)

### Corollary 4

Let \(N=\left\{ \upsilon _{i},i=1,2,\ldots ,n\right\} \) be a network that is isomorphic to a network with adjacency matrix *G* as defined by (42)–(44) and let its corresponding aggregate network \(M=\left\{ u_{q},q=1,2,\ldots ,k\right\} \) have adjacency matrix *H* given by (45). Then \(\kappa _{N}=\kappa _{M}\).

### Proof

Follows immediately from Theorems 1 and 5. \(\square \)

### Corollary 5

Let \(M=\left\{ u_{q},q=1,2,\ldots ,k\right\} \) be a network that is derived from aggregating a larger network as described by the adjacency matrices (42)–(44) and (45). Then all the eigenvalues of its intensity matrix and relative intensity matrices are real.

### Proof

Let *P* be the intensity matrix of *M*. From Theorem 5, \( \sigma \left( P\right) =\sigma \left( R\right) {\backslash }X\{ 0,\ldots ,0\} \), where *R* is the intensity matrix of the original undirected and unweighted network, with adjacency matrix *G* and *D* defined as in (9). Then the matrix \(R=D^{-1}G\) is similar to \( D^{-1/2}{} { GD}^{-1/2} \). Since *G* is symmetric, the eigenvalues of *R* must be real and the result follows. The eigenvalues of the relative intensity matrix *F* are also real from the fact that its spectrum is equal to the spectrum of *R* by replacing eigenvalue 1 with eigenvalue 0. \(\square \)

We note that the network aggregation proposed here is such that the generated intensity (stochastic) matrix *P* of the aggregated network is an *unbiased regular aggregation *of the intensity matrix *R*, in the sense defined in Howe and Johnson (1989). The term *regular* refers to satisfying two axioms, namely that the aggregator is a linear function and that it assigns each state in the original process to exactly one superstate of the aggregated process. The term *unbiased* refers to the fact that the aggregation depends only on the partition of the original states and preserves the Markovian property.^{10}

## 6 Comparison of cohesion with other network summary statistics

*spectral homophily*defined in Golub and Jackson (2012a, (2012b). This is defined in the context of a multitype random network, which consists of

*n*nodes, each of which is of one of

*k*different types. Types

*q*and

*s*are linked with some probability \(\pi _{qs}\) and not linked with probability \( 1-\pi _{qs}\). Collecting these probabilities in a matrix \(\Pi \), Golub and Jackson (2012a) then define a matrix \(P\left( \Pi ,n\right) \) with typical element

*q*will have with nodes of type

*s*. The spectral homophily is then defined as the second largest eigenvalue of \( P\left( \Pi ,n\right) \). Any realized network exhibits more (spectral) homophily if the probabilities in the diagonal of this matrix are higher than the off-diagonal probabilities, i.e., when nodes tend to link more often with the own kind (same type nodes). The close relationship between network cohesion and network homophily becomes clear once we reinterpret the matrix defined by (45) as a matrix of the expected number of links between different types as in (53), by imposing \(0\le \pi _{qs}<1 \). Then, the spectral homophily of the random network (i.e., the second largest eigenvalue of \(P\left( \Pi ,n\right) \)) is equal to the second largest eigenvalue of the intensity matrix of the aggregate network, which by Theorem 1 and the aggregation results, is equal to one minus the cohesion of a large network defined by (42)–(44). We note that although the two measures are related, they arise from very different settings: network cohesion on the one hand is not defined for random networks and is in this sense less general; on the other hand, it can be defined for directed and weighted networks, and the aggregation results go through for any \(\pi _{qs}>0\), so is in this sense more general than spectral homophily. Also, as emphasized earlier, the way we define network cohesion is suitable for models of endogenous perpetual growth with a balanced growth path; spectral homophily cannot be used directly for such models, without the use of suitable transformations and the mathematical results that we prove here.

*algebraic connectivity*introduced by Fiedler (1973) and developed further by Mohar (1991).

^{11}This is defined via the graph Laplacian, which is an \(n\times n\) matrix

*L*, with typical element

*i*. The algebraic connectivity is then the second smallest eigenvalue of the Laplacian, and it is nonzero if and only if the network is connected.

^{12}It measures how well-connected a network is. In the engineering and biology literature, it is considered a measure of the ability of a network to synchronize: as it becomes larger, the network is better connected and more ‘eager’ to synchronize.

^{13}Given this interpretation, the relation of network cohesion to algebraic connectivity is clearer. To understand this relation, first note that for an undirected and unweighted network, the Laplacian is given by

*D*is defined as in expression (9) and

*G*is the adjacency matrix. Consider a normalization of the Laplacian matrix

*R*. The eigenvalues of the normalized Laplacian (i.e., a

*normalized*algebraic connectivity) are then equal to 1 minus the eigenvalues of

*R*, which in turn will be equal to network cohesion, whenever the second largest modulus eigenvalue of

*R*is nonnegative.

Despite the similarities however, the two statistics are not necessarily identical. First, this relationship between them can be established for undirected networks only, while cohesion can be defined in general for directed networks too. Also, the spectral radius of *F* is not always the same as the second largest eigenvalue of *R*, if, for example, *R* has a negative eigenvalue which is larger in absolute value than its second largest eigenvalue, or if the eigenvalues of *F* are complex. Last, the interpretation of the elements of the matrix *F* and thus its spectral radius is more natural and straightforward in the context of models with perpetual growth than that of the Laplacian and its normalization.

In the broad literature of graph theory and networks, there is a large variety of measures that capture aspects of cohesion. In the context of social networks, Borgatti et al. (2013) discuss how the term ‘cohesion’ can be understood and propose a variety of measures that can be of interest when thinking of network cohesion. These include *density*, * average degree*, *average clustering*, various versions of * connectivity*, *number of components*, *fragmentation* and *diameter*.

We note that while the number of components and fragmentation measures capture cohesion in an intuitive way, they do not provide much information on the internal structure of components. If a network, for example, is even weakly connected, then fragmentation is always zero, and becomes strictly positive only when the network is disconnected. On the other hand, whenever the network is disconnected, our measure of network cohesion is always zero, and becomes strictly positive for (weakly) connected networks. In this sense, our measure is complementary to fragmentation, since \(\kappa \) refines our understanding of what happens within components, but assigns a zero to any disconnected network.

*assortative mixing by degree*, the

*coefficient of variation*, as defined in Acemoglu et al. (2012) and

*centralization*. Figure 2 presents the relationship with some of these to our measure of network cohesion, based on randomly generating 10,000 networks of 13 nodes. Each panel contains a scatter plot of network cohesion (horizontal axis) and the corresponding measure (vertical axis). Definitions for these measures can be found in standard textbooks (e.g., Newman 2010), or the aforementioned references. As expected, as \(\kappa \) gets large, combinatorial connectivity, average degree and average clustering increases, while the coefficient of variation broadly decreases. There is no clear relationship between the assortative mixing by degree with network cohesion. The same is true for degree centralization. Of all the measures presented here, the closest one to network cohesion is indeed algebraic connectivity, as explained earlier, but only for undirected and unweighted networks.

## 7 Closing comments

In this paper we introduced the notion of network cohesion, a summary statistic that arises naturally in dynamic models of endogenous growth with (local) network externalities. In such frameworks, positive network cohesion is crucial for ensuring convergence to a balanced growth path and also determines the speed of convergence to this path. We argue that this statistic is in general useful and relevant for the dynamics of systems of variables that are defined in relative terms, i.e., as deviations from the average value of the variable. This is because network cohesion is defined as one minus the spectral radius of a matrix with elements that represent deviations of the importance of links from their averages. We also note that other summary statistics of networks that are mathematically related to cohesion (such as algebraic connectivity or spectral homophily) cannot be directly used for the characterization of dynamic systems with perpetual endogenous growth.

Goyal (2007) and Jackson (2008) provide an overview of recent research and models on networks in economics and techniques for analyzing different economic issues. Network cohesion is used for the analysis of an endogenous growth model with human capital in Cavalcanti and Giannitsarou (2015).

In the literature of networks it is more common to assume no self-links (loops), i.e., \(g_{ii}=0\). Here, we adopt the alternative assumption of \( g_{ii}\ne 1\), which is more attractive for the types of endogenous growth models that we are interested in.

A microfounded version of this model would be an overlapping generations economy. This would also yield a constant savings rate that depends on the discount factor.

If the network is undirected, as in the growth model of Sect. 2, then the matrix *G* is symmetric. If the network is unweighted, then \(g_{ij}=1\) if there is a link between *i* and *j*, and \(g_{ii}=1\) for all *i*. Allowing for weights that are generally different from one or for nonsymmetric adjacency matrices is very general and allows us to consider, for example, growth models in which the spillover effects may be stronger between some countries and weaker between others. The magnitude of weights in the diagonal elements may reflect the importance of a country’s own capital for its productivity, relative to the remaining countries’ capital.

The matrix *R* is also used in Echenique and Fryer (2007), where it is called *the matrix of social interactions*.

The term *centering* is borrowed from statistics. The matrix \(C_{n}\) is a symmetric and idempotent matrix that, when multiplied with a vector, has the same effect as subtracting the mean of the elements of the vector from every vector entry.

Note that applying the centering matrix \(C_{n}\) to *R* from the left removes the mean from each of the columns of a matrix, therefore collecting the elements \(f_{ij}=r_{ij}-\bar{r}_{j}\) into a matrix *F* gives the same elements as \(C_{n}R\).

Interesting variations of this model can be found in DeMarzo et al. (2003) and more recently Jiménez-Martínez (2015).

## Copyright information

**Open Access**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.