https://arxiv.org/api/g560Lvpzq7DHxkynffOCKVScnx8 2026-03-28T11:07:05Z 1647 285 15 http://arxiv.org/abs/2207.05446v1 2022-07-12T10:28:26Z

This work introduces a new problem, named as, affinity classification problem which is a generalization of the density classification problem. To solve this problem, we introduce temporally stochastic cellular automata where two rules are stochastically applied in each step on all cells of the automata. Our model is defined on 2-dimensional grid having affection capability. We show that this model can be used in several applications like modeling self-healing systems.

2022-07-12T10:28:26Z Kamalika Bhattacharjee Subrata Paul Sukanta Das http://arxiv.org/abs/2112.13930v2 2022-07-10T16:35:37Z

Magnetohydrodynamic (MHD) flow of liquid metals through conduits play an important role in the proposed systems for harnessing fusion energy, and various other engineering and scientific problems. The interplay between the magnetic fields and the fluid motion gives rise to complex flow physics, which depend on the electrical conductivity of the bounding walls. An effective approach to represent the latter is via the Shercliff boundary condition for thin conducting walls relating the induced magnetic field and its wall normal gradient at the boundary via a parameter referred to as the wall conductance ratio (Shercliff, JA, J. Fluid Mech. 1, 644 (1956)). Within the framework of the highly parallelizable lattice Boltzmann (LB) method, a lattice kinetic scheme for MHD involving a vector distribution function for the magnetic fields was proposed by Dellar (Dellar, PJ, J. Comp. Phys. 179, 95 (2002)). However, the prior LB algorithms only accounted for limiting special cases involving perfectly insulated boundaries and did not consider the finite conductivity effects. In this paper, we present two new boundary schemes that enforce the Shercliff boundary condition in the LB schemes for MHD. It allows for the specification of the wall conductance ratio to any desired value based on the actual conductivities and length scales of the container and the wall thicknesses. One approach is constructed using a link-based formulation involving a weighted combination of the bounce back and anti-bounce back of the distribution function for the magnetic field and the other approach involves an on-node moment-based implementation. Moreover, their extensions to representing moving walls are also presented. Numerical validations of the boundary schemes for body force or shear driven MHD flows for a wide range of the values of the wall conductance ratio and their second order grid convergence are demonstrated.

2021-12-27T22:55:17Z 49 pages, 16 figures Eman Yahia Kannan Premnath http://arxiv.org/abs/2207.04885v1 2022-07-08T15:48:38Z

The Global Cellular Automata (GCA) Model is a generalization of the Cellular Automata (CA) Model. The GCA model consists of a collection of cells which change their states depending on the states of their neighbors, like in the classical CA model. In generalization of the CA model, the neighbors are no longer fixed and local, they are variable and global. In the basic GCA model, a cell is structured into a data part and a pointer part. The pointer part consists of several pointers that hold addresses to global neighbors. The data rule defines the new data state, and the pointer rule define the new pointer states. The cell's state is synchronously or asynchronously updated using the new data and new pointer states. Thereby the global neighbors can be changed from generation to generation. Similar to the CA model, only the own cell's state is modified. Thereby write conflicts cannot occur, all cells can work in parallel which makes it a massively parallel model. The GCA model is related to the CROW (concurrent read owners write) model, a specific PRAM (parallel random access machine) model. Therefore many of the well-studied PRAM algorithms can be transformed into GCA algorithms. Moreover, the GCA model allows to describe a large number of data parallel applications in a suitable way. The GCA model can easily be implemented in software, efficiently interpreted on standard parallel architectures, and synthesized / configured into special hardware target architectures. This article reviews the model, applications, and hardware architectures.

2022-07-08T15:48:38Z 83 pages, 34 figures Rolf Hoffmann http://arxiv.org/abs/2201.07341v3 2022-07-07T00:49:32Z

