English
Related papers

Related papers: Deutsch's Universal Quantum Turing Machine (Revisi…

200 papers

According to the statistical interpretation of quantum theory, quantum computers form a distinguished class of probabilistic machines (PMs) by encoding n qubits in 2n pbits (random binary variables). This raises the possibility of a…

Quantum Physics · Physics 2007-05-23 P. Gralewicz

Validation of a presumably universal theory, such as quantum mechanics, requires a quantum mechanical description of systems that carry out theoretical calculations and experiments. The description of quantum computers is under active…

Quantum Physics · Physics 2008-02-03 Paul Benioff

Recently, among experiments for realization of quantum computers, NMR quantum computers have achieved the most impressive succession. There is a model of the NMR quantum computation,namely Atsumi and Nishino's bulk quantum Turing Machine.…

Computational Complexity · Computer Science 2007-05-23 Tetsushi Matsui

Quantum computations usually take place under the control of the classical world. We introduce a Classically-controlled Quantum Turing Machine (CQTM) which is a Turing Machine (TM) with a quantum tape for acting on quantum data, and a…

Quantum Physics · Physics 2016-10-11 Simon Perdrix , Philippe Jorrand

Quantum computing is concerned with computer technology based on the principles of quantum mechanics, with operations performed at the quantum level. Quantum computational models make it possible to analyze the resources required for…

Formal Languages and Automata Theory · Computer Science 2019-01-24 Amandeep Singh Bhatia , Ajay Kumar

In the last few years, theoretical study of quantum systems serving as computational devices has achieved tremendous progress. We now have strong theoretical evidence that quantum computers, if built, might be used as a dramatically…

Quantum Physics · Physics 2016-11-03 Dorit Aharonov

Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted…

Formal Languages and Automata Theory · Computer Science 2018-07-05 Andris Ambainis , Abuzer Yakaryılmaz

Beginning with Turing's seminal work in 1950, artificial intelligence proposes that consciousness can be simulated by a Turing machine. This implies a potential theory of everything where the universe is a simulation on a computer, which…

Computational Complexity · Computer Science 2022-06-15 Blake Wilson , Ethan Dickey , Vaishnavi Iyer , Sabre Kais

Quantum simulators, machines that can replicate the dynamics of quantum systems, are being built as useful devices and are seen as a stepping stone to universal quantum computers. A key difference between the two is that computers have the…

Quantum Physics · Physics 2018-08-09 Benjamin Dive , Alexander Pitchford , Florian Mintert , Daniel Burgarth

Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as…

Computational Complexity · Computer Science 2024-09-04 Tomáš Gonda , Tobias Reinhart , Sebastian Stengele , Gemma De les Coves

We show that in quantum computation almost every gate that operates on two or more bits is a universal gate. We discuss various physical considerations bearing on the proper definition of universality for computational components such as…

Quantum Physics · Physics 2015-06-26 D. Deutsch , A. Barenco , A. Ekert

The halt scheme for quantum Turing machines, originally proposed by Deutsch, is reformulated precisely and is proved to work without spoiling the computation. The ``conflict'' pointed out recently by Myers in the definition of a universal…

Quantum Physics · Physics 2009-01-23 Masanao Ozawa

As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a…

Quantum Physics · Physics 2020-11-12 Bela Bauer , Sergey Bravyi , Mario Motta , Garnet Kin-Lic Chan

Operating quantum sensors and quantum computers would make data in the form of quantum states available for purely quantum processing, opening new avenues for studying physical processes and certifying quantum technologies. In this…

Typically, quantum mechanics is thought of as a linear theory with unitary evolution governed by the Schr\"odinger equation. While this is technically true and useful for a physicist, with regards to computation it is an unfortunately…

Quantum Physics · Physics 2018-04-20 Dax Enshan Koh , Murphy Yuezhen Niu , Theodore J. Yoder

Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical…

Computational Complexity · Computer Science 2007-05-23 Jean-Charles Delvenne , Petr Kurka , Vincent Blondel

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

What resources are universal for quantum computation? In the standard model, a quantum computer consists of a sequence of unitary gates acting coherently on the qubits making up the computer. This paper shows that a very different model…

Quantum Physics · Physics 2009-11-07 Michael A. Nielsen

Superconducting quantum circuit is a promising system for building quantum computer. With this system we demonstrate the universal quantum computations, including the preparing of initial states, the single-qubit operations, the two-qubit…

Quantum Physics · Physics 2018-09-06 Nian-Quan Jiang , Yao Chen , Chuanbing Cai , Ming-FengWang , Junwang Tang

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

Logic · Mathematics 2020-01-20 Andrew S Marks