Share Email Print

Proceedings Paper

Quantum cellular automata without quiescent states
Author(s): Robert J. Irwin; Howard A. Blair
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 3 June 2011
PDF: 6 pages
Proc. SPIE 8057, Quantum Information and Computation IX, 80570M (3 June 2011); doi: 10.1117/12.884182
Show Author Affiliations
Robert J. Irwin, Syracuse Univ. (United States)
Howard A. Blair, Syracuse Univ. (United States)

Published in SPIE Proceedings Vol. 8057:
Quantum Information and Computation IX
Eric Donkor; Andrew R. Pirich; Howard E. Brandt, Editor(s)

© SPIE. Terms of Use
Back to Top