Showing 1–1 of 1 results for author: LeThanh, H

A decision procedure for well-formed linear quantum cellular automata

Authors: Christoph Durr, Huong LeThanh, Miklos Santha

Abstract: In this paper we introduce a new quantum computation model, the linear quantum cellular automaton. Well-formedness is an essential property for any quantum computing device since it enables us to define the probability of a configuration in an observation as the squared magnitude of its amplitude. We give an efficient algorithm which decides if a linear quantum cellular automaton is well-formed.… ▽ More In this paper we introduce a new quantum computation model, the linear quantum cellular automaton. Well-formedness is an essential property for any quantum computing device since it enables us to define the probability of a configuration in an observation as the squared magnitude of its amplitude. We give an efficient algorithm which decides if a linear quantum cellular automaton is well-formed. The complexity of the algorithm is $O(n^2)$ in the algebraic model of computation if the input automaton has continuous neighborhood. △ Less

Submitted 27 October, 2000; v1 submitted 23 June, 1999; originally announced June 1999.

ACM Class: F.1.1; F.2.1

Journal ref: Random Structures and Algorithms 11, 381-394, 1997