Quantum theory, the Church–Turing principle and the universal quantum computer
@article{Deutsch1985QuantumTT,
title={Quantum theory, the Church–Turing principle and the universal quantum computer},
author={D. Deutsch},
journal={Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences},
year={1985},
volume={400},
pages={117 - 97}
}It is argued that underlying the Church–Turing hypothesis there is an implicit physical assertion. Here, this assertion is presented explicitly as a physical principle: ‘every finitely realizible physical system can be perfectly simulated by a universal model computing machine operating by finite means’. Classical physics and the universal Turing machine, because the former is continuous and the latter discrete, do not obey the principle, at least in the strong form above. A class of model… Expand
3,684 Citations
Universality and programmability of quantum computers
- Computer Science, Physics
- Theor. Comput. Sci.
- 2008
The extent to which universality has in fact been established by the pioneers in the field is examined and this key notion in theoretical computer science is scrutinised in quantum computing by distinguishing various connotations and concomitant results and problems. Expand
Quantum complexity theory
- Computer Science
- STOC '93
- 1993
This dissertation proves that relative to an oracle chosen uniformly at random, the class NP cannot be solved on a quantum Turing machine in time $o(2\sp{n/2}).$ and gives evidence suggesting that quantum Turing Machines cannot efficiently solve all of NP. Expand
What Exactly Are Quantum Computations? Classical and Quantum Turing Machines
- Computer Science
- 2018
The more abstract notion of quantum computing machine is introduced, whose computations can be linguistically described by formulas of quantum computational logics. Expand
10 Quantum Complexity Theory I
Just as the theory of computability had its foundations in the Church-Turing thesis, computational complexity theory rests upon a modern strengthening of this thesis, which asserts that any "… Expand
Quantum Complexity Theory
- Computer Science
- SIAM J. Comput.
- 1997
This paper gives the first formal evidence that quantum Turing machines violate the modern (complexity theoretic) formulation of the Church--Turing thesis, and proves that bits of precision suffice to support a step computation. Expand
Another Quantum Turing Machines
- Computer Science
- 1995
This paper considers that the superposition of configurations, a basic concept of the quantum Turing machines, should also be applied to the probabilistic Turing machines to solve the satisfiability and the validity problems in polynomial time. Expand
The Computational Status of Physics: A Computable Formulation of Quantum Theory
- Physics
- 2008
According to the Church-Turing Thesis (CTT), effective formal behaviours can be simulated by Turing machines; this has naturally led to speculation that physical systems can also be simulated… Expand
Quantum Computers
- 1998
The Church-Turing thesis says that a digital computer is a universal computational device; that is, it is able to simulate any physically realizable computational device. It has generally been… Expand
Quantum Computation 1 the Need for Quantum Mechanics
- 1999
Historically, Turing machines have been the paradigm by which we de ned computability and e ciency. This is based on Church's thesis that everything e ectively computable can also be computed on a… Expand
Construction of a universal quantum computer
- Physics
- 2009
We construct a universal quantum computer following Deutsch's original proposal of a universal quantum Turing machine (UQTM). Like Deutsch's UQTM, our machine can emulate any classical Turing machine… Expand
References
SHOWING 1-10 OF 32 REFERENCES
Church's Thesis and Principles for Mechanisms
- Computer Science
- 1980
It is argued that Turing's analysis of computation by a human being does not apply directly to mechanical devices, and it is proved that if a device satisfies the principles then its successive states form a computable sequence. Expand
On the Einstein-Podolsky-Rosen paradox
- Physics
- 1964
THE paradox of Einstein, Podolsky and Rosen [1] was advanced as an argument that quantum mechanics could not be a complete theory but should be supplemented by additional variables. These additional… Expand
On quantum-mechanical automata
- Physics
- 1983
Abstract An automaton whose states are solutions of quantum-mechanical equations of motion is described, and the capacities of such an automaton to “measure” and to “know” and to “predict” certain… Expand
Universal upper bound on the entropy-to-energy ratio for bounded systems
- Physics
- 1981
We present evidence for the existence of a universal upper bound of magnitude $\frac{2\ensuremath{\pi}R}{\ensuremath{\hbar}c}$ to the entropy-to-energy ratio $\frac{S}{E}$ of an arbitrary system of… Expand
Computation and Construction Universality of Reversible Cellular Automata
- Computer Science, Mathematics
- J. Comput. Syst. Sci.
- 1977
A way of implementing nontrivial irreversible processes in a reversible medium is explicitly shown, both in general and for reversible cellular automata. Expand
Black holes and entropy
- Physics
- 1973
There are a number of similarities between black-hole physics and thermodynamics. Most striking is the similarity in the behaviors of black-hole area and of entropy: Both quantities tend to increase… Expand
Gödel, Escher, Bach: An Eternal Golden Braid
- Mathematics
- 1979
From the Publisher:
Winner of the Pulitzer Prize, this book applies Godel's seminal contribution to modern mathematics to the study of the human mind and the development of artificial intelligence.
Int. J. theor. Phys
- Int. J. theor. Phys
- 1985
1976Conceptual foundations of quantum mechanics (second edn)
- 1976