Open AccessArticle

Post-Processing Partitions to Identify Domains of Modularity Optimization

William H. Weir

^1,2,*

Scott Emmons

Ryan Gibson

¹,

Dane Taylor

and

Peter J. Mucha

^1,2

Carolina Center for Interdisciplinary Applied Mathematics, Department of Mathematics, University of North Carolina, Chapel Hill, NC 27599, USA

Curriculum in Bioinformatics and Computational Biology, University of North Carolina, Chapel Hill, NC 27599, USA

Author to whom correspondence should be addressed.

Algorithms 2017, 10(3), 93; https://doi.org/10.3390/a10030093

Submission received: 5 June 2017 / Revised: 24 July 2017 / Accepted: 15 August 2017 / Published: 19 August 2017

(This article belongs to the Special Issue Algorithms for Community Detection in Complex Networks)

Download

Browse Figures

Versions Notes

Abstract

We introduce the Convex Hull of Admissible Modularity Partitions (CHAMP) algorithm to prune and prioritize different network community structures identified across multiple runs of possibly various computational heuristics. Given a set of partitions, CHAMP identifies the domain of modularity optimization for each partition—i.e., the parameter-space domain where it has the largest modularity relative to the input set—discarding partitions with empty domains to obtain the subset of partitions that are “admissible” candidate community structures that remain potentially optimal over indicated parameter domains. Importantly, CHAMP can be used for multi-dimensional parameter spaces, such as those for multilayer networks where one includes a resolution parameter and interlayer coupling. Using the results from CHAMP, a user can more appropriately select robust community structures by observing the sizes of domains of optimization and the pairwise comparisons between partitions in the admissible subset. We demonstrate the utility of CHAMP with several example networks. In these examples, CHAMP focuses attention onto pruned subsets of admissible partitions that are 20-to-1785 times smaller than the sets of unique partitions obtained by community detection heuristics that were input into CHAMP.

Keywords:

networks; community detection; modularity; resolution parameter; multilayer networks

1. Introduction

Networks are a natural and powerful representation for relational data, providing access to a large repertoire of analytic tools that may be leveraged to better understand the underlying data in numerous applications. Among the many popular methods developed throughout social network analysis and network science, community detection provides a valuable vehicle for exploring, visualizing, and modeling network data. The identification and characterization of community structures also highlights subgraphs that may be of special interest, depending on the application. Many methods for community detection are available and have been employed meaningfully in applications (see, e.g., reviews [1,2,3,4,5,6]).

Some of the most heavily used computational heuristics for finding communities involve optimizing a quantity known as modularity, which was introduced by Newman and Girvan [7] and measures the total weight of within-community edges relative to the expected weight in a corresponding “null-model” random graph. For (possibly weighted) undirected networks that are compared to the configuration null model, modularity is given by [7]

Q (γ) = \frac{1}{2 m} \sum_{i, j} (A_{i j} - γ \frac{k_{i} k_{j}}{2 m}) δ (c_{i}, c_{j}),

(1)

where

A_{i j}

are the elements of the adjacency matrix describing the presence (and possibly weights) of edges between nodes i and j,

k_{i} = \sum_{j} A_{i j}

is the strength (weighted degree) of node i,

m = \frac{1}{2} \sum_{i} k_{i}

is the total edge weight,

c_{i}

indexes the community to which node i has been assigned,

δ (c_{i}, c_{j}) = 1

c_{i} = c_{j}

and 0 otherwise, and

γ

is a resolution parameter introduced by Reichardt and Bornholdt [8] to influence the number and sizes of communities obtained, whereas

γ = 1

in the original formulation [7]. Tuning the resolution parameter

γ

can reveal community structures at multiple scales, which offers one strategy to overcome the “resolution limit” of modularity [9] wherein small communities in sufficiently large networks cannot be detected via Equation (1) given fixed

γ

. See also [10,11] for an alternative approach for resolving multiple scales.

Formulae analogous to Equation (1) exist to define modularity for a variety of other network types, including directed [12], bipartite [13], signed [14,15] and multilayer networks [16], with corresponding replacements for the

\frac{k_{i} k_{j}}{2 m}

term to account for the expected weights under different null models. Motivating our present contribution, some of these models introduce additional parameters beyond the resolution parameter

γ

. We emphasize that throughout this work we will use the term “modularity” in its broadest sense to include any of these generalizations as applied appropriately to a given data set. Such generalizations include the use of resolution parameter

γ

, multiple resolution parameters for signed networks, and including one or more interlayer-coupling parameters for multilayer networks. Regardless of the network type, the primary goal in modularity maximization is to determine the community labels

{c_{i}}

that maximize Q. Finding the partition with a guarantee of globally optimizing modularity is not computationally feasible except in the smallest networks [17], and there may be many nearly-optimal partitions [18].

It is worth noting that in initial exploration of a new data set, there is no a priori notion of what constitutes a “good” value of Q. Furthermore, real community structures may be more complex than those describable by a hard partition of nodes into communities, which fails to account for overlapping communities and insists on assigning every node to a community.

Even with its problems, maximizing modularity remains a highly-used method for community detection, with many software packages available, some of which are computationally very efficient in practice. Moreover, maximizing modularity is one of the few approaches for community detection in networks that has been extended in a principled way [16] to multilayer networks [19], though we also call attention to the multilayer extension [20] of Infomap [21] and recent developments extending stochastic block models [SBMs] to multilayer networks (see [22,23,24] and, for a general update of developments in SBMs, [4]). While multilayer modularity provides a means for community detection in multilayer networks using many of the same heuristics and applying some of the same conventional wisdom developed for single-layer networks, the generalization admits at least one more parameter to control the contribution of interlayer connections to modularity relative to that from intralayer connections, e.g., the interlayer coupling

ω

in [16]. The same multilayer modularity framework can be applied generally to include multiple interlayer coupling parameters controlling the relative contributions of different parts of the multilayer structure, e.g., for data that is both temporal and multiplex. As such, multilayer modularity requires exploring a two-dimensional parameter space in its simplest setting, and higher dimensions in more general cases. For present purposes, we will here only explicitly consider the case of a single interlayer coupling parameter

ω

in Section 2.1 and Section 3.4; but this does not put constraints on the coupling topology or relative values, only that there is some selected interlayer coupling tensor that is multiplied by

ω

. Meanwhile, the approach we develop here can be naturally generalized to higher dimensions.

Identifying appropriate values for parameter

γ

(and in the multilayer setting,

ω

) involves running one or more heuristics at various parameter values and comparing the results. Because identifying globally optimal community structure is computationally intractable (both for modularity and most other approaches), these algorithms are usually run stochastically or with random initial conditions to account for entrapment in local extrema. The possibly different community structures found by computational heuristics at a particular

γ

parameter point [

(γ, ω)

for multilayer networks] are then typically assessed only at that point before moving on to generate results at other parameter values. For instance, one might select the partition with greatest modularity found at that specific value of

γ

or measure some statistic over the partitions that were generated at that

γ

(see, e.g., [25]). In order to determine whether the obtained community structures are “robust” to the

γ

selection in any sense, one might look for stable plateaus in the number of communities (see, e.g., [11,26,27,28]), consider another metric such as significance [29], directly visualize the different community assignments across parameters (as in [28,30]), or compare obtained communities with other generally-acceptable labels by some measure such as pairwise counting scores (see, e.g., the discussion in [31]) or information-theoretic measures like Variation of Information [32] and Normalized Mutual Information [33]. A more computationally-demanding approach that directly attacks the problem that there is no a priori notion of what constitutes a “good” value of modularity is to compare the obtained best modularity at each

γ

with the distribution of modularities obtained by running community detection across some selected random-graph model, either on realizations from a model or from permutations of the data, repeating this process at different

γ

to identify parameter values where the obtained communities are strongest relative to the random cases [34]. Additionally, one may use a given set of partitions to generate a new partition by ensemble learning [35] or consensus clustering [34,36].

Importantly, in each of these approaches for exploring the parameter space, the optimal partitions associated with each

γ

value are typically computed independently of those at other

γ

values [and, again, in the multilayer case,

(γ, ω)

]. Variation in the structure of these partitions and their corresponding modularity can arise from both adjusting the input parameters and importantly, from the stochasticity of the algorithm itself. Often, for close enough values of

γ

, the variation in modularity of identified partitions is driven more by the stochasticity of the algorithm rather than the difference in the value of

