MIMO Zero-Forcing Performance Evaluation Using the Holonomic Gradient Method

For multiple-input-multiple-output (MIMO) spatial-multiplexing transmission, zero-forcing (ZF) detection is appealing because of its low complexity. Our recent MIMO ZF performance analysis for Rician-Rayleigh fading, which is relevant in heterogeneous networks, has yielded for the ZF outage probability and ergodic capacity infinite-series expressions. Because they arose from expanding the confluent hypergeometric function 1F1(·, ·, σ) around 0, they do not converge numerically at realistically high Rician K-factor values. Therefore, herein, we seek to take advantage of the fact that 1F1(·, ·, σ) satisfies a differential equation, i.e., it is a holonomic function. Holonomic functions can be computed by the holonomic gradient method (HGM), i.e., by numerically solving the satisfied differential equation. Thus, we first reveal that the moment generating function (m.g.f.) and probability density function (p.d.f.) of the ZF signal-to-noise ratio (SNR) are holonomic. Then, from the differential equation for 1F1(·, ·, σ), we deduce those satisfied by the SNR m.g.f. and p.d.f. and demonstrate that the HGM helps compute the p.d.f. accurately at practically relevant values of K. Finally, numerical integration of the SNR p.d.f. produced by HGM yields accurate ZF outage probability and ergodic capacity results.

[1]  A. Grant Performance analysis of transmit beamforming , 2005, IEEE Transactions on Communications.

[2]  P. Takis Mathiopoulos,et al.  An Exact Performance Analysis of MRC / OSTBC over Generalized Fading Channels , 2010, IEEE Transactions on Communications.

[3]  Xiaoli Ma,et al.  Fundamental Limits of Linear Equalizers: Diversity, Capacity, and Complexity , 2008, IEEE Transactions on Information Theory.

[4]  H. Vincent Poor,et al.  A Reduced Feedback Precoder for MIMO-OFDM Cooperative Diversity Systems , 2012, IEEE Transactions on Vehicular Technology.

[5]  Franz Hlawatsch,et al.  Efficient detection algorithms for MIMO channels: a geometrical approach to approximate ML detection , 2003, IEEE Trans. Signal Process..

[6]  Peter J. Smith,et al.  Performance Analysis of Macrodiversity MIMO Systems with MMSE and ZF Receivers in Flat Rayleigh Fading , 2012, IEEE Transactions on Wireless Communications.

[7]  B. Sturmfels,et al.  Grbner Deformations of Hypergeometric Differential Equations , 2000 .

[8]  Hyundong Shin,et al.  Schur Complement Based Analysis of MIMO Zero-Forcing for Rician Fading , 2014, IEEE Transactions on Wireless Communications.

[9]  Xiongwen Zhao,et al.  WINNER II Channel Models Part I Channel Models , 2022 .

[10]  Mérouane Debbah,et al.  Massive MIMO in the UL/DL of Cellular Networks: How Many Antennas Do We Need? , 2013, IEEE Journal on Selected Areas in Communications.

[11]  Silvana Ilie Computational complexity of numerical solutions of initial value problems for differential algebraic equations (abstract only) , 2008, ACCA.

[12]  J.E. Mazo,et al.  Digital communications , 1985, Proceedings of the IEEE.

[13]  Kerstin Vogler,et al.  Table Of Integrals Series And Products , 2016 .

[14]  Christian Mallinger,et al.  Algorithmic Manipulations and Transformations of Univariate Holonomic Functions and Sequences , 2001 .

[15]  Yi Jiang,et al.  Performance Analysis of ZF and MMSE Equalizers for MIMO Systems: An In-Depth Study of the High SNR Regime , 2011, IEEE Transactions on Information Theory.

[16]  Lassi Hentila,et al.  WINNER II Channel Models , 2009 .

[17]  Helmut Bölcskei,et al.  An overview of MIMO communications - a key to gigabit wireless , 2004, Proceedings of the IEEE.

[18]  Ronald F. Boisvert,et al.  NIST Handbook of Mathematical Functions , 2010 .

[19]  Robert M. Corless,et al.  Adaptivity and computational complexity in the numerical solution of ODEs , 2008, J. Complex..

[20]  David Gesbert,et al.  Robust linear MIMO receivers: a minimum error-rate approach , 2003, IEEE Trans. Signal Process..

[21]  Sergey Loyka,et al.  On physically-based normalization of MIMO channel matrices , 2009, IEEE Transactions on Wireless Communications.

[22]  Matthew R. McKay,et al.  Error probability and SINR analysis of optimum combining in rician fading , 2009, IEEE Transactions on Communications.

