Title: Redesign Quantum Circuits on Quantum Hardware Devices
Primary area: generative models
Keywords: Quantum Circuit  Equivalence Checking; Quantum Generative Adversarial Network; Quantum Variational Algorithm

Abstract: Synthesising quantum circuits and checking their equivalence remains one of the core challenges in the implementation of quantum algorithms. Nevertheless, existing classical simulation based algorithms are constrained by exponential costs, rendering them infeasible for large-scale quantum circuits. In this paper, we propose an architecture that enables redesigning  large-scale quantum circuits on quantum hardware, based on entangling quantum generative adversarial networks. Additionally, we introduce an efficient local random state encoder, which substantially enhances the practical applicability of the proposed architecture. The effectiveness of this method is theoretically proven.  For concreteness, we apply this architecture to three critical tasks in circuit optimization: the equivalence checking of both parameterized and non-parameterized circuits, as well as the variational optimization of quantum circuits. The feasibility of our approach is demonstrated by excellent results from both classical simulations and noisy intermediate-scale quantum (NISQ) hardware implementations. We expect our work will facilitate the implementation and validation of advanced quantum algorithms.

TL;DR: In this paper we present an architecture that enables  redesigning  large-scale quantum circuits on quantum hardware based on quantum generative adversarial network and random state sampling.