In the massive multiple-input and multiple-output (Massive MIMO) systems, the maximum likelihood (ML) detection problem is NP-hard and becoming classically intricate with the number of transmitting antennas and symbols increasing. The quantum approximate optimization algorithm (QAOA), a leading candidate algorithm running in the noisy intermediate-scale quantum (NISQ) devices, can show quantum advantage for approximately solving combinatorial optimization problems. In this paper, we propose the QAOA based on the maximum likelihood detection solver of binary symbols. In the proposed scheme, we first conduct a universal and compact analytical expression for the expectation value of the 1-level QAOA. Second, a Bayesian optimization based parameters initialization is presented, which can speedup the convergence of the QAOA to a lower local minimum and improve the probability of measuring the exact solution. Compared to the state-of-the-art QAOA based ML detection algorithm, our scheme has the more universal and compact expectation value expression of the 1-level QAOA, and requires few quantum resources and has the higher probability to obtain the exact solution.
In the massive multiple-input and multiple-output (Massive MIMO) systems, the maximum likelihood (ML) detection problem is NP-hard and becoming classically intricate with the number of transmitting antennas and symbols increasing. The quantum approximate optimization algorithm (QAOA), a leading candidate algorithm running in the noisy intermediate-scale quantum (NISQ) devices, can show quantum advantage for approximately solving combinatorial optimization problems. In this paper, we propose the QAOA based on the maximum likelihood detection solver of binary symbols. In the proposed scheme, we first conduct a universal and compact analytical expression for the expectation value of the 1-level QAOA. Second, a Bayesian optimization based parameters initialization is presented, which can speedup the convergence of the QAOA to a lower local minimum and improve the probability of measuring the exact solution. Compared to the state-of-the-art QAOA based ML detection algorithm, our scheme has the more universal and compact expectation value expression of the 1-level QAOA, and requires few quantum resources and has the higher probability to obtain the exact solution.
Recent advances in quantum technologies pave the way for noisy intermediate-scale quantum (NISQ) devices, where the quantum approximation optimization algorithm (QAOA) constitutes a promising candidate for demonstrating tangible quantum advantages based on NISQ devices. In this paper, we consider the maximum likelihood (ML) detection problem of binary symbols transmitted over a multiple-input and multiple-output (MIMO) channel, where finding the optimal solution is exponentially hard using classical computers. Here, we apply the QAOA for the ML detection by encoding the problem of interest into a level-pQAOA circuit having2pvariational parameters, which can be optimized by classical optimizers. This level-pQAOA circuit is constructed by applying the prepared Hamiltonian to our problem and the initial Hamiltonian alternately inpconsecutive rounds. More explicitly, we first encode the optimal solution of the ML detection problem into the ground state of a problem Hamiltonian. Using the quantum adiabatic evolution technique, we provide both analytical and numerical results for characterizing the evolution of the eigenvalues of the quantum system used for ML detection. Then, for level-1 QAOA circuits, we derive the analytical expressions of the expectation values of the QAOA and discuss the complexity of the QAOA based ML detector. Explicitly, we evaluate the computational complexity of the classical optimizer used and the storage requirement of simulating the QAOA. Finally, we evaluate the bit error rate (BER) of the QAOA based ML detector and compare it both to the classical ML detector and to the classical minimum mean squared error (MMSE) detector, demonstrating that the QAOA based ML detector is capable of approaching the performance of the classical ML detector.
Quantum-approximate optimization algorithm (QAOA) is promising in Noisy Intermediate-Scale Quantum (NISQ) computers with applications for NP-hard combinatorial optimization problems. It is recently utilized for NP-hard maximum-likelihood (ML) detection problem with challenges of optimization, simulation and performance analysis forn×nmultiple-input multiple output (MIMO) systems with largen. QAOA is recently applied by Farhi et al. on infinite size limit of Sherrington-Kirkpatrick (SK) model with a cost model including only quadratic terms. In this article, we extend the model by including also linear terms and then realize SK modeling of massive MIMO ML detection. The proposed design targets near ML performance while with complexity includingO(16p) initial operations independent from problem instance and sizenfor optimizing QAOA angles andO(n2p) quantum operations for each instance. We provide both optimized and extrapolated angles forp∈ [1, 14] and signal-to-noise (SNR)p≥ 4 for 25×25 and 12 × 12 MIMO systems modulated with BPSK and QPSK, respectively. We present two conjectures about concentration properties of QAOA and near-optimum performance for next generation massive MIMO systems coveringn< 300.
Quantum computing, with its powerful parallel computing capabilities, is considered one of the promising candidates for solving complex communication problems. This paper proposes a new detection scheme by combining quantum approximation optimization algorithms (QAOA) with maximum likelihood (ML) detection. The scheme addresses the computational complexity problem faced by ML detection in large-scale multiple-input multiple-output (MIMO) channels. The primary focus lies in the warm-start optimization based on the QAOA-ML detection. We use semi-definite relaxation (SDR) to calculate the temporary solution of ML for initializing quantum circuits. The feasibility of the scheme is verified through simulation. The proposed detection scheme is evaluated and compared with classical computer-based ML detection and Minimum Mean Square Error (MMSE) detection, demonstrating similar bit error rate (BER) performance. The enormous potential of quantum algorithms in computing power solving the drawbacks of traditional ML detection algorithms provides new possibilities for improving detection efficiency.
Quantum-approximate optimization algorithm (QAOA) is promising in Noisy Intermediate-Scale Quantum (NISQ) computers with applications for NP-hard combinatorial optimization problems. It is recently utilized for NP-hard maximum-likelihood (ML) detection problem with fundamental challenges of optimization, simulation and performance analysis for n x n multiple-input multiple output (MIMO) systems with large n. QAOA is recently applied by Farhi et al. on infinite size limit of Sherrington-Kirkpatrick (SK) model with a cost model including only quadratic terms. In this article, we extend application of QAOA on SK model by including also linear terms and then realize SK modeling of massive MIMO ML detection by ensuring independence from specific problem instance and size n while preserving computational complexity of O(16p) designed by Farhi et al. We provide both optimized and extrapolated angles for p in the set [1, 14] and signal-to-noise (SNR) < 12 dB achieving near-optimum ML performance for 25 x 25 MIMO system with p >= 4 in extensive simulations where 236500 different QAOA circuits are simulated. We present two conjectures about the concentration properties of QAOA and its near-optimum performance for massive MIMO systems with large sizes covering n < 300 promising significant performance for next generation massive MIMO systems.
The quantum approximate optimization algorithm (QAOA) conceived for solving combinatorial optimization problems has attracted significant interest since it can be run on the existing noisy intermediate-scale quantum (NISQ) devices. A primary step of using the QAOA is the efficient Hamiltonian construction based on different problem instances. Hence, we solve the maximum likelihood (ML) detection problem for general constellations by appropriately adapting the QAOA, which gives rise to a new paradigm in communication systems. We first transform the ML detection problem into a weighted minimum N-satisfiability (WMIN-N-SAT) problem, where we formulate the objective function of the WMIN-N-SAT as a pseudo Boolean function. Furthermore, we formalize the connection between the degree of the objective function and the Gray-labelled modulation constellations. Explicitly, we show a series of results exploring the connection between the coefficients of the monomials and the patterns of the associated constellation points, which substantially simplifies the objective function with respect to the problem Hamiltonian of the QAOA. In particular, for an M-ary Gray-mapped quadrature amplitude modulation (MQAM) constellation, we show that the specific qubits encoding the in-phase components and those encoding the quadrature components are independent in the quantum system of interest, which allows the in-phase and quadrature components to be detected separately using the QAOA. Furthermore, we characterize the degree of the objective function in the WMIN-N-SAT problem corresponding to the ML detection of multiple-input and multiple-output (MIMO) channels. Finally, we evaluate the approximation ratio of the QAOA for the ML detection problem of quadrature phase shift keying (QPSK) relying on QAOA circuits of different depths.
Beyond Binary Encoding: Qudit-Based QAOA Framework for ML Detection in M-QAM MIMO Systems
Maximum likelihood (ML) detection in massive multiple-input multiple-output (MIMO) systems is an NP-hard combinatorial problem whose complexity grows exponentially with the number of transmit antennas and the modulation order. The Quantum Approximate Optimization Algorithm (QAOA) has recently emerged as a promising near-term quantum heuristic for such problems; however, existing qubit-based formulations require log2M qubits per M-QAM symbol, inflating both circuit width and depth. In this paper, we propose a qudit-based QAOA framework that encodes each M-QAM symbol directly into a pair of d-dimensional quantum states, where d=M. We derive a Hermitian cost Hamiltonian via a real-imaginary decomposition of the constellation, and introduce a generalized cyclic-shift mixer that ensures ergodic exploration of the search space without binary encoding. The proposed formulation reduces the number of quantum carriers from O(Ntlog2M) to O(Nt) and the Hamiltonian interaction complexity from O((Ntlog2M)2) to O(Nt2), while preserving the geometric structure of the constellation. Bit-error-rate (BER) simulations for 2×2 MIMO systems employing 4-QAM and 16-QAM over Rayleigh fading channels, with circuit depth p=3, demonstrate that the proposed detector closely approximates the performance of the optimal classical maximum-likelihood (ML) detector, while consistently outperforming the conventional minimum mean square error (MMSE) detector.