An Efficient Sparse Quadratic Programming Relaxation Based Algorithm for Large-Scale MIMO Detection

Multiple-input multiple-output (MIMO) detection is a fundamental problem in wireless communications and it is strongly NP-hard in general. Massive MIMO has been recognized as a key technology in the fifth generation (5G) and beyond communication networks, which on one hand can significantly improve the communication performance, and on the other hand poses new challenges of solving the corresponding optimization problems due to the large problem size. While various efficient algorithms such as semidefinite relaxation (SDR) based approaches have been proposed for solving the small-scale MIMO detection problem, they are not suitable to solve the large-scale MIMO detection problem due to their high computational complexities. In this paper, we propose an efficient sparse quadratic programming (SQP) relaxation based algorithm for solving the large-scale MIMO detection problem. In particular, we first reformulate the MIMO detection problem as an SQP problem. By dropping the sparse constraint, the resulting relaxation problem shares the same global minimizer with the SQP problem. In sharp contrast to the SDRs for the MIMO detection problem, our relaxation does not contain any (positive semidefinite) matrix variable and the numbers of variables and constraints in our relaxation are significantly less than those in the SDRs, which makes it particularly suitable for the large-scale problem. Then we propose a projected Newton based quadratic penalty method to solve the relaxation problem. By extensive numerical experiments, when applied to solve large-scale problems, the proposed algorithm achieves better detection performance and is more robust to the choice of the initial point than a recently proposed generalized power method.

[1]  Anthony Man-Cho So,et al.  A discrete first-order method for large-scale MIMO detection with provable guarantees , 2017, 2017 IEEE 18th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC).

[2]  László Lovász,et al.  Factoring polynomials with rational coefficients , 1982 .

[3]  Ya-Feng Liu,et al.  On the Equivalence of Semidifinite Relaxations for MIMO Detection with General Constellations , 2019, ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[4]  Donghui Li,et al.  A projected semismooth Newton method for problems of calibrating least squares covariance matrix , 2011, Oper. Res. Lett..

[5]  Anthony Man-Cho So,et al.  Cheap semidefinite relaxation MIMO detection using row-by-row block coordinate descent , 2011, 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[6]  Gerald Matz,et al.  Worst- and average-case complexity of LLL lattice reduction in MIMO wireless systems , 2008, 2008 IEEE International Conference on Acoustics, Speech and Signal Processing.

[7]  P. van Rooyen,et al.  Space division multiple access for cellular CDMA , 1998, 1988 IEEE 5th International Symposium on Spread Spectrum Techniques and Applications - Proceedings. Spread Technology to Africa (Cat. No.98TH8333).

[8]  John R. Barry,et al.  Noise-predictive decision-feedback detection for multiple-input multiple-output channels , 2005, IEEE Transactions on Signal Processing.

[9]  Ya-Feng Liu,et al.  An Enhanced SDR Based Global Algorithm for Nonconvex Complex Quadratic Programs With Signal Processing Applications , 2019, IEEE Open Journal of Signal Processing.

[10]  Kim-Chuan Toh,et al.  A Newton-CG Augmented Lagrangian Method for Semidefinite Programming , 2010, SIAM J. Optim..

[11]  Kim-Chuan Toh,et al.  SDPNAL+: A Matlab software for semidefinite programming with bound constraints (version 1.0) , 2017, Optim. Methods Softw..

[12]  D. Bertsekas Projected Newton methods for optimization problems with simple constraints , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[13]  Kim-Chuan Toh,et al.  SDPNAL$$+$$+: a majorized semismooth Newton-CG augmented Lagrangian method for semidefinite programming with nonnegative constraints , 2014, Math. Program. Comput..

[14]  Michael E. Pohst,et al.  On the computation of lattice vectors of minimal length, successive minima and reduced bases with applications , 1981, SIGS.

[15]  Amir K. Khandani,et al.  A near maximum likelihood decoding algorithm for MIMO systems based on semi-definite programming , 2005, ISIT.

[16]  Xiaoli Ma,et al.  Element-Based Lattice Reduction Algorithms for Large MIMO Detection , 2013, IEEE Journal on Selected Areas in Communications.

[17]  Kim-Chuan Toh,et al.  Solving semidefinite-quadratic-linear programs using SDPT3 , 2003, Math. Program..

[18]  Zhi-Quan Luo,et al.  An efficient quasi-maximum likelihood decoder for PSK signals , 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..

[19]  Inkyu Lee,et al.  A new reduced-complexity sphere decoder for multiple antenna systems , 2002, 2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333).

[20]  Mohamed Oussama Damen,et al.  Lattice code decoder for space-time codes , 2000, IEEE Communications Letters.

[21]  Ya-Feng Liu,et al.  An efficient global algorithm for nonconvex complex quadratic problems with applications in wireless communications , 2017, 2017 IEEE/CIC International Conference on Communications in China (ICCC).

[22]  Andreas F. Molisch,et al.  Hybrid Beamforming for Massive MIMO: A Survey , 2017, IEEE Communications Magazine.

[23]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[24]  Anthony Man-Cho So,et al.  Probabilistic analysis of the semidefinite relaxation detector in digital communications , 2010, SODA '10.

[25]  Xinyuan Zhao,et al.  A SEMISMOOTH NEWTON-CG AUGMENTED LAGRANGIAN METHOD FOR LARGE SCALE LINEAR AND CONVEX QUADRATIC SDPS , 2009 .

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

[27]  Hong Yan,et al.  A quadratic penalty method for hypergraph matching , 2017, Journal of Global Optimization.

[28]  Huan Yao,et al.  Efficient signal, code, and receiver designs for MIMO communication systems , 2003 .

[29]  Craig K. Rushforth,et al.  Joint signal detection and parameter estimation in multiuser communications , 1993, IEEE Trans. Commun..

[30]  Shahid Mumtaz,et al.  Millimeter-Wave Massive MIMO Communication for Future Wireless Systems: A Survey , 2018, IEEE Communications Surveys & Tutorials.

[31]  D K Smith,et al.  Numerical Optimization , 2001, J. Oper. Res. Soc..

[32]  Björn E. Ottersten,et al.  On the complexity of sphere decoding in digital communications , 2005, IEEE Transactions on Signal Processing.

[33]  Ya-Feng Liu,et al.  Tightness of a new and enhanced semidefinite relaxation for MIMO detection , 2017, SIAM J. Optim..

[34]  Lajos Hanzo,et al.  Fifty Years of MIMO Detection: The Road to Large-Scale MIMOs , 2015, IEEE Communications Surveys & Tutorials.

[35]  Mahmoud A. M. Albreem,et al.  Massive MIMO Detection Techniques: A Survey , 2019, IEEE Communications Surveys & Tutorials.