Chapter Summary

Chapter Summary

Key Points

  • 1.

    MIMO capacity (Telatar 1999 review). On an ntΓ—nrn_t \times n_r i.i.d. Rayleigh MIMO channel with CSIR and isotropic input, the ergodic capacity is C=E[log⁑det⁑(Inr+(SNR/nt)HHH)]C = \mathbb{E}[\log\det(\mathbf{I}_{n_r} + (\text{SNR}/n_t)\mathbf{H}\mathbf{H}^{H})] (Thm. TErgodic MIMO Capacity (Telatar 1999)), with high-SNR prelog min⁑(nt,nr)log⁑2SNR\min(n_t, n_r)\log_2\text{SNR}. A 4Γ—44\times 4 system at 1010 dB achieves ∼10.9\sim 10.9 bits/channel use β€” 3.2Γ—3.2\times the SISO rate.

  • 2.

    Block-fading and outage capacity. On a quasi-static channel, the capacity C(H)=log⁑det⁑(I+(SNR/nt)HHH)C(\mathbf{H}) = \log\det(\mathbf{I} + (\text{SNR}/n_t) \mathbf{H}\mathbf{H}^{H}) is random and the operational benchmark is the outage capacity CΟ΅C_\epsilon (Def. Ο΅\epsilon-Outage Capacity" data-ref-type="definition">DOutage Probability and Ο΅\epsilon-Outage Capacity), the Ο΅\epsilon-quantile of this random variable. At 1010 dB and Ο΅=0.1\epsilon = 0.1, the 2Γ—22 \times 2 Rayleigh outage capacity is ∼3.9\sim 3.9 bits β€” about 68%68\% of the ergodic 5.75.7 bits. At high SNR, Pout(rlog⁑2SNR)≐SNRβˆ’d⋆(r)P_{\mathrm{out}}(r\log_2\text{SNR}) \doteq \text{SNR}^{-d^\star(r)} (Thm. Pout(R)P_{\mathrm{out}}(R) (DMT Preview)" data-ref-type="theorem">THigh-SNR Scaling of Pout(R)P_{\mathrm{out}}(R) (DMT Preview), the Zheng-Tse DMT, with d⋆(0)=ntnrd^\star(0) = n_t n_r).

  • 3.

    Space-time PEP bound. On an i.i.d. Rayleigh block-fading channel, the pairwise error probability under ML decoding satisfies P(Xβ†’X^)β‰€βˆi=1r(1+(SNR/4nt)Ξ»i(ΔΔH))βˆ’nrP(\mathbf{X}\to\hat{\mathbf{X}}) \le \prod_{i=1}^r (1 + (\text{SNR}/4n_t)\lambda_i(\boldsymbol{\Delta}\boldsymbol{\Delta}^H))^{-n_r} (Thm. TSpace-Time PEP Bound (Tarokh-Seshadri-Calderbank 1998 / Guey-Fitz-Bell-Kuo 1999)). The derivation reuses the Chernoff

    • MGF-of-Ο‡2\chi^2 template of Chs. 2 and 6, now applied to the rr-dimensional eigen-structure of ΔΔH\boldsymbol{\Delta}\boldsymbol{\Delta}^H. At high SNR, this simplifies to (SNR/4nt)βˆ’rnr∏iΞ»iβˆ’nr(\text{SNR}/4n_t)^{-r n_r} \prod_i\lambda_i^{-n_r}.
  • 4.

    Rank criterion. The diversity order of a space-time code is d=rmin⁑nrd = r_{\min} n_r, where rmin⁑=min⁑Xβ‰ X^rank(Ξ”)r_{\min} = \min_{\mathbf{X}\ne \hat{\mathbf{X}}} \mathrm{rank}(\boldsymbol{\Delta}) (Thm. TRank Criterion (Tarokh-Seshadri-Calderbank 1998), Tarokh-Seshadri-Calderbank 1998). Maximum diversity ntnrn_t n_r requires full rank for every codeword pair. This is the designer's first objective: without full rank, no amount of coding-gain optimisation can recover the lost slope. A rank-11 code (e.g., spatial repetition) achieves only nrn_r diversity β€” half of the maximum at nt=2n_t = 2.

  • 5.

    Determinant criterion. Among full-rank codes, the coding gain is Ξ³c=det⁑min⁑(C)1/nt\gamma_c = \det_{\min}(\mathcal{C})^{1/n_t} (Thm. TDeterminant Criterion (Tarokh-Seshadri-Calderbank 1998)), with det⁑min⁑=min⁑det⁑(ΔΔH)\det_{\min} = \min \det(\boldsymbol{\Delta}\boldsymbol{\Delta}^H) over codeword pairs. Doubling det⁑min⁑\det_{\min} shifts the BER curve left by 3nr/nt3 n_r/n_t dB. Alamouti achieves det⁑(ΔΔH)=(∣e1∣2+∣e2∣2)2\det(\boldsymbol{\Delta}\boldsymbol{\Delta}^H) = (|e_1|^2 + |e_2|^2)^2 β€” constant-determinant on every one- symbol-error pair.

  • 6.

    Asymptotic honesty. The rank and determinant criteria are high-SNR asymptotic statements derived from a union bound that is loose at low SNR (often meaningless there). They are the correct tool for code design at target BERs in the 10βˆ’310^{-3}–10βˆ’610^{-6} range, where the dominant PEP pair drives the error probability. At very low SNR the bound breaks down and Monte-Carlo simulation is required.

  • 7.

    The link to 2026 standards. LTE TM3/TM4 and 5G NR codebook precoding enforce the rank criterion at the layer level: the PMI codebooks are rank-preserving. Transmit diversity modes (SFBC = OFDM Alamouti) are full-rank by construction and guarantee ntnrn_t n_r diversity. The theoretical framework of 1998 (Tarokh-Seshadri- Calderbank, Alamouti, Guey-Fitz-Bell-Kuo) maps directly onto the contemporary 3GPP design language.

  • 8.

    Forward pointers within Part III. Ch. 11 constructs full-rank codes with clean determinant structure (Alamouti, OSTBCs, linear dispersion codes). Ch. 12 generalises the rank criterion's fixed-rate diversity to the entire Zheng-Tse (r,d⋆(r))(r, d^\star(r)) tradeoff. Ch. 13 provides the CommIT contribution by Elia-Kumar- Pawar-Kumar-Caire (2006): DMT-optimal cyclic-division-algebra constructions whose minimum determinant is bounded away from zero β€” the ultimate realisation of "rank + determinant" discipline.

