Some formal tools for analyzing quantum automata

https://doi.org/10.1016/j.tcs.2006.01.042Get rights and content
Under an Elsevier user license
open archive

Abstract

Results in the area of compact monoids and groups are useful in the analysis of quantum automata (1qfa's). In this paper:

  • (1)

    We settle isolated cut point Rabin's theorem in the context of compact monoids, and we prove a lower bound on the state complexity of 1qfa's accepting regular languages.

  • (2)

    We use a method pointed out by Blondel et al. [Decidable and undecidable problems about quantum automata, Technical Report RR2003-24, LIP, ENS Lyon, 2003] based on compact groups theory to design an algorithm for testing whether a k-tuple of 1qfa's is a classifier of words in Σ*; this problem turns out to be undecidable if the completeness of the classifier is required.

  • (3)

    In the unary case, we give an exponential time algorithm for computing the descriptional complexity of periodic languages. Moreover, we present a probabilistic method to construct 1qfa's exponentially succinct in the period and polynomially succinct in the inverse of the bounded error.

Keywords

Quantum automata

Cited by (0)

Partially supported by M.I.U.R. COFIN, under the projects “Linguaggi formali e automi: metodi, modelli e applicazioni”, and “FIRB: Complessità descrizionale di automi e strutture correlate”. Some results in this paper were presented in a preliminary form at the Seventh International Workshop on Descriptional Complexity of Formal Systems (DCFS05), Como, Italy, 2005.