3 June 2011 Quantum cellular automata without quiescent states
Author Affiliations +
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
Back to Top