https://arxiv.org/api/lk6d2LYYfQGf7LIBBoGZ0rCL3Vg 2026-03-26T11:25:40Z 1647 165 15 http://arxiv.org/abs/2406.00166v1 2024-05-31T19:59:18Z

The colloid cellular automata do not imitate the physical structure of colloids but are governed by logical functions derived from the colloids. We analyse the space-time complexity of Boolean circuits derived from the electrical responses of colloids: ZnO (zinc oxide, an inorganic compound also known as calamine or zinc white, which naturally occurs as the mineral zincite), proteinoids (microspheres and crystals of thermal abiotic proteins), and combinations thereof to electrical stimulation. To extract Boolean circuits from colloids, we send all possible configurations of two-, four-, and eight-bit binary strings, encoded as electrical potential values, to the colloids, record their responses, and thereby infer the Boolean functions they implement. We map the discovered functions onto the cell-state transition rules of cellular automata (arrays of binary state machines that update their states synchronously according to the same rule) -- the colloid cellular automata. We then analyse the phenomenology of the space-time configurations of the automata and evaluate their complexity using measures such as compressibility, Shannon entropy, Simpson diversity, and expressivity. A hierarchy of phenomenological and measurable space-time complexity is constructed.

2024-05-31T19:59:18Z Andrew Adamatzky Nic Roberts Raphael Fortulan Noushin Raeisi Kheirabadi Panagiotis Mougkogiannis Michail-Antisthenis Tsompanas Genaro J. Martinez Georgios Ch. Sirakoulis Alessandro Chiolerio http://arxiv.org/abs/2405.19436v1 2024-05-29T18:21:49Z

This paper demonstrates accurate traffic modeling and forecast using stochastic cell-automata (CA) and distributed fiber-optic sensing (DFOS). Traffic congestion is a dominant issue in highways. To reduce congestion, real-time traffic control by short-term forecast is necessary. For achieving this, data assimilation using a stochastic CA model and DFOS is promising. Data assimilation with a CA enables us to model real-time traffic flow with simple processes even when rare or sudden events occur, which is challenging for usual machine learning-based methods. DFOS overcomes issues of conventional point sensors that have dead zones of observation. By estimating optimal model parameters that reproduce observed traffic flow in the simulation, future traffic flow is forecasted from the simulation. We propose an optimal model parameter estimation method using mean velocity as an extracted feature and the particle filter. In addition, an estimation methodology for the microscopic traffic situation is developed to set the initial condition of simulation for forecast in accordance with observation. The proposed methods are verified by simulation-based traffic flow. The simulation adopts the stochastic Nishinari-Fukui-Schadschneider model. The optimal model parameters are successfully derived from posterior probability distributions (PPDs) estimated from DFOS data. In contrast, those estimated from point sensors fail. The PPDs of model parameters also indicate that each parameter has different sensitivities to traffic flow. A traffic forecast up to 60 minutes later is carried out. Using optimal model parameters estimated from DFOS, the forecast error of mean velocity is approximately $\pm$10 km/h (percentage error is 18%). The error attains half of it when conventional point sensors are used. We conclude that DFOS is a powerful technique for traffic modeling and short-term forecast.

2024-05-29T18:21:49Z 11 pages, 7 figures Yoshiyuki Yajima Takahiro Kumura http://arxiv.org/abs/2405.09829v1 2024-05-16T06:06:04Z

Probabilistic cellular automata with deterministic updating are quantum systems. We employ the quantum formalism for an investigation of random probabilistic cellular automata, which start with a probability distribution over initial configurations. The properties of the deterministic updating are randomly distributed over space and time. We are interested in a possible continuum limit for a very large number of cells. As an example we consider bits with two colors, moving to the left or right on a linear chain. At randomly distributed scattering points, they change direction and color. A numerical simulation reveals the typical features of quantum systems. We find particular initial probability distributions which reemerge periodically after a certain number of time steps, as produced by the periodic evolution of energy eigenstates in quantum mechanics. Using a description in terms of wave functions allows to introduce statistical observables for momentum and energy. They characterize the probabilistic information without taking definite values for a given bit configuration, with a conceptual status similar to temperature in classical statistical thermal equilibrium. Conservation of energy and momentum are essential ingredients for the understanding of the evolution of our stochastic probabilistic automata. This evolution resembles in some aspects a single Dirac fermion in two dimensions with a random potential.

