Prerequisites & Notation

Before You Begin

Chapter 17 sits at the crossroads of three earlier strands of the book. From Part III we import the diversity-multiplexing tradeoff (Ch. 12) and the CDA-NVD construction (Ch. 13): they frame the question we are trying to answer and give us the algebraic benchmark. From Part IV we import lattice fundamentals (Ch. 15) and the Erez-Zamir mod- $\Lambda$ scheme (Ch. 16): they give us the coding tools. The theorem of El Gamal, Caire, and Damen (2004) — the heart of this chapter — is what happens when you combine all three: a lattice code (Ch. 16) is transported onto a MIMO fading channel (Ch. 12), decoded with a receiver (MMSE-GDFE) that mirrors MMSE-SIC for Gaussian random codes, and achieves the full Zheng-Tse DMT curve — the same goal CDA-NVD (Ch. 13) achieves through algebra. Both proofs are covered; the reader should understand why they are complementary, not redundant.

Diversity-multiplexing tradeoff and the Zheng-Tse curve(Review ch12)
Self-check: Can you state $d^*(r) = (n_t - r)(n_r - r)$ for $r \\in \\{0, 1, \\ldots, \\min(n_t, n_r)\\}$ , piecewise-linearly interpolated, and sketch the tradeoff for a $2 \\times 2$ i.i.d. Rayleigh channel? Do you recognise the converse argument via the outage-probability exponent?
CDA-NVD codes and the algebraic DMT-optimality proof(Review ch13)
Self-check: Can you explain why a cyclic division algebra with non-vanishing determinant achieves $d^*(r)$ for every $r$ , and why the NVD property absorbs the $M$ -dependence of the union bound into the asymptotic $\\doteq$ equivalence?
Lattice fundamentals: generator matrix, dual lattice, packing density(Review ch15)
Self-check: Can you write down a generator matrix $\\mathbf{G}$ for $E_8$ and for the Leech lattice $\\Lambda_{24}$ , state their kissing numbers ( $240$ and $196560$ ), and relate packing density to the coding gain $\\gamma_c(\\Lambda)$ over $\\mathbb{Z}^n$ ?
Erez-Zamir lattice AWGN coding and the mod- $\Lambda$ scheme(Review ch16)
Self-check: Can you state the Erez-Zamir result — lattice coding with MMSE scaling $\\alpha = \\text{SNR}/(\\text{SNR}+1)$ and common random dithering achieves $\\tfrac12 \\log_2(1 + \\text{SNR})$ on AWGN — and sketch why the MMSE factor is necessary (the lattice sees an effective noise variance $1/(\\text{SNR}+1)$ )?
QR decomposition of rectangular matrices (Gram-Schmidt)
Self-check: Given $\\mathbf{A} \\in \\mathbb{R}^{m \\times n}$ with $m \\ge n$ , can you compute $\\mathbf{A} = \\mathbf{Q} \\mathbf{R}$ with $\\mathbf{Q} \\in \\mathbb{R}^{m \\times n}$ having orthonormal columns and $\\mathbf{R} \\in \\mathbb{R}^{n \\times n}$ upper- triangular? This is the decomposition used in MMSE-GDFE.
Basic MIMO model $\mathbf{y} = \mathbf{H}\mathbf{x} + \mathbf{w}$ and ZF / MMSE / SIC receivers(Review ch10)
Self-check: Can you write down the zero-forcing receiver $\\hat{\\mathbf{x}}_{\\text{ZF}} = (\\mathbf{H}^H \\mathbf{H})^{-1} \\mathbf{H}^H \\mathbf{y}$ , the MMSE receiver $\\hat{\\mathbf{x}}_{\\text{MMSE}} = (\\mathbf{H}^H \\mathbf{H} + \\alpha \\mathbf{I})^{-1} \\mathbf{H}^H \\mathbf{y}$ , and explain how MMSE-SIC (successive interference cancellation) achieves the MIMO sum capacity?

Notation for This Chapter

Notation combines the MIMO symbols from Ch. 10-13 (channel matrix $\\mathbf{H}$ , SNR $\\text{SNR}$ , noise $\\mathbf{w}$ ), the lattice symbols from Ch. 15-16 (fine lattice $\\Lambda_c$ , shaping lattice $\\Lambda_s$ , dither $\\mathbf{d}$ ), and LAST-specific symbols introduced here (MMSE coefficient $\\alpha$ , MMSE-GDFE filter $\\mathbf{F}$ , triangular matrix $\\mathbf{R}$ ).

Symbol	Meaning	Introduced
$n_t, n_r$	Number of transmit and receive antennas	s01
$T$	Block length (channel uses per codeword matrix)	s01
$\mathbf{X} \in \mathbb{C}^{n_t \times T}$	Space-time codeword matrix	s01
$\mathbf{H} \in \mathbb{C}^{n_r \times n_t}$	MIMO channel matrix (i.i.d. $\mathcal{CN}(0,1)$ entries under Rayleigh)	s01
$\boldsymbol{\Delta}$	Codeword-difference matrix $\mathbf{X} - \hat{\mathbf{X}}$	s01
$\Lambda_c \subset \mathbb{R}^{n_t T}$	Fine (coding) lattice of the LAST code	s01
$\Lambda_s \subset \Lambda_c$	Coarse (shaping) lattice; codewords lie in $\Lambda_c \cap \mathcal{V}(\Lambda_s)$	s01
$\mathbf{G}$	Generator matrix of $\Lambda_c$ (real-valued after complex-to-real isomorphism)	s01
$\mathbf{d}$	Common random dither, uniform on $\mathcal{V}(\Lambda_s)$	s01
$\text{SNR}$	Average signal-to-noise ratio at each receive antenna	s01
$\mathbf{w} \in \mathbb{C}^{n_r}$	Receiver noise vector, $\mathcal{CN}(0, \mathbf{I})$ per channel use	s02
$\alpha$	MMSE coefficient; $\alpha = 1/\text{SNR}$ (real-valued form) or $\alpha = \text{SNR}/(\text{SNR}+1)$ (Erez-Zamir form)	s02
$\mathbf{F}$	MMSE-GDFE feed-forward filter	s02
$\mathbf{R}$	Upper-triangular matrix from QR decomposition of the augmented channel	s02
$d^*(r)$	Zheng-Tse DMT curve $(n_t - r)(n_r - r)$	s03
$\gamma_c(\Lambda)$	Coding gain of lattice $\Lambda$ over $\mathbb{Z}^n$	s04
$E_8$	Gosset lattice in $\mathbb{R}^8$ (densest packing in 8D; kissing number 240)	s04
$\Lambda_{24}$	Leech lattice in $\mathbb{R}^{24}$ (densest packing in 24D; kissing number 196560)	s04

← Ch 16 The LAST Code Construction