Space-bounded quantum complexity

This paper investigates the computational power of space-bounded quantum Turing machines. The following facts are proved for space-constructible space bounds s satisfying s(n) = Ohm(log n): 1. Any quantum Turing machine (QTM) running in space s can be simulated by an unbounded error probabilistic Turing machine (PTM) running in space O(s). No assumptions on the probability of error or running time for the QTM are required, although it is assumed that all transition amplitudes of the QTM are rational. 2. Any PTM that runs in space s and halts absolutely (i.e., has finite worst-case running time) can be simulated by a QTM running in space O(s). If the PTM operates with bounded error, then the QTM may be taken to operate with bounded error as well, although the QTM may not halt absolutely in this case. In the case of unbounded error, the QTM may be taken to halt absolutely. We therefore have that unbounded error, space O(s) bounded quantum Turing machines and probabilistic Turing machines are equivalent in power and, furthermore, that any QTM running in space s call be simulated deterministically in NC2(2(s)) subset of or equal to DSPACE(s(2)) boolean AND DTIME(2(O(s))). We also consider quantum analogues of nondeterministic and one-sided error probabilistic space-bounded classes and prove some simple facts regarding these classes. (C) 1999 Academic Press.