γ

. Because of this independent treatment of the results from different

γ

values, a large amount of information that might be useful for further assessing the quality of the obtained partitions is typically thrown away. We propose a different approach, which we call CHAMP, that uses the union of all computed partitions to identify the Convex Hull of Admissible Modularity Partitions in the parameter space. CHAMP identifies the domains of optimality across a set of partitions by ignoring the

γ

that was used to compute each partition, finding instead the full domain in

γ

for which each partition is optimal relative to the rest of the input partitions (hereafter, we always use the word “optimal” in this restricted sense relative to the set of partitions at hand). Visualizing the geometry of this identification process, each partition is represented as a line in

(γ, Q)

for single-layer networks, and as a plane in the

(γ, ω, Q)

space in the multilayer case with a single interlayer coupling parameter

ω

. We find the intersection of the half-spaces above the linear subspaces by computing the convex hull of the dual problem. By identifying the convex hull of the dual problem, we prune that set of partitions to the subset wherein each partition has at least some non-empty domain in the parameter space over which it is has the highest modularity. This pruned subset contains all of the partitions admitted through the dual convex hull calculation. Visually, plotting Q as a function of the parameters, the pruned subset is that which remains in the upper envelope of Q, so that each partition appears along the boundary of the convex space above the envelope in the domain where it provides the optimal Q relative to the input set. The partitions removed by CHAMP do not provide optimal Q for any range of parameters. Meanwhile, the partitions that remain in the pruned set are ‘admissible’ candidates for the true but unknown upper envelope of Q; that is, each of these ‘admissible’ partitions corresponds to some non-empty parameter domain of optimality relative to the input set of partitions. We propose an algorithm to find this convex intersection of half-spaces for single-layer networks and demonstrate its ability to greatly reduce the number of partitions under consideration. We also propose an algorithm for mapping out the two-dimensional

(γ, ω)

domains of optimal modularity for multilayer networks in terms of the dual convex hull problem.

The rest of this paper is organized as follows. We first define the CHAMP algorithm in Section 2. We then apply CHAMP to example networks in Section 3, including several, single-layer examples with resolution parameter

γ

and a multilayer network with a

(γ, ω)

parameter space (Section 3.4, with additional figures in the Appendix). We conclude with a brief Discussion (Section 4).

2. The CHAMP Algorithm (Convex Hull of Admissible Modularity Partitions)

Consider a set of

Σ > 0

unique network partitions encoded by the node community assignments

{c_{i σ}}

with

σ \in {1, \dots, Σ}

. By construction,

δ (c_{i σ}, c_{j σ}) = 1

if nodes i and j are in the same community in partition

σ

(i.e.,

c_{i σ} = c_{j σ}

), and 0 otherwise. Let

Q_{σ} (γ)

denote the value of Equation (1) for given

γ

under partition

σ

. Ignoring the constant multiplicative factor in front of the summation (alternatively, absorbing that factor into the normalization of

A_{i j}

and

P_{i j}

), Equation (1) can be written as

\begin{matrix} Q_{σ} (γ) & = \sum_{i, j} (A_{i j} - γ P_{i j}) δ (c_{i σ}, c_{j σ}) \\ = \sum_{i, j} A_{i j} δ (c_{i σ}, c_{j σ}) - γ \sum_{i, j} P_{i j} δ (c_{i σ}, c_{j σ}) \\ = {\hat{A}}_{σ} - γ {\hat{P}}_{σ} \end{matrix}

(2)

where the quantities

{\hat{A}}_{σ}

and

{\hat{P}}_{σ}

are the respective within-community sums over

A_{i j}

and

P_{i j}

for partition

σ

. Importantly,

{\hat{A}}_{σ}

and

{\hat{P}}_{σ}

are scalars that depend only on the network data (i.e., A), null model (i.e.,

P)

, and partition

σ

. Thus, for a given partition

σ

, Equation (2) is a linear function of

γ

, which can be visualized as a line in the

(γ, Q)

plane. (See Figure 1B in Section 3.1 for an illustration of lines

{Q_{σ} (γ)}

for several partitions of the 2000 NCAA Division I-A college football network [37,38].)

We now compare the partitions’ modularity lines

{Q_{σ} (γ)}

, seeking to identify the optimal partitions that yield the largest modularity values across the

γ

values—that is, the upper-envelope boundary

{Q_{σ} (γ)}

for the set. We will additionally obtain

γ

-domains over which a given partition is optimal (discarding partitions that are never optimal). Given a finite set of partitions

{σ}

, the coefficients

{\hat{A}}_{σ}

and

{\hat{P}}_{σ}

can be computed individually, independent of how those partitions were obtained. Therefore, a given value of

γ

admits an optimal partition

σ^{*}

corresponding to the maximum

Q_{σ^{*}} (γ) \geq Q_{σ} (γ)

from the given set of partitions

{σ}

. At most values of

γ

, only a single partition provides the maximum (i.e., “dominant”) modularity. When two partitions

σ

and

