Global Optimization for Parametrized Quantum Circuits

TL;DR

This paper introduces a polynomial-time randomized approximation scheme for optimizing certain classes of parametrized quantum circuits, enabling efficient global optimization and parameter extraction, with implications for quantum computational complexity.

Contribution

It presents the first fully polynomial randomized approximation scheme for training polynomial-depth PQCs with constant parameters, separating data acquisition and classical optimization stages.

Findings

Provides an FPRAS for global optimization of PQCs

Supports parameter extraction under certain conditions

Shows limitations on expressiveness related to complexity class BQP

Abstract

In the absence of error correction, noisy intermediate-scale quantum devices are operated by training parametrized quantum circuits (PQCs) so as to minimize a suitable loss function. Finding the optimal parameters of those circuits is a hard optimization problem, where global guarantees are known only for highly structured cases of limited practical relevance, and first-order methods can fail to find even local minima due to the presence of barren plateaus. In this work, we study the training of practical classes of PQCs, namely polynomial-depth circuits with a constant number of trainable parameters. This captures widely used PQC families, including fixed-depth QAOA, hardware-efficient ans\"atze, and Fixed Parameter Count QAOA. Our main technical result is a fully polynomial randomized approximation scheme (FPRAS), which, for every $\epsilon>0$, returns an $\epsilon$-approximate solution to the problem's global optimum with high probability, and has runtime and query complexity polynomial in $1/\epsilon$ and the number of qubits. Unlike the standard hybrid quantum-classical training loop in variational algorithms, where the quantum device is queried repeatedly throughout the training, our approach separates the computation into two distinct stages: (1) an initial quantum data-acquisition phase, followed by (2) a classical global-optimization phase based on the trigonometric moment/sum-of-squares hierarchies. Under a standard flat-extension condition, which can be checked numerically, the method also supports the extraction of optimal circuit parameters. The existence of an FPRAS implies that the promise problem associated with the optimization of poly-depth constant-parameter PQC is in BQP. This imposes a limitation on the expressive power of the class, namely, it cannot encode combinatorial optimization problems whose objective values are separated by an inverse-polynomial gap.