Higher Order Networks An Introduction To Simplicial Complexes 1st Edition Ginestra Bianconi Download
Higher Order Networks An Introduction To Simplicial Complexes 1st Edition Ginestra Bianconi Download
https://ebookname.com/product/higher-order-networks-an-
introduction-to-simplicial-complexes-1st-edition-ginestra-
bianconi/
Get the full ebook with Bonus Features for a Better Reading Experience on ebookname.com
Instant digital products (PDF, ePub, MOBI) available
Download now and explore formats that suit you...
https://ebookname.com/product/networks-an-introduction-1st-
edition-mark-newman/
https://ebookname.com/product/using-simulations-to-promote-
learning-in-higher-education-an-introduction-1st-edition-john-
paul-hertel/
https://ebookname.com/product/from-molecules-to-networks-an-
introduction-to-cellular-and-molecular-neuroscience-1st-edition-
john-h-byrne/
https://ebookname.com/product/liver-transplantation-clinical-
assessment-and-management-1st-edition-james-neuberger/
Taiwan s Security and Air Power Taiwan s Defense
against the Air Threat from Mainland China
Routledgecurzon Security in Asia Series 1st Edition
Martin Edmonds
https://ebookname.com/product/taiwan-s-security-and-air-power-
taiwan-s-defense-against-the-air-threat-from-mainland-china-
routledgecurzon-security-in-asia-series-1st-edition-martin-
edmonds/
https://ebookname.com/product/ten-steps-to-complex-learning-3rd-
edition-edition-jeroen-van-merrienboer/
https://ebookname.com/product/stiletto-1st-edition-daniel-
omalley/
https://ebookname.com/product/teach-yourself-visually-
wordpress-1st-edition-janet-majure/
https://ebookname.com/product/the-jesus-mysteries-was-the-
original-jesus-a-pagan-god-tim-freke/
Principles of System Identification Theory and Practice
1st Edition Arun K. Tangirala
https://ebookname.com/product/principles-of-system-
identification-theory-and-practice-1st-edition-arun-k-tangirala/
Bianconi
Higher-order networks describe the many-body interactions of
a large variety of complex systems ranging from the the brain
to collaboration networks. Simplicial complexes are generalized
network structures which allow us to capture the combinatorial
properties, the topology and the geometry of higher-order
networks. Having been used extensively in quantum gravity The Structure and Dynamics
to describe discrete or discretized space-time, simplicial
complexes have only recently become the representation of of Complex Networks
choice for capturing the underlying network topology and
geometry of complex systems.
This Element provides an in-depth introduction to the very
hot topic of network theory, covering a wide range of subjects
Higher-Order
Higher-Order Networks
ranging from emergent hyperbolic geometry and topological
data analysis to higher-order dynamics. This Element aims to
demonstrate that simplicial complexes provide a very general
mathematical framework to reveal how higher-order dynamics
Networks
depends on simplicial network topology and geometry.
An Introduction to
About the series Series editors
Simplicial Complexes
This cutting-edge new series provides Guido Caldarelli
authoritative and detailed coverage Ca’ Foscari
University of
Ginestra Bianconi
of the underlying theory of complex
networks, specifically their structure and Venice
dynamical properties. Each Element within
H I GH E R - O R D E R
NE T W O R KS
An Introduction to Simplicial Complexes
Ginestra Bianconi
Queen Mary University of London and The Alan
Turing Institute
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
University Printing House, Cambridge CB2 8BS, United Kingdom
One Liberty Plaza, 20th Floor, New York, NY 10006, USA
477 Williamstown Road, Port Melbourne, VIC 3207, Australia
314–321, 3rd Floor, Plot 3, Splendor Forum, Jasola District Centre,
New Delhi – 110025, India
103 Penang Road, #05–06/07, Visioncrest Commercial, Singapore 238467
www.cambridge.org
Information on this title: www.cambridge.org/9781108726733
DOI: 10.1017/9781108770996
© Ginestra Bianconi 2021
This publication is in copyright. Subject to statutory exception
and to the provisions of relevant collective licensing agreements,
no reproduction of any part may take place without the written
permission of Cambridge University Press.
First published 2021
A catalogue record for this publication is available from the British Library.
ISBN 978-1-108-72673-3 Paperback
ISSN 2516-5763 (online)
ISSN 2516-5755 (print)
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
DOI: 10.1017/9781108770996
First published online: November 2021
Ginestra Bianconi
Queen Mary University of London and The Alan Turing Institute
Author for correspondence: Ginestra Bianconi, [email protected]
5 Emergent Geometry 56
9 Outlook 113
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
References 130
Higher-Order Networks 1
˛ D Œv0 ; v1 ; : : : ; vd ; (1.1)
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
Œv0 ; v1 ; v2 ; (1.2)
ber of features, for instance they can be characterized not only by the number
of their connected components, like networks, but also by the number of their
higher-order cavities or holes indicated by their Betti numbers. Applied topol-
ogy [8, 15–19] studies the underlying topology (including the Betti numbers)
of simplicial complexes coming from real data. This field has been flourish-
ing in the last decades and was initially applied to extract information from
data-clouds coming from different sources of data including, for instance,
gene-expression. An important framework that has been developed in applied
topology is called persistent homology and is based on an operation called
filtration that aims at coarse-graining the data with different resolution char-
acterizing how long topological features persist. Only recently [20, 21] has this
approach been applied to real networked data and in particular to brain func-
tional networks, which are weighted networks in which the filtration procedure
is not simple coarse-graining, rather it is substituted with a change of thresh-
old in the weights of the links. Persistence homology of complex networks
is a powerful topological tool that makes extensive use of the simplicial rep-
resentation of data and has shown to reveal differences not accounted for by
4 The Structure and Dynamics of Complex Networks
that can be used to assign a distance to each link, the network scientist can
always choose to assign the same distance to each link.
Since simplicial complexes describe discrete simplicial geometries, mod-
eling simplicial complexes opens the possibility to reveal the fundamental
mechanisms of emergent simplicial geometry.
The long-standing mathematical problem of emergent geometry originates in
the field of quantum gravity, but this field is also very significant for complex
systems such as brain networks. Emergent simplicial geometry refers to the
ability of non-equilibrium or equilibrium models to generate simplicial com-
plexes with notable geometric properties by using purely combinatorial rules
that make no explicit reference to the network geometry. For instance emergent
geometry models should be independent of any possible simplicial complex
embedding.
Recently a series of works [29–31] has proposed a theoretical framework
called Network Geometry with Flavor that captures the fundamental mechan-
ism of emergent hyperbolic geometry. This framework opens a new perspec-
tive into the long-standing problem of emergent geometry and has possible
Higher-Order Networks 5
S
A d-dimensional simplex ˛ (also indicated as a d-simplex ˛) is formed by
a set of .d C 1/ interacting nodes
˛ D Œv0 ; v1 ; v2 : : : ; vd :
F
A face of a d-dimensional simplex ˛ is a simplex ˛ 0 formed by a proper
subset of nodes of the simplex, i.e. ˛ 0 ˛:
8 The Structure and Dynamics of Complex Networks
3-simplex
Faces
For instance the faces of a 2-simplex Œv0 ; v1 ; v2 include three nodes Œv0 ,
Œv1 , Œv2 and three links Œv0 ; v1 ; Œv0 ; v2 ; Œv1 ; v2 . Similarly, in Figure 3 we
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
S
A simplicial complex K is formed by a set of simplices that is closed under
the inclusion of the faces of each simplex.
The dimension d of a simplicial complex is the largest dimension of its
simplices.
(a) if a simplex ˛ belongs to the simplicial complex, i.e. ˛ 2 K, then any face
˛ 0 of the simplex ˛ is also included in the simplicial complex, i.e. if ˛ 0 ˛
then ˛ 0 2 K;
(b) given two simplices of the simplicial complex ˛ 2 K and ˛ 0 2 K then
either their intersection belongs to the simplicial complex, i.e. ˛ \ ˛ 0 2 K,
or their intersection is null, i.e. ˛ \ ˛ 0 D ;.
Here and in the future we will indicate with N the total number of nodes
in the simplicial complex and we will indicate with NŒm the total number
of m-dimensional simplices in the simplicial complex (note that NŒ0 D N).
Furthermore we will indicate with Qm .N/ the set of all possible and distinct
m-dimensional simplices that can be present in a simplicial complex K includ-
ing N nodes. With Sm .K/ we will indicate instead the set of all m-dimensional
simplices present in K.
Among the simplices of a simplicial complex, the facets play a very relevant
role.
F
A facet is a simplex of a simplicial complex that is not a face of any
other simplex. Therefore a simplicial complex is fully determined by the
sequence of its facets.
plexes.
P
A pure d-dimensional simplicial complex is formed by a set of d-
dimensional simplices and their faces.
Therefore pure d-dimensional simplicial complexes admit as facets only
d-dimensional simplices.
This implies that pure d-dimensional simplicial complexes are formed exclu-
sively by gluing d-dimensional simplices along their faces. In Figure 4 we show
an example of simplicial complex that is pure and an example of a simplicial
complex that it is not pure.
An interesting question is whether it is possible to convert a simplicial com-
plex into a network and vice versa and how much information is lost/retained
10 The Structure and Dynamics of Complex Networks
H
A hypergraph G D .V; EH / is defined by a set V of N nodes and a set EH of
hyperedges, where an .m C 1/-hyperedge indicates a set of m C 1 nodes
e D Œv0 ; v1 ; v2 ; : : : ; vm ;
Cell complexes (or CW complexes where C stands for closure finite and W
stands for weak topology) are a generalization of simplicial complexes that
are not exclusively formed by simplices but instead can be formed by basic
building blocks called cells. Cells describe many-body interactions that are
weaker than those of simplicial complexes, and they have a 1-skeleton that
differs from a clique. This means that a square can be interpreted as a cell of
four-body interactions whose faces are just four links. This can be useful in
some situations such as social interaction networks where, for instance, a dis-
cussion group can be formed by four people not all having a pairwise social tie
with everybody else in the group, or in protein interactions networks where not
all the proteins of a protein complex bind pairwise to each other.
12 The Structure and Dynamics of Complex Networks
(a) it is formed by a set of cells that is closure-finite, meaning that every cell
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
of degrees to simplicial complexes. The generalized degrees [12, 29, 39] are
the fundamental combinatorial properties describing the structure of simpli-
cial complexes. Interestingly, in a simplicial complex not only nodes, but also
links and higher-dimensional simplices can be associated with generalized
degrees.
G
The generalized degree [12, 29, 39] kd;m .˛/ of an m-dimensional sim-
plex ˛ indicates the number of d-dimensional simplices incident to the
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
m-simplex ˛.
We note that k1;0 .Œr/ reduces to the degree of node r in the 1-skeleton of the
simplicial complex. In Figure 6 we show a 2-dimensional simplicial complex
together with the list of the generalized degrees k2;1 and k2;0 of its nodes and
links, respectively. Note that while the generalized degrees kd;m can be defined
for every pair of dimensions .d; m/ with d ¤ m, the generalized degrees with
d < m are trivial and do not depend on the simplicial complex structure, indeed
they characterize how many d-dimensional faces an m-dimensional simplex
has. Therefore, for d < m we have
!
mC1
kd;m .˛/ D ;
dC1
for every m-dimensional simplex of any simplicial complex. It follows that the
relevant generalized degrees kd;m .˛/ for describing the different structures of
14 The Structure and Dynamics of Complex Networks
0 otherwise:
The adjacency matrix tensor is symmetric under the permutation of the order of
the nodes in the simplices, for instance, if in a 2-dimensional simplical complex
Œ2
we have arsq D aŒ2 Œ2
sqr D asrq and so on for each possible permutation of the three
indices forming the simplex ˛ D Œr; s; q.
The generalized degrees obey a nice combinatorial relation as they are not inde-
pendent of each other. In fact, the generalized degree of an m-face ˛ is related to
Higher-Order Networks 15
the generalized degree of the m0 -dimensional faces incident to it, with m0 > m,
by the simple combinatorial relation
1 X
kd;m .˛/ D ! kd;m0 .˛ 0 /: (2.3)
d m ˛ 0 2Qd .N/j˛ 0 ˛
m0 m
!
dC1
Moreover, since every d-dimensional simplex belongs to
mC1
m-dimensional faces, in a simplicial complex with M d-dimensional simplices
we have
!
X dC1
kd;m .˛/ D M: (2.4)
mC1
˛2Sm .K/
sD1
while the generalized degree k2;1 .Œr; s/ of a link ˛ D Œr; s is given by
N
X
k2;1 .Œr; s/ D aŒ2
rsq : (2.7)
qD1
16 The Structure and Dynamics of Complex Networks
The generalized degree k2;0 .Œr/ of node r indicates the number of triangles
incident to it, while the generalized degree k2;1 .Œr; s/ of the link Œr; s indicates
the number of triangles incident to the link. The generalized degree of the nodes
is related to the generalized degree of the links. In fact it is easy to see that
X N
1 X Œ2 1X
k2;0 .Œr/ D aŒ2
rsq D arsq D k2;1 .Œr; s/: (2.8)
s<q
2 s;q 2 sD1
for all nodes r 2 f1; 2; : : :g, where here hki indicates the average degree of
the network. In this limit the maximum entropy network ensemble enforc-
ing the given degree sequence describes a null model in which there are no
degree–degree correlations, i.e. the degree of the node at one end of a link is
not correlated with the degree of the node at the other end of the link.
If one performs the clique complex of this ensemble, every .d C 1/-clique
is reduced to a d-dimensional simplex of the clique complex. For Erdös–Rényi
graphs in which the number of links L scales as the number of nodes N (Pois-
son networks), the expected number of cliques of size greater than 3 is null in
the large N limit, implying that the clique complex is at most 2-dimensional
[41]. However, the situation changes significantly if one considers an uncorre-
lated network with power-law degree distribution P.k/ D Ck and exponent
Higher-Order Networks 17
Nd D O.N / (2.11)
with
1
D .d C 1/.d C 1 /; (2.12)
2
so it is diverging in the large network limit N ! 1. For D 3, a logarithmic
scaling is observed:
Moreover, and even more surprisingly, the clique number of the random scale-
free network diverges [42], i.e. the size of the largest clique of the network
skeleton of the simplicial complex diverges with N ! 1 for 2 .2; 3. This
implies that in a clique complex of a random uncorrelated scale-free network,
the dimension of the largest facet diverges. This phenomenon is due to the
fact that uncorrelated scale-free networks display a hierarchical structure (also
revealed by their core structure) and it becomes easier for nodes of high degrees
to form cliques.
It follows that if we consider the clique complex of a network with broad
degree distribution, and also if the network is sparse, we expect that the dimen-
sion of the obtained simplicial complex is significantly large. Therefore the
clique complex of a network with broad degree distribution is expected to have
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
given set of soft constraints (satisfied on average over all the instances of the
ensemble).
For simplicial complex ensembles we can consider a given set of observ-
O which might indicate, for instance, the total
ables F .K/ with D 1; 2; : : : P,
number of d-dimensional simplices or the generalized degree of a node in a
pure d-dimensional simplicial complex. From these observables it is possible
to consider a set of hard constraints given by
F .K/ D C ; (2.15)
where here and in the following ı.x; y/ indicates the Kronecker delta, with
ı.x; y/ D 1 if x D y and otherwise ı.x; y/ D 0, and where ZM indicates the num-
ber N of simplicial complexes satisfying the hard constraints, i.e. ZM D N . The
entropy † of the microcanonical ensemble is therefore given by the logarithm
of the number of simplicial complexes in the ensemble,
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
† D ln N : (2.19)
†DS O
; (2.20)
O is defined (see Appedix A for details of the derivation) as
where
2 3
X YPO
O D ln 4
PC .K/ ı.C ; F .K//5 : (2.21)
K2K D1
are statistically equivalent, meaning that they have the same statistical proper-
ties in the limit of large simplicial complexes, i.e. N ! 1. Conversely, if O is
extensive, i.e. O D O.N/ then the two ensembles are not statistically equiva-
lent [12, 47]. In simplicial complexes, as in networks, this latter scenario occurs
in cases in which we fix an extensive number of constraints, i.e. a number of
constraints PO that is proportional to N [12]. This includes, for instance, the case
in which we impose the expected generalized degree sequence of the nodes.
X
P.a/Fr .a/ D kN d;0 .Œr/; (2.22)
a
and where kN d;0 .Œr/ indicates the expected number of d-dimensional simplices
incident to each node r 2 f1; 2; : : : ; Ng.
We will consider here exclusively the sparse regime, which is relevant for
most of the applications of complex networks, in which the number of sim-
plices M is of the same order of magnitude as the number of nodes M / N:
˝ ˛
In this limit the average expected generalized degree kN d;0 .Œr/ is independent
of the network size. The maximum entropy distribution P.a/ obeys the Gibbs
measure given by Eq. (2.17) corresponding to the choice of constraints given
P
by Eqs. (2.22)–(2.23). The marginal probability p˛ D K2K a˛ P.K/ of a
Higher-Order Networks 21
Note that the constraints of the ensemble can be expressed simply in terms of
these marginals, implying that the equations that the Lagrangian multipliers
fr g need to satisfy are
P
X X e s˛ s
kN d;0 .Œr/ D p˛ D P
s
: (2.25)
1Ce s˛
˛jr˛ ˛jr˛
e r s
prs D : (2.26)
1 C e r s
e r s q
prsq D : (2.27)
1 C e r s q
The fact that in general these marginal probabilities do not factorize into fac-
tors depending exclusively on a single node of the simplex indicates that the
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
˝ ˛ d !1=.dC1/
kN d;0 .Œr/ N
kN d;0 .Œr/ K D ; (2.28)
dŠ
22 The Structure and Dynamics of Complex Networks
This implies that in this limit the generalized degree–degree correlations van-
ish and we can consider the canonical ensemble of simplicial complexes null
models of uncorrelated simplicial complexes. This expression for the marginal
probability is very useful for studying dynamical processes on simplicial com-
plexes. For d D 1 the expression of the uncorrelated marginal probability prs
of a link ˛ D Œr; s reduces to the well-known expression
The entropy of the canonical ensemble of simplicial complexes has a very sim-
ple expression due to the fact that the constraint enforcing given generalized
degrees of the nodes is linear in the adjacency tensor. Indeed we have that the
entropy S of the ensemble is fully determined by the marginals p˛ and is given
by
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
X
SD Œp˛ ln p˛ C .1 p˛ / ln.1 p˛ /: (2.32)
˛2Qd .N/
Starting from a set of N nodes, to each node r a set of kd;0 .Œr/ stubs is
assigned.
The stubs are matched to auxiliary factor nodes of degree d C 1.
The obtained factor graph is converted into a simplicial complex. Every set
of .d C 1/ nodes incident to the same factor node of the factor graph corre-
sponds, in the simplicial complex, to a d-dimensional simplex formed by the
same set of nodes.
https://doi.org/10.1017/9781108770996 Published online by Cambridge University Press
The matching of the stubs needs to be done randomly; however, some matches
are not permitted and if they occur the algorithm needs to be rerun from scratch.
The illegal matchings (see Figure 8 for a schematic description) are: matches
in which the same set of nodes are matched to more than one factor node or
matches in which the same factor node is matched to more than one stub inci-
dent to the same node. The code for the configuration model of a simplicial
complex is available in the repository [50]. From the algorithm generating sin-
gle instances of the simplicial networks in the configuration model we deduce
two main conclusions:
Given the generalized degree of the nodes there are, in general, multiple ways
to realize the simplicial complex.
The information encoded in the constraints is captured by the entropy †
of the ensemble, which is given by the logarithm of the number N of
simplicial complexes that realize a given generalized degree of the nodes,
i.e. † D ln N .
24 The Structure and Dynamics of Complex Networks
Source: Reprinted figure with permission from [12] ©Copyright (2016) by the
American Physical Society.
N
" #
X .kd;0 .Œr//kd;0 .Œr/
O D kd;0 .Œr/
ln e ;
rD1
kd;0 .Œr/Š
as long as the simplicial complex displays the structural cutoff given by Eq.
(2.28). From this expression it is possible to deduce the asymptotic number N
of simplicial complexes with a given generalized degree of the nodes, which is
given by [12]
Exploring the Variety of Random
Documents with Different Content
The text on this page is estimated to be only 21.68%
accurate
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookname.com