English
Related papers

Related papers: Cost-efficient QFA Algorithm for Quantum Computers

200 papers

We present an asymptotically improved algorithm for implementing the Quantum Fourier Transform (QFT) in both the exact and approximate settings. Historically, the approximate QFT has been implemented in $\Theta(n \log n)$ gates, and the…

Quantum Physics · Physics 2025-02-11 Ronit Shah

"Quantitative languages are extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of the…

Logic in Computer Science · Computer Science 2012-05-20 Yaron Velner

In this study, the Quantum-Train Quantum Fast Weight Programmer (QT-QFWP) framework is proposed, which facilitates the efficient and scalable programming of variational quantum circuits (VQCs) by leveraging quantum-driven parameter updates…

Quantum Physics · Physics 2024-12-03 Chen-Yu Liu , Samuel Yen-Chi Chen , Kuan-Cheng Chen , Wei-Jia Huang , Yen-Jui Chang

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In…

Formal Languages and Automata Theory · Computer Science 2016-06-29 Tomoyuki Yamakami

This paper discusses the compilation, optimization, and error mitigation of quantum algorithms, essential steps to execute real-world quantum algorithms. Quantum algorithms running on a hybrid platform with QPU and CPU/GPU take advantage of…

Quantum Physics · Physics 2025-06-23 Shuangbao Paul Wang , Jianzhou Mao , Eric Sakk

Quantum finite automata were introduced by C.Moore, J.P. Crutchfield, and by A.Kondacs and J.Watrous. This notion is not a generalization of the deterministic finite automata. Moreover, it was proved that not all regular languages can be…

Quantum Physics · Physics 2011-06-14 Andris Ambainis , Richard Bonner , Rusins Freivalds , Marats Golovkins , Marek Karpinski

In this study, we propose the Quantum Gradient Flow Algorithm (QGFA), a novel quantum algorithm for solving symmetric positive definite (SPD) linear systems based on the variational formulation and time-evolution dynamics. Conventional…

Quantum Physics · Physics 2026-02-06 Yuto Lewis Terashima , Tadashi Kadowaki , Yohichi Suzuki , Katsuhiro Endo

Quantum fingerprinting is a technique that maps classical input word to a quantum state. The obtained quantum state is much shorter than the original word, and its processing uses less resources, making it useful in quantum algorithms,…

Quantum Physics · Physics 2025-05-20 Mansur Ziiatdinov , Aliya Khadieva , Kamil Khadiev

In this paper we explore the power of AM for the case that verifiers are {\em two-way finite automata with quantum and classical states} (2QCFA)--introduced by Ambainis and Watrous in 2002--and the communications are classical. It is of…

Computational Complexity · Computer Science 2015-05-05 Shenggen Zheng , Daowen Qiu , Jozef Gruska

We present new results on realtime alternating, private alternating, and quantum alternating automaton models. Firstly, we show that the emptiness problem for alternating one-counter automata on unary alphabets is undecidable. Then, we…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Gökalp Demirci , Mika Hirvensalo , Klaus Reinhardt , A. C. Cem Say , Abuzer Yakaryılmaz

Quantum computing can enable a variety of breakthroughs in research and industry in the future. Although some quantum algorithms already exist that show a theoretical speedup compared to the best known classical algorithms, the…

Quantum Physics · Physics 2020-12-14 Marie Salm , Johanna Barzen , Uwe Breitenbücher , Frank Leymann , Benjamin Weder , Karoline Wild

Quantum principal component analysis (QPCA) ignited a new development toward quantum machine learning algorithms. Initially showcasing as an active way for analyzing a quantum system using the quantum state itself, QPCA also found potential…

Quantum Physics · Physics 2025-01-15 Nhat A. Nghiem

Quantum computers hold promise for solving problems intractable for classical computers, especially those with high time or space complexity. Practical quantum advantage can be said to exist for such problems when the end-to-end time for…

Quantum Physics · Physics 2025-09-22 Parikshit Pareek , Abhijith Jayakumar , Carleton Coffrin , Sidhant Misra

In this paper, we focus on determining the equivalence for {\it 1-way quantum finite automata with control language} (CL-1QFAs) defined by Bertoni et al and {\it measure-many 1-way quantum finite automata} (MM-1QFAs) introduced by Kondacs…

Quantum Physics · Physics 2007-05-23 Lvzhou Li , Daowen Qiu

In this paper we present a systematic view of Quantum Cellular Automata (QCA), a mathematical formalism of quantum computation. First we give a general mathematical framework with which to study QCA models. Then we present four different…

Quantum Physics · Physics 2007-05-23 Carlos A. Perez-Delgado , Donny Cheung

Stochastic languages are the languages recognized by probabilistic finite automata (PFAs) with cutpoint over the field of real numbers. More general computational models over the same field such as generalized finite automata (GFAs) and…

Formal Languages and Automata Theory · Computer Science 2014-12-23 Arseny M. Shur , Abuzer Yakaryilmaz

Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean $\omega$-automata. Despite…

Formal Languages and Automata Theory · Computer Science 2025-01-28 Marek Chalupa , Thomas A. Henzinger , Nicolas Mazzocchi , N. Ege Saraç

The quantum Fourier transform (QFT) brings efficiency in many respects, especially usage of resource, for most operations on quantum computers. In this study, the existing QFT-based and non-QFT-based quantum arithmetic operations are…

Information Theory · Computer Science 2020-10-09 Engin Şahin

We present a representation for linguistic structure that we call a Fock-space representation, which allows us to embed problems in language processing into small quantum devices. We further develop a formalism for understanding both…

Quantum Physics · Physics 2019-02-15 Nathan Wiebe , Alex Bocharov , Paul Smolensky , Matthias Troyer , Krysta M Svore

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…

Formal Languages and Automata Theory · Computer Science 2014-11-26 Jozef Gruska , Daowen Qiu , Shenggen Zheng