Quantum cellular automata without quiescent states

Robert J. Irwin, Howard A. Blair

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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
DOIs
StatePublished - Jul 21 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
Volume8057
ISSN (Print)0277-786X

Other

OtherQuantum Information and Computation IX
CountryUnited States
CityOrlando, FL
Period4/28/114/29/11

ASJC Scopus subject areas

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

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

  • Cite this

    Irwin, R. J., & Blair, H. A. (2011). Quantum cellular automata without quiescent states. In Quantum Information and Computation IX [80570M] (Proceedings of SPIE - The International Society for Optical Engineering; Vol. 8057). https://doi.org/10.1117/12.884182