Validating quantum-classical programming models with tensor network simulations

McCaskey, Alexander; Dumitrescu, Eugene; Chen, Mengsu; Lyakh, Dmitry; Humble, Travis

doi:10.1371/journal.pone.0206704

Title: Validating quantum-classical programming models with tensor network simulations

Journal Article · Mon Dec 10 00:00:00 EST 2018 · PLoS ONE

DOI:https://doi.org/10.1371/journal.pone.0206704· OSTI ID:1627872

^[1]; Dumitrescu, Eugene ^[1]; Chen, Mengsu ^[2]; Lyakh, Dmitry ^[3]; Humble, Travis ^[4]

Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States). Quantum Computing Inst.
Virginia Polytechnic Inst. and State Univ. (Virginia Tech), Blacksburg, VA (United States)
Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States). Quantum Computing Inst. and National Center for Computational Sciences
Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States). Quantum Computing Inst.; Univ. of Tennessee, Knoxville, TN (United States)

The exploration of hybrid quantum-classical algorithms and programming models on noisy near-term quantum hardware has begun. As hybrid programs scale towards classical intractability, validation and benchmarking are critical to understanding the utility of the hybrid computational model. In this paper, we demonstrate a newly developed quantum circuit simulator based on tensor network theory that enables intermediate-scale verification and validation of hybrid quantum-classical computing frameworks and programming models. We present our tensor-network quantum virtual machine (TNQVM) simulator which stores a multi-qubit wavefunction in a compressed (factorized) form as a matrix product state, thus enabling single-node simulations of larger qubit registers, as compared to brute-force state-vector simulators. Our simulator is designed to be extensible in both the tensor network form and the classical hardware used to run the simulation (multicore, GPU, distributed). The extensibility of the TNQVM simulator with respect to the simulation hardware type is achieved via a pluggable interface for different numerical backends (e.g., ITensor and ExaTENSOR numerical libraries). We demonstrate the utility of our TNQVM quantum circuit simulator through the verification of randomized quantum circuits and the variational quantum eigensolver algorithm, both expressed within the eXtreme-scale ACCelerator (XACC) programming model.

View Accepted Manuscript (DOE)

Cite

Export

Save

Research Organization:: Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States); Oak Ridge Associated Univ., Oak Ridge, TN (United States)

Sponsoring Organization:: USDOE

Grant/Contract Number:: AC05-00OR22725; AC05-00OR22750

OSTI ID:: 1627872

Alternate ID(s):: OSTI ID: 1862167

Journal Information:: PLoS ONE, Vol. 13, Issue 12; ISSN 1932-6203

Publisher:: Public Library of ScienceCopyright Statement

Country of Publication:: United States

Language:: English

Citation Metrics:

Cited by: 18 works

Citation information provided by
Web of Science

References (37)

