In this paper, we describe the simulation of Ising minimization on a classical machine by executing variational quantum algorithms on our density-matrix simulator. We outline the Ising formulation of the Graph Partitioning problem and the Hamiltonian Cycle problem, and solve the Max-Cut variant of graph partitioning for a weighted square graph Sq2using the Quantum Approximate Optimization Algorithm. We finally study the effect of errors present in Noisy Intermediate-Scale Quantum processors on the obtained solutions. This paper illustrates the approach to approximately solving hard combinatorial optimization problems using a hybrid quantum-classical scheme and describes the issues in hardware implementation of such schemes. The simulations of NISQ noise models will be useful in understanding the performance and capabilities of such approaches.
In this paper, we describe the simulation of Ising minimization on a classical machine by executing variational quantum algorithms on our density-matrix simulator. We outline the Ising formulation of the Graph Partitioning problem and the Hamiltonian Cycle problem, and solve the Max-Cut variant of graph partitioning for a weighted square graph Sq2using the Quantum Approximate Optimization Algorithm. We finally study the effect of errors present in Noisy Intermediate-Scale Quantum processors on the obtained solutions. This paper illustrates the approach to approximately solving hard combinatorial optimization problems using a hybrid quantum-classical scheme and describes the issues in hardware implementation of such schemes. The simulations of NISQ noise models will be useful in understanding the performance and capabilities of such approaches.
The Quantum Approximate Optimization Algorithm (QAOA), which is a variational quantum algorithm, aims to give sub-optimal solutions of combinatorial optimization problems. It is widely believed that QAOA has the potential to demonstrate application-level quantum advantages in the noisy intermediate-scale quantum(NISQ) processors with shallow circuit depth. Since the core of QAOA is the computation of expectation values of the problem Hamiltonian, an important practical question is whether we can find an efficient classical algorithm to solve quantum mean value in the case of general shallow quantum circuits. Here, we present a novel graph decomposition based classical algorithm that scales linearly with the number of qubits for the shallow QAOA circuits in most optimization problems except for complete graph case. Numerical tests in Max-cut, graph coloring and Sherrington-Kirkpatrick model problems, compared to the state-of-the-art method, shows orders of magnitude performance improvement. Our results are not only important for the exploration of quantum advantages with QAOA, but also useful for the benchmarking of NISQ processors.
The weighted MAX k-CUT problem consists of finding a k-partition of a given weighted undirected graph G(V,E) such that the sum of the weights of the crossing edges is maximized. The problem is of particular interest as it has a multitude of practical applications. We present a formulation of the weighted MAX k-CUT suitable for running the quantum approximate optimization algorithm (QAOA) on noisy intermediate scale quantum (NISQ)-devices to get approximate solutions. The new formulation uses a binary encoding that requires only |V|log_2(k) qubits. The contributions of this paper are as follows: i) A novel decomposition of the phase separation operator based on the binary encoding into basis gates is provided for the MAX k-CUT problem for k >2. ii) Numerical simulations on a suite of test cases comparing different encodings are performed. iii) An analysis of the resources (number of qubits, CX gates) of the different encodings is presented. iv) Formulations and simulations are extended to the case of weighted graphs. For small k and with further improvements when k is not a power of two, our algorithm is a possible candidate to show quantum advantage on NISQ devices.
NP-hard problems are not believed to be exactly solvable through general polynomial time algorithms. Hybrid quantum-classical algorithms to address such combinatorial problems have been of great interest in the past few years. Such algorithms are heuristic in nature and aim to obtain an approximate solution. Significant improvements in computational time and/or the ability to treat large problems are some of the principal promises of quantum computing in this regard. The hardware, however, is still in its infancy and the current noisy intermediate-scale quantum (NISQ) computers are not able to optimize industrially relevant problems. Moreover, the storage of qubits and introduction of entanglement require extreme physical conditions. An issue with quantum optimization algorithms such as the quantum approximate optimization algorithm is that they scale linearly with problem size. In this paper, we build upon a proprietary methodology which scales logarithmically with problem size---opening an avenue for treating optimization problems of unprecedented scale on gate-based quantum computers. To test the performance of the algorithm, we first find a way to apply it to a handful of NP-hard problems: Maximum Cut, Minimum Partition, Maximum Clique, Maximum Weighted Independent Set. Subsequently, these algorithms are tested on a quantum simulator with graph sizes of over a hundred nodes and on a real quantum computer up to graph sizes of 256. To our knowledge, these constitute the largest realistic combinatorial optimization problems ever run on a NISQ device, overcoming previous problem sizes by almost tenfold.
Abstract In the noisy intermediate-scale quantum (NISQ) era, quantum approximate optimisation algorithms are important tools for solving NP-hard problems such as combinatorial optimisation. However, most QAOA implementations ignore the inherent noise in quantum circuit environments. This study proposes a noisy quantum approximate optimisation algorithm (NQAOA) and analyses its performance under noisy conditions through numerical simulations. We compare the approximate ratios (AR) of various graphs under different optimisation strategies and noise conditions, and assess the impact of circuit depth, node count, edge count, and noise coefficient on the maximum cut (MaxCut). Experimental results show that noise leads to overfitting, and the approximate ratio ( AR ) exhibits fluctuating changes as the edge count e increases. The AR values under ideal conditions and the expected results are both superior to those under noisy conditions. This study is the first to systematically integrate multiple types of quantum noise into the QAOA framework, quantitatively analysing the synergistic effects of noise type, optimiser performance, and graph structure. Through theoretical derivations and numerical simulations, we established linear/exponential theoretical boundaries for AR decay related to noise coefficients, providing a critical reference for designing noise-resistant quantum optimisation algorithms on NISQ devices.
Abstract Graph cut, a combinatorial optimization, is explored in quantum computing, seeking optimal bi-partitions of a directed or undirected, weighted or unweighted graph. The cut models, such as max-cut and min-cut, are applied in domains including VLSI design, circuit partitioning, data clustering, and network analysis. This paper explores the Ising modeling of max-cut and min-cut in a Laplacian-based QAOA, including benchmarking, spectral analysis, and a detailed analysis of the results. It aims to discover how Ising cut modeling and QAOA perform on a structured graph class, such as a weighted chordal graph. Chordal graphs offer decomposition properties favorable to QUBO and Ising models. Experimental results show that the proposed QAOA framework yields optimal or near-optimal cut values with high and stable approximation ratios across circuit depths. Also, hardware-aware considerations are introduced through superconducting qubit layout design and eigenmode simulations in Qiskit Metal and Ansys EPR HFSS. Further analysis reveals challenges related to convergence and performance in denser topologies. The study gives the modeling and the comprehensive evaluation of QAOA for graph-cuts, including a conceptual hardware-aware analysis.
This study explores the application of variational quantum algorithms to solve NP-hard combinatorial optimization problems, focusing specifically on the MaxBisection problem. The research introduces an enhanced hybrid quantum-classical framework, HTAAC-QSDP, which combines problem-informed ansatz design with semidefinite programming (SDP) relaxation and iterative optimization. Simulation results across multiple graph instances show that the proposed method achieves approximation ratios consistently above 0.95, approaching classical SDP benchmarks. Experiments also demonstrate the sensitivity of performance to key hyperparameters such as circuit depth, rotation scaling, and learning rate. Additionally, hardware implementation on IBM quantum devices reveals the model’s resilience under noise, provided that initialization and optimization strategies are carefully tuned. The findings suggest that variational quantum approaches can provide high-quality approximations for complex NP-hard problems, even in the noisy intermediate-scale quantum (NISQ) era. The results lay the groundwork for scalable quantum optimization frameworks and support the advancement of quantum advantage in real-world applications.