Abstract
Mapping the brain imaging data to networks, where nodes represent anatomical brain regions and edges indicate the occurrence of fiber tracts between them, has enabled an objective graphtheoretic analysis of human connectomes. However, the latent structure on higherorder interactions remains unexplored, where many brain regions act in synergy to perform complex functions. Here we use the simplicial complexes description of human connectome, where the shared simplexes encode higherorder relationships between groups of nodes. We study consensus connectome of 100 female (Fconnectome) and of 100 male (Mconnectome) subjects that we generated from the Budapest Reference Connectome Server v3.0 based on data from the Human Connectome Project. Our analysis reveals that the functional geometry of the common F&Mconnectome coincides with the Mconnectome and is characterized by a complex architecture of simplexes to the 14th order, which is built in six anatomical communities, and linked by short cycles. The Fconnectome has additional edges that involve different brain regions, thereby increasing the size of simplexes and introducing new cycles. Both connectomes contain characteristic subjacent graphs that make them 3/2hyperbolic. These results shed new light on the functional architecture of the brain, suggesting that insightful differences among connectomes are hidden in their higherorder connectivity.
Introduction
Human psychology and behaviour are determined by functional brain connectivity among neurons, neural assemblies, or entire regions, making the patterns of circuitry that can be detected by brain imaging^{1}. Recent largescale research into the brain imaging data within the Human Connectome Project (HCP)^{2,3,4} aims to uncover, describe and understand the functional structure of human connectome; the connectome is visualised as a network consisting of different brain regions (grey matter) and paths between them (whitematter fibre bundles) that can be determined by mapping the diffusionMRI and tractography data. The network nodes are identified as distinct brain regions that are functionally similar and spatially close as well as equally connected to the other regions^{4,5,6,7}. The connections between these regions are inferred from brain imaging data. Recent studies provided insight into the developmental trajectory, elucidating that the architecture of connections in the brain develops over time to support the function^{8}. Thus the inferred structure of edges may vary among different subjects, performed tasks and conditions. In this context, the sexrelated differences in brain connectivity evolve across the development to accompany all functional and behavioural dimensions^{8,9}. Therefore, the consensus between the pipelines in the structural connectome can be mapped from a large population tractography data^{10} and depends on many parameters. Based on the data from HCP^{2} and the brain mapper developed in^{11}, the Budapest connectome server^{12} provides the possibilities to infer the consensus networks at a variety of the relevant parameters, as described in^{13}. The mapping of imaging data to the brain networks enables an objective analysis based on graph theory methods^{14,15}.
Recently, different studies of brain imaging data revealed the strong evidences for sexrelated differences in the structural connectome^{16,17,18,19,20,21,22}. This subject was not well researched, but already it brought some controversial debates^{9}. The exact origin of these differences and their potentials and impact on the level of individual and social behaviour are still to be investigated^{23}. On the other hand, the current degree of reliability of the connectome data provides an opportunity for a mathematical analysis of structural differences at all levels. For example, a recent study^{22} has shown that the consensus female connectome has superior connectivity than the consensus male connectome in many graphtheoretic measures.
Recent investigations of geometrical properties of various complex systems^{24,25,26,27,28,29,30,31,32,33} show the relevance of the higherorder connectivity beyond standardly considered pairways interactions. Mathematically, the impact of these higher order interactions is adequately described by the simplicial complexes in the algebraic topology of graphs^{34,35,36,37}. In these complexes, elementary geometrical shapes (triangles, tetrahedra, and simplexes of higher order) are combined through shared substructures of various orders. These geometrical structures directly influence dynamic processes that the complex system in question performs, such as transport, diffusion, or synchronisation among the involved nodes. In the case of brain networks, the main dynamic function pertains to maintaining an optimal balance between the processes of integration and segregation where different regions of the brain can be simultaneously involved and the present modular structure of the brain plays an important role^{38,39,40,41}. Anatomical modules of the brain, which are recognized as different mesoscopic communities in the network^{42,43,44,45}, are based on spatial topography and coexpression of genes in the brain cells^{46}. It has been suggested that each module performs a discrete cognitive function while specific connector nodes take on communication between modules^{40}. However, the fine functional organisation inside these modules remains unexplored. Besides, the occurrence of simplicial complexes causes the emergent hyperbolicity or a negative curvature^{47} in the structure of the graph, which affects its functional properties. In this sense, the complete graph and associated tree are ideally hyperbolic, characterised by the hyperbolicity parameter \(\delta =0\). The graphs with small values of δ are subject to intensive investigations for their ubiquity in natural and social systems, as well as in technology applications^{24,25,30,33,48}. Moreover, current theoretical studies reveal that Gromov hyperbolic graphs with a small hyperbolicity parameter have specific mathematical properties^{48}. In particular, the bounds for the δparameter of the whole graph can be derived from subjacent simpler graphs, for example, induced cycles or clique separators of a given length^{49,50,51,52,53,54}. Therefore, the study of the hyperbolicity of brain graphs can reveal the presence of typical local structures that are potentially decomposable into some known forms, which underlie the brain’s dynamic complexity.
In this work, we considerably expand the analysis of human connectome beyond the simple pairwise connectivity. Using the mathematical techniques of algebraic topology of graphs, we identify hierarchically organised complexes that encode higherorder relationships between regions of the brain and explore the hyperbolic geometry of brain graphs. We consider the consensus connectomes mapped from 100 female (Fconnectome) and 100 male (Mconnectome) subjects, using the brain mapper and imaging data from the Human Connectome Project, which is provided by the Budapest server 3.0^{12}. The weighted edges are inferred according to the electrical connectivity criteria, which are most sensitive to the number of fibres observed in the tractography data. We analyse the connectomes that correspond to the significant variation in the number of fibres launched (see Methods). With the appropriate topology measures, our objectives are to determine the hidden structure of human connectome endowed with the relationships between groups of nodes and express the possible gender differences in this context. To this end, we construct and investigate a common F&Mconnectome at different numbers of fibres and determine its structure, parametrised by simplicial complexes, and the graph’s hyperbolicity parameter. Furthermore, by comparing edges in the F and Mconnectomes, we identify the excess edges that appear consistently in the Fconnectome with an increased number of fibres. Our mathematical analysis reveals a rich structure of simplicial complexes that are common to the F&Mconnectome and belong to different brain anatomical communities and cycles that connect them inside and across the two brain hemispheres. It further confirms the higher connectivity of the Fconnectome and demonstrates that the excess edges have a wellorganised structure that includes a particular set of paths and brain regions.
Methods
Input data & consensus networks
The consensus connectomes that we study are generated at the Budapest Reference Connectome Server v3.0^{12} using data from the Human Connectome Project (HCP) for 500 individuals^{2}. As it is described in^{13}, the server produces the connectomes for each anonymised individual based on its diffusion MRI data of HCP and by applying the brain mapping tools^{11,55,56} for parcellation, tractography, and graph construction. From these individual graphs, the consensus connectome with the edges that are common for a specified group of individuals is generated, corresponding to the settings of a variety of parameters^{13}. Apart from the resolution, the number and biological sex of individuals can be selected, the method for computing the weights of edges, as well as three options regarding the number of fibres launched in the tractography phase. For our study, we have selected the data that provide the consensus networks for female connectome and male connectome based on 100 subjects of each sex. The corresponding brain networks consist of N = 1015 nodes (anatomically annotated brain regions) and the weights of the connections between them determined according to the electrical connectivity criteria, i.e., the number of fibres between the considered pair of regions is divided by the average fibre length. We consider three different fibre counts, comprising of N_{F} = 20 K, 200 K, and 1000 K fibres, where for short K ≡ 1000. For the additional parameters, we have set the minimum edge confidence as 100%, minimum edge weight as 4, and the median weight calculation. The resulting adjacency matrices of the weighted networks, herewith called Fconnectome and Mconnectome, respectively, are downloaded together with the node labels, i.e., the names of the anatomical brain regions.
Gromov hyperbolicity parameter of graphs
A generalization of the Gromov notion of hyperbolicity^{47} is applied to graphs endowed with the shortestpath metric. Specifically, the 4point Gromov criterion states that a graph G is δhyperbolic iff for any four vertices \((A,B,C,D)\) there is a fixed small value δ(G) such that the following relation beween the sums of distances \({\mathscr{S}}\) ≡ d\((A,B)+d(C,D)\le {\mathcal M} \) ≡ \(d(A,C)+d(B,D)\le {\mathcal L} \) ≡ \(d(A,D)+d(B,C)\) implies \(d(A,D)+d(B,C)d(A,C)d(B,D)\le 2\delta (G)\). Thus, for a δhyperbolic graph, there is δ(G) such that any four nodes of the graph satisfy the condition
From the triangle inequality, the value of \(( {\mathcal L}  {\mathcal M} )/2\) is bounded brom above by the minimal distance \({d}_{min}\equiv min\{d(A,B),d(C,D)\}\) in the smallest sum \({\mathscr{S}}\). This relationship enables a direct computation of the hyperbolicity parameter of a graph, which is given by its adjacency matrix. In particular, by sampling a large number (10^{9}) 4tuples of vertices we plot \(\delta (A,B,C,D)\) against the corresponding d_{min}; the plot saturates at larger distances. We compute the average \(\langle \delta \rangle \) for all d_{min} as well as \({\delta }_{max}=ma{x}_{G}\{\delta (A,B,C,D)\}\) as the largest value observed in the entire graph, which gives δ(G).
We also determine the distribution P(d) of the shortestpath distances d on the graph. The largest distance defines the graph’s diameter D, which gives the upper bound to the hyperbolicity parameter, \(\delta (G)\le D\mathrm{/2}\). As mentioned above, the hyperbolic graphs with a small parameter δ have a specific structure of subgraphs, from which the upper bound of δ(G) can be derived^{50,51,52,53,54}. In this context, the following definitions apply. A subgraph \({\rm{\Gamma }}\) of G is called isometric if the distance between every pair of vertices \((A,B)\in {\rm{\Gamma }}\) is equal to the distance between them measured on G, i.e., \({d}_{{\rm{\Gamma }}}(A,B)={d}_{G}(A,B)\). A cycle C_{n} is a sequence of n pairwise connected vertices with \(n+1\to 1\); an induced cycle does not contain a chord, an edge connecting nonconsecutive vertices. A clique of size \(s\equiv {q}_{max}+1\) is the full graph of s vertices and \(s(s\mathrm{1)/2}\) edges.
Qanalysis of graphs: definition of structure vectors
Considering a connectome as an undirected and unweighted graph G, the higherorder connectivity of its vertices can be appropriately parametrised by the maximal complete subgraphs (or cliques) whose vertices belong to a clique complex C(G) in the graph G^{36}. Two cliques σ_{r} and σ_{q} of the orders r, q can be interconnected by sharing some vertices; then the structure made by the shared vertices represents a common face of both cliques. For example, if for \(r < q\) all vertices of σ_{r} belong to σ_{q}, then the simplex σ_{r} represents a face of the order r in the simplex σ_{q}. The simplicial complex represents the aggregate of cliques that share the faces of different orders \(q=0,1,2\cdots {q^{\prime} }_{{\max }}1\), where \({q^{\prime} }_{{\max }}\) indicates the order of the largest clique in the complex. The order of a simplicial complex is the largest order of a simplex in it; we denote by q_{max} the order of the largest complex in the entire graph.
Applying the BronKerbosch algorithm^{57}, the adjacency matrix of the graph G is converted into the incidence matrix Λ, which contains all cliques in the graph by identifying the vertices that belong to them; using this information, we then find how different cliques interconnect via shared nodes to make the higherorder structures. The overall hierarchical organisation of the graph can be quantified^{26,27,58,59,60,61} by three structure vectors having the components along different topology levels \(q=1,2,3,\cdots {q}_{{\max }}\). Specifically, for each considered graph, we determine:

