Chapter Summary

Chapter Summary

Key Points

  • 1.

    Diversity and multiplexing are two distinct asymptotic resources. On a block-fading MIMO channel at high SNR, the diversity gain dβˆ—=βˆ’lim⁑log⁑Pe/log⁑SNRd^* = -\lim \log P_e / \log \text{SNR} measures reliability slope at fixed rate, and the multiplexing gain r=lim⁑R(SNR)/log⁑2SNRr = \lim R(\text{SNR}) / \log_2 \text{SNR} measures rate slope at fixed reliability. Alamouti is full-diversity-zero-multiplexing (r=0,d=2nr)(r = 0, d = 2 n_r); V-BLAST is full-multiplexing-low-diversity (r=min⁑(nt,nr),d(r = \min(n_t, n_r), d small)).

  • 2.

    The Zheng-Tse theorem binds the two resources. For an ntΓ—nrn_t \times n_r i.i.d. Rayleigh channel with block length Lβ‰₯nt+nrβˆ’1L \ge n_t + n_r - 1, the optimal tradeoff is dβˆ—(r)=(ntβˆ’r)(nrβˆ’r)d^*(r) = (n_t - r)(n_r - r) at integer corners r∈{0,1,…,min⁑(nt,nr)}r \in \{0, 1, \ldots, \min(n_t, n_r)\}, linearly interpolated between (Thm. TZheng-Tse Diversity-Multiplexing Tradeoff). The proof combines an outage-exponent converse (Wishart large deviations) with a Gaussian random-coding achievability β€” the same pattern as Shannon's theorem, lifted to the exponential-equality regime.

  • 3.

    Every unit of multiplexing costs diversity. The initial slope of dβˆ—(r)d^*(r) at r=0r = 0 is βˆ’(nt+nrβˆ’1)-(n_t + n_r - 1) (steep β€” the first unit is expensive); the final slope at r=rmaxβ‘βˆ’r = r_{\max}^- is βˆ’(∣ntβˆ’nr∣+1)-(|n_t - n_r| + 1) (shallow β€” the last unit is cheap). Between corner points the cost decreases linearly in increments of 22, a combinatorial consequence of the Wishart Vandermonde factor.

  • 4.

    Classical codes are mostly DMT-sub-optimal. Alamouti achieves dβˆ—(0)=2nrd^*(0) = 2 n_r but drops off the DMT curve for any r>0r > 0 (its operating trace is a chord from (0,2nr)(0, 2 n_r) to (1,0)(1, 0)). V-BLAST-ZF gives (nrβˆ’nt+1)(1βˆ’r/nt)(n_r - n_t + 1)(1 - r/n_t) β€” a shallow chord below the DMT. V-BLAST-ML gives nr(1βˆ’r/nt)n_r (1 - r/n_t) β€” better but still below. The DMT curve is achieved in full only by algebraically-structured codes: the Golden code on 2Γ—22 \times 2 (Belfiore-Rekaya-Viterbo 2005), the CDA / Perfect codes on nΓ—nn \times n (Elia et al. 2006), and the LAST codes on arbitrary ntΓ—nrn_t \times n_r (El Gamal-Caire-Damen 2004).

  • 5.

    DMT is symmetric in (nt,nr)(n_t, n_r). The curve dβˆ—(r)d^*(r) is unchanged under (nt,nr)↔(nr,nt)(n_t, n_r) \leftrightarrow (n_r, n_t) because the nonzero eigenvalues of HHH\mathbf{H}\mathbf{H}^{H} and HHH\mathbf{H}^{H}\mathbf{H} coincide. A 2Γ—42 \times 4 channel and a 4Γ—24 \times 2 channel have identical DMT curves, even though their physical uplink / downlink asymmetry differs significantly.

  • 6.

    Rank adaptation = walking the DMT curve. LTE and 5G NR receivers report a rank indicator k∈{1,…,min⁑(nt,nr,8)}k \in \{1, \ldots, \min(n_t, n_r, 8)\} to the base station; this is operationally the target multiplexing gain r=kr = k, and the scheduler navigates the DMT curve (k,(ntβˆ’k)(nrβˆ’k))(k, (n_t - k) (n_r - k)) in response to measured SNR. High SNR β†’\to high rank β†’\to more multiplexing; low SNR β†’\to low rank β†’\to more diversity.

  • 7.

    Short block length truncates the DMT. For L<nt+nrβˆ’1L < n_t + n_r - 1, the DMT curve is truncated at r=Lr = L (Thm. TDMT Truncation for Short Block Length): no coding scheme can support multiplexing gain above the coherence-time block length. This matters at mmWave high mobility where coherence time can be ∼1\sim 1 OFDM symbol, capping effective rmax⁑r_{\max} below min⁑(nt,nr)\min(n_t, n_r).

  • 8.

    Full-rank correlation preserves DMT. For any Tx correlation matrix with det⁑Rt>0\det \mathbf{R}_t > 0, the DMT exponent dβˆ—(r)d^*(r) is unchanged from the i.i.d. case (Thm. TDMT Invariance under Full-Rank Tx Correlation). Coding gain degrades by (det⁑Rt)βˆ’1/nt(\det \mathbf{R}_t)^{-1/n_t} (Hadamard), typically 11–33 dB in practical 5G NR scenarios. Rank-deficient correlation (det⁑=0\det = 0) does degrade the exponent β€” reducing the effective number of spatial degrees of freedom.

  • 9.

    DMT is asymptotic; coding gain matters at finite SNR. Two codes with the same dβˆ—(r)d^*(r) can differ by several dB at moderate SNR (10–30 dB) due to different multiplicative constants in front of SNRβˆ’dβˆ—\text{SNR}^{-d^*}. The DMT is a first-order design criterion β€” it tells you which (r,d)(r, d) corner to target. Choosing between codes at the same corner requires finite-SNR analysis (determinant criterion, Monte Carlo) or the explicit coding-gain bounds of Chapter 13.

