Optimization Applications as Quantum Performance Benchmarks

In recent years, quantum computers and algorithms have made significant progress indicating the prospective importance of quantum computing (QC). Especially combinatorial optimization has gained a lot of attention as an application field for near-term quantum computers, both by using gate-based QC via the Quantum Approximate Optimization Algorithm and by quantum annealing using the Ising model. However, demonstrating an advantage over classical methods in real-world applications remains an active area of research. In this work, we investigate the robustness verification of ReLU networks, which involves solving many-variable mixed-integer programs (MIPs), as a practical application. Classically, complete verification techniques struggle with large networks as the combinatorial space grows exponentially, implying that realistic networks are difficult to be verified by classical methods. To alleviate this issue, we propose to use QC for neural network verification and introduce a hybrid quantum procedure to compute provable certificates. By applying Benders decomposition, we split the MIP into a quadratic unconstrained binary optimization and a linear program which are solved by quantum and classical computers, respectively. We further improve existing hybrid methods based on the Benders decomposition by reducing the overall number of iterations and placing a limit on the maximum number of qubits required. We show that, in a simulated environment, our certificate is sound, and provides bounds on the minimum number of qubits necessary to approximate the problem. Finally, we evaluate our method within simulations and on quantum hardware.

The quantum approximate optimization algorithm (QAOA) is a prospective near-term quantum algorithm due to its modest circuit depth and promising benchmarks. However, an external parameter optimization required in QAOA could become a performance bottleneck. This motivates studies of the optimization landscape and search for heuristic ways of parameter initialization. In this work we visualize the optimization landscape of the QAOA applied to the MaxCut problem on random graphs, demonstrating that random initialization of the QAOA is prone to converging to local minima with sub-optimal performance. We introduce the initialization of QAOA parameters based on the Trotterized quantum annealing (TQA) protocol, parameterized by the Trotter time step. We find that the TQA initialization allows to circumvent the issue of false minima for a broad range of time steps, yielding the same performance as the best result out of an exponentially scaling number of random initializations. Moreover, we demonstrate that the optimal value of the time step coincides with the point of proliferation of Trotter errors in quantum annealing. Our results suggest practical ways of initializing QAOA protocols on near-term quantum devices and reveals new connections between QAOA and quantum annealing.

Abstract: This chapter explores the transformative potential of quantum algorithms in solving complex optimization problems across industries such as logistics, finance, and material science. Quantum algorithms, including Quantum Annealing, Quantum Approximate Optimization Algorithm (QAOA), and Variational Quantum Eigensolver (VQE), offer unprecedented computational capabilities for addressing challenges that are impractical for classical algorithms. In logistics, quantum algorithms optimize supply chains, vehicle routing, and warehouse operations, significantly reducing costs and improving efficiency. In finance, quantum optimization enables better portfolio management, risk assessment, and high-frequency trading strategies, providing faster, more accurate solutions. In material science, quantum algorithms accelerate the discovery and design of new materials, such as superconductors and catalysts, by simulating molecular interactions more efficiently. The chapter discusses real-world implementations, current technical challenges, and the future potential of quantum algorithms to revolutionize industries through faster and more scalable optimization solutions. Keywords: Quantum algorithms, Quantum Annealing, QAOA, VQE, optimization, logistics, finance, material science, portfolio optimization, risk management, supply chain, molecular simulation, quantum computing, quantum optimization, quantum chemistry, high-frequency trading.

Smart Mobility is the key component of Smart City initiative that are being explored throughout the world. The bike-sharing system (BSS) aims to provide an alternative mode of Smart Mobility transportation system, and it is being widely adopted in urban areas. The use of bikes for short-distance travel helps to reduce traffic congestion, reduce carbon emissions, and decrease the risk of overcrowding. Effective bike sharing system operations requires rebalancing analysis, which corresponds to transferal of bikes across various bike stations to ensure the supply meets expected demand. A critical part for a bike sharing system operations is the effective management of rebalancing vehicle carrier operations that ensures bikes are restored in each station to its target value during every pick-up and drop-off operations. In this work, we compare the performance of two types of quantum optimization algorithms (Quantum Approximate Optimization Algorithm and Quantum Annealing) to evaluate performance of bike sharing rebalancing optimization. In this preliminary work, we compared the performance of QAOA on IBM-Qiskit and Quantum Annealing on two D-Wave solvers (QPU and hybrid solvers) for a case study involving rebalancing across three bike stations.

