7 research outputs found
From Quantum Query Complexity to State Complexity
State complexity of quantum finite automata is one of the interesting topics
in studying the power of quantum finite automata. It is therefore of importance
to develop general methods how to show state succinctness results for quantum
finite automata. One such method is presented and demonstrated in this paper.
In particular, we show that state succinctness results can be derived out of
query complexity results.Comment: Some typos in references were fixed. To appear in Gruska Festschrift
(2014). Comments are welcome. arXiv admin note: substantial text overlap with
arXiv:1402.7254, arXiv:1309.773
Potential of quantum finite automata with exact acceptance
The potential of the exact quantum information processing is an interesting,
important and intriguing issue. For examples, it has been believed that quantum
tools can provide significant, that is larger than polynomial, advantages in
the case of exact quantum computation only, or mainly, for problems with very
special structures. We will show that this is not the case.
In this paper the potential of quantum finite automata producing outcomes not
only with a (high) probability, but with certainty (so called exactly) is
explored in the context of their uses for solving promise problems and with
respect to the size of automata. It is shown that for solving particular
classes of promise problems, even those without some
very special structure, that succinctness of the exact quantum finite automata
under consideration, with respect to the number of (basis) states, can be very
small (and constant) though it grows proportional to in the case
deterministic finite automata (DFAs) of the same power are used. This is here
demonstrated also for the case that the component languages of the promise
problems solvable by DFAs are non-regular. The method used can be applied in
finding more exact quantum finite automata or quantum algorithms for other
promise problems.Comment: We have improved the presentation of the paper. Accepted to
International Journal of Foundation of Computer Scienc
Lifting query complexity to time-space complexity for two-way finite automata
Time-space tradeoff has been studied in a variety of models, such as Turing
machines, branching programs, and finite automata, etc. While communication
complexity as a technique has been applied to study finite automata, it seems
it has not been used to study time-space tradeoffs of finite automata. We
design a new technique showing that separations of query complexity can be
lifted, via communication complexity, to separations of time-space complexity
of two-way finite automata. As an application, one of our main results exhibits
the first example of a language such that the time-space complexity of
two-way probabilistic finite automata with a bounded error (2PFA) is
, while of exact two-way quantum finite automata with
classical states (2QCFA) is , that is, we demonstrate
for the first time that exact quantum computing has an advantage in time-space
complexity comparing to classical computing