Looking Ahead

Chapter 13 turns the Zheng-Tse existence result into explicit constructions: cyclic division algebra (CDA) codes, the Golden code, and the Perfect codes. The key design tool is the nonvanishing determinant property β€” the minimum determinant of the codeword- difference matrix ΔΔH\boldsymbol{\Delta}\boldsymbol{\Delta}^H does not decay with SNR β€” which is the algebraic fingerprint of DMT optimality. The CommIT contribution to Chapter 13 is the 2006 Elia-Kumar-Pawar-Kumar- Lu-Caire paper ("Explicit space-time codes achieving the diversity- multiplexing gain tradeoff") that unified the Golden code and the Oggier-Rekaya-Belfiore-Viterbo Perfect codes under the CDA framework.

Chapter 14 extends the DMT to ARQ-based MIMO systems via incremental redundancy. Each retransmission adds both diversity (fresh fading realisation) and effective rate flexibility. The ARQ-DMT of El Gamal- Caire-Damen 2006 gives a tradeoff curve that strictly exceeds the Zheng-Tse curve at the cost of feedback latency. 5G NR HARQ is a practical ARQ-DMT instance.

Chapter 17 generalises the DMT to lattice space-time (LAST) codes, providing DMT-optimal constructions for arbitrary ntΓ—nrn_t \times n_r including the asymmetric cases where CDA codes are less natural. The MMSE-GDFE receiver plays the role of MMSE-SIC for lattice codes.

The DMT framework of this chapter β€” piecewise-linear (r,dβˆ—)(r, d^*) curve, outage-plus-random-coding proof technique, exponential-equality asymptotics β€” is the conceptual tool through which Chapters 13, 14, 17, and 18 analyse their respective code constructions. It is the information-theoretic culmination of Part III and the bridge to Part IV (lattices and DMT-optimal constructions).