Efficient variational synthesis of quantum circuits with coherent multi-start optimization

Abstract

We consider the problem of the variational quantum circuit synthesis into a gate set consisting of the CNOT gate and arbitrary single-qubit (1q) gates with the primary target being the minimization of the CNOT count. First we note that along with the discrete architecture search suffering from the combinatorial explosion of complexity, optimization over 1q gates can also be a crucial roadblock due to the omnipresence of local minimums (well known in the context of variational quantum algorithms but apparently underappreciated in the context of the variational compiling). Taking the issue seriously, we make an extensive search over the initial conditions an essential part of our approach. Another key idea we propose is to use parametrized two-qubit (2q) controlled phase gates, which can interpolate between the identity gate and the CNOT gate, and allow a continuous relaxation of the discrete architecture search, which can be executed jointly with the optimization over 1q gates. This coherent optimization of the architecture together with 1q gates appears to work surprisingly well in practice, sometimes even outperforming optimization over 1q gates alone (for fixed optimal architectures). As illustrative examples and applications we derive 8 CNOT and T depth 3 decomposition of the 3q Toffoli gate on the nearest-neighbor topology, rediscover known best decompositions of the 4q Toffoli gate on all 4q topologies including a 1 CNOT gate improvement on the star-shaped topology, and propose decomposition of the 5q Toffoli gate on the nearest-neighbor topology with 48 CNOT gates. We also benchmark the performance of our approach on a number of 5q quantum circuits from the ibm_qx_mapping database showing that it is highly competitive with the existing software. The algorithm developed in this work is available as a Python package CPFlow.

arXiv comment12+4 pages, code available at https://github.com/idnm/cpflow, comments are welcome! v2: added discussion of local minima distributions, improved presentation. Close to published version. v3: +acknowledgments

References in corpus (37)

• Quantum Computing in the NISQ era and beyond
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Quantum Mechanics helps in searching for a needle in a haystack
• Elementary gates for quantum computation
• Quantum algorithm for solving linear systems of equations
• Hardware-efficient Variational Quantum Eigensolver for Small Molecules and Quantum Magnets
• Barren plateaus in quantum neural network training landscapes
• The theory of variational hybrid quantum-classical algorithms
• An adaptive variational algorithm for exact molecular simulations on a quantum computer
• Synthesis of Quantum Logic Circuits
• A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits
• Quantum Natural Gradient
• Training variational quantum algorithms is NP-hard
• t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices
• qubit-ADAPT-VQE: An adaptive algorithm for constructing hardware-efficient ansatze on a quantum processor
• Quantum-assisted quantum compiling
• Quantum algorithms for electronic structure calculations: particle/hole Hamiltonian and optimized wavefunction expansions
• Layerwise learning for quantum neural networks
• Obstacles to State Preparation and Variational Optimization from Symmetry Protection
• Beyond Barren Plateaus: Quantum Variational Algorithms Are Swamped With Traps
• Automated optimization of large quantum circuits with continuous parameters
• What limits the simulation of quantum computers?
• On the advantages of using relative phase Toffolis with an application to multiple control Toffoli optimization
• Quantum circuit architecture search for variational quantum algorithms
• Sequential minimal optimization for quantum-classical hybrid algorithms
• Avoiding local minima in variational quantum eigensolvers with the natural gradient optimizer
• Machine learning of noise-resilient quantum circuits
• Fast multi-qubit gates by adiabatic evolution in interacting excited state manifolds
• ADAPT-VQE is insensitive to rough parameter landscapes and barren plateaus
• Robust quantum compilation and circuit optimisation via energy minimisation
• Robust resource-efficient quantum variational ansatz through evolutionary algorithm
• Training Saturation in Layerwise Quantum Approximate Optimisation
• Approaching the theoretical limit in quantum gate decomposition
• LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach
• Symmetry enhanced variational quantum spin eigensolver
• Accelerated variational algorithms for digital quantum simulation of many-body ground states
• Quantum Circuit Evolution on NISQ Devices

Cited by in corpus (10)

• Non-Abelian braiding of Fibonacci anyons with a superconducting processor
• Simulating unsteady fluid flows on a superconducting quantum processor
• Shallow unitary decompositions of quantum Fredkin and Toffoli gates for connectivity-aware equivalent circuit averaging
• QFactor: A Domain-Specific Optimizer for Quantum Circuit Instantiation
• A Toffoli Gate Decomposition via Echoed Cross-Resonance Gates
• Barren plateaus are swamped with traps
• Variational quantum eigensolver with embedded entanglement using a tensor-network ansatz
• Regularizing quantum loss landscapes by noise injection
• Batched Line Search Strategy for Navigating through Barren Plateaus in Quantum Circuit Training
• All You Need is pi: Quantum Computing with Hermitian Gates