Modularity in complex multilayer networks with multiple aspects: a static perspective
 Han Zhang†^{1},
 ChangDong Wang†^{1}Email authorView ORCID ID profile,
 JianHuang Lai†^{1} and
 Philip S. Yu†^{2}
Received: 17 March 2017
Accepted: 28 April 2017
Published: 8 May 2017
Abstract
Complex systems are usually illustrated by networks which capture the topology of the interactions between the entities. To better understand the roles played by the entities in the system, one needs to uncover the underlying community structure of the system. In recent years, systems with interactions that have various types or can change over time between the entities have attracted much research attention. However, algorithms aiming at solving the key problem—community detection—in multilayer networks are still limited. In this work, we first introduce the multilayer network model representation. Then based on this model, we naturally derive the multilayer modularity—a widely adopted objective function of community detection in networks—from a static perspective to evaluate the quality of the communities detected in multilayer networks. It enables us to better understand the essence of the modularity by pointing out the specific kind of communities that will lead to a high modularity score. We also propose a spectral method called mSpec for the optimization of the proposed modularity function based on the supraadjacency representation of the multilayer networks. Experiments on the electroencephalograph network and the comparison results on several empirical multilayer networks demonstrate the feasibility and reliable performance of the proposed method.
Keywords
Introduction
Complex systems are usually illustrated by networks which capture the topology of the interactions between the entities (Strogatz 2001; Newman 2010; Wasserman and Faust 1994; Girvan and Newman 2002; Lambiotte et al. 2014; Zhang et al. 2015, 2016). For systems with more complicated entity interconnections, edges with different attributes, e.g., directed graphs (Newman 2010; BangJensen and Gutin 2008), weighted graphs (Newman 2004; Barrat et al. 2004), signed graphs (Doreian and Mrvar 2009; Yang et al. 2007) and so on, have been thoroughly studied. In recent years, systems with entity interactions that have various types or can change over time have attracted an increasing research attention (Verbrugge 1979; Szell et al. 2010; Rocklin and Pinar 2013; Holme and Saramäki 2012). For example, a person interacts with his friends in Facebook and uses emails for business will demonstrate different behaviors in Facebook social network and email social network. Such networks are usually interpreted as a combination of different “layers” (or “views,” “edge colors,” “relations,” “slices,” etc., in the literature), and is regarded as multilayer networks. In different contexts, “multigraph,” “multiplex network,” “multirelational network,” “multislice network,” “multilevel network,” “network of network,” and “temporal network” always refer to a similar network structure (Kivelä et al. 2014). Following the conventional terminology in network science, we refer to networks with such structure as multilayer networks.
Although there is actually no consensus on its definition, a community usually refers to a group of nodes that are compactly connected with each other and sparsely connected with those nodes outside the group. By partitioning a network into communities, we obtain its community structure, which is a coarsegrained representation of the network that assists us analyzing the roles played by each node (Fortunato 2010). Despite numerous studies on multilayer networks in recent years, there is still a lack of evaluation metrics for measuring the community structure of a multilayer network, which in turn limits the number of available algorithms to find the optimal community structure in multilayer networks. Existing evaluation metrics in multilayer networks are mainly derived from “singlelayer” cases, where the evaluation metrics are designed to detect modular structures in conventional networks that can be represented simply with nodes and edges, e.g., edge centrality, clustering coefficient, and metrics based on dynamic process (Battiston et al. 2013; Bródka et al. 2010; De Domenico et al. 2013; Lambiotte and Rosvall 2012; Kivelä et al. 2014; De Domenico and Lancichinetti 2015). In such methods, detections are applied independently on each layers before final assignment, or on a “collapsed network” which is a singlelayer network generated by aggregating the layers (Peixoto 2015). Such treatment is intuitive to find an “average” role played by a node in different layers, but somehow fails to treat the multiple layers fundamentally as a whole. Mucha et al. 2010, proposed a modularitybased metric for multilayer network community structure derived from a Laplacian dynamic. To the best of our knowledge, they for the first time introduce couplings to the multilayer network models, which are links that appear between layers and connect a node with its copy in other layers, to combine the layers and form an interconnectedlayer network model. Based on such an interconnectedlayer structure, the generalized modularity is able to evaluate the community structure without any compression or loss of the information encoded in the multilayer networks.
In spite of the great advances, the generalized modularity still has weaknesses which will lead to confusion especially when it comes to temporal networks, where the layers are usually time slices of a specific evolving singlelayer network. The derivation of modularity is based on the stability of global communities (Lambiotte et al. 2008), which is measured by comparing the position of a random walker with the stable state. This assumes that the random walker keeps transferring as the time goes. However, the layers are interdependent w.r.t. time and the couplings are introduced to describe the continuity of the interaction between nodes along the layers (time slices) (Mucha et al. 2010). It is confusing since one layer may be the result of the evolvement of another layer but the random walker is assumed to be able to travel between them. Another important weakness is, although the generalized modularity is generally similar with its original version in the singlelayer case, the definition of a community in multilayer networks becomes vaguer to understand—what does a community look like in multilayer networks if a random walker can hardly escape from it? Actually, the current derivation of multilayer modularity focuses on capturing the dynamic property of a community—stopping the random walker from leaving it. In some cases where there is such random process defined on the network, the definition of the community is apparent. But in other cases, the definition of a community becomes vague.
The above two issues are inevitably brought by the derivation from a dynamic perspective. In order to address them, in this paper, we derive the generalized modularity from a static perspective, i.e., without defining dynamic process on the network. As will be shown in “Multilayer modularity from a static perspective,” from such perspective, the generalized modularity is represented as the predominant part of Hamiltonian, which measures the total energy of the systems in a variety of cases including community structure in the networks (Reichardt and Bornholdt 2006). Thus, the optimization of the proposed metric is equivalent to that of Hamiltonian, which provides the generalized modularity with an energy explanation. We also demonstrate in “Multilayer modularity from a static perspective” that the generalized modularity just finds communities with high cohesion, i.e., densely distributed internal efficient edges (not the couplings), which is more intuitive to understand and returns to its original definition in the singlelayer case (Newman 2006). With such a static derivation, we are able to generalize the modularity to multiple aspect cases, where the layers belong to different groups (Kivelä et al. 2014) or the layer relation is flexible. We also propose a spectral algorithm called mSpec for optimizing the proposed modularity evaluation metric, which extends the spectral bisection algorithm in the singlelayer case (Newman 2006).

