English
Related papers

Related papers: A strongly universal cellular automaton with four …

200 papers

In this paper, we construct a weakly universal cellular automaton on the tessellation $\{8,3\}$ which is not rotation invariant but which is truly planar.

Discrete Mathematics · Computer Science 2016-07-22 Maurice Margenstern

Exactly ergodicity in boundary-driven semi-infinite cellular automata (CA) are investigated. We establish all the ergodic rules in CA with 3, 4, and 5 states. We analytically prove the ergodicity for 12 rules in 3-state CA and 118320 rules…

Cellular Automata and Lattice Gases · Physics 2026-04-13 Naoto Shiraishi , Shinji Takesue

In this paper, we look at two ways to implement determinisitic one dimensional cellular automata into hyperbolic cellular automata in three contexts: the pentagrid, the heptagrid and the dodecagrid, these tilings being classically denoted…

Formal Languages and Automata Theory · Computer Science 2010-04-13 Maurice Margenstern

In a recent paper [arXiv:1506.06649 [nlin.CG]], we presented an example of a 3-state cellular automaton which exhibits behaviour analogous to degenerate hyperbolicity often observed in finite-dimensional dynamical systems. We also…

Cellular Automata and Lattice Gases · Physics 2017-04-04 Henryk Fukś , Joel Midgley-Volpato

A two-state, three-dimensional, deterministic, reversible cellular automaton is shown to be capable of approximately circular orbits, wavelike undulations, and particle-like configurations that decay in accordance with a half-life law.

Cellular Automata and Lattice Gases · Physics 2012-06-12 Daniel B. Miller , Edward Fredkin

We introduce cellular automata whose cell spaces are left homogeneous spaces and prove a uniform as well as a topological variant of the Curtis-Hedlund-Lyndon theorem. Examples of left homogeneous spaces are spheres, Euclidean spaces, as…

Group Theory · Mathematics 2016-07-15 Simon Wacker

Any algorithm (in the sense of Gurevich's abstract-state-machine axiomatization of classical algorithms) operating over any arbitrary unordered domain can be simulated by a dynamic cellular automaton, that is, by a pattern-directed cellular…

Logic in Computer Science · Computer Science 2015-04-14 Nachum Dershowitz , Evgenia Falkovich

We prove that the group of reversible cellular automata (RCA), on any alphabet $A$, contains a subgroup generated by three involutions which contains an isomorphic copy of every finitely generated group of RCA on any alphabet $B$. This…

Group Theory · Mathematics 2023-05-09 Ville Salo

We prove that exactly 6 out of the 29 rational homology 3-spheres tessellated by four or less right-angled hyperbolic dodecahedra are L-spaces. The algorithm used is based on the L-space census provided by Dunfield in arXiv:1904.04628, and…

Geometric Topology · Mathematics 2024-12-23 Ludovico Battista , Leonardo Ferrari , Diego Santoro

In this paper, we investigate the halting problem for deterministic cellula automata in the pentagrid. We prove that the problem is decidable when the cellular automaton starts its computation from a finite configuration and when it has at…

Formal Languages and Automata Theory · Computer Science 2018-12-11 Maurice Margenstern

We introduce and study cellular automata whose cell spaces are left-homogeneous spaces. Examples of left-homogeneous spaces are spheres, Euclidean spaces, as well as hyperbolic spaces acted on by isometries; uniform tilings acted on by…

Group Theory · Mathematics 2017-06-27 Simon Wacker

We construct a one-dimensional uniquely ergodic cellular automaton which is not nilpotent. This automaton can perform asymptotically infinitely sparse computation, which nevertheless never disappears completely. The construction builds on…

Dynamical Systems · Mathematics 2014-08-29 Ilkka Törmä

The one-dimensional three-state cyclic cellular automaton is a simple spatial model with three states in a cyclic "rock-paper-scissors" prey-predator relationship. Starting from a random configuration, similar states gather in increasingly…

Probability · Mathematics 2023-08-31 Benjamin Hellouin de Menibus , Yvan Le Borgne

We apply a functional renormalisation group to systems of four bosonic atoms close to the unitary limit. We work with a local effective action that includes a dynamical trimer field and we use this field to eliminate structures that do not…

Quantum Gases · Physics 2013-10-30 Benjamin Jaramillo Avila , Michael C. Birse

This paper concerns $d$-dimensional cellular automata with the von Neumann neighborhood that conserve the sum of the states of all their cells. These automata, called number-conserving or density-conserving cellular automata, are of…

Mathematical Physics · Physics 2020-08-26 Barbara Wolnik , Anna Nenca , Jan M. Baetens , Bernard De Baets

A novel two-state, Reversible Cellular Automata (RCA) is described. This three-dimensional RCA is shown to be capable of universal computation. Additionally, evidence is offered that this RCA Is capable of universal construction.

Cellular Automata and Lattice Gases · Physics 2007-05-23 Daniel B. Miller , Edward Fredkin

We created two dimensional hexagonal cellular automata to obtain complexity. Considering the game of life rules, Wolfram's works about life-like structures and John von Neumann's self-replication, self-maintenance, self-reproduction…

Cellular Automata and Lattice Gases · Physics 2023-02-28 Vural Erdogan

We present evidence that operation of QCA (Quantum Cellular Automaton) cells with four dots is possible with an occupancy of 4N+2 electrons per cell (N being an integer). We show that interaction between cells can be described in terms of a…

Mesoscale and Nanoscale Physics · Physics 2009-10-31 M. Girlanda , M. Governale , M. Macucci , G. Iannaccone

Number-conserving cellular automata (NCCA) are particularly interesting, both because of their natural appearance as models of real systems, and because of the strong restrictions that number-conservation implies. Here we extend the…

Cellular Automata and Lattice Gases · Physics 2007-05-23 Andres Moreira

A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neighbors. It induces a dynamical system on the set of configurations, i.e.…

Discrete Mathematics · Computer Science 2011-08-25 Pierre Guillon , Gaétan Richard