Improved Scaling Law for Activity Detection in Massive MIMO Systems

In this paper, we study the problem of activity detection (AD) in a massive MIMO setup, where the Base Station (BS) has $M\gg 1$ antennas. We consider a block fading channel model where the $M$-dim channel vector of each user remains almost constant over a coherence block (CB) containing $D_{c}$ signal dimensions. We study a setting in which the number of potential users $K_{c}$ assigned to a specific CB is much larger than the dimension of the CB $D_{c}(K_{c}\gg D_{c})$ but at each time slot only $A_{c}\ll K_{c}$ of them are active. Most of the previous results, based on compressed sensing, require that $A_{c}\leq D_{c}$, which is a bottleneck in massive deployment scenarios such as Internet-of-Things (IoT) and Device-to-Device (D2D) communication. In this paper, we show that one can overcome this fundamental limitation when the number of BS antennas $M$ is sufficiently large. More specifically, we derive a scaling law on the parameters $(M, D_{c}, K_{c}, A_{c})$ and also Signal-to-Noise Ratio (SNR) under which our proposed AD scheme succeeds. Our analysis indicates that with a CB of dimension $D_{c}$, and a sufficient number of BS antennas $M$ with $A_{c}/M=o(1)$, one can identify the activity of $A_{c}=O(D_{c}^{2}/\log^{2}(\frac{K_{c}}{A_{c}}))$ active users, which is much larger than the previous bound $A_{c}=O(D_{c})$ obtained via traditional compressed sensing techniques. In particular, in our proposed scheme one needs to pay only a poly-logarithmic penalty $O(\log^{2}(\frac{K_{c}}{A_{c}}))$ for increasing the number of potential users $K_{c}$, which makes it ideally suited for AD in IoT setups. We propose low-complexity algorithms for AD and provide numerical simulations to illustrate our results.

[1]  C. Carathéodory Über den Variabilitätsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen , 1907 .

[2]  Alexander E. Litvak,et al.  Restricted isometry property for random matrices with heavy-tailed columns , 2014 .

[3]  Matthias Hein,et al.  Non-negative least squares for high-dimensional linear models: consistency and sparse recovery without regularization , 2012, 1205.0953.

[4]  Giuseppe Caire,et al.  A Scalable and Statistically Robust Beam Alignment Technique for mm-Wave Systems , 2017, ArXiv.

[5]  David L Donoho,et al.  Compressed sensing , 2006, IEEE Transactions on Information Theory.

[6]  Giuseppe Caire,et al.  Massive MIMO Channel Subspace Estimation From Low-Dimensional Projections , 2015, IEEE Transactions on Signal Processing.

[7]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[8]  Carsten Bockelmann,et al.  Compressive sensing based multi‐user detection for machine‐to‐machine communication , 2013, Trans. Emerg. Telecommun. Technol..

[9]  Peter Jung,et al.  Robust Nonnegative Sparse Recovery and the Nullspace Property of 0/1 Measurements , 2016, IEEE Transactions on Information Theory.

[10]  Giuseppe Caire,et al.  On-the-Fly Large-Scale Channel-Gain Estimation for Massive Antenna-Array Base Stations , 2018, 2018 IEEE International Conference on Communications (ICC).

[11]  Marc E. Pfetsch,et al.  A Compact Formulation for the $\ell _{2,1}$ Mixed-Norm Minimization Problem , 2016, IEEE Transactions on Signal Processing.

[12]  William W. Hager,et al.  Updating the Inverse of a Matrix , 1989, SIAM Rev..

[13]  David Tse,et al.  Fundamentals of Wireless Communication , 2005 .

[14]  Wei Yu,et al.  Massive Connectivity With Massive MIMO—Part I: Device Activity Detection and Channel Estimation , 2017, IEEE Transactions on Signal Processing.

[15]  Roman Vershynin,et al.  Introduction to the non-asymptotic analysis of random matrices , 2010, Compressed Sensing.

[16]  Petar Popovski,et al.  User activity detection in massive random access: Compressed sensing vs. coded slotted ALOHA , 2017, 2017 IEEE 18th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC).

[17]  Jong Chul Ye,et al.  Belief propagation for joint sparse recovery , 2011, ArXiv.

[18]  Emmanuel J. Candès,et al.  Near-Optimal Signal Recovery From Random Projections: Universal Encoding Strategies? , 2004, IEEE Transactions on Information Theory.

[19]  J. Sherman,et al.  Adjustment of an Inverse Matrix Corresponding to a Change in One Element of a Given Matrix , 1950 .

[20]  慧 廣瀬 A Mathematical Introduction to Compressive Sensing , 2015 .

[21]  R. Adamczak,et al.  Restricted Isometry Property of Matrices with Independent Columns and Neighborly Polytopes by Random Sampling , 2009, 0904.4723.

[22]  Giuseppe Caire,et al.  Low-Complexity Massive MIMO Subspace Estimation and Tracking From Low-Dimensional Projections , 2016, IEEE Transactions on Signal Processing.

[23]  Ami Wiesel,et al.  Geodesic Convexity and Covariance Estimation , 2012, IEEE Transactions on Signal Processing.

[24]  Giuseppe Caire,et al.  A Scalable and Statistically Robust Beam Alignment Technique for Millimeter-Wave Systems , 2018, IEEE Transactions on Wireless Communications.

[25]  Wei Yu,et al.  Sparse Activity Detection for Massive Connectivity , 2018, IEEE Transactions on Signal Processing.

[26]  G. Casella,et al.  Statistical Inference , 2003, Encyclopedia of Social Network Analysis and Mining.

[27]  Philip Schniter,et al.  Efficient High-Dimensional Inference in the Multiple Measurement Vector Problem , 2011, IEEE Transactions on Signal Processing.

[28]  Thomas L. Marzetta,et al.  Noncooperative Cellular Wireless with Unlimited Numbers of Base Station Antennas , 2010, IEEE Transactions on Wireless Communications.

[29]  R. Adamczak,et al.  Sharp bounds on the rate of convergence of the empirical covariance matrix , 2010, 1012.0294.

[30]  H. Vincent Poor,et al.  An Introduction to Signal Detection and Estimation , 1994, Springer Texts in Electrical Engineering.

[31]  Holger Rauhut,et al.  On the gap between RIP-properties and sparse recovery conditions , 2015, ArXiv.