Quantum annealing (QA) and the quantum approximate optimization algorithm (QAOA) are two special cases of the following control problem: apply a combination of two Hamiltonians to minimize the energy of a quantum state. Which is more effective has remained unclear. Here we analytically apply the framework of optimal control theory to show that generically, given a fixed amount of time, the optimal procedure has the pulsed (or "bang-bang") structure of QAOA at the beginning and end but can have a smooth annealing structure in between. This is in contrast to previous works which have suggested that bang-bang (i.e., QAOA) protocols are ideal. To support this theoretical work, we carry out simulations of various transverse field Ising models, demonstrating that bang-anneal-bang protocols are more common. The general features identified here provide guideposts for the nascent experimental implementations of quantum optimization algorithms.

This paper explores the potential of quantum computing on a WCET(Worst-Case Execution Time (of a program).)-related combinatorial optimization problem applied to a set of several polynomial special cases. We consider the maximization problem of determining the most expensive path in a control flow graph. In these graphs, vertices represent blocks of code whose execution times are fixed and known in advance. We port the considered optimization problem to the quantum framework by expressing it as a QUBO. We then experimentally compare the performances in solving the problem of classic Simulated Annealing (SA), Quantum Annealing (QA), and Quantum Approximate Optimization Algorithm (QAOA). Our experiments suggest that QA represents a fast equivalent of simulated annealing. Indeed, we measured the approximation ratio on the results of QA and SA, showing that their performances are comparable, at least on our set of simplified problems.KeywordsWCETsQuantum computingQUBOCombinatorial optimizationQuantum annealingQAOA

There have been multiple attempts to demonstrate that quantum annealing and, in particular, quantum annealing on quantum annealing machines, has the potential to outperform current classical optimization algorithms implemented on CMOS technologies. The benchmarking of these devices has been controversial. Initially, random spin-glass problems were used, however, these were quickly shown to be not well suited to detect any quantum speedup. Subsequently, benchmarking shifted to carefully crafted synthetic problems designed to highlight the quantum nature of the hardware while (often) ensuring that classical optimization techniques do not perform well on them. Even worse, to date a true sign of improved scaling with the number of problem variables remains elusive when compared to classical optimization techniques. Here, we analyze the readiness of quantum annealing machines for real-world application problems. These are typically not random and have an underlying structure that is hard to capture in synthetic benchmarks, thus posing unexpected challenges for optimization techniques, both classical and quantum alike. We present a comprehensive computational scaling analysis of fault diagnosis in digital circuits, considering architectures beyond D-wave quantum annealers. We find that the instances generated from real data in multiplier circuits are harder than other representative random spin-glass benchmarks with a comparable number of variables. Although our results show that transverse-field quantum annealing is outperformed by state-of-the-art classical optimization algorithms, these benchmark instances are hard and small in the size of the input, therefore representing the first industrial application ideally suited for testing near-term quantum annealers and other quantum algorithmic strategies for optimization problems.

Quantum approximate optimization algorithm (QAOA) is a quantum–classical hybrid algorithm proposed with the goal of approximately solving combinatorial optimization problems such as the MAX-CUT problem. It has been considered a potential candidate for achieving quantum advantage in the noisy intermediate-scale quantum era and has been extensively studied. However, the performance limitations of low-level QAOA have also been demonstrated across various instances. In this work, we first analytically prove the performance limitations of the standard level-1 QAOA in solving the MAX-CUT problem on bipartite graphs. To this end, we derive an upper bound for the approximation ratio based on the average degree of bipartite graphs. Second, we demonstrate that recursive QAOA (RQAOA), which recursively reduces graph size using QAOA as a subroutine, outperforms the standard level-1 QAOA. However, the performance of RQAOA exhibits limitations as the graph size increases. Finally, we show that RQAOA with a restricted parameter regime can fully address these limitations. Surprisingly, this modified RQAOA always finds the exact maximum cut for any bipartite graphs and even for a more general graph with parity-signed weights.

