Statistical Properties of Community Structure in Large Social and Information Networks

 
NEXT SLIDES
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

                 Statistical Properties of Community Structure
                   in Large Social and Information Networks

                                 ∗                            †                                   †                                  †
          Jure Leskovec                  Kevin J. Lang                Anirban Dasgupta                   Michael W. Mahoney
                                        ∗                                               †
                                         Carnegie Mellon University                      Yahoo! Research
                        jure@cs.cmu.edu                   {langk, anirban, mahoney}@yahoo-inc.com

ABSTRACT                                                                          1.1 Overview of our approach
A large body of work has been devoted to identifying com-                           At the risk of oversimplifying the large body of work on
munity structure in networks. A community is often though                         community detection in complex networks, the following
of as a set of nodes that has more connections between its                        five-part story describes the general methodology:
members than to the remainder of the network. In this
                                                                                   (1) Data are modeled by an “interaction graph.” In par-
paper, we characterize as a function of size the statistical
                                                                                       ticular, part of the world gets mapped to a graph
and structural properties of such sets of nodes. We define
                                                                                       in which nodes represent entities and edges represent
the network community profile plot, which characterizes the
                                                                                       some kind of interaction between pairs of those enti-
“best” possible community—according to the conductance
                                                                                       ties. For example, nodes may represent individual peo-
measure—over a wide range of size scales, and we study
                                                                                       ple and edges may represent friendships, interactions
over 70 large sparse real-world networks taken from a wide
                                                                                       or communication between pairs of those people.
range of application domains. Our results suggest a signifi-
cantly more refined picture of community structure in large                         (2) The hypothesis is made that the world contains groups
real-world networks than has been appreciated previously.                              of entities that interact more strongly amongst them-
   Our most striking finding is that in nearly every network                            selves than with the outside world, and hence the in-
dataset we examined, we observe tight but almost trivial                               teraction graph should contain sets of nodes, i.e., com-
communities at very small scales, and at larger size scales,                           munities, that have more and/or better-connected “in-
the best possible communities gradually “blend in” with the                            ternal edges” connecting members of the set than “cut
rest of the network and thus become less “community-like.”                             edges” connecting the set to the rest of the world.
This behavior is not explained, even at a qualitative level,                       (3) A objective function or metric is chosen to formalize
by any of the commonly-used network generation models.                                 this idea of groups with more intra-group than inter-
Moreover, this behavior is exactly the opposite of what one                            group connectivity.
would expect based on experience with and intuition from                           (4) An algorithm is then selected to find sets of nodes
expander graphs, from graphs that are well-embeddable in                               that exactly or approximately optimize this or some
a low-dimensional structure, and from small social networks                            other related metric. Sets of nodes that the algo-
that have served as testbeds of community detection algo-                              rithm finds are then called “clusters,” “communities,”
rithms. We have found, however, that a generative model,                               “groups,” “classes,” or “modules”.
in which new edges are added via an iterative “forest fire”                         (5) The clusters (communities) are then evaluated in some
burning process, is able to produce graphs exhibiting a net-                           way. For example, one may map the sets of nodes
work community structure similar to our observations.                                  back to the real world to see whether they appear to
                                                                                       make intuitive sense as a plausible social community.
Categories and Subject Descriptors: H.2.8 Database                                     Alternatively, one may attempt to acquire some form
Management: Database applications – Data mining                                        of “ground truth,” in which case the set of nodes output
General Terms: Measurement; Experimentation.                                           by the algorithm may be compared with it.
Keywords: Social networks; Graph partitioning; Commu-                               With respect to points (1)–(4), we will follows the usual
nity structure; Conductance; Random walks.                                        path in this paper. For point (3), we choose a natural and
                                                                                  widely-adopted notion of community goodness called con-
                                                                                  ductance, also known as the normalized cut metric [6, 31,
1.    INTRODUCTION                                                                16]. Since there exist a rich suite of both theoretical and
  In this paper, we explore from a novel perspective several                      practical algorithms to optimize this quantity [32, 20, 4, 17,
questions related to identifying meaningful communities in                        37, 10], we can for point (4) compare and contrast several
social and information networks, and we come to several                           methods to approximately optimize it.
surprising conclusions that have theoretical and practical                          However, it is in point (5) that we deviate from previous
implications for community detection.                                             work. Instead of focusing on individual groups of nodes and
Copyright is held by the International World Wide Web Conference Com-
                                                                                  trying to interpret them as “real” communities, we investi-
mittee (IW3C2). Distribution of these papers is limited to classroom use,         gate statistical properties of a large number of communities
and personal use by others.                                                       over a wide range of size scales in real-world social and in-
WWW 2008, April 21–25, 2008, Beijing, China.                                      formation networks. We take a step back and ask questions
ACM 978-1-60558-085-2/08/04.

                                                                            695
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

such as: How well do real graphs split into communities?                                                      Core     Whiskers
What is a good way to measure and characterize presence
or absence of communities in networks? What are typical
community sizes and typical community qualities?
   To address these and related questions, we introduce the
concept of a network community profile (NCP) plot. In-
tuitively, the network community profile plot measures the
quality of “best” community as a function of community size           Figure 1: (a) Typical NCP plot. (b) Network struc-
in a network. To measure the quality of a community we                ture as suggested by our experiments.
use conductance [6]. By this measure, the best communities
are densely linked sets of nodes attached to the rest of the
network via few edges. Fig. 1(a) gives a typical NCP plot.               We have also examined in detail the structure of our so-
   We compare our results across over 70 large social and in-         cial and information networks. We have observed that an
formation networks, numerous commonly-studied small so-               “jellyfish” or “octopus” model [33, 7] provides a rough first
cial networks, and also expanders and low-dimensional mesh-           approximation to structure of many of the networks we have
like objects. We also compare our results on each network             examined. That is, most networks may be viewed as having
with what is known from the field from which the network               a “core,” with no obvious underlying geometry and which
is drawn. To our knowledge, this makes ours the most ex-              contains a constant fraction of the nodes, and then there
tensive such analysis of the community structure in large             are a large number of relatively small “whiskers” that are
real-world social and information networks. By comparing              only tenuously connected to the core. (See Fig. 1(b).)
and contrasting these plots for a large number of networks,              Main Modeling Results: The observed properties of
and by computing other related structural properties, we              the network community profile plot are not reproduced, at
obtain results that suggest a significantly more refined pic-           even a qualitative level, by any of the commonly-used net-
ture of the community structure in large real-world networks          work generation models we have examined, including but
than has been appreciated previously.                                 not limited to preferential attachment, copying, and hier-
                                                                      archical network models. Moreover, this behavior is qual-
1.2 Summary of our results                                            itatively different than what is observed in networks with
  Main Empirical Findings: Our results suggest a rather               an underlying mesh-like or manifold-like geometry (which is
detailed and somewhat counterintuitive picture of the com-            significant as these structures are often used as a scaffold-
munity structure in large networks. Several qualitative prop-         ing upon which to build other models), in networks that are
erties of community structure are nearly universal:                   good expanders (which may be surprising, since it is often
                                                                      observed that large social networks are expander-like), and
   • Up to a size scale, which empirically is roughly 100
                                                                      in small social networks often used as testbeds for commu-
     nodes, there not only exist well-separated communi-
                                                                      nity detection algorithms (which may have implications for
     ties, but also the slope of the network community pro-
                                                                      the applicability of these methods to detect large community-
     file plot is generally sloping downward. (See Fig. 1(a).)
                                                                      like structures in networks). For the commonly-used net-
     This latter point suggests, and empirically we often ob-
                                                                      work generation models, as well as for expander-like, low-
     serve, that smaller communities can be combined into
                                                                      dimensional, and small social networks, the network com-
     meaningful larger communities.
                                                                      munity profile plots are generally downward sloping or rela-
   • At size scale of 100 nodes, we often observe the global
                                                                      tively flat.
     minimum of the network community profile plot. (Al-
                                                                         We, however, make the following modeling observations:
     though these are the “best” communities in the entire
     graph, they are usually connected to the remainder of               • Very sparse random graph models with no underlying
     the network by just a single edge.)                                   geometry have relatively deep cuts at small size scales,
   • Above the size scale of roughly 100 nodes, the network                the best cuts at large size scales are very shallow, and
     community profile plot gradually increases, and thus                   there is a relatively abrupt transition in between. This
     there is a nearly inverse relationship between commu-                 is a consequence of the extreme sparsity of the data.
     nity size and community quality. (See Fig. 1(a).) This
                                                                         • A “forest fire” generative model [21], in which edges
     upward slope suggests, and empirically we often ob-
                                                                           are added in a manner that imitates a fire-spreading
     serve, that as a function of increasing size, the best
                                                                           process, reproduces not only the deep cuts at small
     possible communities as they grow become more and
                                                                           size scales and the absence of deep cuts at large size
     more “blended into” the remainder of the network.
                                                                           scales but other properties as well: the small barely
   This last point is particularly significant, and it is our               connected pieces are significantly larger and denser