FSV—the first structure vector \(\{{Q}_{q}\}\), where each Q_{q} represents the number of qconnected components;

SSV—the second structure vector \(\{{n}_{q}\}\), where n_{q} indicates the number of connected components from the level q upwards;

TSV—the third structure vector \(\{{\hat{Q}}_{q}\}\) is introduced to quantify the degree of interconnectivity between cliques at each level q, and can be derived from the other two as \({\hat{Q}}_{q}=1{Q}_{q}/{n}_{q}\).
These structure vectors provide a measure of the graph’s global architecture (see^{62} for the application of Qanalysis for the vertex neighbourhood). Note that, in this context, the 1skeleton of the simplicial complex consists of nodes and edges, representing the topological graph, which is analysed by graph theory methods. We also determine some graph measures^{63,64} and community structure^{43,65,66} of the corresponding topological graphs, see Results. Visualisation and standard graph parameters are made by using Gephi software^{67}.
Results
Consensus networks of human connectome
According to the parameter settings (see Methods), the considered Fconnectome consists of the edges that appear in all 100 female subjects, and similarly, the Mconnectome contains the edges that are present in all 100 male subjects. For the illustration, the Fconnectome at 1000 K fibres is shown in Fig. 1 with the labelled brain regions as nodes. Here, we use the simplicial complexes parametrisation (see Methods) and the graph’s hyperbolicity measures to uncover the hidden structure of human connectome, which is encoded in the higherorder connectivity between groups of nodes. Furthermore, using these mathematical measures, we analyse the variations of the brain connectivity patterns in female and male connectomes, depending on the number of fibres N_{F} launched in the tractography. As it is shown in Fig. 2a–d, the number of connections increases with N_{F} and differs between F and Mconnectomes, resulting in different degree distributions, cf. Fig. 2b. However, these distributions fall to the same curve when plotted against the rescaled node’s connectivity \(k/\langle k\rangle \), as shown in Fig. 2c. In the node’s first neighbourhood, the average connectivity correlates with the node’s degree k_{i} in an assortative manner i.e., \({\langle k\rangle }_{nn}\sim {k}_{i}^{\mu }\) with a positive exponent μ, cf. Fig. 2a, with the outlier nodes representing big hubs (“rich club” organisation^{14}). The scaling range and the exponent μ are slightly larger in the Fconnectome. We show in the following that a significant difference between these connectomes lies in the structure of simplicial complexes.
To proceed, we first identify all edges that (although with different weights) are common for both Fconnectome and Mconnectome, here called \({C}^{F\& M}\)connectome at different N_{F}. Table 1 and Fig. 2 summarise the number of edges and mutual relationships of different connectomes. Figure 3 shows the corresponding graphs with the labelled brain regions, obtained for N_{F} = 200 K and 1000 K. Specifically, we find that:

