Universality in quantum computation
Open accessAbstract
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 logic gates.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
A wide variety of physical systems-ranging from nearest neighbor Ising models to quantum electrodynamics and conformal field theories-are known to be computationally universal.
“Although computational universality might at first seem to be a stringent demand on a physical system, a wide variety of physical systems - ranging from nearest neighbor Ising models 52 to quantum electrodynamics 84 and conformal field theories 86 - are known to be computationally universal 51 -53 , 55 -65 .”
From Ultimate physical limits to computation (2000) · cites this paper as [61]
Essentially any quantum system that admits controllable nonlinear interactions can be shown to be computationally universal.
“Essentially any quantum system that admits controllable nonlinear interactions can be shown to be computationally universal 60 -61 .”
From Ultimate physical limits to computation (2000) · cites this paper as [61]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
Quantum cryptography based on Bell’s theorem
Ekert, A. K. (1991) · Physical Review Letters · doi:10.1103/physrevlett.67.661 · Cited by 10,777 · see citing works
Self-citationQuantum theory, the Church–Turing principle and the universal quantum computer
Deutsch, D. (1985) · Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences · doi:10.1098/rspa.1985.0070 · Cited by 4,597 · see citing works
Self-citationBernstein, E., & Vazirani, U. (1993) · Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 · doi:10.1145/167088.167097 · Cited by 1,284 · see citing works
Flagged first, then by citations
Research works printed but not linked: 10
- [1][1] D. Deutsch, Proc. R. Soc. London A 400 , 97 (1985). -
- [3][3] P.W. Shor, Proc. 35th Ann. Symp. on the Foundations of Computer Science (IEEE Computer Society, Los Alamitos, 1994), p.124. -
- [4][4] D. Deutsch and R. Jozsa, Proc. R. Soc. Lond. A 439 , 553 (1992); E. Bernstein and U. Vazirani, Proc. 25th ACM Symp. on Theory of Computation , p.11 (1993). -
- [5][5] S. Wiesner, SIGACT News, 15 , 78 (1983); C. H. Bennett and G. Brassard, in Proc. IEEE Int. Conference on Computers, Systems and Signal Processing , (IEEE, New York, 1984).; A. K. Ekert, Phys. Rev. Lett. 67 , 661 (1991); C. H. Bennett, Phys. Rev. Lett. 68 , 3121 (1992). -
- [6][6] D. Deutsch, Proc. R. Soc. Lond. A 425 , 73 (1989). -
- [7][7] A. Barenco, University of Oxford preprint (1994). -
- [8][8] T. Sleator and H. Weinfurter, preprint (1994). -
- [10][10] A. Yao, Proc. 34th IEEE Symp. on Foundation of Computer Science (IEEE Computer Society Press, Los Alamitos, 1993), pp.352-360. -
- [11][11] A. Berthiaume, D. Deutsch and R. Jozsa, The stabilization of quantum computations , in Proceedings of the Workshop on the Physics and ComputationPhysComp '94 (IEEE Computer Society Press, Dallas, Texas). -
- [13][13] S.Lloyd, preprint (1994).
Cited by
Sorted by citations
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
Shor, P. W. (1997) · SIAM Journal on Computing · doi:10.1137/s0097539795293172 · Cited by 8,472 · see citing works
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
Shor, P. W. (1999) · SIAM Review · doi:10.1137/s0036144598347011 · Cited by 3,904 · see citing works
Quantum information with continuous variables
Braunstein, S. L., & van Loock, P. (2005) · Reviews of Modern Physics · doi:10.1103/revmodphys.77.513 · Cited by 3,858 · see citing works
Lloyd, S. (1996) · Science · doi:10.1126/science.273.5278.1073 · Cited by 3,088 · see citing works
DiVincenzo, D. P. (1995) · Science · doi:10.1126/science.270.5234.255 · Cited by 1,651 · see citing works
Quantum computation and Shor's factoring algorithm
Ekert, A., & Jozsa, R. (1996) · Reviews of Modern Physics · doi:10.1103/revmodphys.68.733 · Cited by 1,354 · see citing works
Self-citationMultiple-particle interference and quantum error correction
(1996) · Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences · doi:10.1098/rspa.1996.0136 · Cited by 1,284 · see citing works
Ultimate physical limits to computation
Lloyd, S. (2000) · Nature · doi:10.1038/35023282 · Cited by 1,120 · see citing works
Zanardi, P., & Rasetti, M. (1999) · Physics Letters A · doi:10.1016/s0375-9601(99)00803-8 · Cited by 1,006 · see citing works
Simulation of Many-Body Fermi Systems on a Universal Quantum Computer
Abrams, D. S., & Lloyd, S. (1997) · Physical Review Letters · doi:10.1103/physrevlett.79.2586 · Cited by 745 · see citing works
Semiclassical Fourier Transform for Quantum Computation
Griffiths, R. B., & Niu, C.-S. (1996) · Physical Review Letters · doi:10.1103/physrevlett.76.3228 · Cited by 431 · see citing works
Entangling power of quantum evolutions
Zanardi, P., Zalka, C., & Faoro, L. (2000) · Physical Review A · doi:10.1103/physreva.62.030301 · Cited by 419 · see citing works
Geometric theory of nonlocal two-qubit operations
Zhang, J., Vala, J., Sastry, S., & Whaley, K. B. (2003) · Physical Review A · doi:10.1103/physreva.67.042313 · Cited by 415 · see citing works
Optical simulation of quantum logic
Cerf, N. J., Adami, C., & Kwiat, P. G. (1998) · Physical Review A · doi:10.1103/physreva.57.r1477 · Cited by 324 · see citing works
Quantum Circuits That Can Be Simulated Classically in Polynomial Time
Valiant, L. G. (2002) · SIAM Journal on Computing · doi:10.1137/s0097539700377025 · Cited by 311 · see citing works
Non-Abelian Berry connections for quantum computation
Pachos, J., Zanardi, P., & Rasetti, M. (1999) · Physical Review A · doi:10.1103/physreva.61.010305 · Cited by 316 · see citing works
Efficient networks for quantum factoring
Beckman, D., Chari, A. N., Devabhaktuni, S., & Preskill, J. (1996) · Physical Review A · doi:10.1103/physreva.54.1034 · Cited by 268 · see citing works
Jones, J. A. (2001) · Progress in Nuclear Magnetic Resonance Spectroscopy · doi:10.1016/s0079-6565(00)00033-9 · Cited by 177 · see citing works
Universal quantum computation and simulation using any entangling Hamiltonian and local unitaries
Dodd, J. L., Nielsen, M. A., Bremner, M. J., & Thew, R. T. (2002) · Physical Review A · doi:10.1103/physreva.65.040301 · Cited by 156 · see citing works
- Authors
- Deutsch, D. E., Barenco, A., & Ekert, A.
- Affiliations
- University of Oxford (GB)
- Venue
- Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences
- Publisher
- The Royal Society
- Published
- 1995-06-08
- Volume
- 449
- Issue
- 1937
- Pages
- 669-677
- ISSN
- 0962-8444 (ISSN-L)
- 2053-9177
- OpenAlex
- W2020123688
- Cited by
- 346
- References
- 3
- Citations by year
- 2026: 6 · 2025: 11 · 2024: 19 · 2023: 10 · 2022: 10 · 2021: 5 · 2020: 6 · 2019: 12 · 2018: 7 · 2017: 3 · 2016: 5 · 2015: 5 · 2014: 3 · 2013: 4 · 2012: 12
- FWCI
- 17.63
- Type
- journal article
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- Proceedings of the Royal Society of London Series A Mathematical and Physical Sciences (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Information and Cryptography
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Mechanics and Applications
- Keywords
- quantum computing, universal quantum gates, universality, multi-qubit gates, logic gates, quantum circuits
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review