Reoptimization of Quantum Circuits via Hierarchical Synthesis

Wu, Xin-Chuan; Davis, Marc Grau; Chong, Frederic T.; Iancu, Costin

doi:10.1109/icrc53822.2021.00016

Title: Reoptimization of Quantum Circuits via Hierarchical Synthesis

Journal Article · Mon Nov 01 00:00:00 EDT 2021 · 2021 International Conference on Rebooting Computing (ICRC)

DOI:https://doi.org/10.1109/icrc53822.2021.00016· OSTI ID:1865293

Wu, Xin-Chuan ^[1]; Davis, Marc Grau ^[2]; Chong, Frederic T. ^[3]; Iancu, Costin ^[4]

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)

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.

View Accepted Manuscript (DOE)

Cite

Export

Save

Research Organization:: Univ. of Chicago, IL (United States)

Sponsoring Organization:: USDOE Office of Science (SC), Engineering & Technology

Grant/Contract Number:: SC0020289

OSTI ID:: 1865293

Journal Information:: 2021 International Conference on Rebooting Computing (ICRC), Vol. 2021; Conference: 2021 International Conference on Rebooting Computing (ICRC), Los Alamitos (held virtually), CA (United States), 30 Nov - 2 Dec 2021

Publisher:: IEEECopyright Statement

Country of Publication:: United States

Language:: English

References (45)

