English
Related papers

Related papers: Intrinsically Universal Cellular Automata

200 papers

There have been several non-axiomatic approaches taken to define Quantum Cellular Automata (QCA). Partitioned QCA (PQCA) are the most canonical of these non-axiomatic definitions. In this work we show that any QCA can be put into the form…

Quantum Physics · Physics 2010-10-13 Pablo Arrighi , Jonathan Grattage

This work studies some aspects of the computational power of fully asynchronous cellular automata (ACA). We deal with some notions of simulation between ACA and Turing Machines. In particular, we characterize the updating sequences…

Formal Languages and Automata Theory · Computer Science 2011-05-03 Jérôme Chandesris , Alberto Dennunzio , Enrico Formenti , Luca Manzoni

An automata network (AN) is a finite graph where each node holds a state from a finite alphabet and is equipped with a local map defining the evolution of the state of the node depending on its neighbors. They are studied both from the…

Computational Complexity · Computer Science 2022-09-22 Martín Ríos-Wilson , Guillaume Theyssier

We show that a large number of elementary cellular automata are computationally simple. This work is the first systematic classification of elementary cellular automata based on a formal notion of computational complexity. Thanks to the…

Computational Complexity · Computer Science 2014-06-23 Pierre-Étienne Meunier

While for synchronous deterministic cellular automata there is an accepted definition of reversibility, the situation is less clear for asynchronous cellular automata. We first discuss a few possibilities and then investigate what we call…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Simon Wacker , Thomas Worsch

Quantum cellular automata are alternative quantum-computing paradigms to quantum Turing machines and quantum circuits. Their working mechanisms are inherently automated, therefore measurement free, and they act in a translation invariant…

Quantum Physics · Physics 2025-07-28 Thiago L. M. Guedes , Don Winter , Markus Müller

We provide algebraic criteria for the unitarity of linear quantum cellular automata, i.e. one dimensional quantum cellular automata. We derive these both by direct combinatorial arguments, and by adding constraints into the model which do…

Quantum Physics · Physics 2017-08-29 Pablo Arrighi

The model of cellular automata is fascinating because very simple local rules can generate complex global behaviors. The relationship between local and global function is subject of many studies. We tackle this question by using results on…

Computational Complexity · Computer Science 2009-09-29 Christoph Durr , Ivan Rapaport , Guillaume Theyssier

Cellular automata are a fundamental computational model with applications in mathematics, computer science, and physics. In this work, we explore the study of cellular automata to cases where the universe is a group, introducing the concept…

Group Theory · Mathematics 2025-02-27 Tawfiq Hamed , Mohammad Saleh

The paper puts into discussion the concept of universality, in particular for structures not of the power of Turing computability. The question arises if for such structures a universal structure of the same kind exists or not. For that the…

Computational Complexity · Computer Science 2009-06-23 Manfred Kudlek

Cellular automata are a set of computational models in discrete space that have a discrete time evolution defined by neighbourhood rules. They are used to simulate many complex systems in physics and science in general. In this work,…

Cellular Automata and Lattice Gases · Physics 2023-05-12 Luca Bertolani , Andrea Idini

The goal of this paper is to show why the framework of communication complexity seems suitable for the study of cellular automata. Researchers have tackled different algorithmic problems ranging from the complexity of predicting to the…

Computational Complexity · Computer Science 2009-06-22 Eric Goles , Pierre-Etienne Meunier , Ivan Rapaport , Guillaume Theyssier

We extend the usual definition of cellular automaton on a group in order to deal with a new kind of cellular automata, like cellular automata in the hyperbolic plane and we explore some properties of these cellular automata. This definition…

Dynamical Systems · Mathematics 2011-05-27 Sébastien Moriceau

Cellular automata have long been celebrated for their ability to generate complex behaviors from simple, local rules, with well-known discrete models like Conway's Game of Life proven capable of universal computation. Recent advancements…

Machine Learning · Computer Science 2025-05-22 Gabriel Béna , Maxence Faldor , Dan F. M. Goodman , Antoine Cully

This short survey of recent work in tile self-assembly discusses the use of simulation to classify and separate the computational and expressive power of self-assembly models. The journey begins with the result that there is a single…

Computational Geometry · Computer Science 2013-09-06 Damien Woods

The complexity of cellular automata is traditionally measured by their computational capacity. However, it is difficult to choose a challenging set of computational tasks suitable for the parallel nature of such systems. We study the…

Neural and Evolutionary Computing · Computer Science 2021-08-03 Barbora Hudcová , Tomáš Mikolov

We define the notion of stochastic stability, already present in the literature in the context of smooth dynamical systems, for invariant measures of cellular automata perturbed by a random noise, and the notion of strongly stochastically…

Probability · Mathematics 2024-04-01 Hugo Marsan , Mathieu Sablik

Studies of quantum computer implementations suggest cellular quantum computer architectures. These architectures can simulate the evolution of quantum cellular automata, which can possibly simulate both quantum and classical physical…

Quantum Physics · Physics 2008-11-04 Ioannis G. Karafyllidis

We provide an introduction to Quantum Cellular Automata.

Quantum Physics · Physics 2007-05-23 B. Aoun , M. Tarifi

Cellular Automata (CA), as they are presented in the literature, are abstract mathematical models of computation. In this pa- per we present an alternate approach: using the CA as a model or theory of physical systems and devices. While…

Discrete Mathematics · Computer Science 2008-09-11 Donny Cheung , Carlos A. Perez-Delgado