Inferring dynamic topology for decoding spatiotemporal structures in complex heterogeneous networks
See allHide authors and affiliations
Edited by Joseph S. Takahashi, Howard Hughes Medical Institute, University of Texas Southwestern Medical Center, Dallas, TX, and approved August 7, 2018 (received for review December 6, 2017)
Significance
Inferring connections forms a critical step toward understanding large and diverse complex networks. To date, reliable and efficient methods for the reconstruction of network topology from measurement data remain a challenge due to the high complexity and nonlinearity of the system dynamics. These obstacles also form a bottleneck for analyzing and controlling the dynamic structures (e.g., synchrony) and collective behavior in such complex networks. The novel contribution of this work is to develop a unified data-driven approach to reliably and efficiently reveal the dynamic topology of complex networks in different scales—from cells to societies. The developed technique provides guidelines for the refinement of experimental designs toward a comprehensive understanding of complex heterogeneous networks.
Abstract
Extracting complex interactions (i.e., dynamic topologies) has been an essential, but difficult, step toward understanding large, complex, and diverse systems including biological, financial, and electrical networks. However, reliable and efficient methods for the recovery or estimation of network topology remain a challenge due to the tremendous scale of emerging systems (e.g., brain and social networks) and the inherent nonlinearity within and between individual units. We develop a unified, data-driven approach to efficiently infer connections of networks (ICON). We apply ICON to determine topology of networks of oscillators with different periodicities, degree nodes, coupling functions, and time scales, arising in silico, and in electrochemistry, neuronal networks, and groups of mice. This method enables the formulation of these large-scale, nonlinear estimation problems as a linear inverse problem that can be solved using parallel computing. Working with data from networks, ICON is robust and versatile enough to reliably reveal full and partial resonance among fast chemical oscillators, coherent circadian rhythms among hundreds of cells, and functional connectivity mediating social synchronization of circadian rhythmicity among mice over weeks.
Complex systems in which multiple agents affect each other dynamically are prevalent in nature and human society in different scales (1⇓–3). Undesirable behavior of such systems, in the form of disease, epidemics, economic collapse, and social unrest, has generated considerable interest in understanding the dynamic structures of and devising ways to control complex dynamic networks. Thanks to the advances in data science and digital technology, data are abundant and easy to access; however, models often remain elusive. Extracting dynamic interactions of a large complex network from noisy data is becoming a central challenge in diverse areas of science and engineering (4⇓–6). For instance, the topology of networks of biological oscillators could indicate their ability to achieve stable synchrony, and abnormality in brain networks may predict the imminence or occurrence of disease, such as seizures.
Data-driven research on dynamical systems has been extensively conducted in recent years. Various studies based on Bayesian statistics, information theory, and spectral analysis have been proposed to extract the dynamics of systems using their measured data (7, 8). The developed methods were mostly aimed toward discovering governing equations of a single nonlinear dynamical system (9) or reconstructing biological networks, such as gene regulatory networks or oscillator networks, from data. In these studies, the reconstructions were realized in the cases for which the topology of networks is known and the connection strength is estimated (10) or the topology is simply logic-based, i.e., the interactions between nodes are binary values (11, 12), and the developed techniques are robust when the network is sparse and small (8, 13).
In this report, we establish a unified framework for robust determination of dynamic topology of complex networks constituted by a population of nonlinear dynamical units. In particular, we develop a reliable and efficient, data-driven approach for inferring connections of networks (ICON), which requires no assumptions on the network topology and structure, e.g., sparsity, and prior statistics of the interactions. We apply the ICON technique to reveal topology and analyze dynamic structures (e.g., the nodes and functions that mediate synchrony) of complex networks with different spatial and temporal scales—from in silico circuits to cells to societies. Specifically, we reveal features of the functional connectivity of interacting chemical oscillators, circadian cells, and cohoused mice.
Theory and Algorithms
With ICON, we study any broadly defined complex network that consists of a population of N units (agents),
The central idea of our approach is to approximate the agent’s self-dynamics and coupling dynamics, f and
Most importantly, this formulation enables independent estimation of the coupling dynamics for each individual agent in the network, so that estimating topology of very large networks becomes possible via a parallel computation architecture. Note that there exists a variety of techniques for solving the large-scale least squares (linear inverse) problem as in Eq. 3 (15), for example, the truncated singular value decomposition (TSVD) for regularization of ill-conditioned matrix
Results
Complex systems constituted by a network of rhythmic components appear in many engineered and living systems at different scales, such as circadian neurons, chemical oscillators, power grids, and animal societies (20⇓⇓⇓–24), in which the network emerging properties are functionally significant, such as sleep−wake cycles and jet lag, battery pack charge−discharge cycles, and short-term memory and communication through social behaviors (25). Revealing topology and connectivity is essential to characterize the dynamical structures and functions of such networks, which, in turn, leads to the fundamental understanding of many real-world complex systems, such as functional connections in the brain, synergy of circadian clocks, and social synchronization in groups of animals. We apply the ICON technique to determine topology of networks of oscillators with different periodicities, degree nodes, coupling functions, and time scales, arising in silico, and in electrochemistry, neuronal networks, and groups of mice. The excellent agreement of the estimation with the experiments over such an extremely diverse set of systems validates our strategy and suggests that our data-driven methodology provides a general framework that can be applied to numerous additional systems of interacting dynamic units.
Synthetic Networks.
We first tested the accuracy of ICON to estimate the topology of a synthetic network with oscillatory system dynamics. The techniques of phase model reduction have been widely used to describe the dynamics of coupled nonlinear oscillatory systems (22, 26⇓–28), e.g., circadian clock networks. Here, we consider topology estimation of a network of slightly heterogeneous, weakly coupled, generalized Kuramoto-type nonlinear oscillators (26), whose dynamics are described by
Demonstration of inferring the connections, and their strengths, of a synthetic network. (A) The graph representation of a synthetic noisy random network of 600 oscillators created using Eq. 2 with additive white noise (1% intensity with respect to the maximum coupling strength) over the time horizon
Electrochemical Oscillators.
We chose a network of oscillatory chemical reactions to validate the ICON method in an experimental system where a complex coupling topology can be experimentally designed with a relatively large number of nodes. In this experiment, 15 corroding nickel wires immersed in sulfuric acid represent the nodes of the network; the reactions are coupled by resistors to produce the network structure (Fig. 2A) (29). Because of inherent heterogeneities in the uncoupled network, the oscillatory reactions have slightly different frequencies on each node. When electrical coupling occurs through the resistors with sufficiently strong coupling, the network can exhibit synchronized oscillations. We applied a synchronization engineering technique with a global linear feedback (22) to desynchronize the oscillations, and recorded the relaxation of the system to the synchronized behavior (about 33 cycles of data collection, 37,600 sample points) and applied the ICON technique to reconstruct the dynamics of the system.
ICON-derived estimation of interactions between chemical oscillators. (A) Experimentally designed (black connections) and estimated (colored connections) oscillator networks. (B) Experimentally observed (colored nodes) and predicted (colored shades) synchronization subgroups of the respective networks in A with reduced coupling strength. (C) Experimentally measured and estimated oscillation frequencies of the oscillators. (D) Pairwise synchronization parameters of experimental designed and estimated networks.
The estimated natural frequencies (Fig. 2C) precisely matched (with 0.05% relative SD) the values measured in independent experiments. Fig. 2A shows that the ICON technique identified all of the 14 existing network connections properly out of the 105 possible links. The technique also found two connections between nodes that were not coupled (6–7 and 10–11). Because these two predicted links were weak and between nodes that were coupled indirectly through another node, the impact of such mismatches on the overall network behavior was small. We validated the reliability of the frequency and topology estimation by looking at the synchronization pattern at a 44% weakened coupling strength. At this coupling strength, the network splits into three frequency clusters with two, three, and six elements, respectively; the rest of the nodes were phase-drifting (Fig. 2B). As shown in Fig. 2D, the phase model extracted from the ICON technique (adjusted for the weakened coupling strength) properly predicted all of the pairwise synchronization indices
Circadian Neurons.
The suprachiasmatic nucleus (SCN) of the mammalian hypothalamus has been referred to as the master circadian pacemaker that drives daily rhythms in behavior and physiology (4). When isolated from their network, SCN neurons can express sustained or damped circadian oscillations, or even arrhythmic patterns. The SCN network can be pharmacologically perturbed while monitoring the component cells for desynchronization and resynchronization of their circadian gene expression (4, 30⇓–32). We tested the ability of ICON to estimate the connections and coupling functions that underlie circadian resynchronization by analyzing PERIOD2 (PER2) protein levels during and after SCN explants were treated with the voltage-gated Na+ channel blocker, tetrodotoxin (TTX). Using recordings of PER2-driven bioluminescence (2,850 sample points) from 541 SCN cells (Fig. 3A), ICON recovered a time-dependent network. We found that the influence of individual cells on the network resynchronization (i.e., the sum of the coupling strengths of all of its outgoing connections) varied ∼10-fold, depending on the cell and its location within the SCN (Fig. 3 B–D). The 14 and 16 hub cells (the cells with strong outgoing connections) identified in the left and right SCN, respectively, could indicate the presence of supercells with greater impact on circadian synchrony in the SCN. The coupling dynamics can be further analyzed by comparing the shape of the averaged coupling functions between different SCN regions. Specifically, we found similar numbers and kinds of connections within left and right SCN (Fig. 3 G and H), but weaker connections between than within the two SCN (Fig. 3 G–I). Coupling functions within the bilateral dorsal SCN (Fig. 3 E and J) were more similar to each other than to those in the bilateral ventral SCN (Fig. 3 F and K), consistent with prior predictions based on anatomy and physiology (33⇓⇓–36). We note that the averaged interaction functions often have large cosine harmonics, which results in nearly zero slope at zero phase difference. Such large nonisochronicity is an important oscillatory property, which was computationally predicted by a biomolecular model of the SCN (33) and supported in Fig. 3 E and F.
ICON-derived intercellular communication in a circadian tissue. (A) Bioluminescence shows PER2 expression in over 500 SCN cells used for connectivity estimation. TTX was washed out at day 0 to allow the cells to resynchronize their daily rhythms. (B) ICON identified hub cells (red dots) as 5% of the recorded cells and localized throughout the SCN. The estimated total outgoing coupling strength for each cell revealed similar distributions of strongly coupled cells (14 and 16 hub cells, respectively) in the (C) left and (D) right SCN. The corresponding averaged coupling functions between cells were similar within (G) left and (H) right SCN, but different between (I) left and right SCN, and (E and J) dorsal and (F and K) ventral SCN (error bars show SD).
Social Synchronization in Groups of Mice.
Social synchronization of animal and human activities is a central phenomenon that characterizes the temporal order and structures in both social and biological systems (14, 30, 37). We utilized ICON to reconstruct the topology of social networks of groups of cohoused laboratory mice, and to analyze and predict synchronization of their circadian rhythms within each group. Using previously reported recordings of body temperature of inbred female mice housed in groups of five (38) (15-min resolution over 10 d before they were grouped, 68 d of cohabitation, and 7 d after separation), we convolved the data (8,192 sample points) with the complex-valued Morlet continuous wavelet functions to measure period and amplitude over time (39). Daily phases of the circadian peak were determined for each mouse and then interpolated with a peak-finding approach.
The network estimations using ICON differed depending on the synchronization behavior of the seven recorded quintets of mice (Fig. 4 and SI Appendix, section 4). The recorded synchronization behavior of each group of mice and predicted coordination of the inferred network, i.e., the sync indices calculated based on the experimental data (measured sync indices, red triangles in Fig. 4) and the estimated phase data (estimated sync indices, blue curves in Fig. 4), reliably and quantifiably identified mutual entrainment in the same cohabitating groups as demonstrated by the positive correlation between the sync index, σ, and the dominant eigenvalue, λ2, of the Laplacian matrix of each of the seven estimated networks. [A relationship between sync index and
ICON-derived social interactions that synchronized circadian rhythms of cohabitating mice. (A and C) The estimated network topologies for two quintets of laboratory mice using ICON, based on the measurement of body temperature data (seven quintets, in total, listed in SI Appendix). (B) The estimated (blue curve) and measured (red triangle) sync index trajectories for the network in A, which is connected and synchronized over the cohabitation period. (D) The estimated (blue curve) and measured (red triangle) sync index trajectories for the network in C, which is partially connected and not synchronized over the cohabitation period. (E) The illustration of positive correlation between the sync index σ and the dominant eigenvalue
Nonoscillatory Networks.
The ICON technique is not restricted to the inference of the topology of networks with oscillatory coupling dynamics. Fig. 5 shows the estimation of a network with nonperiodic coupling dynamics consisting of 60 nonlinear dynamical units. This synthetic network was created using Eq. 1, with constant self-dynamics,
Demonstration of inferring the connections, and their strengths, of a synthetic nonoscillatory network. (A) The graph representation of a synthetic noisy random network of 60 nonoscillatory oscillators created using Eq. 2 with additive white noise (1% intensity with respect to the maximum coupling strength) over the time horizon t ∈ [0,20], where the frequencies of the oscillators
Discussion
In summary, we developed a unified data-driven methodology for revealing the dynamic topology of complex networks and demonstrated its validity for diverse scientific fields and scales by analyzing networks of in silico circuits, artificial chemical oscillators, cells in a tissue, and animals in a group. The robustness and versatility of the ICON technique applied to these four distinct systems suggests its broad applicability to determine network topology and dynamics in diverse natural and engineered systems. For example, prior efforts using mutual information (4) or cross-correlated activity (41) estimated the direction or strength of connectivity among cells in the SCN, but not the coupling functions. Most recently, a theoretical framework for how SCN cells might behave under different levels of coupling was used to support the prediction that TTX weakens coupling in the SCN (42). Here, ICON goes beyond categorizing coupling as either undercritical or overcritical by providing testable predictions for the direction, strength, and dynamics of all cell−cell interactions in the SCN. The notion of the orthonormal basis representation introduced in this paper enables the linear and parallel formulation of the nonlinear topology estimation problem, which lays the foundation for analyzing real-world complex networks of tremendous size, such as brain, transportation, internet, power grids, and social networks (14, 24). Importantly, the ICON technique provides guidelines for the refinement of experimental designs toward a comprehensive understanding of complex heterogeneous networks. We note that, in this work, we assumed that the network dynamics are additive between the self-dynamics and the coupling dynamics and within the coupling dynamics, and considered the networks in the presence of white noise. Although these are valid assumptions in many practical scenarios, future studies should test ICON on networks that reorganize (e.g., add or lose nodes or change coupling) or have multiplicative and colored noise in their self-dynamics or coupling dynamics. Here, ICON was used on networks where we have some prior knowledge of the agent’s self-dynamics [i.e., the functional form of
Materials and Methods
See SI Appendix for detailed materials and methods. Detailed formulation and implementation of the ICON technique can be found in SI Appendix, sections 1 and 2. Especially, the detailed method for weakly coupled oscillatory networks is provided in SI Appendix, section 1. The robustness, reliability and efficiency of the ICON technique can be numerically validated by numerous synthetic networks, and the results are included in SI Appendix, section 3. The phase definition of the experimental data and the detailed analysis of the mouse and SCN data are also provided in SI Appendix, sections 2, 4, and 5, respectively. All SCN and mouse data came from previous publications (4, 38).
Acknowledgments
This collaboration was supported a National Academy of Science Keck Future Initiative Seed Grant for research on Collective Behavior from Cells to Societies (to G.B., E.D.H., and J.-S.L.), and by the National Science Foundation (NSF) Award ECCS-1509342 (to J.-S.L.), the Air Force Office of Scientific Research Grant FA9550-17-1-0166 (to J.-S.L.), and National Institutes of Health Grants 1R21-EY027590-01 (to J.-S.L.), U01EB021956 and NS09536702 (to E.D.H.), and GM094109 (to W.J.S.). G.B. and W.J.S. thank Clark Way Harrison Visiting Professorships for supporting their stays at Washington University in St. Louis. I.Z.K. acknowledges support from NSF Grant CHE-1465013.
Footnotes
↵1Present addresses: Department of Neurology, Dell Medical School and Department of Integrative Biology, College of Natural Sciences, The University of Texas at Austin, Austin, TX 78712.
- ↵2To whom correspondence should be addressed. Email: jsli@wustl.edu.
Author contributions: E.D.H., I.Z.K., W.J.S., G.B., and J.-S.L. designed research; S.W., M.S., D.G.-F., and J.-S.L. performed research; J.-S.L. contributed new reagents/analytic tools; S.W., M.S., D.G.-F., and L.W. analyzed data; and S.W., E.D.H., I.Z.K., W.J.S., G.B., and J.-S.L. wrote the paper.
The authors declare no conflict of interest.
This article is a PNAS Direct Submission.
This article contains supporting information online at www.pnas.org/lookup/suppl/doi:10.1073/pnas.1721286115/-/DCSupplemental.
- Copyright © 2018 the Author(s). Published by PNAS.
This open access article is distributed under Creative Commons Attribution-NonCommercial-NoDerivatives License 4.0 (CC BY-NC-ND).
References
- ↵
- Strogatz SH
- ↵
- Brockmann D,
- Helbing D
- ↵
- Gao J,
- Barzel B,
- Barabási A-L
- ↵
- Abel JH, et al.
- ↵
- Sorrentino F,
- Pecora LM,
- Hagerstrom AM,
- Murphy TE,
- Roy R
- ↵
- Aton SJ,
- Herzog ED
- ↵
- Glannakis D,
- Majda AJ
- ↵
- Ota K,
- Aoyagi T
- ↵
- Brunton SL,
- Proctor JL,
- Kutz JN
- ↵
- Chang YH,
- Gray JW,
- Tomlin CJ
- ↵
- De Smet R,
- Marchal K
- ↵
- Henriques D,
- Villaverde AF,
- Rocha M,
- Saez-Rodriguez J,
- Banga JR
- ↵
- Kralemann B,
- Pikovsky A,
- Rosenblum M
- ↵
- Fuchikawa T,
- Eban-Rothschild A,
- Nagari M,
- Shemesh Y,
- Bloch G
- ↵
- Aster RC,
- Borchers B,
- Thurber CH
- ↵
- Hansen PC
- ↵
- Eldar YC,
- Kutyniok G
- ↵
- Beck A,
- Teboulle M
- ↵
- Daubechies I,
- Defrise M,
- De Mol C
- ↵
- Hansel D,
- Mato G,
- Meunier C
- ↵
- Igarashi H, et al.
- ↵
- Kiss IZ,
- Rusin CG,
- Kori H,
- Hudson JL
- ↵
- Dörfler F,
- Chertkov M,
- Bullo F
- ↵
- Bloch G
- ↵
- Buzsáki G,
- Mizuseki K
- ↵
- Kuramoto Y
- ↵
- Nabi A,
- Moehlis J
- ↵
- Zlotnik A,
- Li J-S
- ↵
- Wickramasinghe M,
- Kiss IZ
- ↵
- Yamaguchi S, et al.
- ↵
- Buhr ED,
- Yoo S-H,
- Takahashi JS
- ↵
- Abraham U, et al.
- ↵
- Myung J, et al.
- ↵
- Mieda M,
- Okamoto H,
- Sakurai T
- ↵
- Taylor SR,
- Wang TJ,
- Granados-Fuentes D,
- Herzog ED
- ↵
- Schroder EA,
- Esser KA
- ↵
- Kalsbeek A,
- Merrow M,
- Roenneberg T,
- Russell GF
- Castillo-Ruiz A,
- Paul MJ,
- Schwartz WJ
- ↵
- Paul MJ,
- Indic P,
- Schwartz WJ
- ↵
- Leise TL,
- Indic P,
- Paul MJ,
- Schwartz WJ
- ↵
- Wu CW,
- Chua LO
- ↵
- Freeman GM Jr,
- Krock RM,
- Aton SJ,
- Thaben P,
- Herzog ED
- ↵
- Schmal C,
- Herzog ED,
- Herzel H
Article Classifications
- Biological Sciences
- Neuroscience
- Physical Sciences
- Biophysics and Computational Biology