# Cliques and cavities in the human connectome

- 2k Downloads
- 1 Citations

## Abstract

Encoding brain regions and their connections as a network of nodes and edges captures many of the possible paths along which information can be transmitted as humans process and perform complex behaviors. Because cognitive processes involve large, distributed networks of brain areas, principled examinations of multi-node routes within larger connection patterns can offer fundamental insights into the complexities of brain function. Here, we investigate both densely connected groups of nodes that could perform local computations as well as larger patterns of interactions that would allow for parallel processing. Finding such structures necessitates that we move from considering exclusively pairwise interactions to capturing higher order relations, concepts naturally expressed in the language of algebraic topology. These tools can be used to study mesoscale network structures that arise from the arrangement of densely connected substructures called *cliques* in otherwise sparsely connected brain networks. We detect cliques (all-to-all connected sets of brain regions) in the average structural connectomes of 8 healthy adults scanned in triplicate and discover the presence of more large cliques than expected in null networks constructed via wiring minimization, providing architecture through which brain network can perform rapid, local processing. We then locate *topological cavities* of different dimensions, around which information may flow in either diverging or converging patterns. These cavities exist consistently across subjects, differ from those observed in null model networks, and – importantly – link regions of early and late evolutionary origin in long loops, underscoring their unique role in controlling brain function. These results offer a first demonstration that techniques from algebraic topology offer a novel perspective on structural connectomics, highlighting loop-like paths as crucial features in the human brain’s structural architecture.

## Keywords

Applied topology Persistent homology Network neuroscience## 1 Introduction

Macroscopic computation and cognition in the human brain are affected by an intricately interconnected collection of neurophysical mechanisms (Bassett et al. 2010; Sporns et al. 2005). Unlike modern parallel computers, which operate through vast numbers of programs running in tandem and in isolation from one another, neural processes are supported on anatomically specialized brain regions that constantly share information among themselves through a network of white matter tracts (Hagmann et al. 2008). One approach for understanding the function of such a system begins with studying the organization of this white matter substrate using the language of networks (Sporns 2015; Bassett et al. 2011; Sporns 2013). Collections of regions that are pairwise tightly interconnected by large tracts, known as communities (Porter et al. 2009), modules (Meunier et al. 2009), and rich clubs (van den Heuvel and Sporns 2011; Senden et al. 2014), have been the subject of substantial prior study. Moreover, they have given critical insights into the large-scale structural units of the brain that give rise to many common cognitive functions (Chen et al. 2008; Medaglia et al. 2015). Such communities easily and rapidly transmit information among their members, facilitating local integration of information (Sporns and Betzel 2016).

Often left implicit in analyzes of structural networks, the *weakness* of connections to external regions is equally as important as the *strength* of internal connections within the community. This tendency to focus on strongly connected local regions arises naturally because standard network analyzes are based on local properties of the network at individual vertices, where local edge strength is the primary feature (Bassett and Bullmore 2006; Bullmore and Sporns 2009; Bullmore and Bassett 2011); the particular choice of quantitative language serves as a filter that diverts attention toward certain facets of the system. However, if one takes a more macro-scale view of the network, the small or absent white matter tracts intuitively serve to isolate processes carried on the strong white matter tracts from one another. Such structure facilitates more traditional conceptual models of parallel processing, wherein data is copied or divided into multiple pieces in order to rapidly perform distinct computations, and then recombined (Graham and Rockmore 2011). Together, the two notions of dense cliques and information-distributing cavities provide a picture of a system that performs complex computations by decomposing information into coherent pieces to be disseminated to local processing centers, and then aggregating the results.

To quantitatively characterize this macroscale structure, we must move from the language of graph theory to algebraic topology, which is sensitive to the interplay between weak and strong connections in systems (Ghrist 2008, 2014). In order to understand the interplay between strong and weak connections in the brain, we make use of two related lenses from algebraic topology. The first is an enumeration of the cliques, all-to-all connected subgraphs of the network, representing strongly-interconnected computational units. The number and size of such units gives a general sense for how intense local connections are across the brain. However, just as important is their context in the brain network: identical collections of processing units can be configured to perform very different tasks, depending on the way they pass information among themselves. Thus, we consider also how the cliques are arranged on a mesoscale level by examining the cycles they form. These structures, and the cavities they enclose, provide potential pathways along which data is disseminated and collected. Cycles enclosing voids correspond to extended paths of potential information transmission along which computations can be performed serially to effect cognition in either a divergent or convergent manner (i.e., distribution or integration of information), and we refer to these “enclosed spaces” as *topological cavities* in the network. We hypothesize that the spatial distributions of cliques and cavities will differ in their anatomical locations, corresponding to their differential putative roles in neural computations. Combined, these two perspectives provide a more complete view of the network’s capabilities than either does separately.

To test our predictions, we construct structural brain networks from diffusion spectrum imaging (DSI) data acquired from eight volunteers in triplicate. We measure node participation in cliques and compare these with a minimally wired null model (Betzel et al. 2016). To ensure this is an appropriate language for the structural connectome and to build intuition for later methods, we also demonstrate the correspondence between the anatomical location of cliques and the anatomical location of the brain’s hubs and structural rich club: a group of hubs that are densely connected to one another. Next, we study topological cavities using a recently developed method from algebraic topology which detects the presence and robustness, summarized by a quantity called *persistence,* of cavities in the network architecture. We recover all minimal length cycles corresponding to four highly persistent topological cavities in the consensus structure, and show that these features are robustly present across subjects through multiple scans. Our results demonstrate that while cliques are observed in the structural core, cycles enclosing topological cavities are observed to link regions of subcortex, frontal cortex, and parietal cortex in long loops, underscoring their unique role in controlling brain function (Gu et al. 2015a; Betzel et al. 2016; Muldoon et al. 2016b).

## 2 Materials and methods

### 2.1 Data acquisition, preprocessing, and network construction

Diffusion spectrum imaging (DSI) data and T1-weighted anatomical scans were acquired from eight healthy adult volunteers on 3 separate days (27 ± 5years old, two female, and two left-handed) (Gu et al. 2015a). All participants provided informed consent in writing according to the Institutional Review Board at the University of California, Santa Barbara. Whole-brain images were parcellated into 83 regions (network nodes) using the Lausanne atlas (Hagmann et al. 2008), and connections between regions (network edges) were weighted by the number of streamlines identified using a determistic fiber tracking algorithm. We represent this network as a graph *G*(*V*,*E*)on *V* nodes and *E* edges, corresponding to a weighted symmetric adjacency matrix **A**. For clique calculations in the main text, the original network (*ρ* = 0.9552) was thresholded at *ρ* = 0.25(corresponding to a weight = 261) to remove spurious connections (Zalesky et al. 2010; Zalesky et al. 2016; van den Heuvel et al. 2012) and for consistency with previous work (Sizemore et al. 2016). See Supporting Information and Refs (Cieslak and Grafton 2014; Gu et al. 2015a) for detailed descriptions of acquisition parameters, data preprocessing, and fiber tracking. In the supplement, we provide additional results for the case in which we correct edge weight definitions for the effect of region size Fig. 23.

### 2.2 Cliques *versus* cycles

In a graph *G*(*V*,*E*)a *k*-clique is a set of *k* all-to-all connected nodes. It follows that any subset of a *k*-clique is a clique of smaller degree, called a face. Any clique that is not a face we call maximal. To assess how individual nodes contribute to these structures, we define node participation in maximal *k*-cliques as *P* _{ k }(*v*), and we record the total participation of a node as \(P(v) = {\sum }_{k = 1}^{n}P_{k}(v)\).

To detect cycles which enclose topological cavities, we computed the *persistent homology* using (Henselman and Ghrist 2016). We restrict our attention to dimensions 1–2 after finding no persistent features in dimension 3 (Sizemore et al. 2016).

*G*

_{0}and adding back one edge at a time following the decreasing edge weight ordering. To ensure all edge weights are unique we added random noise uniformly sampled from [0,0.0001]. However, this has essentially no effect on the persistence diagrams, as stability theorems ensure that small perturbation of the filtration leads to small perturbation of the persistent homology (Chowdhury and Mémoli 2016; Cohen-Steiner et al. 2007). Noise can have a small effect on cycle representatives but in this study a great majority of edges within the thresholded networks are unique so the noise is not expected to largely alter cycle representatives – only to order those edges with tied edge weights.

