Efficient probability amplification in two-way quantum finite automata

  • Authors:
  • Abuzer Yakarylmaz;A.C. Cem Say

  • Affiliations:
  • Boaziçi University, Department of Computer Engineering, Bebek 34342 stanbul, Turkey;Boaziçi University, Department of Computer Engineering, Bebek 34342 stanbul, Turkey

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 5.23

Visualization

Abstract

In classical computation, one only needs to sequence O(log1@e) identical copies of a given probabilistic automaton with one-sided error p0}, Kondacs and Watrous use a different probability amplification method, which yields machines with O((1@e)^2) states, and with runtime O(1@e|w|), where w is the input string. In this paper, we examine significantly more efficient techniques of probability amplification. One of our methods produces machines which decide L in O(|w|) time (i.e. the running time does not depend on the error bound) and which have O((1@e)^2^c) states for any given constant c1. Other methods, yielding machines whose state complexities are polylogarithmic in 1@e, including one which halts in o(log(1@e)|w|) time, are also presented.