In all approaches to quantum computing, it is important to know whether a task under consideration can be carried out efficiently by a classical computer. An algorithm might be described in the language of quantum mechanics, but upon closer analysis, revealed to be implementable using only classical resources. Such an algorithm would not be taking full advantage of the extra possibilities made available by quantum physics. In the theory of quantum computation using finite-dimensional Hilbert spaces, the Gottesman–Knill theorem demonstrates that there exists a set of quantum processes that can be emulated efficiently on a classical computer. Generalizing this theorem to the continuous-variable case, it can be shown that, likewise, a class of continuous-variable quantum computations can be simulated using only classical analog computations. This class includes, in fact, some computational tasks that use quantum entanglement. When the Wigner quasiprobability representations of all the quantities—states, time evolutions and measurements—involved in a computation are nonnegative, then they can be interpreted as ordinary probability distributions, indicating that the computation can be modeled as an essentially classical one. This type of construction can be thought of as a continuum generalization of the Spekkens toy model.
Occasionally, and somewhat confusingly, the term "continuous quantum computation" is used to refer to a different area of quantum computing: the study of how to use quantum systems having finite-dimensional Hilbert spaces to calculate or approximate the answers to mathematical questions involving continuous functions. A major motivation for investigating the quantum computation of continuous functions is that many scientific problems have mathematical formulations in terms of continuous quantities. A second motivation is to explore and understand the ways in which quantum computers can be more capable or powerful than classical ones. The computational complexity of a problem can be quantified in terms of the minimal computational resources necessary to solve it. In quantum computing, resources include the number of qubits available to a computer and the number of queries that can be made to that computer. The classical complexity of many continuous problems is known. Therefore, when the quantum complexity of these problems is obtained, the question as to whether quantum computers are more powerful than classical can be answered. Furthermore, the degree of the improvement can be quantified. In contrast, the complexity of discrete problems is typically unknown. For example, the classical complexity of integer factorization is unknown.
One example of a scientific problem that is naturally expressed in continuous terms is path integration. The general technique of path integration has numerous applications including quantum mechanics, quantum chemistry, statistical mechanics, and computational finance. Because randomness is present throughout quantum theory, one typically requires that a quantum computational procedure yield the correct answer, not with certainty, but with high probability. For example, one might aim for a procedure that computes the correct answer with probability at least 3/4. One also specifies a degree of uncertainty, typically by setting the maximum acceptable error. Thus, the goal of a quantum computation could be to compute the numerical result of a path-integration problem to within an error of at most ε with probability 3/4 or more. In this context, it is known that quantum algorithms can outperform their classical counterparts, and the computational complexity of path integration, as measured by the number of times one would expect to have to query a quantum computer to get a good answer, grows as the inverse of ε.
Other continuous problems for which quantum algorithms have been studied include finding matrix eigenvalues, phase estimation, the Sturm–Liouville eigenvalue problem, solving differential equations with the Feynman–Kac formula, initial value problems, function approximation high-dimensional integration., and quantum cryptography
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (2012-05-01). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535. /wiki/ArXiv_(identifier)
Braunstein, Samuel L.; van Loock, Peter (2005-06-29). "Quantum information with continuous variables". Reviews of Modern Physics. 77 (2): 513–577. arXiv:quant-ph/0410100. Bibcode:2005RvMP...77..513B. doi:10.1103/RevModPhys.77.513. S2CID 118990906. /wiki/Reviews_of_Modern_Physics
Adesso, Gerardo; Ragy, Sammy; Lee, Antony R. (2014-03-12). "Continuous Variable Quantum Information: Gaussian States and Beyond". Open Systems & Information Dynamics. 21 (1n02): 1440001. arXiv:1401.4679. doi:10.1142/S1230161214400010. ISSN 1230-1612. S2CID 15318256. /wiki/Open_Systems_%26_Information_Dynamics
Braunstein, S. L.; Pati, A. K. (2012-12-06). Quantum Information with Continuous Variables. Springer Science & Business Media. CiteSeerX 10.1.1.762.4959. doi:10.1007/978-94-015-1258-9. ISBN 9789401512589. 9789401512589
Lloyd, Seth; Braunstein, Samuel L. (1999-01-01). "Quantum Computation over Continuous Variables". Physical Review Letters. 82 (8): 1784–1787. arXiv:quant-ph/9810082. Bibcode:1999PhRvL..82.1784L. doi:10.1103/PhysRevLett.82.1784. S2CID 119018466. /wiki/Seth_Lloyd
Bartlett, Stephen D.; Sanders, Barry C. (2002-01-01). "Universal continuous-variable quantum computation: Requirement of optical nonlinearity for photon counting". Physical Review A. 65 (4): 042304. arXiv:quant-ph/0110039. Bibcode:2002PhRvA..65d2304B. doi:10.1103/PhysRevA.65.042304. S2CID 118896298. /wiki/Physical_Review_A
Menicucci, Nicolas C.; Flammia, Steven T.; Pfister, Olivier (2008-07-14). "One-way quantum computing in the optical frequency comb". Physical Review Letters. 101 (13): 130501. arXiv:0804.4468. Bibcode:2008PhRvL.101m0501M. doi:10.1103/PhysRevLett.101.130501. PMID 18851426. S2CID 1307950. /wiki/Physical_Review_Letters
Tasca, D. S.; Gomes, R. M.; Toscano, F.; Souto Ribeiro, P. H.; Walborn, S. P. (2011-01-01). "Continuous-variable quantum computation with spatial degrees of freedom of photons". Physical Review A. 83 (5): 052325. arXiv:1106.3049. Bibcode:2011PhRvA..83e2325T. doi:10.1103/PhysRevA.83.052325. S2CID 118688635. /wiki/Physical_Review_A
Furusawa, A.; Sørensen, J. L.; Braunstein, S. L.; Fuchs, C. A.; Kimble, H. J.; Polzik, E. S. (1998-10-23). "Unconditional Quantum Teleportation". Science. 282 (5389): 706–709. Bibcode:1998Sci...282..706F. doi:10.1126/science.282.5389.706. ISSN 0036-8075. PMID 9784123. /wiki/Bibcode_(identifier)
Braunstein, Samuel L.; Fuchs, Christopher A.; Kimble, H. J. (2000-02-01). "Criteria for continuous-variable quantum teleportation". Journal of Modern Optics. 47 (2–3): 267–278. arXiv:quant-ph/9910030. Bibcode:2000JMOp...47..267B. doi:10.1080/09500340008244041. ISSN 0950-0340. S2CID 16713029. /wiki/ArXiv_(identifier)
"The Runners-Up: The News and Editorial Staffs". Science. 282 (5397): 2157–2161. 1998-12-18. Bibcode:1998Sci...282.2157.. doi:10.1126/science.282.5397.2157. ISSN 0036-8075. S2CID 220101560. /wiki/Bibcode_(identifier)
Yokoyama, Shota; Ukai, Ryuji; Armstrong, Seiji C.; Sornphiphatphong, Chanond; Kaji, Toshiyuki; Suzuki, Shigenari; Yoshikawa, Jun-ichi; Yonezawa, Hidehiro; Menicucci, Nicolas C. (2013). "Ultra-large-scale continuous-variable cluster states multiplexed in the time domain". Nature Photonics. 7 (12): 982–986. arXiv:1306.3366. Bibcode:2013NaPho...7..982Y. doi:10.1038/nphoton.2013.287. S2CID 53575929. /wiki/ArXiv_(identifier)
Chen, Moran; Menicucci, Nicolas C.; Pfister, Olivier (2014-03-28). "Experimental realization of multipartite entanglement of 60 modes of a quantum optical frequency comb". Physical Review Letters. 112 (12): 120505. arXiv:1311.2957. Bibcode:2014PhRvL.112l0505C. doi:10.1103/PhysRevLett.112.120505. PMID 24724640. S2CID 18093254. /wiki/Physical_Review_Letters
Ortiz-Gutiérrez, Luis; Gabrielly, Bruna; Muñoz, Luis F.; Pereira, Kainã T.; Filgueiras, Jefferson G.; Villar, Alessandro S. (2017-08-15). "Continuous variables quantum computation over the vibrational modes of a single trapped ion". Optics Communications. 397: 166–174. arXiv:1603.00065. Bibcode:2017OptCo.397..166O. doi:10.1016/j.optcom.2017.04.011. S2CID 118617424. /wiki/ArXiv_(identifier)
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (2012-05-01). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535. /wiki/ArXiv_(identifier)
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (2012-05-01). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535. /wiki/ArXiv_(identifier)
Lloyd, Seth; Braunstein, Samuel L. (1999-01-01). "Quantum Computation over Continuous Variables". Physical Review Letters. 82 (8): 1784–1787. arXiv:quant-ph/9810082. Bibcode:1999PhRvL..82.1784L. doi:10.1103/PhysRevLett.82.1784. S2CID 119018466. /wiki/Seth_Lloyd
Menicucci, Nicolas C.; van Loock, Peter; Gu, Mile; Weedbrook, Christian; Ralph, Timothy C.; Nielsen, Michael A. (2006-09-13). "Universal Quantum Computation with Continuous-Variable Cluster States". Physical Review Letters. 97 (11): 110501. arXiv:quant-ph/0605198. Bibcode:2006PhRvL..97k0501M. doi:10.1103/PhysRevLett.97.110501. PMID 17025869. S2CID 14715751. /wiki/Michael_Nielsen
Zhang, Jing; Braunstein, Samuel L. (2006-03-16). "Continuous-variable Gaussian analog of cluster states". Physical Review A. 73 (3): 032318. arXiv:quant-ph/0501112. Bibcode:2006PhRvA..73c2318Z. doi:10.1103/PhysRevA.73.032318. S2CID 119511825. /wiki/ArXiv_(identifier)
Gottesman, Daniel; Kitaev, Alexei; Preskill, John (2001-06-11). "Encoding a qubit in an oscillator". Physical Review A. 64 (1): 012310. arXiv:quant-ph/0008040. Bibcode:2001PhRvA..64a2310G. doi:10.1103/PhysRevA.64.012310. S2CID 18995200. /wiki/ArXiv_(identifier)
Bartlett, Stephen D.; Sanders, Barry C.; Braunstein, Samuel L.; Nemoto, Kae (2002-02-14). "Efficient Classical Simulation of Continuous Variable Quantum Information Processes". Physical Review Letters. 88 (9): 097904. arXiv:quant-ph/0109047. Bibcode:2002PhRvL..88i7904B. doi:10.1103/PhysRevLett.88.097904. PMID 11864057. S2CID 2161585. /wiki/Kae_Nemoto
Menicucci, Nicolas C.; van Loock, Peter; Gu, Mile; Weedbrook, Christian; Ralph, Timothy C.; Nielsen, Michael A. (2006-09-13). "Universal Quantum Computation with Continuous-Variable Cluster States". Physical Review Letters. 97 (11): 110501. arXiv:quant-ph/0605198. Bibcode:2006PhRvL..97k0501M. doi:10.1103/PhysRevLett.97.110501. PMID 17025869. S2CID 14715751. /wiki/Michael_Nielsen
Bartlett, Stephen D.; Rudolph, Terry; Spekkens, Robert W. (2012-07-10). "Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction". Physical Review A. 86 (1): 012103. arXiv:1111.5057. Bibcode:2012PhRvA..86a2103B. doi:10.1103/PhysRevA.86.012103. S2CID 119235025. /wiki/Physical_Review_A
Papageorgiou, A. "Continuous Quantum Computation: Project Description". quantum.cs.columbia.edu. Retrieved 2017-05-15. http://quantum.cs.columbia.edu/html/project.html
Traub, J. F.; Woźniakowski, H. (2002-10-01). "Path Integration on a Quantum Computer". Quantum Information Processing. 1 (5): 365–388. arXiv:quant-ph/0109113. doi:10.1023/A:1023417813916. ISSN 1570-0755. S2CID 5821196. /wiki/ArXiv_(identifier)
Jaksch, Peter; Papageorgiou, Anargyros (2003-12-19). "Eigenvector Approximation Leading to Exponential Speedup of Quantum Eigenvalue Calculation". Physical Review Letters. 91 (25): 257902. arXiv:quant-ph/0308016. Bibcode:2003PhRvL..91y7902J. doi:10.1103/PhysRevLett.91.257902. PMID 14754158. S2CID 1855075. /wiki/ArXiv_(identifier)
Bessen, Arvid J. (2005-04-08). "Lower bound for quantum phase estimation". Physical Review A. 71 (4): 042313. arXiv:quant-ph/0412008. Bibcode:2005PhRvA..71d2313B. doi:10.1103/PhysRevA.71.042313. S2CID 118887469. /wiki/ArXiv_(identifier)
Papageorgiou, A.; Woźniakowski, H (2005). "Classical and Quantum Complexity of the Sturm–Liouville Eigenvalue Problem". Quantum Information Processing. 4 (2): 87–127. arXiv:quant-ph/0502054. Bibcode:2005QuIP....4...87P. doi:10.1007/s11128-005-4481-x. S2CID 11089349.Papageorgiou, A.; Woźniakowski, H. (2007-04-01). "The Sturm-Liouville Eigenvalue Problem and NP-Complete Problems in the Quantum Setting with Queries". Quantum Information Processing. 6 (2): 101–120. arXiv:quant-ph/0504191. doi:10.1007/s11128-006-0043-0. ISSN 1570-0755. S2CID 7604869. /wiki/ArXiv_(identifier)
Kwas, Marek (2004-10-18). "Complexity of multivariate Feynman-Kac path integration in randomized and quantum settings". arXiv:quant-ph/0410134. /wiki/ArXiv_(identifier)
Kacewicz, Bolesław (2004). "Randomized and quantum algorithms yield a speed-up for initial-value problems". Journal of Complexity. 20 (6): 821–834. arXiv:quant-ph/0311148. doi:10.1016/j.jco.2004.05.002. S2CID 9949704.Szczesny, Marek (2006-12-12). "Randomized and Quantum Solution of Initial-Value Problems for Ordinary Differential Equations of Order k". arXiv:quant-ph/0612085.Kacewicz, Bolesław (2005). "Improved bounds on the randomized and quantum complexity of initial-value problems". Journal of Complexity. 21 (5): 740–756. arXiv:quant-ph/0405018. doi:10.1016/j.jco.2005.05.003. S2CID 5934254. /wiki/ArXiv_(identifier)
Novak, Erich; Sloan, Ian H.; Woźniakowski, Henryk (2004-04-01). "Tractability of Approximation for Weighted Korobov Spaces on Classical and Quantum Computers". Foundations of Computational Mathematics. 4 (2): 121–156. arXiv:quant-ph/0206023. doi:10.1007/s10208-002-0074-6. ISSN 1615-3375. S2CID 10519614.
Heinrich, Stefan (2004). "Quantum approximation I. Embeddings of finite-dimensional Lp spaces". Journal of Complexity. 20 (1): 5–26. arXiv:quant-ph/0305030. doi:10.1016/j.jco.2003.08.002. S2CID 6044488.
Heinrich, Stefan (2004). "Quantum approximation II. Sobolev embeddings". Journal of Complexity. 20 (1): 27–45. arXiv:quant-ph/0305031. doi:10.1016/j.jco.2003.08.003. S2CID 6061625. /wiki/ArXiv_(identifier)
Heinrich, Stefan (2002). "Quantum Summation with an Application to Integration". Journal of Complexity. 18 (1): 1–50. arXiv:quant-ph/0105116. doi:10.1006/jcom.2001.0629. S2CID 14365504.Heinrich, Stefan (2003-02-01). "Quantum integration in Sobolev classes". Journal of Complexity. 19 (1): 19–42. arXiv:quant-ph/0112153. doi:10.1016/S0885-064X(02)00008-0. S2CID 5471897.Novak, Erich (2001). "Quantum Complexity of Integration". Journal of Complexity. 17 (1): 2–16. arXiv:quant-ph/0008124. doi:10.1006/jcom.2000.0566. S2CID 2271590. /wiki/ArXiv_(identifier)
Mu, Yi (1996). "Shared cryptographic bits via quantized quadrature phase amplitudes of light". Journal of Optics Communication. 123 (1–3): 334–352. Bibcode:1996OptCo.123..344M. doi:10.1016/0030-4018(95)00688-5. S2CID 18374270. /wiki/Bibcode_(identifier)