We derive the multilayer modularity from a static perspective to address the confusion in temporary networks and point out which kind of topological structure will lead to a high modularity value.

We generalize the multilayer modularity to adapt to networks with multiple aspects or there are flexible constraints on the layer relation.

We propose a spectral bisection algorithm (mSpec) for multilayer modularity optimization based on the supraadjacency representation for multilayer structure.

We apply the proposed metric to electroencephalogram (EEG) networks as an attempt of application.
Background
In this section, we will briefly introduce the network models that have been explored in the literature and the strategies that have been adopted to detect communities in multilayer networks, including evaluation metrics and optimization.
Network model
During the process of exploring the multilayer networks, different network models have been proposed (Mucha et al. 2010; Boccaletti et al. 2014; Kivelä et al. 2014). Mucha et al. (2010) linked multiple singlelayer networks with couplings, which refer to the edges that connect the nodes with their copies in different layers, to represent a multilayer network. This model allows the layers to communicate through the couplings and is widely adopted especially by research involving dynamics defined on multilayer networks (De Domenico et al. 2013; Gomez et al. 2013). De Domenico et al. (2013) proposed a multilayer model based on tensor representation, which no longer restrains the betweenlayer connection to appear between nodecopy pairs. In the rest of this paper, we will use betweenlayer edges to refer to this kind of connections that link a node with another node in different layers. On the one hand, the presence of betweenlayer edges makes the network more flexible. But on the other hand, a multilayer network with betweenlayer edges is very similar to a singlelayer network in structure since they both have no limitations on the presence of edges (any node in any layer is allowed to link with another node in another layer). This will sometimes blur the boundary between singlelayer and multilayer networks.
In other networks with multiple aspects, each layer only belongs to a unique aspect. For instance, conventional electroencephalogram (EEG) networks (singlelayer networks) for different individuals construct a multilayer network, where each layer corresponds to an EEG network of a person. With the fact that all testees receive the same treatment, the layers reflect the common reactions to the test, but still hold the individual difference between the testees. In addition, a person can take several EEG tests to obtain different EEG networks that all reflect the roles played by different regions of his brain in the test. Thus, we have two aspects observing the EEG network of the testees, enabling us to analyze individual differences and similarities as well as the role of different brain regions simultaneously. With respect to different individuals, we may have as many aspects as the number of persons that takes the EEG test, and the layers within that aspect are several EEG networks obtained from several tests. To locate a layer in such networks, we just need to point out to which aspect the layer belongs and its position within that aspect, as shown in Fig. 2. We will refer to such representation as aspectlayer representation to distinguish with the aspect–aspect representation.
Actually, for a more convenient implementation, we can convert the aspect–aspect representation to the aspectlayer representation by absorbing aspects hierarchically into one aspect. We can interpret this process by considering how multidimensional arrays are stored on the disk. A 2dimensional array is represented as an “array of arrays.” The multiple aspects are arranged in a similar way so that we can represent the network using matrices with predetermined size.
Existing evaluation metrics for community detection in multilayer networks
As one of the most concerned issues in network analysis, community detection aims at partitioning the network into groups of closely connected nodes (which is called a community) to obtain a coarsegrained representation, which helps us better understand the structure of the network. However, as far as we are concerned, most of existing evaluation metrics designed for community detection in multilayer networks assume that the layers are independent. The multilayer stochastic block models (SBM), which are generative models that make inferences on the role of nodes given the network structure as evidence (VallesCatala et al. 2014; Peixoto 2015), usually adopt two types of strategies. They either learn a SBM on each layer, just like in singlelayer networks, and then make global assignments based on the result of each layers, or they aggregate the layers to produce a “collapsed network” (Peixoto 2015). The final community assignment of each node is made based on the SBM result on the collapsed network.
De Domenico et al. extended the wellknown infomap method (Rosvall and Bergstrom 2008) to the multilayer case (De Domenico and Lancichinetti 2015). The infomap method solves the community detection problem by considering its duality with a coding problem. It assumes that the community is able to capture the flows on the network so that by utilizing the community structure, we can greatly compress the coding length needed to describe a random process on the network (Rosvall and Bergstrom 2008). The goal is to minimize the “map equation,” which describes the coding length based on a specific partition and the transition probability of the random process. De Domenico et al. defined the transition probability of a random walker in multilayer networks so that the map equation is able to describe the flow in multilayer scenarios. Such treatment is intuitively correct, albeit they assume the node can reach the neighbors of its copies in other layers in a single step. In fact this implicitly erases the difference between layers—it is equivalent to consider a collapsed network.
Some other existing evaluation metrics also provide considerable solutions to the community detection problem in multilayer networks, such as multilayer clustering coefficient (the authors consider the overlapping of layers or the networks with multiple types of connections) (Bródka et al. 2010; Battiston et al. 2013), multilayer centrality (the authors consider a random walker to jump between layers through specific node pairs or edges) (De Domenico et al. 2013; Lambiotte and Rosvall 2012), etc. What these methods share in common is that they assume the layers are independent or can be aggregated and attempt to find global roles for the nodes. Such treatments would have considerable effects as the network structure varies when we wish to find the similarity of the layers. But when we are interested in the different roles of nodes in the layers, these methods may generate a poor result, as we will discuss in the experiments. Thus, it is highly recommended to adopt an interconnectedlayer structure.
Modularity is a widely adopted metric for community detection in singlelayer networks (Newman and Girvan 2004; Newman 2010; Clauset et al. 2004; Newman 2006). The original definition of modularity is the edge difference between the current network and a null model, which is a rewired random network with the same degree distribution as the original network. Modularity reflects the cohesion of nodes within a community, so by optimizing global modularity one can find a partition of the network with communities within which the edges are densely distributed (Newman 2006). Recently, Mucha et al. extended the singlelayer modularity to multilayer case using a Laplacian dynamic process defined on the multilayer network (without betweenlayer edges), which measures the stability of a community by comparing the probability of a random walker to stay in the same community at time t to the static solution (i.e., \(t \rightarrow \infty\)) (Mucha et al. 2010; Lambiotte et al. 2008).
This generalized modularity is of great contribution due to the fact that it combines the layers (using the couplings) on a model level for the first time and is adopted in a wide range of areas (Szell et al. 2010; Porter et al. 2011; Chiu and Westveld 2011). Nevertheless, this evaluation metric still has weaknesses. The multilayer modularity is derived based on a dynamic process (actually it is a random walk process), which means the random walker is jumping between nodes as time goes. So what if the network is evolving over time? When it comes to temporal networks, whose layers can be interpreted as different time slices of an evolving network (i.e., the edges vary over time), things get confusing, because the layers can be seen as different states in the network evolving process. Moreover, although the withinlayer representation is the same as the conventional form proposed by Newman et al., it is not clear what kind of community the multilayer modularity tends to find. It is of vital importance to know the bias of the evaluation metrics on the communities, so that we can pick appropriate evaluation metrics for corresponding network structures. Last but not the least, the coupling strength strategy needs modification to adapt to more general cases, since the original one is brought without much discussion.
Optimization
Optimizing the singlelayer modularity is an NPhard problem (Brandes et al. 2008), so we can only obtain a good approximation of the optimal solution efficiently. Since the singlelayer modularity is actually a component of the multilayer modularity, the optimization of the multilayer modularity will also be NPhard. To our best knowledge, there are rare algorithms except a generalized Louvain heuristic approach for multilayer modularity optimization (Mucha et al. 2010). The Louvain method is a greedy iterative method which hierarchically aggregates two nodes into a group by making the optimal modularity gain in each iteration. Then the generated node group is regarded as a new node and another iteration starts. This algorithm converges when there is no such merger that increases global modularity value. Some tricks like adding a KernighanLin node swapping step (Kernighan and Lin 1970) after each iteration will give better detection result. The Louvain method is a widely adopted heuristic for optimizing quality functions of community structure, which implies that it does not utilize the property of the evaluation metric. Meanwhile, the community assignments of nodes are not guaranteed to converge to a good approximation, so we may need to run the algorithm several times to obtain a relatively more reasonable solution. As will be discussed “Experiments,” we cannot control the community scale detected by the Louvain method. When it comes to EEG networks, the Louvain method provides a relatively finegrained detection result, whereas we expect it to find two communities—the regions that are active or inactive.
In order to tackle the above issues, we adopt the aspectlayer representation for describing network structure which is intuitive to implement and derive the multilayer modularity from a static perspective (not involving the dynamic process). We also discuss the extension of the evaluation metric so as to make it applicable when considering different types of multilayer networks such as unbalanced multilayer networks, temporal networks or signed networks, etc. We propose a spectral method for optimizing the multilayer modularity which provides a stable solution and is helpful when we concern the scale of the discovered communities.
Multilayer modularity from a static perspective
Selection of \(\tilde{C}_{isr}^{\{vw\}}\)
Unevenly distributed views
Temporal networks
In some research, a temporal network is defined as a sequence of networks corresponding to successive time points with betweenlayer couplings indicating the continuity between adjacent layers (Holme and Saramäki 2012; Bazzi et al. 2014; Berlingerio et al. 2013). For example, suppose in a phone calling temporal network, two nodes are linked by an edge in two successive layers. If there is a coupling connecting the corresponding nodes in both layers, then we can tell that this call lasts through these two time points. Otherwise we can tell that they have two calls at both of the time points. Therefore, betweenlayer couplings only appear between adjacent layers in such temporal networks. In order to satisfy this, we let \(e_{isr}^{\{vw\}} = 0\) when \(sr \ne 1\) or the link between the nodes does not last between two time points.
Notice that the interval between two time slices can also be unequal. For example, the Facebook social networks of a person when he was 15 and 16 will be similar but they may have large difference compared with the network when he was 20. Such time interval problem can be addressed just like the unevenly distributed layers discussed before.
Signed networks
mSpec: an iterative spectral optimization of multilayer modularity
In order to find a good approximation of the optimal solution of multilayer modularity maximization problem, Mucha et al. (2010) adopted a generalized Louvain method, which hierarchically merges two communities to increase the modularity score. The result is improved by a KLswap step that swaps the nodes between the communities to see if further increase on modularity score is possible (Kernighan and Lin 1970). But such optimization method is unstable, so we need to run it multiple times to avoid converging to a local maxima. And it sometimes fails to find expected number (always small) of communities, since the algorithm stops before the number of communities decreases to the desired value. Newman et al. (2006) proposed a spectral method for singlelayer modularity optimization which hierarchically divides the network into two communities. Inspired by their work, we propose a spectral bisection method called mSpec based on the supraadjacency representation of the multilayer network. This method will provide more stable performance as will be discussed in “Experiments”.
Supraadjacency representation: an equivalent singlelayer network
Dividing networks into two communities
Dividing networks into more than two communities
Complexity analysis
The mSpec method is based on a linear mapping and spectral decomposition. The time complexity of the linear mapping is \(O(\sum _{v}^FV_vN)\), where N is the total number of nodes in a single layer and \(V_{v}\) is total layers within aspect v. By applying Lanczos algorithm (Freund et al. 1993), finding the dominant eigenvector can be carried out in \(O((\sum _{v}^FV_vN)^2)\) (Newman 2006). Thus, suppose there are k divisions, we can complete the total calculation in time \(O(k(\sum _{v}^FV_vN)^2)\). The total number of divisions depends on the depth of the division tree, which is expected to be \(\log (\sum _v^FV_vN)\) in average. Thus the total complexity is \(O([F\bar{V}N]^2\log (F\bar{V}N))\), where \(\bar{V}=\sum _v^FV_v\) is the average layer number and F is the total number of aspects.
Experiments
In this section, we present community detection results using the proposed modularity in several multilayer networks. As we will demonstrate in the results, (1) the proposed method can be applied to a wide range of networks by flexibly adjusting the couplings and parameters and (2) the mSpec is more stable than the generalized Louvain method.
We conduct several experiments on a wellknown benchmark network to discuss how the parameters can influence the results of community detection. The proposed method is also applied to the electroencephalograph (EEG) networks as an attempt of its application, the result of which turns out to coincide with the functional division of the human brains. In order to evaluate the performance of the proposed modularity optimization method (mSpec), it is compared with baseline optimization methods. As will be reported, the proposed optimization performs more reliably as the coupling scale varies.
 1.Parameter analysis data:

