English
Related papers

Related papers: Probabilistic and quantum finite automata with pos…

200 papers

Given a Probabilistic Finite Automata (PFA), a set of states S, and an error threshold e > 0, our algorithm approximates the infimum probability (quantifying over all infinite words) that the automata reaches S. Our result contrasts with…

Logic in Computer Science · Computer Science 2010-09-21 Sergio Giro

In this note, we present an infinite family of promise problems which can be solved exactly by just tuning transition amplitudes of a two-state quantum finite automata operating in realtime mode, whereas the size of the corresponding…

Computational Complexity · Computer Science 2014-01-29 Andris Ambainis , Abuzer Yakaryilmaz

Variational quantum algorithms (VQAs), as one of the most promising routes in the noisy intermediate-scale quantum (NISQ) era, offer various potential applications while also confront severe challenges due to near-term quantum hardware…

Quantum Physics · Physics 2024-12-12 Shi-Xin Zhang , Jiaqi Miao , Chang-Yu Hsieh

The main goal of this paper is to give a rigorous mathematical description of systems for processing quantum information. To do it authors consider abstract state machines as models of classical computational systems. This class of machines…

Computational Complexity · Computer Science 2012-06-12 Mizal Alobaidi , Andriy Batyiv , Grygoriy Zholtkevych

Quantum computers promise improving machine learning. We investigated the performance of new quantum neural network designs. Quantum neural networks currently employed rely on a feature map to encode the input into a quantum state. This…

Quantum Physics · Physics 2022-03-16 Felix Petitzon

Quantum neural networks have been widely studied in recent years, given their potential practical utility and recent results regarding their ability to efficiently express certain classical data. However, analytic results to date rely on…

Quantum Physics · Physics 2023-06-13 Eric R. Anschuetz , Hong-Ye Hu , Jin-Long Huang , Xun Gao

To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free…

Quantum Physics · Physics 2009-09-25 Cristopher Moore , James P. Crutchfield

Demonstrating quantum advantage in machine learning tasks requires navigating a complex landscape of proposed models and algorithms. To bring clarity to this search, we introduce a framework that connects the structure of parametrized…

Quantum Physics · Physics 2025-12-23 Sergi Masot-Llima , Elies Gil-Fuster , Carlos Bravo-Prieto , Jens Eisert , Tommaso Guaita

We propose a new application of quantum computing to the field of natural language processing. Ongoing work in this field attempts to incorporate grammatical structure into algorithms that compute meaning. In (Coecke, Sadrzadeh and Clark,…

Computation and Language · Computer Science 2016-08-05 William Zeng , Bob Coecke

Every language recognized by a non-deterministic finite automaton can be recognized by a deterministic automaton, at the cost of a potential increase of the number of states, which in the worst case can go from $n$ states to $2^n$ states.…

Formal Languages and Automata Theory · Computer Science 2025-02-05 Arnaud Carayol , Philippe Duchon , Florent Koechlin , Cyril Nicaud

We introduce a new class of automata on infinite trees called \emph{alternating nonzero automata}, which extends the class of non-deterministic nonzero automata. We reduce the emptiness problem for alternating nonzero automata to the same…

Logic in Computer Science · Computer Science 2018-02-13 Paulin Fournier , Hugo Gimbert

An expression is proposed for the quantum mechanical state of a pre- and post-selected ensemble, which is an ensemble determined by the final as well as the initial state of the quantum systems involved. It is shown that the probabilities…

Quantum Physics · Physics 2009-11-13 D. J. Miller

In this note, we generalize the results of arXiv:0901.2703v1 We show that all one-way quantum finite automaton (QFA) models that are at least as general as Kondacs-Watrous QFA's are equivalent in power to classical probabilistic finite…

Computational Complexity · Computer Science 2010-09-20 Abuzer Yakaryilmaz , A. C. Cem Say

We introduce a hybrid quantum-classical deep learning architecture for large language model fine-tuning. The classical portion of the architecture is a sentence transformer that is powerful enough to display significant accuracy for complex…

Quantum Physics · Physics 2025-04-14 Sang Hyub Kim , Jonathan Mei , Claudio Girotto , Masako Yamada , Martin Roetteler

We study the performance of classical and quantum machine learning (ML) models in predicting outcomes of physical experiments. The experiments depend on an input parameter $x$ and involve execution of a (possibly unknown) quantum process…

Quantum Physics · Physics 2021-05-19 Hsin-Yuan Huang , Richard Kueng , John Preskill

Usually, probabilistic automata and probabilistic grammars have crisp symbols as inputs, which can be viewed as the formal models of computing with values. In this paper, we first introduce probabilistic automata and probabilistic grammars…

Artificial Intelligence · Computer Science 2007-05-23 Yongzhi Cao , Lirong Xia , Mingsheng Ying

After the first treatments of quantum finite state automata by Moore and Crutchfield and by Kondacs and Watrous, a number of papers study the power of quantum finite state automata and their variants. This paper introduces a model of…

Computational Complexity · Computer Science 2007-05-23 Tomohiro Yamasaki , Hirotada Kobayashi , Hiroshi Imai

In the Quantum Supremacy regime, quantum computers may overcome classical machines on several tasks if we can estimate, mitigate, or correct unavoidable hardware noise. Estimating the error requires classical simulations, which become…

Quantum Physics · Physics 2025-04-10 Nicolo Colombo

We explore language semantics for automata combining probabilistic and nondeterministic behavior. We first show that there are precisely two natural semantics for probabilistic automata with nondeterminism. For both choices, we show that…

Formal Languages and Automata Theory · Computer Science 2018-05-30 Gerco van Heerdt , Justin Hsu , Joël Ouaknine , Alexandra Silva

Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word can be defined in different ways: by requiring…

Formal Languages and Automata Theory · Computer Science 2009-07-29 Christel Baier , Nathalie Bertrand , Marcus Größer