https://arxiv.org/api/DQxbPkVtzV08bqSCou3jJvPL7FM 2026-06-11T10:51:06Z 1673 480 15 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 http://arxiv.org/abs/2001.09265v1 2020-01-25T05:23:04Z

This work explores the potential of elementary cellular automata to model the dynamics of riot. Here, to model such dynamics, we introduce probabilistic loss of information and delay perturbation in the updating scheme of automata to capture sociological parameters - presence of anti-riot population and organizational presence of communal forces in the rioting society respectively. Moreover, delay has also been incorporated in the model to capture the non-local interaction of neighbours. Finally, the model is verified by a recent event of riot that occurred in Baduria of West Bengal, India.

2020-01-25T05:23:04Z Souvik Roy Abhik Mukherjee Sukanta Das http://arxiv.org/abs/2001.10824v1 2020-01-24T13:32:33Z

This article introduces the notion of clouds in asynchronous cellular automata (ACAs). We show that the cloud behaviour of ACAs has similarity with natural clouds across the sky, election model of parliamentary democratic system, and electron cloud around nucleus. These systems, therefore, can be modelled by the ACAs.

2020-01-24T13:32:33Z Advances in Complex Systems, Vol. 25, No. 08, 2250013 (2022) Souvik Roy Sukanta Das 10.1142/S0219525922500138 http://arxiv.org/abs/2001.08463v1 2020-01-23T12:06:18Z

Bunching of steps at the surface of growing crystals can be induced by both directions of the driving force: step up and step down. The processes happen in different adatom concentrations and differ in character. In this study we show how the overall picture of the bunching process depends on the strength of short range step-step repulsion. The repulsive interaction between steps, controlled by an additional parameter, is introduced into the recently studied atomistic scale model of vicinal crystal growth, based on cellular automata. It is shown that the repulsion modifies bunching process in a different way, depending on the direction of the destabilizing force. In particular, bunch profiles, stability diagrams and time-scaling dependences of various bunch properties are affected when the step-step repulsion increases. The repulsion between steps creates a competition between two characteristic sizes - bunch width and macrostep height, playing the role of the second length scale that describes the step bunching phenomenon. A new characteristic time scale dependent on the step-step repulsion parameter emerges as an effect of interplay between (01) faceted macrosteps and (11) faceted bunches. The bunch height being the major characteristic size of the bunches is not influenced dramatically by the repulsion.

2020-01-23T12:06:18Z 25 pages, 7 figures Hristina Popova Filip Krzyżewski Magdalena Załuska-Kotur Vesselin Tonchev http://arxiv.org/abs/2001.08284v1 2020-01-22T21:23:20Z

We explore extensions of Schelling's model of social dynamics, in which two types of agents live on a checkerboard lattice and move in order to optimize their own satisfaction, which depends on how many agents among their neighbors are of their same type. For each number $n$ of same-type nearest neighbors we independently assign a binary satisfaction variable $s_{k}$ which is equal to one only if the agent is satisfied with that condition, and is equal to zero otherwise. This defines 32 different satisfaction rules, which we investigate in detail, focusing on pattern formation and measuring segregation with the help of an "energy" function which is related to the number of neighboring agents of different types and plays no role in the dynamics. We consider the checkerboard lattice to be fully occupied and the dynamics consists of switching the locations of randomly selected unsatisfied agents of opposite types. We show that, starting from a random distribution of agents, only a small number of rules lead to (nearly) fully segregated patterns in the long run, with many rules leading to chaotic steady-state behavior. Nevertheless, other interesting patterns may also be dynamically generated, such as "anti-segregate d" patterns as well as patterns resembling sponges.

2020-01-22T21:23:20Z Journal of Statistical Mechanics: Theory and Experiment (2020) 013212 A. P. Vieira E. Goles H. J. Herrmann 10.1088/1742-5468/ab5b8d http://arxiv.org/abs/2001.08107v1 2020-01-20T22:55:37Z

