Quantum cellular automata without quiescent states

Robert J. Irwin, Howard A. Blair

Research output: Chapter in Book/Entry/PoemConference contribution


We show how to construct quantum cellular automata (QCA) based on the formalism introduced by Watrous but without that formalism's "quiescent states," by using shift-invariant Lebesgue measure on Cantor space. Although QCA's with quiescent states are strictly sufficient for computational purposes, removing quiescent states as a requirement allows global QCA states with infinite support that allows the state space of the QCA to be identified with the class of interpretations of logic-based formalism in a formal methods approach to proving the correctness correctness of QCAs with respect to formal specifications.

Original languageEnglish (US)
Title of host publicationQuantum Information and Computation IX
StatePublished - 2011
EventQuantum Information and Computation IX - Orlando, FL, United States
Duration: Apr 28 2011Apr 29 2011

Publication series

NameProceedings of SPIE - The International Society for Optical Engineering
ISSN (Print)0277-786X


OtherQuantum Information and Computation IX
Country/TerritoryUnited States
CityOrlando, FL

ASJC Scopus subject areas

  • Electronic, Optical and Magnetic Materials
  • Condensed Matter Physics
  • Computer Science Applications
  • Applied Mathematics
  • Electrical and Electronic Engineering


Dive into the research topics of 'Quantum cellular automata without quiescent states'. Together they form a unique fingerprint.

Cite this