We implement a divide-and-concur iterative projection approach to context-free grammar inference. Unlike most state-of-the-art models of natural language processing, our method requires a relatively small number of discrete parameters, making the inferred grammar directly interpretable -- one can read off from a solution how to construct grammatically valid sentences. Another advantage of our approach is the ability to infer meaningful grammatical rules from just a few sentences, compared to the hundreds of gigabytes of training data many other models employ. We demonstrate several ways of applying our approach: classifying words and inferring a grammar from scratch, taking an existing grammar and refining its categories and rules, and taking an existing grammar and expanding its lexicon as it encounters new words in new data.

2022-01-18T22:42:43Z Phys. Rev. E 105, 064303 (2022) Sean Deyo Veit Elser 10.1103/PhysRevE.105.064303 http://arxiv.org/abs/2206.15050v1 2022-06-30T06:27:47Z

We generalize the exact predictive regularity of symmetry groups to give an algebraic theory of patterns, building from a core principle of future equivalence. For topological patterns in fully-discrete one-dimensional systems, future equivalence uniquely specifies a minimal semiautomaton. We demonstrate how the latter and its semigroup algebra generalizes translation symmetry to partial and hidden symmetries. This generalization is not as straightforward as previously considered. Here, though, we clarify the underlying challenges. A stochastic form of future equivalence, known as predictive equivalence, captures distinct statistical patterns supported on topological patterns. Finally, we show how local versions of future equivalence can be used to capture patterns in spacetime. As common when moving to higher dimensions, there is not a unique local approach, and we detail two local representations that capture different aspects of spacetime patterns. A previously-developed local spacetime variant of future equivalence captures patterns as generalized symmetries in higher dimensions, but we show this representation is not a faithful generator of its spacetime patterns. This motivates us to introduce a local representation that is a faithful generator, but we demonstrate that it no longer captures generalized spacetime symmetries. Taken altogether, building on future equivalence, the theory defines and quantifies patterns present in a wide range of classical field theories.

2022-06-30T06:27:47Z Adam Rupe James P. Crutchfield 10.3390/sym14081636 http://arxiv.org/abs/2207.06493v1 2022-06-17T15:27:07Z

This paper presents a class of one-dimensional cellular automata (CA) models on traffic flows, featuring nonlocal look-ahead interactions. We develop kinetic Monte Carlo (KMC) algorithms to simulate the dynamics. The standard KMC method can be inefficient for models with global interactions. We design an accelerated KMC method to reduce the computational complexity in the evaluation of the nonlocal transition rates. We investigate several numerical experiments to demonstrate the efficiency of the accelerated algorithm, and obtain the fundamental diagrams of the dynamics under various parameter settings.

2022-06-17T15:27:07Z 22 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:2001.10017 Yi Sun Changhui Tan 10.1016/j.physd.2023.133657 http://arxiv.org/abs/2206.03563v2 2022-06-15T20:40:03Z

Lately, studying social dynamics in interacting agents has been boosted by the power of computer models, which bring the richness of qualitative work, while offering the precision, transparency, extensiveness, and replicability of statistical and mathematical approaches. A particular set of phenomena for the study of social dynamics is Web collaborative platforms. A dataset of interest is r/place, a collaborative social experiment held in 2017 on Reddit, which consisted of a shared online canvas of 1000 pixels by 1000 pixels co-edited by over a million recorded users over 72 hours. In this paper, we designed and compared two methods to analyze the dynamics of this experiment. Our first method consisted in approximating the set of 2D cellular-automata-like rules used to generate the canvas images and how these rules change over time. The second method consisted in a convolutional neural network (CNN) that learned an approximation to the generative rules in order to generate the complex outcomes of the canvas. Our results indicate varying context-size dependencies for the predictability of different objects in r/place in time and space. They also indicate a surprising peak in difficulty to statistically infer behavioral rules towards the middle of the social experiment, while user interactions did not drop until before the end. The combination of our two approaches, one rule-based and the other statistical CNN-based, shows the ability to highlight diverse aspects of analyzing social dynamics.

2022-06-02T20:17:14Z Alyssa M Adams Javier Fernandez Olaf Witkowski http://arxiv.org/abs/2206.08139v1 2022-06-15T09:46:55Z