2024-05-16T06:06:04Z 26 pages, 9 figures A. Kreuzkamp C. Wetterich http://arxiv.org/abs/2404.06394v2 2024-05-14T21:13:07Z

For a group $G$ and a finite set $A$, a cellular automaton (CA) is a transformation $τ: A^G \to A^G$ defined via a finite memory set $S \subseteq G$ and a local map $μ: A^S \to A$. Although memory sets are not unique, every CA admits a unique minimal memory set, which consists on all the essential elements of $S$ that affect the behavior of the local map. In this paper, we study the links between the minimal memory set and the generating patterns $\mathcal{P}$ of $μ$; these are the patterns in $A^S$ that are not fixed when the cellular automaton is applied. In particular, we show that when $\vert S \vert \geq 2$ and $\vert \mathcal{P} \vert$ is not a multiple of $\vert A \vert$, then the minimal memory set must be $S$ itself. Moreover, when $\vert \mathcal{P} \vert = \vert A \vert$, $\vert S \vert \geq 3$, and the restriction of $μ$ to these patterns is well-behaved, then the minimal memory set must be $S$ or $S \setminus \{s\}$, for some $s \in S \setminus \{e\}$. These are some of the first general theoretical results on the minimal memory set of a cellular automaton.

2024-04-09T15:36:16Z 10 pages Alonso Castillo-Ramirez Eduardo Veliz-Quintero http://arxiv.org/abs/2210.00963v2 2024-05-13T08:15:39Z

We examine the fundamental question whether a random discrete structure with the minimal number of restrictions can converge to continuous metric space. We study the geometrical properties such as the dimensionality and the curvature emerging out of the connectivity properties of uniform random graphs. In addition we introduce a simple evolution mechanism for the graph by removing one edge per a fundamental quantum of time from an initially complete graph. We show an exponential growth of the radius of the graph, that ends up in a random structure with emergent average spatial dimension $D=3$ and zero curvature $K=0$, resembling a flat 3D manifold, that could describe the observed space in our universe and some of its geometrical properties. In addition, we introduce a generalized action for graphs based on physical quantities on different subgraph structures that helps to recover the well known properties of spacetime as described in general relativity, like time dilation due to gravity. Also, we show how various quantum mechanical concepts such as generalized uncertainty principles based on the statistical fluctuations can emerge from random discrete models. Moreover, our approach leads to a unification of space and matter-energy, for which we propose a mass-energy-space equivalence that leads to a way to transform between empty space and matter-energy via the cosmological constant.

2022-10-03T14:24:24Z 9 pages, 1 figure, some updates in the manuscript text Ioannis Kleftogiannis Ilias Amanatidis http://arxiv.org/abs/2405.05797v1 2024-05-09T14:29:23Z

In this paper we study the emergence of homeostasis in a two-layer system of the Game of Life, in which the Game of Life in the first layer couples with another system of cellular automata in the second layer. Homeostasis is defined here as a space-time dynamic that regulates the number of cells in state-1 in the Game of Life layer. A genetic algorithm is used to evolve the rules of the second layer to control the pattern of the Game of Life. We discovered that there are two antagonistic attractors that control the numbers of cells in state-1 in the first layer. The homeostasis sustained by these attractors are compared with the homeostatic dynamics observed in Daisy World.

2024-05-09T14:29:23Z Nature-Inspired Computing Design, Development, and Applications, edited by Leandro Nunes de Castro, 232-254. Hershey, PA: IGI Global, 2012 Keisuke Suzuki Takashi Ikegami 10.4018/978-1-4666-1574-8.ch013 http://arxiv.org/abs/2405.04060v1 2024-05-07T07:04:48Z

Peter Gacs proposed a one-dimensional cellular automaton capable of a robust self-reproduction. Because the automaton is exceptionally large and complicated, very few people have ever succeeded in simulating it on a computer or analyzing its behavior. Here we demonstrate a partial simulation of Gacs' automaton (of Gray's version), discussing its robustness. We also discuss the potential applications of Gacs' framework.

