English
Related papers

Related papers: A note on cellular automata

200 papers

We present an intuitive formalism for implementing cellular automata on arbitrary topologies. By that means, we identify a symmetry operation in the class of elementary cellular automata. Moreover, we determine the subset of topologically…

Cellular Automata and Lattice Gases · Physics 2009-11-13 Carsten Marr , Marc-Thorsten Huett

Cellular automata provide models of parallel computation based on cells, whose connectivity is given by an action of a monoid on the cells. At each step in the computation, every cell is decorated with a state that evolves in discrete steps…

Logic in Computer Science · Computer Science 2025-12-17 Henning Basold , Chase Ford , Lulof Pirée

Cellular automata (CA) are well-studied models of decentralized parallel computation, known for their ability to exhibit complex global behavior from simple local rules. While their dynamics have been widely explored through simulations, a…

Formal Languages and Automata Theory · Computer Science 2025-11-18 Dana Fisman , Noa Izsak

In this paper we present a quantization of Cellular Automata. Our formalism is based on a lattice of qudits, and an update rule consisting of local unitary operators that commute with their own lattice translations. One purpose of this…

Quantum Physics · Physics 2008-02-17 Carlos A. Perez-Delgado , Donny Cheung

Let $S$ be a cancellative left-amenable semigroup and let $A$ be a finite set. We prove that every pre-injective cellular automaton $\tau \colon A^S \to A^S$ is surjective.

Dynamical Systems · Mathematics 2015-05-06 Tullio Ceccherini-Silberstein , Michel Coornaert

Physical universality of a cellular automaton was defined by Janzing in 2010 as the ability to implement an arbitrary transformation of spatial patterns. In 2014, Schaeffer gave a construction of a two-dimensional physically universal…

Formal Languages and Automata Theory · Computer Science 2016-02-22 Ville Salo , Ilkka Törmä

In this paper, we study a class of cellular automata (CA) called stable cellular automata (SCA) that preserve stability by reflection, modulo-recurrent, and richness. After applying these automata to Sturmian words, we determine some of…

Combinatorics · Mathematics 2026-01-14 Moussa Barro , K. Ernest Bognini , Boucaré Kientéga

We prove that a group $G$ is locally finite if and only if every surjective real (or complex) linear cellular automaton with finite-dimensional alphabet over $G$ is injective.

Group Theory · Mathematics 2011-09-15 Tullio Ceccherini-Silberstein , Michel Coornaert

Cellular automata (CA) are discrete-time dynamical systems with local update rules on a lattice. Despite their elementary definition, CA support a wide spectrum of macroscopic phenomena central to statistical physics: equilibrium and…

Statistical Mechanics · Physics 2026-03-31 Mihir Metkar , Neha Sah , Yichen Zhou

In this paper, we prove that there is a strongly universal cellular automaton on the heptagrid with seven states which is rotation invariant. This improves a previous paper of the author where the automaton required ten states.

Discrete Mathematics · Computer Science 2021-02-09 Maurice Margenstern

In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology for sand automata, and a new context in which sand automata…

Computational Complexity · Computer Science 2008-12-18 Alberto Dennunzio , Pierre Guillon , Benoît Masson

We extend the two-variable logic on data words with guarded regular binary predicates of the form $\widetilde{L}(x,y)$ that is true if positions $x$ and $y$ are in the same class and the factor strictly between $x$ and $y$ is in the regular…

Logic in Computer Science · Computer Science 2026-05-12 Shibashis Guha , Amaldev Manuel , S P Rishal

A general result of Epstein and Thurston implies that all link groups are automatic, but the proof provides no explicit automaton. Here we show that the groups of all torus links are groups of fractions of so-called Garside monoids, i.e.,…

Group Theory · Mathematics 2007-05-23 Matthieu Picantin

We study the predictability of emergent phenomena in complex systems. Using nearest neighbor, one-dimensional Cellular Automata (CA) as an example, we show how to construct local coarse-grained descriptions of CA in all classes of Wolfram's…

Cellular Automata and Lattice Gases · Physics 2015-06-26 Navot Israeli , Nigel Goldenfeld

To identify potential universal cellular automata, a method is developed to measure information processing capacity of elementary cellular automata. We consider two features of cellular automata: Ability to store information, and ability to…

Cellular Automata and Lattice Gases · Physics 2018-03-20 Yanbo Zhang

Let M be a compact manifold, possibly with boundary. We show that the group of homeomorphisms of M has the automatic continuity property: any homomorphism from Homeo(M) to any separable group is necessarily continuous. This answers a…

Geometric Topology · Mathematics 2016-10-19 Kathryn Mann

Motivated by reconstruction results by Rubin, we introduce a new reconstruction notion for permutation groups, transformation monoids and clones, called automatic action compatibility, which entails automatic homeomorphicity. We further…

Logic · Mathematics 2022-10-13 Mike Behrisch , Edith Vargas-García

Gravitational clustering of a random distribution of point masses is dominated by the effective short-range interactions due to large-scale isotropy. We introduce a one-dimensional cellular automaton to reproduce this effect in the most…

Condensed Matter · Physics 2009-11-07 Roya Mohayaee , Luciano Pietronero

This paper presents a classification of Cellular Automata rules based on its properties at the nth iteration. Elaborate computer program has been designed to get the nth iteration for arbitrary 1-D or 2-D CA rules. Studies indicate that the…

A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their neighbors. Its trace is the set of infinite words representing…

Formal Languages and Automata Theory · Computer Science 2011-02-15 Julien Cervelle , Enrico Formenti , Pierre Guillon