Necessary and Sufficient Conditions for Quantum Computation
- 1 December 1994
- journal article
- research article
- Published by Taylor & Francis in Journal of Modern Optics
- Vol. 41 (12) , 2503-2520
- https://doi.org/10.1080/09500349414552341
Abstract
Necessary and sufficient conditions are given for a quantummechanical system to possess a coordinate system with respect to which its behaviour at discrete times is that of a universal digital computer. The form of the diagonal representation for the unitary time evolution operator for quantum universal computers is derived; aspects of the transformation between the diagonal representation and the computational representation are shown to be uncomputable. A quantum-mechanical treatment of macroscopic, dissipative computers is given.Keywords
This publication has 21 references indexed in Scilit:
- Rapid solution of problems by quantum computationProceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences, 1992
- Unpredictability and undecidability in dynamical systemsPhysical Review Letters, 1990
- Quantum ComputationaAnnals of the New York Academy of Sciences, 1986
- Quantum theory, the Church–Turing principle and the universal quantum computerProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1985
- Undecidability and intractability in theoretical physicsPhysical Review Letters, 1985
- Quantum Mechanical ComputersOptics News, 1985
- Modelling cellular automata with partial differential equationsPhysica D: Nonlinear Phenomena, 1984
- Conservative logicInternational Journal of Theoretical Physics, 1982
- The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machinesJournal of Statistical Physics, 1980
- Logical Reversibility of ComputationIBM Journal of Research and Development, 1973