DOE PAGES title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: 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 » 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.« less

Authors:
 [1];  [2];  [3];  [4]
  1. Corp., Santa Clara, CA (United States)
  2. Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States)
  3. Univ. of Chicago, IL (United States)
  4. 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


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
  • DOI: 10.1109/ASPDAC.2015.7059001

ScaffCC: Scalable compilation and analysis of quantum programs
journal, June 2015


Approximate quantum circuit synthesis using block encodings
journal, November 2020


Optimization of quantum circuit mapping using gate transformation and commutation
journal, January 2020


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
  • DOI: 10.1088/2058-9565/ab8e92

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
  • DOI: 10.1140/epjd/e2015-60464-1

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)
  • DOI: 10.1109/QCE49297.2020.00036

Quantum advantage with shallow circuits
journal, October 2018


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
  • DOI: 10.1109/TCAD.2008.917562

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)
  • DOI: 10.1109/ISMVL.2018.00025

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
  • DOI: 10.1109/JETCAS.2016.2528720

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
  • DOI: 10.1109/TCAD.2009.2017215

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
  • DOI: 10.1109/TCAD.2013.2244643

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
  • DOI: 10.1109/TCAD.2005.855930

Parallelizing quantum circuit synthesis
journal, March 2016


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
  • DOI: 10.1145/2766452

Compiling quantum algorithms for architectures with multi-qubit gates
journal, June 2016


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)
  • DOI: 10.1109/VDAT50263.2020.9190279

A variational eigenvalue solver on a photonic quantum processor
journal, July 2014

  • Peruzzo, Alberto; McClean, Jarrod; Shadbolt, Peter
  • Nature Communications, Vol. 5, Issue 1
  • DOI: 10.1038/ncomms5213

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
  • DOI: 10.1088/2058-9565/aab822

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)
  • DOI: 10.1109/ISVLSI.2018.00063

Quantum sampling problems, BosonSampling and quantum supremacy
journal, April 2017


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
  • DOI: 10.1145/3352460.3358313

Phonon-driven spin-Floquet magneto-valleytronics in MoS2
journal, February 2018


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
  • DOI: 10.1007/s11128-010-0201-2

Exact synthesis of multiqubit Clifford+ T circuits
journal, March 2013


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)
  • DOI: 10.1109/ASPDAC.2016.7428026

Quantum supremacy using a programmable superconducting processor
journal, October 2019


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)
  • DOI: 10.23919/DATE.2018.8342078

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
  • DOI: 10.1088/2058-9565/aad8ca

Block- Z X Z synthesis of an arbitrary quantum circuit
journal, November 2016


Quantum Computing in the NISQ era and beyond
journal, August 2018


Quantum factoring, discrete logarithms, and the hidden subgroup problem
journal, January 2001


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
  • DOI: 10.1098/rspa.1998.0164

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)
  • DOI: 10.1109/ISCA45697.2020.00052

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)
  • DOI: 10.1109/ISCA45697.2020.00054

Efficient Synthesis of Universal Repeat-Until-Success Quantum Circuits
journal, February 2015


Two-bit gates are universal for quantum computation
journal, February 1995


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)
  • DOI: 10.1109/ASPDAC.2014.6742939

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
  • DOI: 10.1038/nature23879

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)
  • DOI: 10.23919/DATE.2018.8342181

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)
  • DOI: 10.1109/ICCAD45719.2019.8942156

Quantum machine learning
journal, September 2017

  • Biamonte, Jacob; Wittek, Peter; Pancotti, Nicola
  • Nature, Vol. 549, Issue 7671
  • DOI: 10.1038/nature23474