Looking Ahead

Chapter 11 (Space-Time Block Codes) takes the rank-determinant criteria and builds actual codes that satisfy them. The Alamouti scheme for 2Γ—nr2 \times n_r achieves full diversity and rate 11 with linear ML decoding β€” a near-perfect engineering artefact. Orthogonal STBCs (Tarokh-Jafarkhani-Calderbank 1999) extend Alamouti to nt>2n_t > 2 at rate ≀3/4\le 3/4 (complex symbols). Quasi-orthogonal codes trade orthogonality for rate; linear dispersion codes (Hassibi- Hochwald 2002) capture the most general linear STC structure. Every Ch. 11 construction is analysed through the lens of this chapter's rank and determinant criteria.

Chapter 12 (Diversity-Multiplexing Tradeoff) asks what happens when we allow the rate R=rlog⁑2SNRR = r \log_2\text{SNR} to scale with SNR. The r=0r = 0 endpoint is the maximum-diversity problem of Β§4–§5; the r=min⁑(nt,nr)r = \min(n_t, n_r) endpoint is the multiplexing problem. The full curve d⋆(r)d^\star(r) interpolates them piecewise-linearly through the Wishart large-deviation analysis previewed in Β§2. DMT-optimal codes are those achieving d⋆(r)d^\star(r) for every rr β€” a dramatically more demanding construction problem than mere full rank.

Chapter 13 (DMT-Optimal Code Constructions) presents the CommIT contribution of Elia-Kumar-Pawar-Kumar-Caire (IEEE Trans. IT 2006): cyclic division algebra (CDA) codes with non-vanishing minimum determinant that achieve the entire DMT curve for arbitrary (nt,nr)(n_t, n_r). The Golden Code (Belfiore-Rekaya-Viterbo 2005) is the 2Γ—22\times 2 prototype. The rank criterion of Β§4 is their full-rank guarantee; the non-vanishing determinant is the Ch. 13 strengthening of the determinant criterion of Β§5.

The rank and determinant vocabulary introduced in this chapter is the working language of the entire Part III β€” Chapters 11, 12, 13, 14 all speak it, and the LAST codes of Chapter 17 extend it to lattice space-time coding.