5 research outputs found
An Application of Quantum Finite Automata to Interactive Proof Systems
Quantum finite automata have been studied intensively since their
introduction in late 1990s as a natural model of a quantum computer with
finite-dimensional quantum memory space. This paper seeks their direct
application to interactive proof systems in which a mighty quantum prover
communicates with a quantum-automaton verifier through a common communication
cell. Our quantum interactive proof systems are juxtaposed to
Dwork-Stockmeyer's classical interactive proof systems whose verifiers are
two-way probabilistic automata. We demonstrate strengths and weaknesses of our
systems and further study how various restrictions on the behaviors of
quantum-automaton verifiers affect the power of quantum interactive proof
systems.Comment: This is an extended version of the conference paper in the
Proceedings of the 9th International Conference on Implementation and
Application of Automata, Lecture Notes in Computer Science, Springer-Verlag,
Kingston, Canada, July 22-24, 200
On the Power of Finite Automata with Both Nondeterministic and Probabilistic States
We study finite automata with both nondeterministic and random states (npfa’s). We restrict our attention to those npfa’s that accept their languages with a small probability of error and run in polynomial expected time. Equivalently, we study Arthur-Merlin games where Arthur is limited to polynomial time and constant space. Dwork and Stockmeyer asked whether these npfa’s accept only the regular languages (this was known if the automaton has only randomness or only nondeterminism). We show that the answer is yes in the case of npfa’s with a 1-way input head. We also show that if L is a nonregular language, then either L or ¯ L is not accepted by any npfa with a 2-way input head. Toward this end, we define a new measure of the complexity of a language L, called its 1-tiling complexity. For each n, this is the number of tiles needed to cover the 1’s in the “characteristic matrix ” of L, namely the binary matrix with a row and column for each string of length ≤ n, where entry [x, y] = 1 if and only if the string xy ∈ L. We show that a language has constant 1-tiling complexity if and only if it is regular, from which the resul