Evolutionary games on graphs

Game theory is one of the key paradigms behind many scientific disciplines from biology to behavioral sciences to economics. In its evolutionary form and especially when the interacting agents are linked in a specific social network the underlying solution concepts and methods are very similar to those applied in non-equilibrium statistical physics. This review gives a tutorial-type overview of the field for physicists. The first three sections introduce the necessary background in classical and evolutionary game theory from the basic definitions to the most important results. The fourth section surveys the topological complications implied by non-mean-field-type social network structures in general. The last three sections discuss in detail the dynamic behavior of three prominent classes of models: the Prisoner's Dilemma, the Rock-Scissors-Paper game, and Competing Associations. The major theme of the review is in what sense and how the graph structure of interactions can modify and enrich the picture of long term behavioral patterns emerging in evolutionary games.Comment: Review, final version, 133 pages, 65 figure

A Language-centered Approach to support environmental modeling with Cellular Automata

Die Anwendung von Methodiken und Technologien aus dem Bereich der Softwaretechnik auf den Bereich der Umweltmodellierung ist eine gemeinhin akzeptierte Vorgehensweise. Im Rahmen der "modellgetriebenen Entwicklung"(MDE, model-driven engineering) werden Technologien entwickelt, die darauf abzielen, Softwaresysteme vorwiegend auf Basis von im Vergleich zu Programmquelltexten relativ abstrakten Modellen zu entwickeln. Ein wesentlicher Bestandteil von MDE sind Techniken zur effizienten Entwicklung von "domänenspezifischen Sprachen"( DSL, domain-specific language), die auf Sprachmetamodellen beruhen. Die vorliegende Arbeit zeigt, wie modellgetriebene Entwicklung, und insbesondere die metamodellbasierte Beschreibung von DSLs, darüber hinaus Aspekte der Pragmatik unterstützen kann, deren Relevanz im erkenntnistheoretischen und kognitiven Hintergrund wissenschaftlichen Forschens begründet wird. Hierzu wird vor dem Hintergrund der Erkenntnisse des "modellbasierten Forschens"(model-based science und model-based reasoning) gezeigt, wie insbesondere durch Metamodelle beschriebene DSLs Möglichkeiten bieten, entsprechende pragmatische Aspekte besonders zu berücksichtigen, indem sie als Werkzeug zur Erkenntnisgewinnung aufgefasst werden. Dies ist v.a. im Kontext großer Unsicherheiten, wie sie für weite Teile der Umweltmodellierung charakterisierend sind, von grundsätzlicher Bedeutung. Die Formulierung eines sprachzentrierten Ansatzes (LCA, language-centered approach) für die Werkzeugunterstützung konkretisiert die genannten Aspekte und bildet die Basis für eine beispielhafte Implementierung eines Werkzeuges mit einer DSL für die Beschreibung von Zellulären Automaten (ZA) für die Umweltmodellierung. Anwendungsfälle belegen die Verwendbarkeit von ECAL und der entsprechenden metamodellbasierten Werkzeugimplementierung.The application of methods and technologies of software engineering to environmental modeling and simulation (EMS) is common, since both areas share basic issues of software development and digital simulation. Recent developments within the context of "Model-driven Engineering" (MDE) aim at supporting the development of software systems at the base of relatively abstract models as opposed to programming language code. A basic ingredient of MDE is the development of methods that allow the efficient development of "domain-specific languages" (DSL), in particular at the base of language metamodels. This thesis shows how MDE and language metamodeling in particular, may support pragmatic aspects that reflect epistemic and cognitive aspects of scientific investigations. For this, DSLs and language metamodeling in particular are set into the context of "model-based science" and "model-based reasoning". It is shown that the specific properties of metamodel-based DSLs may be used to support those properties, in particular transparency, which are of particular relevance against the background of uncertainty, that is a characterizing property of EMS. The findings are the base for the formulation of an corresponding specific metamodel- based approach for the provision of modeling tools for EMS (Language-centered Approach, LCA), which has been implemented (modeling tool ECA-EMS), including a new DSL for CA modeling for EMS (ECAL). At the base of this implementation, the applicability of this approach is shown

Automated Discovery of Self-Replicating Structures in Cellular Space Automata Models

This thesis demonstrates for the first time that it is possible to automatically discover self-replicating structures in cellular space automata models rather than, as has been done in the past, to design them manually. Self-replication is defined as the process an entity undergoes in constructing a copy of itself. Von~Neumann was the first to investigate artificial self-replicating structures and did so in the context of cellular automata, a cellular space model consisting of numerous finite-state machines embedded in a regular tessellation. Interest in artificial self-replicating systems has increased in recent years due to potential applications in molecular-scale manufacturing, programming parallel computing systems, and digital hardware design, and also as part of the field of artificial life

Introduction to the Modeling and Analysis of Complex Systems

Keep up to date on Introduction to Modeling and Analysis of Complex Systems at http://bingweb.binghamton.edu/~sayama/textbook/! Introduction to the Modeling and Analysis of Complex Systems introduces students to mathematical/computational modeling and analysis developed in the emerging interdisciplinary field of Complex Systems Science. Complex systems are systems made of a large number of microscopic components interacting with each other in nontrivial ways. Many real-world systems can be understood as complex systems, where critically important information resides in the relationships between the parts and not necessarily within the parts themselves. This textbook offers an accessible yet technically-oriented introduction to the modeling and analysis of complex systems. The topics covered include: fundamentals of modeling, basics of dynamical systems, discrete-time models, continuous-time models, bifurcations, chaos, cellular automata, continuous field models, static networks, dynamic networks, and agent-based models. Most of these topics are discussed in two chapters, one focusing on computational modeling and the other on mathematical analysis. This unique approach provides a comprehensive view of related concepts and techniques, and allows readers and instructors to flexibly choose relevant materials based on their objectives and needs. Python sample codes are provided for each modeling example. This textbook is available for purchase in both grayscale and color via Amazon.com and CreateSpace.com.https://knightscholar.geneseo.edu/oer-ost/1013/thumbnail.jp

Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systems

International audienceThese local proceedings hold the papers of two catgeories: (a) Short, non-reviewed papers (b) Full paper

Inductive Pattern Formation

With the extended computational limits of algorithmic recursion, scientific investigation is transitioning away from computationally decidable problems and beginning to address computationally undecidable complexity. The analysis of deductive inference in structure-property models are yielding to the synthesis of inductive inference in process-structure simulations. Process-structure modeling has examined external order parameters of inductive pattern formation, but investigation of the internal order parameters of self-organization have been hampered by the lack of a mathematical formalism with the ability to quantitatively define a specific configuration of points. This investigation addressed this issue of quantitative synthesis. Local space was developed by the Poincare inflation of a set of points to construct neighborhood intersections, defining topological distance and introducing situated Boolean topology as a local replacement for point-set topology. Parallel development of the local semi-metric topological space, the local semi-metric probability space, and the local metric space of a set of points provides a triangulation of connectivity measures to define the quantitative architectural identity of a configuration and structure independent axes of a structural configuration space. The recursive sequence of intersections constructs a probabilistic discrete spacetime model of interacting fields to define the internal order parameters of self-organization, with order parameters external to the configuration modeled by adjusting the morphological parameters of individual neighborhoods and the interplay of excitatory and inhibitory point sets. The evolutionary trajectory of a configuration maps the development of specific hierarchical structure that is emergent from a specific set of initial conditions, with nested boundaries signaling the nonlinear properties of local causative configurations. This exploration of architectural configuration space concluded with initial process-structure-property models of deductive and inductive inference spaces. In the computationally undecidable problem of human niche construction, an adaptive-inductive pattern formation model with predictive control organized the bipartite recursion between an information structure and its physical expression as hierarchical ensembles of artificial neural network-like structures. The union of architectural identity and bipartite recursion generates a predictive structural model of an evolutionary design process, offering an alternative to the limitations of cognitive descriptive modeling. The low computational complexity of these models enable them to be embedded in physical constructions to create the artificial life forms of a real-time autonomously adaptive human habitat

The prevalence of complexity in flammable ecosystems and the application of complex systems theory to the simulation of fire spread

