Automatically Discovering and Optimizing Quantum Architectures

Quantum Computing for Complex Functions: Learning Objective Functions as Parameterized Quantum Circuits

With Quantum Architecture Search (QAS), we are developing a method that approximates user-defined functions using parameterized quantum circuits. Our framework learns circuit structures and input encodings directly from example data, taking into account both accuracy and the required computational resources. For many tasks, there is no single ideal quantum circuit. Accuracy, computational effort, and hardware requirements vary depending on the application. We are developing methods that automatically find and optimize suitable quantum architectures. This enables new quantum applications to be developed more quickly and better adapted to available resources.

To execute a function on a quantum computer, a suitable circuit structure and an appropriate input encoding are required. The circuit should operate as precisely as possible while keeping the required resources – such as circuit depth or the number of two-qubit gates – to a minimum. Depending on the function and the input range, a different architecture may be optimal.

With QAS, we automatically search for suitable solutions based on representative input-output examples. Users do not need to specify a concrete quantum implementation. The achievable accuracy and the number of resources required depend on the specific task and the input range under consideration.

How Our Quantum Architecture Search Works

Our search begins with a population of simple candidates. An evolutionary algorithm gradually modifies the circuit structure and the arrangement of the input encodings. An classical optimizer then trains the variable parameters of the circuits.

For evaluation, we consider both the training error and the required circuit resources. We collect the best solutions in what is known as a Pareto front. It contains candidates that each represent different trade-offs between accuracy and resource consumption.

To describe the candidates, we use graphical representations such as quantum circuits, measurement patterns, and ZX diagrams. ZX diagrams are a graphical representation of quantum algorithms that reveal structural relationships. By making targeted changes to the underlying graphs, the algorithm explores new architectures. From these, we then extract circuits for training and resource evaluation.

What Sets Our Approach Apart: Joint Optimization of Architecture and Coding

Our method adapts both the type of data input and the underlying computational structure. This allows us to tailor the quantum circuit specifically to the respective application.

In making our selection, we simultaneously take into account approximation errors, circuit depth, and the number of gates. This results in various solution options that clearly illustrate the relationship between accuracy and resource requirements.

Graphical Search Combined with High-Performance Computing

ZX plots and measurement patterns open up additional possibilities for structural search. Our framework also supports the parallel training of many candidates on high-performance classical computing systems.

Quantum Architecture Search Scheme
© Fraunhofer ITWM
Quantum Architecture Search: The search jointly explores circuit structure, input encoding and trained parameters

Research Findings on Quantum Circuit Search

In a published study on the ZX calculus, we examined various mutations in regression problems, including step, polynomial, and trigonometric functions. In addition, we compared different search algorithms using a benchmark for European call options with identical search time budgets.

The results illustrate the trade-off between accuracy and circuit complexity:

Error evaluated at 400 equidistant support points.

Metric ZX search Selected model Circuit search Lowest error model
Circuit depth 19 33
Two-qubit gates 4 6
Input ecnodings 6 10
Mean squared error 0.0792 0.0648

The model from the ZX search requires significantly fewer resources, but achieves slightly lower accuracy as a result. The results illustrate that the optimal architecture always depends on the specific task and the available resources.

Current Research on Measurement-Based Quantum Computing

We are currently extending our approach to labeled open graphs from the field of measurement-based quantum computing. In doing so, we are investigating flux-preserving mutations that preserve what is known as the Pauli flux. This structural property facilitates the extraction of quantum circuits within the model under consideration.

Our goal is to understand how these methods affect the trade-off between regression accuracy and circuit complexity.

Application Example in the Financial Sector

One potential area of application is the financial sector. Trained payout circuits can be used as building blocks for quantum Monte Carlo simulations by converting them into controlled subroutines for amplitude estimation.

Whether this results in a practical advantage depends, among other things, on the effort required for state preparation and execution on quantum hardware.

Collaboration on Quantum Applications

We collaborate with companies in the fields of quantum hardware, quantum software, and application development to explore new use cases for Quantum Architecture Search (QAS).

A joint evaluation can be based on an objective function or on representative input-output data. In doing so, we consider the desired accuracy as well as available classical reference solutions. Together, we compare different architecture variants, analyze their resource requirements, and identify suitable scenarios for validation on quantum hardware.

Would you like to determine whether your application is suitable for an automated search for quantum architectures? Contact us. Together, we’ll assess the potential, develop suitable solutions, and evaluate feasibility on current quantum hardware.