References & Citations
Quantum Physics
Title: A decision procedure for unitary linear quantum cellular automata
(Submitted on 9 Apr 1996 (v1), last revised 21 Jun 1999 (this version, v5))
Abstract: Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quantum machine: it has to be unitary, that is its time evolution operator has to be a unitary transformation. In this paper we give an efficient algorithm to decide if a linear quantum cellular automaton is unitary. The complexity of the algorithm is O(n^((3r-1)/(r+1))) = O(n^3) in the algebraic computational model if the automaton has a continuous neighborhood of size r, where $n$ is the size of the input.
Submission history
From: Christophe Durr [view email][v1] Tue, 9 Apr 1996 17:05:26 GMT (14kb)
[v2] Fri, 12 Jul 1996 16:22:15 GMT (0kb,I)
[v3] Mon, 28 Oct 1996 12:16:34 GMT (0kb,I)
[v4] Tue, 11 Nov 1997 19:57:45 GMT (0kb,I)
[v5] Mon, 21 Jun 1999 14:02:52 GMT (18kb)
Link back to: arXiv, form interface, contact.