[23]  John M. Cioffi,et al.  On the distribution of SINR for the MMSE MIMO receiver and performance analysis , 2006, IEEE Transactions on Information Theory.

[24]  Robert W. Heath,et al.  Transmit selection in spatial multiplexing systems , 2002, IEEE Communications Letters.

[25]  Hyundong Shin,et al.  Convergence analysis of performance-measure expressions for MIMO ZF under Rician fading , 2014, 2014 Australian Communications Theory Workshop (AusCTW).

[26]  Bruno Clerckx,et al.  MIMO techniques in WiMAX and LTE: a feature overview , 2010, IEEE Communications Magazine.

[27]  Sooyong Choi,et al.  Optimal number of users in zero-forcing based multiuser MIMO systems with large number of antennas , 2013, Journal of Communications and Networks.

[28]  Hiroki Hashiguchi,et al.  Holonomic gradient method for the distribution function of the largest root of a Wishart matrix , 2012, 1201.0472.

[29]  Y. Chikuse,et al.  Partial differential equations for hypergeometric functions of complex argument matrices and their applications , 1976 .

[30]  Gerald Matz,et al.  Achieving a Continuous Diversity-Complexity Tradeoff in Wireless MIMO Systems via Pre-Equalized Sphere-Decoding , 2009, IEEE Journal of Selected Topics in Signal Processing.

[31]  Jinho Choi,et al.  Low Complexity MIMO Detection , 2012 .

[32]  Steven D. Blostein,et al.  MIMO Zero-Forcing Detection Analysis for Correlated and Estimated Rician Fading , 2012, IEEE Transactions on Vehicular Technology.

[33]  Aria Nosratinia,et al.  Diversity of MMSE MIMO Receivers , 2010, IEEE Transactions on Information Theory.

[34]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .

[35]  Michail Matthaiou,et al.  Sum Rate Analysis of ZF Receivers in Distributed MIMO Systems , 2013, IEEE Journal on Selected Areas in Communications.

[36]  Erik G. Larsson,et al.  The Multicell Multiuser MIMO Uplink with Very Large Antenna Arrays and a Finite-Dimensional Channel , 2013, IEEE Transactions on Communications.

[37]  Robert W. Heath,et al.  Shifting the MIMO Paradigm , 2007, IEEE Signal Processing Magazine.

[38]  Mohamed-Slim Alouini,et al.  Digital Communication Over Fading Channels: A Unified Approach to Performance Analysis , 2000 .

[39]  Matthew R. McKay,et al.  New performance results for multiuser optimum combining in the presence of rician fading , 2009, IEEE Transactions on Communications.

[40]  Robb J. Muirhead,et al.  Systems of Partial Differential Equations for Hypergeometric Functions of Matrix Argument , 1970 .

[41]  Richard D. Gitlin,et al.  The impact of antenna diversity on the capacity of wireless communication systems , 1994, IEEE Trans. Commun..

[42]  Matthew R. McKay,et al.  Statistical properties of complex noncentral wishart matrices and MIMO capacity , 2005, Proceedings. International Symposium on Information Theory, 2005. ISIT 2005..

[43]  Robert M. Corless,et al.  The Computational Complexity of Extrapolation Methods , 2009, Math. Comput. Sci..

[44]  Christoph Koutschan,et al.  Advanced applications of the holonomic systems approach , 2010, ACCA.

[45]  Hyundong Shin,et al.  Exact MIMO Zero-Forcing Detection Analysis for Transmit-Correlated Rician Fading , 2013, IEEE Transactions on Wireless Communications.

[46]  Takayuki Hibi,et al.  Gröbner Bases Statistics and Software Systems , 2013 .

[47]  Alan Edelman,et al.  The efficient evaluation of the hypergeometric function of a matrix argument , 2006, Math. Comput..

[48]  Keith E. Muller,et al.  Computing the confluent hypergeometric function, M(a,b,x) , 2001, Numerische Mathematik.

[49]  M. Kießling,et al.  Analytical performance of MIMO zero-forcing receivers in correlated Rayleigh fading environments , 2003, 2003 4th IEEE Workshop on Signal Processing Advances in Wireless Communications - SPAWC 2003 (IEEE Cat. No.03EX689).

[50]  Manuel Kauers,et al.  The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates , 2011, Texts & Monographs in Symbolic Computation.

[51]  D. Zeilberger A holonomic systems approach to special functions identities , 1990 .

[52]  Tomonari Sei,et al.  Calculating the normalising constant of the Bingham distribution on the sphere using the holonomic gradient method , 2013, Stat. Comput..