Communication complexity and intrinsic universality in cellular automata

The notions of universality and completeness are central in the theories of computation and computational complexity. However, proving lower bounds and necessary conditions remains hard in most cases. In this article, we introduce necessary conditions for a cellular automaton to be “universal”, acco...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2011, Vol.412 (1), p.2-21
Main Authors: Goles, E., Meunier, P.-E., Rapaport, I., Theyssier, G.
Format: Article
Language:English
Subjects:
C (programming language)
Cellular automata
Communication complexity
Complexity
Computation
Computer simulation
Construction
Dynamic tests
Dynamics
Intrinsic universality
Rescaling
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The notions of universality and completeness are central in the theories of computation and computational complexity. However, proving lower bounds and necessary conditions remains hard in most cases. In this article, we introduce necessary conditions for a cellular automaton to be “universal”, according to a precise notion of simulation, related both to the dynamics of cellular automata and to their computational power. This notion of simulation relies on simple operations of space–time rescaling and it is intrinsic to the model of cellular automata. Intrinsic universality, the derived notion, is stronger than Turing universality, but more uniform, and easier to define and study. Our approach builds upon the notion of communication complexity, which was primarily designed to study parallel programs, and thus is, as we show in this article, particulary well suited to the study of cellular automata: it allowed us to show, by studying natural problems on the dynamics of cellular automata, that several classes of cellular automata, as well as many natural ( elementary) examples, were not intrinsically universal.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2010.10.005