σ^{'}

correspond to identical modularity values [i.e.,

Q_{σ} (γ) = Q_{σ^{'}} (γ)

], it is typically because this is the unique intersection of the two corresponding lines. (It is possible to have the case where two different partitions have identical

{\hat{A}}_{σ}

and

{\hat{P}}_{σ}

coefficients, and thus have equal

Q_{σ} (γ)

for all

γ

; but in practice we have not observed this situation in our examples. We hereafter ignore this possibility; but if it were to occur in practice, it merely indicates two partitions of equal merit, in the sense of modularity, across all scales.) For a pair of partitions

σ

and

σ^{'}

, the intersection point

(γ_{σ σ^{'}}, Q_{σ σ^{'}})

indicates the resolution

γ_{σ σ^{'}}

at which one partition becomes more (less) optimal over the other with increasing (decreasing)

γ

. That is, one partition dominates when

γ < γ_{σ σ^{'}}

, while the other dominates when

γ > γ_{σ σ^{'}}

. It immediately follows that the

γ

-domain of optimality for a partition must be simply connected. (We note that in higher dimensions, such as for signed or multilayer networks, the same linearity requires that domains of optimality must be convex [16].)

We leverage these intersections to efficiently identify the upper envelope of modularity for a given set of partitions, and the corresponding dominant partitions (relative to the set) for all

γ \geq 0

as follows. Starting at

γ_{0} = 0

, the partition with maximum

{\hat{A}}_{σ}

is optimal. For networks with a single connected component, this partition is a single community containing all nodes; for multiple disconnected components, any union of connected components gives the same

{\hat{A}}_{σ}

, but we select the partition wherein each separate component defines a community. Denoting the optimal partition at

γ_{0}

σ_{0}^{*}

, we calculate the intersection points

{γ_{σ_{0}^{*} σ}}

with the other partitions

{σ}

where

Q_{σ_{0}^{*}} (γ) = Q_{σ} (γ)

. Substituting Equation (2) into this constraint yields

γ_{σ_{p}^{*} σ} = \frac{{\hat{A}}_{σ_{p}^{*}} - {\hat{A}}_{σ}}{{\hat{P}}_{σ_{p}^{*}} - {\hat{P}}_{σ}},

(3)

where

p \geq 0

for generality. Starting with partition

σ_{p}^{*}

for

p = 0

, we identify the smallest intersection point

γ_{σ_{p}^{*} σ} > γ_{p}

, which we define as

γ_{p + 1}

. We denote the associated partition by

σ_{p + 1}^{*}

. That is, partition

σ_{p}^{*}

is optimal for the

γ

-domain

γ \in [γ_{p}, γ_{p + 1})

, above which partition

σ_{p + 1}^{*}

becomes optimal. In the unlikely event that multiple partitions are associated with the

γ_{p + 1}

intersection point, the one with smallest

{\hat{P}}_{σ}

becomes

σ_{p + 1}^{*}

. Setting p to

p + 1

, we iteratively repeat this process until there are no intersections points satisfying

γ_{σ_{p}^{*} σ} > γ_{p}

. We thus obtain an ordered sequences of optimal partitions,

{σ_{p}^{*}}

, and intersection points

{γ_{p}}

for

p = 0, 1, \dots

. The optimal modularity curve for

γ > 0

, given by the upper envelope of the set

{Q_{σ} (γ)}

, is then given by the piecewise linear function

\begin{matrix} \tilde{Q} (γ) & = Q_{σ_{p}^{*}} (γ), γ \in [γ_{p}, γ_{p + 1}) . \end{matrix}

(4)

Of course, this procedure can be started at any selected

γ

of interest, and the analogous procedure for identifying intersections for decreasing

γ

could be used to obtain the upper envelope for

γ < 0

; but in practice here we restrict our attention to

γ \geq 0

2.1. MultiLayer Networks and Qhull

As noted previously, modularity has also been extended to multilayer networks [16], for detecting communities across layers in a way that respects the disparate nature of intralayer v. interlayer edges. In order to keep our notation as simple as possible, here we let each node in a layer be indexed by a single subscript, i or j. (See [19,39] for broader discussion about different notations and their advantages.) The formulation developed in [16] is then written as follows for the case of a single intralayer coupling parameter with general intralayer null models and interlayer connectivity (again, ignoring multiplicative prefactors in the definition of modularity):

Q (γ, ω) = \sum_{i, j} (A_{i j} - γ P_{i j} + ω C_{i j}) δ (c_{i}, c_{j})

(5)

where

A_{i j}

P_{i j}

, and

C_{i j}

represent the (possibly weighted) edges, null model, and interlayer connections, respectively, between the node-in-a-layer indexed by i and that indexed by j; and

c_{i}

indicates the community assignment. For example, in the ‘supra-adjacency’ representation of a simple multilayer network of multislice type where the same N nodes appear in each of L layers, one might order the indices so that

i \in {1, \dots, N}

corresponds to the first layer,

i \in {N + 1, \dots, 2 N}

corresponds to the second layer, and so on. To emphasize that the formulation of CHAMP is independent of the details of the multilayer network under study, we note here that the only distinction used presently is that

A_{i j}

encodes all of the edges,

P_{i j}

specifies the within-layer null model contributions, and

C_{i j}

describes the known interlayer connections. The key fact here is that

P_{i j}

and

C_{i j}

make distinct contributions to multilayer modularity, as controlled by two different parameters,

γ

and

ω

. As such, we need to extend CHAMP to simultaneously address both parameters. We will not assume anything here about the values or the topology of the elements of

C_{i j}

, only that the role of these interlayer connections in determining multilayer modularity is controlled by a single interlayer coupling parameter,

ω

. Larger values of

ω

promote partitions with larger total within-community interlayer weight, encouraging the identification of partitions with greater spanning across layers (for a detailed analysis of behavior across

ω

, see [40]). We use the GenLouvain [41] generalized implementation of the Louvain [42] heuristic to identify partitions at selected

(γ, ω)

parameter values in the multilayer network example in Section 3.4.

Coupling the communities across layers is conceptually intuitive. Unfortunately, introduction of the additional parameter,

ω

makes the previous methods for parameter selection via visual inspection difficult to employ in practice and would seem to greatly complicate the challenge of selecting good values of the parameters. (See [34] for one approach to addressing this challenge.)

However, because the multilayer modularity function is linear in the parameters

γ

and

ω

, we can again apply the general approach of CHAMP, albeit now in a larger dimensional parameter space. For each partition

σ

, we again define the scalar quantities

{\hat{A}}_{σ}

and

{\hat{P}}_{σ}

to be the within-community sums over the adjacency matrix and null model, respectively, and now include a similar sum over the interlayer connections,

{\hat{C}}_{σ}

{\hat{A}}_{σ} = \sum_{i, j} A_{i j} δ (c_{i σ}, c_{j σ}), {\hat{P}}_{σ} = \sum_{i, j} P_{i j} δ (c_{i σ}, c_{j σ}), {\hat{C}}_{σ} = \sum_{i, j} C_{i j} δ (c_{i σ}, c_{j σ}) .

(6)

In this notation, the multilayer modularity of partition

σ

becomes simply

Q_{σ} (γ, ω) = {\hat{A}}_{σ} - γ {\hat{P}}_{σ} + ω {\hat{C}}_{σ} .

(7)

Thus, the partition

σ

is represented by the plane

Q_{σ}

(γ, ω, Q)

. Analogous to the single-layer case, each point in the two-dimensional

(γ, ω)

parameter space admits an optimal

Q_{σ^{*}}

Given a set of partitions

{σ}

, CHAMP calculates the coefficients of the

Q_{σ} (γ, ω)

planes in Equation (7) and solves a convex hull problem to find the convex intersection of the half-spaces above these partition-representing planes. That is, each partition is represented by a plane dividing

(γ, ω, Q)

in two, thereby defining a half-space. The intersection of the half-spaces above all of these planes is the convex space of

Q (γ, ω)

values greater or equal to all observed quality values, with the boundary specifying the maximum modularity surface of the set. In single-layer networks, we considered ordered

γ \geq 0

and iteratively identified the next intersection and associated partition for increasing

γ

. In the presence of multiple parameter dimensions here, we instead apply the Qhull implementation [43,44] of Quickhull [45] to solve the dual convex hull problem. In practice, multiple partitions of the network can be identified in parallel, calculating and saving each set of

\hat{A}

\hat{P}

, and

\hat{C}

coefficients. These coefficients defining the planes are then input into Qhull. CHAMP thereby prunes

{σ}

to the subset admitted to the convex hull and identifies the convex polygonal domain in

(γ, ω)

where each partition is optimal (relative to

{σ}

We note that in practice the runtime for finding the pruned subset of admissible partitions and associated domains of optimality is typically insignificant compared to that of identifying the input set of partitions in the first place. In particular, computing the scalar coefficients of the linear subspace of each partition is a direct

O (M)

calculation for M edges in the network. Meanwhile, the subsequent convex hull problem has no explicit dependence on the network size, depending instead on the number of partitions in the input set.

While we assume here that there is a single interlayer coupling parameter

ω

, we emphasize again that we do not restrict ourselves here to a particular form of the interlayer coupling, which might connect nearest-neighbor layers, all-to-all layers, connect only some nodes in one layer to those in another, and might have multiple different weights along different interlayer edges. Rather, we only require here that there is some selected interlayer coupling tensor C that is multiplied by

ω

Even more complicated interlayer couplings with multiple parameters (e.g., data that is both multiplex and temporal with the freedom to vary the relative weights between these couplings) can in principle be treated analogous to the above in the appropriate higher-dimensional space. With the notation

\vec{γ} = (γ, ω)

and

{\hat{P}}_{σ} = ({\hat{P}}_{σ}, - {\hat{C}}_{σ})

, we can write Equation (7) as

Q_{σ} (\vec{γ}) = {\hat{A}}_{σ} - \vec{γ} \cdot {\hat{P}}_{σ}

, specifying linear subspaces of codimension one in higher-dimensional parameter spaces, given appropriate definitions of

\vec{γ}

and

{\hat{P}}_{σ}

. However, we do not go beyond two parameters

(γ, ω)

in our example results here.

For convenience we have implemented and distributed a python package for running and visualizing both the single layer and multilayer CHAMP found at [46].

3. Results

We explore the results of running CHAMP on community structures found in various network data sets. In Section 3.1, we consider a network of NCAA Division I-A college football teams from the 2000 season [37,38]. We then look at results of applying CHAMP to a Human Protein Reactome (Section 3.2) and a Caltech Facebook network [31] (Section 3.3). All three of these undirected networks are studied using the Newman-Girvan null model with a resolution parameter as in Equation (1). Finally, in Section 3.4 we apply CHAMP to communities found using the multilayer generalization of modularity in the multilayer network of roll call similarities across time, where each layer is a different two-year Congress [16].

For each example, we input into CHAMP a set of partitions identified by the Louvain heuristic [42], as implemented by [47] for our three single-layer examples and by GenLouvain [41] for our multilayer example. Because of the modest sizes of these example networks, we perform large numbers of runs of the heuristic (between 20,000 and 240,000, as indicated for each example). Each run of the heuristic is performed at a resolution parameter

γ

(including also a parameter

ω

in the multilayer example) selected uniformly from a preselected range of the parameter, as indicated for each example. Node indices were randomly permuted for each run to ensure different order of considering nodes in the heuristic, to allow for possibly different partitions to be found at identical parameters. CHAMP makes no requirement that so many partitions be generated, nor about the way in which those partitions were generated, assuming only that multiple partitions have been obtained by one means or another. CHAMP then prunes the input partitions down to the admissible subset; as such, the overall quality of the final subset of course depends on the input set. In practice, one’s tolerance for the computational burden will be dictated by the cost of running the community detection heuristics employed on the network of interest. Once the input set of partitions is identified, CHAMP reduces each partition to its scalar coefficients—

{\hat{A}}_{σ}

{\hat{P}}_{σ}

, and for multilayer networks,

{\hat{C}}_{σ}

—and then prunes down to the admissible subset in a trivial additional computational cost relative to that already expended to obtain that input set.

3.1. NCAA Division I-A College Football Network

Figure 1A visualizes a computational scan of the

γ

resolution domain for the Division I-A college football network of 115 nodes representing teams and 613 (unweighted) edges representing that at least one game was played between two teams. Additionally, each team has a label identifying its athletic conference, a subgroup of teams that generally share a geographic region and compete for a conference championship. One would expect that a good partition of the network reflects the conference structure.

For input to CHAMP, we ran the Louvain heuristic [42,47] 50,000 times on the network. The modularity and number of communities found for each run is plotted at the

γ

resolution parameter used, which were uniformly spaced on

γ \in [0, 6]

. We observe in particular the wide range of

γ

over which one finds 12-community partitions, but note that the range also includes results with other numbers of communities, with ambiguity about which partition is the better choice.

By considering each partition as a line over the full domain of

γ

as shown in Figure 1B, we find the set of lines that form the convex hull of all the modularity functions and the intervals in which each partition is optimal, indicated by the red step function in Figure 1A, with the steps at the transition values of

γ

indicated by blue triangles in Figure 1B. These 50,000 runs of the heuristic generated 384 unique partitions, with the average run time for each cycle of the Louvain heuristic was 0.02 s. After application of CHAMP, there were only 19 partitions in the pruned admissible subset associated with the original parameter search space (

γ \in [0, 6]

). Moreover, CHAMP identifies a wide

γ

-domain of optimality of the 12-community partition, running from

γ ≐ 1.45

to just below 4.

Throughout the paper, we use an information theoretic metric to assess how much the partitions are varying across the dominant domains. Mutual information (see also normalized mutual information [33]) quantifies the decrease in entropy for one random variable that comes from knowing the value of a second random variable. Here the two random variables are discrete, community labels on the nodes. If two partitions are highly similar, knowledge of the community label of node i in the first partition drastically reduces the uncertainty of the label of node i in the second partition. In this paper, we use a more stringent, normalized version of the metric introduced by Vinh et al. [48] called Adjusted Mutual Information (AMI),

A M I (X, Y) = \frac{M I (X, Y) - E (M I (X, Y))}{max (H (X), H (Y)) - E (M I (X, Y))},

(8)

where

M I (X, Y)

is the mutual information between random variables X and Y and

H (X)

is the entropy of the random variable X. The expected value,

E (M I (X, Y))

, is calculated over random partitions sampled from a hypergeometric null distribution (see [48] for details). The AMI between two partitions equals 1 to indicate perfect concordance, with the value 0 representing alignment no better than random. There are various other clustering and label prediction metrics that could also be used, including pairwise counting scores such as Adjusted Rand Index (ARI) [49] (see also the discussion in [31]), Variation of Information (VI) [32,50], and

F_{1}

-score [51].

This 12-community partition, visualized in Figure 2B, aligns very closely with the conference labels of the teams as measured by Adjusted Mutual Information (AMI

≐ 0.92

). Further increasing

γ

, we see this 12-community partition domain is followed immediately by a smaller (but still sizeable) domain of optimality for a 13-community partition. Note that while partitions with 11 communities are repeatedly returned by the heuristic, CHAMP indicates the corresponding domain of optimal

γ

to be quite small.

Figure 2A shows the pairwise adjusted mutual information (AMI) of the admissible partitions, as organized by their domains of optimality. That is, the large white blocks on the diagonal of the figure are

AMI = 1

agreement between each partition and itself. In particular, we observe that the 12-community partition (visualized in Figure 2B) is fairly similar to the next few partitions in increasing

γ

, suggesting stability of some main features as communities break up into smaller communities with increasing

γ

. At lower values of

γ < 1

, we see another possible grouping of domains with reasonable pairwise AMI to one another but who have much lower AMI with the partitions found at higher

γ

. These partitions could represent additional large-scale network structure.

3.2. Human Protein Reactome Network

We employed CHAMP to map the domains of modularity optimization for a larger example: the undirected (single-layer) network representation of the Human Protein Reactome [54,55], with 6327 nodes representing human proteins and 147,547 edges signifying common biological reactions. We ran the Louvain heuristic 20,000 times on this network with

γ \in [0, 4]

uniformly spaced, generating 19,980 unique partitions. For this example, each run of Louvain required an average of 2.6 s, generating the input set of partitions in approximately 140 CPU hours. CHAMP pruned this input set of partitions down to 39 admissible partitions in the convex hull over the original parameter search space (

γ \in [0, 4]

). Similar to the figures of the previous example, Figure 3A shows the spread in the modularities and the numbers of communities identified across all instances of the heuristic, along with the domains of optimization and the number of communities for the admissible subset (see the red step function).

Contrasting Figure 1A and Figure 3A, we observe in the latter that the red step function decreases with increasing

γ

at some points. Importantly, these decreases are not because of our choice to plot the number of communities that contain at least 5 nodes. The numbers of communities is provably monotonically non-decreasing with increasing resolution parameter in the special case where the null model

P_{i j} = γ

is a constant independent of i and j [29], but we are unaware of any similarly rigorous condition for the Newman-Girvan null model used in Equation (1). Nevertheless, one typically observes the number of communities to be non-decreasing with increasing

γ

, so the results here may indicate values of the resolution parameter near which additional runs of the heuristic might be more likely to identify higher quality partitions.

The number of communities in the initial set of partitions is highly variable, even for small adjustments in

γ

, as shown by the yellow triangles in Figure 3A. It would be difficult to extract any range of stability from such a plot. However, when we consider the admissible subset of partitions, we see a few wide domains of optimality in the figure, the two most prominent being

γ \in [0.77, 1.17]

and

γ \in [2.62, 3.11]

. Layouts of the network colored according to the partitions of these two broadest domains are shown in Figure 4. The pairwise AMI of the admissible partitions are shown in Figure 3B. Unlike the college football network, where pairwise AMI appears to indicate two well separated groups of highly similar partitions, the communities here appear to be diffusely similar throughout. Partitions of adjacent domains are fairly similar but there is no clear divide into groups of partitions.

3.3. Caltech Facebook Network

As a final single-layer example, we considered the undirected network of Facebook friendships for students at Caltech in September of 2005 [31], the largest connected component of which includes 762 nodes representing Facebook users and 16,651 unweighted edges representing reciprocal friendships.

We used the Louvain algorithm

100, 000

times on

γ \in [0, 4]

uniformly spaced, generating

91, 080

unique partitions. CHAMP pruned this set down to 51 partitions with associated

γ

-domains of optimality in the original parameter search space (

γ \in [0, 4]

). That is, the number of partitions in the pruned subset is 1785 times smaller than that in the set of unique partitions found by our Louvain runs that were input into CHAMP. Each run of Louvain on the Caltech Facebook network required around 0.8 s with all runs representing approximately 20 CPU hours. This output from CHAMP, visualized in Figure 5A, does not indicate the same wide domains of optimality for the community structures in this network as with the previous two examples. The pie-chart visualization within Figure 5A corresponds to one of the wider domains here narrowly straddling the default

γ = 1

value. This community structure is reasonably well aligned with the House System at Caltech (see also the associated discussion in [31]). At higher values of

γ

, we expect that the scales of the communities will be subgroups within the Houses. We observe that some of the wider plateaus in the numbers of communities in the figure correspond to multiple different partitions with the same numbers of communities (note the transition values indicated by blue triangles).

3.4. U.S. Senate Roll Call Voting Network

We demonstrate the use of CHAMP to explore the parameter space for a multilayer network using the roll-call-voting similarity network for the U.S. Senate from 1789 to 2008 (Congresses 1 to 110) as defined in [56] and studied with multilayer modularity in [16,57]. This data represents the similarities of voting patterns within each two-year Congress between the 1884 distinct U.S. Senators who served across the first 110 Congresses. As in [16,57], each two-year Congress starting in the early January following the biennial Congressional elections is represented as a layer, with interlayer connections only between the multiple appearances of each Senator when they appear in nearest-neighbor layers; as such, multilayer modularity directly handles additions and removals of Senators over time. Self-loops within each layer are zeroed out, since these only represent perfect agreement of a Senator with herself during the same two-year period. This representation of the voting data is useful for describing legislative voting activity because the community structures typically group together Senators who vote similarly, providing relatively accessible and intuitive examples of communities that are related to the underlying political alignments as expressed by the Senators through voting, independent of their nominally declared party affiliations. The temporal extents of the communities found by multilayer modularity can then indicate different periods of stability in these political alignments.

We ran the GenLouvain [41] heuristic 240,000 times, on a 600-by-400 uniform grid over

[0.3, 2] \times [0, 2]

(γ, ω)

, generating 197,879 unique partitions of the network. Each run of GenLouvain required approximately 5 s for a total of 340 hours of CPU time. CHAMP pruned this set to 1447 partitions admissible in the convex hull of modularity. We note that there were 267 additional partitions with corresponding domains of optimality that were completely outside the selected parameter range

[0.3, 2] \times [0, 2]

. In Figure 6 we visualize the

(γ, ω)

-domains of optimality within this region of parameter space. In Figure 6A, a domain’s color indicates the numbers of communities for its corresponding optimal partition, whereas in Figure 6B domain color indicates the average AMI between the corresponding partition and the neighboring optimal partitions (weighted by the lengths of borders between domains).

The trivial 1-community partition dominates the left of the panels in Figure 6 at small

γ

. Increasing

γ

outside of this domain, most of the (non-trivial) domains here appear to be relatively long in the

ω

direction and much narrower in

γ

. Interestingly, we observe a range of

γ

from roughly 0.8 to just above 1 where the domains visually widen in the

γ

direction while also corresponding to a smaller number of communities than partitions below

γ \approx 0.8

. Near

ω = 1

, the widths in

γ

of the domains appear larger than those at smaller

ω

, suggesting perhaps that the stability of identified communities is being enhanced by coupling between the layers. As

γ

increases only slightly past 1, the number of communities in each partition rapidly increases, with the majority of partitions past

γ = 1.2

having over 100 communities. At the lower right corner we see the domains are small and highly fragmented in both the

γ

and

ω

directions.

We also aim to identify parameter regions corresponding to similar partitions. For single-layer networks, we directly visualized the whole set of pairwise AMI’s ordered by

γ

. Given two parameters here, we calculate the weighted average AMI of each partition with its neighbors, with weight proportional to the length of the border with the neighboring domain along which the two partitions have the same value of multilayer modularity. The resulting neighbor-averaged AMI of each partition is shown by color in Figure 6B. We again observe at least three distinct regions of high pairwise similarity, separated by much lower neighbor-averaged AMI, aligned with the different regions in Figure 6A discussed above: (1) the region below

γ \approx 0.8

; (2) the region just below

γ = 1

, with particularly high neighbor-averaged AMI for

ω \in [0.6, 0.9]

; and (3) the many-community partitions for

γ > 1.2

Indeed, we see a shift in the types of partitions with increasing

γ

across this

γ \approx 0.8

transition boundary. The qualitative difference in community structure between these regions is demonstrated in Figure 7, highlighting in Figure 6A the two partitions labeled 5.1 (Figure 7A) and 8.1 (Figure 7C). Recall, that these are the partitions with the largest domains of optimality with 5 and with 8 communities, respectively. Most of the Congress layers in the 8-community partition include only a single community label per Congress (see Figure 7D). In contrast, the 5-community partition divides the Senators both across time and within each Congress, typically into 2 communities in each Congress. These intralayer divisions that extend across time are additionally highlighted by the individual Senator layout in Figure 7A showing distinct branches, because the Senators have been sorted here first by community label and then, within each community by time. Layouts for the other domains labeled in white in Figure 6A further demonstrate qualitatively similar patterns, as shown in Appendix A.

In Figure 8, we again visualize the domains of optimality in the

(γ, ω)

parameter space, now color-coded by the layer-averaged AMI between each partition and the known political affiliations of Senators. Specifically, we compute for each layer the AMI between the community labels

{c_{i σ}}

and the Senators’ party affiliations, and then we average the AMIs across layers (i.e., across Congresses). The central, broadest domains have the highest AMI with the mostly 2-party system seen throughout the different session of Congress, consistent with our observations above. For the most part, partitions with neighboring domains have fairly similar structure within the layers. There are a few places in the Figure where a darker border represents a transition in the qualitative features of the community structure, such as the transition region around

γ \approx 0.8

discussed above.

4. Discussion

There are a number of features of CHAMP that make it a useful tool for community detection, as we have demonstrated by way of a variety of examples. By eliminating partitions that are non-admissible to the convex hull, CHAMP can greatly reduce the number of partitions remaining for consideration. By assessing the sizes of the domains of optimality of the partitions in the pruned admissible subset, and through direct pairwise comparisons of partitions in the admissible subset, CHAMP provides a framework for identifying stable parameter domains that signal robust community structures in the network.

The set of input partitions can be obtained as a result of a community-detection method across a range of parameter choices (as we explored here) or from the comparison of different community-detection methods. Ideally the input set contains near-optimal partitions with relevance for the application at hand. Because each partition is allowed to compete across the whole space of resolution and coupling parameters, CHAMP can surmount some of the pathologies associated with modularity-based community detection heuristics. For example, CHAMP has uncovered several cases where there is a parameter range over which Louvain consistently identifies suboptimal partitions compared to partitions that Louvain itself identifies at other parameter values. In our study of the Human Protein Reactome network (see Section 3.2), we have seen that the stochasticity over multiple runs of the heuristic makes finding a plateau in the number of communities challenging; nevertheless, CHAMP is able to identify regions where a single partition is intrinsically stable, regardless of how frequently a particular detection algorithm uncovers such a partition. By identifying a manageable-sized and organized subset of admissible partitions with CHAMP, one can then apply a pairwise measure of similarity such as AMI to adjacent partitions to identify shifts in the landscape of optimal community structure.

We in no way claim that CHAMP resolves all of the problems with modularity-based methods (see, e.g., the discussion in [3]). And CHAMP is certainly not the only way to try to process different results across various resolution parameters (see again the Introduction). However, by taking advantage of the underlying properties of modularity, including the fact that each partition defines a linear function for Q in terms of the resolution and interlayer coupling parameters, CHAMP provides a principled method built directly on the definition of modularity to make better sense of the parameter space when modularity methods are employed. In particular, many of the various other proposed approaches assess each partition at the particular parameter value input into the community detection heuristic that found the partition, that is treating each partition as a single point in

(γ, Q)

. In contrast, CHAMP returns to the underlying definition of modularity with a resolution parameter to recognize that each partition here is more completely represented as a line in

(γ, Q)

[in the multilayer case, as a plane in

(γ, ω, Q)

]. The single point is on that line but does not completely explore the potential of that partition to compete against the other identified partitions. By using the full linear subspace associated with each partition, CHAMP prunes away the vast majority of partitions in practice.

Importantly, CHAMP itself is not a method for partitioning a network, and as such its ability to highlight partitions is limited by the set of partitions given as input to the algorithm. Given the many available heuristics, the computational complexity of maximizing modularity [17], and the potentially large number of near-optimal partitions [18], it is possible that interesting and important community features may be missing from the provided input set. CHAMP as developed here is restricted to processing hard partitions of nodes into community labels, whereas overlapping communities and background nodes (those not belonging to any community) can be important for some applications. One may also reasonably worry about the potential value of partitions in the input set that are near-optimal over a wide domain of the parameters but yet never achieve admission to the convex hull itself and are thus discarded by the algorithm.

With the introduction of CHAMP presented here, we have left open many other possible uses of this general approach that may be worth exploring. Although we apply Louvain to discover partitions, CHAMP is agnostic to the detection method used to generate the set of partitions. The partitions input into CHAMP do not even need to be generated by modularity-maximizing heuristics; for example, one may also include new partitions as generated by ensemble learning [35] or consensus clustering [34,36]. By comparing the results between sets of partitions generated by different methods, CHAMP might be useful as an additional method for making comparisons between these methods.

Of course, even with a resolution parameter, modularity may not be a good measure for what constitutes a good “community” in some networks, and one could investigate whether other quality functions with parameters might be explored with an analogous approach. Even within the consideration of modularity, it would be interesting to generalize the approach of CHAMP to exploring different scales as resolved with different self-loop weights as proposed in [10] (see also [11] for an application of this approach). Unlike the resolution and coupling parameters used here, changing the self-loop weight makes a nonlinear change to modularity. Nevertheless, we believe it may be possible to extend CHAMP to the self-loop method for resolving different scales. It would also be useful to extend CHAMP to methods for community structures with overlap and with background nodes.

In further developing CHAMP, it is important to recognize the inability of many community-detection algorithms to assess the reliability of identified communities versus apparent structures arising in random network models. The particular value of modularity, for example, does not immediately indicate whether an identified partition is significant; in fact, the modularities of many classes of random networks such as trees of fixed degree can be quite high in the asymptotic limit [58,59]. Thus, it may be interesting to use CHAMP to further explore and characterize the domains of optimization for partitions of such random networks, to determine the extent to which leveraging such partition stability information can address questions about detected structures and random noise.

Additionally, it would be interesting to study the consistency of optimality domains output from the application of CHAMP to different input sets of partitions in order to possibly provide insight about how quickly the convex intersection of half-spaces shrinks to the underlying true but unknown upper envelope as the set of input partitions grows. For the networks tested here, the numbers of admissible partitions remaining in the pruned subset were only a very small fraction of the numbers in the input sets. In our experience, the numbers of partitions in the final pruned admissible subset appeared to increase slowly as the size of the input set was increased, but the position of the larger domains appeared to remain relatively consistent in practice. The number of initial partitions needed to get a good mapping of the parameter space undoubtedly depends on the structure of the network and the computational heuristics used. It may also be possible to use a variant of CHAMP to iteratively steer the parameters at which additional partitions might be sought. For instance, input parameters that consistently give rise to dominant partitions with broad domains could be targeted for more runs in an iterative fashion.

In summary, we have presented the CHAMP algorithm as a post-processing tool for pruning a set of network partitions down to the admissible subset in the convex hull that optimizes modularity at different parameters. We have demonstrated the utility of CHAMP on various single-layer networks and on a multilayer network, identifying partitions and their associated domains of optimality in the parameter space. Further research may focus on how the sizes of these domains and the comparisons between domains can be best used to ascertain confidence in identified community structures, to explore subgraphs of a network, and to further process the admissible subset for consensus clustering, as well as other uses of the pruned subset identified by CHAMP.

Acknowledgments

This project was supported by the James S. McDonnell Foundation 21st Century Science Initiative -Complex Systems Scholar Award grant #220020315, by the National Institutes of Health through Award Numbers R01HD075712, R56DK111930 and T32GM067553, and by the CDC Prevention Epicenter Program. The content is solely the responsibility of the authors and does not necessarily represent the official views of the funding agencies.

Author Contributions

W.H.W, S.E., R.G., D.T. and P.J.M. each contributed different details of the algorithm. W.H.W and P.J.M coded the algorithm and designed the example experiments. W.H.W performed the examples and analyzed the results. W.H.W, D.T. and P.J.M. wrote the paper.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Additional Figures

In this Appendix, we include visualizations of each of the partitions with domains of optimization labeled in white text in Figure 6A. In Figure A1, the Senators are plotted according to their states. In Figure A2, the individual Senators have been sorted according to community assignment and, within communities, time of first appearance in the Senate.

We call particular attention to the qualitative difference between the community structures with domains above and below the transition around

γ \approx 0.8

. Below

γ \approx 0.8

, each Congress layer has only a single community, with the communities broken up across time. In the region just above this transition, the typical Congress layer has two communities, with the community structure corresponding to an evolving two-party system over time.

Figure A1. Visualizations of partitions labeled in white in Figure 6A, with Senators grouped according to their state. The listed AMI is the average over layers of the AMI in each layer (Congress) between the communities and political party affiliations for that Congress. Partitions are labeled “

X . Y

” with X the number of communities with ≥ 5 nodes and Y the rank of the domain area for that number of communities.

X . Y

” with X the number of communities with ≥ 5 nodes and Y the rank of the domain area for that number of communities.

Figure A2. Visualizations of partitions labeled in white in Figure 6A, with Senators sorted by their most frequent community label (with the labels sorted by last appearance in time), and within communities by first appearance. The listed AMI is the average over layers of the AMI in each layer (Congress) between the communities and political party affiliations in that Congress.

References

Porter, M.A.; Onnela, J.P.; Mucha, P.J. Communities in networks. Not. AMS 2009, 56, 1082–1097, 1164–1166. [Google Scholar]
Fortunato, S. Community detection in graphs. Phys. Rep. 2010, 486, 75–174. [Google Scholar] [CrossRef]
Fortunato, S.; Hric, D. Community detection in networks: A user guide. Phys. Rep. 2016, 659, 1–44. [Google Scholar] [CrossRef]
Abbe, E. Community detection and stochastic block models: Recent developments. arXiv, 2017; arXiv:1703.10146. [Google Scholar]
Schaub, M.T.; Delvenne, J.C.; Rosvall, M.; Lambiotte, R. The many facets of community detection in complex networks. Appl. Netw. Sci. 2017, 2. [Google Scholar] [CrossRef]
Shai, S.; Stanley, N.; Granell, C.; Taylor, D.; Mucha, P.J. Case studies in network community detection. arXiv, 2017; arXiv:1705.02305. [Google Scholar]
Newman, M.E.J.; Girvan, M. Finding and evaluating community structure in networks. Phys. Rev. E 2004, 69, 026113. [Google Scholar] [CrossRef] [PubMed]
Reichardt, J.; Bornholdt, S. Statistical mechanics of community detection. Phys. Rev. E 2006, 74, 016110. [Google Scholar] [CrossRef] [PubMed]
Fortunato, S.; Barthélemy, M. Resolution limit in community detection. Proc. Natl. Acad. Sci. USA 2007, 104, 36–41. [Google Scholar] [CrossRef] [PubMed]
Arenas, A.; Fernández, A.; Gómez, S. Analysis of the structure of complex networks at different resolution levels. New J. Phys. 2008, 10, 053039. [Google Scholar] [CrossRef]
Granell, C.; Gómez, S.; Arenas, A. Mesoscopic analysis of networks: Applications to exploratory analysis and data clustering. Chaos 2011, 21, 016102. [Google Scholar] [CrossRef] [PubMed]
Leicht, E.A.; Newman, M.E.J. Community Structure in Directed Networks. Phys. Rev. Lett. 2008, 100, 118703. [Google Scholar] [CrossRef] [PubMed]
Barber, M.J. Modularity and community detection in bipartite networks. Phys. Rev. E 2007, 76, 066102. [Google Scholar] [CrossRef] [PubMed]
Gomez, S.; Jensen, P.; Arenas, A. Analysis of community structure in networks of correlated data. Phys. Rev. E 2009, 80, 016114. [Google Scholar] [CrossRef] [PubMed]
Traag, V.A.; Bruggeman, J. Community detection in networks with positive and negative links. Phys. Rev. E 2009, 80, 036115. [Google Scholar] [CrossRef] [PubMed]
Mucha, P.J.; Richardson, T.; Macon, K.; Porter, M.A. Community structure in time-dependent, multiscale, and multiplex networks. Science 2010, 328, 876. [Google Scholar] [CrossRef] [PubMed]
Brandes, U.; Delling, D.; Gaertler, M.; Goerke, R.; Hoefer, M.; Nikoloski, Z.; Wagner, D. On modularity clustering. IEEE Trans. Knowl. Data Eng. 2008, 20, 172–188. [Google Scholar] [CrossRef]
Good, B.H.; de Montjoye, Y.A.; Clauset, A. Performance of modularity maximization in practical contexts. Phys. Rev. E 2010, 81, 046106. [Google Scholar] [CrossRef] [PubMed]
Kivelä, M.; Arenas, A.; Barthelemy, M.; Gleeson, J.P.; Moreno, Y.; Porter, M.A. Multilayer networks. J. Complex Netw. 2014, 2, 203–271. [Google Scholar] [CrossRef]
De Domenico, M.; Lancichinetti, A.; Arenas, A.; Rosvall, M. Identifying Modular Flows on Multilayer Networks Reveals Highly Overlapping Organization in Interconnected Systems. Phys. Rev. X 2015, 5, 011027. [Google Scholar] [CrossRef]
Rosvall, M.; Bergstrom, C.T. Maps of random walks on complex networks reveal community structure. Proc. Natl. Acad. Sci. USA 2008, 105, 1118–1123. [Google Scholar] [CrossRef] [PubMed]
Han, Q.; Xu, K.S.; Airoldi, E.M. Consistent Estimation of Dynamic and Multi-layer Block Models. In Proceedings of the 32Nd International Conference on International Conference on Machine Learning - Volume 37, Lille, France, 6–11 July 2015; pp. 1511–1520. [Google Scholar]
Stanley, N.; Shai, S.; Taylor, D.; Mucha, P.J. Clustering Network Layers with the Strata Multilayer Stochastic Block Model. IEEE Trans. Netw. Sci. Eng. 2016, 3, 95–105. [Google Scholar] [CrossRef] [PubMed]
Taylor, D.; Shai, S.; Stanley, N.; Mucha, P.J. Enhanced Detectability of Community Structure in Multilayer Networks through Layer Aggregation. Phys. Rev. Lett. 2016, 116, 228301. [Google Scholar] [CrossRef] [PubMed]
Detecting communities (Pajek and PajekXXL). Available online: http://mrvar.fdv.uni-lj.si/pajek/community/CommunityDrawExample.htm (accessed on 16 August 2017).
Fenn, D.J.; Porter, M.A.; McDonald, M.; Williams, S.; Johnson, N.F.; Jones, N.S. Dynamic communities in multichannel data: An application to the foreign exchange market during the 2007–2008 credit crisis. Chaos 2009, 19, 033119. [Google Scholar] [CrossRef] [PubMed]
Fenn, D.J.; Porter, M.A.; Mucha, P.J.; McDonald, M.; Williams, S.; Johnson, N.F.; Jones, N.S. Dynamical clustering of exchange rates. Quant. Finance 2012, 12, 1493–1520. [Google Scholar] [CrossRef]
Macon, K.T.; Mucha, P.J.; Porter, M.A. Community structure in the United Nations General Assembly. Phys. A 2012, 391, 343–361. [Google Scholar] [CrossRef]
Traag, V.A.; Krings, G.; van Dooren, P. Significant Scales in Community Structure. Sci. Rep. 2013, 3, 2930. [Google Scholar] [CrossRef] [PubMed]
Lewis, A.C.; Jones, N.S.; Porter, M.A.; Deane, C.M. The function of communities in protein interaction networks at multiple scales. BMC Syst. Biol. 2010, 4. [Google Scholar] [CrossRef] [PubMed] [Green Version]
Traud, A.L.; Kelsic, E.D.; Mucha, P.J.; Porter, M.A. Comparing Community Structure to Characteristics in Online Collegiate Social Networks. SIAM Rev. 2011, 53, 526–543. [Google Scholar] [CrossRef]
Meilǎ, M. Comparing clusterings—An information based distance. J. Multivar. Anal. 2007, 98, 873–895. [Google Scholar] [CrossRef]
Fred, A.L.N.; Jain, A.K. Robust data clustering. In Proceedings of the 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Madison, WI, USA, 18–20 June 2003; Volume 2, pp. II–128. [Google Scholar]
Bassett, D.S.; Porter, M.A.; Wymbs, N.F.; Grafton, S.T.; Carlson, J.M.; Mucha, P.J. Robust detection of dynamic community structure in networks. Chaos 2013, 23, 013142. [Google Scholar] [CrossRef] [PubMed] [Green Version]
Ovelgönne, M.; Geyer-Schulz, A. An ensemble learning strategy for graph clustering. Contemp. Math. 2012, 588, 187–206. [Google Scholar]
Lancichinetti, A.; Fortunato, S. Consensus clustering in complex networks. Sci. Rep. 2012, 2, 336. [Google Scholar] [CrossRef] [PubMed]
Evans, T.S. Clique graphs and overlapping communities. J. Stat. Mech. Theory Exp. 2010, 2010. [Google Scholar] [CrossRef]
Girvan, M.; Newman, M.E.J. Community structure in social and biological networks. Proc. Natl. Acad. Sci. USA 2002, 99, 7821–7826. [Google Scholar] [CrossRef] [PubMed]
De Domenico, M.; Solé-Ribalta, A.; Cozzo, E.; Kivelä, M.; Moreno, Y.; Porter, M.A.; Gómez, S.; Arenas, A. Mathematical Formulation of Multilayer Networks. Phys. Rev. X 2013, 3, 041022. [Google Scholar] [CrossRef]
Bazzi, M.; Porter, M.A.; Williams, S.; McDonald, M.; Fenn, D.J.; Howison, S.D. Community Detection in Temporal Multilayer Networks, with an Application to Correlation Networks. Multiscale Modeling Simul. 2016, 14, 1–41. [Google Scholar] [CrossRef]
Jeub, L.G.S.; Bazzi, M.; Jutla, I.S.; Mucha, P.J. A generalized Louvain method for community detection implemented in MATLAB. 2011–2016. Available online: http://netwiki.amath.unc.edu/GenLouvain (accessed on 16 August 2017).
Blondel, V.D.; Guillaume, J.L.; Lambiotte, R.; Lefebvre, E. Fast unfolding of communities in large networks. J. Stat. Mech. Theory Exp. 2008, 2008, 155–168. [Google Scholar] [CrossRef]
Qhull. Available online: http://www.qhull.org/ (accessed on 16 August 2017).
Pyhull. Available online: http://pythonhosted.org/pyhull/ (accessed on 16 August 2017).
Barber, C.B.; Dobkin, D.P.; Huhdanpaa, H. The Quickhull Algorithm for Convex Hulls. ACM Trans. Math. Softw. 1996, 22, 469–483. [Google Scholar] [CrossRef]
Weir, W.; Gibson, R.; Mucha, P.J. CHAMP package: Convex Hull of Admissible Modularity Partitions in Python and MATLAB. 2017. Available online: https://github.com/wweir827/CHAMP (accessed on 16 August 2017).
Traag, V. Louvain igraph. Available online: http://github.com/vtraag/louvain-igraph (accessed on 16 August 2017).
Vinh, N.X.; Epps, J.; Bailey, J. Information Theoretic Measures for Clusterings Comparison: Is a Correction for Chance Necessary? In Proceedings of the 26th Annual International Conference on Machine Learning, Montreal, QC, Canada, 14–18 June 2009; pp. 1073–1080. [Google Scholar]
Hubert, L.; Arabie, P. Comparing partitions. J. Classif. 1985, 2, 193–218. [Google Scholar] [CrossRef]
Meilă, M. Comparing Clusterings by the Variation of Information. In Proceedings of the 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Learning Theory and Kernel Machine, Washington, DC, USA, 24–27 August 2003; Schölkopf, B., Warmuth, M.K., Eds.; Springer: Berlin/Heidelberg, Gernany, 2003; pp. 173–187. [Google Scholar]
Rijsbergen, C.J.V. Information Retrieval, 2nd ed.; Butterworth-Heinemann: Newton, MA, USA, 1979. [Google Scholar]
Jacomy, M.; Venturini, T.; Heymann, S.; Bastian, M. ForceAtlas2, a Continuous Graph Layout Algorithm for Handy Network Visualization Designed for the Gephi Software. PLoS ONE 2014, 9. [Google Scholar] [CrossRef] [PubMed]
Peixoto, T.P. The graph-tool python library. 2014. Available online: http://figshare.com/articles/graph_tool/1164194 (accessed on 16 August 2017).
Joshi-Tope, G.; Gillespie, M.; Vastrik, I.; D’Eustachio, P.; Schmidt, E.; de Bono, B.; Jassal, B.; Gopinath, G.R.; Wu, G.R.; Matthews, L.; et al. Reactome: A knowledgebase of biological pathways. Nucleic Acids Res. 2005, 33, D428–D432. [Google Scholar] [CrossRef] [PubMed]
Kunegis, J. KONECT: The Koblenz Network Collection; The Koblenz Network Collection; ACM: New York, NY, USA, 2013. [Google Scholar]
Waugh, A.S.; Pei, L.; Fowler, J.H.; Mucha, P.J.; Porter, M.A. Party Polarization in Congress: A Network Science Approach. arXiv, 2009; arXiv:0907.3509. [Google Scholar]
Mucha, P.J.; Porter, M.A. Communities in multislice voting networks. Chaos 2010, 20, 041108. [Google Scholar] [CrossRef] [PubMed]
De Montgolfier, F.; Soto, M.; Viennot, L. Asymptotic modularity of some graph classes. Int. Symp. Algorithms Comput. 2011, 7074, 435–444. [Google Scholar]
Bagrow, J.P. Communities and bottlenecks: Trees and treelike networks have high modularity. Phys. Rev. E 2012, 85, 066118. [Google Scholar] [CrossRef] [PubMed]

Figure 1. (A) Modularity

Q (γ)

given by Equation (1) versus resolution parameter

γ

for

50, 000

runs (

10 %

of results displayed here) of the Louvain algorithm [42,47] at different

γ

on the unweighted NCAA Division I-A (2000) college football network [37,38]. Grey triangles indicate the number of communities that include

\geq 5

nodes in each run, while the green step function shows the number in the optimal partition in each domain; (B) Graphical depiction of CHAMP algorithm (see Section 2). Each line indicates

Q_{σ} (γ)

given by Equation (2) for a particular partition

σ

. Both panels show the convex hull of these lines as the dashed green piecewise-linear curve, with the transition values represented by downward triangles.

Figure 1. (A) Modularity

Q (γ)

given by Equation (1) versus resolution parameter

γ

for

50, 000

runs (

10 %

of results displayed here) of the Louvain algorithm [42,47] at different

γ

on the unweighted NCAA Division I-A (2000) college football network [37,38]. Grey triangles indicate the number of communities that include

\geq 5

nodes in each run, while the green step function shows the number in the optimal partition in each domain; (B) Graphical depiction of CHAMP algorithm (see Section 2). Each line indicates

Q_{σ} (γ)

given by Equation (2) for a particular partition

σ

. Both panels show the convex hull of these lines as the dashed green piecewise-linear curve, with the transition values represented by downward triangles.

Figure 2. (A) ForceAtlas2 [52] layout, created with [53], of the unweighted NCAA Division I-A (2000) college football network. Nodes are colored according to the dominant 12-community partition with the widest

γ

-domain

γ \in [1.45, 3.89]

, with node shapes and border indicating their conference labels; (B) Pairwise adjusted mutual information (N = AMI) between all partitions in the admissible subset identified by CHAMP, arranged by their corresponding

γ

-domains of optimality. Dashed lines indicate the transition values of

γ

identified by CHAMP.

γ

-domain

γ \in [1.45, 3.89]

γ

-domains of optimality. Dashed lines indicate the transition values of

γ

identified by CHAMP.

Figure 3. (A) Modularity

Q (γ)

given by Equation (1) v. resolution parameter

γ

for

20, 000

runs (

25 %

of results shown) of Louvain [42,47] on the Human Protein Reactome network [54]. Small, grey triangles indicate the number of communities that include

\geq 5

nodes in each run, while the dark green step function shows the number in the optimal partition in each domain. The dashed green curve is the piecewise-linear modularity function for the optimal partitions, with the transition values marked by blue triangles; (B) Pairwise AMI between all partitions in the admissible subset identified by CHAMP, arranged by their corresponding

γ

-domains of optimality.

Figure 3. (A) Modularity

Q (γ)

given by Equation (1) v. resolution parameter

γ

for

20, 000

runs (

25 %

of results shown) of Louvain [42,47] on the Human Protein Reactome network [54]. Small, grey triangles indicate the number of communities that include

\geq 5

γ

-domains of optimality.

Figure 4. ForceAtlas2 layout [52], created with [53], of the Human Reactome Network (edges downsampled to 50,000), colored according to the partitions with the two widest

γ

-domains of optimization identified by CHAMP from

20, 000

runs of Louvain.

Figure 4. ForceAtlas2 layout [52], created with [53], of the Human Reactome Network (edges downsampled to 50,000), colored according to the partitions with the two widest

γ

-domains of optimization identified by CHAMP from

20, 000

runs of Louvain.

Figure 5. (A) Modularity

Q (γ)

γ

for

100, 000

runs (

5 %

of results shown) of Louvain [42,47] on the Caltech Facebook network [31]. Orange triangles indicate the number of communities that include

\geq 5

nodes in each run, while the red step function shows the number in the optimal partition in each domain. The dashed green curve is the piecewise-linear modularity function for the optimal partitions, with the transition values marked by blue triangles. The condensed layout of communities (created with [53]) here visualizes the optimal partition found for

γ \in [0.908, 1.09]

, with each pie-chart corresponding to a community, fractionally colored according to the House membership of the nodes in the community. The AMI between this partition and House labels (including the missing label) is 0.513; (B) Pairwise AMI between all partitions in the admissible subset identified by CHAMP, arranged by their corresponding

γ

-domains of optimality.

Figure 5. (A) Modularity

Q (γ)

γ

for

100, 000

runs (

5 %

of results shown) of Louvain [42,47] on the Caltech Facebook network [31]. Orange triangles indicate the number of communities that include

\geq 5

γ \in [0.908, 1.09]

γ

-domains of optimality.

Figure 6. (A) Domains of optimization for the pruned set of partitions, colored by the number of communities within each partition. The set of partitions was generated from

240, 000

runs of GenLouvain [41] on a

600 \times 400

uniform grid over

[0.3, 2] \times [0, 2]

(γ, ω)

. The largest partitions are labeled “

X . Y

” with X the number of communities with ≥ 5 nodes and Y the rank of the domain area (that is, in terms of size) for that given number of communities (e.g., “5.2” is the second-largest domain corresponding to 5-community partitions). The partitions of each labeled domain are visualized in Appendix A; (B) Weighted-average AMI of each partition with its neighboring domains’ partitions, weighted by the length of the borders between neighboring domains.

Figure 6. (A) Domains of optimization for the pruned set of partitions, colored by the number of communities within each partition. The set of partitions was generated from

240, 000

runs of GenLouvain [41] on a

600 \times 400

uniform grid over

[0.3, 2] \times [0, 2]

(γ, ω)

. The largest partitions are labeled “

X . Y

Figure 7. Time-varying community structure for the U.S. Senate from 1789 to 2008 according to the (A,B) 5-community and (C,D) 8-community partitions with widest domains of optimality (see labels

5.1

and

8.1

in Figure 6A); (A,C) The vertical axis indicates individual Senators, sorted by community label and time. The AMI reported here is the average over layers (Congresses) of the AMIs in each layer between the identified communities in that layer and political party labels. (This layer-averaged AMI is shown for all partitions in the convex hull over the originally searched parameter range in Figure 8.) (B,D) The vertical axis indicates the state of a Senator, sorted according to geographic region, and the horizontal axis represents time (two-year Congresses).

Figure 7. Time-varying community structure for the U.S. Senate from 1789 to 2008 according to the (A,B) 5-community and (C,D) 8-community partitions with widest domains of optimality (see labels

5.1

and

8.1

Figure 8. The domains of optimality for the time-varying U.S. Senate roll-call similarity network (as in Figure 6), colored by the layer-averaged AMI between the political-party affiliations of Senators and the community labels

{c_{i σ}}

for that layer.

{c_{i σ}}

for that layer.

© 2017 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Weir, W.H.; Emmons, S.; Gibson, R.; Taylor, D.; Mucha, P.J. Post-Processing Partitions to Identify Domains of Modularity Optimization. Algorithms 2017, 10, 93. https://doi.org/10.3390/a10030093

AMA Style

Weir WH, Emmons S, Gibson R, Taylor D, Mucha PJ. Post-Processing Partitions to Identify Domains of Modularity Optimization. Algorithms. 2017; 10(3):93. https://doi.org/10.3390/a10030093

Chicago/Turabian Style

Weir, William H., Scott Emmons, Ryan Gibson, Dane Taylor, and Peter J. Mucha. 2017. "Post-Processing Partitions to Identify Domains of Modularity Optimization" Algorithms 10, no. 3: 93. https://doi.org/10.3390/a10030093

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

Post-Processing Partitions to Identify Domains of Modularity Optimization

Abstract

1. Introduction

2. The CHAMP Algorithm (Convex Hull of Admissible Modularity Partitions)

2.1. MultiLayer Networks and Qhull

3. Results

3.1. NCAA Division I-A College Football Network

3.2. Human Protein Reactome Network

3.3. Caltech Facebook Network

3.4. U.S. Senate Roll Call Voting Network

4. Discussion

Acknowledgments

Author Contributions

Conflicts of Interest

Appendix A. Additional Figures

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI