https://arxiv.org/api/MSrYcyBjppu6+FVfgbmFgvAqPlI 2026-06-11T09:46:19Z 1673 465 15 http://arxiv.org/abs/2004.03483v1 2020-04-07T15:34:17Z

There is a tragedy of the traffic analogous to the tragedy of the commons that can be caused by overtaking. We analyze the effect of overtaking in a minimal model of vehicular traffic, the model proposed by Nagel and Schreckenberg, with two types of drivers: drivers that overtake and drivers that do not. We show that, under certain circumstances, overtaking is good because it increases the road capacity and minimizes the mean time spent by the driver on the road. However, when these conditions are not met, overtaking is harmful to all. More specifically, we found that a social dilemma emerges in the vicinity of the transition to the congested traffic if the probability of random deceleration is low, which can also happen in more realistic single-lane models. The essential mechanism creating the social dilemma is the abrupt deceleration when the overtaking car returns to its lane. We analyze how the payoffs depend on the frequency of strategies in the population to conclude that the drivers that overtake are defectors and the ones that do not are cooperators, analogous to the strategies in tragedy of the commons class of games.

2020-04-07T15:34:17Z 10 pages including the references, seven figures, a table which contains the algorithm in a short appendix. Submitted to Physical Review Research Ricardo Simão Lucas Wardil 10.1016/j.physa.2020.125235 http://arxiv.org/abs/2004.01331v1 2020-04-03T01:51:43Z

Random graphs are a central element of the study of complex dynamical networks such as the internet, the brain, or socioeconomic phenomena. New methods to generate random graphs can spawn new applications and give insights into more established techniques. We propose two variations of a model to grow random graphs and trees, based on continuous-time quantum walks on the graphs. After a random characteristic time, the position of the walker(s) is measured and new nodes are attached to the nodes where the walkers collapsed. Such dynamical systems are reminiscent of the class of spontaneous collapse theories in quantum mechanics. We investigate several rates of this spontaneous collapse for an individual quantum walker and for two non-interacting walkers. We conjecture (and report some numerical evidence) that the models are scale-free.

2020-04-03T01:51:43Z In Proceedings QSQW 2020, arXiv:2004.01061 EPTCS 315, 2020, pp. 38-47 Hamza Jnane Télécom Paris, LTCI, Palaiseau, France Giuseppe Di Molfetta Université publique, CNRS, LIS, Marseille, France, and Quantum Computing Center, Keio University Filippo M. Miatto Télécom Paris, LTCI, Palaiseau, France 10.4204/EPTCS.315.4 http://arxiv.org/abs/2004.01061v1 2020-04-01T12:48:18Z

This volume contains a selection of papers presented at the 9th in a series of international conferences on Quantum Simulation and Quantum Walks (QSQW). During this event, we worked on the development of theories based upon quantum walks and quantum simulation models, in order to solve interrelated problems concerning the simulation of standard quantum field theory, quantum gravity and cosmological models, dissipative quantum computing, searching on complex quantum networks, and the topological classification of multi-particle quantum walks.

2020-04-01T12:48:18Z EPTCS 315, 2020 Giuseppe Di Molfetta Aix-Marseille University Vivien Kendon Durham University Yutaka Shikano Keio University & Chapman University 10.4204/EPTCS.315 http://arxiv.org/abs/2003.13558v1 2020-03-30T15:34:09Z

In cellular automata with multiple speeds for each cell $i$ there is a positive integer $p_i$ such that this cell updates its state still periodically but only at times which are a multiple of $p_i$. Additionally there is a finite upper bound on all $p_i$. Manzoni and Umeo have described an algorithm for these (one-dimensional) cellular automata which solves the Firing Squad Synchronization Problem. This algorithm needs linear time (in the number of cells to be synchronized) but for many problem instances it is slower than the optimum time by some positive constant factor. In the present paper we derive lower bounds on possible synchronization times and describe an algorithm which is never slower and in some cases faster than the one by Manzoni and Umeo and which is close to a lower bound (up to a constant summand) in more cases.