2024-05-07T07:04:48Z This paper was originally written in 2018 for submission to ALIFE 2018 and is published on arXiv without any revisions Atsushi Masumori Lana Sinapayen Takashi Ikegami http://arxiv.org/abs/2312.13034v3 2024-05-04T15:12:30Z

The cellular automaton is a widely known model of both reversible and irreversible computations. The family of reversible second-order cellular automata considered in this work is appropriate both for construction of logic gates and analysis of damage distribution. The quantities such as formal dimension of damage patterns can be used only for rough estimation of consequences of particular faults and numerical experiments are provided for illustration of some subtleties. Such analysis demonstrates high sensitivity to errors from defects, lack of synchronization and too short intervals between signals.

2023-12-20T13:59:30Z 34+1 pages, 21 figures, accepted in Physica D Physica D 464 (2024) 134186 Alexander Yu. Vlasov 10.1016/j.physd.2024.134186 http://arxiv.org/abs/2310.19116v2 2024-04-20T21:32:01Z

Using mode coupling theory the conditions for all allowed dynamical universality classes for the conserved modes in one-dimensional driven systems are presented in closed form as a function of the stationary currents and their derivatives. With a view on the search for the golden ratio universality class the existence of some families of microscopic models is ruled out a priori by using an Onsager-type macroscopic current symmetry. At equal mean densities of the conserved quantities the golden modes can only appear if the currents are antisymmetric under interchange of the conserved densities and if these densities are correlated, but not in the symmetric case where at equal densities one mode is always diffusive and the second may be either Kardar-Parisi-Zhang (KPZ), modified KPZ, 3/2-Lévy, or also diffusive. We also show that the predictions of mode coupling theory for a noisy chain of harmonic oscillators are exact.

2023-10-29T19:02:34Z 12 pages Physical Review E 109, 044111 (2024), V. Popkov G. M. Schütz 10.1103/PhysRevE.109.044111 http://arxiv.org/abs/2211.02866v2 2024-04-19T16:42:46Z

We propose a correspondence between certain multiband linear cellular automata - models of computation widely used in the description of physical phenomena - and endomorphisms of certain algebraic unipotent groups over finite fields. The correspondence is based on the construction of a universal element specialising to a normal generator for any finite field. We use this correspondence to deduce new results concerning the temporal dynamics of such automata, using our prior, purely algebraic, study of the endomorphism ring of vector groups. These produce 'for free' a formula for the number of fixed points of the $n$-iterate in terms of the $p$-adic valuation of $n$, a dichotomy for the Artin-Mazur dynamical zeta function, and an asymptotic formula for the number of periodic orbits. Since multiband linear cellular automata simulate higher order linear automata (in which states depend on finitely many prior temporal states, not just the direct predecessor), the results apply equally well to that class.

2022-11-05T10:05:58Z 11 pages (v2: minor corrections) Jakub Byszewski Gunther Cornelissen http://arxiv.org/abs/2303.12356v3 2024-04-15T08:20:10Z

A discrete Boltzmann model (DBM) for plasma kinetics is proposed. The constructing of DBM mainly considers two aspects. The first is to build a physical model with sufficient physical functions before simulation. The second is to present schemes for extracting more valuable information from massive data after simulation. For the first aspect, the model is equivalent to a magnetohydrodynamic model plus a coarse-grained model for the most relevant TNE behaviors including the entropy production rate. A number of typical benchmark problems including Orszag-Tang (OT) vortex problem are used to verify the physical functions of DBM. For the second aspect, the DBM use non-conserved kinetic moments of (f-feq) to describe non-equilibrium state and behaviours of complex system. The OT vortex problem and the Richtmyer-Meshkov instability (RMI) are practical applications of the second aspect. For RMI with interface inverse and re-shock process, it is found that, in the case without magnetic field, the non-organized momentum flux shows the most pronounced effects near shock front, while the non-organized energy flux shows the most pronounced behaviors near perturbed interface. The influence of magnetic field on TNE effects shows stages: before the interface inverse, the TNE strength is enhanced by reducing the interface inverse speed; while after the interface inverse, the TNE strength is significantly reduced. Both the global average TNE strength and entropy production rate contributed by non-organized energy flux can be used as physical criteria to identify whether or not the magnetic field is sufficient to prevent the interface inverse.