main empirical finding: at larger and larger size scales the                than random; and for appropriate parameter settings
best possible communities gradually “blend in” more and                    the network community profile plot increases relatively
more with the rest of the network and thus gradually become                gradually as the size of the communities increases.
less and less community-like (less well-expressed/separated).
Eventually, even the existence of large well-defined commu-            Intuitively, the structure of the whiskers (See Fig. 1(b).),
nities is quite questionable if one models the world with an          which are not unlike small social networks that have been
interaction graph, as in point (1) above, and if one also de-         extensively studied, are responsible for the downward part
fines good communities as densely linked clusters that are             of the network community profile plot, while the core of the
weakly-connected to the outside, as in hypothesis (2) above.          network and the manner in which the whiskers root them-
This is important if one asserts that cut and density based           selves to the core helps to determine the upward part of the
intuitions will find “true” communities.                               network community profile plot.

                                                                696
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

 • Social nets       Nodes         Edges     Description                  the sum of degrees of nodes in S, and let s be the number of
 LiveJournal      4,843,953 42,845,684       Blog friendships [5]         edges with one endpoint in S and one endpoint in S, where
 Epinions            75,877      405,739     Trust network [28]           S denotes the complement of S. Then, the conductance of
 CA-DBLP            317,080    1,049,866     Co-authorship [5]
                                                                          S is φ = s/v, or equivalently φ = s/(s + 2e), where e is the
 • Information (citation) networks
                                                                          number of edges with both endpoints is S. More formally,
 Cit-hep-th          27,400      352,021     Arxiv hep-th [14]            if A is the adjacency matrix of the graph G, then:
 AmazonProd         524,371    1,491,793     Amazon products [8]                                     
 • Web graphs                                                                                                 / Aij
                                                                                                        i∈S,j ∈S
                                                                                            φ(S) =                                 (6)
 Web-google         855,802    4,291,352     Google web graph                                      min{A(S), A(S)}
 Web-wt10g        1,458,316    6,225,033     TREC WT10G                                        
 • Bipartite affiliation (authors-to-papers)   networks                     where A(S) = i∈S j∈V Aij , in which case the conduc-
 Atp-DBLP           615,678      944,456     DBLP [21]                    tance of the graph G is
 AtM-Imdb         2,076,978    5,847,693     Actors-to-movies
                                                                                                φG = min φ(S).                      (7)
 • Internet networks                                                                                   S⊂V
 AsSkitter        1,719,037 12,814,089       Autonom. sys.                Thus, the conductance of a set provides a measure for the
 Gnutella            62,561      147,878     P2P network [29]
                                                                          quality of the cut (S, S), or relatedly the goodness of a com-
Table 1: Some of the network datasets we studied.                         munity S. Indeed, it is often noted that communities should
                                                                          be thought of as sets of nodes with more and/or better intra-
2.   BACKGROUND AND OVERVIEW                                              connections than inter-connections. When interested in de-
   In this section, we will provide background on our data                tecting communities and evaluating their quality, we pre-
and methods. There exist a large number of reviews on top-                fer sets with small conductances, i.e., sets that are densely
ics related to those discussed in this paper. For example, see            linked inside and sparsely linked to the outside. Although
the reviews on community identification [24, 9], graph and                 numerous measures have been proposed for how community-
spectral clustering [13, 30], and the monographs on spectral              like is a set of nodes, it is commonly noted—e.g., see [31]
graph theory and complex networks [6, 7].                                 and [16]—that conductance captures the “gestalt” notion of
                                                                          clustering [36], and so it has been widely-used for graph
2.1 Network datasets                                                      clustering and community detection [13, 30].
  We have examined a large number of real-world complex
networks. Table 1 gives a subset of the networks that we                  3. NETWORK COMMUNITY PROFILE PLOT
use in this paper. (We refer to the extended version of the                  In this section, we discuss the network community pro-
paper [23] for a complete list of networks.) In all cases, we             file plot (NCP plot), which measures the quality of network
consider networks as undirected, and we extract the largest               communities at different size scales.
connected component. We have grouped the networks into
5 categories: social networks which consist of on-line social             3.1 The network community profile plot
networks and co-authorship networks of computer science                      In order to resolve more finely community structure in
(DBLP) and various areas of physics; information networks                 large networks, we introduce the network community profile
which contain citation networks of physics and blogosphere;               plot (NCP plot). Intuitively, the NCP plot measures the
web-graphs which contain networks with nodes representing                 quality of the best possible community in a large network,
web-pages and hyperlinks being the edges; bipartite social                as a function of the size of the purported community. For-
affiliation networks which contain mainly authors-to-papers                 mally, we may define it as the conductance value of the best
networks of computer science and physics; and finally, inter-              conductance set of cardinality k in the entire network, as a
net networks which consist of autonomous systems network                  function of k. That is,
and Gnutella P2P file sharing network.
  Table 1 also shows the number of nodes and edges in                                        Φ(k) =     min       φ(S).             (8)
                                                                                                      S⊂V,|S|=k
each network. The sizes of the networks we have studied
range from about 5, 000 nodes up to nearly 14 million nodes,              where |S| denotes the cardinality of the set S and where the
and from about 6, 000 edges up to more than 100 million                   conductance φ(S) of S is given by (6). Since this quantity is
edges [23]. In addition, all of the networks are quite sparse—            intractable to compute, we employ well-studied approxima-
their densities range from an average degree of about 2.5 for             tion algorithms for the Minimum Conductance Cut Problem
the blog post network, up to an average degree of about                   to compute different approximations to the NCP plot. We
400 in a network of movie ratings from Netflix [23]—and                    employ two procedures: first, Metis+MQI, i.e., the graph
most of the other networks, including the purely social net-              partitioning package Metis [17] followed by the flow-based
works, have average degree around 10 (median degree of 6).                MQI post-processing procedure MQI [19], which taken to-
In total, we have examined over 100 different networks, in-                gether returns sets that have very good conductance values;
cluding over 70 large real-world social and information net-              and second, the Local Spectral Algorithm [3], which returns
works, making this, to our knowledge, the largest and most                sets that are somewhat “regularized” (more internally “co-
comprehensive study of such networks. (We will make data                  herent”) but that often have worse conductance values.
available via a link from the first author’s web page.)                       Just as the conductance of a set of nodes provides a qual-
                                                                          ity measure of that set as a community, the shape of the
2.2 Clusters and communities in networks                                  NCP plot provides insight into the community structure of a
  If G = (V, E) denotes a graph, then the conductance φ of a              graph. For example, the magnitude of the conductance tells