Zachary Karate Club network: network of friendships between 34 members of a karate club in a US university (Zachary et al. 1977).

 2.Comparison data:

CKMPhysicians Innovation multilayer network: a network of the physicians’ adoption of a new drug, tetracycline, in four towns (Coleman et al. 1957). There are 246 nodes and 3 layers (according to three questions asking about the relationship between the physicians).

CSAarhus social network: a multilayer social network consists of five online and offline relationships (5 layers) between 61 employees of Computer Science department at Aarhus (Magnani et al. 2013).

Kapferer Tailor Shop network: a timevarying network recording the interactions in a tailor shop in Zambia over 10 months (Kapferer 1972). The network consists of two layers according to the interaction types and 39 nodes.

Krackhardt HighTech network: three kinds of social relationships (Advice, Friendship and “Reports to”) between 21 managers of a hightech company (Krackhardt 1987).

London Transportation network: multilayer transportation network of 369 London train stations with three layers recording different types of connection (underground, overground, and DLR) (De Domenico et al. 2014). This network is relatively sparse.

Padgett Florentine Families network: the network of marriage alliances and business relationships between Florentine families in the Renaissance (Padgett and Ansell 1993). There are 16 nodes in total.

Vickers Class Relation network: the networks collected from 29 seventhgrade students in an Australia school about three questions on the classmate relationship (“Get on with,” “Best friend,” and “Prefer to work with”) (Vickers and Chan 1981).

 3.Case study data: EEG network

