Quantum Approximate Optimization Algorithm Based Maximum Likelihood Detection

Recent advances in quantum technologies pave the way for noisy intermediate-scale quantum (NISQ) devices, where quantum approximation optimization algorithms (QAOAs) constitute promising candidates 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 multipleinput 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-p QAOA circuit having 2p variational parameters, which can be optimized by classical optimizers. This level-p QAOA circuit is constructed by applying the prepared Hamiltonian to our problem and the initial Hamiltonian alternately in p consecutive 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. This paves the way for a host of large-scale classical optimization problems to be solved by NISQ computers.

[1]  M. Byrd,et al.  Trotterized adiabatic quantum simulation and its application to a simple all-optical system , 2020, New Journal of Physics.

[2]  David Gamarnik,et al.  The Quantum Approximate Optimization Algorithm Needs to See the Whole Graph: A Typical Case , 2020, ArXiv.

[3]  E. Rieffel,et al.  Near-optimal quantum circuit for Grover's unstructured search using a transverse field , 2017, 1702.02577.

[4]  Soumyajit Mandal,et al.  Wireless Communications and Applications Above 100 GHz: Opportunities and Challenges for 6G and Beyond , 2019, IEEE Access.

[5]  Lin Lin,et al.  Policy Gradient based Quantum Approximate Optimization Algorithm , 2020, MSML.

[6]  Edward Farhi,et al.  Finding cliques by quantum adiabatic evolution , 2002, Quantum Inf. Comput..

[7]  Erik G. Larsson,et al.  Scaling Up MIMO: Opportunities and Challenges with Very Large Arrays , 2012, IEEE Signal Process. Mag..

[8]  S. Chin,et al.  Gradient symplectic algorithms for solving the Schrödinger equation with time-dependent potentials , 2002, nucl-th/0203008.

[9]  M. Sipser,et al.  Quantum Computation by Adiabatic Evolution , 2000, quant-ph/0001106.

[10]  M. Hastings,et al.  Training A Quantum Optimizer , 2016, 1605.05370.

[11]  Sergey Bravyi,et al.  Hybrid quantum-classical algorithms for approximate graph coloring , 2020 .

[12]  M. Powell A View of Algorithms for Optimization without Derivatives 1 , 2007 .

[13]  Mohamed-Slim Alouini,et al.  Smart Radio Environments Empowered by Reconfigurable Intelligent Surfaces: How it Works, State of Research, and Road Ahead , 2020, ArXiv.

[14]  Itay Hen,et al.  Driver Hamiltonians for constrained optimization in quantum annealing , 2016, 1602.07942.

[15]  Martin Leib,et al.  Training the quantum approximate optimization algorithm without access to a quantum processing unit , 2019, Quantum Science and Technology.

[16]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[17]  Rupak Biswas,et al.  Quantum Approximate Optimization with Hard and Soft Constraints , 2017 .

[18]  John Preskill,et al.  Quantum Computing in the NISQ era and beyond , 2018, Quantum.

[19]  S. Parkin,et al.  Handbook of magnetism and advanced magnetic materials , 2007 .

[20]  V. Fock,et al.  Beweis des Adiabatensatzes , 1928 .

[21]  Alán Aspuru-Guzik,et al.  A variational eigenvalue solver on a photonic quantum processor , 2013, Nature Communications.

[22]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.

[23]  Rupak Biswas,et al.  From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz , 2017, Algorithms.

[24]  Andrew W. Cross,et al.  Quantum optimization using variational algorithms on near-term quantum devices , 2017, Quantum Science and Technology.

[25]  Sukin Sim,et al.  Noisy intermediate-scale quantum (NISQ) algorithms , 2021, Reviews of Modern Physics.

[26]  Leo Zhou,et al.  Quantum Approximate Optimization Algorithm: Performance, Mechanism, and Implementation on Near-Term Devices , 2018, Physical Review X.

[27]  Lajos Hanzo,et al.  Quantum Search Algorithms, Quantum Wireless, and a Low-Complexity Maximum Likelihood Iterative Quantum Multi-User Detector Design , 2013, IEEE Access.

[28]  M. Cerezo,et al.  Variational quantum algorithms , 2020, Nature Reviews Physics.

[29]  D. Bacon,et al.  Quantum approximate optimization of non-planar graph problems on a planar superconducting processor , 2020, Nature Physics.

[30]  Lajos Hanzo,et al.  When Entanglement Meets Classical Communications: Quantum Teleportation for the Quantum Internet , 2019, IEEE Transactions on Communications.

[31]  D A Lidar,et al.  Polynomial-time simulation of pairing models on a quantum computer. , 2002, Physical review letters.

[32]  Marcello Benedetti,et al.  Parameterized quantum circuits as machine learning models , 2019, Quantum Science and Technology.

[33]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[34]  H. Trotter On the product of semi-groups of operators , 1959 .

[35]  Lajos Hanzo,et al.  A Quantum-Search-Aided Dynamic Programming Framework for Pareto Optimal Routing in Wireless Multihop Networks , 2018, IEEE Transactions on Communications.

[36]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[37]  Ruslan Shaydulin,et al.  Evaluating Quantum Approximate Optimization Algorithm: A Case Study , 2019, 2019 Tenth International Green and Sustainable Computing Conference (IGSC).

[38]  A. Harrow,et al.  Quantum Supremacy through the Quantum Approximate Optimization Algorithm , 2016, 1602.07674.

[39]  M. Lavagna Quantum Phase Transitions , 2001, cond-mat/0102119.

[40]  Cedric Yen-Yu Lin,et al.  Performance of QAOA on Typical Instances of Constraint Satisfaction Problems with Bounded Degree , 2016, ArXiv.

[41]  S. Lloyd Quantum approximate optimization is computationally universal , 2018, 1812.11075.

[42]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm Applied to a Bounded Occurrence Constraint Problem , 2014, 1412.6062.

[43]  Catherine C. McGeoch Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice , 2014, Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice.

[44]  M. Suzuki,et al.  Relationship between d-Dimensional Quantal Spin Systems and (d+1)-Dimensional Ising Systems: Equivalence, Critical Exponents and Systematic Approximants of the Partition Function and Spin Correlations , 1976 .

[45]  Gavin E. Crooks,et al.  Performance of the Quantum Approximate Optimization Algorithm on the Maximum Cut Problem , 2018, 1811.08419.

[46]  Sergio Verdú,et al.  Computational complexity of optimum multiuser detection , 1989, Algorithmica.

[47]  E. Villaseñor Introduction to Quantum Mechanics , 2008, Nature.

[48]  Ye Wang,et al.  Channel Decoding with Quantum Approximate Optimization Algorithm , 2019, 2019 IEEE International Symposium on Information Theory (ISIT).