arXiv:2106.07531 · IEEE International Conference on Quantum Computing and Engineering (QCE)

Transferability of optimal QAOA parameters between random graphs

Alexey Galda, Xiaoyuan Liu, Danylo Lykov, Yuri Alexeev, Ilya Safro

Published Oct 1, 2021• 72 citations

Abstract

The Quantum approximate optimization algorithm (QAOA) is one of the most promising candidates for achieving quantum advantage through quantum-enhanced combinatorial optimization. In a typical QAOA setup, a set of quantum circuit parameters is optimized to prepare a quantum state used to find the optimal solution of a combinatorial optimization problem. Several empirical observations about optimal parameter concentration effects for special QAOA MaxCut problem instances have been made in recent literature, however, a rigorous study of the subject is still lacking. We show that convergence of the optimal QAOA parameters around specific values and, consequently, successful transferability of parameters between different QAOA instances can be explained and predicted based on the local properties of the graphs, specifically the types of subgraphs (lightcones) from which the graphs are composed. We apply this approach to random regular and general random graphs. For example, we demonstrate how optimized parameters calculated for a 6-node random graph can be successfully used without modification as nearly optimal parameters for a 64-node random graph, with less than 1% reduction in approximation ratio as a result. This work presents a pathway to identifying classes of combinatorial optimization instances for which such variational quantum algorithms as QAOA can be substantially accelerated.

DOI: 10.1109/qce52317.2021.00034

Related papers

Similarity-based parameter transferability in the quantum approximate optimization algorithm

Alexey Galda, Eesh Gupta, Jose Falla +4 more

The quantum approximate optimization algorithm (QAOA) is one of the most promising candidates for achieving quantum advantage through quantum-enhanced combinatorial optimization. A near-optimal solution to the combinatorial optimization problem is achieved by preparing a quantum state through the optimization of quantum circuit parameters. Optimal QAOA parameter concentration effects for special MaxCut problem instances have been observed, but a rigorous study of the subject is still lacking. In this work we show clustering of optimal QAOA parameters around specific values; consequently, successful transferability of parameters between different QAOA instances can be explained and predicted based on local properties of the graphs, including the type of subgraphs (lightcones) from which graphs are composed as well as the overall degree of nodes in the graph (parity). We apply this approach to several instances of random graphs with a varying number of nodes as well as parity and show that one can use optimal donor graph QAOA parameters as near-optimal parameters for larger acceptor graphs with comparable approximation ratios. This work presents a pathway to identifying classes of combinatorial optimization instances for which variational quantum algorithms such as QAOA can be substantially accelerated.

Frontiers in Quantum Science and TechnologyJul 13, 202330 citations

Similarity-Based Parameter Transferability in the Quantum Approximate Optimization Algorithm

Alexey Galda, Eesh Gupta, Jose Falla +4 more

arXiv:2307.05420Jul 11, 20232 citations

Graph representation learning for parameter transferability in quantum approximate optimization algorithm

Jose Falla, Quinn Langfitt, Yuri Alexeev +1 more

Abstract The quantum approximate optimization algorithm (QAOA) is one of the most promising candidates for achieving quantum advantage through quantum-enhanced combinatorial optimization. Optimal QAOA parameter concentration effects for special MaxCut problem instances have been observed, but a rigorous study of the subject is still lacking. Due to clustering of optimal QAOA parameters for MaxCut, successful parameter transferability between different MaxCut instances can be explained and predicted based on local properties of the graphs, including the type of subgraphs (lightcones) from which graphs are composed as well as the overall degree of nodes in the graph (parity). In this work, we apply five different graph embedding techniques to determine good donor candidates for parameter transferability, including parameter transferability between different classes of MaxCut instances. Using this technique, we effectively reduce the number of iterations required for parameter optimization, obtaining an approximate solution to the target problem with an order of magnitude speedup. This procedure also effectively removes the problem of encountering barren plateaus during the variational optimization of parameters. Additionally, our findings demonstrate that the transferred parameters maintain effectiveness when subjected to noise, supporting their use in real-world quantum applications. This work presents a framework for identifying classes of combinatorial optimization instances for which optimal donor candidates can be predicted such that QAOA can be substantially accelerated under both ideal and noisy conditions.

