English
Related papers

Related papers: Quantum Pushdown Automata with a Garbage Tape

200 papers

Quantum hardware has the potential to efficiently solve computationally difficult problems in physics and chemistry to reap enormous practical rewards. Analogue quantum simulation accomplishes this by using the dynamics of a controlled…

Quantum machine learning is one of the fields where quantum computers are expected to bring advantages over classical methods. However, the limited size of current computers restricts the exploitation of the full potential of quantum…

Quantum Physics · Physics 2025-11-10 Juan C. Boschero , Ward van der Schoot , Niels M. P. Neumann

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 simulation can help us study poorly understood topics such as high-temperature superconductivity and drug design. However, existing quantum simulation algorithms for current quantum computers often have drawbacks that impede their…

Quantum Physics · Physics 2022-02-28 Kishor Bharti , Tobias Haug

Quantum computation based on quantum cellular automata (QCA) can greatly reduce the control and precision necessary for experimental implementations of quantum information processing. A QCA system consists of a few species of qubits in…

Quantum Physics · Physics 2009-11-10 Yaakov S. Weinstein , C. Stephen Hellberg

This paper is about reachability analysis in a restricted subclass of multi-pushdown automata. We assume that the control states of an automaton are partially ordered, and all transitions of an automaton go downwards with respect to the…

Logic in Computer Science · Computer Science 2015-07-01 Wojciech Czerwiński , Piotr Hofman , SŁawomir Lasota

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

Recent years have seen a flurry of research activity in the study of minimal and autonomous information ratchets. However, the existing classical and quantum models are somewhat hard to compare, and, hence, quantifying possible quantum…

Statistical Mechanics · Physics 2019-04-24 Josey Stevens , Sebastian Deffner

The state complexity of a finite(-state) automaton intuitively measures the size of the description of the automaton. Sakoda and Sipser [STOC 1972, pp. 275--286] were concerned with nonuniform families of finite automata and they discussed…

Formal Languages and Automata Theory · Computer Science 2024-04-16 Tomoyuki Yamakami

Generative modeling using samples drawn from the probability distribution constitutes a powerful approach for unsupervised machine learning. Quantum mechanical systems can produce probability distributions that exhibit quantum correlations…

Quantum Physics · Physics 2022-10-07 Xun Gao , Eric R. Anschuetz , Sheng-Tao Wang , J. Ignacio Cirac , Mikhail D. Lukin

We develop a quantum algorithm to solve combinatorial optimization problems through quantum simulation of a classical annealing process. Our algorithm combines techniques from quantum walks, quantum phase estimation, and quantum Zeno…

Quantum Physics · Physics 2007-12-07 R. Somma , S. Boixo , H. Barnum

Combining quantum computers with classical compute power has become a standard means for developing algorithms that are eventually supposed to beat any purely classical alternatives. While in-principle advantages for solution quality or…

Quantum Physics · Physics 2026-01-23 Simon Thelen , Wolfgang Mauerer

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

We propose a novel quantum model for the restricted Boltzmann machine (RBM), in which the visible units remain classical whereas the hidden units are quantized as noninteracting fermions. The free motion of the fermions is parametrically…

Disordered Systems and Neural Networks · Physics 2021-02-15 Ya. S. Lyakhova , E. A. Polyakov , A. N. Rubtsov

A central task in the field of quantum computing is to find applications where quantum computer could provide exponential speedup over any classical computer. Machine learning represents an important field with broad applications where…

Quantum Physics · Physics 2017-11-07 Xun Gao , Zhengyu Zhang , Luming Duan

Pushdown automata may contain transitions that are never used in any accepting run of the automaton. We present an algorithm for detecting such useless transitions. A finite automaton that captures the possible stack content during runs of…

Formal Languages and Automata Theory · Computer Science 2013-06-11 Wan Fokkink , Dick Grune , Brinio Hond , Peter Rutgers

This papers presents a general framework for the uniform random generation of deterministic real-time accessible pushdown automata. A polynomial time algorithm to randomly generate a pushdown automaton having a fixed stack operations total…

Formal Languages and Automata Theory · Computer Science 2016-03-26 Pierre-Cyrille Héam , Jean-Luc Joly

Quantum annealing is an innovative idea and method for avoiding the increase of the calculation cost of the combinatorial optimization problem. Since the combinatorial optimization problems are ubiquitous, quantum annealing machine with…

Statistical Mechanics · Physics 2020-01-13 Shohei Watabe , Yuya Seki , Shiro Kawabata

Quantum computation is a promising emerging technology which, compared to conventional computation, allows for substantial speed-ups e.g. for integer factorization or database search. However, since physical realizations of quantum…

Quantum Physics · Physics 2018-06-07 Alwin Zulehner , Robert Wille

The question of whether quantum real-time one-counter automata (rtQ1CAs) can outperform their probabilistic counterparts has been open for more than a decade. We provide an affirmative answer to this question, by demonstrating a…

Computational Complexity · Computer Science 2014-01-29 A. C. Cem Say , Abuzer Yakaryilmaz