Computer Science > Discrete Mathematics
[Submitted on 9 Dec 2009 (this version), latest version 16 Sep 2010 (v4)]
Title:Communication Complexity and Intrinsic Universality in Cellular Automata
View PDFAbstract: Let F be a cellular automaton (CA). This paper establishes necessary conditions for F in order to be intrinsically universal. The central idea is to consider the communication complexity of various ``canonical problems'' related to the dynamics of F. We show that the intrinsic universality of F implies high communication complexity for each of the canonical problems. This result allows us to rule out many CAs from being intrinsically universal: The linear CAs, the expansive CAs, the reversible CAs and the elementary CAs 218, 33 and 94. Our communicational approach provides a finer tool than the one given by classical computational complexity analysis. In fact, we prove that for two of the canonical problems there exists a CA for which the computational complexity is maximal (P-complete, or Pi_1-complete) while the corresponding communication complexity is rather low. We also show the orthogonality of the problems. More precisely, for any pair of problems there exists a CA with low communication complexity for one but high communication complexity for the other.
Submission history
From: Guillaume Theyssier [view email] [via CCSD proxy][v1] Wed, 9 Dec 2009 15:53:24 UTC (133 KB)
[v2] Mon, 1 Feb 2010 14:48:05 UTC (109 KB)
[v3] Wed, 15 Sep 2010 09:02:49 UTC (217 KB)
[v4] Thu, 16 Sep 2010 07:23:06 UTC (106 KB)
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.