Signed multilayer network that characterizes the correlation of the testees’ brain regions during a visual stimuli test. The nodes include 128 scalp electrodes as well as a standard control electrode and 11 testees and several test records form a twoaspect multilayer network.

Parameter analysis
From Fig. 4 we can see, when \(\omega = 0\), the layers show great divergence due to the value of resolution parameter \(\gamma _s\). As \(\gamma _s\) grows, the network is inclined to split into subcommunities. By comparing with standard community label, we see the detection result with parameter \(\gamma _s\) setting from 0.5 to 0.9 matches the ground truth, while there are misclassifications in the rest. As \(\omega\) increases, we see the nodes in different layers tend to be assigned to the same community. When \(\omega = 1\), we see that every node has the same community label as its copies in other layers, and the detection result consistent with the ground truth.
We can then conclude that, the resolution parameter \(\gamma _s\) controls the tendency of the splitting and the coupling strength parameter \(\omega\) controls the consistency of the community assignment between layers. Too large or too small \(\gamma _s\) will cause misclassification, which can be fixed, however, by the betweenlayer couplings. Meanwhile, too small \(\omega\) will lead to the isolation between layers. When there are noises in the network data, the result can be poor (as shown in Fig. 4a) since crosslayer information has not been fully utilized. Nevertheless, the peculiarity of each layer will be damaged by large \(\omega\) (as shown in Fig. 4d).
Comparison of modularity result of CKMPhysicians innovation network
\(\rho\)  Variance  Mean  

0  0.1  0.2  0.3  0.4  0.5  0.6  0.7  0.8  0.9  1  
mSpec  1626.5  1669.1  1693.3  1706.5  1482.5  1920.8  1770.6  1726.9  2067.8  2409.9  2792.2  295,131  2033.4 
mLouv  431.8  707.2  883.5  1059.7  1313.3  1687.7  1931.3  2119.0  2564.3  2726.9  3073.7  940,089  1908.2 
sMSpec  427.8  703.8  859.8  1039.8  1283.8  1655.8  1931.8  2119.8  2539.8  2731.8  3063.8  947,230  1898.0 
sMSpec  1622.9  1848.9  1773.5  1753.0  1838.9  1964.9  2008.9  2020.9  2080.9  2104.9  2152.9  32,522  1964.4 
Comparison of modularity result of CSAarhus network
\(\rho\)  Variance  Mean  

