https://arxiv.org/api/l7dzt05PXMEw5ubrpb3nIjsyVVQ 2026-04-09T20:11:54Z 1651 450 15 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 http://arxiv.org/abs/2002.08920v1 2020-02-20T18:11:40Z

Cellular automata (CA) can be viewed as maps in the space of probability measures. Such maps are normally infinitely-dimensional, and in order to facilitate investigations of their properties, especially in the context of applications, finite-dimensional approximations have been proposed. The most commonly used one is known as the local structure theory, developed by H. Gutowitz et al. in 1987. In spite of the popularity of this approximation in CA research, examples of rigorous evaluations of its accuracy are lacking. In an attempt to fill this gap, we construct a local structure approximation for rule 14, and study its dynamics in a rigorous fashion, without relying on numerical experiments. We then compare the outcome with known exact results.

2020-02-20T18:11:40Z 14 pages, 3 figures J. M. Baetens and M. Kutrib (eds.), Cellular Automata and Discrete Complex Systems - 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, LNCS vol. 10875 pp. 43--56. Springer, 2018 Henryk Fukś Francis Kwaku Combert 10.1007/978-3-319-92675-9 http://arxiv.org/abs/2002.06548v1 2020-02-16T09:51:35Z

Human crowds base most of their behavioral decisions upon anticipated states of their walking environment. We explore a minimal version of a lattice model to study lanes formation in pedestrian counterflow. Using the concept of horizon depth, our simulation results suggest that the anticipation effect together with the presence of a small background noise play an important role in promoting collective behaviors in a counterflow setup. These ingredients facilitate the formation of seemingly stable lanes and ensure the ergodicity of the system.

2020-02-16T09:51:35Z Emilio N. M. Cirillo Adrian Muntean http://arxiv.org/abs/2002.04012v1 2020-02-10T18:38:43Z

We prove a Pumping Lemma for the noncooperative abstract Tile Assembly Model, a model central to the theory of algorithmic self-assembly since the beginning of the field. This theory suggests, and our result proves, that small differences in the nature of adhesive bindings between abstract square molecules gives rise to vastly different expressive capabilities. In the cooperative abstract Tile Assembly Model, square tiles attach to each other using multi-sided cooperation of one, two or more sides. This precise control of tile binding is directly exploited for algorithmic tasks including growth of specified shapes using very few tile types, as well as simulation of Turing machines and even self-simulation of self-assembly systems. But are cooperative bindings required for these computational tasks? The definitionally simpler noncooperative (or Temperature 1) model has poor control over local binding events: tiles stick if they bind on at least one side. This has led to the conjecture that it is impossible for it to exhibit precisely controlled growth of computationally-defined shapes. Here, we prove such an impossibility result. We show that any planar noncooperative system that attempts to grow large algorithmically-controlled tile-efficient assemblies must also grow infinite non-algorithmic (pumped) structures with a simple closed-form description, or else suffer blocking of intended algorithmic structures. Our result holds for both directed and nondirected systems, and gives an explicit upper bound of $(8|T|)^{4|T|+1}(5|σ| + 6)$, where $|T|$ is the size of the tileset and $|σ|$ is the size of the seed assembly, beyond which any path of tiles is pumpable or blockable.

2020-02-10T18:38:43Z Accepted to STOC2020 - the 52nd Annual ACM Symposium on Theory of Computing Pierre-Étienne Meunier Damien Regnault Damien Woods http://arxiv.org/abs/2002.02164v1 2020-02-06T09:10:43Z

