Almost Any Quantum Logic Gate is Universal
Abstract
It is shown that if one can apply some Hamiltonian repeatedly to a few variables at a time one can in general effect any desired unitary time evolution on an arbitrarily large number of variables. As a result, almost any quantum logic gate with two or more inputs is computationally universal in that copies of the gate can be ``wired together'' to effect any desired logic circuit, and to perform any desired unitary transformation on a set of quantum variables.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
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?
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 [60]
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 [60]
For the input state (|1_BnZr>_a + |1+>_a) tensor (|1_BnZr>_b + |1+>_b)/2, the sum of expectation values in the appropriate CHSH inequality is 2 sqrt(1 + sin^2(phi/2)); the measured conditional phase shift phi approximately 16 degrees per photon would generate a value of 2.02.
“we consider the input state (j1 BnZr i a +j1 + i a ) (j1 BnZr i b +j1 + i b )=2, for which the sum of expectation values in the appropriate CHSH inequality is 2 q 1 + sin 2 (=2). Note that 2 corresponds to the classical upper limit, while the measured conditional phase shift 16 per photon would generate a value of 2:02”
From Measurement of Conditional Phase Shifts for Quantum Logic (1995) · cites this paper as [13]
Cites
Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
Einstein, A., Podolsky, B., & Rosen, N. (1935) · Physical Review · doi:10.1103/physrev.47.777 · Cited by 16,654 · see citing works
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
Bennett, C. H., Brassard, G., Crépeau, C., Jozsa, R., Peres, A., & Wootters, W. K. (1993) · Physical Review Letters · doi:10.1103/physrevlett.70.1895 · Cited by 13,703 · see citing works
Simulating physics with computers
Feynman, R. P. (1982) · International Journal of Theoretical Physics · doi:10.1007/bf02650179 · Cited by 7,691 · see citing works
Quantum 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
Feynman, R. P. (1986) · Foundations of Physics · doi:10.1007/bf01886518 · Cited by 1,770 · see citing works
Benioff, P. (1980) · Journal of Statistical Physics · doi:10.1007/bf01011339 · Cited by 1,244 · see citing works
Quantum mechanical Hamiltonian models of Turing machines
Benioff, P. (1982) · Journal of Statistical Physics · doi:10.1007/bf01342185 · Cited by 402 · see citing works
Flagged first, then by citations
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
Elementary gates for quantum computation
Barenco, A., Bennett, C. H., Cleve, R., DiVincenzo, D. P., Margolus, N., Shor, P., Sleator, T., Smolin, J. A., & Weinfurter, H. (1995) · Physical Review A · doi:10.1103/physreva.52.3457 · Cited by 4,311 · 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
A silicon-based nuclear spin quantum computer
Kane, B. E. (1998) · Nature · doi:10.1038/30156 · Cited by 3,779 · see citing works
Lloyd, S. (1996) · Science · doi:10.1126/science.273.5278.1073 · Cited by 3,088 · see citing works
Self-citationDiVincenzo, D. P. (1995) · Science · doi:10.1126/science.270.5234.255 · Cited by 1,651 · see citing works
Bulk Spin-Resonance Quantum Computation
Gershenfeld, N. A., & Chuang, I. L. (1997) · Science · doi:10.1126/science.275.5298.350 · Cited by 1,528 · 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
Trapped-ion quantum computing: Progress and challenges
Bruzewicz, C. D., Chiaverini, J., McConnell, R., & Sage, J. M. (2019) · Applied Physics Reviews · doi:10.1063/1.5088164 · Cited by 1,483 · see citing works
Ultimate physical limits to computation
Lloyd, S. (2000) · Nature · doi:10.1038/35023282 · Cited by 1,120 · see citing works
Self-citationZanardi, P., & Rasetti, M. (1999) · Physics Letters A · doi:10.1016/s0375-9601(99)00803-8 · Cited by 1,006 · see citing works
Geometric Manipulation of Trapped Ions for Quantum Computation
Duan, L.-M., Cirac, J. I., & Zoller, P. (2001) · Science · doi:10.1126/science.1058835 · Cited by 793 · 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
Self-citationSemiclassical 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
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
Universal Fault-Tolerant Quantum Computation on Decoherence-Free Subspaces
Bacon, D., Kempe, J., Lidar, D. A., & Whaley, K. B. (2000) · Physical Review Letters · doi:10.1103/physrevlett.85.1758 · Cited by 362 · see citing works
Resilient quantum computation: error models and thresholds
Knill, E., Laflamme, R., & Zurek, W. H. (1998) · Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences · doi:10.1098/rspa.1998.0166 · Cited by 346 · 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
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
Stabilizing quantum information
Zanardi, P. (2000) · Physical Review A · doi:10.1103/physreva.63.012301 · Cited by 207 · see citing works
Lloyd, S., & Viola, L. (2001) · Physical Review A · doi:10.1103/physreva.65.010101 · Cited by 197 · see citing works
Self-citationQuantum Simulations on a Quantum Computer
Somaroo, S., Tseng, C. H., Havel, T. F., Laflamme, R., & Cory, D. G. (1999) · Physical Review Letters · doi:10.1103/physrevlett.82.5381 · Cited by 180 · 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
Calculating the thermal rate constant with exponential speedup on a quantum computer
Lidar, D. A., & Wang, H. (1999) · Physical Review E · doi:10.1103/physreve.59.2429 · Cited by 115 · see citing works
Five two-qubit gates are necessary for implementing the Toffoli gate
Yu, N., Duan, R., & Ying, M. (2013) · Physical Review A · doi:10.1103/physreva.88.010304 · Cited by 77 · see citing works
Quantum Computation with Untunable Couplings
Zhou, X., Zhou, Z.-W., Guo, G.-C., & Feldman, M. J. (2002) · Physical Review Letters · doi:10.1103/physrevlett.89.197903 · Cited by 76 · see citing works
Quantum image encryption algorithm based on 3D-BNM chaotic map
Verma, V., & Kumar, S. (2025) · Nonlinear Dynamics · doi:10.1007/s11071-024-10403-6 · Cited by 76 · see citing works
Quantum Logic Approach to Wave Packet Control
Shapiro, E. A., Spanner, M., & Ivanov, M. Y. (2003) · Physical Review Letters · doi:10.1103/physrevlett.91.237901 · Cited by 70 · see citing works
- Authors
- Lloyd, S.
- Affiliations
- Massachusetts Institute of Technology (US)
- Corresponding author
- Lloyd, Seth
- ORCID
- Lloyd, Seth
- Venue
- Physical Review Letters
- Publisher
- American Physical Society (APS)
- Published
- 1995-07-10
- Volume
- 75
- Issue
- 2
- Pages
- 346-349
- ISSN
- 0031-9007 (ISSN-L)
- 1079-7114
- OpenAlex
- W1999450843
- Cited by
- 690
- References
- 7
- Citations by year
- 2026: 8 · 2025: 24 · 2024: 28 · 2023: 20 · 2022: 27 · 2021: 23 · 2020: 13 · 2019: 25 · 2018: 11 · 2017: 17 · 2016: 16 · 2015: 14 · 2014: 15 · 2013: 10 · 2012: 21
- FWCI
- 27.19
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- Physical Review Letters (publishedVersion)
- PubMed (publishedVersion)
- 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 gates, universality, Hamiltonian evolution, unitary transformation, quantum circuits, quantum computing
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