Within each binary graph of this filtration, we extract the collection of all *k-cycles*, families of (*k* + 1)-cliques which, when considered as a geometric object, form a closed shell with no boundary. Formally, as we are working with coefficients in \(\mathbb {Z}_{2}\), these are collections of (*k* + 1)-cliques {*σ* _{1},…*σ* _{ n }} such that every *k*-subclique of some *σ* _{ i }(called a *boundary*) appears as a subclique in the collection an even number of times. Two *k*-cycles are *equivalent* if they differ by a boundary of *k* + 1-cliques. This relation forms equivalence classes of cycles with each non-trivial equivalence class representing a unique topological cavity. (In the mathematical literature, these are called *non-trivial homology classes*. However, due to the extensive and potentially confusing collision with the use of the word “homology” in the study of brain function, here we elect to use this new terminology outside of references and necessary mathematical discussion in the Methods and Supplementary Information. Throughout, the word “homology” refers to the mathematical, rather than the biological, notion.)

Constructing the sequence of binary graphs allows us to follow equivalence classes of cycles as a function of the edge density *ρ*. Important points of interest along this sequence are the edge density associated with the first *G* _{ i } in which the equivalence class is found (called the birth density, *ρ* _{ b i r t h }) and the edge density associated with the first *G* _{ i }in which the enclosed void is triangulated into higher dimensional cliques (called the death density, *ρ* _{ d e a t h }). One potential marker of the relative importance of a persistent cavity to the weighted network architecture is its *lifetime* (*ρ* _{ d e a t h } − *ρ* _{ b i r t h }). A large lifetime indicates topological cavities that persist over many edge additions, suggesting a greater importance of that cavity to the intrinsic structure of the complex. An alternative measure is the death to birth ratio *π* = *ρ* _{ d e a t h }/*ρ* _{ b i r t h } which highlights topological cavities that survive exceptionally long in spite of being born early, a feature that is interesting in geometric random graphs (see Bobrowski et al. 2015 and Supporting Information).

To study the role of each topological cavity in cognitive function, we extract the minimal representatives of each non-trivial equivalence class at the birth density. For unfiltered complexes, the problem of finding a minimal generator for a given homology class is well known to be intractable (Chen and Freedman 2011; Dey et al. 2011). However, leveraging the filtration, we are able to answer the corresponding question in this context with relative ease. We used the persistent homology software Eirene (Henselman and Ghrist 2016) which returns the birth density and consequentially the starting edge of each persistent homology class. To recover the minimal cycle, we threshold the network at the density immediately preceding *ρ* _{ b i r t h }, then perform a breadth-first search (Rubinov and Sporns 2010) for a path from one vertex to the other, taking all minimum length paths as solutions. If for one persistent cavity we find multiple possible minimum-length paths arising from different equivalence classes, we still record and analyze each of the possible minimal generators, since any could be the homology class. For higher dimensional cycles we perform a similar process by hand, but we note that they could be algorithmically identified using appropriate generalizations of the graph search method and other approaches (Dey et al. 2011).

### 2.3 Standard graph statistics

In addition to the notions of cliques and cavities from algebraic topology, we also examined corresponding notions from traditional graph theory including communicability and rich-club architecture, computed using the Brain Connectivity Toolbox (Rubinov and Sporns 2010).

*i*and

*j*is

*D*:= diag(

*s*

_{ i }) for

*s*

_{ i }the strength of node

*i*in the adjacency matrix

**A**, providing a normalization step where each

*a*

_{ i j }is divided by \(\sqrt {d_{i}d_{j}}\) (Crofts and Higham 2009; Estrada and Hatano 2008). This statistic accounts for all walks between node pairs and scales the walk contribution according to the product of the component edge weights. The statistic also normalizes node strength to prevent high strength nodes from skewing the walk contributions. We refer to the sum of a node’s communicability with all other nodes as node communicability,

*C*

_{ i }.

*k*we compute the weighted rich club coefficient

*W*

_{>k }is the summed weight of edges in the subgraph composed of nodes with degree greater than

*k*,

*E*

_{>k }is the number of edges in this subgraph, and \(w_{l}^{ranked}\) is the

*l*-th greatest edge weight in

**A**. Rich club nodes are those that exist in this subgraph when

*ϕ*

^{ w }(

*k*) is significantly greater (one sided

*t*-test) than \(\phi ^{w}_{random}(k)\), the rich club coefficient calculated from 1000 networks constructed by randomly rewiring the graph

**A**while preserving node strength (Rubinov and Sporns 2010).

Furthermore, highly participating nodes may also contribute to a hierarchical organization of the network. To evaluate this contribution, we compute the *k*-core and *s*-core decompositions of the graph (Hagmann et al. 2008; Chatterjee and Sinha 2007). The *k*-core is the maximally connected component of the subgraph with only nodes having degree greater than *k*. The *s*-core is similarly defined with summed edge weights in the subgraph required to be at least *s*.

### 2.4 Null model construction

We sought to compare the empirically observed network architecture to that expected in an appropriate null model. Due to the well-known spatial constraints on structural brain connectivity (Klimm et al. 2014; Lohse et al. 2014; Bullmore and Sporns 2012; Betzel et al. 2016) as well as the similarity in mesoscale homological features to the Random Geometric network (Sizemore et al. 2016) we considered a minimally wired network in which nodes are placed at the center of mass of anatomical brain regions. Each pair of nodes are then linked by an edge with weight *w* _{ i,j } = 1/*d*(*i*,*j*), where *d*(*i*,*j*)is the Euclidean distance between nodes *i* and *j*. For consistency with the empirical data, we threshold this complete weighted network at an edge density of 0.25 for analyzes in which the DSI network is also thresholded. In each scan, the locations of region centers were collected. Thus, we considered a population of 24 model networks where differences between model networks arise from differences between scans. This null model allows us to assess what topological properties are driven by the precise spatial locations of brain regions combined with a stringent penalty on wiring length. Note that defining edge weights to be the inverse pairwise distance between points creates a filtered complex similar to that of either the Vietoris-Rips (Vietoris 1927; Hausmann et al. 1995) or Čech complex with an axis adjusted for edge rank instead of weight. We use the edge rank filtration for the null model here for consistency with the empirical data. Many ways of constructing simplicial complexes from graphs exist (Bergomi et al. 2017) but we have chosen the above methods because they are reletaively well understood and do not require further assumptions about the data.

### 2.5 Cycles in individuals

Though we detected persistent cavities in the group-averaged DSI network using persistent homology, we also ask whether these patterns of connectivity and the corresponding cavities exist in multiple individuals and in multiple scans acquired from the same individual. To address this question, we asked whether a similar geometric loop is seen and whether a similar topological cavity is present in each scan. However, identifying similar topological cavities is not trivial and we next thoroughly discuss our method including our definition of “similar topological cavities”.

#### 2.5.1 Considerations in per scan cycle validation

Persistent homology is a powerful tool with which to understand the mesoscale homological features of a weighted network. Determining all minimal generators for each of the long-lived topological cavities gives a finer resolution of such features, which can have biological implications as is the case with our DSI data. Isolating all minimal generators for each homology class additionally gives a geometric interpretation to these cavities. Then each cavity can be viewed from a biological, topological, and to a lesser extent geometric perspective.

This presents a challenge when looking for the “same” persistent homology classes in another clique complex. From the neuroscience perspective, two minimal cycles may be similar if the cycles include the same brain regions, or if the group of regions forming the second cycle performs the same function as those in the first. Geometrically we would perhaps require the same rigid shape of two cycle representatives to call them similar. Finally, through the lens of topology we might call two minimal cycles in two different complexes similar if we can find a map between the complexes which takes one cycle to the other. Less abstractly, we could instead ask if the minimal cycle of a homology class in the first clique complex exists in the second as a cycle in a nontrivial homology class but not necessarily as the minimal generator. The development of other definitions is an area of active research (Carlsson and De Silva 2010; Dey et al. 2014).

Because no universal method is available, we opt for a domain-specific heuristic to determine whether a persistent homology class found in an individual scan was the “same” as the persistent homology class in the average network. These requirements for similarity adequately capture some flexibility of topological similarity while being conservative enough to generally preserve the biological function of the cycle as well.

*ρ*

_{ b i r t h }by

*L*with elements

*ℓ*

_{ i }for

*i*= 0,1,2,...

*m*. Then for each

*ℓ*

_{ i }there is a set of nodes

*N*

_{ i }containing the nodes within this representative. We require both a non-trivial cycle formed by connections between at least one of

*N*

_{0},

*N*

_{1},…,

*N*

_{ m }and a similar topological cavity to exist.

- 1.
Nodes connected in a cycle. We first take the subgraph on

*N*_{ i }and ask if there is precisely one non-trivial homology class at any edge density. We then show the connection pattern at the edge density at which this class first appears. This first allows us to ask if these nodes ever form a non-trivial cycle throughout the filtration, which is possibly of interest from a geometric and neuroscience perspective. We also use this first test as a filter to see in which scans could these nodes surround a topological cavity. Then if we find a non-trivial cycle formed by any of*N*_{0},*N*_{1},…,*N*_{ m }, this scan passes to the next stage. - 2.Similar topological cavity. We then ask if a similar topological cavity exists. The algorithm from Henselman and Ghrist (2016) returns the birth density (and thus birth edge) of each persistent homology class. In order of increasing birth density, we ask if any of the nodes in
*N*_{0},*N*_{1},…,*N*_{ m }are in the birth edge. If this is true, we call this a similar cavity in an individual scan if any of the following hold:- (a)
Let

*m*_{0},…,*m*_{ k }be minimal generators of this homology class in the individual scan at*ρ*_{ b i r t h }. If any of*m*_{0},…,*m*_{ k }are the same as one of*ℓ*_{0},…,*ℓ*_{ M }or are in the same equivalence class, then we call this a similar topological cavity and we are done. This is the most straightforward and was most frequently observed within the unnormalized data. - (b)
If there is some cycle within this non-trivial homology class at

*ρ*_{ b i r t h }formed by at least all but one node of some*N*_{ i }, along with no more than two additional nodes, and nodes from*N*_{ i }are in the original order along the cycle, we call this similar. - (c)
If either

*(a)*or*(b)*hold for some*ρ*with*ρ*_{ b i r t h }≤*ρ*<*ρ*_{ d e a t h }, we call this a similar topological cavity. At*ρ*_{ b i r t h }, a minimal cycle contains seven nodes, four of which are the thalamus and caudate nucleus from both hemispheres. Following the minimal cycles throughout the lifetime of this persistent cavity we find at some edge density before*ρ*_{ d e a t h }, a minimal representative consists of exclusively the thalamus and caudate nucleus regions from both hemispheres.

- (a)

The first test covers the possibility of the same biological and geometric feature occurring in the individual scan. The second is perhaps the most important, however, because it allows for matching the topological cavity itself. It is important to remember that the topological cavities are the features of interest, not the precise cycles themselves, though the two are clearly related. With the focus on the topological holes, the rationale for the three subrules 2a, 2b, and 2c, is more clear. Though labor intensive, this lets us keep the topological perspective when determining cycle similarity. Moreover, the rationale for focusing on cavities and not specific connections is similar to why large-scale organization such as communities (Betzel et al. 2016), cores (Hagmann et al. 2008), and rich-club organization (van den Heuvel and Sporns 2011) are studied with increased intensity. Composed of a plurality of interacting brain regions, these types of structures, and not the individual brain regions nor connections, form computational units that theoretically act to help segregate and integrate information flow across the brain.

One clear drawback of this method is the possibility of false negatives. For example, a persistent homology class may have been born which is similar to the cycle in the average data, yet the beginning edge did not include any of the cycle nodes and thus we would not detect this following the above procedure. This is a first attempt to identify similar topological cavities across subjects, and we expect more robust algorithms to be a topic of future research.

## 3 Results

### 3.1 Cliques in the human structural connectome

Here, we use the group-averaged network thresholded at an edge density (*ρ*) of 0.25 to remove spurious edges (Zalesky et al. 2010, 2016; van den Heuvel et al. 2012) and for consistency with previous studies (Sizemore et al. 2016). Results at other densities are similar, and details can be found in the Appendix. As a null-model, we use minimally wired networks (Fig. 1d) created from assigning edge weights to the inverse Euclidean distance between brain region centers (see Methods) observed in each of 24 scans. This model mimics the tendency of the brain to conserve wiring cost by giving edges that connect physically close nodes higher weight than edges between distant nodes.

The first step in a topological analysis is an enumeration of all maximal *k*-cliques in the average structural network. Recall that a *k*-clique is a set of *k* nodes having all pairwise connections (see Fig. 1b for 2-, 3-, and 4-cliques representing edges, triangles, and tetrahedra, respectively.) By definition, a subgraph of a clique will itself be a clique of lower dimension, called a *face*. A *maximal* clique is one that is not a face of any other (see Fig. 1c for a maximal 4-clique, which contains 3-, 2-, and 1-cliques as faces).

*k*-cliques in which a node is a member, and refer to this value as the node participation,

*P*

_{ k }(

*v*) (see Methods). Summing over all

*k*gives the total participation,

*P*(

*v*). We observe that the distribution of maximal clique degrees is unimodal in the minimally wired null model and qualitatively bimodal in the empirical data (see Fig. 2a), though we report statistically that we cannot reject that it is unimodal (

*p*= 0.210, dip test (Hartigan and Hartigan 1985)). Anatomically, we observe a general progression of maximal clique participation from anterior to posterior regions of cortex as we detect higher degrees (Fig. 2a, bottom and Fig. 8). Indeed, maximal cliques of 12–16 nodes contain nearly all of the visual cortex. This spatial distribution suggests that large interacting groups of brain regions are required for early information processing, while areas of frontal cortex driving higher-order cognition utilize smaller working clusters. We also observe that the human brain displays preferences for small (4–6 node), and large (12–16 node) processing units instead of medium-sized (approximately 8 node) units as in the minimally wired null model.

The anterior-posterior gradient of maximal clique size can be complemented by additionally analyzing regional variation in the cognitive computations being performed. Specifically, we ask whether node participation in maximal cliques differs in specific cognitive systems (Power et al. 2011) (Fig. 2b). We observe that the largest maximal cliques are formed by nodes located almost exclusively in the subcortical, dorsal attention, visual, and default mode systems, suggesting that these systems are tightly interconnected and might utilize robust topologically-local communication. This spatial distribution of the participation in maximal cliques differs significantly from the minimally wired null model, particularly in the cingulo-opercular and subcortical systems. We hypothesized that these differences may be driven by the excess of maximal 8-cliques in the minimally wired network (Fig. 2a). Expanding on the difference in node participation (\(P_{k}^{DSI}(v) - P_{k}^{MW}(v)\)), we see that the large discrepancies between empirical and null model networks in cingulo-opercular and subcortical systems are caused by a difference in maximal cliques of approximately eight nodes (Fig. 2b, bottom). Finally, we observe that the systems involved in the two peaks of the maximal clique distribution shown in Fig. 2a differ greatly from one another. The first peak composed of smaller cliques involves regions from nearly all systems, while the second peak is almost exclusively composed of regions in the default mode, subcortical, and visual systems. We observe the largest cliques in the subcortical, default mode, dorsal attention, and visual systems, though only the visual and dorsal attention systems have maximal clique distributions with significantly higher means than the rest of the brain regions (*p* << 0.001, *p* < 0.05, respectively). These data suggest that small, local processors may be a common feature across systems, while larger cliques may allow for rapid multi-system cross-talk.

*k*-cliques, behave consistently with more common graph theoretic metrics. A node with high participation in maximal cliques must in turn be well connected locally (though the converse is not necessarily true – consider a node that only participates in one maximal 16-clique). Therefore we expect the participation of a node to act similarly to other measures of connectivity. To test this expectation, we examine the correlation of node participation with node strength, the summed edge weight of connections emanating from a node, as well as with node communicability, a measure of the strength of long distance walks emanating from a node (Fig. 3a). We find that both strength and communicability exhibit a strong linear correlation with the participation of a node in maximal cliques (Pearson correlation coefficient

*r*= 0.957 and

*r*= 0.858, respectively).

These results indicate that regions that are strongly connected to the rest of the brain by both direct paths and indirect walks also participate in many maximal cliques. Such an observation suggests the possibility that brain hubs – which are known to be strongly connected with one another in a so-called *rich-club* – play a key role in maximal cliques. To test this, we measure the association of brain regions to the rich-club using notions of coreness. A *k*-core of a graph *G* is a maximal connected subgraph of *G* in which all vertices have degree at least *k*, and an *s*-core is the equivalent notion for weighted graphs (see Methods). Using these notions, we consider how the *k*-core and *s*-core decompositions align with high participation (Fig. 3b). In both cases, nodes with higher participation often achieve higher levels in the *k*- and *s*-core decomposition. Moreover, we also observe the frequent existence of rich club connections between nodes with high participation (Fig. 3b, *bottom*). Together, these results suggest that rich-club regions of the human brain tend to participate in local computational units in the form of cliques.

### 3.2 Cavities in the structural connectome

Whereas cliques in the DSI network act as neighborhood-scale building blocks for the computational structure of the brain, the relationships between these blocks can be investigated by studying the unexpected absence of strong connections, which can be detected as topological cavities in the structure of the brain network. Because connections are treated as communication channels along which brain regions can signal one another and participate in shared neural function, the absence of such connections implies a decreased capacity for communication which serves to enhance the segregation of different functions.

*filtration*. Beginning with the empty graph, we replace unweighted edges one at a time according to order of decreasing edge weight, and we index each graph by its

*edge density*

*ρ*, given by the number of edges in the graph divided by the number of possible edges. After each edge addition, we extract motifs of

*k*-cliques called (non-trivial) (

*k*− 1)-

*cycles*, each of which encloses a

*k*-dimensional topological cavity in the structure. This shift in index is due to geometry: a 2-clique is a 1-dimensional line segment, a 3-clique is a 2-dimensional triangle, etc. When

*k*is clear or not pertinent, we will suppress it from the notation, and refer simply to “cycles” and “cavities”. While any cavity is surrounded by at least one cycle, often multiple cycles surround the same cavity. However, any two (k-1)-cycles that detect the same cavity will necessarily differ from one another by the boundaries of some collection of (

*k*+ 1)-cliques (see Supporting Information and Fig. 15). Any two such cycles are called

*topologically equivalent*, so each topological cavity is detected by a non-trivial

*equivalence class*of cycles. The equivalence class containing the cycle consisting of a single vertex is called

*trivial*and bounds the “empty” cavity. We can represent a topological cavity using any of the cycles within the corresponding equivalence class, but for purposes of studying computational architectures it is reasonable to assume information will primarily travel along paths of minimal length; thus, in this analysis we will consider the collection of cycles in an equivalence class with the minimal number of nodes and call these the

*minimal cycles*representing the cavity. Note in the absence of a filtration, there are serious computational issues involved in locating minimal-size representatives of equivalence classes. However, in this setting the computation is easily performed using standard algorithms (see Methods).

As we move through the filtration by adding edges, the structure of the cycles, and thus of the cavities they represent, will evolve. We consider an example in Fig. 4a, showing a green minimal cycle surrounding a 2D cavity which first appears (is *born*) in the graph sequence at *ρ* _{ b i r t h } (cyan). As an edge completing a 3-clique is added, the minimal cycle representative shrinks to four nodes in size, then finally is tessellated by 3-cliques (*dies*) at *ρ* _{ d e a t h }(orange). We record *ρ* _{ b i r t h }and *ρ* _{ d e a t h } for all topological cavities (e.g., non-trivial equivalence classes of cycles) found within the filtration, and display them on a *persistence diagram* (Fig. 4b). Cavities that survive many edge additions have a long *lifetime*, defined as *ρ* _{ d e a t h } − *ρ* _{ b i r t h }, or a large death-to-birth ratio, *ρ* _{ d e a t h }/*ρ* _{ b i r t h }. Such cycles are commonly referred to as *persistent cavities* and in many applications are considered the “topological features” of the system.

We investigate the persistence of 2D and 3D cavities (respectively represented by equivalence classes of 1- and 2-cycles) in the group-average DSI network and minimally wired null networks (see Fig. 4c). There are substantially fewer persistent cavities in the group-average DSI network than in the null models. To illustrate the structure of these cavities, we select four representative cavities with exceedingly long lifetimes or a high *ρ* _{ d e a t h } to *ρ* _{ b i r t h }ratio (Fig. 4c, d) in the empirical data, and for each we find the minimal-length representative cycles at *ρ* _{ b i r t h } (Fig. 4e). Such cycles for all of the persistent cavities found in the empircal data are illustrated in Figs. 20 and 21. The first persistent cavity appears as early as *ρ* = 0.003and is minimally enclosed by the unique blue cycle composed of the thalamus and caudate nucleus of both hemispheres. The green cycle connecting the medial and lateral orbitofrontal, rostaral anterior cingulate, putamen, and superior frontal cortex is the only minimal cycle surrounding a long-lived cavity in the left hemisphere. The final persistent 2D cavity in the average DSI data is found in the right hemisphere between the medial orbitofrontal, accumbens nucleus, any of the subcortical regions hippocampus, caudate nucleus, putamen, thalamus, and amygdala, and any of the rostral middle frontal, lateral orbitofrontal, medial orbitofrontal of the left hemisphere, and rostral anterior cingulate from both hemispheres (see Fig. 4e for all 12 minimal representatives). Finally, the purple octahedral cycle made from 3-cliques contains the inferior and middle temporal, lateral occipital, inferior parietal, supramarginal, superior parietal, and either of the superior temporal and insula of the left hemisphere, and encloses the longest-lived 3D cavity in the structural brain network. Though each minimal generator may have distinct biological implications, we observe a global pattern of subcortical–cortical connections within cycles. Indeed, 18 of the 20 recovered 1-cycles and both 2-cycles contain this motif. Additionally, the two persistent cycles that do not follow this motif comprise a third of persistent cycles robustly seen in the minimally wired network, suggesting that within-subcortical loops are more probable in this maximally efficient scheme.

### 3.3 Test-ReTest reliability and other methodological considerations

## 4 Discussion

In this study, we describe a principled examination of multi-node routes within larger connection patterns that are not accessible to network analysis methods that exclusively consider pairwise interactions between nodes. Our approach draws on concepts from a discipline of mathematics known as *algebraic topology* to define sets of all-to-all connected nodes as structural units, called *cliques*, and then to use the clique architecture of the network to detect structural topological cavities, detected by the existence of non-trivial representative *cycles*. Using this approach, we show that node participation in maximal cliques varies spatially and by cognitive systems, suggesting a global organization of these neighborhood-scale features. These cliques form encapsulating patterns of connectivity in the human structural connectome, which separate relatively early-evolving regions of the subcortex with higher-order association areas in frontal, parietal, and temporal cortex that evolved on more recent time scales. We found the recovered topological cavities exist consistently across individuals and are not expected in a spatially embedded null model, emphasizing their importance in neural wiring and function. These results offer a first demonstration that techniques from algebraic topology offer a novel perspective on structural connectomics, highlighting cavernous spaces as crucial features in the human brain’s structural architecture.

### 4.1 Algebraic-topological tools for neural data analysis

Algebraic topology is a relatively young field of pure mathematics that has only recently been applied to the study of real-world data. However, the power of these techniques to measure structures that are inaccessible to common graph metrics has gained immediate traction in the neuroscience community. Here, we highlight a few notable examples from the growing literature; a more comprehensive recent account can be found in Giusti et al. (2016). At the neuron level, persistent has been used to detect intrinsic structure in correlations between neural spike trains (Giusti et al. 2015), expanding our understanding of the formation of spatial maps in the hippocampus (Dabaghian et al. 2012). Moreover, at the level of large-scale brain regions, these tools have been exercised to characterize the global architecture of fMRI data (Stolz 2014). Based on their unique sensitivity, we expect these algebric-topological methods to provide novel contributions to our understanding of the structure and function of neural circuitry across all scales at which combinatorial components act together for a common goal: from firing patterns coding for memory (Rajan et al. 2016; Leen and Shea-Brown 2015) to brain regions interacting to enable cognition.

Our study uses algebraic topology in the classical form to obtain a global understanding of the structure, and in conjunction, it investigates particular topological features themselves and relates these features to cognitive function. Cycle representatives have previously been considered in biology (Chan et al. 2013; Petri et al. 2014; Lord et al. 2016; Kim et al. 2014; Emmett et al. 2016; Mamuye et al. 2016), but to our knowledge this is a first attempt to compare topological features in multiple brains.

### 4.2 Cliques and cavities for computations

Cliques and minimal cycles representing cavities are structurally positioned to play distinct roles in neural computations. Cliques represent sets of brain regions that may possess a similar function, operate in unison, or share information rapidly (Sizemore et al. 2016). Furthermore, the hierarchical organization of small cliques located more anteriorly and larger cliques connecting multiple systems allows for swift global sharing of information produced by local processing. Conversely, minimal cycles correspond to extended paths of potential information transmission along which computations can be performed serially to affect cognition in either a divergent or convergent manner. Indeed, the capsule-like or chain-like nature of cycles is a structural motif that has previously been – at least qualitatively – described in neuroanatomical studies of cellular circuitry. In this context, such motifs are known to play a key role in learning (Hermundstad et al. 2011), memory (Rajan et al. 2016), and behavioral control (Levy et al. 2001; Fiete et al. 2010). The presence of cycles suggests a possible role for polysynaptic connections and their importance to neural computations, consistent with evidence from the field of computational neuroscience highlighting the role of highly structured circuits in sequence generation and memory (Rajan et al. 2016; Hermundstad et al. 2011). Indeed, in computational models at the neuron level, architectures reminiscent of chains (Levy et al. 2001; Fiete et al. 2010) and rings are particularly conducive to the generation of sequential behavioral responses. It is interesting to speculate that the presence of these structures at the much larger scale of white matter tracts could support diverse neural dynamics and a broader repertoire of cognitive computations than possible in simpler and more integrated network architectures (Tang et al. 2016).

Another consideration concerns the apparent asymmetry of our results with respect to left and right cerebral hemispheres. While unanticipated, we note that in some cases they have intuitive mathematical underpinnings. For example, in Fig. 3, we explicitly count maximal cliques, so one edge difference between a region in the left and right hemisphere could result in a large difference in the number of observed maximal cliques. Interestingly, despite this fact we still observe a strong correlation between node strength and *P*(*v*), instilling confidence in these results. From a neuroscience point of view, brain asymmetries are not wholly unexpected. There is a storied and ever-growing literature describing the lateralization (i.e., asymmetries) of brain function (Galaburda et al. 1978). While speech generation (Rasmussen and Milner 1977) and language processing (Desmond et al. 1995; Thulborn et al. 1999) are among the most commonly-cited functions to exhibit lateralization (Doron et al. 2012; Chai et al. 2016), such effects have also been linked to a diverse group of other cognitive domains. These include emotion (Wager et al. 2003), processing of visual input (Sandi et al. 1993), and even working memory (Carpenter et al. 2000). In addition, a number of studies have also reported the emergence of pathological lateralization or the disruption of asymmetries with neurocognitive disorders including ADHD (Oades 1998). Our study does not offer a conclusive demonstration that the observed asymmetries arise from the lateralization of any specific brain function; we merely wish note that there is a precedent for such observations.

### 4.3 Evolutionary and developmental drivers

Network filtration revealed several persistent cavities in the macroscale human connectome. While each minimal cycle surrounding these cavities involved brain regions interacting in a distinct configuration, we also observed commonalities across these structures. One such commonality was these minimal cycles tended to link evolutionarily old structures with more recently-developed neo-cortical regions (Rakic 2009). For example, the green cycle depicted in Fig. 4e linked the putamen, an area involved in motor behavior (Middleton and Strick 2000), with the rostral anterior cingulate cortex, associated with higher-order cognitive functions such as error-monitoring (Braver et al. 2001) and reward processing (Kringelbach and Rolls 2004). This observation led us to speculate that the emergence of these cavities may reflect the disparate timescales over which brain regions and their circuitry have evolved (Gu et al. 2015b), through the relative paucity of direct connections between regions that evolved to perform different functions. This hypothesis can be investigated in future work comparing the clique and cavity structure of the human connectome with that of non-human connectomes from organisms with less developed neocortices.

### 4.4 Toward a global understanding of network organization

Though we highlighted minimal cycles in the brain, by nature persistence describes the global organization of the network. Often regions in the brain wire minimally to conserve wiring cost (Bassett et al. 2010; Bullmore and Sporns 2012; Klimm et al. 2014; Lohse et al. 2014), though there are exceptions that give the brain its topological properties such as its small-world architecture (Bassett and Bullmore 2006; Pessoa 2014; Hilgetag and Goulas 2016; Muldoon et al. 2016a; Bassett and Bullmore 2016). Following this idea, we could interpret the difference in the number of persistent cavities between the minimally wired and DSI networks as a consequence of the non-minimally wired edges, which tessellate cavities in the brain itself. Yet when the subcortical regions are removed, the persistent cavities of the minimally wired and DSI networks are much more similar (Fig. 6b). This suggests that the wiring of cortical regions may be more heavily influenced by energy conservation than the wiring of subcortical regions. Additionally the drop in the number and lifetime of persistent cavities when subcortical regions are included indicates that these subcortical regions may prematurely collapse topological cavities. The often high participation of subcortical regions in maximal cliques suggests these well-connected nodes may have hub-like projections to regions involved in cortical cycles, thus tessellating the cortical cavity with higher dimensional cliques (topologically these subcortical nodes are *cone points*). Previous studies have found that networks with “star-like” configurations are optimally efficient in terms of shortest-path efficiency, but also efficient in terms of a random walk-based measure of efficiency (Goni et al. 2013). That is, networks optimized to have one or the other type of efficiency tend to have stars. Thus, stars appear to be useful configurations for fast communication, both along shortest paths and also in an unguided sense along random walks. The fact that we see star-like projections to cycles from subcortical regions may suggest that they are useful for efficient communication.

### 4.5 Methodological considerations

An important consideration relates to the data from which we construct the human structural connectome. DSI and tractography, non-invasive tools for mapping the brain’s white-matter connectivity, have some limitations. Tractography algorithms trade off specificity and sensitivity, making it challenging to simultaneously detect true connections while avoiding false connections (Thomas et al. 2014), fail to detect superficial connections (i.e. those that do not pass through deep white matter) (Reveley et al. 2015), and have challenges tracking “crossing fibers”, connections with different orientations that pass through the same voxel (Wedeen et al. 2008). Nonetheless, DSI and tractography represent the only techniques for non-invasive imaging and reconstruction of the human connectome. While such shortcomings limit the applicability of DSI and tractography, they may prove addressable with the development of improved tractography algorithms and imaging techniques (Pestilli et al. 2014).

### 4.6 Individual cavities in neuroscience applications

Though comparing persistent homology of weighted networks at the global level has been successful (for example Benzekry et al. 2015; Horak et al. 2009), scrutinizing individual persistent features may have more clinical relevance due to their size and understandability. Yet, multiple questions remain to be answered before this goal can be achieved.

The first question pertains to the choice of representative cycle. As the current study presents an initial consideration of the persistent features of the structural connectome, we record *all* minimal generators, which reduces the number of choices made, and we define minimality using topological (hop) distance, which simplifies our analysis. However, a case could be made for using the representative with the minimal summed edge weight (Dey et al. 2011). Such a definition would further simplify the analysis by potentially giving a unique ‘minimal’ generator for each equivalence class. Additionally one might ask if a ‘minimal’ generator is even the appropriate representative cycle in the first place. Perhaps cycles of longer length have cognitive or clinical relevance beyond information distribution.

Second, it will be necessary to further develop the concept of similar persistent cavities. Here we used a region-matching process in order to incorporate perspectives from neuroscience and topology. An important open question is whether a more algorithmic matching could be devised that is better suited to the perspectives from both fields. Along the same lines, it is important to consider the birth, death time, and lifetime of a given persistent cycle (Stolz et al. 2017). We interpret longer-lived and earlier-born persistent cycles as more essential to the global architecture, and we hypothesize that this translates to healthy cognitive control and function as well. Then if two cavities are similar in terms of their regional composition, but are not similar in terms of birth or death times (for example, the blue cycle in the DSI *versus* MW networks in Fig. 5), it remains an open question whether the two cavities should be considered truly similar in a biological context.

Thirdly, with the development of algebraic-topological tools as described above, we speculate that comparing late-arriving persistent features could be important for clinical applications. Weaker connections have been shown to distinguish between health individuals and those with schizophrenia (Bassett et al. 2012), and have also been shown to predict individual differences in intelligence (Cole et al. 2012). Since late-born persistent cycles are a very particular arrangement of weak edges, we hypothesize that such cavities may be powerful biomakers of individual brains, capable of distinguishing between diseased and normal connectomes.

## 5 Conclusion

In conclusion, we offer a unique perspective on the structural substrates of distinct types of neural computations. While traditional notions from graph theory and network science preferentially focus on local properties of the network at individual vertices or edges (Bassett and Bullmore 2006, 2009; Bullmore and Sporns 2009; Bullmore and Bassett 2011), here we utilize an enriched network formalism that comes from the field of algebraic topology (Ghrist 2014). These tools are tuned to the interplay between weak and strong connections (Bassett et al. 2012), and therefore reveal architectural features that serve to isolate information transmission processes (Giusti et al. 2016). It will be interesting in the future to compare human and non-human connectomes across a range of spatial scales (Betzel and Bassett 2016) to further elucidate the evolutionary development of these features, and to link them to their functional (Hermundstad et al. 2013) and behavioral (Hermundstad et al. 2014) consequences.

## Notes

### Acknowledgments

This work was supported from the John D. and Catherine T. MacArthur Foundation, the Alfred P. Sloan Foundation, the Army Research Laboratory and the Army Research Office through contract numbers W911NF-10-2-0022 and W911NF-14-1-0679, the National Institute of Mental Health (2-R01-DC-009209-11), the National Institute of Child Health and Human Development (1R01HD086888-01), the Office of Naval Research, and the National Science Foundation (CRCNS BCS-1441502 and CAREER PHY-1554488). We thank Scott T. Grafton for access to the DSI data.

### Author Contributions

DB and CG proposed the initial idea for the paper. AS performed research and prepared initial manuscript. All authors edited and approved the final manuscript.

### Compliance with Ethical Standards

### Conflict of interests

The authors declare that they have no conflict of interest.

## References

- Bassett, D.S., & Bullmore, E. (2006). Small-world brain networks.
*The Neuroscientist*,*12*(6), 512–523.CrossRefPubMedGoogle Scholar - Bassett, D.S., & Bullmore, E.T. (2009). Human brain networks in health and disease.
*Current Opinion in Neurology*,*22*(4), 340–347.CrossRefPubMedPubMedCentralGoogle Scholar - Bassett, D.S., & Bullmore, E.T. (2016). Small-world brain networks revisited. Neuroscientist Epub ahead of print 1073858416667720.Google Scholar
- Bassett, D.S., Greenfield, D.L., Meyer-Lindenberg, A., Weinberger, D.R., Moore, S.W., Bullmore, E.T. (2010). Efficient physical embedding of topologically complex information processing networks in brains and computer circuits.
*PLoS Computational Biology*,*6*(4), 1000748.CrossRefGoogle Scholar - Bassett, D.S., Brown, J.A., Deshpande, V., Carlson, J.M., Grafton, S.T. (2011). Conserved and variable architecture of human white matter connectivity.
*NeuroImage*,*54*(2), 1262–1279.CrossRefPubMedGoogle Scholar - Bassett, D.S., Nelson, B.G., Mueller, B.A., Camchong, J., Lim, K.O. (2012). Altered resting state complexity in schizophrenia.
*NeuroImage*,*59*(3), 2196–2207.CrossRefPubMedGoogle Scholar - Benzekry, S., Tuszynski, J.A., Rietman, E.A., Klement, G.L. (2015). Design principles for cancer therapy guided by changes in complexity of protein-protein interaction networks.
*Biology Direct*,*10*(1), 32.CrossRefPubMedPubMedCentralGoogle Scholar - Bergomi, M.G., Ferri, M., Zuffi, L. (2017). Graph persistence. arXiv:1707.09670.
- Betzel, R.F., & Bassett, D.S. (2016). Multi-scale brain networks.
*NeuroImage*,*S1053-8119*(16), 30615–2.Google Scholar - Betzel, R.F., Gu, S., Medaglia, J.D., Pasqualetti, F., Bassett, D. S. (2016). Optimally controlling the human connectome: the role of network topology.
*Science Reports*,*6*, 30770.CrossRefGoogle Scholar - Betzel, R.F., Medaglia, J.D., Papadopoulos, L., Baum, G., Gur, R.E., Gur, R.C., Roalf, D., Satterthwaite, T.D., Bassett, D.S. (2016). The modular organization of human anatomical brain networks: accounting for the cost of wiring.
*Network Neuroscience*In Press.Google Scholar - Bobrowski, O., Kahle, M., Skraba, P. (2015). Maximally persistent cycles in random geometric complexes. arXiv:1509.04347.
- Braver, T.S., Barch, D.M., Gray, J.R., Molfese, D.L., Snyder, A. (2001). Anterior cingulate cortex and response conflict: effects of frequency, inhibition and errors.
*Cerebral Cortex*,*11*(9), 825–836.CrossRefPubMedGoogle Scholar - Bullmore, E., & Sporns, O. (2009). Complex brain networks: graph theoretical analysis of structural and functional systems.
*Nature Reviews Neuroscience*,*10*(3), 186–198.CrossRefPubMedGoogle Scholar - Bullmore, E., & Sporns, O. (2012). The economy of brain network organization.
*Nature Reviews Neuroscience*,*13*(5), 336–349.PubMedGoogle Scholar - Bullmore, E.T., & Bassett, D.S. (2011). Brain graphs: graphical models of the human brain connectome.
*Annual Review of Clinical Psychology*,*7*, 113–140.CrossRefPubMedGoogle Scholar - Cammoun, L., Gigandet, X., Meskaldji, D., Thiran, J.P., Sporns, O., Do, K.Q., Maeder, P., Meuli, R., Hagmann, P. (2012). Mapping the human connectome at multiple scales with diffusion spectrum MRI.
*Journal of Neuroscience Methods*,*203*(2), 386–397.CrossRefPubMedGoogle Scholar - Carlsson, G. (2009). Topology and data.
*Bulletin of the American Mathematical Society*,*46*(2), 255–308.CrossRefGoogle Scholar - Carlsson, G., & De Silva, V. (2010). Zigzag persistence.
*Foundations of Computational Mathematics*,*10*(4), 367–405.CrossRefGoogle Scholar - Carpenter, P.A., Just, M.A., Reichle, E.D. (2000). Working memory and executive function: evidence from neuroimaging.
*Current Opinion in Neurobiology*,*10*(2), 195–199.CrossRefPubMedGoogle Scholar - Chai, L.R., Mattar, M.G., Blank, I.A., Fedorenko, E., Bassett, D.S. (2016). Functional network dynamics of the language system. Cereb Cortex Epub ahead of print.Google Scholar
- Chan, J.M., Carlsson, G., Rabadan, R. (2013). Topology of viral evolution.
*Proceedings of the National Academy of Sciences*,*110*(46), 18566–18571.CrossRefGoogle Scholar - Chatterjee, N., & Sinha, S. (2007). Understanding the mind of a worm: hierarchical network structure underlying nervous system function in C. Elegans.
*Progress in Brain Research*,*168*, 145–153.CrossRefGoogle Scholar - Chen, C., & Freedman, D. (2011). Hardness results for homology localization.
*Discrete & Computational Geometry*,*45*(3), 425–448.CrossRefGoogle Scholar - Chen, Z.J., He, Y., Rosa-Neto, P., Germann, J., Evans, A.C. (2008). Revealing modular architecture of human brain structural networks by using cortical thickness from MRI.
*Cerebral Cortex*,*18*(10), 2374–2381.CrossRefPubMedPubMedCentralGoogle Scholar - Chowdhury, S., & Mémoli, F. (2016). Persistent homology of asymmetric networks: an approach based on dowker filtrations. arXiv:1608.05432.
- Cieslak, M., & Grafton, S. (2014). Local termination pattern analysis: a tool for comparing white matter morphology.
*Brain Imaging and Behavior*,*8*(2), 292–299.CrossRefPubMedGoogle Scholar - Cohen-Steiner, D., Edelsbrunner, H., Harer, J. (2007). Stability of persistence diagrams.
*DCG*,*37*(1), 103–120.Google Scholar - Cole, M.W., Yarkoni, T., Repovš, G., Anticevic, A., Braver, T.S. (2012). Global connectivity of prefrontal cortex predicts cognitive control and intelligence.
*Journal of Neuroscience*,*32*(26), 8988–8999.CrossRefPubMedPubMedCentralGoogle Scholar - Crofts, J.J., & Higham, D.J. (2009). A weighted communicability measure applied to complex brain networks.
*Journal of the Royal Society Interface*, rsif–2008.Google Scholar - Dabaghian, Y., Mémoli, F., Frank, L., Carlsson, G. (2012). A topological paradigm for hippocampal spatial map formation using persistent homology.
*PLoS Computational Biology*,*8*(8), 1002581.CrossRefGoogle Scholar - Dale, A.M., Fischl, B., Sereno, M.I. (1999). Cortical surface-based analysis: i. Segmentation and surface reconstruction.
*NeuroImage*,*9*(2), 179–194.CrossRefPubMedGoogle Scholar - Desmond, J.E., Sum, J., Wagner, A., Demb, J., Shear, P., Glover, G., Gabrieli, J., Morrell, M. (1995). Functional mri measurement of language lateralization in wada-tested patients.
*Brain: A Journal of Neurology*,*118*(6), 1411–1419.CrossRefGoogle Scholar - Dey, T.K., Hirani, A.N., Krishnamoorthy, B. (2011). Optimal homologous cycles, total unimodularity, and linear programming.
*SIAM Journal on Computing*,*40*(4), 1026–1044.CrossRefGoogle Scholar - Dey, T.K., Fan, F., Wang, Y. (2014). Computing topological persistence for simplicial maps. In
*Proceedings of the thirtieth annual symposium on computational geometry*(p. 345): ACM.Google Scholar - Doron, K.W., Bassett, D.S., Gazzaniga, M.S. (2012). Dynamic network structure of interhemispheric coordination.
*Proceedings of the National Academy of Sciences of the United States of America*,*109*(46), 18661–18668.CrossRefPubMedPubMedCentralGoogle Scholar - Emmett, K., Schweinhart, B., Rabadan, R. (2016). Multiscale topology of chromatin folding. In
*Proceedings of the 9th EAI international conference on bio-inspired information and communications technologies (formerly BIONETICS)*(pp. 177–180): ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).Google Scholar - Estrada, E., & Hatano, N. (2008). Communicability in complex networks.
*Physical Review E*,*77*(3), 036111.CrossRefGoogle Scholar - Fiete, I.R., Senn, W., Wang, C.Z., Hahnloser, R.H.R. (2010). Spike-time-dependent plasticity and heterosynaptic competition organize networks to produce long scale-free sequences of neural activity.
*Neuron*,*65*, 563–576.CrossRefPubMedGoogle Scholar - Galaburda, A.M., LeMay, M., Kemper, T.L., Geschwind, N. (1978). Right-left asymmetrics in the brain.
*Science*,*199*(4331), 852–856.CrossRefPubMedGoogle Scholar - Ghrist, R. (2008). Barcodes: the persistent topology of data.
*Bulletin of the American Mathematical Society*,*45*(1), 61–75.CrossRefGoogle Scholar - Ghrist, R. (2014). Elementary Applied Topology. CreateSpace Independent Publishing Platform. http://researchbooks.org/1502880857.
- Giusti, C., Pastalkova, E., Curto, C., Itskov, V. (2015). Clique topology reveals intrinsic geometric structure in neural correlations.
*Proceedings of the National Academy of Sciences*,*112*(44), 13455–13460.CrossRefGoogle Scholar - Giusti, C., Ghrist, R., Bassett, D.S. (2016). Two’s company, three (or more) is a simplex: algebraic-topological tools for understanding higher-order structure in neural data.
*Journal of Complex Networks*In Press.Google Scholar - Goni, J., Avena-Koenigsberger, A., Velez de Mendizabal, N., van den Heuvel, M.P., Betzel, R.F., Sporns, O. (2013). Exploring the morphospace of communication efficiency in complex networks.
*PloS One*,*8*(3), 58070.CrossRefGoogle Scholar - Graham, D., & Rockmore, D. (2011). The packet switching brain.
*Journal of Cognitive Neuroscience*,*23*(2), 267–276.CrossRefPubMedGoogle Scholar - Gu, S., Pasqualetti, F., Cieslak, M., Telesford, Q.K., Alfred, B.Y., Kahn, A.E., Medaglia, J.D., Vettel, J.M., Miller, M.B., Grafton, S.T., et al. (2015a). Controllability of structural brain networks.
*Nature Communications, 6*.Google Scholar - Gu, S., Satterthwaite, T.D., Medaglia, J.D., Yang, M., Gur, R.E., Gur, R.C., Bassett, D.S. (2015b). Emergence of system roles in normative neurodevelopment.
*Proceedings of the National Academy of Sciences*,*112*(44), 13681–13686.CrossRefGoogle Scholar - Hagmann, P., Cammoun, L., Gigandet, X., Meuli, R., Honey, C.J., Wedeen, V.J., Sporns, O. (2008). Mapping the structural core of human cerebral cortex.
*PLoS Biology*,*6*(7), 159.CrossRefGoogle Scholar - Hartigan, J.A., & Hartigan, P.M. (1985). The dip test of unimodality.
*The Annals of Statistics*,*13*, 70–84.CrossRefGoogle Scholar - Hatcher, A. (2002).
*Algebraic topology*. Cambridge: Cambridge University Press.Google Scholar - Hausmann, J.-C. et al. (1995). On the vietoris-rips complexes and a cohomology theory for metric spaces.
*Annals of Mathematics Studies*,*138*, 175–188.Google Scholar - Henselman, G., & Ghrist, R. (2016). Matroid filtrations and computational persistent homology. arXiv:1606.00199.
- Hermundstad, A.M., Brown, K.S., Bassett, D.S., Carlson, J.M. (2011). Learning, memory, and the role of neural network architecture.
*PLoS Computational Biology*,*7*, 1002063.CrossRefGoogle Scholar - Hermundstad, A.M., Bassett, D.S., Brown, K.S., Aminoff, E.M., Clewett, D., Freeman, S., Frithsen, A., Johnson, A., Tipper, C.M., Miller, M.B., Grafton, S.T., Carlson, J.M. (2013). Structural foundations of resting-state and task-based functional connectivity in the human brain.
*Proceedings of the National Academy of Sciences of the United States of America*,*110*(15), 6169–6174.CrossRefPubMedPubMedCentralGoogle Scholar - Hermundstad, A.M., Brown, K.S., Bassett, D.S., Aminoff, E.M., Frithsen, A., Johnson, A., Tipper, C.M., Miller, M.B., Grafton, S.T., Carlson, J.M. (2014). Structurally-constrained relationships between cognitive states in the human brain.
*PLoS Computational Biology*,*10*(5), 1003591.CrossRefGoogle Scholar - Hilgetag, C.C., & Goulas, A. (2016). Is the brain really a small-world network?
*Brain Structure and Function*,*221*(4), 2361–2366.CrossRefPubMedGoogle Scholar - Horak, D., Maletić, S., Rajković, M. (2009). Persistent homology of complex networks.
*Journal of Statistical Mechanics: Theory and Experiment*,*2009*(03), 03034.CrossRefGoogle Scholar - Johnson, D.B. (1975). Finding all the elementary circuits of a directed graph.
*SIAM Journal on Computing*,*4*(1), 77–84.CrossRefGoogle Scholar - Kim, E., Kang, H., Lee, H., Lee, H.-J., Suh, M.-W., Song, J.-J., Oh, S.-H., Lee, D.S. (2014). Morphological brain network assessed using graph theory and network filtration in deaf adults.
*Hearing Research*,*315*, 88–98.CrossRefPubMedGoogle Scholar - Klimm, F., Bassett, D.S., Carlson, J.M., Mucha, P.J. (2014). Resolving structural variability in network models and the brain.
*PLOS Comput. Biol*,*10*(3), 1003491.CrossRefGoogle Scholar - Kringelbach, M.L., & Rolls, E.T. (2004). The functional neuroanatomy of the human orbitofrontal cortex: evidence from neuroimaging and neuropsychology.
*Progress in Neurobiology*,*72*(5), 341–372.CrossRefPubMedGoogle Scholar - Leen, D.A., & Shea-Brown, E. (2015). A simple mechanism for beyond-pairwise correlations in integrate-and-fire neurons.
*The Journal of Mathematical Neuroscience (JMN)*,*5*(1), 1–13.CrossRefGoogle Scholar - Levy, N., Horn, D., Meilijson, I., Ruppin, E. (2001). Distributed synchrony in a cell assembly of spiking neurons.
*Neural Networks*,*14*, 815–824.CrossRefPubMedGoogle Scholar - Lohse, C., Bassett, D.S., Lim, K.O., Carlson, J.M. (2014). Resolving anatomical and functional structure in human brain organization: identifying mesoscale organization in weighted network representations.
*PLoS Computational Biology*,*10*(10), 1003712.CrossRefGoogle Scholar - Lord, L.-D., Expert, P., Fernandes, H., Petri, G., Van Hartevelt, T., Vaccarino, F., Deco, G., Turkheimer, F., Kringelbach, M. (2016). Insights into brain architectures from the homological scaffolds of functional connectivity networks.
*Frontiers in Systems Neuroscience*,*10*, 85. https://doi.org/10.3389/fnsys.2016.00085.CrossRefPubMedPubMedCentralGoogle Scholar - Mamuye, A. L., Rucco, M., Tesei, L., Merelli, E. (2016). Persistent homology analysis of RNA.
*Molecular Based Mathematical Biology 4*(1).Google Scholar - Medaglia, J.D., Lynall, M.-E., Bassett, D.S. (2015). Cognitive network neuroscience.
*Journal of Cognitive Neuroscience*.Google Scholar - Meunier, D., Achard, S., Morcom, A., Bullmore, E. (2009). Age-related changes in modular organization of human brain functional networks.
*NeuroImage*,*44*(3), 715–723.CrossRefPubMedGoogle Scholar - Middleton, F.A., & Strick, P.L. (2000). Basal ganglia and cerebellar loops: motor and cognitive circuits.
*Brain Research Brain Research Reviews*,*31*(2–3), 236–250.CrossRefPubMedGoogle Scholar - Muldoon, S.F., Bridgeford, E.W., Bassett, D.S. (2016a). Small-world propensity and weighted brain networks.
*Science Reports*,*6*, 22057.CrossRefGoogle Scholar - Muldoon, S.F., Pasqualetti, F., Gu, S., Cieslak, M., Grafton, S.T., Vettel, J.M., Bassett, D.S. (2016b). Stimulation-based control of dynamic brain networks.
*PLoS Computational Biology*,*12*(9), 1005076.CrossRefGoogle Scholar - Oades, R.D. (1998). Frontal, temporal and lateralized brain function in children with attention-deficit hyperactivity disorder: a psychophysiological and neuropsychological viewpoint on development.
*Behavioural Brain Research*,*94*(1), 83–95.CrossRefPubMedGoogle Scholar - Pessoa, L. (2014). Understanding brain networks and brain organization.
*Physics of Life Reviews*,*11*(3), 400–435.CrossRefPubMedPubMedCentralGoogle Scholar - Pestilli, F., Yeatman, J.D., Rokem, A., Kay, K.N., Wandell, B.A. (2014). Evaluation and statistical inference for human connectomes.
*Nature Methods*,*11*(10), 1058–1063.CrossRefPubMedPubMedCentralGoogle Scholar - Petri, G., Scolamiero, M., Donato, I., Vaccarino, F. (2013a). Topological strata of weighted complex networks.
*PloS one*,*8*(6), 66506.CrossRefGoogle Scholar - Petri, G., Scolamiero, M., Donato, I., Vaccarino, F. (2013b). Networks and cycles: a persistent homology approach to complex networks. In
*Proceedings of the european conference on complex systems 2012*(pp. 93–99): Springer.Google Scholar - Petri, G., Expert, P., Turkheimer, F., Carhart-Harris, R., Nutt, D., Hellyer, P., Vaccarino, F. (2014). Homological scaffolds of brain functional networks.
*Journal of The Royal Society Interface*,*11*(101), 20140873.CrossRefPubMedCentralGoogle Scholar - Porter, M.A., Onnela, J.-P., Mucha, P.J. (2009). Communities in networks.
*Notices of the American Mathematical Society*,*56*(9), 1082–109711641166.Google Scholar - Power, J.D., Cohen, A.L., Nelson, S.M., Wig, G.S., Barnes, K.A., Church, J.A., Vogel, A.C., Laumann, T.O., Miezin, F.M., Schlaggar, B.L., et al. (2011). Functional network organization of the human brain.
*Neuron*,*72*(4), 665–678.CrossRefPubMedPubMedCentralGoogle Scholar - Rajan, K., Harvey, C.D., Tank, D.W. (2016). Recurrent network models of sequence generation and memory.
*Neuron*,*90*(1), 128–142.CrossRefPubMedPubMedCentralGoogle Scholar - Rakic, P. (2009). Evolution of the neocortex: a perspective from developmental biology.
*Nature Reviews Neuroscience*,*10*(10), 724–735.CrossRefPubMedPubMedCentralGoogle Scholar - Rasmussen, T., & Milner, B. (1977). The role of early left-brain injury in determining lateralization of cerebral speech functions.
*Annals of the New York Academy of Sciences*,*299*(1), 355–369.CrossRefPubMedGoogle Scholar - Reveley, C., Seth, A.K., Pierpaoli, C., Silva, A.C., Yu, D., Saunders, R.C., Leopold, D.A., Ye, F.Q. (2015). Superficial white matter fiber systems impede detection of long-range cortical connections in diffusion mr tractography.
*Proceedings of the National Academy of Sciences of the United States of America*,*112*(21), 2820–2828.CrossRefGoogle Scholar - Rubinov, M., & Sporns, O. (2010). Complex network measures of brain connectivity: uses and interpretations.
*NeuroImage*,*52*(3), 1059–1069.CrossRefPubMedGoogle Scholar - Sandi, C., Patterson, T.A., Rose, S. (1993). Visual input and lateralization of brain function in learning in the chick.
*Neuroscience*,*52*(2), 393–401.CrossRefPubMedGoogle Scholar - Senden, M., Deco, G., de Reus, M.A., Goebel, R., van den Heuvel, M.P. (2014). Rich club organization supports a diverse set of functional network configurations.
*NeuroImage*,*96*, 174–182.CrossRefPubMedGoogle Scholar - Sizemore, A., Giusti, C., Bassett, D.S. (2016). Classification of weighted networks through mesoscale homological features.
*Journal of Complex Networks*In Press.Google Scholar - Sporns, O. (2013). The human connectome: origins and challenges.
*NeuroImage*,*80*, 53–61.CrossRefPubMedGoogle Scholar - Sporns, O. (2015). Cerebral cartography and connectomics.
*Philosophical Transactions of the Royal Society of London Series B: Biological Sciences*,*370*, 1668.CrossRefGoogle Scholar - Sporns, O., & Betzel, R.F. (2016). Modular brain networks.
*Annual Review of Psychology*,*67*, 613–640.CrossRefPubMedGoogle Scholar - Sporns, O., Tononi, G., Kotter, R. (2005). The human connectome: a structural description of the human brain.
*PLoS Computational Biology*,*1*(4), 42.CrossRefGoogle Scholar - Stolz, B. (2014). Computational topology in neuroscience. Master’s Thesis, University of Oxford.Google Scholar
- Stolz, B.J., Harrington, H.A., Porter, M.A. (2017). Persistent homology of time-dependent functional networks constructed from coupled time series.
*Chaos: An Interdisciplinary Journal of Nonlinear Science*,*27*(4), 047410.CrossRefGoogle Scholar - Tang, E., Giusti, C., Baum, G., Gu, S., Kahn, A.E., Roalf, D., Moore, T.M., Ruparel, K., Gur, R.C., Gur, R.E., et al. (2016). Structural drivers of diverse neural dynamics and their evolution across development. arXiv:1607.01010.
- Thomas, C., Ye, F.Q., Irfanoglu, M.O., Modi, P., Saleem, K.S., Leopold, D.A., Pierpaoli, C. (2014). Anatomical accuracy of brain connections derived from diffusion MRI tractography is inherently limited.
*Proceedings of the National Academy of Sciences of the United States of America*,*111*(46), 16574–16579.CrossRefPubMedPubMedCentralGoogle Scholar - Thulborn, K.R., Carpenter, P.A., Just, M.A. (1999). Plasticity of language-related brain function during recovery from stroke.
*Stroke*,*30*(4), 749–754.CrossRefPubMedGoogle Scholar - Tucker, A. (2006). Chapter 2: covering circuits and graph colorings. Applied Combinatorics, 49.Google Scholar
- van den Heuvel, M.P., & Sporns, O. (2011). Rich-club organization of the human connectome.
*The Journal of Neuroscience*,*31*(44), 15775–15786.CrossRefGoogle Scholar - van den Heuvel, M.P., Kahn, R.S., Goñi, J., Sporns, O. (2012). High-cost, high-capacity backbone for global brain communication.
*Proceedings of the National Academy of Sciences*,*109*(28), 11372–11377.CrossRefGoogle Scholar - Vietoris, L. (1927). ÜBer den höheren zusammenhang kompakter räume und eine klasse von zusammenhangstreuen abbildungen.
*Mathematische Annalen*,*97*(1), 454–472.CrossRefGoogle Scholar - Wager, T.D., Phan, K.L., Liberzon, I., Taylor, S.F. (2003). Valence, gender, and lateralization of functional brain anatomy in emotion: a meta-analysis of findings from neuroimaging.
*NeuroImage*,*19*(3), 513–531.CrossRefPubMedGoogle Scholar - Wedeen, V.J., Wang, R.P., Schmahmann, J.D., Benner, T., Tseng, W.Y., Dai, G., Pandya, D.N., Hagmann, P., D’Arceuil, H., de Crespigny, A.J. (2008). Diffusion spectrum magnetic resonance imaging (DSI) tractography of crossing fibers.
*NeuroImage*,*41*(4), 1267–1277.CrossRefPubMedGoogle Scholar - Xia, M., Wang, J., He, Y. (2013). Brainnet viewer: a network visualization tool for human brain connectomics.
*PloS one*,*8*(7), 68910.CrossRefGoogle Scholar - Yeh, F.-C., & Tseng, W.-Y.I. (2011). Ntu-90: a high angular resolution brain atlas constructed by q-space diffeomorphic reconstruction.
*NeuroImage*,*58*(1), 91–99.CrossRefPubMedGoogle Scholar - Zalesky, A., Fornito, A., Harding, I.H., Cocchi, L., Yücel, M., Pantelis, C., Bullmore, E.T. (2010). Whole-brain anatomical networks: does the choice of nodes matter?
*NeuroImage*,*50*(3), 970–983.CrossRefPubMedGoogle Scholar - Zalesky, A., Fornito, A., Cocchi, L., Gollo, L.L., van den Heuvel, M.P., Breakspear, M. (2016). Connectome sensitivity or specificity: which is more important?
*NeuroImage*,*142*, 407–420.CrossRefPubMedGoogle Scholar - Zomorodian, A., & Carlsson, G. (2005). Computing persistent homology.
*DCG*,*33*(2), 249–274.Google Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.