3 June 2011 Quantum cellular automata without quiescent states
Author Affiliations +
Proceedings Volume 8057, Quantum Information and Computation IX; 80570M (2011); doi: 10.1117/12.884182
Event: SPIE Defense, Security, and Sensing, 2011, Orlando, Florida, United States
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.
© (2011) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Robert J. Irwin, Howard A. Blair, "Quantum cellular automata without quiescent states", Proc. SPIE 8057, Quantum Information and Computation IX, 80570M (3 June 2011); doi: 10.1117/12.884182; https://doi.org/10.1117/12.884182
PROCEEDINGS
6 PAGES


SHARE
KEYWORDS
Space operations

Quantum computing

Logic

Vector spaces

Quantum communications

Quantum information

Time metrology

Back to Top