https://arxiv.org/api/rSdVxf6Ccy5MAR0TSuag6OjApCE 2026-06-11T03:17:33Z 1673 375 15 http://arxiv.org/abs/2107.14799v1 2021-07-30T17:56:44Z

We consider the problem of studying the simulation capabilities of the dynamics of arbitrary networks of finite states machines. In these models, each node of the network takes two states 0 (passive) and 1 (active). The states of the nodes are updated in parallel following a local totalistic rule, i.e., depending only on the sum of active states. Four families of totalistic rules are considered: linear or matrix defined rules (a node takes state 1 if each of its neighbours is in state 1), threshold rules (a node takes state 1 if the sum of its neighbours exceed a threshold), isolated rules (a node takes state 1 if the sum of its neighbours equals to some single number) and interval rule (a node takes state 1 if the sum of its neighbours belong to some discrete interval). We focus in studying the simulation capabilities of the dynamics of each of the latter classes. In particular, we show that totalistic automata networks governed by matrix defined rules can only implement constant functions and other matrix defined functions. In addition, we show that t by threshold rules can generate any monotone Boolean functions. Finally, we show that networks driven by isolated and the interval rules exhibit a very rich spectrum of boolean functions as they can, in fact, implement any arbitrary Boolean functions. We complement this results by studying experimentally the set of different Boolean functions generated by totalistic rules on random graphs.

2021-07-30T17:56:44Z International Journal of Unconventional Computing 16(4): 343-391 (2021) Eric Goles Unconventional Computing Laboratory, University of the West of England, Bristol, UK and Facultad de Ingeniería y Ciencias, Universidad Adolfo Ibáñez, Santiago, Chile Andrew Adamatzky Unconventional Computing Laboratory, University of the West of England, Bristol, UK Pedro Montealegre Facultad de Ingeniería y Ciencias, Universidad Adolfo Ibáñez, Santiago, Chile Martín Ríos-Wilson Departamento de Ingeniería Matemática, FCFM, Universidad de Chile, Santiago, Chile and Aix Marseille Univ, Université de Toulon, CNRS, LIS, Marseille, France http://arxiv.org/abs/2107.13713v1 2021-07-29T02:38:13Z

Distillation is a unit operation with multiple input parameters and multiple output parameters. It is characterized by multiple variables, coupling between input parameters, and non-linear relationship with output parameters. Therefore, it is very difficult to use traditional methods to control and optimize the distillation column. Artificial Neural Network (ANN) uses the interconnection between a large number of neurons to establish the functional relationship between input and output, thereby achieving the approximation of any non-linear mapping. ANN is used for the control and optimization of distillation tower, with short response time, good dynamic performance, strong robustness, and strong ability to adapt to changes in the control environment. This article will mainly introduce the research progress of ANN and its application in the modeling, control and optimization of distillation towers.

2021-07-29T02:38:13Z 12 pages Chunli Li Chunyu Wang http://arxiv.org/abs/2107.07980v1 2021-07-16T15:51:06Z

In this article we introduce the p-adic cellular neural networks which are mathematical generalizations of the classical cellular neural networks (CNNs) introduced by Chua and Yang. The new networks have infinitely many cells which are organized hierarchically in rooted trees, and also they have infinitely many hidden layers. Intuitively, the p-adic CNNs occur as limits of large hierarchical discrete CNNs. More precisely, the new networks can be very well approximated by hierarchical discrete CNNs. Mathematically speaking, each of the new networks is modeled by one integro-differential equation depending on several p-adic spatial variables and the time. We study the Cauchy problem associated to these integro-differential equations and also provide numerical methods for solving them.

2021-07-16T15:51:06Z B. A. Zambrano-Luna W. A. Zúñiga-Galindo 10.1007/s44198-022-00071-8 http://arxiv.org/abs/2101.10072v3 2021-07-15T15:45:54Z

Agent based modelling is a simulation method in which autonomous agents interact with their environment and one another, given a predefined set of rules. It is an integral method for modelling and simulating complex systems, such as socio-economic problems. Since agent based models are not described by simple and concise mathematical equations, code that generates them is typically complicated, large, and slow. Here we present Agents.jl, a Julia-based software that provides an ABM analysis platform with minimal code complexity. We compare our software with some of the most popular ABM software in other programming languages. We find that Agents.jl is not only the most performant, but also the least complicated software, providing the same (and sometimes more) features as the competitors with less input required from the user. Agents.jl also integrates excellently with the entire Julia ecosystem, including interactive applications, differential equations, parameter optimization, and more. This removes any ``extensions library'' requirement from Agents.jl, which is paramount in many other tools.

2021-01-25T13:36:28Z SIMULATION. January 2022 George Datseris Ali R. Vahdati Timothy C. DuBois 10.1177/00375497211068820 http://arxiv.org/abs/2107.06001v1 2021-07-13T11:51:59Z