With the advent of huges volumes of data produced in the form of fast streams, real-time machine learning has become a challenge of relevance emerging in a plethora of real-world applications. Processing such fast streams often demands high memory and processing resources. In addition, they can be affected by non-stationary phenomena (concept drift), by which learning methods have to detect changes in the distribution of streaming data, and adapt to these evolving conditions. A lack of efficient and scalable solutions is particularly noted in real-time scenarios where computing resources are severely constrained, as it occurs in networks of small, numerous, interconnected processing units (such as the so-called Smart Dust, Utility Fog, or Swarm Robotics paradigms). In this work we propose LUNAR, a streamified version of cellular automata devised to successfully meet the aforementioned requirements. It is able to act as a real incremental learner while adapting to drifting conditions. Extensive simulations with synthetic and real data will provide evidence of its competitive behavior in terms of classification performance when compared to long-established and successful online learning methods.

2020-02-06T09:10:43Z 36 pages, 6 figures, 4 tables Jesus L. Lobo Javier Del Ser Francisco Herrera http://arxiv.org/abs/1906.02978v2 2020-01-30T08:11:14Z

This paper introduces a general model of a single-lane roundabout, represented as a circular lattice that consists of $L$ cells, with Markovian traffic dynamics. Vehicles enter the roundabout via on-ramp queues that have stochastic arrival processes, remain on the roundabout a random number of cells, and depart via off-ramps. Importantly, the model does not oversimplify the dynamics of traffic on roundabouts, while various performance-related quantities (such as delay and queue length) allow an analytical characterization. In particular, we present an explicit expression for the marginal stationary distribution of each cell on the lattice. Moreover, we derive results that give insight on the dependencies between parts of the roundabout, and on the queue distribution. Finally, we find scaling limits that allow, for every partition of the roundabout in segments, to approximate 1) the joint distribution of the occupation of these segments by a multivariate Gaussian distribution; and 2) the joint distribution of their total queue lengths by a collection of independent Poisson random variables. To verify the scaling limit statements, we develop a novel way to empirically assess convergence in distribution of random variables.

2019-06-07T09:16:17Z Phys. Rev. E 101, 012311 (2020) Jaap Storm Sandjai Bhulai Wouter Kager Michel Mandjes 10.1103/PhysRevE.101.012311 http://arxiv.org/abs/2001.10017v1 2020-01-27T19:02:51Z

This paper presents a new class of one-dimensional (1D) traffic models with look-ahead rules that take into account of two effects: nonlocal slow-down effect and right-skewed non-concave asymmetry in the fundamental diagram. The proposed 1D cellular automata (CA) models with the Arrhenius type look-ahead interactions implement stochastic rules for cars' movement following the configuration of the traffic ahead of each car. In particular, we take two different look-ahead rules: one is based on the distance from the car under consideration to the car in front of it; the other one depends on the car density ahead. Both rules feature a novel idea of multiple moves, which plays a key role in recovering the non-concave flux in the macroscopic dynamics. Through a semi-discrete mesoscopic stochastic process, we derive the coarse-grained macroscopic dynamics of the CA model. We also design a numerical scheme to simulate the proposed CA models with an efficient list-based kinetic Monte Carlo (KMC) algorithm. Our results show that the fluxes of the KMC simulations agree with the coarse-grained macroscopic averaged fluxes for the different look-ahead rules under various parameter settings.

2020-01-27T19:02:51Z 24 pages, 6 figures Yi Sun Changhui Tan http://arxiv.org/abs/2001.09675v1 2020-01-27T10:43:02Z

We consider the problem of computing the Lyapunov exponents of reversible cellular automata (CA). We show that the class of reversible CA with right Lyapunov exponent $2$ cannot be separated algorithmically from the class of reversible CA whose right Lyapunov exponents are at most $2-δ$ for some absolute constant $δ>0$. Therefore there is no algorithm that, given as an input a description of an arbitrary reversible CA $F$ and a positive rational number $ε>0$, outputs the Lyapunov exponents of $F$ with accuracy $ε$. We also compute the average Lyapunov exponents (with respect to the uniform measure) of the CA that perform multiplication by $p$ in base $pq$ for coprime $p,q>1$.

2020-01-27T10:43:02Z 19 pages, 6 figures, submitted to Natural Computing Johan Kopra