Current hardware limitations restrict the potential when solving quadratic unconstrained binary optimization (QUBO) problems via the quantum approximate optimization algorithm (QAOA) or quantum annealing (QA). Thus, we consider training neural networks in this context. We first discuss QUBO problems that originate from translated instances of the traveling salesman problem (TSP): Analyzing this representation via autoencoders shows that there is way more information included than necessary to solve the original TSP. Then we show that neural networks can be used to solve TSP instances from both QUBO input and autoencoders' hidden state representation. We finally generalize the approach and successfully train neural networks to solve arbitrary QUBO problems, sketching means to use neuromorphic hardware as a simulator or an additional co-processor for quantum computing.

The efficient management of energy communities relies on the solution of the “prosumer problem”, i.e., the problem of scheduling the household loads on the basis of the user needs, the electricity prices, and the availability of local renewable energy, with the aim of reducing costs and energy waste. Quantum computers can offer a significant breakthrough in treating this problem thanks to the intrinsic parallel nature of quantum operations. The most promising approach is to devise variational hybrid algorithms, in which quantum computation is driven by parameters that are optimized classically, in a cycle that aims at finding the best solution with a significant speed-up with respect to classical approaches. This paper provides a reformulation of the prosumer problem, allowing to address it with a hybrid quantum algorithm, namely, Quantum Approximate Optimization Algorithm (QAOA), and with a recent variant, the Recursive QAOA. We report on an extensive set of experiments, on simulators and real quantum hardware, for different problem sizes. Results are encouraging in that Recursive QAOA is able, for problems involving up to 10 qubits, to provide optimal and admissible solutions with good probabilities, while the computation time is nearly independent of the system size.

The parity mapping provides a geometrically local encoding of the Quantum Approximate Optimization Algorithm (QAOA), at the expense of having a quadratic qubit overhead for all-to-all connected problems. In this work, we benchmark the parity-encoded QAOA on spin-glass models. We address open questions in the scaling of this algorithm. In particular, we show that for fixed number of parity-encoded QAOA layers, the performance or the output energy, vanishes towards zero (the value achieved by random guessing) with problem size N as N−1/2. Our results suggest that the parity-encoded QAOA does not have a promising scaling compared to the standard version of QAOA. We perform tensor-network calculations to confirm our results, and comment on the concentration of optimal QAOA parameters over problem instances.

Quantum Artificial Intelligence (Quantum AI) represents a rapidly developing interdisciplinary field at the intersection of quantum computing and machine learning (ML). It holds the promise of unlocking unprecedented computational capabilities for complex optimization tasks, large-scale data processing, and advanced pattern recognition. In this research, we provide a comprehensive examination of two principal quantum algorithms—the Quantum Approximate Optimization Algorithm (QAOA) and the Variational Quantum Eigensolver (VQE)—applied to classical ML challenges. Using a hybrid simulation framework that integrates TensorFlow, scikit-learn, Qiskit, and Cirq, we extensively benchmark quantum-enhanced approaches against conventional methods on both combinatorial optimization and image classification tasks. Our findings indicate that while noise and qubit limitations remain critical barriers, quantum-enhanced models can achieve competitive, and sometimes superior, performance compared to purely classical solutions. We elaborate on the practical implications of these results, discuss hardware and algorithmic constraints, and propose future research directions focusing on error mitigation, scalability, and quantum-native ML models. These insights pave the way for a new computational paradigm, in which quantum resources are harnessed to address previously intractable ML problems.