Dynamical Quantum Phase Transitions in the Transverse-Field Ising Model Heyl, M.; Polkovnikov, A.; Kehrein, S. Physical Review Letters, Vol. 110, Issue 13 https://doi.org/10.1103/PhysRevLett.110.135704	journal	March 2013
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits 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 https://doi.org/10.1109/ASPDAC.2015.7059001	conference	January 2015
ScaffCC: Scalable compilation and analysis of quantum programs JavadiAbhari, Ali; Patil, Shruti; Kudrow, Daniel Parallel Computing, Vol. 45 https://doi.org/10.1016/j.parco.2014.12.001	journal	June 2015
Approximate quantum circuit synthesis using block encodings Camps, Daan; Van Beeumen, Roel Physical Review A, Vol. 102, Issue 5 https://doi.org/10.1103/PhysRevA.102.052411	journal	November 2020
Optimization of quantum circuit mapping using gate transformation and commutation Itoko, Toshinari; Raymond, Rudy; Imamichi, Takashi Integration, Vol. 70 https://doi.org/10.1016/j.vlsi.2019.10.004	journal	January 2020
t\|ket⟩: a retargetable compiler for NISQ devices Sivarajah, Seyon; Dilkes, Silas; Cowtan, Alexander Quantum Science and Technology, Vol. 6, Issue 1 https://doi.org/10.1088/2058-9565/ab8e92	journal	November 2020
Training Schrödinger’s cat: quantum optimal control: Strategic report on current status, visions and goals for research in Europe Glaser, Steffen J.; Boscain, Ugo; Calarco, Tommaso The European Physical Journal D, Vol. 69, Issue 12 https://doi.org/10.1140/epjd/e2015-60464-1	journal	December 2015
Towards Optimal Topology Aware Quantum Circuit Synthesis Davis, Marc G.; Smith, Ethan; Tudor, Ana 2020 IEEE International Conference on Quantum Computing and Engineering (QCE) https://doi.org/10.1109/QCE49297.2020.00036	conference	October 2020
Quantum advantage with shallow circuits Bravyi, Sergey; Gosset, David; König, Robert Science, Vol. 362, Issue 6412 https://doi.org/10.1126/science.aar3106	journal	October 2018
Quantum Circuit Placement Maslov, Dmitri; Falconer, Sean M.; Mosca, Michele IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 27, Issue 4 https://doi.org/10.1109/TCAD.2008.917562	journal	April 2008
Synthesis of Reversible Circuits Using Conventional Hardware Description Languages Alwardi, Zaid; Wille, Robert; Drechsler, Rolf 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL) https://doi.org/10.1109/ISMVL.2018.00025	conference	May 2018
A Heuristic for Linear Nearest Neighbor Realization of Quantum Circuits by SWAP Gate Insertion Using -Gate Lookahead Kole, Abhoy; Datta, Kamalika; Sengupta, Indranil IEEE Journal on Emerging and Selected Topics in Circuits and Systems, Vol. 6, Issue 1 https://doi.org/10.1109/JETCAS.2016.2528720	journal	March 2016
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques Grosse, D.; Wille, R.; Dueck, G. W. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 28, Issue 5 https://doi.org/10.1109/TCAD.2009.2017215	journal	May 2009
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits Amy, M.; Maslov, D.; Mosca, M. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 32, Issue 6 https://doi.org/10.1109/TCAD.2013.2244643	journal	June 2013
Synthesis of quantum-logic circuits Shende, V. V.; Bullock, S. S.; Markov, I. L. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 25, Issue 6 https://doi.org/10.1109/TCAD.2005.855930	journal	June 2006
Parallelizing quantum circuit synthesis Matteo, Olivia Di; Mosca, Michele Quantum Science and Technology, Vol. 1, Issue 1 https://doi.org/10.1088/2058-9565/1/1/015003	journal	March 2016
An MINLP Model for Scheduling and Placement of Quantum Circuits with a Heuristic Solution Approach Bahreini, Tayebeh; Mohammadzadeh, Naser ACM Journal on Emerging Technologies in Computing Systems, Vol. 12, Issue 3 https://doi.org/10.1145/2766452	journal	September 2015
Compiling quantum algorithms for architectures with multi-qubit gates Martinez, Esteban A.; Monz, Thomas; Nigg, Daniel New Journal of Physics, Vol. 18, Issue 6 https://doi.org/10.1088/1367-2630/18/6/063029	journal	June 2016
Post Synthesis-Optimization of Reversible Circuit using Template Matching Bandyopadhyay, Chandan; Wille, Robert; Drechsler, Rolf 2020 24th International Symposium on VLSI Design and Test (VDAT) https://doi.org/10.1109/VDAT50263.2020.9190279	conference	July 2020
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
Quantum optimization using variational algorithms on near-term quantum devices Moll, Nikolaj; Barkoutsos, Panagiotis; Bishop, Lev S. Quantum Science and Technology, Vol. 3, Issue 3 https://doi.org/10.1088/2058-9565/aab822	journal	June 2018
A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits Bhattacharjee, Anirban; Bandyopadhyay, Chandan; Wille, Robert 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) https://doi.org/10.1109/ISVLSI.2018.00063	conference	July 2018
Quantum sampling problems, BosonSampling and quantum supremacy Lund, A. P.; Bremner, Michael J.; Ralph, T. C. npj Quantum Information, Vol. 3, Issue 1 https://doi.org/10.1038/s41534-017-0018-2	journal	April 2017
Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines 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 https://doi.org/10.1145/3352460.3358313	conference	October 2019
Phonon-driven spin-Floquet magneto-valleytronics in MoS2 Shin, Dongbin; Hübener, Hannes; De Giovannini, Umberto Nature Communications, Vol. 9, Issue 1 https://doi.org/10.1038/s41467-018-02918-5	journal	February 2018
Synthesis of quantum circuits for linear nearest neighbor architectures Saeedi, Mehdi; Wille, Robert; Drechsler, Rolf Quantum Information Processing, Vol. 10, Issue 3 https://doi.org/10.1007/s11128-010-0201-2	journal	October 2010
Exact synthesis of multiqubit Clifford+ $T$ circuits Giles, Brett; Selinger, Peter Physical Review A, Vol. 87, Issue 3 https://doi.org/10.1103/PhysRevA.87.032332	journal	March 2013
Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits Wille, Robert; Keszocze, Oliver; Walter, Marcel 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC) https://doi.org/10.1109/ASPDAC.2016.7428026	conference	January 2016
Quantum supremacy using a programmable superconducting processor Arute, Frank; Arya, Kunal; Babbush, Ryan Nature, Vol. 574, Issue 7779 https://doi.org/10.1038/s41586-019-1666-5	journal	October 2019
Improved synthesis of Clifford+T quantum functionality Niemann, Philipp; Wille, Robert; Drechsler, Rolf 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) https://doi.org/10.23919/DATE.2018.8342078	conference	March 2018
On the controlled-NOT complexity of controlled-NOT–phase circuits Amy, Matthew; Azimzadeh, Parsiad; Mosca, Michele Quantum Science and Technology, Vol. 4, Issue 1 https://doi.org/10.1088/2058-9565/aad8ca	journal	September 2018
Block- $Z X Z$ synthesis of an arbitrary quantum circuit De Vos, A.; De Baerdemacker, S. Physical Review A, Vol. 94, Issue 5 https://doi.org/10.1103/PhysRevA.94.052317	journal	November 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
Quantum factoring, discrete logarithms, and the hidden subgroup problem Jozsa, R. Computing in Science & Engineering, Vol. 3, Issue 2 https://doi.org/10.1109/5992.909000	journal	January 2001
Quantum algorithms revisited Cleve, R.; Ekert, A.; Macchiavello, C. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, Vol. 454, Issue 1969 https://doi.org/10.1098/rspa.1998.0164	journal	January 1998
AccQOC: Accelerating Quantum Optimal Control Based Pulse Generation Cheng, Jinglei; Deng, Haoqing; Qia, Xuehai 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA) https://doi.org/10.1109/ISCA45697.2020.00052	conference	May 2020
SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation Ding, Yongshan; Wu, Xin-Chuan; Holmes, Adam 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA) https://doi.org/10.1109/ISCA45697.2020.00054	conference	May 2020
Efficient Synthesis of Universal Repeat-Until-Success Quantum Circuits Bocharov, Alex; Roetteler, Martin; Svore, Krysta M. Physical Review Letters, Vol. 114, Issue 8 https://doi.org/10.1103/PhysRevLett.114.080502	journal	February 2015
Two-bit gates are universal for quantum computation DiVincenzo, David P. Physical Review A, Vol. 51, Issue 2 https://doi.org/10.1103/PhysRevA.51.1015	journal	February 1995
Optimal SWAP gate insertion for nearest neighbor quantum circuits Wille, Robert; Lye, Aaron; Drechsler, Rolf 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) https://doi.org/10.1109/ASPDAC.2014.6742939	conference	January 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
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer Shor, Peter W. SIAM Review, Vol. 41, Issue 2 https://doi.org/10.1137/S0036144598347011	journal	January 1999
Efficient mapping of quantum circuits to the IBM QX architectures Zulehner, Alwin; Paler, Alexandru; Wille, Robert 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) https://doi.org/10.23919/DATE.2018.8342181	conference	March 2018
Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines Wille, Robert; Haghparast, Majid; Adarsh, Smaran 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) https://doi.org/10.1109/ICCAD45719.2019.8942156	conference	November 2019
Quantum machine learning Biamonte, Jacob; Wittek, Peter; Pancotti, Nicola Nature, Vol. 549, Issue 7671 https://doi.org/10.1038/nature23474	journal	September 2017

Similar Records

An updated LLVM-based quantum research compiler with further OpenQASM support

Journal Article · Thu May 28 00:00:00 EDT 2020 · Quantum Science and Technology · OSTI ID:1865293

Litteken, Andrew; Fan, Yung-Ching; Singh, Devina; +2 more

Domain-specific compilers for dynamic simulations of quantum materials on quantum computers

Journal Article · Wed Dec 23 00:00:00 EST 2020 · Quantum Science and Technology · OSTI ID:1865293

Bassman Oftelie, Lindsay; Gulania, Sahil; Powers, Connor; +7 more

SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation

Conference · Mon Jul 13 00:00:00 EDT 2020 · Annual International Symposium on Computer Architecture, ISCA · OSTI ID:1865293

Ding, Yongshan; Wu, Xin-Chuan; Holmes, Adam; +4 more

Related Subjects

97 MATHEMATICS AND COMPUTING
Analytical models
Circuit optimization
Scalability
Qubit
Production
Logic gates
Noise measurement

Title: Reoptimization of Quantum Circuits via Hierarchical Synthesis

Citation Formats

References (45)

Similar Records

Related Subjects