English
Related papers

Related papers: Quantum finite automata: A modern introduction

200 papers

We introduce a quantum cellular automaton that achieves approximate phase-covariant cloning of qubits. The automaton is optimized for 1-to-2N economical cloning. The use of the automaton for cloning allows us to exploit different foliations…

Quantum Physics · Physics 2013-04-03 G. M. D'Ariano , C. Macchiavello , M. Rossi

We introduce a novel framework for simulating finite automata using representation-theoretic semidirect products and Fourier modules, achieving more efficient Transformer-based implementations.

Formal Languages and Automata Theory · Computer Science 2025-05-13 Tiantian Zhang

Generative modeling has seen a rising interest in both classical and quantum machine learning, and it represents a promising candidate to obtain a practical quantum advantage in the near term. In this study, we build over a proposed…

Quantum Physics · Physics 2025-07-31 Mohamed Hibat-Allah , Marta Mauri , Juan Carrasquilla , Alejandro Perdomo-Ortiz

This article first gives a concise introduction to quantum phase transitions, emphasizing similarities with and differences to classical thermal transitions. After pointing out the computational challenges posed by quantum phase…

Statistical Mechanics · Physics 2008-12-18 Thomas Vojta

The field of quantum algorithms aims to find ways to speed up the solution of computational problems by using a quantum computer. A key milestone in this field will be when a universal quantum computer performs a computational task that is…

Quantum Physics · Physics 2018-09-21 Aram W Harrow , Ashley Montanaro

Identifying and extracting the past information relevant to the future behaviour of stochastic processes is a central task in the quantitative sciences. Quantum models offer a promising approach to this, allowing for accurate simulation of…

Quantum Physics · Physics 2019-06-26 Qing Liu , Thomas. J. Elliott , Felix. C. Binder , Carlo Di Franco , Mile Gu

We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). We show that this class enjoys good complexity properties while preserving the succinctness of nondeterministic…

Formal Languages and Automata Theory · Computer Science 2015-09-23 Florent Avellaneda , Silvano Dal Zilio , Jean-Baptiste Raclet

A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary…

Quantum Physics · Physics 2016-06-17 Timothy Rambo , Joseph Altepeter , Giacomo Mauro D'Ariano , Prem Kumar

Recent advancements in quantum computing have positioned it as a prospective solution for tackling intricate computational challenges, with supervised learning emerging as a promising domain for its application. Despite this potential, the…

Machine Learning · Computer Science 2024-07-25 Antonio Macaluso

Deciding formulas mixing arithmetic and uninterpreted predicates is of practical interest, notably for applications in verification. Some decision procedures consist in building by structural induction an automaton that recognizes the set…

Logic in Computer Science · Computer Science 2023-06-08 Bernard Boigelot , Pascal Fontaine , Baptiste Vergain

This review gives a survey of numerical algorithms and software to simulate quantum computers.It covers the basic concepts of quantum computation and quantum algorithms and includes a few examples that illustrate the use of simulation…

Quantum Physics · Physics 2007-05-23 H. De Raedt , K. Michielsen

We discuss a model for quantum computing with initially mixed states. Although such a computer is known to be less powerful than a quantum computer operating with pure (entangled) states, it may efficiently solve some problems for which no…

Quantum Physics · Physics 2015-03-17 Michael Siomau , Stephan Fritzsche

There have been several non-axiomatic approaches taken to define Quantum Cellular Automata (QCA). Partitioned QCA (PQCA) are the most canonical of these non-axiomatic definitions. In this work we first show that any QCA can be put into the…

Quantum Physics · Physics 2010-10-14 Pablo Arrighi , Jonathan Grattage

We discuss quantum information processing machines. We start with single purpose machines that either redistribute quantum information or identify quantum states. We then move on to machines that can perform a number of functions, with the…

Quantum Physics · Physics 2015-05-13 Mark Hillery , Vladimir Buzek

Quantum computers use quantum mechanical phenomena to perform conventionally intractable calculations for specific problems. Despite being universal machines, quantum computers are not expected to replace classical computers, but rather, to…

Emerging Technologies · Computer Science 2025-07-08 Philip Döbler , Manpreet Singh Jattana

Many problems of industrial interest are NP-complete, and quickly exhaust resources of computational devices with increasing input sizes. Quantum annealers (QA) are physical devices that aim at this class of problems by exploiting quantum…

Complementation of finite automata is a basic operation used in numerous applications. The standard way to complement a nondeterministic finite automaton (NFA) is to transform it into an equivalent deterministic finite automaton (DFA) and…

Formal Languages and Automata Theory · Computer Science 2025-07-16 Lukáš Holík , Ondřej Lengál , Juraj Major , Adéla Štěpková , Jan Strejček

We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate the increase in power, in terms of language recognition, of a…

Computational Complexity · Computer Science 2007-05-23 M. V. Panduranga Rao

Machine learning is a fascinating and exciting field within computer science. Recently, this excitement has been transferred to the quantum information realm. Currently, all proposals for the quantum version of machine learning utilize the…

Quantum Physics · Physics 2017-02-28 Hoi-Kwan Lau , Raphael Pooser , George Siopsis , Christian Weedbrook

Practical challenges in simulating quantum systems on classical computers have been widely recognized in the quantum physics and quantum chemistry communities over the past century. Although many approximation methods have been introduced,…