The optimization of independent automotive suspension systems, which is one of the main pillars of the vehicle performance and comfort, is currently going through a revolutionary change due to the development of artificial intelligence and quantum computing. This paper aims to review the multi-objective optimization of suspension parameters including camber, caster, and toe to discuss the complex design issues that arise from geometric and dynamic considerations. Some of the most common computational methodologies, which are Genetic Algorithms, Particle Swarm Optimization, and Gradient Descent, are discussed in this paper along with the new quantum computing techniques such as Gate-Based quantum computing and Quantum Annealing (QA). In addition, this review incorporates information from the practice of automotive manufacturers who have incorporated the use of artificial intelligence and quantum computing in their suspension systems. However, there are still some issues remaining, such as the computational cost, real-time flexibility, and the applicability of theoretical concepts to actual engineering structures. Some potential future research directions are introduced in this paper, such as hybrid optimization approaches, quantum techniques, and adaptive materials, which are considered as potential directions for future development. This systematic review presents a conceptual framework for researchers and engineers to follow, stressing the importance of interdisciplinarity in the development of intelligent suspension systems with performance objectives that are capable of adjusting to various road conditions. The findings of this work underscore the growing importance of complex computational techniques in modern automotive industry and highlight their potential to shape future developments based on emerging trends and industry practices.

We introduce “Windbreaking-as-a-Service” (WaaS) as an innovative approach to shared transportation in which larger “windbreaker” vehicles provide aerodynamic shelter for “windsurfer” vehicles, thereby reducing drag and energy consumption. As a computational framework to solve the largescale matching and assignment problems that arise in WaaS, we present QUEST (Quantum-Enhanced Shared Transportation). Specifically, wef ormulate <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$t$</tex> he <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$p$</tex> airing of windbreakers and windsurfers - subject to timing, speed, and vehicle-class constraints - as a mixed-integer quadratic problem (MIQP). Focusing on a single-segment prototype, we verify the solution classically via the Hungarian Algorithm, a Gurobi-based solver, and brute-force enumeration of binary vectors. We then encode the problem as a Quadratic Unconstrained Binary Optimization (QUBO) and map it to an Ising Hamiltonian, enabling the use of the Quantum Approximate Optimization Algorithm (QAOA) and other quantum and classical annealing technologies. Our quantum implementation successfully recovers the optimal assignment identified by the classical methods, c onfirming the so undness of the QUEST pipeline for a controlled prototype. While QAOA and other quantum heuristics do not guarantee a resolution of the fundamental complexity barriers, this study illustrates how the WaaS problem can be systematically translated into a quantumready model. It also lays the groundwork for addressing multisegment scenarios and potentially leveraging quantum advantage for large-scale shared-transportation instances.

Many challenging scheduling, planning, and resource allocation problems come with real-world input data and hard problem constraints, and reduce to optimizing a cost function over a combinatorially defined feasible set, such as colorings of a graph. Toward tackling such problems with quantum computers using quantum approximate optimization algorithms, we present novel efficient quantum alternating operator ansatz (QAOA) constructions for optimization problems over proper colorings of chordal graphs. As our primary application, we consider the flight-gate assignment problem , where flights are assigned to airport gates as to minimize the total transit time of all passengers, and feasible assignments correspond to proper graph colorings of a conflict graph derived instancewise from the input data. We leverage ideas from classical algorithms and graph theory to show our constructions have the desirable properties of restricting quantum state evolution to the feasible subspace, and satisfying a particular reachability condition for most problem parameter regimes. Using classical preprocessing we show that we can always find and construct a suitable initial quantum (superposition) state efficiently. We show our constructions in detail, including explicit decompositions to a universal set of basic quantum gates, which we use to bound the required resource scaling as low-degree polynomials of the input parameters. In particular, we derive novel QAOA mixing operators and show that their implementation cost is commensurate with that of the QAOA phase operator for flight-gate assignment. A number of quantum circuit diagrams are included such that our constructions may be used as a template toward development and implementation of quantum gate-model approaches for a wider variety of potentially impactful real-world applications.