set of nodes S ⊂ V , (where S is assumed to contain no more               us how well clusters of different sizes are separated from the
than half of all the nodes), is defined as follows. Let v be               rest of the network. One might hope to obtain some sort of

                                                                    697
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

                         0                                                                       100
                    10                                                                                                                                                                                                1
                                                         Clique, -1/d≈0
  Φ (conductance)

                                                                               Φ (conductance)
                                                                                                      -1
                         -1                                                                      10

                                                                                                                                                                                                   Φ (conductance)
                    10                                  Cube, -1/d≈-.33

                                                                                                      -2
                    10-2                                                                         10
                                                         Grid, -1/d≈-.50
                                                 Chain, -1/d≈-1.0                                                                                                                                                                                     cut A+B
                                                                                                                                                                                                                                        cut A
                         -3                                                                           -3
                    10                                                                           10
                               0       1     2      3        4      5      6                                0          1             2        3         4
                          10         10   10     10     10     10     10                               10            10       10         10        10                                                                0.1
                                   k (number of nodes in the cluster)                                           k (number of nodes in the cluster)                                                                         1                             10
                                                                                                                                                                                                                               k (number of nodes in the cluster)
 (a) Low-dimensional meshes                                                                                 (b) PowerGrid                                           (a) Zachary’s karate club      (b) . . . and it’s NCP plot
                    100                                                                          100

                         -1                                                                                                                                                                                                1
                    10
  Φ (conductance)

                                                                               Φ (conductance)
                         -2
                    10

                                                                                                                                                                                                   Φ (conductance)
                                                                                                      -1                                                                                                               0.1
                                                                                                 10
                         -3
                    10

                         -4                                                                                                Average degree 4
                    10                                                                                                                                                                                                0.01
                                                                                                                           Average degree 6                                                                                                 A
                                                                                                                           Average degree 8                                                                                                          B          D
                    10-5                                                                         10-2                                                                                                                                                      C
                           0           1     2      3        4      5      6                            0             1          2       3        4
                        10           10   10     10     10     10     10                             10             10       10        10       10                                                                                                              C+E
                                   k (number of nodes in the cluster)                                           k (number of nodes in the cluster)                                                                   0.001
                                                                                                                                                                                                                               1               10             100
                                                                                                                                                                                                                                   k (number of nodes in the cluster)
                              (c) RoadNet-CA                                      (d) Expander: dense Gnm
                                                                                                                                                                       (c) Network science         (d) . . . and it’s NCP plot
Figure 2: NCP plots for networks that “live” in low-
                                                                                                                                                                  Figure 3: Depiction of several small social networks
dimensional spaces and for an expander-like graph.
                                                                                                                                                                  that are common test sets for community detection
                                                                                                                                                                  algorithms and their network NCP plots.
“smoothed” measure of the notion of the best community of
size k, e.g., by considering a 95-th percentile, rather than a                                                                                                    communities are sparsely embedded in larger communities.
minimum. We have not defined such a measure since there                                                                                                            Empirically we observe that local minima in the NCP plot
is no obvious way to average meaningfully over all subsets                                                                                                        correspond to sets of nodes that are plausible communities.
of size k. Although Metis+MQI finds sets of nodes with                                                                                                             Consider, e.g., Zachary’s karate club [35], an extensively-
extremely good conductance value, empirically we observe                                                                                                          analyzed social network [24, 26]. Figure 3(a) depicts the
that they often have little or no internal structure—they                                                                                                         karate club network, and Figure 3(b) shows its NCP plot.
can even be disconnected; on the other hand, since spectral                                                                                                       Note that Cut B, which separates the graph roughly in half,
methods in general tend to confuse long paths with deep                                                                                                           has better conductance value than Cut A (note also commu-
cuts [32], the Local Spectral Algorithm finds sets that are                                                                                                        nity A is included in B). This corresponds with the intuition
“tighter” and more “well-rounded” and thus in many ways                                                                                                           about the NCP plot derived from studying low-dimensional
more community-like.                                                                                                                                              graphs. The karate network corresponds well with the intu-
                                                                                                                                                                  itive notion of a community, where nodes of the community
3.2 Community profile plots for expander, low-                                                                                                                    are densely linked among themselves and there are few edges
    dimensional, and small social networks                                                                                                                        between nodes of different communities. In a similar man-
   The NCP plot behaves in a characteristic manner for graphs                                                                                                     ner, Figure 3(c) depicts Newman’s network of 379 scientists
that are “well-embeddable” into a low-dimensional geometric                                                                                                       who conduct research on networks [25]. In this latter case,
structure. To illustrate this, consider Figure 2. The NCP                                                                                                         we see a hierarchical structure, in which the community de-
plot is steadily downward sloping as a function of the num-                                                                                                       fined by Cut C is included in a larger community that has
ber of nodes in the smaller cluster. Moreover, the curves                                                                                                         better conductance value.
are straight lines with a slope equal to −1/d, where d is the
dimensionality of the underlying grids. In particular, as the                                                                                                     3.3 Community profile plots of large social and
underlying dimension increases then the slope of the NCP                                                                                                              information networks
plot gets less steep. Of course, this is a manifestation of the                                                                                                      We have examined NCP plots for over 70 real-world social
isoperimetric (i.e., surface area to volume) phenomenon. A                                                                                                        and information networks, and in Figure 4 we present NCP
steadily downward sloping NCP plot is quite robust for net-                                                                                                       plots for six of these. The most striking feature is that the
works that “live” in a low-dimensional structure, e.g., on                                                                                                        NCP plot is steadily increasing for nearly its entire range.
a manifold or the surface of the earth. For example, Fig-                                                                                                            Consider, the NCP plot for the LiveJournal social net-
ure 2(b) shows the NCP plot for a power grid network of                                                                                                           work in Figure 4(a), and focus first on the red curve, which
Western States Power Grid [34], and Figure 2(c) shows the                                                                                                         presents the results of Local Spectral Algorithm. Up to a
NCP plot for a road network of California. Finally, in con-                                                                                                       size scale, which empirically is roughly 100 nodes, the slope
trast, Figures 2(d) shows NCP plots for a Gnm graph with                                                                                                          of the NCP plot is generally sloping downward. At that
100, 000 nodes and average degrees of 4, 6, and 8, i.e., graphs                                                                                                   size scale, we observe the global minimum of the NCP plot
that are very good expanders. The NCP plot is roughly flat,                                                                                                        (denoted by a purple square). This set of nodes as well
which we also observed in Figure 2(a) for a clique, which is                                                                                                      as others achieving local minima of the NCP plot in the
to be expected since the minimum conductance cut in the                                                                                                           same size range are the “best” communities, according to
entire graph cannot be too small for a good expander [15].                                                                                                        the conductance measure, in the entire graph. Moreover,
   Interestingly, a steadily decreasing downward NCP plot is                                                                                                      they are barely connected to the rest of the graph, e.g., they
also seen for small social networks that have been extensively                                                                                                    are typically connected to the rest of the nodes by 1 (or
studied for validating community detection algorithms. Two                                                                                                        2, or perhaps 3—we will return to this issue in Section 4)
examples are shown in Figures 3. For these networks, the                                                                                                          edges. Above the size scale of roughly 100 nodes, the NCP
interpretation is the hierarchical organization, where smaller                                                                                                    plot gradually increases over several orders of magnitude.

                                                                                                                                                            698
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

                     10
                          0
                                                                                                 10
                                                                                                      0                                                             We have observed qualitatively similar results in other
                       -1
                                                                                                                                                                 large social and information networks we have examined.
                     10
   Φ (conductance)

                                                                               Φ (conductance)
                                                                                                 10-1                                                            Several additional examples are presented in Figure 4: an-
                       -2
                     10
                                                                                                                                                                 other social network, (Epinions, in Fig. 4(b)); an informa-
                                                                                                 10-2
                     10
                       -3
                                                                                                                                                                 tion/citation network (Cit-hep-th, in Fig. 4(c)); a Web
                     10-4                                                                        10-3
                                                                                                                                                                 graph (Web-google, in Fig. 4(d)); a Bipartite affiliation
                           0     1   2     3     4     5     6  7                                      0               1       2       3       4       5
                         10 10 10 10 10 10 10 10                                                     10           10     10      10       10      10
                             k (number of nodes in the cluster)                                                k (number of nodes in the cluster)                network (Atp-DBLP, in Fig. 4(e)); and an Internet network
                          (a) LiveJournal                                                                      (b) Epinions                                      (Gnutella, in Fig. 4(f)). Qualitative observations are con-
                                                                                                                                                                 sistent across the range of network sizes, densities and differ-
                          0                                                                           0
                     10                                                                          10
                                                                                                                                                                 ent domains from which the networks are drawn. Of course,
                                                                                                 10
                                                                                                      -1
                                                                                                                                                                 these six networks are very different than each other—some
   Φ (conductance)

                                                                               Φ (conductance)
                     10-1                                                                        10-2
                                                                                                                                                                 of these differences are hidden due to the definition of the
                                                                                                                                                                 NCP plot, whereas others are evident. An example of the
                                                                                                 10-3
                                                                                                                                                                 latter is that even the best cuts in Gnutella are not signif-
                     10-2                                                                        10-4
                         10
                            0
                                      10
                                           1
                                             10
                                                   2
                                                     10
                                                           3
                                                              10
                                                                   4
                                                                      10
                                                                           5
                                                                                                     10
                                                                                                       0
                                                                                                                 10
                                                                                                                   1
                                                                                                                      10
                                                                                                                           2
                                                                                                                             10
                                                                                                                                   3
                                                                                                                                    10
                                                                                                                                           4
                                                                                                                                           10
                                                                                                                                                   5
                                                                                                                                                  10
                                                                                                                                                       6         icantly smaller or deeper than in the corresponding rewired
                                   k (number of nodes in the cluster)                                          k (number of nodes in the cluster)
                              (c) Cit-hep-th                                                          (d) Web-google                                             network, whereas for Web-google we observe cuts that are
                                                                                                                                                                 orders of magnitude deeper.
                     100                                                                         100
                                                                                                                                                                    These findings mean that best-expressed network commu-
                                                                                                                                                                 nities are rather small, their size being practically indepen-
   Φ (conductance)

                                                                               Φ (conductance)

                     10-1                                                                                                                                        dent of network size (ca. 100 nodes). Moreover, as the
                                                                                                      -1
                                                                                                 10
                       -2
                                                                                                                                                                 community size grows the community blends into the rest
                     10
                                                                                                                                                                 of the network, which makes them very difficult to detect
                     10
                       -3
                                                                                                 10
                                                                                                      -2                                                         using cut-based ideas. (We come back to this in Section 7.)
                               0       1       2       3       4       5   6                               0           1       2       3       4       5
                          10         10   10     10     10     10     10                               10         10     10      10       10      10
                                   k (number of nodes in the cluster)                                          k (number of nodes in the cluster)
                              (e) Atp-DBLP                                                                  (f) Gnutella                                         4. MORE STRUCTURAL OBSERVATIONS
