Application of ZX-calculus to Quantum Architecture Search

TL;DR

This paper introduces a novel quantum architecture search method combining ZX-calculus with genetic programming to optimize quantum circuits for machine learning, leading to more efficient and effective quantum models.

Contribution

It presents a new mutation operator framework based on ZX-calculus within genetic programming for quantum circuit optimization, improving search efficiency and circuit quality.

Findings

ZX-calculus-based mutations outperform other methods in accuracy and efficiency

Optimized circuits are shallower and have more uniform gate distribution

The approach enhances quantum machine learning performance

Abstract

This paper presents a novel approach to quantum architecture search by integrating the techniques of ZX-calculus with Genetic Programming (GP) to optimize the structure of parameterized quantum circuits employed in Quantum Machine Learning (QML). Recognizing the challenges in designing efficient quantum circuits for QML, we propose a GP framework that utilizes mutations defined via ZX-calculus, a graphical language that can simplify visualizing and working with quantum circuits. Our methodology focuses on evolving quantum circuits with the aim of enhancing their capability to approximate functions relevant in various machine learning tasks. We introduce several mutation operators inspired by the transformation rules of ZX-calculus and investigate their impact on the learning efficiency and accuracy of quantum circuits. The empirical analysis involves a comparative study where these mutations are applied to a diverse set of quantum regression problems, measuring performance metrics such as the percentage of valid circuits after the mutation, improvement of the objective, as well as circuit depth and width. Our results indicate that certain ZX-calculus-based mutations perform significantly better than others for Quantum Architecture Search (QAS) in all metrics considered. They suggest that ZX-diagram based QAS results in shallower circuits and more uniformly allocated gates than crude genetic optimization based on the circuit model.