Spiral waves are self-repeating waves that can form in excitable media, propagating outward from their center in a spiral pattern. Spiral waves have been observed in different natural phenomena and have been linked to medical conditions such as epilepsy and atrial fibrillation. We used a simple cellular automaton model to study propagation in excitable media, with a particular focus in understanding spiral wave behavior. The main ingredients of this cellular automaton model are an excitation condition and characteristic excitation and refractory periods. The literature shows that fixed excitation and refractory periods together with specific initial conditions generate stationary and stable spiral waves. In the present work we allowed the activation and refractory periods to fluctuate uniformly over a range of values. Under these conditions formed spiral waves might drift, the wave front might break, and in some extreme cases it might lead to a complete breakdown of the spiral pattern.

2020-01-20T22:55:37Z 15 pages, 14 Figures, 18 references AIP Advances 10, 085116 (2020) Vincent Vangelista Karl Amjad-Ali Minhyeok Kwon Paulo H. Acioli 10.1063/5.0008717 http://arxiv.org/abs/1912.08647v2 2020-01-17T13:15:39Z

Bidirectional transport in (quasi) one-dimensional systems generically leads to cluster-formation and small particle currents. This kind of transport can be described by the asymmetric simple exclusion process (ASEP) with two species of particles. In this work, we consider the effect of non-Markovian site exchange times between particles. Different realizations of the exchange process can be considered: The exchange times can be assigned to the lattice bonds or each particle. In the latter case we specify additionally which of the two exchange times is executed, the earlier one (minimum rule) or the later one (maximum rule). In a combined numerical and analytical approach we find evidence that we recover the same asymptotic behavior as for unidirectional transport for most realizations of the exchange process. Differences in the asymptotic behavior of the system have been found for the minimum rule which is more efficient for fast decaying exchange time distributions.

2019-12-18T14:54:05Z 24 pages, 12 figures, 1 table Robin Jose Chikashi Arita Ludger Santen 10.1088/1742-5468/ab7752 http://arxiv.org/abs/1809.02942v2 2020-01-16T21:02:18Z

Deep learning techniques have recently demonstrated broad success in predicting complex dynamical systems ranging from turbulence to human speech, motivating broader questions about how neural networks encode and represent dynamical rules. We explore this problem in the context of cellular automata (CA), simple dynamical systems that are intrinsically discrete and thus difficult to analyze using standard tools from dynamical systems theory. We show that any CA may readily be represented using a convolutional neural network with a network-in-network architecture. This motivates our development of a general convolutional multilayer perceptron architecture, which we find can learn the dynamical rules for arbitrary CA when given videos of the CA as training data. In the limit of large network widths, we find that training dynamics are nearly identical across replicates, and that common patterns emerge in the structure of networks trained on different CA rulesets. We train ensembles of networks on randomly-sampled CA, and we probe how the trained networks internally represent the CA rules using an information-theoretic technique based on distributions of layer activation patterns. We find that CA with simpler rule tables produce trained networks with hierarchical structure and layer specialization, while more complex CA produce shallower representations---illustrating how the underlying complexity of the CA's rules influences the specificity of these internal representations. Our results suggest how the entropy of a physical process can affect its representation when learned by neural networks.

2018-09-09T08:54:02Z 8 pages, 4 figures (+Appendix) Phys. Rev. E 100, 032402 (2019) William Gilpin 10.1103/PhysRevE.100.032402 http://arxiv.org/abs/1912.10938v1 2019-12-23T15:55:24Z

In a previous work, we have proposed a method for the analysis of the bounce back boundary condition with the Taylor expansion method in the linear case. In this work two new schemes of modified bounce back are proposed. The first one is based on the expansion of the iteration of the internal scheme of the lattice Boltzmann method. The analysis puts in evidence some defects and a generalized version is proposed with a set of essentially four possible parameters to adjust. We propose to reduce this number to two with the elimination of spurious density first order terms. Thus a new scheme for bounce back is found exact up to second order and allows an accurate simulation of the Poiseuille flow for a specific combination of the relaxation and boundary coefficients. We have validated the general expansion of the value in the first cell in terms of given values on the boundary for a stationary "accordion" test case.

2019-12-23T15:55:24Z Computers and Fluids, Elsevier, 2019, 193, pp.103534 François Dubois LM-Orsay, LMSSC Pierre Lallemand CSRC Mohamed Mahdi Tekitek Département de Mathématiques, Faculté des Sciences de Tunis 10.1016/j.compfluid.2017.07.001