In recent years, significant progress has been made in building quantum computers by several companies. Despite the progress, these noisy intermediate-scale quantum (NISQ) computers still suffer from several noises and errors such as measurement errors, multi-qubit gate errors, and worse, short decoherence times. Though quantum computer vendors are releasing better quantum computers in terms of Quantum Volume, the quantum device still remains far from quantum supremacy in practical problems. The Quantum Approximate Optimization Algorithm (QAOA) was suggested to potentially demonstrate a computational advantage in combinatorial optimization problems on NISQ computers. In this paper, we optimize the QAOA circuits and to scale the problem size on IBM quantum processors. In addition, we study the effect of the length of the QAOA ansatz on IBM quantum processors and discuss optimal implementation methods for scalable QAOA. We test our implementations on the MaxCut problems.
In recent years, significant progress has been made in building quantum computers by several companies. Despite the progress, these noisy intermediate-scale quantum (NISQ) computers still suffer from several noises and errors such as measurement errors, multi-qubit gate errors, and worse, short decoherence times. Though quantum computer vendors are releasing better quantum computers in terms of Quantum Volume, the quantum device still remains far from quantum supremacy in practical problems. The Quantum Approximate Optimization Algorithm (QAOA) was suggested to potentially demonstrate a computational advantage in combinatorial optimization problems on NISQ computers. In this paper, we optimize the QAOA circuits and to scale the problem size on IBM quantum processors. In addition, we study the effect of the length of the QAOA ansatz on IBM quantum processors and discuss optimal implementation methods for scalable QAOA. We test our implementations on the MaxCut problems.
In recent years, there have been significant advancements in various aspects of quantum computing. However, despite this substantial progress, the availability of fault-tolerant quantum computers is still out of reach and may remain so for decades. Therefore, a key challenge is to leverage current NISQ devices to achieve a quantum advantage effectively. In this context, the Quantum Approximate Optimization Algorithm (QAOA) was proposed to potentially demonstrate computational advantages in combinatorial optimization problems using NISQ computers. Meanwhile, quantum error mitigation (QEM) techniques have been developed to address errors, with their effectiveness validated in practical problems involving more than 100 qubits. Therefore, in this paper, we optimize QAOA circuits and apply various error mitigation methods, such as dynamic decoupling and Pauli-twirling, to scale problem sizes on IBM quantum processors. Additionally, we discuss optimal implementation strategies for scalable QAOA. We test our implementations on Max-Cut problems and compare our results with previous works.
The promise of quantum computing to address complex problems requiring high computational resources has long been hindered by the intrinsic and demanding requirements of quantum hardware development. Nonetheless, the current state of quantum computing, denominated Noisy Intermediate-Scale Quantum (NISQ) era, has introduced algorithms and methods that are able to harness the computational power of current quantum computers with advantages over classical computers (referred to as quantum advantage). Achieving quantum advantage is of particular relevance for the combinatorial optimization domain, since it often implies solving an NP-Hard optimization problem. Moreover, combinatorial problems are highly relevant for practical application areas, such as operations research, or resource allocation problems. Among quantum computing methods, Variational Quantum Algorithms (VQA) have emerged as one of the strongest candidates towards reaching practical applicability of NISQ systems. This paper explores the current state and recent developments of VQAs, emphasizing their applicability to combinatorial optimization. We identify the Quantum Approximate Optimization Algorithm (QAOA) as the leading candidate for these problems. Furthermore, we implement QAOA circuits with varying depths to solve the MaxCut problem on graphs with 10 and 20 nodes, demonstrating the potential and challenges of using VQAs in practical optimization tasks. We release our code, dataset and optimized circuit parameters under https://github.com/DanielFPerez/VQA-for-MaxCut.
Quantum computing is an emerging field on the multidisciplinary interface between physics, engineering, and computer science with the potential to make a large impact on computational intelligence (CI). The aim of this paper is to introduce quantum approximate optimization methods to the CI community because of direct relevance to solving combinatorial problems. We introduce quantum computing and variational quantum algorithms (VQAs). VQAs are an effective method for the near-term implementation of quantum solutions on noisy intermediate-scale quantum (NISQ) devices with less reliable qubits and early-stage error correction. Then, we explain Farhi et al.'s quantum approximate optimization algorithm (Farhi's QAOA, to prevent confusion). This VQA is generalized by Hadfield et al. to the quantum alternating operator ansatz (QAOA), which is a nature-inspired (particularly, adiabatic) quantum metaheuristic for approximately solving combinatorial optimization problems on gate-based quantum computers. We discuss connections of QAOA to relevant domains, such as computational learning theory and genetic algorithms, discussing current techniques and known results regarding hybrid quantum-classical intelligence systems. We present a schematic of how QAOA is constructed, and also discuss how CI techniques can be used to improve QAOA. We conclude with QAOA implementations for the well-known maximum cut, maximum bisection, and traveling salesperson problems, which can serve as templates for CI practitioners interested in using QAOA.
The quantum approximate optimization algorithm (QAOA) is a promising quantum-classical hybrid technique to solve combinatorial optimization problems in near-term gate-based noisy quantum devices. In QAOA, the objective is a function of the quantum state, which itself is a function of the gate parameters of a multi-level parameterized quantum circuit (PQC). A classical optimizer varies the continuous gate parameters to generate distributions (quantum state) with significant support to the optimal solution. Even at the lowest circuit depth, QAOA offers non-trivial provable performance guarantee which is expected to increase with the circuit depth. However, the existing analysis fails to consider non-idealities in the qubit quality i.e., short lifetime and imperfect gate operations in realistic quantum hardware. In this article, we investigate the impact of various noise sources on the performance of QAOA both in simulation and on a real quantum computer from IBM. Our analyses indicate that the optimal number of stages (p-value) for any QAOA instance is limited by the noise characteristics (gate error, coherence time, etc.) of the target hardware as opposed to the current perception that higher-depth QAOA will provide monotonically better performance for a given problem compared to the low-depth implementations.
The Quantum Approximate Optimization Algorithm (QAOA) is widely regarded as a promising near-term quantum algorithm for addressing hard combinatorial optimization problems on Noisy Intermediate-Scale Quantum (NISQ) devices; however, its real-world effectiveness is severely constrained by hardware noise, including gate infidelities, decoherence, and measurement errors. This work explores an error mitigation–driven approach to enhance the performance and robustness of QAOA without altering its algorithmic structure or requiring fault-tolerant quantum resources. Measurement error mitigation and zero-noise extrapolation are incorporated into the execution and post-processing stages of QAOA circuits and evaluated using the Minimum Vertex Cover problem as a representative benchmark. Performance is assessed through approximation ratios, solution stability, and noise sensitivity across multiple circuit depths. The results indicate that error mitigation not only improves approximation accuracy but also stabilizes output distributions and delays performance degradation at increased circuit depths. Additionally, the mitigated executions demonstrate better consistency across repeated runs, highlighting improved resilience to stochastic noise. These findings emphasize that lightweight and hardware-efficient error mitigation techniques can significantly extend the practical usability of QAOA on current NISQ hardware, providing a scalable and realistic pathway for executing quantum optimization algorithms more reliably in near-term quantum computing environments.
Abstract Noisy intermediate-scale quantum (NISQ) devices are restricted by their limited number of qubits and their short decoherence times. An approach addressing these problems is quantum circuit cutting. It decomposes the execution of a large quantum circuit into the execution of multiple smaller quantum circuits with additional classical postprocessing. Since these smaller quantum circuits require fewer qubits and gates, they are more suitable for NISQ devices. To investigate the effect of quantum circuit cutting in a quantum algorithm targeting NISQ devices, we design two experiments using the quantum approximate optimization algorithm (QAOA) for the Maximum Cut (MaxCut) problem and conduct them on state-of-the-art superconducting devices. Our first experiment studies the influence of circuit cutting on the objective function of QAOA, and the second evaluates the quality of results obtained by the whole algorithm with circuit cutting. The results show that circuit cutting can reduce the effects of noise in QAOA, and therefore, the algorithm yields better solutions on NISQ devices.