Figure 4: [Best viewed in color.] NCP plots for a                                                                                                                  Next we describe the results of examining the networks in
representative sample of large networks. Red curves                                                                                                              greater detail to understand which structural properties are
plot the Local Spectral Algorithm; green curves plot                                                                                                             responsible for the observed properties of the NCP plot.
Metis+MQI; blue curves plot the Bag of Whiskers                                                                                                                  4.1 General statistics on our network datasets
Heuristic; and black curves plot the Local Spectral
Algorithm applied to a randomly rewired network.                                                                                                                    In nearly every network we have examined, there is a sub-
                                                                                                                                                                 stantial fraction of nodes that are barely connected to the
                                                                                                                                                                 main part of the network, i.e., that are part of a small clus-
The “best” communities in the entire graph are quite good                                                                                                        ter of around 100 nodes that are attached to the remainder
(in that they have size roughly 102 nodes and conductance                                                                                                        of the network via a small number of edges. In particular, a
scores less than 10−3 ) whereas the “best” communities of                                                                                                        large fraction of the network is made out of nodes that are
size 105 or 106 have conductance scores of about 10−1 . In                                                                                                       not in the (2-edge-connected) core, i.e., they are in compo-
between these two size extremes, the conductance scores get                                                                                                      nents attached to the core of the network via a single edge.
gradually worse, although there are numerous local dips.                                                                                                         For example, the core of Epinions network contains only
(The green curve plots the Metis+MQI, and the blue curve                                                                                                         47% of the nodes and 80% of the edges. Averaging over all
the results of Bag of Whiskers Heuristic, as described in Sec-                                                                                                   our networks, we see that the network core contains around
tion 4.3.) Note that both axes in Figure 4 are logarithmic,                                                                                                      only 60% of the nodes and 80% of the edges of the original
and thus the upward trend of the NCP plot is over a wide                                                                                                         network. This is somewhat akin to the so-called “Jellyfish”
range of size scales.                                                                                                                                            model [33] and “Octopus” models [7], which we describe in
   The black curve in Figure 4(a) plots the Local Spectral                                                                                                       more detail in Section 6.2. Moreover, the global minimum
Algorithm applied to a rewired version of the LiveJour-                                                                                                          of the NCP plot is nearly always one of these pieces that is
nal network, i.e., to a random graph conditioned on the                                                                                                          connected to the rest of the network by only a single edge.
same degree distribution as the original network. Interest-                                                                                                      Since these small barely-connected pieces seem to have a dis-
ingly, the rewired network also has an initially decreasing                                                                                                      proportionately large influence on the community structure
and then increasing/flattening NCP plot. Several things                                                                                                           of our network datasets, we examine them in greater detail.
should be noted. (1) The original LiveJournal network
has considerably more structure, i.e., deeper/better cuts,                                                                                                       4.2 “Whiskers” and the “core” in our networks
than its rewired version, even up to the largest size scales.                                                                                                      We define whiskers, or more precisely 1-whiskers, to be
(2) Relative to the original network, the “best” community in                                                                                                    maximal subgraphs that can be detached from the rest of the
the rewired graph, i.e., the global minimum of the conduc-                                                                                                       network by removing a single edge. To find 1-whiskers, we
tance curve, shifts upward and towards the left. This means                                                                                                      employ the following algorithm. Using a depth-first search
that in rewired networks the best conductance clusters get                                                                                                       algorithm, we find the largest 2-edge-connected component
smaller and have worse conductance scores. (3) The sets at                                                                                                       B of the graph G. (A graph is 2-edge-connected if the re-
and near the minimum are small trees that are connected to                                                                                                       moval of any single edge does not disconnect the graph.) We
the core of the random graph by a single edge. (4) After the                                                                                                     then delete all the edges that have one of the end points in
small dip at a very small size scale (≈ 10 nodes), the NCP                                                                                                       B. We call the connected components of this new graph G
plot increases to its high level rather quickly. This is due to                                                                                                  1-whiskers, since they correspond to largest subgraphs that
the absence of structure in the (expander-like) core.                                                                                                            can be disconnected from G by removing just a single edge.

                                                                                                                                                           699
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

                                                                                              100                                                                          100

                                                                                                   -1
                                                                                              10

                                                                            Φ (conductance)

                                                                                                                                                         Φ (conductance)
                                                                                                                                                                            -1
                                                                                                                                                                           10

                                                                                              10-2
                                                                                                                                                                            -2
                                                                                                                                                                           10
                                                                                                   -3
                                                                                              10
                                                                                                                      Original network                                                              Original network
                                                                                                                     Whiskers removed                                                              Whiskers removed
Figure 5: Five largest whiskers of Epinions network.                                          10
                                                                                                   -4
                                                                                                         0       1     2      3     4      5         6
                                                                                                                                                                            -3
                                                                                                                                                                           10
                                                                                                                                                                                     0         1         2       3        4
                                                                                                    10         10   10     10     10     10     10                              10           10      10       10        10
                                                                                                             k (number of nodes in the cluster)                                          k (number of nodes in the cluster)

                                                                                                   (a) LiveJournal                                                                       (b) Epinions
   Not surprisingly, there is a wide range of whisker sizes
                                                                         Figure 6: [Best viewed in color.] NCP plots with
and shapes. Empirically, 1-whisker distribution is heavy-
                                                                         (in red) and without (in green) 1-whiskers, for two
tailed, with the largest whisker size ranging from around
                                                                         of the six networks shown Figure 4.
less than 10 to well above 100. (See extended version [23]
for plots.) The largest whiskers in co-authorship and citation
networks have around 10 nodes, whiskers in bipartite graphs              ing good cuts then best cuts in these large sparse graphs
also tend to be small, and very large whiskers are found in              are obtained by composing unrelated disconnected pieces,
a web graph. In rewired networks the whiskers tend to be                 which suggests that community goodness scores need to be
much smaller than in the original network. A particularly                reevaluated by also considering the community “coherence”.
noteworthy exception is found in the Autonomous systems
networks and the Gnutella network. Here, whiskers are so                 4.4 Networks with no whiskers
small that even the rewired version of the network has more                 One might wonder whether we see something different if
and larger whiskers. This makes sense, given how those net-              we consider a network in which these barely-connected pieces
works were designed: many large whiskers would have bad                  have been removed. Thus, we found all whiskers and re-
effects on the Internet connectivity in case of link failures.            moved them from the network, using procedure described in
   Figure 5 shows the five largest whiskers of the Epinions               Sec. 4.2, i.e., we kept the largest 2-edge-connected compo-
