Structure and controllability of complex networks Márton Pósfai
Transcription
Structure and controllability of complex networks Márton Pósfai
Ph.D. Thesis – Summary of results Structure and controllability of complex networks M´arton P´osfai Supervisor: Prof. G´abor Vattay, D.Sc. Department of Physics of Complex Systems E¨otv¨os Lor´and University, Budapest, Hungary Graduate School of Physics Head of School: Prof. L´aszl´o Palla, D.Sc. Doctoral Program for Statistical Physics, Biological Physics and Physics of Quantum Systems Head of Program: Prof. Jen˝o K¨ urti, D.Sc. Budapest 2014 1 Introduction Complex systems consist of many interacting elements, and the web of these interactions are best described by complex networks. Therefore, studying such networks and exploring the consequences of their properties is essential to understand complexity. While during the past decade significant efforts have been devoted to understand the structure, evolution and dynamics of complex networks, only recently has attention turned to an equally important problem: our ability to control them. Liu et al. used the framework of structured linear systems to investigate the controllability of complex networks. Particularly, they focused on identifying the minimum set of driver nodes, such that by directly imposing appropriate external signals on only these driver nodes, the entire system can be controlled, i.e. it can be driven from any initial state to any final state in finite time. This provided tools that enabled the research community to apply the full arsenal of network science to the problem, uncovering various nontrivial phenomena emerging from the complexity of the structure of the system. The aim of my PhD project was to investigate how various network characteristics influence controllability. For this, first core percolation was studied on directed networks. Core percolation is a structural phase transition not only interesting on its own right, but it is also closely related to the controllability of networks. Indeed, the analytical framework developed here was later employed to solve control related questions. I then investigated how known general properties of real systems (clustering, degree correlations and community structure) affect controllability using numerical simulations, analytical calculations and measurements in real networks. Then, observing that the minimal driver node set is not unique, the nodes were categorized according to role in control, uncovering that above the core percolation transition the network can be in two drastically different control modes. I also examined the structural controllability of systems for which the timescale of the dynamics we control and the timescale of changes in the network are comparable. I proved the independent path theorem which connects structural controllability to temporal network features. Relying on this theorem, I calculated the controllable subnetwork using a single input in a temporal network both in model and real systems. Depending on the density of interactions in the system, the emergence of a giant controllable subspace was witnessed. 1 2 Methods My PhD thesis relies on the framework of structured systems and structural controllability which connects linear controllability to a purely graph combinatorial problem, thus making it possible to investigate control related problems using only information about network structure. I heavily made use of the minimum input theorem of Liu et al., who showed that finding the minimum set of driver nodes in a network is equivalent to finding the maximum matching. Numerical simulations were carried out on Erd˝os-R´enyi networks, scale-free networks generated by the static model and on publicly available real network datasets. In Chapter 3, correlations were added to the networks using a combination of degree preserving rewiring and simulated annealing. The maximum matching of the networks was calculated using the Hopcroft-Karp algorithm. All algorithms were implemented in C++ by the author. The analytical solutions for uncorrelated and degree correlated model networks with arbitrary degree distribution were derived using the generating function formalism. 3 3.1 Results Core percolation and structural controllability Core percolation was analytically studied on complex networks with arbitrary degree distributions. The condition for core percolation was derived, and it was found that purely scale-free networks have no core for any degree exponents. It was shown that for undirected networks if core percolation occurs then it is always continuous while for directed networks it becomes discontinuous when the in- and out-degree distributions are different. I uncovered the connection between core percolation, maximum matching and structural controllability, allowing us to use the framework developed here to address control related questions. Related publications: [1] and [5]. 3.2 Effect of correlations on the controllability of complex networks I studied the impact of various network characteristics on the minimal number of driver nodes required to control a network. I found that clustering and modularity have no discernible impact, but the symmetries of the underlying matching problem can produce linear, quadratic or no dependence on degree correlation 2 coefficients, depending on the nature of the underlying correlations. The results are supported by numerical simulations and help narrow the observed gap between the predicted and the observed number of driver nodes in real networks. Related publications: [4]. 3.3 Emergence of bimodality in network controllability The observation that the set of driver nodes is not unique prompts us to classify each node in a network based on their role in control. Accordingly, a node is critical, intermittent or redundant if it acts as a driver node in all, some or none of the control configurations. An algorithm was developed to identify the category of each node, and we provided an analytical solution for uncorrelated networks with arbitrary degree distributions. For model networks, below a critical average degree the fraction of redundant nodes increases with the average degree. Above the critical point the network can be in two drastically different modes: in the distributed mode the fraction of redundant nodes further increases, meaning that most nodes can be used as drivers; and in the centralized mode, the fraction of redundant nodes drops, that is only a small subset of nodes can be drivers. I showed that the emergence of bimodality coincides with the core percolation and the control mode of a network is determined by the structure of the core. Related publications: [1] and [3]. 3.4 Structural controllability of temporal networks I examined the structural controllability of systems for which the timescale of the dynamics we control and the timescale of changes in the network are comparable. By mapping the time-varying network to a larger static system, I proved for discrete time dynamics the independent path theorem linking controllability of temporal networks to temporal network characteristics. Thereby allowing us to formulate questions using information about the network topology only. I proved that the minimum input node problem is NP-complete. And I provided a polynomial time algorithm to compute the maximum controllable subnetwork for a given set of input nodes. Related publications: [2]. 3.5 Phase transition in the controllability of temporal networks I investigated the average controllable subnetwork using a single input in a temporal network. I developed an analytical solution for a generic class of model networks. A 3 phase transition was witnessed depending on the density of the interactions: for temporal networks with hki < 1 in each time step, only finite number of nodes can be controlled; hki ≥ 1 a giant controllable subspace emerges. I showed the existence of the two phases in real-world networks. Using randomization procedures, we found that the overall activity and the degree distribution of the underlying network are the main features influencing controllability. Related publications: [2]. 4 4 Publications 4.1 Publications used in thesis 1. T. Jia, and M. P´osfai. Connecting Core Percolation and Controllability of Complex Networks, Scientific Reports 4:5379 (2014). 2. M. P´osfai and P. H¨ovel. Structural controllability of temporal networks, arXiv preprint arXiv:1312.7595 (2013) – under review 3. T. Jia, Y.-Y. Liu, E. Cs´oka, M. P´osfai, J.-J. Slotine and A.-L. Barab´asi. Emergence of bimodality in controlling complex networks, Nature Communications, 4:2002 (2013) 4. M. P´osfai, Y.-Y. Liu, J.-J. Slotine and A.-L. Barab´asi. Effect of correlations on network controllability, Scientific Reports, 3:1067, (2013) 5. Y.-Y. Liu, E. Cs´oka, H. Zhou and M. P´osfai.* Core percolation on complex networks, Phys. Rev. Lett., 109:205703, (2012) *All authors contributed equally 4.2 Other publications 1. D. Kondor, I. Csabai, J. Sz¨ ule, M. P´osfai and G. Vattay. Inferring the interplay of network structure and market effects in Bitcoin – under review 2. D. Kondor, M. P´osfai, I. Csabai and G. Vattay. Do the rich get richer? An empirical analysis of the Bitcoin transaction network, PLoS ONE, 9(2):e86197 (2014) 3. B. T´oth, R. Boha, M. P´osfai, Z. A. Ga´al, A. K´onya, C. J. Stam and M. Moln´ar. EEG synchronization characteristics of functional connectivity and complex network properties of memory maintenance in the delta and theta frequency bands, Int J Psychophysiol., 83(3):399-402, (2012) 4. M. P´osfai, A. Fekete, and G. Vattay. Shortest path sampling of dense homogeneous networks, EPL 89:18007, (2010) 5. A. Fekete, G. Vattay and M. P´osfai. Shortest path discovery of complex networks, Phys. Rev. E, 79:065101(R), (2009) 5