2020-03-30T15:34:09Z 11 pages, 3 figures Thomas Worsch Karlsruhe Institute of Technology http://arxiv.org/abs/2003.13075v1 2020-03-29T16:57:56Z

Emergence, the phenomena where a system's micro-scale dynamics facilitate the development of non-trivial, informative higher scales, has become a foundational concept in modern sciences, tying together fields as diverse as physics, biology, economics, and ecology. Despite it's apparent universality and the considerable interest, historically researchers have struggled to provide a rigorous, formal definition of emergence that is applicable across fields. Recent theoretical work using information theory and network science to formalize emergence in state-transition networks (causal emergence) has provided a promising way forward, however the relationship between this new framework and other well-studied system dynamics is unknown. In this study, we apply causal emergence analysis to two well-described dynamical systems: the 88 unique elementary cellular automata and the continuous Rossler system in periodic, critical, and chaotic regimes. We find that emergence, as well as its component elements (determinism, degeneracy, and effectiveness) vary dramatically in different dynamical regimes in sometimes unexpected ways. We conclude that the causal emergence framework provides a rich new area of research to explore both to theoreticians and natural scientists in many fields.

2020-03-29T16:57:56Z Thomas F. Varley http://arxiv.org/abs/1810.06064v4 2020-03-28T19:40:28Z

Large-size populations consisting of a continuum of identical and non-cooperative agents with stochastic dynamics are useful in modeling various biological and engineered systems. This paper addresses the stochastic control problem of designing optimal state-feedback controllers which guarantee the closed-loop stability of the stationary density of such agents with nonlinear Langevin dynamics, under the action of their individual steady state controls. We represent the corresponding coupled forward-backward PDEs as decoupled Schrödinger equations, by applying two variable transforms. Spectral properties of the linear Schrödinger operator which underlie the stability analysis are used to obtain explicit control design constraints. Our interpretation of the Schrödinger potential as the cost function of a closely related optimal control problem motivates a quadrature based algorithm to compute the finite-time optimal control.

2018-10-14T17:06:39Z 21 pages, 2 figures Kaivalya Bakshi David D. Fan Evangelos A. Theodorou 10.1109/TAC.2020.3007543 http://arxiv.org/abs/2003.08681v1 2020-03-19T10:56:23Z

Hyphae within the mycelia of the ascomycetous fungi are compartmentalised by septa. Each septum has a pore that allows for inter-compartmental and inter-hyphal streaming of cytosol and even organelles. The compartments, however, have special organelles, Woronin bodies, that can plug the pores. When the pores are blocked, no flow of cytoplasm takes place. Inspired by the controllable compartmentalisation within the mycelium of the ascomycetous fungi we designed two-dimensional fungal automata. A fungal automaton is a cellular automaton where communication between neighbouring cells can be blocked on demand. We demonstrate computational universality of the fungal automata by implementing sandpile cellular automata circuits there. We reduce the Monotone Circuit Value Problem to the Fungal Automaton Prediction Problem. We construct families of wires, cross-overs and gates to prove that the fungal automata are P-complete.

2020-03-19T10:56:23Z Eric Goles Michail-Antisthenis Tsompanas Andrew Adamatzky Martin Tegelaar Han A. B. Wosten Genaro J. Martinez 10.1016/j.physleta.2020.126541 http://arxiv.org/abs/1911.01086v2 2020-03-18T11:59:49Z

In this paper we propose an approach for measuring growth of complexity of emerging patterns in complex systems such as cellular automata. We discuss several ways how a metric for measuring the complexity growth can be defined. This includes approaches based on compression algorithms and artificial neural networks. We believe such a metric can be useful for designing systems that could exhibit open-ended evolution, which itself might be a prerequisite for development of general artificial intelligence. We conduct experiments on 1D and 2D grid worlds and demonstrate that using the proposed metric we can automatically construct computational models with emerging properties similar to those found in the Conway's Game of Life, as well as many other emergent phenomena. Interestingly, some of the patterns we observe resemble forms of artificial life. Our metric of structural complexity growth can be applied to a wide range of complex systems, as it is not limited to cellular automata.