social network. The whiskers have on the order of 50 nodes,              nent. Again, we computed the NCP plots in Figure 6.
and they are seen to have a rich internal structure. Similar                Notice that whisker removal does not change the NCP plot
but substantially more complex figures could be generated                 much: the plot shifts slightly upward, but the general trends
for networks with larger whiskers. In general, the results we            remain the same. Upon examination, the global minimum
observe are consistent with a knowledge of the fields from                occurs with a “whisker” that is connected by two edges to
which the particular datasets have been drawn. For exam-                 the rest of the network. Intuitively, the network core has a
ple, in Web-google we see very large whiskers. This prob-                large number of barely connected pieces—connected now by
ably represents a well-connected network between the main                two edges rather than by a single edge. Since the “volume”
categories of a website (e.g., different projects), while the in-         for these pieces is similar to that for the original whiskers,
dividual project websites have a main index page that then               whereas the “surface area” is a factor of two larger, the con-
points to the rest of the documents.                                     ductance value is roughly a factor of two worse. Thus, al-
                                                                         though we have been discussing 1-whiskers in this section,
4.3 Bags and communities of whiskers                                     one should really view them as the simplest example of
   Empirically, if one looks at the sets of nodes achieving the          weakly-connected pieces that exert a significant effect on
minimum in the NCP plot (usually the green Metis+MQI                     the community structure in large real-world networks.
curve), then before the global NCP minimum communities
are whiskers and above that size scale they are often unions             5. RESULTS FROM OTHER ALGORITHMS
of disjoint whiskers. To understand the extent to which
                                                                           We we have employed a range of other algorithmic tech-
these whiskers and unions of them are responsible for the
                                                                         niques to be confident that we are computing quantities fun-
“best” conductance sets of different sizes, we have developed
                                                                         damental to the networks we are considering, rather than
the Bag-of-Whiskers Heuristic. Suppose we have a set W =
                                                                         artifacts of the heuristics and approximation algorithms we
{w1 , w2 , . . .} of whiskers. In order to construct the optimal
conductance cluster of size k, we need to solve                          employ. Due to space limitations, much of this technical
                                                 the following          material and its associated discussion is omitted from this
problem: find a set C of whiskers such that i∈C N (wi ) = k
                  i)
                                                                         conference paper, but full details may be found in the jour-
