Back

Avoiding Barren Plateaus

"Optimization of Quantum Algorithm Protocols without Barren Plateaus"

Published by Lukas Broers & Ludwig Mathey, 16th November 2021

arXiv:2111.08085
Avoiding Barren Plateaus

In Quantum Machine Learning (QML), Variational Quantum Algorithms (VQAs) are a well-known class of algorithms that optimize parameters in a sequence of unitary operations, the product of which describes the time-evolution of the system and are compatible with current NISQ devices. The Variational Quantum Circuits (VQCs) included in the VQAs, typically rely on gradient based optimization to iteratively minimize a cost function evaluated by measuring output(s) of a quantum processor. A well-studied drawback of such methods is that they are limited by the existence of barren plateaus of the error surfaces i.e. exponentially vanishing gradients with increasingly large parameter regimes in sufficiently expressive parametrized quantum circuits (PQCs).

So far, previous works have investigated the dependence of barren plateaus on the locality of objective functions, circuit depth, spatial and temporal locality, and expressibility of the parametrization ansatze. In PQCs, the classical optimization process typically relies on gradient descent methods, which can lead to the gradient becoming extremely small, a phenomenon known as barren plateaus. However, the exact scaling behavior and emergence of barren plateaus in ansatz-agnostic VQAs is still unknown. In this paper, the authors propose a Fourier mode parametrization ansatz for quantum information processing, where one can control the Fourier coefficients of the system parameters of a Hamiltonian, i.e. the Fourier coefficients are trainable making the ansatz non-local in time.

Unlike discrete, gate-based quantum circuits, where the protocols of the gate implementations are sequential, the resulting protocols in the proposed method are parallel and continuous by construction, which ensures that the change in the resulting unitary transformations is smooth with respect to the Fourier coefficients. In order to reduce computational complexity, the amount of parameters, i.e. non-zero Fourier coefficients, is restricted by limiting the modes to low-end frequencies. The authors use measurement based quantum natural gradient (QNG) descent in a hybrid learning scheme in order to find solutions to a given objective function. Firstly, an input state is given to a quantum processing unit (QPU) along with a set of Fourier coefficients of the parameters of the QPU’s underlying Hamiltonian, as an initial guess. The input state is evolved with respect to the time-dependent system Hamiltonian. The generated output state is then measured to determine the value of the objective function as well as the Fubini-Study metric of the input state with respect to the Fourier coefficients. Furthermore, the quantum natural gradient update step is calculated to modify the Fourier coefficients in order to improve the value of the objective function. The steps of the algorithm are then iterated in order to yield a set of Fourier coefficients that generate the desired target transformation.


The proposed ansatz is compared to the optimal control ansatz of step-wise parameterizations for the considered objective functions, as well as minimizing the energy of given problem Hamiltonians. The results show that the Fourier based ansatz demonstrate higher fidelity and superior convergence in comparison, hence outperforming the step-wise protocols in speed and consistency. The effective implementation time is also observed to be comparable in both ansatze, indicating the absence of barren plateaus without increasing the effective protocol implementation times. The proposed ansatz also showed non-vanishing variances in the objective function gradients, further indicating the absence of barren plateaus.

These results demonstrate the proposed ansatz is a promising candidate for overcoming barren plateaus in quantum algorithm optimization and also presents an alternative to parametrizations that are discrete or local in time. This approach can assist the on-going efforts of implementing quantum computing by providing a realistic and efficient access to optimal quantum algorithm protocols. A future scope along similar lines, will be to study the scaling behavior associated with the absence of barren plateaus.