Les forêts sont une ressource naturelle importante sur le plan écologique, culturel et économique, et sont confrontées à des défis croissants en raison des changements climatiques. Ces défis sont difficiles à prédire en raison de la nature complexe des interactions entre le climat et la végétation, dont une le feu. Compte tenu de l’importance des écosystèmes forestiers, des dangers potentiels des feux de forêt et de la complexité de leurs interactions, il est primordial d'acquérir une compréhension de ces systèmes à travers le prisme de la science des systèmes complexes. La science des systèmes complexes et ses techniques de modélisation associées peuvent fournir des informations sur de tels systèmes que les techniques de modélisation traditionnelles ne peuvent pas. Là où les techniques statistiques et basées sur équations cherchent à contourner la dynamique non-linéaire, auto-organisée et émergente des systèmes complexes, les approches de modélisation telles que les automates cellulaires et les modèles à base d'agents (MBA) embrassent cette complexité en cherchant à reproduire les interactions clés de ces systèmes. Bien qu'il existe de nombreux modèles de comportement du feu qui tiennent compte de la complexité, les MBA offrent un terrain d'entente entre les modèles de simulation empiriques et physiques qui peut fournir de nouvelles informations sur le comportement et la simulation du feu. Cette étude vise à améliorer notre compréhension du feu dans le contexte de la science des systèmes complexes en développant un tel MBA de propagation du feu. Le modèle utilise des données de type de carburant, de terrain et de météo pour créer l'environnement des agents. Le modèle est évalué à l'aide d’une étude de cas d'un incendie naturel qui s'est produit en 2001 dans le sud-ouest de l'Alberta, au Canada. Les résultats de cette étude confirment la valeur de la prise en compte de la complexité lors de la simulation d'incendies de forêt et démontrent l'utilité de la modélisation à base d'agents pour une telle tâche.Forests are an ecologically, culturally, and economically important natural resource that face growing challenges due to climate change. These challenges are difficult to predict due to the complex nature of the interactions between climate and vegetation. Furthermore, fire is intrinsically linked to both climate and vegetation and is, itself, complex. Given the importance of forest ecosystems, the potential dangers of forest fires, and the complexity of their interactions, it is paramount to gain an understanding of these systems through the lens of complex systems science. Complex systems science and its attendant modeling techniques can provide insights on such systems that traditional modelling techniques cannot. Where statistical and equation-based techniques seek to work around the non-linear, self-organized, and emergent dynamics of complex systems, modelling approaches such as Cellular Automata and Agent-Based Models (ABM) embrace this complexity by seeking to reproduce the key interactions of these systems. While there exist numerous models of fire behaviour that account for complexity, ABM offers a middle ground between empirical and physical simulation models that may provide new insights into fire behaviour and simulation. This study seeks to add to our understanding of fire within the context of complex systems science by developing such an ABM of fire spread. The model uses fuel-type, terrain, and weather data to create the agent environment. The model is evaluated with a case study of a natural fire that occurred in 2001 in southwestern Alberta, Canada. Results of this study support the value of considering complexity when simulating forest fires and demonstrate the utility of ABM for such a task

Fundamentals of spreading processes in single and multilayer complex networks

Spreading processes have been largely studied in the literature, both analytically and by means of large-scale numerical simulations. These processes mainly include the propagation of diseases, rumors and information on top of a given population. In the last two decades, with the advent of modern network science, we have witnessed significant advances in this field of research. Here we review the main theoretical and numerical methods developed for the study of spreading processes on complex networked systems. Specifically, we formally define epidemic processes on single and multilayer networks and discuss in detail the main methods used to perform numerical simulations. Throughout the review, we classify spreading processes (disease and rumor models) into two classes according to the nature of time: (i) continuous-time and (ii) cellular automata approach, where the second one can be further divided into synchronous and asynchronous updating schemes. Our revision includes the heterogeneous mean-field, the quenched-mean field, and the pair quenched mean field approaches, as well as their respective simulation techniques, emphasizing similarities and differences among the different techniques. The content presented here offers a whole suite of methods to study epidemic-like processes in complex networks, both for researchers without previous experience in the subject and for experts.Comment: Review article. 73 pages, including 24 figure