We present a new spontaneously emergent glider-gun in a 2D Cellular Automaton and build the logical gates NOT, AND and OR required for logical universality. The Ameyalli-rule is not based on survival/birth logic but depends on 102 isotropic neighborhood groups making an iso-rule, which can drive an interactive input-frequency histogram for visualising iso-group activity and dependent functions for filtering and mutation. Neutral inputs relative to logical gates are identified which provide an idealized striped-down form of the iso-rule.

2021-07-13T11:51:59Z 16 pages, 15 figures José Manuel Gómez Soto Andrew Wuensche http://arxiv.org/abs/2107.04843v1 2021-07-10T14:10:56Z

In this paper, we prove that there is a strongly universal cellular automaton in the dodecagrid, the tesselllation {5,3,4} of the hyperbolic 3D space, with four states but, it is not rotation invariant as the automaton of arXiv:2104.01561 is with five states. The present paper is not an improvement of arXiv:2104.01561. The reduction to four states of the automaton of the present paper results from a relaxation of the condition of rotation invariance. However, the relaxation is not complete: the rules are invariant with respect to rotations of the dodecahedron which leave it globally invariant which also leave invariant a couple of opposite faces of the dodecahedron. As there are twenty five such rotations, it can be considered that the reduction to four states is significant although the relaxation it implied.

2021-07-10T14:10:56Z 49 pages, 23 figures. arXiv admin note: substantial text overlap with arXiv:2104.01561 Maurice Margenstern http://arxiv.org/abs/1911.11216v4 2021-07-08T13:44:22Z

The theory of cellular automata in operational probabilistic theories is developed. We start introducing the composition of infinitely many elementary systems, and then use this notion to define update rules for such infinite composite systems. The notion of causal influence is introduced, and its relation with the usual property of signalling is discussed. We then introduce homogeneity, namely the property of an update rule to evolve every system in the same way, and prove that systems evolving by a homogeneous rule always correspond to vertices of a Cayley graph. Next, we define the notion of locality for update rules. Cellular automata are then defined as homogeneous and local update rules. Finally, we prove a general version of the wrapping lemma, that connects CA on different Cayley graphs sharing some small-scale structure of neighbourhoods.

2019-11-22T14:02:27Z Updated version: the only change consists in the extension of the proof of lemma 2 Quantum 4, 294 (2020) Paolo Perinotti 10.22331/q-2020-07-09-294 http://arxiv.org/abs/2107.02035v1 2021-07-05T13:52:39Z

Chalcogenide phase change materials (PCMs) have been extensively applied in data storage, and they are now being proposed for high resolution displays, holographic displays, reprogrammable photonics, and all-optical neural networks. These wide-ranging applications all exploit the radical property contrast between the PCMs different structural phases, extremely fast switching speed, long-term stability, and low energy consumption. Designing PCM photonic devices requires an accurate model to predict the response of the device during phase transitions. Here, we describe an approach that accurately predicts the microstructure and optical response of phase change materials during laser induced heating. The framework couples the Gillespie Cellular Automata approach for modelling phase transitions with effective medium theory and Fresnel equations. The accuracy of the approach is verified by comparing the PCM optical response and microstructure evolution with the results of nanosecond laser switching experiments. We anticipate that this approach to simulating the switching response of PCMs will become an important component for designing and simulating programmable photonics devices. The method is particularly important for predicting the multi-level optical response of PCMs, which is important for all-optical neural networks and PCM-programmable perceptrons.

2021-07-05T13:52:39Z 26 pages, 6 figures Yunzheng Wang Jing Ning Li Lu Michel Bosman Robert E. Simpson 10.1038/s41524-021-00655-w http://arxiv.org/abs/2009.12522v2 2021-07-02T01:17:27Z

We systematically analyze the tensorial structure of the lattice pressure tensors for a class of multi-phase lattice Boltzmann models (LBM) with multi-range interactions. Due to lattice discrete effects, we show that the built-in isotropy properties of the lattice interaction forces are not necessarily mirrored in the corresponding lattice pressure tensor. This finding opens a different perspective for constructing forcing schemes, achieving the desired isotropy in the lattice pressure tensors via a suitable choice of multi-range potentials. As an immediate application, the obtained LBM forcing schemes are tested via numerical simulations of non-ideal equilibrium interfaces and are shown to yield weaker and less spatially extended spurious currents with respect to forcing schemes obtained by forcing isotropy requirements only. From a general perspective, the proposed analysis yields an approach for implementing forcing symmetries, never explored so far in the framework of the Shan-Chen method for LBM. We argue this will be beneficial for future studies of non-ideal interfaces.

2020-09-26T05:56:53Z 14 pages + Appendix, 8 figures; updated to published version: added figures and text Phys. Rev. E 103, 063309 (2021) Matteo Lulli Luca Biferale Giacomo Falcucci Mauro Sbragaglia Xiaowen Shan 10.1103/PhysRevE.103.063309 http://arxiv.org/abs/2106.13591v1 2021-06-24T17:03:26Z

A survey is given of approaches to the problem of distributed consensus, focusing particularly on methods based on cellular automata and related systems. A variety of new results are given, as well as a history of the field and an extensive bibliography. Distributed consensus is of current relevance in a new generation of blockchain-related systems.