arXiv:2401.06655Quantum Machine IntelligenceJul 22, 202422 citations

Parameter Transferability in QAOA Under Noisy Conditions

Quinn Langfitt, Jose Falla, Ilya Safro +1 more

The quantum approximate optimization algorithm (QAOA) is widely recognized for its potential to deliver quantum advantage in combinatorial optimization tasks. As a hybrid classical-quantum algorithm, it achieves an approximate solution to the combinatorial optimization problem by preparing a specific quantum state via a classical optimization of the quantum circuit parameters. A key property of QAOA is the observed concentration and transferability of optimal parameters across distinct problem instances, linked to local graph characteristics such as subgraph types (lightcones) and node degrees (parity) [1]. However, quantum noise poses a critical challenge in the current NISQ era, hindering the performance of QAOA, particularly for large system sizes. In this follow-up study, we investigate the resilience of parameter transferability under noisy conditions. Leveraging zero-noise extrapolation (ZNE), we evaluate the transferability's robustness across various random graphs under different noise levels. Our analysis reveals that the transferability of optimal parameters from smaller ‘donor’ graphs to larger ‘acceptor’ graphs retains its effectiveness, even under substantial noise when combined with ZNE. Importantly, by illustrating that QAOA parameter transferability can still be exploited effectively among NISQ devices, we offer a pragmatic approach to enhance the algorithm's performance. Our research reinforces the promise of QAOA for large-scale applications under the practical challenges of quantum noise.

IEEE International Conference on Quantum Computing and Engineering (QCE)Sep 17, 20231 citation

Cross-Problem Parameter Transfer in Quantum Approximate Optimization Algorithm: a Machine Learning Approach

Kien X. Nguyen, Bao Bach, Ilya Safro

Quantum Approximate Optimization Algorithm (QAOA) is one of the most promising candidates to achieve the quantum advantage in solving combinatorial optimization problems. The process of finding a good set of variational parameters in the QAOA circuit has proven to be challenging due to multiple factors, such as barren plateaus. As a result, there is growing interest in exploiting parameter transferability, where parameter sets optimized for one problem instance are transferred to another that could be more complex either to estimate the solution or to serve as a warm start for further optimization. But can we transfer parameters from one class of problems to another? Leveraging parameter sets learned from a well-studied class of problems could help navigate the less studied one, reducing optimization overhead and mitigating performance pitfalls. In this paper, we study whether pretrained QAOA parameters of MaxCut can be used as is or to warm start the Maximum Independent Set (MIS) circuits. Specifically, we design machine learning models to find good donor candidates optimized on MaxCut and apply their parameters to MIS acceptors. Our experimental results show that such parameter transfer can significantly reduce the number of optimization iterations required while achieving comparable approximation ratios. Reproducibility: Our results and code are available at: https://github.com/Nyquixt/Cross-Problem-PT-QAOA.

arXiv:2504.10733IEEE International Conference on Quantum Computing and Engineering (QCE)Aug 30, 20251 citation

For Fixed Control Parameters the Quantum Approximate Optimization Algorithm's Objective Function Value Concentrates for Typical Instances

Fernando G. S. L. Brandão, Michael Broughton, Edward Farhi +2 more

The Quantum Approximate Optimization Algorithm, QAOA, uses a shallow depth quantum circuit to produce a parameter dependent state. For a given combinatorial optimization problem instance, the quantum expectation of the associated cost function is the parameter dependent objective function of the QAOA. We demonstrate that if the parameters are fixed and the instance comes from a reasonable distribution then the objective function value is concentrated in the sense that typical instances have (nearly) the same value of the objective function. This applies not just for optimal parameters as the whole landscape is instance independent. We can prove this is true for low depth quantum circuits for instances of MaxCut on large 3-regular graphs. Our results generalize beyond this example. We support the arguments with numerical examples that show remarkable concentration. For higher depth circuits the numerics also show concentration and we argue for this using the Law of Large Numbers. We also observe by simulation that if we find parameters which result in good performance at say 10 bits these same parameters result in good performance at say 24 bits. These findings suggest ways to run the QAOA that reduce or eliminate the use of the outer loop optimization and may allow us to find good solutions with fewer calls to the quantum computer.

arXiv:1812.04170Dec 11, 201887 citations