This tutorial is about cellular automata that exhibit 'cold dynamics'. By this we mean zero entropy, stabilization of all orbits, trivial asymptotic dynamics, etc. These are purely transient irreversible dynamics, but they capture many examples from the literature. A rich zoo of properties is presented and discussed: nilpotency and asymptotic, generic or mu-variants, unique ergodicity, convergence, bounded-changeness, freezingness. They all correspond to the 'cold dynamics' paradigm in some way, and we study their links and differences by various examples and results from the literature. Besides dynamical considerations, we also focus on computational aspects: we show how such 'cold cellular automata' can still compute under their dynamical constraint, and what are their computational limitation.

2022-06-15T09:46:55Z Natural Computing, Springer Verlag, 2022 Guillaume Theyssier 10.1007/s11047-022-09886-2 http://arxiv.org/abs/2203.15061v2 2022-06-11T11:29:24Z

In this paper, we present stochastic synchronous cellular automaton defined on a square lattice. The automaton rules are based on the SEIR (susceptible $\to$ exposed $\to$ infected $\to$ recovered) model with probabilistic parameters gathered from real-world data on human mortality and the characteristics of the SARS-CoV-2 disease. With computer simulations, we show the influence of the radius of the neighborhood on the number of infected and deceased agents in the artificial population. The increase in the radius of the neighborhood favors the spread of the epidemic. However, for a large range of interactions of exposed agents (who neither have symptoms of the disease nor have been diagnosed by appropriate tests), even isolation of infected agents cannot prevent successful disease propagation. This supports aggressive testing against disease as one of the useful strategies to prevent large peaks of infection in the spread of SARS-CoV-2-like disease.

2022-03-28T20:01:48Z 11 pages, 7 figures Entropy 24 (6), 832 (2022) Szymon Biernacki Krzysztof Malarz 10.3390/e24060832 http://arxiv.org/abs/2208.01551v1 2022-05-31T16:25:07Z

A model is proposed to estimate the work zone queue length, and the cellular automata based on empirical data is used for model validation. This estimation model can be applied to work zone organization and management to improve work zone capacity and security. Relationship between the average queue length and the warning zone length can be found, and the appropriate warning zone length can be determined according to design flow. Moreover, the appropriate work zone lane-changing strategies under different design flows are found through the estimation model.

2022-05-31T16:25:07Z Shao-Yuan Chen Li-Xian Zhong Rui-Xi Zhu Lian-Sheng Yang Mirizhati Aikebaier Ci-Yun Lin http://arxiv.org/abs/2204.07541v2 2022-05-23T21:13:52Z