2021-06-24T17:03:26Z Stephen Wolfram http://arxiv.org/abs/2106.10301v1 2021-06-18T18:06:34Z

Mean and diam-mean equicontinuity are dynamical properties that have been of use in the study of non-periodic order. We show that the Pacman automaton is not almost diam-mean equicontinuous (it is already known that it is almost mean equicontinuous).

2021-06-18T18:06:34Z In Proceedings of the 27th International Workshop on Cellular Automata and Discrete Complex Systems. arXiv admin note: substantial text overlap with arXiv:2106.09641 Luguis de los Santos Baños Felipe García-Ramos http://arxiv.org/abs/2106.09638v1 2021-06-17T16:34:49Z

The initial majority identification task is a fundamental test problem in cellular automaton research. To pass the test, an automaton must evolve to a uniform configuration consisting of the state that was in the majority for any initial configuration, employing only its internal, local dynamics. It is known that no two-state automaton can perform the majority task perfectly. Thus, it is a matter of continuing interest to identify and analyze new automata with improved majority identification capability. Here, we show that a coarsened version of one of the best majority identifiers can out-perform its parent automaton while simultaneously reducing the associated computational costs.

2021-06-17T16:34:49Z 9 pages, 5 figures Complex Systems, 2022 David Peak Charles G. Torre Jenny R. Whiteley 10.25088/ComplexSystems.31.2.191 http://arxiv.org/abs/2105.11552v1 2021-05-24T21:51:56Z

Although traditional models of epidemic spreading focus on the number of infected, susceptible and recovered individuals, a lot of attention has been devoted to integrate epidemic models with population genetics. Here we develop an individual-based model for epidemic spreading on networks in which viruses are explicitly represented by finite chains of nucleotides that can mutate inside the host. Under the hypothesis of neutral evolution we compute analytically the average pairwise genetic distance between all infecting viruses over time. We also derive a mean-field version of this equation that can be added directly to compartmental models such as SIR or SEIR to estimate the genetic evolution. We compare our results with the inferred genetic evolution of SARS-CoV-2 at the beginning of the epidemic in China and found good agreement with the analytical solution of our model. Finally, using genetic distance as a proxy for different strains, we use numerical simulations to show that the lower the connectivity between communities, e.g., cities, the higher the probability of reinfection.

2021-05-24T21:51:56Z 19 pages, 8 figures PLoS ONE 16(7) (2021) e0255438 Vitor M. Marquioni Marcus A. M. de Aguiar 10.1371/journal.pone.0255438 http://arxiv.org/abs/2103.16543v2 2021-05-13T08:58:14Z

We review recent results on an exactly solvable model of nonequilibrium statistical mechanics, specifically the classical Rule 54 reversible cellular automaton and some of its quantum extensions. We discuss the exact microscopic description of nonequilibrium dynamics as well as the equilibrium and nonequilibrium stationary states. This allows us to obtain a rigorous handle on the corresponding emergent hydrodynamic description, which is treated as well. Specifically, we focus on two different paradigms of Rule 54 dynamics. Firstly, we consider a finite chain driven by stochastic boundaries, where we provide exact matrix product descriptions of the nonequilibrium steady state, most relevant decay modes, as well as the eigenvector of the tilted Markov chain yielding exact large deviations for a broad class of local and extensive observables. Secondly, we treat the explicit dynamics of macro-states on an infinite lattice and discuss exact closed form results for dynamical structure factor, multi-time-correlation functions and inhomogeneous quenches. Remarkably, these results prove that the model, despite its simplicity, behaves like a regular fluid with coexistence of ballistic (sound) and diffusive (heat) transport. Finally, we briefly discuss quantum interpretation of Rule 54 dynamics and explicit results on dynamical spreading of local operators and operator entanglement.

2021-03-30T17:50:07Z Review paper, 70 pages, 17 figures. To appear in JSTAT special issue 2021 "Emergent Hydrodynamics in Integrable Many-body Systems"; v2 minor modifications to improve presentation J. Stat. Mech. (2021) 074001 Berislav Buča Katja Klobas Tomaž Prosen 10.1088/1742-5468/ac096b http://arxiv.org/abs/2105.04010v1 2021-05-09T19:55:33Z

We study a simple deterministic map that leads a fully connected network to Heider balance. The map is realized by an algorithm that updates all links synchronously in a way depending on the state of the entire network. We observe that the probability of reaching a balanced state increases with the system size N. Jammed states become less frequent for larger N. The algorithm generates also limit cycles, mostly of length $2$, but also of length 3, 4, 6, 12 or 14. We give a simple argument to estimate the mean size of basins of attraction of balanced states and discuss symmetries of the system including the automorphism group as well as gauge invariance of triad configurations. We argue that both the symmetries play an essential role in the occurrence of cycles observed in the synchronous dynamics realized by the algorithm.

2021-05-09T19:55:33Z Malgorzata J. Krawczyk Krzysztof Kulakowski Zdzislaw Burda 10.1103/PhysRevE.104.024307