2019-11-04T09:35:54Z IEEE Symposium Series on Computational Intelligence 2019 (IEEE SSCI 2019) Proceedings of the 2019 IEEE Symposium Series on Computational Intelligence Hugo Cisneros Josef Sivic Tomas Mikolov 10.1109/SSCI44817.2019.9002840 http://arxiv.org/abs/2003.08168v1 2020-03-18T11:50:12Z

We study a cellular automaton (CA) model of information dynamics on a single hypha of a fungal mycelium. Such a filament is divided in compartments (here also called cells) by septa. These septa are invaginations of the cell wall and their pores allow for flow of cytoplasm between compartments and hyphae. The septal pores of the fungal phylum of the Ascomycota can be closed by organelles called Woronin bodies. Septal closure is increased when the septa become older and when exposed to stress conditions. Thus, Woronin bodies act as informational flow valves. The one dimensional fungal automata is a binary state ternary neighbourhood CA, where every compartment follows one of the elementary cellular automata (ECA) rules if its pores are open and either remains in state `0' (first species of fungal automata) or its previous state (second species of fungal automata) if its pores are closed. The Woronin bodies closing the pores are also governed by ECA rules. We analyse a structure of the composition space of cell-state transition and pore-state transitions rules, complexity of fungal automata with just few Woronin bodies, and exemplify several important local events in the automaton dynamics.

2020-03-18T11:50:12Z Andrew Adamatzky Eric Goles Genaro J. Martinez Michail-Antisthenis Tsompanas Martin Tegelaar Han A. B. Wosten http://arxiv.org/abs/1901.10390v3 2020-03-11T08:47:11Z

This paper examines the traffic flows on a two-dimensional stochastic lattice model that comprises a junction of two traveling routes: the domestic route and the international route each of which has parking sites. In our model, the system distributes the arrived particles to either of the two routes and selects one of the parking sites in the route for each particle, which stops at the parking site once during its travel. Because each particle has antennas in the back and front directions to detect other approaching particles, the effect of the volume exclusion of each particle extends in the moving direction. The system displays interesting behavior; remarkably, the dependence of the throughput on the distribution ratio of particles to the domestic route reduces after reaching the maximum parking capacity of the domestic route. Our simulations and analysis with the queueing model describe this phenomenon and suggest the following fact: As the distribution ratio of particles to the international route decreases, the throughput of the international route reduces, and simultaneously, that of the domestic route saturates. The simultaneous effect of the decrease and saturation causes a reduction in the throughput of the entire system.

2019-01-29T16:55:17Z Satori Tsuzuki Daichi Yanagisawa Katsuhiro Nishinari 10.1088/2399-6528/ab90c3 http://arxiv.org/abs/1701.01281v3 2020-03-06T11:47:29Z

Complex systems may morph between structures with different dimensionality and degrees of freedom. As a tool for their modelling, nonlinear embeddings are introduced that encompass objects with different dimensionality as a continuous parameter $κ\in \mathbb{R}$ is being varied, thus allowing the unification of vectors, matrices and tensors in single mathematical structures. This technique is applied to construct warped models in the passage from supergravity in 10 or 11-dimensional spacetimes to 4-dimensional ones. We also show how nonlinear embeddings can be used to connect cellular automata (CAs) to coupled map lattices (CMLs) and to nonlinear partial differential equations, deriving a class of nonlinear diffusion equations. Finally, by means of nonlinear embeddings we introduce CA connections, a class of CMLs that connect any two arbitrary CAs in the limits $κ\to 0$ and $κ\to \infty$ of the embedding.

2017-01-05T11:32:31Z 30 pages, 5 figures, accepted to Journal of Physics: Complexity J. Phys. Complex. 1, 025008 (2020) Vladimir García-Morales 10.1088/2632-072X/ab7d87 http://arxiv.org/abs/2002.02653v2 2020-02-27T08:15:33Z

Elementary fuzzy Cellular Automata (CA) are known as continuous counterpart of elementary CA, which are 2-state CA, via the polynomial representation of local rules. In this paper, we first develop a new fuzzification methodology for $q$-state CA. It is based on the vector representation of $q$-state CA, that is, the $q$-states are assigned to the standard basis vectors of the $q$-dimensional real space and the local rule can be expressed by a tuple of $q$ polynomials. Then, the $q$-state vector-valued fuzzy CA are defined by expanding the set of the states to the convex hull of the standard basis vectors in the $q$-dimensional real space. The vector representation of states enables us to enumerate the number-conserving rules of 3-state vector-valued fuzzy CA in a systematic way.

2020-02-07T07:32:46Z 16 pages Journal of Cellular Automata, 15: 207-222, 2020 Yuki Nishida Sennosuke Watanabe Akiko Fukuda Yoshihide Watanabe http://arxiv.org/abs/2002.09362v1 2020-02-21T15:41:58Z

Cellular automata (CA) are fully discrete alternatives to partial differential equations (PDE). For PDEs, one often considers the Cauchy problem, or initial value problem: find the solution of the PDE satisfying a given initial condition. For many PDEs of the first order in time, it is possible to find explicit formulae for the solution at the time $t>0$ if the solution is known at $t=0$. Can something similar be achieved for CA? We demonstrate that this is indeed possible in some cases, using elementary CA rule 172 as an example. We derive an explicit expression for the state of a given cell after $n$ iteration of the rule 172, assuming that states of all cells are known at $n=0$. We then show that this expression ("solution of the CA") can be used to obtain an expected value of a given cell after $n$ iterations, provided that the initial condition is drawn from a Bernoulli distribution. This can be done for both finite and infinite lattices, thus providing an interesting test case for investigating finite size effects in CA.

2020-02-21T15:41:58Z 17 pages, 4 figures J. of Cellular Automata, 12(6):423--444, 2017 Henryk Fukś http://arxiv.org/abs/2002.09079v1 2020-02-21T01:07:56Z

We discuss how to construct shift-invariant probability measures over the space of bisequences of symbols, and how to describe such measures in terms of block probabilities. We then define cellular automata as maps in the space of measures and discuss orbits of shift-invariant probability measures under these maps. Subsequently, the local structure approximation is discussed as a method to approximate orbits of Bernoulli measures under the action of cellular automata. The final sections presents some known examples of cellular automata, both deterministic and probabilistic, for which elements of the orbit of the Bernoulli measure (probabilities of short blocks) can be determined exactly.

2020-02-21T01:07:56Z arXiv admin note: text overlap with arXiv:1304.8035 A. Meyers, ed., Encyclopedia of Complexity and Systems Science, pages 1--19. Springer, Berlin, Heidelberg, 2017 Henryk Fukś 10.1007/978-3-642-27737-5_676-1 http://arxiv.org/abs/2002.08924v1 2020-02-20T18:18:15Z

While binary nearest-neighbour cellar automata (CA) have been studied in detail and from many different angles, the same cannot be said about ternary (three-state) CA rules. We present some results of our explorations of a small subset of the vast space of ternary rules, namely rules possessing additive invariants. We first enumerate rules with four different additive invariants, and then we investigate if any of them could be used to construct a two-rule solution of generalized density classification problem (DCP). We show that neither simple nor absolute classification is possible with a pair of ternary rules where the first rule is all-conserving and the second one is reducible to two states. Similar negative result holds for another version of DCP we propose: symmetric interval-wise DCP. Finally we show an example of a pair of rules which solve non-symmetric interval-wise DCP for initial configurations containing at least one zero.

2020-02-20T18:18:15Z 16 pages, 3 figures Acta Physica Polonica Supp. vol. 12 no. 1, pp. 75--89 (2019) H. Fukś R. Procyk 10.5506/APhysPolBSupp.12.75