Reoptimization of Quantum Circuits via Hierarchical Synthesis
Abstract
The current phase of quantum computing is in the Noisy Intermediate-Scale Quantum (NISQ) era. On NISQ devices, two-qubit gates such as CNOTs are much noisier than single-qubit gates, so it is essential to minimize their count. Quantum circuit synthesis is a process of decomposing an arbitrary unitary into a sequence of quantum gates, and can be used as an optimization tool to produce shorter circuits to improve overall circuit fidelity. However, the time-to-solution of synthesis grows exponentially with the number of qubits. As a result, synthesis is intractable for circuits on a large qubit scale. In this paper, we propose a hierarchical, block-by-block opti-mization framework, QGo, for quantum circuit optimization. Our approach allows an exponential cost optimization to scale to large circuits. QGo uses a combination of partitioning and synthesis: 1) partition the circuit into a sequence of independent circuit blocks; 2) re-generate and optimize each block using quantum synthesis; and 3) re-compose the final circuit by stitching all the blocks together. We perform our analysis and show the fidelity improvements in three different regimes: small-size circuits on real devices, medium-size circuits on noisy simulations, and large-size circuits on analytical models. Our technique can be applied after existing optimizations tomore »
- Authors:
-
- Corp., Santa Clara, CA (United States)
- Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States)
- Univ. of Chicago, IL (United States)
- Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)
- Publication Date:
- Research Org.:
- Univ. of Chicago, IL (United States)
- Sponsoring Org.:
- USDOE Office of Science (SC), Engineering & Technology
- OSTI Identifier:
- 1865293
- Grant/Contract Number:
- SC0020289
- Resource Type:
- Accepted Manuscript
- Journal Name:
- 2021 International Conference on Rebooting Computing (ICRC)
- Additional Journal Information:
- Journal Name: 2021 International Conference on Rebooting Computing (ICRC); Journal Volume: 2021; Conference: 2021 International Conference on Rebooting Computing (ICRC), Los Alamitos (held virtually), CA (United States), 30 Nov - 2 Dec 2021
- Publisher:
- IEEE
- Country of Publication:
- United States
- Language:
- English
- Subject:
- 97 MATHEMATICS AND COMPUTING; Analytical models; Circuit optimization; Scalability; Qubit; Production; Logic gates; Noise measurement
Citation Formats
Wu, Xin-Chuan, Davis, Marc Grau, Chong, Frederic T., and Iancu, Costin. Reoptimization of Quantum Circuits via Hierarchical Synthesis. United States: N. p., 2021.
Web. doi:10.1109/icrc53822.2021.00016.
Wu, Xin-Chuan, Davis, Marc Grau, Chong, Frederic T., & Iancu, Costin. Reoptimization of Quantum Circuits via Hierarchical Synthesis. United States. https://doi.org/10.1109/icrc53822.2021.00016
Wu, Xin-Chuan, Davis, Marc Grau, Chong, Frederic T., and Iancu, Costin. Mon .
"Reoptimization of Quantum Circuits via Hierarchical Synthesis". United States. https://doi.org/10.1109/icrc53822.2021.00016. https://www.osti.gov/servlets/purl/1865293.
@article{osti_1865293,
title = {Reoptimization of Quantum Circuits via Hierarchical Synthesis},
author = {Wu, Xin-Chuan and Davis, Marc Grau and Chong, Frederic T. and Iancu, Costin},
abstractNote = {The current phase of quantum computing is in the Noisy Intermediate-Scale Quantum (NISQ) era. On NISQ devices, two-qubit gates such as CNOTs are much noisier than single-qubit gates, so it is essential to minimize their count. Quantum circuit synthesis is a process of decomposing an arbitrary unitary into a sequence of quantum gates, and can be used as an optimization tool to produce shorter circuits to improve overall circuit fidelity. However, the time-to-solution of synthesis grows exponentially with the number of qubits. As a result, synthesis is intractable for circuits on a large qubit scale. In this paper, we propose a hierarchical, block-by-block opti-mization framework, QGo, for quantum circuit optimization. Our approach allows an exponential cost optimization to scale to large circuits. QGo uses a combination of partitioning and synthesis: 1) partition the circuit into a sequence of independent circuit blocks; 2) re-generate and optimize each block using quantum synthesis; and 3) re-compose the final circuit by stitching all the blocks together. We perform our analysis and show the fidelity improvements in three different regimes: small-size circuits on real devices, medium-size circuits on noisy simulations, and large-size circuits on analytical models. Our technique can be applied after existing optimizations to achieve higher circuit fidelity. Further, using a set of NISQ benchmarks, we show that QGo can reduce the number of CNOT gates by 29.9% on average and up to 50% when compared with industrial compiler optimizations such as t|ket). When executed on the IBM Athens system, shorter depth leads to higher circuit fidelity. We also demonstrate the scalability of our QGo technique to optimize circuits of 60+ qubits, Our technique is the first demonstration of successfully employing and scaling synthesis in the compilation tool chain for large circuits. Overall, our approach is robust for direct incorporation in production compiler toolchains to further improve the circuit fidelity.},
doi = {10.1109/icrc53822.2021.00016},
journal = {2021 International Conference on Rebooting Computing (ICRC)},
number = ,
volume = 2021,
place = {United States},
year = {Mon Nov 01 00:00:00 EDT 2021},
month = {Mon Nov 01 00:00:00 EDT 2021}
}
Works referenced in this record:
Dynamical Quantum Phase Transitions in the Transverse-Field Ising Model
journal, March 2013
- Heyl, M.; Polkovnikov, A.; Kehrein, S.
- Physical Review Letters, Vol. 110, Issue 13
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits
conference, January 2015
- Lye, Aaron; Wille, Robert; Drechsler, Rolf
- 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC), The 20th Asia and South Pacific Design Automation Conference
ScaffCC: Scalable compilation and analysis of quantum programs
journal, June 2015
- JavadiAbhari, Ali; Patil, Shruti; Kudrow, Daniel
- Parallel Computing, Vol. 45
Approximate quantum circuit synthesis using block encodings
journal, November 2020
- Camps, Daan; Van Beeumen, Roel
- Physical Review A, Vol. 102, Issue 5
Optimization of quantum circuit mapping using gate transformation and commutation
journal, January 2020
- Itoko, Toshinari; Raymond, Rudy; Imamichi, Takashi
- Integration, Vol. 70
t|ket⟩: a retargetable compiler for NISQ devices
journal, November 2020
- Sivarajah, Seyon; Dilkes, Silas; Cowtan, Alexander
- Quantum Science and Technology, Vol. 6, Issue 1
Training Schrödinger’s cat: quantum optimal control: Strategic report on current status, visions and goals for research in Europe
journal, December 2015
- Glaser, Steffen J.; Boscain, Ugo; Calarco, Tommaso
- The European Physical Journal D, Vol. 69, Issue 12
Towards Optimal Topology Aware Quantum Circuit Synthesis
conference, October 2020
- Davis, Marc G.; Smith, Ethan; Tudor, Ana
- 2020 IEEE International Conference on Quantum Computing and Engineering (QCE)
Quantum advantage with shallow circuits
journal, October 2018
- Bravyi, Sergey; Gosset, David; König, Robert
- Science, Vol. 362, Issue 6412
Quantum Circuit Placement
journal, April 2008
- Maslov, Dmitri; Falconer, Sean M.; Mosca, Michele
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 27, Issue 4
Synthesis of Reversible Circuits Using Conventional Hardware Description Languages
conference, May 2018
- Alwardi, Zaid; Wille, Robert; Drechsler, Rolf
- 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)
A Heuristic for Linear Nearest Neighbor Realization of Quantum Circuits by SWAP Gate Insertion Using -Gate Lookahead
journal, March 2016
- Kole, Abhoy; Datta, Kamalika; Sengupta, Indranil
- IEEE Journal on Emerging and Selected Topics in Circuits and Systems, Vol. 6, Issue 1
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques
journal, May 2009
- Grosse, D.; Wille, R.; Dueck, G. W.
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 28, Issue 5
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits
journal, June 2013
- Amy, M.; Maslov, D.; Mosca, M.
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 32, Issue 6
Synthesis of quantum-logic circuits
journal, June 2006
- Shende, V. V.; Bullock, S. S.; Markov, I. L.
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 25, Issue 6
Parallelizing quantum circuit synthesis
journal, March 2016
- Matteo, Olivia Di; Mosca, Michele
- Quantum Science and Technology, Vol. 1, Issue 1
An MINLP Model for Scheduling and Placement of Quantum Circuits with a Heuristic Solution Approach
journal, September 2015
- Bahreini, Tayebeh; Mohammadzadeh, Naser
- ACM Journal on Emerging Technologies in Computing Systems, Vol. 12, Issue 3
Compiling quantum algorithms for architectures with multi-qubit gates
journal, June 2016
- Martinez, Esteban A.; Monz, Thomas; Nigg, Daniel
- New Journal of Physics, Vol. 18, Issue 6
Post Synthesis-Optimization of Reversible Circuit using Template Matching
conference, July 2020
- Bandyopadhyay, Chandan; Wille, Robert; Drechsler, Rolf
- 2020 24th International Symposium on VLSI Design and Test (VDAT)
A variational eigenvalue solver on a photonic quantum processor
journal, July 2014
- Peruzzo, Alberto; McClean, Jarrod; Shadbolt, Peter
- Nature Communications, Vol. 5, Issue 1
Quantum optimization using variational algorithms on near-term quantum devices
journal, June 2018
- Moll, Nikolaj; Barkoutsos, Panagiotis; Bishop, Lev S.
- Quantum Science and Technology, Vol. 3, Issue 3
A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits
conference, July 2018
- Bhattacharjee, Anirban; Bandyopadhyay, Chandan; Wille, Robert
- 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Quantum sampling problems, BosonSampling and quantum supremacy
journal, April 2017
- Lund, A. P.; Bremner, Michael J.; Ralph, T. C.
- npj Quantum Information, Vol. 3, Issue 1
Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines
conference, October 2019
- Gokhale, Pranav; Ding, Yongshan; Propson, Thomas
- MICRO '52: The 52nd Annual IEEE/ACM International Symposium on Microarchitecture, Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture
Phonon-driven spin-Floquet magneto-valleytronics in MoS2
journal, February 2018
- Shin, Dongbin; Hübener, Hannes; De Giovannini, Umberto
- Nature Communications, Vol. 9, Issue 1
Synthesis of quantum circuits for linear nearest neighbor architectures
journal, October 2010
- Saeedi, Mehdi; Wille, Robert; Drechsler, Rolf
- Quantum Information Processing, Vol. 10, Issue 3
Exact synthesis of multiqubit Clifford+ circuits
journal, March 2013
- Giles, Brett; Selinger, Peter
- Physical Review A, Vol. 87, Issue 3
Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits
conference, January 2016
- Wille, Robert; Keszocze, Oliver; Walter, Marcel
- 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)
Quantum supremacy using a programmable superconducting processor
journal, October 2019
- Arute, Frank; Arya, Kunal; Babbush, Ryan
- Nature, Vol. 574, Issue 7779
Improved synthesis of Clifford+T quantum functionality
conference, March 2018
- Niemann, Philipp; Wille, Robert; Drechsler, Rolf
- 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)
On the controlled-NOT complexity of controlled-NOT–phase circuits
journal, September 2018
- Amy, Matthew; Azimzadeh, Parsiad; Mosca, Michele
- Quantum Science and Technology, Vol. 4, Issue 1
Block- synthesis of an arbitrary quantum circuit
journal, November 2016
- De Vos, A.; De Baerdemacker, S.
- Physical Review A, Vol. 94, Issue 5
Quantum factoring, discrete logarithms, and the hidden subgroup problem
journal, January 2001
- Jozsa, R.
- Computing in Science & Engineering, Vol. 3, Issue 2
Quantum algorithms revisited
journal, January 1998
- Cleve, R.; Ekert, A.; Macchiavello, C.
- Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, Vol. 454, Issue 1969
AccQOC: Accelerating Quantum Optimal Control Based Pulse Generation
conference, May 2020
- Cheng, Jinglei; Deng, Haoqing; Qia, Xuehai
- 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA)
SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation
conference, May 2020
- Ding, Yongshan; Wu, Xin-Chuan; Holmes, Adam
- 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA)
Efficient Synthesis of Universal Repeat-Until-Success Quantum Circuits
journal, February 2015
- Bocharov, Alex; Roetteler, Martin; Svore, Krysta M.
- Physical Review Letters, Vol. 114, Issue 8
Two-bit gates are universal for quantum computation
journal, February 1995
- DiVincenzo, David P.
- Physical Review A, Vol. 51, Issue 2
Optimal SWAP gate insertion for nearest neighbor quantum circuits
conference, January 2014
- Wille, Robert; Lye, Aaron; Drechsler, Rolf
- 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)
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
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
journal, January 1999
- Shor, Peter W.
- SIAM Review, Vol. 41, Issue 2
Efficient mapping of quantum circuits to the IBM QX architectures
conference, March 2018
- Zulehner, Alwin; Paler, Alexandru; Wille, Robert
- 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines
conference, November 2019
- Wille, Robert; Haghparast, Majid; Adarsh, Smaran
- 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Quantum machine learning
journal, September 2017
- Biamonte, Jacob; Wittek, Peter; Pancotti, Nicola
- Nature, Vol. 549, Issue 7671