The number of established edges in each considered connectome increases with the number of fibres launched N_{F};

The common \({C}^{F\& M}\)connectome practically coincides with the Mconnectome at each N_{F}, whereas the Fconnectome contains an increasing number of excess edges with the increasing N_{F};

The common \({C}^{F\& M}\)connectome at a higher N_{F} inherits all edges from the \({C}^{F\& M}\)connectome at a lower N_{F};

A significant fraction of the excess edges found in the Fconnectome at a lower N_{F} appear in the common \({C}^{F\& M}\)connectome but at a higher N_{F};

There is a large number of the excess edges in the Fconnectome that are never found in the common \({C}^{F\& M}\)connectome at a higher N_{F}; the patterns of these edges make the fundamental difference between the human female and male connectomes.
The structure of simplicial complexes in brain graphs
According to Table 1 and Fig. 2, at each N_{F}, the common F&Mconnectome practically coincides with the male connectome (apart from the exact weights of edges) while there are many excess edges in the female connectome. Here, by applying Qanalysis (see Methods) to the corresponding graphs at different numbers of fibres N_{F}, we show that (i) the common human connectome possesses a nontrivial hidden structure encoding multivertex connectivity; (ii) the excess edges of the Fconnectome are not random but exhibit a highly organised structure, which thus implies a specific functionality, cf. Fig. 3.
In Fig. 4 the results for the three structure vectors, defined in Methods, are presented for different N_{F}. As Fig. 4 shows, the structure of connectomes becomes richer with the increased number of fibers N_{F}. In particular, the cliques of a systematically larger order q appear and the degree of their interconnectivity increases as measured by TSV. Moreover, the larger number of edges in the Fconnectome leads to a much richer structure of the simplicial complexes, which is expressed by all structure vectors, cf. right panels of Fig. 4. We also notice that the difference between the M and Fconnectomes systematically increases with the increased N_{F}. Representative quantitative properties are given in Tables SII and SIII in Supplementary Information. Noticeably, the \({Q}_{q=0}\) component of the FSV, which gives the number of fragments of the graph, suggests that besides the largest component some vertices and small clusters remain disconnected. The number of fragments decreases and the connectivity increases with the increasing N_{F}. The corresponding number of edges in the largest cluster is given in Table 1. The organisation of the present edges at each N_{F} manifests in the presence of simplicial complexes with the largest order q_{max}. From Fig. 4 and Table SIII, we see that the Fconnectome possesses the cliques of a higher order; the difference increases from \({q}_{max}^{M}=5\) and \({q}_{max}^{F}=6\), at 20 K, to \({q}_{max}^{M}=13\) and \({q}_{max}^{F}=20\), at 1000 K. The number of cliques of the highest order is different, as well as their connection to the other cliques at the level just below the q_{max}. Apart from the increased number of topology levels, the Fconnectome also exhibits a significant degree of interconnections between the big cliques. For example, the TSV for the Fconnectome at the level q = 13, which equals to \({q}_{max}^{M}\), is still very high, about 55%. Below, we identify the excess edges in the Fconnectome and examine the patterns which they make. We note that the presence of larger simplicial complexes and their better interconnections in the Fconnectome, as compared to the Mconnectome, agree well with the observed differences in some nonlocal graph properties, for example, the degreerelated correlations, cf. Fig. 2a. Similarly, this structure of simplicial complexes can be compatible with the better expander graph and the width of balanced cuts in the female connectomes, reported in^{22} by graphtheory analysis. Meanwhile, the dissimilarity in the node’s degree distributions can be scaled out. Hence, the insightful differences among these connectomes are in the architecture of connections, not merely in their number. For completeness, in Table 2 we show a summary of different graphs’ properties.
Hyperbolicity of the human connectome
Another hidden geometrical property of the connectomes is their hyperbolicity in the graphmetric space, as we show in the following. A previous study^{68} refers to the brain network embedded in a hyperbolic space, i.e., the volume of the skull. Theoretically, the hyperbolicity of a pathconnected geodesic metric space was proved^{69,70} to be equivalent to the hyperbolicity of the graph associated with it. In the brain graphs studied above, the hierarchical organisation of simplicial complexes reduces the distances between nodes in the graph’s metric space, which implies their hyperbolicity. Here, using the 4point Gromov criterion (see Methods), the hyperbolicity parameters are determined for F and Mconnectomes obtained by varying the number of fibres N_{F}. In this context, we consider the corresponding adjacency matrix of the largest connected cluster as an unweighted symmetrical graph. Figure 5A shows the results for the largest available \({N}_{F}=1000\,K\). In the bottom panels, the histograms of the distances between all pairs of vertices are plotted. Although the diameter D = 8 applies to both graphs, typical distances in the Fconnectome appear to be smaller. In the top panels, we plot the values of the δparameter against the minimum distance d_{min} of a given 4tuple, as described in Methods. Specifically, lower sets of curves represent the average value \(\langle \delta \rangle \) for a given d_{min}. Whereas the top lines contain the recorded maximum value δ_{max} from all considered 4tuples.
We observe that the values of \(\langle \delta \rangle \) are very low, practically never exceed 0.25, which suggests the impact of the types of local structures populated by cliques. They are 0hyperbolic subgraphs (atoms)^{52} and induced cycles, whose hyperbolicity depends on the length of the cycle and can be expressed as a multiple of 1/4^{48}. Moreover, \({\delta }_{max}=\mathrm{3/2}\) suggests that dominant isometric subgraphs, which determine the value of δ_{max} for the whole graph^{54} in both connectomes, can be cycles C_{n} that have \(n\ge 6\) but with the diameter \(D\ge 3\). While we regularly obtain \({\delta }_{max}=\mathrm{3/2}\) in the Mconnectome, it was necessary to sample 10^{9} different 4tuples to find it in the Fconnectome. Meanwhile, the value of \({\delta }_{max}=1\) occurs often in the Fconnectome. It suggests that the dominant subgraphs can be composed of cliques that are oneedge apart, which, according to the results in^{32,52}, yields that \({\delta }_{max}={\delta }_{clique}+1\) or they contain short cycles isomorphic to 4cycle^{48}. The situation is considerably different at the lower number of fibres where both F and Mconnectomes have gradually fewer edges (see Table 1). Consequently, the distances between vertices increase as well as the diameters of the graphs. The increased distances lead to the appearance of larger cycles and yield the distortion of the hyperbolicity parameter^{51} while the graphs remain hyperbolic; we find the upper bound \({\delta }_{max}\le 4\) in both connectomes, as shown in Fig. 5B.
The structure of common F&Mconnectome and the excess edges in Female connectome
By performing the edgebyedge comparisons in the corresponding graphs, see Fig. 3, we identify every edge in terms of its source and destination vertex and the weight. For the highest N_{F}, the common F&Mconnectome consists of 7110 edges which coincide with the structure of the Mconnectome, cf. Table 1 and Fig. 2. The corresponding network of the Mconnectome, as shown in Fig. 6a, possesses a characteristic community structure related to different anatomical brain regions. Apart from the heterogeneity of the structure due to different degrees and weights of edges, this community structure is essential for the brain functional complexity^{39,40,41,42,43,44,45} for both F and Mconnectomes. As mentioned above, the Fconnectome possesses an extra structure on the top of the common F&Mconnectome; it consists of many edges that connect different brain regions. The number of the extra edges varies with the number of launched fibres N_{F}, as shown in Table 1. A subgraph of the identified excess edges in the Fconnectome, here termed Fexcess1195, consists of 1195 edges which systematically appear in the Fconnectome, first at \({N}_{F}=200\,K\) and then at \({N}_{F}=1000\,K\) with increased weights; these edges are not present in the corresponding Mconnectomes, and thus are not part of the universal F&Mconnectome at the largest N_{F}. A part of this graph, containing only the edges of a substantial weight, is shown in Fig. 6b. In the Supplementary Information list LI, the names of source and target brain regions of these edges are given. The complete graph Fexcess1195 is also shown in Fig. SI3.
It should be stressed that the excess edges observed in the Fconnectome are attached to the central brain graph, the common F&Mconnectome, at a large number of vertices. By considering Fexcess as a separate graph, cf. Fig. 6b, we observe that these excess edges make nonrandom patterns and have a significant variation in weights (cf. Fig. SI1); they involve 348 different brain areas in both hemispheres as well as the edges that connect the left and right hemispheres. The properties of the Fexcess1195 subgraph are also summarised in Table 2, and the distribution of distances P(d), as well as the hyperbolicity parameters with \({\delta }_{max}=4\) are shown in Fig. 5B. Noticeably, the pattern of these extra connections in the Fconnectome adds some larger cycles and 112 triangles. However, they are well embedded in the structure of the F&Mconnectome, such that they do not appear as isomorphic cycles, and, consequently, do not increase the hyperbolicity parameter of the Fconnectome. For comparison, we show the corresponding features of the randomised version of the Fexcess1195 graph. Note that for this purpose we randomise the edges within each hemisphere separately while keeping the crosshemisphere edges intact, so that the brain anatomical structure is observed. The parameters of the randomised graph are also shown in Table 2. Note that several other graphtheoretic properties, see the studies in reference^{22}, also differ in female and male connectomes.
Discussion
By analysing the HCP data provided at the Budapest connectome server, we acquired three sets of networks representing the consensus female and male connectomes at different numbers of launched fibres 20 K, 200 K, and 1000 K. In addition to the standard graph parameters, by using algebraic topology methods we discovered a latent geometry that encodes higherorder connections in these brain graphs. Our main findings are:

