- Editors' Suggestion
- Letter
- Open Access
Universal variational quantum computation
Phys. Rev. A 103, L030401 – Published 10 March, 2021
DOI: https://doi.org/10.1103/PhysRevA.103.L030401
Abstract
Variational quantum algorithms dominate contemporary gate-based quantum enhanced optimization, eigenvalue estimation, and machine learning. Here we establish the quantum computational universality of variational quantum computation by developing two objective functions which minimize to prepare outputs of arbitrary quantum circuits. The fleeting resource of variational quantum computation is the number of expected values which must be iteratively minimized using classical-to-quantum outer loop optimization. An efficient solution to this optimization problem is given by the quantum circuit being simulated itself. The first construction is efficient in the number of expected values for -qubit circuits containing non-Clifford gates—the number of expected values has no dependence on Clifford gates appearing in the simulated circuit. The second approach yields expected values whereas introducing not more than slack qubits for a quantum circuit partitioned into gates. Hence, the utilitarian variational quantum programming procedure—based on the classical evaluation of objective functions and iterated feedback—is, in principle, as powerful as any other model of quantum computation. This result elevates the formal standing of the variational approach whereas establishing a universal model of quantum computation.
Physics Subject Headings (PhySH)
Article Text
Supplemental Material
References (34)
- E. Farhi, J. Goldstone, and S. Gutmann, A quantum approximate optimization algorithm, arXiv:1411.4028.
- A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O'Brien, A variational eigenvalue solver on a photonic quantum processor, Nat. Commun. 5, 4213 (2014).
- J. Preskill, Quantum Computing in the NISQ era, and beyond, Quantum 2, 79 (2018).
- M. Benedetti, E. Lloyd, S. Sack, and M. Fiorentini, Parameterized quantum circuits as machine learning models, Quantum Sci. Technol. 4, 043001 (2019).
- S. Hadfield, Z. Wang, B. O'Gorman, E. Rieffel, D. Venturelli, and R. Biswas, From the quantum approximate optimization algorithm to a quantum alternating operator ansatz, Algorithms 12, 34 (2019).
- N. Moll, P. Barkoutsos, L. S. Bishop, J. M. Chow, A. Cross, D. J. Egger, S. Filipp, A. Fuhrer, J. M. Gambetta, M. Ganzhorn et al., Quantum optimization using variational algorithms on near-term quantum devices, Quantum Sci. Technol. 3, 030503 (2018).
- J. Biamonte, P. Wittek, N. Pancotti, P. Rebentrost, N. Wiebe, and S. Lloyd, Quantum machine learning, Nature (London) 549, 195 (2017).
- G. Verdon, M. Broughton, and J. Biamonte, A quantum algorithm to train neural networks using low-depth circuits, arXiv:1712.05304.
- D. Aharonov, W. van Dam, J. Kempe, Z. Landau, S. Lloyd, and O. Regev, Adiabatic quantum computation is equivalent to standard quantum computation, in 45th Annual IEEE Symposium on Foundations of Computer Science, Rome, 2004 (IEEE, Piscataway, NJ, 2004), pp. 42–51.
- A. M. Childs, Universal Computation by Quantum Walk, Phys. Rev. Lett. 102, 180501 (2009).
- N. B. Lovett, S. Cooper, M. Everitt, M. Trevers, and V. Kendon, Universal quantum computation using the discrete-time quantum walk, Phys. Rev. A 81, 042330 (2010).
- M. Van den Nest, A. Miyake, W. Dür, and H. J. Briegel, Universal Resources for Measurement-Based Quantum Computation, Phys. Rev. Lett. 97, 150504 (2006).
- D. Deutsch, Quantum theory, the Church-Turing principle, and the universal quantum computer, Proc. R. Soc. London A, Ser. A 400, 97 (1985).
- S. C. Benjamin and S. Bose, Quantum Computing with An Always-On Heisenberg Interaction, Phys. Rev. Lett. 90, 247901 (2003).
- S. C. Benjamin and S. Bose, Quantum computing in arrays coupled by “always-on” interactions, Phys. Rev. A 70, 032314 (2004).
- Y. Shi, Both toffoli, and controlled-not need little help to do universal quantum computing, Quantum Info. Comput. 3, 84 (2003).
- S. Lloyd, Quantum approximate optimization is computationally universal, arXiv:1812.11075.
- M. E. S. Morales, J. D. Biamonte, and Z. Zimborás, On the universality of the quantum approximate optimization algorithm, Quant. Info. Proc. 19, 291 (2020).
- W. Hoeffding, Probability inequalities for sums of bounded random variables, J. Am. Stat. Assoc. 58, 13 (1963).
- See Supplemental Material at http://link.aps.org/supplemental/10.1103/PhysRevA.103.L030401 for proofs not appearing after a lemma or theorem.
- A. Kandala, A. Mezzacapo, K. Temme, M. Takita, M. Brink, J. M. Chow, and J. M. Gambetta, Hardware-efficient variational quantum eigensolver for small molecules, and quantum magnets, Nature (London) 549, 242 (2017).
- A. V. Uvarov, A. S. Kardashin, and J. D. Biamonte, Machine learning phase transitions with a quantum processor, Phys. Rev. A 102, 012415 (2020).
- A. Kardashin, A. Uvarov, D. Yudin, and J. Biamonte, Certified variational quantum algorithms for eigenstate preparation, Phys. Rev. A 102, 052610 (2020).
- L. Cincio, Y. Subaşı, A. T. Sornborger, and P. J. Coles, Learning the quantum algorithm for state overlap, New J. Phys. 20, 113022 (2018).
- S. Bravyi, D. Browne, P. Calpin, E. Campbell, D. Gosset, and M. Howard, Simulation of quantum circuits by low-rank stabilizer decompositions, Quantum 3, 181 (2019).
- S. Bravyi and D. Gosset, Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates, Phys. Rev. Lett. 116, 250501 (2016).
- R. P. Feynman, Quantum mechanical computers, Opt. News 11, 11 (1985).
- A. Y. Kitaev, A. H. Shen, and M. N. Vyalyi, Classical, and Quantum Computation (American Mathematical Society, Boston, 2002).
- V. Akshay, H. Philathong, M. E. S. Morales, and J. D. Biamonte, Reachability Deficits in Quantum Approximate Optimization, Phys. Rev. Lett. 124, 090504 (2020).
- Y. Li and S. C. Benjamin, Efficient Variational Quantum Simulator Incorporating Active Error Minimization, Phys. Rev. X 7, 021050 (2017).
- J. R. McClean, J. Romero, R. Babbush, and A. Aspuru-Guzik, The theory of variational hybrid quantum-classical algorithms, New J. Phys. 18, 023023 (2016).
- J. D. Biamonte and P. J. Love, Realizable Hamiltonians for universal adiabatic quantum computers, Phys. Rev. A 78, 012352 (2008).
- C. Bravo-Prieto, R. LaRose, M. Cerezo, Y. Subasi, L. Cincio, and P. J. Coles, Variational quantum linear solver, arXiv:1909.05820.
- M. Lubasch, J. Joo, P. Moinier, M. Kiffner, and D. Jaksch, Variational quantum algorithms for nonlinear problems, Phys. Rev. A 101, 010301(R) (2020).