Given a class {pα|α∈I} of stochastic events induced by M-state 1-way quantum finite automata (1qfa) on alphabet Σ, we investigate the size (number of states) of 1qfa's that δ-approximate a convex linear combination of {pα|α∈I}, and we apply the results to the synthesis of small size 1qfa's. We obtain:An O((Md/δ3)log2(d/δ2)) general size bound, where d is the Vapnik dimension of {pα(w) |w∈Σ*}.For commutative n-periodic events p on Σ with |Σ|=H, we prove an O((Hlogn/δ2)) size bound for inducing a δ-approximation of 12+12p whenever ∥F(p̂)∥1≤nH, where F(p̂) is the discrete Fourier transform of (the vector p̂ associated with) p.If the characteristic function χL of an n-periodic unary language L satisfies ∥F(χL̂))∥1≤n, then L is recognized with isolated cut-point by a 1qfa with O(logn) states. Vice versa, if L is recognized with isolated cut-point by a 1qfa with O(logn) state, then ∥F(χL̂)) ∥1=O(nlogn).

Small size quantum automata recognizing some regular languages / A. Bertoni, C. Mereghetti, B.S. Palano. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 340:2(2005), pp. 394-407.

Small size quantum automata recognizing some regular languages

A. Bertoni
Primo
;
C. Mereghetti
Secondo
;
B.S. Palano
Ultimo
2005

Abstract

Given a class {pα|α∈I} of stochastic events induced by M-state 1-way quantum finite automata (1qfa) on alphabet Σ, we investigate the size (number of states) of 1qfa's that δ-approximate a convex linear combination of {pα|α∈I}, and we apply the results to the synthesis of small size 1qfa's. We obtain:An O((Md/δ3)log2(d/δ2)) general size bound, where d is the Vapnik dimension of {pα(w) |w∈Σ*}.For commutative n-periodic events p on Σ with |Σ|=H, we prove an O((Hlogn/δ2)) size bound for inducing a δ-approximation of 12+12p whenever ∥F(p̂)∥1≤nH, where F(p̂) is the discrete Fourier transform of (the vector p̂ associated with) p.If the characteristic function χL of an n-periodic unary language L satisfies ∥F(χL̂))∥1≤n, then L is recognized with isolated cut-point by a 1qfa with O(logn) states. Vice versa, if L is recognized with isolated cut-point by a 1qfa with O(logn) state, then ∥F(χL̂)) ∥1=O(nlogn).
Stochastic events; quantum automata
Settore INF/01 - Informatica
2005
Article (author)
File in questo prodotto:
File Dimensione Formato  
pubblicato.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 248.19 kB
Formato Adobe PDF
248.19 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/4622
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 27
  • ???jsp.display-item.citation.isi??? 19
  • OpenAlex ND
social impact