0  0.1  0.2  0.3  0.4  0.5  0.6  0.7  0.8  0.9  1  
mSpec  409.0  516.2  523.4  501.6  622.4  544.4  781.9  695.6  915.6  1078.7  1378.2  151,061  823.3 
mLouv  −587.5  −301.3  −200.8  −125.9  120.5  408.5  700.5  920.5  1124.5  1358.7  1652.5  663,111  647.6 
sMSpec  −692.9  −400.9  −293.9  −216.9  15.1  303.1  595.1  815.1  1019.1  1259.1  1547.1  660,634  544.6 
sMSpec  406.4  472.4  468.4  472.4  538.4  568.4  660.4  676.4  726.4  786.6  852.4  25,416.1  639.0 
Comparison of modularity result of Kapferer Tailor Shop network
\(\rho\)  Variance  Mean  

0  0.1  0.2  0.3  0.4  0.5  0.6  0.7  0.8  0.9  1  
mSpec  243.7  266.7  291.7  251.3  262.1  271.2  328.1  382.6  480.7  501.8  546.4  22,606  384.2 
mLouv  −173.6  −84.0  −30.0  20.0  66.9  176.0  306.4  406.4  536.0  574.4  638.4  98,785.2  293.3 
sMSpec  −223.6  −131.6  −81.3  −27.6  20.4  128.4  256.4  356.4  488.4  524.4  588.4  98,600.0  244.7 
sMSpec  243.4  219.4  205.4  261.4  285.4  313.4  319.4  337.4  367.4  395.4  381.4  3995.3  320.8 
Comparison of modularity result of Krackhardt HighTech network
\(\rho\)  Variance  Mean  

0  0.1  0.2  0.3  0.4  0.5  0.6  0.7  0.8  0.9  1  
mSpec  73.9  69.6  65.5  65.3  84.7  87.6  99.9  108.5  111.3  125.2  171.2  1432.1  106.6 
mLouv  −48.5  −24.5  −10.5  −4.5  43.5  27.5  75.5  87.5  95.5  135.5  183.5  6623.4  70.1 
sMSpec  −58.4  −34.4  −23.6  −14.4  33.6  17.6  65.6  77.6  85.6  125.6  173.6  6701.1  60.5 
sMSpec  29.0  49.0  48.0  53.0  83.0  77.0  83.0  91.0  99.0  105.0  131.0  1163.4  85.7 
Comparison of modularity result of London Transportation network
\(\rho\)  Variance  Mean  

0  0.1  0.2  0.3  0.4  0.5  0.6  0.7  0.8  0.9  1  
mSpec  29.5  29.5  29.5  29.5  32.9  34.9  37.0  43.5  37.7  45.6  53.5  102.3  39.4 
mLouv  −2.2  1.8  1.8  5.8  17.8  21.8  25.8  41.8  37.8  45.8  53.8  464.9  28.3 
sMSpec  −2.5  1.5  5.5  5.5  17.5  21.5  25.5  41.5  37.5  45.5  53.5  464.9  28.0 
sMSpec  24.2  26.2  24.2  24.2  34.2  28.2  36.2  34.2  38.2  36.2  40.2  61.5  33.9 
Comparison of modularity result of Padgett Florentine Families network
\(\rho\)  Variance  Mean  

0  0.1  0.2  0.3  0.4  0.5  0.6  0.7  0.8  0.9  1  
mSpec  176.9  191.4  189.9  201.4  218.8  236.1  228.4  226.0  299.1  313.9  345.9  4803.6  257.1 
mLouv  48.1  96.1  106.1  124.1  160.1  216.1  228.1  212.1  300.1  320.1  352.1  12,262.7  222.9 
sMSpec  45.0  93.0  103.0  121.0  157.0  213.0  225.0  209.0  297.0  317.0  349.0  12,262.7  219.9 
sMSpec  176.3  192.3  194.3  200.3  214.3  238.3  234.3  224.3  236.3  262.3  252.3  885.8  227.6 
Comparison of modularity result of Vickers Class Relation network
\(\rho\)  Variance  Mean  

0  0.1  0.2  0.3  0.4  0.5  0.6  0.7  0.8  0.9  1  
mSpec  635.9  742.7  787.6  794.1  864.4  1220.6  1395.1  1392.2  1787.7  2016.4  2407.6  541,037  1467.7 
mLouv  −1415.3  −946.4  −613.0  −506.8  −127.4  412.2  929.4  1124.8  1785.3  2113.1  2612.5  2.2+06  817.7 
sMSpec  −1494.5  −1023.2  −830.1  −586.5  −209.9  326.1  849.4  1038.1  1702.1  2030.7  2526.1  2.2e+06  735.3 
sMSpec  546.8  646.1  679.3  631.0  703.9  718.1  798.7  810.3  829.6  932.4  973.0  25,725.2  788.1 
Comparison results
 1.
mLouv: Multilayer Louvainlike method plus KLswap improvement, which is the most widely adopted heuristic method for modularity optimization (Mucha et al. 2010);
 2.
sMSpec: Singlelayer spectral optimization method that will be applied on the mean of adjacency matrices of all layers (Tang et al. 2010);
 3.