2023-03-22T07:48:44Z 20 pages, 15 figures Physics of Fluids 36, 016107 (2024) Jiahui Song Aiguo Xu Long Miao Feng Chen Zhipeng Liu Lifeng Wang Ningfei Wang Xiao Hou 10.1063/5.0180246 http://arxiv.org/abs/2103.14053v2 2024-03-20T14:51:01Z

Elementary cellular automata (ECA) present iconic examples of complex systems. Though described only by one-dimensional strings of binary cells evolving according to nearest-neighbour update rules, certain ECA rules manifest complex dynamics capable of universal computation. Yet, the classification of precisely which rules exhibit complex behaviour remains a significant challenge. Here we approach this question using tools from quantum stochastic modelling, where quantum statistical memory -- the memory required to model a stochastic process using a class of quantum machines -- can be used to quantify the structure of a stochastic process. By viewing ECA rules as transformations of stochastic patterns, we ask: Does an ECA generate structure as quantified by the quantum statistical memory, and if so, how quickly? We illustrate how the growth of this measure over time correctly distinguishes simple ECA from complex counterparts. Moreover, it provides a more refined means for quantitatively identifying complex ECAs -- providing a spectrum on which we can rank the complexity of ECA by the rate in which they generate structure.

2021-03-25T18:01:56Z 22 pages, 9 figures Eur. Phys. J. Plus 138 (6) 540 (2023) Matthew Ho Andri Pradana Thomas J. Elliott Lock Yue Chew Mile Gu 10.1140/epjp/s13360-023-04160-5 http://arxiv.org/abs/2112.04009v2 2024-03-15T20:09:53Z

We present a ridership model of individual trajectories of users within a public transport network for which there are several different routes between origin and destiny and for which the automatic fare collection data does not include information about the exit station; only card identification and time of entry into the system. This model is implemented in the case of the Troncal component of TransMilenio, the BRT system that is the backbone of public transport in Bogotá. The granularity of the data allows to identify the occupation of every bus within the system at any particular day. As a validation, we compare the average bus occupation of two particular days, 17 of May of 2020 and the 1 of December of 2020.

2021-12-07T21:43:43Z Gabriel Villalobos Juan D. Garcia-Arteaga Arturo Argüelles http://arxiv.org/abs/2312.15078v2 2024-03-12T14:54:08Z

Among the fundamental questions in computer science is that of the impact of synchronism/asynchronism on computations, which has been addressed in various fields of the discipline: in programming, in networking, in concurrence theory, in artificial learning, etc. In this paper, we tackle this question from a standpoint which mixes discrete dynamical system theory and computational complexity, by highlighting that the chosen way of making local computations can have a drastic influence on the performed global computation itself. To do so, we study how distinct update schedules may fundamentally change the asymptotic behaviors of finite dynamical systems, by analyzing in particular their limit cycle maximal period. For the message itself to be general and impacting enough, we choose to focus on a ``simple'' computational model which prevents underlying systems from having too many intrinsic degrees of freedom, namely elementary cellular automata. More precisely, for elementary cellular automata rules which are neither too simple nor too complex (the problem should be meaningless for both), we show that update schedule changes can lead to significant computational complexity jumps (from constant to superpolynomial ones) in terms of their temporal asymptotes.

2023-12-22T21:37:13Z Isabel Donoso Leiva Eric Goles Martín Ríos-Wilson Sylvain Sené http://arxiv.org/abs/2403.05998v1 2024-03-09T20:07:59Z

We establish generalizations of the well-known surjunctivity theorem of Gromov and Weiss as well as the dual-surjunctivity theorem of Capobianco, Kari and Taati for cellular automata (CA) to local perturbations of CA over sofic group universes. We also extend the results to a class of non-uniform cellular automata (NUCA) consisting of global perturbations with uniformly bounded singularity of CA. As an application, we obtain the surjunctivity of algebraic NUCA with uniformly bounded singularity over sofic groups. Moreover, we prove the stable finiteness of twisted group rings over sofic groups to generalize known results on Kaplansky's stable finiteness conjecture for group rings.

2024-03-09T20:07:59Z Xuan Kien Phung