Higherorder connectivity of the common F&Mconnectome. We have shown that the human connectome, consisting of the edges that are common to both F&M connectomes, possesses a hidden structure beyond the node’s pairwise connectivity. The higherorder connections between the groups of brain regions are suitably encoded by simplexes organised into larger complex structures and quantified by structure vectors, cf. Fig. 4. Remarkably, the complexity of the human connectome increases with the number of launched fibres, reaching the simplicial complexes of the order \({q}_{max}+1=14\) at \({N}_{F}=1000\,K\). Specifically, there are six such cliques, which contain nodes in different brain modules (see Fig. SI2 and the list LI in Supplementary Information). We note that these simplicial complexes belong to different communities, which are anatomical mesoscopic structures of the brain graphs, cf. Fig. 6a. This architecture of connections in the brain graphs can be characterised by the tools of hyperbolic geometry. In particular, we find that they are Gromov hyperbolic graphs with small hyperbolicity constant \({\delta }_{max}=3/2\), which characterises both F and Mconnectomes at 1000 K launched fibres. Hyperbolicity varies with the network density, which is directly related to N_{F}. In contrast, randomised (separately within each hemisphere) links exhibit much smaller simplexes (\({q}_{max}^{rand}=3\)) and increased hyperbolicity parameter that points to larger cycles. These findings indicate that the brain functional geometry consists of massive simplicial complexes as part of anatomical communities within each hemisphere as well as cycles that connect different regions inside and between the two hemispheres. Understanding the potential implications of hyperbolicity for the integrationsegregation dynamics of the brain circuits remains an open question for future study.