sMSpec: Singlelayer spectral optimization method applied on each layer (Newman and Girvan 2004; Newman 2006).
As the results suggest, the proposed method significantly outperforms the existing methods, achieving \(18.65\%\) improvement over the second best in terms of mean modularity values while maintaining a relatively low variances. The mLouv method and sMSpec method show low Q when the couplings are sparse (small \(\rho\)) and high Q when the couplings are dense (large \(\rho\)), while sMSpec performs oppositely. This is because the mLouv and sMSpec methods incline to look for a global community label for all nodes and ignore the peculiarity of each layers, so that when the couplings are sparse (which implies high heterogeneity between layers), such algorithm fail to make a distinguished assignment. Similarly, the performance of sMSpec degenerates seriously when the couplings are dense since it runs detection over each layer, respectively, and lacks the consideration of consistency. The proposed method is based on a supraadjacency representation of the multilayer network, with \(\omega\) dominates the consistency. This guarantees the reliable performance of the proposed method against networks with different conditions of the connection between layers. In a nutshell, the proposed method performs stably as the coupling density varies so that is relatively reliable when the condition of the raw network is unclear.
Case study: EEG network
The eventrelated potentials (ERPs) which are measured by means of electroencephalography (EEG) is the measured brain response of testee with a specific stimuli (Cahn and Polich 2006; Dietrich and Kanso 2010). Since the EEG monitoring collects electrical impulse data from the electrodes placed on the scalp, it should be totally noninvasive in most cases except for an inevitable invasive electrode for specific application. Moreover, the monitoring process is silent so that the auditory disturbance is reduced to a very subtle level and is tolerant to subject movement. Owing to the numerous advantages, EEG is widely adopted as the analysis tool for brain activity, especially on children testees. Nevertheless, the traditional output of the EEG monitoring manifests as waveforms, so that the analysis of them is unintuitive and usually relies on the experiential judgements of the EEG providers. In recent years, more and more research focus is concentrated on the analysis of EEG data, but almost all of such work focuses on the average performance of similar testees, which may lead to the loss of information about each distinct testee (AlexanderBloch et al. 2012; Chen et al. 2008; Meunier et al. 2009). In this experiment, we attempt to apply the proposed method on the signed multilayer network generated from the EEG data to explore the functional performance of the regions of brain. We compare the detected result with a standard empirical brain functional region division to find a surprising match between clinical experience and graph data mining (Power et al. 2011).
We find that the EEG networks are always divided into two communities, yellow and blue, in all experiments. By comparing the detection results with the corresponding adjacency, we observe that the edges with negative weights mainly lie between the two communities and within each community the nodes are connected by the edges with positive weights. Therefore, in order to better illustrate the brain terrain, we directly treat the dominant eigenvector \(\mathbf {u}_M\) of the modularity matrix as the detected community labels of the corresponding nodes for plotting since such nonbinary labels make it possible to picture the contour of the brain. Say, the dominant eigenvector is (0.5, 0.2, −0.1, −1) and the label vector will also be (0.5, 0.2, −0.1, −1), where the last two nodes will be dyed blue (the darkness distinguishes the magnitude) and the first two will be dyed yellow. Meanwhile, since such treatment also maximizes the modularity function, the result is more accurate and reliable than discrete community labels. We present the continuous community label as the topographic map of the brain where the two communities correspond to regions with different colors. By adding the standard brain function region division to the figures, we find the detection results reach a surprising match with the widely accepted brain functional partition. The visual cortex (red diamond), prefrontal cortex (purple triangle), and the premotor cortex (white square) share the same community, while the auditory cortex which is denoted with blue circles belongs to the other community. The former is more or less relevant to the visual and attention, while the latter is closely related with audition. The results coincide with the clinical experience that the visual and audition always demonstrate relatively strong divergence and interaction. Moreover, from the color bar attached, we can notice the magnitude of continuous community label of the blue part which corresponds to visual brain region is much higher than that of the yellow part which refers to the auditory region. The magnitude of the continuous label indicates the contribution of the node to the global modularity value, which can imply how active the region is during the test. Therefore, we see the visual region is much more active than the auditory region, which coincides our intuition.
To sum up, this experiment on EEG network shows encouraging results about the feasibility of the proposed method on empirical networks. It also provides a new direction of the application of the proposed method and similar approaches.
Conclusion
In this paper, we discussed the representation of multilayer networks with multiple aspects and then derived the multilayer modularity based on the assumption of the contribution of the edges and couplings. According to the derivation, we demonstrate that the modularity prefers the community structure where the edges and couplings are densely distributed within the communities. Then we proposed a spectral bisection method for optimization of the modularity based on the supraadjacency representation. In “Experiments,” we reported the performance of the proposed evaluation metric as the parameters change and the comparison result with some other baseline methods. We applied the proposed method on a twoaspect EEG network as an attempt of application, and the results coincide with the functional region of the brain.
Notes
Declarations
Authors' contributions
The authors discussed the problem and the solutions proposed all together. All authors participated in drafting and revising the final manuscript. All authors read and approved the final manuscript.
Acknowledgements
We would like to thank Sun Yatsen Memorial Hospital for providing EEG data. This work was supported by NSFC (Nos. 61502543, 61573387), Guangdong Natural Science Funds for Distinguished Young Scholar (2016A030306014), NSF through Grants III1526499, and CNS1115234.
Competing interests
The authors declare that they have no competing interests.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Open AccessThis 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.
Authors’ Affiliations
References
 AlexanderBloch A, Lambiotte R, Roberts B, Giedd J, Gogtay N, Bullmore E (2012) The discovery of population differences in network community structure: new methods and applications to brain functional networks in schizophrenia. Neuroimage 59(4):3889–3900View ArticleGoogle Scholar
 BangJensen J, Gutin GZ (2008) Digraphs: theory algorithms and applications. Springer, BerlinMATHGoogle Scholar
 Barrat A, Barthelemy M, PastorSatorras R, Vespignani A (2004) The architecture of complex weighted networks. Proc Natl Acad Sci USA 101(11):3747–3752View ArticleGoogle Scholar
 Bassett DS, Wymbs NF, Porter MA, Mucha PJ, Carlson JM, Grafton ST (2011) Dynamic reconfiguration of human brain networks during learning. Proc Natl Acad Sci 108(18):7641–7646View ArticleGoogle Scholar
 Battiston F, Nicosia V, Latora V (2013) Metrics for the analysis of multiplex networks. arXiv preprint arXiv:1308.3182
 Bazzi M, Porter MA, Williams S, McDonald M, Fenn DJ, Howison SD (2014) Community detection in temporal multilayer networks, and its application to correlation networks. arXiv preprint arXiv:1501.00040
 Berlingerio M, Coscia M, Giannotti F, Monreale A, Pedreschi D (2013) Multidimensional networks: foundations of structural analysis. World Wide Web 16(5–6):567–593View ArticleGoogle Scholar
 Boccaletti S, Bianconi G, Criado R, Del Genio CI, GómezGardeñes J, Romance M, SendinaNadal I, Wang Z, Zanin M (2014) The structure and dynamics of multilayer networks. Phys Rep 544(1):1–122MathSciNetView ArticleGoogle Scholar
 Brandes U, Delling D, Gaertler M, Görke R, Hoefer M, Nikoloski Z, Wagner D (2008) On modularity clustering. IEEE Trans Knowl Data Eng 20(2):172–188View ArticleMATHGoogle Scholar
 Bródka P, Musial K, Kazienko P (2010) A method for group extraction in complex social networks. In: Knowledge management, information systems, elearning, and sustainability research. Springer, Berlin, pp 238–247Google Scholar
 Cahn BR, Polich J (2006) Meditation states and traits: Eeg, erp, and neuroimaging studies. Psychol Bull 132(2):180View ArticleGoogle Scholar
 Chen ZJ, He Y, RosaNeto P, Germann J, Evans AC (2008) Revealing modular architecture of human brain structural networks by using cortical thickness from mri. Cereb Cortex 18(10):2374–2381View ArticleGoogle Scholar
 Chiu GS, Westveld AH (2011) A unifying approach for food webs, phylogeny, social networks, and statistics. Proc Natl Acad Sci 108(38):15881–15886View ArticleGoogle Scholar
 Clauset A, Newman ME, Moore C (2004) Finding community structure in very large networks. Phys Rev E 70(6):066111View ArticleGoogle Scholar
 Coleman J, Katz E, Menzel H (1957) The diffusion of an innovation among physicians. Sociometry 20:253–270View ArticleGoogle Scholar
 Cozzo E, de Arruda GF, Rodrigues FA, Moreno Y (2015) Multilayer networks: metrics and spectral properties. arXiv preprint arXiv:1504.05567
 De Domenico M, SoléRibalta A, Cozzo E, Kivelä M, Moreno Y, Porter MA, Gómez S, Arenas A (2013) Mathematical formulation of multilayer networks. Phys Rev X 3(4):041022Google Scholar
 De Domenico M, SoléRibalta A, Gómez S, Arenas A (2014) Navigability of interconnected networks under random failures. Proc Natl Acad Sci 111(23):8351–8356MathSciNetView ArticleMATHGoogle Scholar
 De Domenico M, Lancichinetti A, Arenas A, Rosvall M (2015) Identifying modular flows on multilayer networks reveals highly overlapping organization in interconnected systems. Phys Rev X 5(1):011027Google Scholar
 De Domenico M, SoléRibalta A, Omodei E, Gómez S, Arenas A (2013) Centrality in interconnected multilayer networks. arXiv preprint arXiv:1311.2906
 Dietrich A, Kanso R (2010) A review of eeg, erp, and neuroimaging studies of creativity and insight. Psychol Bull 136(5):822View ArticleGoogle Scholar
 Doreian P, Mrvar A (2009) Partitioning signed social networks. Soc Netw 31(1):1–11View ArticleMATHGoogle Scholar
 Fortunato S (2010) Community detection in graphs. Phys Rep 486(3):75–174MathSciNetView ArticleGoogle Scholar
 Freund RW, Gutknecht MH, Nachtigal NM (1993) An implementation of the lookahead lanczos algorithm for nonhermitian matrices. SIAM J Sci Comput 14(1):137–158MathSciNetView ArticleMATHGoogle Scholar
 Girvan M, Newman ME (2002) Community structure in social and biological networks. Proc Natl Acad Sci 99(12):7821–7826MathSciNetView ArticleMATHGoogle Scholar
 Gomez S, DiazGuilera A, GomezGardeñes J, PerezVicente CJ, Moreno Y, Arenas A (2013) Diffusion dynamics on multiplex networks. Phys Rev Lett 110(2):028701View ArticleGoogle Scholar
 Holme P, Saramäki J (2012) Temporal networks. Phys Rep 519(3):97–125View ArticleGoogle Scholar
 Kapferer B (1972) Strategy and transaction in an African factory: African workers and Indian management in a Zambian town. Manchester University Press, ManchesterGoogle Scholar
 Kernighan BW, Lin S (1970) An efficient heuristic procedure for partitioning graphs. Bell Syst Tech J 49(2):291–307View ArticleMATHGoogle Scholar
 Kivelä M, Arenas A, Barthelemy M, Gleeson JP, Moreno Y, Porter MA (2014) Multilayer networks. J Complex Netw 2(3):203–271View ArticleGoogle Scholar
 Krackhardt D (1987) Cognitive social structures. Soc Netw 9(2):109–134MathSciNetView ArticleGoogle Scholar
 Lambiotte R, Delvenne JC, Barahona M (2014) Random walks, Markov processes and the multiscale modular organization of complex networks. IEEE Trans Netw Sci Eng 1(2):76–90MathSciNetView ArticleGoogle Scholar
 Lambiotte R, Delvenne JC, Barahona M (2008) Laplacian dynamics and multiscale modular structure in networks. arXiv preprint arXiv:0812.1770
 Lambiotte R, Rosvall M (2012) Ranking and clustering of nodes in networks with smart teleportation. Phys Rev E 85(5):056107View ArticleGoogle Scholar
 Magnani M, Micenkova B, Rossi L (2013) Combinatorial analysis of multiple networks. arXiv preprint arXiv:1303.4986
 Meunier D, Lambiotte R, Fornito A, Ersche KD, Bullmore ET (2009) Hierarchical modularity in human brain functional networks. Front Neuroinformatics 3Google Scholar
 Mucha PJ, Richardson T, Macon K, Porter MA, Onnela JP (2010) Community structure in timedependent, multiscale, and multiplex networks. Science 328(5980):876–878MathSciNetView ArticleMATHGoogle Scholar
 Newman ME (2004) Analysis of weighted networks. Phys Rev E 70(5):056131View ArticleGoogle Scholar
 Newman ME (2006) Modularity and community structure in networks. Proc Natl Acad Sci 103(23):8577–8582View ArticleGoogle Scholar
 Newman M (2010) Networks: an introduction. Oxford University Press, OxfordView ArticleMATHGoogle Scholar
 Newman ME, Girvan M (2004) Finding and evaluating community structure in networks. Phys Rev E 69(2):026113View ArticleGoogle Scholar
 Padgett JE, Ansell CK (1993) Robust action and the rise of the medici, 1400–1434. Am J Sociol 98:1259–1319View ArticleGoogle Scholar
 Peixoto TP (2015) Inferring the mesoscale structure of layered, edgevalued, and timevarying networks. Phys Rev E 92(4):042807View ArticleGoogle Scholar
 Power JD, Cohen AL, Nelson SM, Wig GS, Barnes KA, Church JA, Vogel AC, Laumann TO, Miezin FM, Schlaggar BL (2011) Functional network organization of the human brain. Neuron 72(4):665–678View ArticleGoogle Scholar
 Reichardt J, Bornholdt S (2006) Statistical mechanics of community detection. Phys Rev E 74(1):016110MathSciNetView ArticleGoogle Scholar
 Repovs G, Csernansky JG, Barch DM (2011) Brain network connectivity in individuals with schizophrenia and their siblings. Biol Psychiatry 69(10):967–973View ArticleGoogle Scholar
 Rocklin M, Pinar A (2013) On clustering on graphs with multiple edge types. Internet Math 9(1):82–112MathSciNetView ArticleMATHGoogle Scholar
 Rosvall M, Bergstrom CT (2008) Maps of random walks on complex networks reveal community structure. Proc Natl Acad Sci 105(4):1118–1123View ArticleGoogle Scholar
 SánchezGarcía RJ, Cozzo E, Moreno Y (2014) Dimensionality reduction and spectral properties of multilayer networks. Phys Rev E 89(5):052815View ArticleGoogle Scholar
 Sharma A, Campbell J, Cardon G (2015) Developmental and crossmodal plasticity in deafness: evidence from the p1 and n1 event related potentials in cochlear implanted children. Int J Psychophysiol 95(2):135–144View ArticleGoogle Scholar
 Strogatz SH (2001) Exploring complex networks. Nature 410(6825):268–276View ArticleGoogle Scholar
 Szell M, Lambiotte R, Thurner S (2010) Multirelational organization of largescale social networks in an online world. Proc Natl Acad Sci 107(31):13636–13641View ArticleGoogle Scholar
 Tang L, Wang X, Liu H (2010) Community detection in multidimensional networks. Technical report. DTIC DocumentGoogle Scholar
 VallesCatala T, Massucci FA, Guimera R, SalesPardo M (2014) Multilayer stochastic block models reveal the multilayer structure of complex networks. arXiv preprint arXiv:1411.1098
 Verbrugge LM (1979) Multiplexity in adult friendships. Soc Forces 57(4):1286–1309View ArticleGoogle Scholar
 Vickers M, Chan S (1981) Representing classroom social structure. Victoria Institute of Secondary Education, MelbourneGoogle Scholar
 Wasserman S, Faust K (1994) Social network analysis: methods and applications, vol 8. Cambridge University Press, CambridgeView ArticleMATHGoogle Scholar
 Wu FY (1982) The potts model. Rev Mod Phys 54(1):235MathSciNetView ArticleGoogle Scholar
 Yang B, Cheung WK, Liu J (2007) Community mining from signed social networks. IEEE Trans Knowl Data Eng 19(10):1333–1348View ArticleGoogle Scholar
 Zachary WW (1977) An information flow model for conflict and fission in small groups. J Anthropol Res 33:452–473View ArticleGoogle Scholar
 Zhang T, Xu P, Guo L, Chen R, Zhang R, He H, Xie Q, Liu T, Luo C, Yao D (2015) Multivariate empirical mode decomposition based subfrequency bands analysis of the default mode network: a restingstate fMRI data study. Appl Inform 2(1):1–11View ArticleGoogle Scholar
 Zhang Y, Chen H, Long Z, Cui Q, Chen H (2016) Altered effective connectivity network of the thalamus in posttraumatic stress disorder: a restingstate fMRI study with granger causality method. Appl Inform 3(1):1–8View ArticleGoogle Scholar