Quantum algorithms for algebraic problems Childs, Andrew M.; van Dam, Wim Reviews of Modern Physics, Vol. 82, Issue 1 https://doi.org/10.1103/RevModPhys.82.1	journal	January 2010
Quantum algorithms: an overview Montanaro, Ashley npj Quantum Information, Vol. 2, Issue 1 https://doi.org/10.1038/npjqi.2015.23	journal	January 2016
Quantum Computing in the NISQ era and beyond Preskill, John Quantum, Vol. 2 https://doi.org/10.22331/q-2018-08-06-79	journal	August 2018
A variational eigenvalue solver on a photonic quantum processor Peruzzo, Alberto; McClean, Jarrod; Shadbolt, Peter Nature Communications, Vol. 5, Issue 1 https://doi.org/10.1038/ncomms5213	journal	July 2014
Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets Kandala, Abhinav; Mezzacapo, Antonio; Temme, Kristan Nature, Vol. 549, Issue 7671 https://doi.org/10.1038/nature23879	journal	September 2017
Cloud Quantum Computing of an Atomic Nucleus Dumitrescu, E. F.; McCaskey, A. J.; Hagen, G. Physical Review Letters, Vol. 120, Issue 21 https://doi.org/10.1103/PhysRevLett.120.210501	journal	May 2018
Software systems for high-performance quantum computing Humble, Travis S.; Britt, Keith A. 2016 IEEE High Performance Extreme Computing Conference (HPEC) https://doi.org/10.1109/HPEC.2016.7761628	conference	September 2016
ScaffCC: a framework for compilation and analysis of quantum computing programs JavadiAbhari, Ali; Patil, Shruti; Kudrow, Daniel Proceedings of the 11th ACM Conference on Computing Frontiers - CF '14 https://doi.org/10.1145/2597917.2597939	conference	January 2014
An integrated programming and development environment for adiabatic quantum optimization S. Humble, T.; J. McCaskey, A.; S. Bennink, R. Computational Science & Discovery, Vol. 7, Issue 1 https://doi.org/10.1088/1749-4680/7/1/015006	journal	January 2014
Improved simulation of stabilizer circuits Aaronson, Scott; Gottesman, Daniel Physical Review A, Vol. 70, Issue 5 https://doi.org/10.1103/PhysRevA.70.052328	journal	November 2004
A practical introduction to tensor networks: Matrix product states and projected entangled pair states Orús, Román Annals of Physics, Vol. 349 https://doi.org/10.1016/j.aop.2014.06.013	journal	October 2014
Numerical optimization for symmetric tensor decomposition Kolda, Tamara G. Mathematical Programming, Vol. 151, Issue 1 https://doi.org/10.1007/s10107-015-0895-0	journal	April 2015
Density matrix formulation for quantum renormalization groups White, Steven R. Physical Review Letters, Vol. 69, Issue 19 https://doi.org/10.1103/PhysRevLett.69.2863	journal	November 1992
The density-matrix renormalization group in the age of matrix product states Schollwöck, Ulrich Annals of Physics, Vol. 326, Issue 1 https://doi.org/10.1016/j.aop.2010.09.012	journal	January 2011
Computational Complexity of Projected Entangled Pair States Schuch, Norbert; Wolf, Michael M.; Verstraete, Frank Physical Review Letters, Vol. 98, Issue 14 https://doi.org/10.1103/PhysRevLett.98.140506	journal	April 2007
Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems Verstraete, F.; Murg, V.; Cirac, J. I. Advances in Physics, Vol. 57, Issue 2 https://doi.org/10.1080/14789940801912366	journal	March 2008
Simulating strongly correlated quantum systems with tree tensor networks Murg, V.; Verstraete, F.; Legeza, Ö. Physical Review B, Vol. 82, Issue 20 https://doi.org/10.1103/PhysRevB.82.205105	journal	November 2010
Efficient tree tensor network states (TTNS) for quantum chemistry: Generalizations of the density matrix renormalization group algorithm Nakatani, Naoki; Chan, Garnet Kin-Lic The Journal of Chemical Physics, Vol. 138, Issue 13 https://doi.org/10.1063/1.4798639	journal	April 2013
Tree tensor network approach to simulating Shor's algorithm Dumitrescu, Eugene Physical Review A, Vol. 96, Issue 6 https://doi.org/10.1103/PhysRevA.96.062322	journal	December 2017
Class of Quantum Many-Body States That Can Be Efficiently Simulated Vidal, G. Physical Review Letters, Vol. 101, Issue 11 https://doi.org/10.1103/PhysRevLett.101.110501	journal	September 2008
Complete-graph tensor network states: a new fermionic wave function ansatz for molecules Marti, Konrad H.; Bauer, Bela; Reiher, Markus New Journal of Physics, Vol. 12, Issue 10 https://doi.org/10.1088/1367-2630/12/10/103008	journal	October 2010
qTorch: The quantum tensor contraction handler Fried, E. Schuyler; Sawaya, Nicolas P. D.; Cao, Yudong PLOS ONE, Vol. 13, Issue 12 https://doi.org/10.1371/journal.pone.0208510	journal	December 2018
Characterizing quantum supremacy in near-term devices Boixo, Sergio; Isakov, Sergei V.; Smelyanskiy, Vadim N. Nature Physics, Vol. 14, Issue 6 https://doi.org/10.1038/s41567-018-0124-x	journal	April 2018
Complete-graph tensor network states: A new fermionic wave function ansatz for molecules H., Marti, Konrad; Bela, Bauer,; Markus, Reiher, ETH Zurich https://doi.org/10.3929/ethz-b-000159263	text	January 2010
Quantum algorithms for algebraic problems Childs, Andrew M.; van Dam, Wim arXiv https://doi.org/10.48550/arxiv.0812.0380	text	January 2008
The density-matrix renormalization group in the age of matrix product states Schollwoeck, Ulrich arXiv https://doi.org/10.48550/arxiv.1008.3477	text	January 2010
Characterizing Quantum Supremacy in Near-Term Devices Boixo, Sergio; Isakov, Sergei V.; Smelyanskiy, Vadim N. arXiv https://doi.org/10.48550/arxiv.1608.00263	text	January 2016
A tree tensor network approach to simulating Shor's algorithm Dumitrescu, Eugene arXiv https://doi.org/10.48550/arxiv.1705.01140	text	January 2017
qTorch: The Quantum Tensor Contraction Handler Fried, E. Schuyler; Sawaya, Nicolas P. D.; Cao, Yudong arXiv https://doi.org/10.48550/arxiv.1709.03636	text	January 2017
Quantum Computing in the NISQ era and beyond Preskill, John arXiv https://doi.org/10.48550/arxiv.1801.00862	text	January 2018
Cloud Quantum Computing of an Atomic Nucleus Dumitrescu, E. F.; McCaskey, A. J.; Hagen, G. arXiv https://doi.org/10.48550/arxiv.1801.03897	text	January 2018
Performing fully parallel constraint logic programming on a quantum annealer Pakin, Scott Theory and Practice of Logic Programming, Vol. 18, Issue 5-6 https://doi.org/10.1017/s1471068418000066	journal	May 2018
ProjectQ: an open source software framework for quantum computing Steiger, Damian S.; Häner, Thomas; Troyer, Matthias Quantum, Vol. 2 https://doi.org/10.22331/q-2018-01-31-49	journal	January 2018
Efficient Tree Tensor Network States (TTNS) for Quantum Chemistry: Generalizations of the Density Matrix Renormalization Group Algorithm Nakatani, Naoki; Chan, Garnet Kin-Lic arXiv https://doi.org/10.48550/arxiv.1302.2298	text	January 2013
Experimental Comparison of Two Quantum Computing Architectures Linke, N. M.; Maslov, D.; Roetteler, M. arXiv https://doi.org/10.48550/arxiv.1702.01852	text	January 2017
0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit Häner, Thomas; Steiger, Damian S. arXiv https://doi.org/10.48550/arxiv.1704.01127	text	January 2017
Hardware-efficient Variational Quantum Eigensolver for Small Molecules and Quantum Magnets Kandala, Abhinav; Mezzacapo, Antonio; Temme, Kristan arXiv https://doi.org/10.48550/arxiv.1704.05018	text	January 2017

Cited By (4)

XACC: a system-level software infrastructure for heterogeneous quantum–classical computing McCaskey, Alexander J.; Lyakh, Dmitry I.; Dumitrescu, Eugene F. Quantum Science and Technology, Vol. 5, Issue 2 https://doi.org/10.1088/2058-9565/ab6bf6	journal	February 2020
General-Purpose Quantum Circuit Simulator with Projected Entangled-Pair States and the Quantum Supremacy Frontier Guo, Chu; Liu, Yong; Xiong, Min Physical Review Letters, Vol. 123, Issue 19 https://doi.org/10.1103/physrevlett.123.190501	journal	November 2019
Open source software in quantum computing Fingerhuth, Mark; Babej, Tomáš; Wittek, Peter PLOS ONE, Vol. 13, Issue 12 https://doi.org/10.1371/journal.pone.0208561	journal	December 2018
General-purpose quantum circuit simulator with Projected Entangled-Pair States and the quantum supremacy frontier Guo, Chu; Liu, Yong; Xiong, Min arXiv https://doi.org/10.48550/arxiv.1905.08394	text	January 2019