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 $17.00 $21.00

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
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?