Prerequisites & Notation

Prerequisites for Chapter 21

This chapter introduces random matrix theory from the perspective of wireless communications. The reader needs linear algebra (eigenvalues, SVD), probability at the level of FSP Chapters 5--11, and some familiarity with complex Gaussian vectors (Ch. 8). No prior exposure to random matrix theory is assumed.

  • Eigenvalue decomposition and singular value decomposition

    Self-check: Can you compute the eigenvalues of a Hermitian matrix and state the relationship σi(A)=λi(AHA)\sigma_i(\mathbf{A}) = \sqrt{\lambda_i(\mathbf{A}^H \mathbf{A})}?

  • Complex Gaussian vectors and covariance matrices(Review ch08)

    Self-check: Can you write the density of xCN(0,Σ)\mathbf{x} \sim \mathcal{CN}(\mathbf{0}, \boldsymbol{\Sigma}) and compute E[xxH]\mathbb{E}[\mathbf{x}\mathbf{x}^H]?

  • Convergence in distribution, weak law of large numbers(Review ch11)

    Self-check: Do you know the difference between convergence in distribution and convergence in probability?

  • Moment generating functions and characteristic functions(Review ch09)

    Self-check: Can you compute the MGF of a Gaussian random variable?

  • Logarithm and determinant of positive definite matrices

    Self-check: Do you know that logdet(A)=ilogλi(A)\log\det(\mathbf{A}) = \sum_i \log \lambda_i(\mathbf{A}) for Hermitian PD A\mathbf{A}?

Notation for This Chapter

The following notation is used throughout Chapter 21. We write H\mathbf{H} for a generic random matrix (not necessarily a channel matrix in this chapter). The notation FAF^{\mathbf{A}} denotes the empirical spectral distribution of a Hermitian matrix A\mathbf{A}.

SymbolMeaningIntroduced
H\mathbf{H}Random matrix (generic), often n×mn \times m with i.i.d. entriess01
W=1mHHH\mathbf{W} = \frac{1}{m}\mathbf{H}^H\mathbf{H}Sample covariance (Wishart-type) matrixs01
λ1λ2λn\lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_nOrdered eigenvalues of a Hermitian matrixs01
FA(λ)=1ni=1n1{λiλ}F^{\mathbf{A}}(\lambda) = \frac{1}{n}\sum_{i=1}^n \mathbf{1}_{\{\lambda_i \leq \lambda\}}Empirical spectral distribution (ESD) of n×nn \times n Hermitian A\mathbf{A}s01
β=n/m\beta = n/mAspect ratio of the matrix HCn×m\mathbf{H} \in \mathbb{C}^{n \times m}s02
fMP(λ;β)f_{\mathrm{MP}}(\lambda; \beta)Marchenko-Pastur density with parameter β\betas02
λ±=(1±β)2\lambda_{\pm} = (1 \pm \sqrt{\beta})^2Endpoints of the Marchenko-Pastur supports02
mF(z)=1λzdF(λ)m_F(z) = \int \frac{1}{\lambda - z}\, dF(\lambda)Stieltjes transform of a distribution FFs03
σ2\sigma^2Noise variance / noise power
N(μ,σ2)\mathcal{N}(\mu, \sigma^2)Gaussian distribution with mean μ\mu and variance σ2\sigma^2
CN(0,I)\mathcal{CN}(\mathbf{0}, \mathbf{I})Standard circularly symmetric complex Gaussian