Validating quantum-classical programming models with tensor network simulations
Abstract
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.
- Authors:
-
[1];
- 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)
- Publication Date:
- Research Org.:
- Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States); Oak Ridge Associated Univ., Oak Ridge, TN (United States)
- Sponsoring Org.:
- USDOE
- OSTI Identifier:
- 1627872
- Alternate Identifier(s):
- OSTI ID: 1862167
- Grant/Contract Number:
- AC05-00OR22725; AC05-00OR22750
- Resource Type:
- Accepted Manuscript
- Journal Name:
- PLoS ONE
- Additional Journal Information:
- Journal Volume: 13; Journal Issue: 12; Journal ID: ISSN 1932-6203
- Publisher:
- Public Library of Science
- Country of Publication:
- United States
- Language:
- English
- Subject:
- 97 MATHEMATICS AND COMPUTING; Science & Technology - Other Topics
Citation Formats
McCaskey, Alexander, Dumitrescu, Eugene, Chen, Mengsu, Lyakh, Dmitry, and Humble, Travis. Validating quantum-classical programming models with tensor network simulations. United States: N. p., 2018.
Web. doi:10.1371/journal.pone.0206704.
McCaskey, Alexander, Dumitrescu, Eugene, Chen, Mengsu, Lyakh, Dmitry, & Humble, Travis. Validating quantum-classical programming models with tensor network simulations. United States. https://doi.org/10.1371/journal.pone.0206704
McCaskey, Alexander, Dumitrescu, Eugene, Chen, Mengsu, Lyakh, Dmitry, and Humble, Travis. Mon .
"Validating quantum-classical programming models with tensor network simulations". United States. https://doi.org/10.1371/journal.pone.0206704. https://www.osti.gov/servlets/purl/1627872.
@article{osti_1627872,
title = {Validating quantum-classical programming models with tensor network simulations},
author = {McCaskey, Alexander and Dumitrescu, Eugene and Chen, Mengsu and Lyakh, Dmitry and Humble, Travis},
abstractNote = {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.},
doi = {10.1371/journal.pone.0206704},
journal = {PLoS ONE},
number = 12,
volume = 13,
place = {United States},
year = {Mon Dec 10 00:00:00 EST 2018},
month = {Mon Dec 10 00:00:00 EST 2018}
}
Free Publicly Available Full Text
Publisher's Version of Record
Other availability
Search WorldCat to find libraries that may hold this journal
Cited by: 18 works
Citation information provided by
Web of Science
Web of Science
Figures / Tables:
Fig 1: Decomposition of the multi-qubit wave-function tensor into the matrix-product state (MPS) tensor network, replacing a single node (tensor) having N (open) edges with N nodes (tensor factors) having at most three edges each.
All figures and tables
(9 total)
Save to My Library
You must Sign In or Create an Account in order to save documents to your library.
Works referenced in this record:
Quantum algorithms for algebraic problems
journal, January 2010
- Childs, Andrew M.; van Dam, Wim
- Reviews of Modern Physics, Vol. 82, Issue 1
Quantum algorithms: an overview
journal, January 2016
- Montanaro, Ashley
- npj Quantum Information, Vol. 2, Issue 1
A variational eigenvalue solver on a photonic quantum processor
journal, July 2014
- Peruzzo, Alberto; McClean, Jarrod; Shadbolt, Peter
- Nature Communications, Vol. 5, Issue 1
Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets
journal, September 2017
- Kandala, Abhinav; Mezzacapo, Antonio; Temme, Kristan
- Nature, Vol. 549, Issue 7671
Cloud Quantum Computing of an Atomic Nucleus
journal, May 2018
- Dumitrescu, E. F.; McCaskey, A. J.; Hagen, G.
- Physical Review Letters, Vol. 120, Issue 21
Software systems for high-performance quantum computing
conference, September 2016
- Humble, Travis S.; Britt, Keith A.
- 2016 IEEE High Performance Extreme Computing Conference (HPEC)
ScaffCC: a framework for compilation and analysis of quantum computing programs
conference, January 2014
- JavadiAbhari, Ali; Patil, Shruti; Kudrow, Daniel
- Proceedings of the 11th ACM Conference on Computing Frontiers - CF '14
An integrated programming and development environment for adiabatic quantum optimization
journal, January 2014
- S. Humble, T.; J. McCaskey, A.; S. Bennink, R.
- Computational Science & Discovery, Vol. 7, Issue 1
Improved simulation of stabilizer circuits
journal, November 2004
- Aaronson, Scott; Gottesman, Daniel
- Physical Review A, Vol. 70, Issue 5
A practical introduction to tensor networks: Matrix product states and projected entangled pair states
journal, October 2014
- Orús, Román
- Annals of Physics, Vol. 349
Numerical optimization for symmetric tensor decomposition
journal, April 2015
- Kolda, Tamara G.
- Mathematical Programming, Vol. 151, Issue 1
Density matrix formulation for quantum renormalization groups
journal, November 1992
- White, Steven R.
- Physical Review Letters, Vol. 69, Issue 19
The density-matrix renormalization group in the age of matrix product states
journal, January 2011
- Schollwöck, Ulrich
- Annals of Physics, Vol. 326, Issue 1
Computational Complexity of Projected Entangled Pair States
journal, April 2007
- Schuch, Norbert; Wolf, Michael M.; Verstraete, Frank
- Physical Review Letters, Vol. 98, Issue 14
Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems
journal, March 2008
- Verstraete, F.; Murg, V.; Cirac, J. I.
- Advances in Physics, Vol. 57, Issue 2
Simulating strongly correlated quantum systems with tree tensor networks
journal, November 2010
- Murg, V.; Verstraete, F.; Legeza, Ö.
- Physical Review B, Vol. 82, Issue 20
Efficient tree tensor network states (TTNS) for quantum chemistry: Generalizations of the density matrix renormalization group algorithm
journal, April 2013
- Nakatani, Naoki; Chan, Garnet Kin-Lic
- The Journal of Chemical Physics, Vol. 138, Issue 13
Tree tensor network approach to simulating Shor's algorithm
journal, December 2017
- Dumitrescu, Eugene
- Physical Review A, Vol. 96, Issue 6
Class of Quantum Many-Body States That Can Be Efficiently Simulated
journal, September 2008
- Vidal, G.
- Physical Review Letters, Vol. 101, Issue 11
Complete-graph tensor network states: a new fermionic wave function ansatz for molecules
journal, October 2010
- Marti, Konrad H.; Bauer, Bela; Reiher, Markus
- New Journal of Physics, Vol. 12, Issue 10
qTorch: The quantum tensor contraction handler
journal, December 2018
- Fried, E. Schuyler; Sawaya, Nicolas P. D.; Cao, Yudong
- PLOS ONE, Vol. 13, Issue 12
Characterizing quantum supremacy in near-term devices
journal, April 2018
- Boixo, Sergio; Isakov, Sergei V.; Smelyanskiy, Vadim N.
- Nature Physics, Vol. 14, Issue 6
Complete-graph tensor network states: A new fermionic wave function ansatz for molecules
text, January 2010
- H., Marti, Konrad; Bela, Bauer,; Markus, Reiher,
- ETH Zurich
The density-matrix renormalization group in the age of matrix product states
text, January 2010
- Schollwoeck, Ulrich
- arXiv
Characterizing Quantum Supremacy in Near-Term Devices
text, January 2016
- Boixo, Sergio; Isakov, Sergei V.; Smelyanskiy, Vadim N.
- arXiv
A tree tensor network approach to simulating Shor's algorithm
text, January 2017
- Dumitrescu, Eugene
- arXiv
qTorch: The Quantum Tensor Contraction Handler
text, January 2017
- Fried, E. Schuyler; Sawaya, Nicolas P. D.; Cao, Yudong
- arXiv
Cloud Quantum Computing of an Atomic Nucleus
text, January 2018
- Dumitrescu, E. F.; McCaskey, A. J.; Hagen, G.
- arXiv
Numerical optimization for symmetric tensor decomposition
journal, April 2015
- Kolda, Tamara G.
- Mathematical Programming, Vol. 151, Issue 1
The density-matrix renormalization group in the age of matrix product states
journal, January 2011
- Schollwöck, Ulrich
- Annals of Physics, Vol. 326, Issue 1
Performing fully parallel constraint logic programming on a quantum annealer
journal, May 2018
- Pakin, Scott
- Theory and Practice of Logic Programming, Vol. 18, Issue 5-6
A variational eigenvalue solver on a photonic quantum processor
journal, July 2014
- Peruzzo, Alberto; McClean, Jarrod; Shadbolt, Peter
- Nature Communications, Vol. 5, Issue 1
Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems
journal, March 2008
- Verstraete, F.; Murg, V.; Cirac, J. I.
- Advances in Physics, Vol. 57, Issue 2
ProjectQ: an open source software framework for quantum computing
journal, January 2018
- Steiger, Damian S.; Häner, Thomas; Troyer, Matthias
- Quantum, Vol. 2
Complete-graph tensor network states: A new fermionic wave function ansatz for molecules
text, January 2010
- H., Marti, Konrad; Bela, Bauer,; Markus, Reiher,
- ETH Zurich
Efficient Tree Tensor Network States (TTNS) for Quantum Chemistry: Generalizations of the Density Matrix Renormalization Group Algorithm
text, January 2013
- Nakatani, Naoki; Chan, Garnet Kin-Lic
- arXiv
Characterizing Quantum Supremacy in Near-Term Devices
text, January 2016
- Boixo, Sergio; Isakov, Sergei V.; Smelyanskiy, Vadim N.
- arXiv
Experimental Comparison of Two Quantum Computing Architectures
text, January 2017
- Linke, N. M.; Maslov, D.; Roetteler, M.
- arXiv
0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit
text, January 2017
- Häner, Thomas; Steiger, Damian S.
- arXiv
Hardware-efficient Variational Quantum Eigensolver for Small Molecules and Quantum Magnets
text, January 2017
- Kandala, Abhinav; Mezzacapo, Antonio; Temme, Kristan
- arXiv
Works referencing / citing this record:
XACC: a system-level software infrastructure for heterogeneous quantum–classical computing
journal, February 2020
- McCaskey, Alexander J.; Lyakh, Dmitry I.; Dumitrescu, Eugene F.
- Quantum Science and Technology, Vol. 5, Issue 2
General-Purpose Quantum Circuit Simulator with Projected Entangled-Pair States and the Quantum Supremacy Frontier
journal, November 2019
- Guo, Chu; Liu, Yong; Xiong, Min
- Physical Review Letters, Vol. 123, Issue 19
Open source software in quantum computing
journal, December 2018
- Fingerhuth, Mark; Babej, Tomáš; Wittek, Peter
- PLOS ONE, Vol. 13, Issue 12
General-purpose quantum circuit simulator with Projected Entangled-Pair States and the quantum supremacy frontier
text, January 2019
- Guo, Chu; Liu, Yong; Xiong, Min
- arXiv
Figures / Tables found in this record:
Figures/Tables have been extracted from DOE-funded journal article accepted manuscripts.