and i∈C d(w      |C|
                      is maximized, where N (wi ) is the number          nal version of this paper [23].
of nodes in wi and d(wi ) is its total internal degree. We then
use a dynamic programming heuristic to get an approximate                6. MODELS FOR NETWORK COMMUNITY
solution to this problem. This way, we find a cluster of a par-
ticular size that is composed solely from whiskers. Figure 4                STRUCTURE
(blue curve) shows the results of Bag-of-Whiskers.                         In this section, we address modeling issues in order to
   First, notice that the largest whisker (denoted with pur-             understand the properties of generative models sufficient to
ple square) is the lowest point in all plots. This means that            reproduce the phenomena we have observed.
the best conductance community is in a sense trivial as it is
connected via just a single edge, and in addition a very sim-            6.1 Commonly-used network models
ple heuristic can find it. Second, note that above that size                 We have studied a wide range of commonly-used network
scale the Bag-of-Whiskers finds sets of extremely good con-               generative models in an effort to reproduce the upward-
ductance. Third, this heuristic often agrees with the results            sloping NCP plots and to understand the structural proper-
from Metis+MQI. This means that the best communities                     ties of the real-world networks that are responsible for this
are indeed disconnected. Thus, if one only cares about find-              phenomenon. In each case, we have experimented with a

                                                                   700
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

                     10
                          0
                                                                                               10
                                                                                                    0                                                       tween nodes i andj is added, independently, with probabil-
   Φ (conductance)
                                                                                                                                                            ity pij = wi wj / k wk . We use G(w) to denote a random

                                                                             Φ (conductance)
                                                                                                                                                            graph generated in this manner.
                       -1                                                                           -1
                     10                                                                        10
                                                                                                                                                               The special case of the G(w) model in which w has a
                                                                                                                                                            power law distribution is of interest to us here. Given the
                                          Original network                                                             Original network
                     10-2
                            0            1
                                          Rewired network
                                                     2               3
                                                                                               10-2
                                                                                                     0         1
                                                                                                                       Rewired network
                                                                                                                           2       3          4
                                                                                                                                                            number of nodes n, the power-law exponent β, and the pa-
                         10           10          10           10                                  10        10      10      10        10
                                k (number of nodes in the cluster)                                       k (number of nodes in the cluster)                 rameters w and wmax , Chung and Lu [7] give the degree
                     (a) Pref. attachment                                                       (b) Copying model                                           sequence for a power-law graph:
                     10
                          0
                                                                                               10
                                                                                                    0                                                                wi = ci−1/(β−1) for i s.t. i0 ≤ i < n + i0 ,       (9)
                                                                                                                                                            where, for the sake of consistency with their notation, we
   Φ (conductance)

                                                                             Φ (conductance)
                     10-1                                                                      10-1                                                         index the nodes from i0 to n+i0 −1, and where c = c(β, w, n)
                                                                                                                                                            and i0 = i0 (β, w, n, wmax ) are as follows:
                                          Original network
                                          Rewired network
                                                                                                                       Original network
                                                                                                                       Rewired network
                                                                                                                                                                                                           β−1
                     10-2                                                                      10-2                                                                                                      w
                         10
                            0
                                   10
                                     1
                                          10
                                             2
                                                  10
                                                     3
                                                           10
                                                             4
                                                                   10
                                                                         5
                                                                                                   10
                                                                                                     0
                                                                                                              10
                                                                                                                   1
                                                                                                                       10
                                                                                                                               2
                                                                                                                                  10
                                                                                                                                          3
                                                                                                                                            10
                                                                                                                                                  4
                                                                                                                                                                    c = αwn1/(β−1) and i0 = n α                  ,  (10)
                                k (number of nodes in the cluster)                                       k (number of nodes in the cluster)                                                            wmax
  (c) Barabasi Hierarchical                                                                         (d) Geometric PA
                                                                                                                                                            where we have defined α = β−2 β−1
                                                                                                                                                                                             . In this case, one can verify
Figure 7: [Best viewed in color.] NCP for networks                                                                                                          that the number of vertices that have expected degree in the
from commonly network generation models. Red                                                                                                                range (k − 1, k] is proportional to k−β .
curves are Local Spectral Algorithm on the original                                                                                                            The following theorem will characterize the shape of the
network, and black curves are Local Spectral Algo-                                                                                                          NCP plot for this G(w) model when the degree distribution
rithm applied to a randomly rewired network.                                                                                                                follows Equation (9), with β ∈ (2, 3). The theorem makes
                                                                                                                                                            two complementary claims: (1) the model has clusters of log
                                                                                                                                                            size with logarithmically deep cuts; (2) once we get beyond
range of parameters, and in no case have we been able to
                                                                                                                                                            this size scale there do not exist any such deep cuts.
reproduce our empirical observations, at even a qualitative
level. In Figure 7, we summarize these results.                                                                                                                Theorem 1. Consider the random power-law graph model
   Figure 7(a) shows the NCP plot for a 10, 000 node network                                                                                                G(w), where w is given by Equation (9), where w > 5.88,
generated according to the original preferential attachment                                                                                                 and the power-law exponent β satisfies 2 < β < 3. Then,
model [1], where at each time step a node joins the graph                                                                                                   then with probability 1 − o(1):
and connects to m = 2 existing nodes. Note that the NCP                                                                                                       1. There exists
plot is very shallow and flat (even more than the correspond-                                                                                                                 a cut of size Θ(log n) whose conductance
                                                                                                                                                                         1
                                                                                                                                                                 is Θ log n .
ing rewired graph), and thus the network that is generated
is very expander-like at all size scales. In a different type                                                                                                  2. There exists c ,  > 0 such that there are no sets of size
of generative model edges are added via a copying mecha-                                                                                                         larger than c log n having conductance smaller than .
nism [18]. Figure 7(b) shows the results for a network with                                                                                                   Proof. See the journal version of this paper [23].
50, 000 nodes, generated with m = 2 and β = 0.05. Al-
                                                                                                                                                              Recall that when w ≥ 4e and β ∈ (2, 3) then a typical
though the copying model aims to produce communities by
                                                                                                                                                            graph in this model is not fully connected but does have a
linking a new node to neighbors of a existing node, this does
                                                                                                                                                            giant component [7]. (The well-studied Gn,p random graph
not seem to be the right mechanism to reproduce the NCP
                                                                                                                                                            model also has a similar regime when p ∈ (1/n, log n/n).)
plot since potential attachment nodes are all treated equally
                                                                                                                                                            In addition, under certain conditions, the average distance
and since new nodes always create same number of edges.
                                                                                                                                                            between nodes is in O (log log n) and yet the diameter of
   Next, in Figure 7(c), we consider a network that was de-
                                                                                                                                                            the graph is Θ (log n). Thus, in this case, the graph has an
signed to have a recursively hierarchical community struc-
ture [27]. In this case, however, the NCP plot is sloping                                                                                                   “octopus” structure, with a subgraph containing nc/(log log n)
downwards, and the local dips in the plot correspond to mul-                                                                                                nodes constituting a deep core of the graph [7], and numer-
tiples of the size of the basic module of the graph. Finally,                                                                                               ous “whiskers” attached.
Figure 7(d) shows the NCP plot for a geometric preferential                                                                                                 6.3 A more realistic model of network com-
attachment model [12]. This model aims to achieve a heavy-                                                                                                      munity structure
tailed degree distribution as well as deep cuts, and it does
                                                                                                                                                               We have seen that commonly-studied models, including
so by making the connection probabilities depend both on
                                                                                                                                                            preferential attachment models, copying models, simple hi-
the two-dimensional geometry and on the preferential at-
                                                                                                                                                            erarchical models, and models in which there is an under-
tachment scheme. As we see, the effect of the underlying
                                                                                                                                                            lying mesh-like or manifold-like geometry are not the right
geometry eventually dominates the NCP plot since the best
                                                                                                                                                            way to think about the network community structure. We
bi-partitions are fairly well-balanced [12].
                                                                                                                                                            have also seen that the extreme sparsity of the networks
                                                                                                                                                            might be responsible for the deep cuts at small sizes.
6.2 A very sparse random graph model                                                                                                                           The question arises as to whether we can find a simple gen-
  We have studied a random graph model with given ex-                                                                                                       erative model that can explain both the existence of small
pected degrees, as described by Chung and Lu [7]. Let                                                                                                       well-separated whisker-like clusters and also an expander-
n, the number of nodes in the graph, and a vector w =                                                                                                       like core whose best clusters get gradually worse as the pur-
(w1 , . . . , wn ), which will be the expected degree
                                                    sequence                                                                                               ported communities increase in size. Intuitively, a satisfac-
vector (where we will assume that maxi wi2 <          k wk ), be                                                                                            tory network generation model must successfully take into
given. Then, in this random graph model, an edge be-                                                                                                        account the following two mechanisms:

                                                                                                                                                      701
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

                     100                                                                         100
                                                                                                                                                                  to note is that since we are varying pf the four plots in Fig-
   Φ (conductance)                                                                                                                                                ure 8, we are viewing networks with very different densities.

                                                                               Φ (conductance)
                       -1                                                                             -1
                     10                                                                          10
                                                                                                                                                                  Next, notice that if, e.g., pf = 0.33 or pf = 0.35 then we
                     10
                       -2
                                                                                                 10
                                                                                                      -2                                                          observe a very natural behavior: the conductance nicely de-
                                                                                                                                                                  creases, reaches the minimum somewhere between 10 and
                       -3                                                                             -3
                     10                                                                          10
                          10
                               0
                                        10
                                          1
                                                 10
                                                    2
                                                            10
                                                              3
                                                                      10
                                                                           4
                                                                                                       10
                                                                                                            0
                                                                                                                     10
                                                                                                                       1
                                                                                                                              10
                                                                                                                                 2
                                                                                                                                         10
                                                                                                                                           3
                                                                                                                                                   10
                                                                                                                                                        4         100 nodes, and then slowly but not too smoothly increases.
                                   k (number of nodes in the cluster)                                           k (number of nodes in the cluster)
                                                                                                                                                                  Not surprisingly, it is in this parameter region where the
                          0                                                                           0
                     10                                                                          10
                                                                                                                                                                  Forest Fire Model has been shown to exhibit realistic time
                                                                                                                                                                  evolving graph properties such as densification and shrink-
   Φ (conductance)

                                                                               Φ (conductance)
                       -1
                     10

                                                                                                 10-1
                                                                                                                                                                  ing diameters [21, 22]. Next, notice that if pf is too low
                     10-2                                                                                                                                         or too high, then we obtain qualitatively different results.
                                                                                                                                                                  For example, if pf = 0.26, then the community profile plot
                     10-3                                                                        10-2
                         10
                            0
                                        10
                                          1
                                                 10
                                                    2
                                                            10
                                                              3
                                                                      10
                                                                           4
                                                                                                     10
                                                                                                        0
                                                                                                                     10
                                                                                                                       1
                                                                                                                              10
                                                                                                                                 2
                                                                                                                                         10
                                                                                                                                           3
                                                                                                                                                   10
                                                                                                                                                        4         gradually decreases for nearly the entire plot. For this choice
                                   k (number of nodes in the cluster)                                           k (number of nodes in the cluster)
                                                                                                                                                                  of parameters, the forest fire does not spread well since the
Figure 8: [Best viewed in color.] NCP plots for                                                                                                                   forward burning probability is too small, the network is ex-
the Forest Fire Model at various parameter settings.                                                                                                              tremely sparse and is tree-like with just a few extra edges,
The backward burning probability is pb = 0.3, and we                                                                                                              and so we get large well separated “communities” that get
increase (left to right, top to bottom) the forward                                                                                                               better as they get larger. On the other hand, when burning
burning probability pf = {0.26, 0.33, 0.35, 0.40}. Note                                                                                                           probability is too high, e.g., pf = 0.40, then the NCP plot
that the largest and smallest values for pf lead to                                                                                                               has a minimum and then rises extremely rapidly. For this
less realistic community profile plots.                                                                                                                           choice of parameters, if a node which initially attached to a
                                                                                                                                                                  whisker successfully burns into the core, then it quickly es-
                                                                                                                                                                  tablishes many successful connections to other nodes in the
 (a) The model should produce a relatively large number of
                                                                                                                                                                  core. Thus, the network has relatively large whiskers that
     relatively small—but still large when compared to ran-
                                                                                                                                                                  failed to establish such a connection and a very expander-
     dom graphs—well connected and distinct whisker-like
                                                                                                                                                                  like core, with no intermediate region, and the increase in
     communities. (This should reproduce the downward
                                                                                                                                                                  the community profile plot is quite abrupt.
     part of the community profile plot and the minimum
     at small size scales.)
 (b) The model should produce a large expander-like core,                                                                                                         7. DISCUSSION
     which may be thought of as consisting of intermingled
     communities, perhaps growing out from the whisker-                                                                                                           7.1 Comparison to ground truth communities
     like communities, the boundaries of which get less and                                                                                                         A common practice when evaluating community detection
     less well-defined as the communities get larger and                                                                                                           algorithms is to compare extracted communities with some
     larger and as they gradually blend in with rest of the                                                                                                       notion of “ground truth” (in a hope that extracted and true
     network. (This should reproduce the gradual upward                                                                                                           communities correspond). We have examined four networks
     sloping part of the community profile plot.)                                                                                                                  in which we have access to some notion of “ground truth”.

The so-called Forest Fire Model [21, 22] captures exactly                                                                                                            • LiveJournal [5] is an online blogging community where
these two competing phenomena. The Forest Fire Model is a                                                                                                              users create and then join groups. We view each such
model of graph generation (that generates directed graphs—                                                                                                             group as defining a “ground truth” community.
an effect we will ignore) in which new edges are added via a                                                                                                          • CA-DBLP [5] is a network in which nodes are authors
recursive “burning” mechanism in an epidemic-like fashion.                                                                                                             and edges connect authors co-authoring at least one
   Two properties of this model are particularly significant.                                                                                                           paper. Here, publication venues (e.g., journals, con-
First, although many nodes might form one or a small num-                                                                                                              ferences) play the role of “ground truth” communities.
ber of links, certain nodes can produce large conflagrations,                                                                                                         • AmazonProd [8] is a network linking products often
burning many edges and thus forming a large number of                                                                                                                  purchased together at amazon.com. Each item belongs
out-links before the process ends. Such nodes will help gen-                                                                                                           to one or more hierarchically organized categories, and
erate a skewed out-degree distribution, and they will also                                                                                                             products from the same category define a group which
serve as “bridges” that connect formerly disparate parts of                                                                                                            is a “ground truth” community.
the network. Second, there is a locality structure in that as                                                                                                        • AtM-IMDB is a bipartite actors-to-movies network.
each new node v arrives over time, it is assigned a “center of                                                                                                         For each movie we also know the language and the
gravity” in some part of the network, i.e., at the ambassador                                                                                                          country where it was produced. Countries and lan-
node w, and the manner in which new links are added de-                                                                                                                guages may be taken as “ground truth” communities.
pends sensitively on the local graph structure around node
w. See [21, 22] for details.                                                                                                                                         To examine the quality of “ground truth” communities
   The Forest Fire Model is parameterized by a forward burn-                                                                                                      in the these network datasets, one can take all groups and
ing probability pf and a backward burning probability pb ,                                                                                                        measure the conductance of the cut that separates the group
and, not surprisingly, the behavior of the model is sensi-                                                                                                        from the rest of the network. Thus, we generated NCP plots
tive to the choice of pf and pb . We have experimented with                                                                                                       in the following way. For every “ground truth” community,
a wide range of network sizes and values for these parame-                                                                                                        we measure its conductance, from which we obtain a scat-
ters, and in Figure 8, we show the community profile plots                                                                                                         ter plot of community size versus conductance. Then, we
of several 10, 000 node Forest Fire networks generated with                                                                                                       take the lower-envelope of this plot, i.e., for every k we find
pb = 0.3 and several different values of pf . The first thing                                                                                                       the conductance value of the community of size k that has

                                                                                                                                                            702
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

                        0                                                                        0
                   10                                                                       10
                                                                                                                                                             size of about 100, the “quality” of communities get worse and
                   10
                        -1                                                                                                                                   worse and communities more and more “blend into” the the
 Φ (conductance)

                                                                          Φ (conductance)
                                                                                                 -1
                                                                                            10

                   10
                        -2                                                                                                                                   graph. Eventually, even the existence of communities (at
                        -3
                                                                                            10
                                                                                                 -2                                                          least when viewed as sets with stronger internal than exter-
                   10
                                                                                                                                                             nal connectivity) is rather questionable. This seems to agree
                        -4                                                                       -3
                   10
                         100        101    102     103      104     105
                                                                                            10
                                                                                                  100         101    102     103      104     105
                                                                                                                                                             with Dunbar [11] who predicted that 150 is the upper limit
                                 k (number of nodes in the cluster)                                        k (number of nodes in the cluster)
                                                                                                                                                             on the size of a human community. Moreover, Allen [2] gives
                        (a) LiveJournal                                                               (b) CA-DBLP                                            evidence that on-line communities have around 60 members,
                   100                                                                      100
                                                                                                                                                             and on-line discussion forums start to break down at about
                                                                                                                                                             80 active contributors. Church congregations, military com-
 Φ (conductance)

                                                                          Φ (conductance)
                   10
                        -1
                                                                                            10
                                                                                                 -1
                                                                                                                                                             panies, divisions of corporations, all are close to the magic
                                                                                                                                                             sum of 150 [2]. We are thus led to ask: Why is community
                        -2                                                                       -2
                   10                                                                       10
                                                                                                                                                             quality inversely proportional to its size? And why are NCP
                   10
                        -3
                                                                                            10
                                                                                                 -3                                                          plots of small and large networks so different?
                             0       1      2      3      4       5                                    0       1     2      3     4      5         6
                         10        10    10     10      10     10                                 10         10   10     10     10     10     10
                                 k (number of nodes in the cluster)                                        k (number of nodes in the cluster)
                                                                                                                                                                Previous studies mainly focused on small networks (e.g.,
                        (c) AmazonProd                                    (d) AtM-Imbd Language                                                              see [9]), which are simply not large enough for the clusters to
                                                                                                                                                             gradually blend into one another as one looks at larger size
Figure 9: [Best viewed in color.] NCP plots for ex-                                                                                                          scales. Our results do not disagree with literature at small
plicitly “ground truth” communities (green), com-                                                                                                            sizes. But it seems that in order to make our observations
pared with that for the original network (red) and                                                                                                           one needs to look at large networks. Probably it is only
a rewired version of the network (black).                                                                                                                    when Dunbar’s limit is passed that we find large communi-
                                                                                                                                                             ties blurring and eventually vanishing. A second reason is
the lowest conductance. Figure 9 shows the results for these                                                                                                 that previous work did not measure and examine the net-
network datasets; the figure also shows the NCP plot ob-                                                                                                      work community profile of cluster size vs. cluster quality.
tained from using the Local Spectral Algorithm on both the                                                                                                      Another explanation could be that in small, carefully col-
original network (red) and on the rewired network (black).                                                                                                   lected networks, the semantics of edges is very precise while
   Several things should be noted. First, the conductance                                                                                                    in large networks we know much less about each particular
of “ground truth” communities follows that for the network                                                                                                   edge, e.g., especially in when online people have very differ-
communities up to until size 10-100 nodes, i.e., communities                                                                                                 ent criteria for calling someone a friend. Traditionally social
get successively more community-like. As “ground truth”                                                                                                      scientists through questionnaires “normalized” the links by
communities get larger, their conductance values tend to                                                                                                     making sure each link has the same semantics/strength.
get worse and worse, in agreement with network communi-                                                                                                         There has also been some evidence that hints towards the
ties discovered with graph partitioning approximation algo-                                                                                                  findings we make here. For example, Clauset et al. [8] ana-
rithms. Thus, the qualitative trend we observed in nearly                                                                                                    lyzed community structure of the AmazonProd, and found
every large sparse real-world network (of the best communi-                                                                                                  that 50% of the nodes belonged to the largest “miscella-
ties blending in with the rest of the network as they grow in                                                                                                neous” community. This agrees with the typical size of the
size) is seen to hold for “ground truth” communities. Second,                                                                                                network core (as defined in Section 4.1), and one could con-
one might expect that the NCP plot for the “ground truth”                                                                                                    clude that the largest community they found corresponds
communities (the green curves) will be somewhere between                                                                                                     to the intermingled core of the network, and the rest of the
the NCP plot of the original network (red curve) and that                                                                                                    communities are whisker-like.
for the rewired network (black), and this is seen to be the                                                                                                     Our work also raises an important question of what is a
case in general. The NCP plot for network communities                                                                                                        natural community size, and whether larger communities (in
goes much deeper and rises more gradually than for “ground                                                                                                   a network sense) even exist. It seems that when community
truth” communities. This is also very consistent with our                                                                                                    size surpasses some threshold it becomes so diverse, that it
general observation that only small communities tend to be                                                                                                   stops existing as a traditionally understood “network com-
dense and well separated, and to separate large groups one                                                                                                   munity”. It blends with the network, and intuitions based on
has to cut disproportionately many edges. Third, for the two                                                                                                 connectivity and cuts seem to fail to identify it. Approaches
social networks we studied (LiveJournal and CA-DBLP),                                                                                                        that consider both the network structure and node attribute
larger “ground truth” communities have conductance scores                                                                                                    data might detect communities in these cases.
that get quite “random”, i.e., they are as well separated as                                                                                                    Also, conductance seems like a very reasonable measure
they would be in a randomly rewired network (green and                                                                                                       that satisfies intuition about community quality, but we have
black curves overlap). This is likely associated with the rel-                                                                                               seen that if one only worries about conductance, then bags
atively weak and overlapping notion of “ground truth” we                                                                                                     of whiskers and other internally disconnected sets have the
associated with those two network datasets. On the other                                                                                                     best scores. This raises interesting questions about cluster
hand, for AmazonProd and AtM-IMDB networks, the                                                                                                              coherence, regularization and smoothness: what is a good
general trend still remains but large “ground truth” com-                                                                                                    definition of coherence, and how should this be connected
munities have conductance scores that lie well below the                                                                                                     to the notion of community separability.
rewired network curve.
                                                                                                                                                             8. CONCLUSION
7.2 Broader implications                                                                                                                                        We investigated statistical properties of sets of nodes in
   In contrast to numerous studies of community structure,                                                                                                   large real-world social and information networks that could
we find that the best communities are relatively small with                                                                                                   plausibly be interpreted as good communities, and we dis-
sizes only up to about 100 nodes. We also find that above                                                                                                     covered that community structure in these networks is very

                                                                                                                                                       703
WWW 2008 / Refereed Track: Social Networks & Web 2.0 - Discovery and Evolution of Communities

different than what we expected from the literature and from            [15] S. Hoory, N. Linial, and A. Wigderson. Expander graphs
what commonly-used models would suggest. The most strik-                    and their applications. Bulletin of the American
ing example of this is that, in nearly every network dataset                Mathematical Society, 43:439–561, 2006.
we examined, the conductance score of the best possible                [16] R. Kannan, S. Vempala, and A. Vetta. On clusterings:
                                                                            Good, bad and spectral. Jour. of the ACM, 51(3), 2004.
set of nodes gets gradually worse and worse as those sets
                                                                       [17] G. Karypis and V. Kumar. A fast and high quality
increase in size. This suggests that that larger and larger                 multilevel scheme for partitioning irregular graphs. SIAM
clusters are “blended in” more and more with the rest of the                Journal on Scientific Computing, 20:359–392, 1998.
network. Our interpretation is that if a concept like conduc-          [18] R. Kumar, P. Raghavan, S. Rajagopalan, D. Sivakumar,
tance captures our intuitive notion of community goodness                   A. Tomkins, and E. Upfal. Stochastic models for the web
and if we model large networks with interaction graphs, then                graph. In FOCS ’00: Proceedings of the 41st Annual
the best possible communities get less and less community-                  Symposium on Foundations of Computer Science, 2000.
like as they grow in size. Our work opens several new ques-            [19] K. Lang and S. Rao. A flow-based method for improving
                                                                            the expansion or conductance of graph cuts. In IPCO ’04:
tions about the structure of large social and information                   Proceedings of the 10th International Conf. on Integer
networks in general, and it has implications for the use of                 Programming and Combinatorial Optimization, 2004.
graph partitioning algorithms on real-world networks and               [20] T. Leighton and S. Rao. Multicommodity max-flow
for detecting communities in them.                                          min-cut theorems and their use in designing approximation
                                                                            algorithms. Journal of the ACM, 46(6):787–832, 1999.
Acknowledgement                                                        [21] J. Leskovec, J. Kleinberg, and C. Faloutsos. Graphs over
                                                                            time: densification laws, shrinking diameters and possible
We thank Reid Andersen, Christos Faloutsos and Jon Klein-                   explanations. In KDD ’05: Proceeding of the 11th ACM
berg for discussions, Lars Backstrom for data, and Arpita                   SIGKDD International Conference on Knowledge
Ghosh for assistance with the proof of Theorem 1.                           Discovery in Data Mining, pages 177–187, 2005.
                                                                       [22] J. Leskovec, J. Kleinberg, and C. Faloutsos. Graph
9.   REFERENCES
                                                                            evolution: Densification and shrinking diameters. ACM
                                                                            Transact. on Knowledge Discovery from Data, 1(1), 2007.
 [1] R. Z. Albert and A-L. Barabási. Emergence of scaling in          [23] J. Leskovec, K.J. Lang, A. Dasgupta, and M.W. Mahoney.
     random networks. Science, 286(5439):509–512, 1999.                     Statistical properties of community structure in large social
 [2] Christopher Allen. Life with alacrity: The Dunbar number               and information networks. Manuscript.
     as a limit to group sizes, http://www.lifewithalacrity.
                                                                       [24] M.E.J. Newman. Detecting community structure in
     com/2004/03/the_dunbar_numb.html, 2004.                                networks. The European Physical J. B, 38:321–330, 2004.
 [3] R. Andersen, F.R.K. Chung, and K. Lang. Local graph               [25] M.E.J. Newman. Finding community structure in networks
     partitioning using PageRank vectors. In FOCS ’06:                      using the eigenvectors of matrices. Phys. Rev. E, 74, 2006.
     Proceedings of the 47th Annual IEEE Symposium on
     Foundations of Computer Science, pages 475–486, 2006.             [26] M.E.J. Newman. Modularity and community structure in
                                                                            networks. Proceedings of the National Academy of Sciences
 [4] S. Arora, S. Rao, and U. Vazirani. Expander flows,
                                                                            of the United States of America, 103(23):8577–8582, 2006.
     geometric embeddings and graph partitioning. In STOC
     ’04: Proceedings of the 36th annual ACM Symposium on              [27] E. Ravasz and A.-L. Barabási. Hierarchical organization in
                                                                            complex networks. Physical Review E, 67:026112, 2003.
     Theory of Computing, pages 222–231, 2004.
                                                                       [28] M. Richardson, R. Agrawal, and P. Domingos. Trust
 [5] L. Backstrom, D. Huttenlocher, J. Kleinberg, and X. Lan.
     Group formation in large social networks: membership,                  management for the semantic web. In ISWC ’03:
     growth, and evolution. In KDD ’06: Proceedings of the                  Proceedings of the 2nd International Semantic Web
     12th ACM SIGKDD International Conference on                            Conference, pages 351–368, 2003.
     Knowledge Discovery and Data Mining, pages 44–54, 2006.           [29] M. Ripeanu, I. Foster, and A. Iamnitchi. Mapping the
 [6] F.R.K. Chung. Spectral graph theory, volume 92 of CBMS                 gnutella network: Properties of large-scale peer-to-peer
     Regional Conference Series in Mathematics. AMS, 1997.                  systems and implications for system design. IEEE Internet
                                                                            Computing, 6(1):50–57, 2002.
 [7] F.R.K. Chung and L. Lu. Complex Graphs and Networks,
     volume 107 of CBMS Regional Conference Series in                  [30] S.E. Schaeffer. Graph clustering. Computer Science
                                                                            Review, 1(1):27–64, 2007.
     Mathematics. AMS, 2006.
                                                                       [31] J. Shi and J. Malik. Normalized cuts and image
 [8] A. Clauset, M.E.J. Newman, and C. Moore. Finding
     community structure in very large networks.                            segmentation. IEEE Transcations of Pattern Analysis and
     arXiv:cond-mat/0408187, August 2004.                                   Machine Intelligence, 22(8):888–905, 2000.
 [9] L. Danon, J. Duch, A. Diaz-Guilera, and A. Arenas.                [32] D.A. Spielman and S.-H. Teng. Spectral partitioning works:
     Comparing community structure identification. Journal of                Planar graphs and finite element meshes. In FOCS ’96:
                                                                            Proceedings of the 37th Annual IEEE Symposium on
     Statistical Mechanics: Theory and Experiment,
     29(09):P09008, 2005.                                                   Foundations of Computer Science, pages 96–107, 1996.
[10] I.S. Dhillon, Y. Guan, and B. Kulis. Weighted graph cuts          [33] S.L. Tauro, C. Palmer, G. Siganos, and M. Faloutsos. A
     without eigenvectors: A multilevel approach. IEEE                      simple conceptual model for the internet topology. In
     Transactions on Pattern Analysis and Machine                           GLOBECOM ’01: Global Telecommunications Conference,
     Intelligence, 29(11):1944–1957, 2007.                                  pages 1667–1671, 2001.
[11] Robin Dunbar. Grooming, Gossip, and the Evolution of              [34] D.J. Watts and S.H. Strogatz. Collective dynamics of
     Language. Harvard Univ Press, October 1998.                            small-world networks. Nature, 393:440–442, 1998.
[12] A.D. Flaxman, A.M. Frieze, and J. Vera. A geometric               [35] W.W. Zachary. An information flow model for conflict and
     preferential attachment model of networks. In WAW ’04:                 fission in small groups. Journal of Anthropological
                                                                            Research, 33:452–473, 1977.
     Proceedings of the 3rd Workshop On Algorithms And
     Models For The Web-Graph, pages 44–55, 2004.                      [36] C.T. Zahn. Graph-theoretical methods for detecting and
[13] M. Gaertler. Clustering. In U. Brandes and T. Erlebach,                describing gestalt clusters. IEEE Transactions on
     editors, Network Analysis: Methodological Foundations,                 Computers, C-20(1):68–86, 1971.
     pages 178–215. Springer, 2005.                                    [37] Y. Zhao and G. Karypis. Empirical and theoretical
[14] J. Gehrke, P. Ginsparg, and J. Kleinberg. Overview of the              comparisons of selected criterion functions for document
                                                                            clustering. Machine Learning, 55:311–331, 2004.
     2003 KDD Cup. SIGKDD Explorations, 5(2), 2003.

                                                                 704
You can also read
NEXT SLIDES ... Cancel