Tightness of a new and enhanced semidefinite relaxation for MIMO detection

In this paper, we consider a fundamental problem in modern digital communications known as multi-input multi-output (MIMO) detection, which can be formulated as a complex quadratic programming problem subject to unit-modulus and discrete argument constraints. Various semidefinite relaxation (SDR) based algorithms have been proposed to solve the problem in the literature. In this paper, we first show that the conventional SDR is generally not tight for the problem. Then, we propose a new and enhanced SDR and show its tightness under an easily checkable condition, which essentially requires the level of the noise to be below a certain threshold. The above results have answered an open question posed by So in [35]. Numerical simulation results show that our proposed SDR significantly outperforms the conventional SDR in terms of the relaxation gap.

[1]  Amit Singer,et al.  Tightness of the maximum likelihood semidefinite relaxation for angular synchronization , 2014, Math. Program..

[2]  Zhi-Quan Luo,et al.  Efficient Implementation of a Quasi-Maximum-Likelihood Detector Based on Semi-Definite Relaxation , 2007, 2007 IEEE International Conference on Acoustics, Speech and Signal Processing - ICASSP '07.

[3]  John Wright,et al.  When Are Nonconvex Problems Not Scary? , 2015, ArXiv.

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

[5]  Pak-Chung Ching,et al.  Semidefinite relaxation based multiuser detection for M-ary PSK multiuser systems , 2004, IEEE Trans. Signal Process..

[6]  Ya-Feng Liu,et al.  An Efficient Global Algorithm for Single-Group Multicast Beamforming , 2017, IEEE Transactions on Signal Processing.

[7]  Craig K. Rushforth,et al.  A Family of Suboptimum Detectors for Coherent Multiuser Communications , 1990, IEEE J. Sel. Areas Commun..

[8]  Holger Rauhut,et al.  A Mathematical Introduction to Compressive Sensing , 2013, Applied and Numerical Harmonic Analysis.

[9]  O. SIAMJ..  GLOBAL OPTIMALITY CONDITIONS FOR QUADRATIC OPTIMIZATION PROBLEMS WITH BINARY CONSTRAINTS , 2000 .

[10]  Zhi-Quan Luo,et al.  Design of Phase Codes for Radar Performance Optimization With a Similarity Constraint , 2009, IEEE Transactions on Signal Processing.

[11]  Zhi-Quan Luo,et al.  Optimal estimation of sensor biases for asynchronous multi-sensor data fusion , 2017, Math. Program..

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

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

[14]  Björn E. Ottersten,et al.  Semidefinite programming for detection in linear systems - optimality conditions and space-time decoding , 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..

[15]  Joakim Jaldén,et al.  Detection for multiple input multiple output channels : analysis of sphere decoding and semidefinite relaxation , 2006 .

[16]  David P. Williamson,et al.  Approximation algorithms for MAX-3-CUT and other problems via complex semidefinite programming , 2001, STOC '01.

[17]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[18]  Upamanyu Madhow,et al.  Blind adaptive multiuser detection , 1995, IEEE Trans. Inf. Theory.

[19]  A. Singer.  Angular Synchronization by Eigenvectors and Semidefinite Programming. , 2009, Applied and computational harmonic analysis.

[20]  Ryuji Kohno,et al.  Cancellation techniques of co-channel interference in asynchronous spread spectrum multiple access systems , 1983 .

[21]  Zhi-Quan Luo,et al.  A two-stage optimization approach to the asynchronous multi-sensor registration problem , 2017, 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[22]  Anthony Man-Cho So,et al.  On approximating complex quadratic optimization problems via semidefinite programming relaxations , 2005, IPCO.

[23]  Nicolas Boumal,et al.  Nonconvex Phase Synchronization , 2016, SIAM J. Optim..

[24]  Shuzhong Zhang,et al.  Complex Quadratic Optimization and Semidefinite Programming , 2006, SIAM J. Optim..

[25]  Sergio Verdu,et al.  Multiuser Detection , 1998 .

[26]  Zhi-Quan Luo,et al.  Performance analysis of quasi-maximum-likelihood detector based on semi-definite programming , 2005, Proceedings. (ICASSP '05). IEEE International Conference on Acoustics, Speech, and Signal Processing, 2005..

[27]  Alexandre d'Aspremont,et al.  Phase recovery, MaxCut and complex semidefinite programming , 2012, Math. Program..

[28]  K. Schneider.  Optimum Detection of Code Division Multiplexed Signals , 1979, IEEE Transactions on Aerospace and Electronic Systems.

[29]  Oscar C. Au,et al.  Universal Binary Semidefinite Relaxation for ML Signal Detection , 2013, IEEE Transactions on Communications.

[30]  N. Z. Shor,et al.  Method of obtaining estimates in quadratic extremal problems with Boolean variables , 1985 .

[31]  Zhi-Quan Luo,et al.  Probabilistic Analysis of Semidefinite Relaxation for Binary Quadratic Minimization , 2010, SIAM J. Optim..

[32]  Giuseppe Caire,et al.  A unified framework for tree search decoding: rediscovering the sequential decoder , 2005, IEEE 6th Workshop on Signal Processing Advances in Wireless Communications, 2005..

[33]  Anthony Man-Cho So,et al.  On the Statistical Performance of the Generalized Power Method for Angular Synchronization , 2016 .

[34]  Wei Yu,et al.  One-Bit Precoding and Constellation Range Design for Massive MIMO With QAM Signaling , 2018, IEEE Journal of Selected Topics in Signal Processing.

[35]  Björn E. Ottersten,et al.  The Diversity Order of the Semidefinite Relaxation Detector , 2006, IEEE Transactions on Information Theory.

[36]  Amit Singer,et al.  Open Problem: Tightness of maximum likelihood semidefinite relaxations , 2014, COLT.

[37]  Ya-Feng Liu,et al.  Max-Min Fairness Linear Transceiver Design Problem for a Multi-User SIMO Interference Channel is Polynomial Time Solvable , 2013, IEEE Signal Processing Letters.

[38]  Zhi-Quan Luo,et al.  Semidefinite Relaxation of Quadratic Optimization Problems , 2010, IEEE Signal Processing Magazine.

[39]  Mahesh K. Varanasi,et al.  Decision Feedback Multiuser Detection: A Systematic Approach , 1999, IEEE Trans. Inf. Theory.

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

[41]  Anthony Man-Cho So,et al.  On the Estimation Performance and Convergence Rate of the Generalized Power Method for Phase Synchronization , 2016, SIAM J. Optim..

[42]  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).

[43]  Petre Stoica,et al.  Designing Unimodular Codes Via Quadratic Optimization , 2013, IEEE Transactions on Signal Processing.

[44]  Michael L. Overton,et al.  Complementarity and nondegeneracy in semidefinite programming , 1997, Math. Program..

[45]  Tom Goldstein,et al.  Quantized Precoding for Massive MU-MIMO , 2016, IEEE Transactions on Communications.

[46]  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).

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