Structure of the excess edges in Fconnectomes. Fconnectome systematically appears to be better connected, i.e., has a more significant number of edges at every N_{F}. Here, a more detailed inspection of the sourceandtarget brain region and the weight that identifies an edge indicates that two groups of excess edges occur: (1) The edges appearing in the Fconnectome at a relatively low number of fibres which can appear in the Mconnectome but only if a much larger number of fibres is launched; (2) The edges that robustly appear only in the Fconnectome and have not been established in the Mconnectome, including the highest available number 1000 K of fibres. From the second group, the identity of 1195 edges that first appear at 200 K in the Fexcess subgraph and are not present in the common F&Mconnectome at 1000 K are given in Supplementary Information. In particular, Fig. SI3 shows the complete graph, while the list LII contains only the edges with large weights. A comparison with the (inside the hemisphere) randomised graph has shown that these Fexcess edges, considered as a separate graph, also have an organised structure involving a large number of brain regions, cf. Fig. 6b. Direct analysis and its hyperbolicity parameter suggest a geometry dominated by cycles and small simplexes.
To summarise, our study reveals how the functional geometry of human connectome can be expressed by higherorder connectivity, described by simplicial complexes and induced cycles. This kind of structure is built into the anatomical communities of the brain at the mesoscopic scale in both brain hemispheres. However, the precise role of these simplicial complexes for the dynamical segregation in brain functional complexity remains to be better understood. In this context, the developed methodology provides new topological measures of the consensus brain networks and quantifies the perceptive differences between connectomes. Specifically, in the studied female and male consensus connectomes, a part of connections is more natural to invoke in the female than in the male brain, where much more fibres need to be launched to identify them. Whereas the other fraction of such connections consists of edges that appear exclusively in the consensus female connectome, they have not been identified in the consensus male connectome.
It should be stressed that the considered consensus networks represent a kind of typical structures with the fixed number of vertices as 1015 brain regions while the edges are common for all 100 male and similarly for all 100 female, recorded within HCP in a representative set of (young and healthy) individuals. Note that, in each particular subject, the number of brain connections can deviate, e.g., being even considerably more abundant than in the respective consensus network. Moreover, the structure of possible connections is expected to vary with age, particular practice and with a development of diseases. Based on the brain imaging data, the methodology developed in this work would be suitable to reveal subtle differences between pairs of brains as well as changes in the brain of the same individual. Similar studies have been done with the patterns induced by the brain spontaneous fluctuations and contentrelated activity recorded by EEG^{27,30,71}, complementing the traditional methods. The application of our methodology to these issues warants a separate study which would include a more detailed investigation of the role of orientation and the weights of the edges.
Conclusions
Our analysis has revealed that the human connectome possesses a hyperbolic geometry and a complex structure on the scale between the node’s edges and the mesoscopic anatomical communities within the cerebral hemispheres. This structure, composed of simplicial complexes of different sizes and cycles that connect them, accurately describes the higherorder connectivity among different regions of the brain, divided into anatomical modules. Therefore, it can provide a reliable basis for understanding the functional complexity of the brain. Moreover, the female connectome appears to have a structure different from the common F&Mconnectome, not only in the number of edges but also in its organisation expressed by these higherorder connections. It might be conjectured that these excess connections imply additional functionality of the female connectome, which can have evolutionary, biological, biochemical, and even social origins. These issues go beyond our mathematical analysis of brain graphs. However, we believe that our findings can motivate further studies to better understand the origin and functional consequences of the apparent gender differences in the human connectome.
Data Availability
All data used in this work are available from the Budapest reference connectome 3.0, https://pitgroup.org/connectome/.
References
Babiloni, F. et al. Estimation of the cortical functional connectivity with the multimodal integration of highresolution EEG and fMRI data by directed transfer function. NeuroImage 24(1), 118–131 (2005).
McNab, B. J. A. et al. The human connectome project and beyond: Initial applications of 300mT/m gradients. NeuroImage 80, 234–245 (2013).
Ganepola, T. et al. Using diffusion MRI to discriminate areas of cortical grey matter. NeuroImage 182, 456–468 (2017).
Tittgemeyer, M., Rigoux, L. & Knösche, T. R. Cortical parcellation based on structural connectivity: A case for generative models. NeuroImage 173, 592–603 (2018).
Rubinov, M. & Sporns, O. Complex network measures of brain connectivity: Uses and interpretations. NeuroImage 52(3), 1059–1069 (2010).
Zalesky, A. et al. Wholebrain anatomical networks: Does the choice of nodes matter? NeuroImage 50(3), 970–983 (2010).
Shen, X., Papademetris, X. & Constable, T. R. Graphtheory based parcellation of functional subunits in the brain from restingstate fmri data. NeuroImage 50(3), 1027–1035 (2010).
Tunc, B. et al. Establishing a link between sexrelated differences in the structural connectome and behaviour. Phil. Trans. R. Soc. B 371, 20150111 (2015).
Ingalhalikar, M. et al. Sex differences in the structural connectome of the human brain. Proceedings of the National Academy of Sciences 111(2), 823–828 (2014).
Parker, C. S. et al. Consensus between pipelines in structural brain networks. PLoS One 9(10), 1–10 (2014).
Zhang, Z. et al. Mapping populationbased structural connectomes. NeuroImage 172, 130–145 (2018).
Budapest reference connectome 3.0, https://pitgroup.org/connectome/.
Szalkai, B., Kerepesi, C., Varga, B. & Vince Grolmusz, V. Parameterizable consensus connectomes from the human connectome project: the budapest reference connectome server v3.0. Cognitive Neurodynamics 11(1), 113–116 (2017).
Sporns, O. Structure and function of complex brain networks. Dialogues Clin. Neurosci. 15(3), 247–262 (2013).
Pappo, D., Zanin, M., PinedaPardo, J. A., Boccaletti, S. & Buldu, J. M. Functional brain networks: great expectations, hard times, and the big leap forward. Philosophical transactions of the Royal Society of London. Series B, Biological sciences 369(1653), 20130525 (2014).
Jahanshad, N. & Thompson, P. M. Multimodal neuroimaging of male and female brain structure in health and disease across the life span. Journal of Neuroscience Research 95, 371–379 (2017).
Ruigrok, A. N. V. et al. A metaanalysis of sex differences in human brain structure. Neuroscience and Behavioral Reviews 39(100), 34–50 (2014).
Miller, D. I. & Halpern, D. F. The new science of cognitive sex differences. Trends in Cognitive Sciences 18(1), 37–45 (2014).
Taki, Y. et al. Correlations among brain gray matter volumes, age, gender, and hemisphere in healthy individuals. PLoS One 6(7), 1–13, 07 (2011).
Zhang, C., Dougherty, C. C., Baum, S. A., White, T. & Michael, A. M. Functional connectivity predicts gender: Evidence for gender differences in resting brain connectivity. Human Brain Mapping 39(4), 1765–1776 (2018).
Sun, Y. et al. Progressive gender differences of structural brain networks in healthy adults: A longitudinal, diffusion tensor imaging study. PLoS One 10(3), 1–18, 03 (2015).
Szalkai, B., Varga, B. & Grolmusz, V. Graph theoretical analysis reveals: Women’s brains are better connected than men’s. PLoS One 10(7), 1–30, 07 (2015).
Goyal, M. S. et al. Persistent metabolic youth in the aging female brain. Proceedings of the National Academy of Sciences, 201815917 (2019).
Albert, R., DasGupta, B. & Mobasheri, N. Topological implications of negative curvature for biological and social networks. Phys. Rev. E 89, 032811 (2014).
Narayan, O. & Saniee, I. Largescale curvature of networks. Phys. Rev. E 84, 066108 (2011).
Andjelković, M., Tadić, B., Maletić, S. & Rajković, M. Hierarchical sequencing of online social graphs. Physica A: Statistical Mechanics and its Applications 436, 582–595 (2015).
Tadić, B., Andjelković, M., Boshkoska, B. M. & Levnajić, Z. Algebraic topology of multibrain connectivity networks reveals dissimilarity in functional patterns during spoken communications. PLoS One 11(11), 1–25, 11 (2016).
Kleinberg, K. K., Boguña, M., Serrano, M. A. & Papadopoulos, F. Hidden geometric correlations in real multiplex networks. Nature Physics 12, 1076–1082 (2016).
Salnikov, V., Cassese, D. & Lambiotte, R. Simplicial complexes and complex systems. European Journal of Physics 40, 014001 (2018).
Tadić, B., Andjelković, M. & Šuvakov, M. Origin of hyperbolicity in braintobrain coordination networks. Frontiers in Physics 6, 7 (2018).
Bianconi, G. & Rahmede, C. Emergent hyperbolic network geometry. Sci. Rep. 7, 41974 (2017).
Šuvakov, M., Andjelković, M. & Tadić, B. Hidden geometries arising in cooperative selfassembly. Sci. Rep. 8, 1987 (2018).
Tadić, B. Selforganised criticality and emergent hyperbolic networks—blueprint for complexity in social dynamics. European Journal of Physics 40, 024002 (2019).
Jonsson, J. Simplicial Complexes of Graphs. Lecture Notes in Mathematics (SpringerVerlag, Berlin, 2008).
Kozlov, D. Combinatorial Algebraic Topology. Springer Series “Algorithms and Computation in Mathematics”, Vol. 21 (SpringerVerlag Berlin Heidelberg, 2008).
Bandelt, H.J. & Chepoi, V. Metric graph theory and geometry: a survey, in Goodman, J. E., Pach, J. & Pollack, R. eds “Surveys on discrete and computational geometry: Twenty years later”. volume 453 (Providence, RI: AMS, 2008).
Maletić, S. & Zhao, Y. Simplicial Complexes in Complex Systems: The Search for Alternatives. first edition (Harbin Institute of Technology, Harbin, Peoples Republic of China, 2017).
Muñoz, M. A. Colloquium: Criticality and dynamical scaling in living systems. Rev. Mod. Phys. 90, 031001 (2018).
Deco, G., Tononi, G., Boly, M. & Kringelbach, M. L. Rethinking segregation and integration: contributions of wholebrain modelling. Nat Rev Neurosci 16(7), 430–439 (2015).
Bertolero, M. A., Thomas Yeo, B. T. & D’Esposito, M. The modular and integrative functional architecture of the human brain. Proceedings of the National Academy of Sciences 112(49), E6798–E6807 (2015).
ZamoraLópez, G., Chen, Y., Deco, G., Kringelbach, M. L. & Zhou, C. Functional complexity emerging from anatomical constraints in the brain: the significance of network modularity and richclub. Scientific Reports 6, 3842 (2016).
Meunier, D., Lambiotte, R. & Bullmore, E. Modular and hierarchically modular organization of brain networks. Frontiers in Neuroscience 4, 200 (2010).
Gronchi, G., Guazzini, A., Massaro, E. & Bagnoli, F. Mapping cortical functions with a local community detection algorithm. J. Complex Networks 2(4), 637–653 (2014).
Mitra, P. P. The Circuit Architecture of Whole Brains at the Mesoscopic Scale. Neuron 83(6), 1273–1283 (2014).
Zeng, H. Mesoscale connectomics. Current opinion in neurobiology 50, 154–162 (2018).
Oldham, M. C. et al. Functional organization of the transcriptome in human brain. Nature Neuroscience 11, 1271 (2008).
Gromov, M. Hyperbolic groups, pages 75–263 (Springer, New York, 1987).
Bermudo, S., Rodríguez, J. M., Rosario, O. & Sigarreta, J. M. Small values of the hyperbolicity constant in graphs. Discrete Mathematics 339(12), 3073–3084 (2016).
Chepoi, V., Dragan, F. F., Estellon, B., Habib, M. & Vaxès, Y. Diameters, centers, and approximating trees of deltahyperbolicgeodesic spaces and graphs. In Proceedings of the 24th ACM Symposium on Computational Geometry, College Park, MD, USA, June 9–11, 2008, pages 59–68 (2008).
Bermudo, S., Rodríguez, J. M., Sigarreta, J. M. & Vilaire, J.M. Gromov hyperbolic graphs. Discrete Mathematics 313(15), 1575–1585 (2013).
Carballosa, W., Pestana, D., Rodríguez, J. M. & Sigarreta, J. M. Distortion of the hyperbolicity constant in minor graphs. Electronic Notes in Discrete Mathematics 46, 57–64, Jornadas de Matemática Discreta y Algorítmica (2014).
Cohen, N., Coudert, D., Ducoffe, G. & Lancin, A. Applying cliquedecomposition for computing gromov hyperbolicity. Theoretical Computer Science 690(Supplement C), 114–139 (2017).
Wu, Y. & Zhang, C. Hyperbolicity and chordality of a graph. The Electronic Journal of Combinatorics 18, P43 (2011).
MartinezPerez, A. Generalized chordality, vertex separators and hyperbolicity on graphs. arxiv:1708.06153v1, pages 1–16 (2017).
BrainMappingToolKits, http://cmtk.org.
Fischl, B. Freesurfer. Neuroimage 62(2), 774–781 (2012).
Bron, C. & Kerbosch, J. Finding all cliques of an undirected graph. Comm. ACM 16, 575–577 (1973).
Freeman, C. L. Qanalysis and the structure of friendship networks. International Journal of ManMachine Studies 12(4), 367–378 (1980).
Gould, P. Qanalysis, or a language of structure: an introduction for social scientists, geographers and planners. International Journal of ManMachine Studies 13(2), 169–199 (1980).
Atkin, R. H. An algebra for patterns on a complex, ii. International Journal of ManMachine Studies 8(5), 483–498 (1976).
Maletić, S., Rajković, M. & Vasiljević, D. Simplicial Complexes of Networks and Their Statistical Properties. Lecture Notes in Computer Science 5102, 568–575 (2008).
Andjelković, M., Gupte, N. & Tadić, B. Hidden geometry of traffic jamming. Phys. Rev. E 91, 052817 (2015).
Bollobas, B. Modern Graph Theory. (SpringerVerlafg, Berlin Heidelberg, 1998).
Dorogovtsev, S. N. Lectures on Complex Networks. (Oxford University Press, Inc., New York, NY, USA, 2010).
Mitrović, M. & Tadić, B. Spectral and dynamical properties in classes of sparse networks with mesoscopic inhomogeneities. Phys. Rev. E 80(2), 026123 (2009).
Lancichinetti, A., Kivela, M., Saramaki, J. & Fortunato, S. Characterizing the community structure of complex networks. PLoS One 5(8), e11976 (2010).
Bastian, M., Heymann, S. & Jacomy, M. Gephi: An open source software for exploring and manipulating networks (2009).
Cacciola, A. et al. Coalescent embedding in the hyperbolic space unsupervisedly discloses the hidden geometry of the brain. arxiv:1705.04192 (2017).
Bowditch, B. H. Notes on gromov’s hyperbolicity criterion for pathmetric spaces. In Ghuy, E., Haeflinger, A. & Verjovsky, A. (Eds) Group Theory from a Geometrical Viewpoint, Trieste, 1990, World Scientific, River Edge, NJ, pages 64–167 (1991).
Rodriguez, J. M. & Touris, E. Gromov hyperbolicity through decomposition of metric spaces. Acta Math. Hungar. 103, 53–84 (2004).
Fox, M. D. & Raichle, M. E. Spontaneous fluctuations in brain activity observed with functional magnetic resonance imaging. Nature Revw Neurosci 8, 700–711 (2007).
Acknowledgements
Work supported by the Slovenian Research Agency (research code funding number P10044). MA received financial support from the Ministry of Education, Science and Technological Development of the Republic of Serbia, under the project OI 174014. R.M. is also grateful for the NSERC and CRC programs for their support.
Author information
Authors and Affiliations
Contributions
B.T. and R.M. designed research, M.A. contributed program tools, M.A., B.T. and M.R. performed computation and analysed data, B.T. produced figures and wrote the manuscript, all authors reviewed the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tadić, B., Andjelković, M. & Melnik, R. Functional Geometry of Human Connectomes. Sci Rep 9, 12060 (2019). https://doi.org/10.1038/s41598019485685
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598019485685
This article is cited by

Nonlocal models in the analysis of brain neurodegenerative protein dynamics with application to Alzheimer’s disease
Scientific Reports (2022)

Altered structural balance of restingstate networks in autism
Scientific Reports (2021)

Higherorder simplicial synchronization of coupled topological signals
Communications Physics (2021)

The topology of higherorder complexes associated with brain hubs in human connectomes
Scientific Reports (2020)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.