Post-Processing Partitions to Identify Domains of Modularity Optimization

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.


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 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/). 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] (1) where A ij are the elements of the adjacency matrix describing the presence (and possibly weights) of edges between nodes i and j, k i = Σ j A ij is the strength (weighted degree) of node i, is the total edge weight, c i indexes the community to which node i has been assigned, δ(c i , c j ) = 1 if 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 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]. 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 Sections 2.1 and 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 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 nonempty 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).

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 σ ∈ {1, . . . , Σ}. 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 ij and P ij ), Equation (1) can be written as (2) where the quantities Â σ and Pσ are the respective within-community sums over A ij and P ij for partition σ. Importantly, Â σ and 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  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 upperenvelope 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 Â σ and 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 σ* (γ) ≥ 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 Â σ and 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 γ ≥ 0 as follows. Starting at γ 0 = 0, the partition with maximum Â σ 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 Â σ , but we select the partition wherein each separate component defines a community. Denoting the optimal partition at γ 0 by , we calculate the intersection points { } with the other partitions {σ} where . Substituting Equation (2) into this constraint yields (3) where p ≥ 0 for generality. Starting with partition for p = 0, we identify the smallest intersection point , which we define as γ p+1 . We denote the associated partition by . That is, partition is optimal for the γ-domain γ ∈ [γ p , γ p+1 ), above which partition becomes optimal. In the unlikely event that multiple partitions are associated with the γ p+1 intersection point, the one with smallest Pσ becomes . Setting p to p + 1, we iteratively repeat this process until there are no intersections points satisfying . We thus obtain an ordered sequences of optimal partitions, { }, and intersection points {γ p } for p = 0, 1, . . . . The optimal modularity curve for γ > 0, given by the upper envelope of the set {Q σ (γ)}, is then given by the piecewise linear function (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 γ ≥ 0.

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): where A ij , P ij , and C ij 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 ∈ {1, . . . , N} corresponds to the first layer, i ∈ {N + 1, . . . , 2N} 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 ij encodes all of the edges, P ij specifies the within-layer null model contributions, and C ij describes the known interlayer connections. The key fact here is that P ij and C ij 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 ij , 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 Â σ and 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, Ĉ σ : In this notation, the multilayer modularity of partition σ becomes simply (7) Thus, the partition σ is represented by the plane Q σ in (γ,ω,Q). Analogous to the singlelayer 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 halfspaces 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 halfspaces 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 γ ≥ 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 Â , P, and Ĉ 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 higherdimensional space. With the notation γ ⃗ = (γ,ω) and P̂σ = (P̂σ,-Ĉ σ ), we can write Equation (7) as Q σ (γ ⃗ ) = Â σ -γ ⃗ · P̂σ, specifying linear subspaces of codimension one in higherdimensional parameter spaces, given appropriate definitions of γ ⃗ and 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].

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 twoyear 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-Â σ , Pσ, and for multilayer networks, Ĉ σ -and then prunes down to the admissible subset in a trivial additional computational cost relative to that already expended to obtain that input set. 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.

NCAA Division I-A College Football Network
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 γ ∈ [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 (γ ∈ [0, 6]). Moreover, CHAMP identifies a wide γ-domain of optimality of the 12community 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), where MI(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(MI(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.

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 γ ∈ 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 Figures 1A and 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 ij = γ 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 nondecreasing 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 γ ∈ [0.77, 1.17] and γ ∈ [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.

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 γ ∈ [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 (γ ∈ [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).

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] 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 γ ≈ 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 singlelayer 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 neighboraveraged AMI, aligned with the different regions in Figure 6A discussed above: (1) the region below γ ≈ 0.8; (2) the region just below γ = 1, with particularly high neighboraveraged AMI for ω ∈ [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 γ ≈ 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 γ ≈ 0.8 discussed above.

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 nearoptimal 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 selfloop 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 communitydetection 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. Figure A1. 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 Figure A2. 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. (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 ≥ 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)    (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 ≥ 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. 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. (A) Modularity Q(γ) v. γ 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 ≥ 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 γ ∈ [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.   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.