Substantial efforts have been applied to engineer CA with desired emergent properties, such as supporting gliders. Recent work in continuous CA has generated a wide variety of compelling bioreminiscent patterns, and the expansion of CA research into continuously-valued domains, multiple channels, and higher dimensions complicates their study. In this work we devise a strategy for evolving CA and CA patterns in two steps, based on the simple idea that CA are likely to be complex and computationally capable if they support patterns that grow indefinitely as well as patterns that vanish completely, and are difficult to predict the difference in advance. The second part of our strategy evolves patterns by selecting for mobility and conservation of mean cell value. We validate our pattern evolution method by re-discovering gliders in 17 of 17 Lenia CA, and also report 4 new evolved CA and 1 randomly evolved CA that support novel evolved glider patterns. The CA reported here share neighborhood kernels with previously described Lenia CA, but exhibit a wider range of typical dynamics than their Lenia counterparts. Code for evolving continuous CA is made available under an MIT License (https://github.com/rivesunder/yuca).

2022-04-15T16:44:05Z Accepted to GECCO 2022 Q. Tyrell Davis Josh Bongard 10.1145/3520304.3529037 http://arxiv.org/abs/2205.10463v1 2022-05-20T23:41:40Z

Recent work with Lenia, a continuously-valued cellular automata (CA) framework, has yielded $\sim$100s of compelling, bioreminiscent and mobile patterns. Lenia can be viewed as a continuously-valued generalization of the Game of Life, a seminal cellular automaton developed by John Conway that exhibits complex and universal behavior based on simple birth and survival rules. Life's framework of totalistic CA based on the Moore neighborhood includes many other interesting, Life-like, CA. A simplification introduced in Lenia limits the types of Life-like CA that are expressible in Lenia to a specific subset. This work recovers the ability to easily implement any Life-like CA by splitting Lenia's growth function into genesis and persistence functions, analogous to Life's birth and survival rules. We demonstrate the capabilities of this new CA variant by implementing a puffer pattern from Life-like CA Morley/Move, and examine differences between related CA in Lenia and Glaberish frameworks: Hydrogeminium natans and s613, respectively. These CA exhibit marked differences in dynamics and character based on spatial entropy over time, and both support several persistent mobile patterns. The CA s613, implemented in the Glaberish framework, is more dynamic than the Hydrogeminium CA in terms of a consistently high variance in spatial entropy over time. These results suggest there may be a wide variety of interesting CA that can be implemented in the Glaberish variant of the Lenia framework, analogous to the many interesting Life-like CA outside of Conway's Life.

2022-05-20T23:41:40Z Accepted to ALife 2022 Q. Tyrell Davis Josh Bongard http://arxiv.org/abs/2205.12728v1 2022-05-20T23:41:06Z

Step size in continuous cellular automata (CA) plays an important role in the stability and behavior of self-organizing patterns. Continous CA dynamics are defined by formula very similar to numerical estimation of physics-based ordinary differential equations, specifically Euler's method, for which a large step size is often inaccurate and unstable. Rather than asymptotically approaching more accurate estimates of CA dynamics with decreasing step size, continuous CA may support different self-organizing patterns at different ranges of step size. We discuss several examples of mobile patterns that become unstable at step sizes that are too small as well as too large. Additionally, an individual mobile pattern may exhibit qualitatively different behavior across a range of step sizes. We demonstrate examples of the effects of step size in pattern stability and qualitative behavior in continuous CA implemented in the Lenia framework and its variant, Glaberish.

2022-05-20T23:41:06Z Accepted to ALife 2022 as an extended abstract Q. Tyrell Davis Josh Bongard http://arxiv.org/abs/2203.01380v3 2022-05-18T21:04:32Z

One of the most striking draw-backs of standard lattice gas methods over lattice Boltzmann methods is a much more limited range of transport parameters that can be achieved. It is common for lattice Boltzmann methods to use over-relaxation to achieve arbitrarily small transport parameters in the hydrodynamic equations. Here, we show that it is possible to implement over-relaxation for integer lattice gases. For simplicity we focus here on lattice gases for the diffusion equation. We demonstrate that adding a flipping operation to lattice gases results in a multi-relaxation time lattice Boltzmann scheme with over-relaxation in the Boltzmann limit.

2022-03-02T19:45:12Z 5 pages, 1 figure Kyle Strand Alexander J. Wagner 10.1103/PhysRevE.105.L063301 http://arxiv.org/abs/2112.02574v2 2022-05-16T11:08:44Z

In this paper we analyze the curvature corrections to the surface tension in the context of the Shan-Chen (SC) multi-component Lattice Boltzmann method (LBM). We demonstrate that the same techniques recently applied in the context of the Shan-Chen multi-phase model can be applied to multi-component mixtures. We implement, as a new application, the calculation of the surface of tension radius $R_s$ through the minimization of the generalized surface tension $σ[R]$. In turn we are able to estimate the Tolman length, i.e. the first order coefficient of the curvature expansion of the surface tension $σ(R)$, as well as the higher order corrections, i.e. the curvature- and the Gaussian-rigidity coefficients. The SC multi-component model allows to model both fully-symmetric as well as asymmetric interactions among the components. By performing an extensive set of simulations we present a first example of tunable Tolman length in the mesoscopic model, being zero for symmetric interactions and different from zero otherwise. This result paves the way for controlling such interface properties which are paramount in presence of thermal fluctuations. All reported results can be independently reproduced through the "idea.deploy" framework available at https://github.com/lullimat/idea.deploy.

2021-12-05T13:55:32Z updated after Referee review; 22 pages, 4 figures. arXiv admin note: text overlap with arXiv:2105.08772 Matteo Lulli Luca Biferale Giacomo Falcucci Mauro Sbragaglia Xiaowen Shan