Linear Dispersion Codes

The Most General Linear STC: Hassibi-Hochwald

At this point we have a neat taxonomy of linear space-time codes: Alamouti (orthogonal, rate 1, nt=2n_t = 2), OSTBC (orthogonal, rate ≀Rmax⁑(nt)\le R_{\max}(n_t), ntβ‰₯1n_t \ge 1), QOSTBC (quasi-orthogonal, rate 1, half-diversity, nt=4n_t = 4), V-BLAST (no structure, rate ntn_t, diversity 1). Each of these is a specific choice of the dispersion matrices {Aq,Bq}\{\mathbf{A}_q, \mathbf{B}_q\}. The question Hassibi and Hochwald asked in 2002 was: can we just let the dispersion matrices be anything and optimise?

Their answer β€” the linear dispersion code (LDC) framework β€” is that every linear STBC is parameterised by a tuple (Q,{Aq,Bq})(Q, \{\mathbf{A}_q, \mathbf{B}_q\}) with QQ dispersion matrices in CntΓ—T\mathbb{C}^{n_t \times T}. The OSTBC, QOSTBC, and V-BLAST constraints are all special cases β€” subsets of the LDC parameter space cut out by algebraic conditions. By searching the LDC parameter space with mutual-information as the objective (not orthogonality as the constraint), we can find codes that approach the MIMO ergodic capacity for any target rate, at any block length TT.

This is the culmination of the linear-STC story and the bridge to Chapter 12 (Zheng-Tse DMT) and Chapter 13 (CDA codes). LDCs don't solve the DMT problem by themselves β€” they are a design framework, a space in which to optimise β€” but they are the right language for every subsequent space-time code. Every theorem we prove about LDCs specialises to Alamouti, OSTBC, QOSTBC, and V-BLAST by plugging in their dispersion matrices; every code we construct lives in the LDC parameter space.

Definition:

Linear Dispersion Code (LDC)

A linear dispersion code (LDC) is a space-time block code with block length TT, input symbols {sq}q=1K\{s_q\}_{q=1}^K drawn from a constellation X\mathcal{X}, and codeword matrix of the form Xβ€…β€Š=β€…β€Šβˆ‘q=1K(Ξ±qAq+jΞ²qBq),sq=Ξ±q+jΞ²q,\mathbf{X} \;=\; \sum_{q=1}^{K} \bigl(\alpha_q \mathbf{A}_q + j\beta_q \mathbf{B}_q\bigr), \qquad s_q = \alpha_q + j\beta_q, parameterised by dispersion matrices {Aq,Bq}βŠ‚CntΓ—T\{\mathbf{A}_q, \mathbf{B}_q\} \subset \mathbb{C}^{n_t \times T}. The code is specified by the Q=2KQ = 2K matrices {Aq}βˆͺ{Bq}\{\mathbf{A}_q\} \cup \{\mathbf{B}_q\} (no further constraints β€” they may or may not satisfy orthogonality relations).

The rate is R=K/TR = K/T complex symbols per channel use. The code is capacity-compatible (a term of art from Hassibi-Hochwald) if it is designed to approach the ergodic MIMO capacity at the corresponding ergodic channel.

Every linear STBC in this chapter is an LDC:

  • Alamouti: Q=4Q = 4, matrices as listed in the remark of Def. DDispersion Matrix Expansion of a Linear STBC.
  • TJC rate-3/43/4 OSTBC for nt=4n_t = 4: Q=6Q = 6 (3 complex symbols, 2Γ—3=62 \times 3 = 6 real dispersion matrices).
  • Jafarkhani QOSTBC: Q=8Q = 8 (4 complex symbols).
  • V-BLAST: Q=2ntQ = 2 n_t with very simple dispersion matrices (columns of Int\mathbf{I}_{n_t} and jIntj\mathbf{I}_{n_t}).

The LDC framework is therefore not a new family of codes β€” it is a reparameterisation that lets you search for better codes by optimising over the dispersion matrices.

Theorem: LDCs Achieve the MIMO Ergodic Capacity

Consider the i.i.d. Rayleigh ergodic MIMO channel with ntn_t Tx and nrn_r Rx antennas and transmit power constraint E[βˆ₯Xβˆ₯F2]/T≀Es\mathbb{E}[\|\mathbf{X}\|_F^2]/T \le E_s. For any Tβ‰₯1T \ge 1 and any rate RR below the ergodic capacity Cerg=EH[log⁑2det⁑(Inr+(SNR/nt)HHH)]C_{\mathrm{erg}} = \mathbb{E}_{\mathbf{H}}[\log_2 \det(\mathbf{I}_{n_r} + (\text{SNR}/n_t)\mathbf{H}\mathbf{H}^{H})], there exists a linear dispersion code with Q≀2ntnrTQ \le 2 n_t n_r T dispersion matrices achieving rate RR with vanishing error probability as the outer code block length grows.

Equivalently: any rate R<CergR < C_{\mathrm{erg}} is achievable by an LDC of dimension Q≀2ntnrTQ \le 2 n_t n_r T. LDCs are capacity-universal β€” they can approach the ergodic MIMO capacity for any (SNR,nt,nr)(\text{SNR}, n_t, n_r).

The proof is a Gaussian-input argument: if the QQ dispersion matrices span a sufficiently high-dimensional subspace of CntΓ—T\mathbb{C}^{n_t \times T}, then the transmitted codeword X\mathbf{X} has essentially i.i.d. Gaussian entries (by the central limit theorem applied to the dispersion expansion with many symbols). An i.i.d. Gaussian input achieves the MIMO ergodic capacity (Telatar 1995, Foschini 1996). So an LDC with QQ matrices spanning enough of the space inherits this optimality.

The concrete number Q≀2ntnrTQ \le 2 n_t n_r T is the dimension of the codeword matrix space CntΓ—T\mathbb{C}^{n_t \times T} over R\mathbb{R}: 2ntT2 n_t T for a single receive antenna, multiplied by nrn_r for coherent combining. Beyond this, extra dispersion matrices are redundant.

Example: Designing a Rate-2 LDC for nt=nr=2n_t = n_r = 2: From Alamouti to Near-Capacity

Design an LDC for nt=nr=2,T=2n_t = n_r = 2, T = 2 at rate R=2R = 2 symbols per channel use (twice the Alamouti rate). Compare its mutual information to the ergodic capacity and to the Alamouti MI.

LDC Capacity vs Number of Dispersion Matrices QQ

Mutual information of an LDC as a function of the number of dispersion matrices QQ, for a given (nt,nr,T)(n_t, n_r, T). The plot shows:

  • The ergodic MIMO capacity CergC_{\mathrm{erg}} (red dashed) β€” the Shannon limit for i.i.d. Rayleigh.
  • The LDC mutual information (blue) as QQ grows from 1 (trivial) to 2ntT2 n_t T (full span).

Three-knob control:

  • nt∈{2,3,4}n_t \in \{2, 3, 4\} (transmit antennas).
  • nr∈{2,3,4}n_r \in \{2, 3, 4\} (receive antennas).
  • T∈[2,8]T \in [2, 8] (block length).

Watch the LDC curve saturate at the capacity when QQ reaches the critical value 2ntT2 n_t T. This is the constructive content of Thm. TLDCs Achieve the MIMO Ergodic Capacity: with enough dispersion matrices an LDC is capacity-achieving. Compare with Alamouti's Q=4Q = 4 (a fixed point well below the curve for nt>2n_t > 2) and OSTBC's Q=2Kmax⁑(nt)Q = 2 K_{\max}(n_t).

Parameters
2
2
4

LDC Design as Convex Optimisation

Hassibi and Hochwald 2002 pose the LDC design problem as follows: minimise the pairwise error probability bound (Chernoff-type, from Ch. 10 Β§10.3) over the choice of dispersion matrices {Aq,Bq}\{\mathbf{A}_q, \mathbf{B}_q\} subject to a power constraint βˆ₯Aqβˆ₯F2+βˆ₯Bqβˆ₯F2=\|\mathbf{A}_q\|_F^2 + \|\mathbf{B}_q\|_F^2 = const. The PEP bound, after Jensen's inequality, becomes an expectation of det⁑(I+Ξ±QΔΔH)βˆ’1\det(\mathbf{I} + \alpha \mathbf{Q} \boldsymbol{\Delta}\boldsymbol{\Delta}^H)^{-1} where Q\mathbf{Q} is a convex function of the dispersion matrices. The objective is concave in the Gramian AqHAq+BqHBq\mathbf{A}_q^H\mathbf{A}_q + \mathbf{B}_q^H\mathbf{B}_q β€” a classical log-det convex-optimisation problem that can be solved by semi-definite programming.

The observation that LDC design is convex is what makes the framework so usable: you specify a target (nt,nr,T,R)(n_t, n_r, T, R) and let a numerical solver find the dispersion matrices. Hassibi and Hochwald 2002 Table I lists several such optimised LDCs for nt=nr=2,3,4n_t = n_r = 2, 3, 4 at rates 1, 2, 3 β€” each one outperforming Alamouti (at rate 1) or V-BLAST (at rate ntn_t) in mutual information. The catch is that the decoder for a generic LDC is lattice-based (sphere decoder) β€” no longer linear. This is the price for closing the capacity gap.

⚠️Engineering Note

The LDC Decoder Cost: From Linear to Lattice

Every step up in rate from Alamouti (OSTBC β†’ QOSTBC β†’ LDC β†’ CDA codes) costs decoder complexity. The specific cascade is:

Code ML decoder Complexity
Alamouti / OSTBC Scalar matched filter O(MK)O(MK)
QOSTBC Pair-wise ML O(M2β‹…K/2)O(M^2 \cdot K/2)
General LDC Lattice decoder (sphere) O(MK)O(M^K) worst case, O(MK)O(\sqrt{M}^K) typical
CDA / Golden / Perfect (Ch. 13) Lattice decoder Same as LDC in principle

A rate-2 LDC at 16-QAM with K=4K = 4 costs O(164)=65 536O(16^4) = 65\,536 metric evaluations worst case per codeword; in practice, sphere decoding reduces this to ∼164=256\sim \sqrt{16}^4 = 256 evaluations at reasonable SNR. By comparison, Alamouti costs ∼M=16\sim M = 16. The rate improvement (2 symbols/cu vs 1) is bought at ∼16Γ—\sim 16\times the decoder complexity β€” still tractable.

In 5G NR, the decoder budget for a physical downlink shared channel (PDSCH) MIMO layer is constrained by the UE's silicon area. At nt=nr=4n_t = n_r = 4 with 64-QAM, a brute-force per-codeword lattice search is infeasible; practical receivers use either (a) closed-loop codebook precoding + per-layer LDPC decoding (standard 5G approach), or (b) approximate lattice decoders like K-best or MMSE-interference- cancellation. Pure-LDC codes thus remain a research benchmark rather than a standard feature.

Practical Constraints
  • β€’

    Sphere decoder complexity averages O(MK/2)O(M^{K/2}) at moderate SNR; grows to O(MK)O(M^K) worst case

  • β€’

    Lattice basis reduction (LLL) pre-processing helps but adds its own O(K3)O(K^3) cost per channel realisation

  • β€’

    In current standards, simpler structured codes + iterative LDPC+MIMO detection are preferred

Historical Note: Hassibi-Hochwald 2002: The Unifying Framework

2002

Babak Hassibi and Bertrand Hochwald published "High-rate codes that are linear in space and time" in IEEE Trans. IT, vol. 48, no. 7, July 2002, pp. 1804-1824 β€” a long paper (20 pages) that did three things simultaneously:

  1. Unified the linear-STC zoo. Defined the LDC as the most general linear space-time code and showed that Alamouti, OSTBC, QOSTBC, and V-BLAST are all special cases. Every linear STBC fits in the LDC framework.
  2. Formulated design as optimisation. Posed the LDC design problem as minimisation of the PEP bound over dispersion matrices; showed it is convex in the Gramian and solvable by SDP. Provided a numerical algorithm and tabulated optimised LDCs for common (nt,nr,T)(n_t, n_r, T).
  3. Proved capacity-achieving universality. Showed that LDCs can approach the ergodic MIMO capacity for any (nt,nr)(n_t, n_r) as Q→2ntnrTQ \to 2 n_t n_r T — the ergodic capacity of the Rayleigh MIMO channel is reachable by a linear dispersion code.

Hassibi β€” a Caltech professor working in MIMO theory since the late 1990s β€” and Hochwald (at Bell Labs, later at Notre Dame) were the natural authors: both had previously written landmark papers on multiple-antenna capacity (Hochwald-Marzetta 1999) and differential unitary STC. Their 2002 paper is the natural endpoint of the linear- STC thread: everything beyond LDCs is either non-linear (CDA codes, Ch. 13) or adapts the LDC framework with extra constraints (e.g., approximate universality, DMT-optimality).

The paper is technically demanding but conceptually clean. It is the reference that subsequent LDC-design papers cite in their introductions; it is also the paper that cleanly separates "code design" (the choice of dispersion matrices) from "code analysis" (the resulting rate, diversity, and decoder complexity). Every subsequent research paper on linear MIMO codes implicitly uses its vocabulary.

Alamouti vs OSTBC vs QOSTBC vs V-BLAST vs LDC

PropertyAlamouti (nt=2n_t=2)OSTBC (nt>2n_t > 2)QOSTBC (nt=4n_t=4)V-BLASTLDC (general)
Rate (sym/ch. use)1≀3/4\le 3/4 (nt=3,4n_t = 3,4)1ntn_tany R≀min⁑(nt,nr)R \le \min(n_t, n_r)
Diversity2nr2 n_r (full)ntnrn_t n_r (full)2nr2 n_r (half of full)nrβˆ’nt+1n_r - n_t + 1 per layer (ZF)design-dependent
DecoderScalar MFScalar MFPair-wise ML, O(M2)O(M^2) per pairZF-SIC or MMSE-SICSphere / lattice, O(MK/2)O(M^{K/2}) typ.
OrthogonalityYes (XXH=βˆ₯sβˆ₯2I\mathbf{X}\mathbf{X}^H = \|\mathbf{s}\|^2 \mathbf{I})YesBlock-diagonal onlyNoneOptional / design choice
Ergodic-capacity gap0 at nt=2n_t=2Grows with ntn_tGrows with ntn_t→0\to 0 at high SNR→0\to 0 by construction
Closed-form codewordYes (Alamouti matrix)Yes (Hurwitz-Radon)Yes (2Γ—2 Alamouti blocks)Identity-like (each antenna streams a symbol)Optimised numerically
Canonical referenceAlamouti 1998Tarokh-Jafarkhani-Calderbank 1999Jafarkhani 2001Wolniansky et al. 1998Hassibi-Hochwald 2002
In 3GPP standards?Yes (WCDMA, LTE TM2, NR fallback)NoNoEffectively, as SM with LDPC + MMSE-ICNo (research benchmark only)

Common Mistake: LDC Is Not OSTBC: Don't Assume Linear Decoding

Mistake:

Reading "LDC is the general linear STC" as implying "every LDC has an OSTBC-style linear matched-filter decoder" or "LDCs preserve the orthogonality of Alamouti at higher rates".

Correction:

LDC is "linear" in the sense that the codeword matrix X\mathbf{X} is a linear function of the information symbols {sq}\{s_q\}. The decoder is generally not linear. Only the special sub-classes β€” OSTBC and the trivial rate-1 cases β€” admit a scalar matched-filter decoder. A generic LDC at rate 2 or higher has a non-orthogonal codeword Gramian XXH\mathbf{X}\mathbf{X}^H that is a matrix polynomial in the symbols, and its ML decoder is a lattice / sphere decoder. The "linear" is in the encoder, not the decoder.

This is also why you cannot "just use the Alamouti decoder" on a general LDC β€” you have to respect the non-orthogonal structure with a lattice decoder. For practical rate-2 LDCs at nt=nr=2n_t = n_r = 2 the decoder runs at O(M2)O(M^2) per codeword (tractable); for rate-4 LDCs at nt=nr=4n_t = n_r = 4 it runs at O(M4)O(M^4) (needs sphere decoding to be practical).

,

Why This Matters: Forward: LDCs, DMT, and Cyclic Division Algebra Codes

LDCs can approach the ergodic MIMO capacity (Thm. TLDCs Achieve the MIMO Ergodic Capacity) but they do not automatically achieve the diversity-multiplexing tradeoff dβˆ—(r)d^*(r) of Chapter 12. The DMT requires a stronger property: the error matrix Ξ”\boldsymbol{\Delta} must have full rank for every symbol pair at any rate β€” an algebraic condition that LDCs don't generically satisfy. Chapter 13 introduces cyclic division algebra (CDA) codes β€” a non-linear-in-the-symbol but algebraic-structured construction that guarantees full-rank error matrices for all rates up to min⁑(nt,nr)\min(n_t, n_r), thereby achieving the full DMT.

The Golden code (Belfiore-Rekaya 2003), the Perfect codes (Oggier et al. 2006), and the Elia-Kumar-Pawar-Kumar-Caire LAST constructions (2006) are all CDA codes β€” genuine DMT-optimal constructions that upgrade the LDC framework with extra algebraic structure (number- theoretic irrationalities, roots of unity, cyclotomic extensions). The bridge from "linear" (LDC) to "DMT-optimal" (CDA) is the subject of Chs. 12 and 13.

πŸ”§Engineering Note

MIMO in Wi-Fi and LTE: How the STBC Story Maps to Standards

The space-time coding story of this chapter maps to deployed standards roughly as follows:

  • Wi-Fi 802.11n (2009): 2Γ—2 and 4Γ—4 MIMO with spatial multiplexing (V-BLAST-style, no STBC). Optionally, Alamouti-style STBC mode for legacy coverage. Primary coding is LDPC or BCC.
  • Wi-Fi 802.11ac (2013): Same architecture, extended to 8Γ—8. No STBC; closed-loop precoding with explicit beamforming feedback.
  • LTE TM2 / TM3 (2008-2012): Open-loop transmit-diversity mode based on Alamouti for 2 Tx antennas, and block-Alamouti for 4 Tx. Used for cell-edge and control channels.
  • LTE TM4-TM9: Closed-loop codebook precoding (rank 1 to min⁑(nt,nr)\min(n_t, n_r)), effectively V-BLAST with beamforming.
  • 5G NR (2018): Codebook-based precoding (Type-I, Type-II) with subband granularity. No STBC in main data channels. Alamouti still appears in some broadcast/control.

The absence of OSTBC, QOSTBC, and LDC in mainstream standards is not because those codes don't work β€” they demonstrably work. Rather, the combination of LDPC outer codes + spatial multiplexing + closed-loop precoding dominates in the typical cellular operating regime (moderate SNR, partial CSIT, long coherence time). Alamouti at nt=2n_t = 2 is the exception: it is simple, open-loop, and provides a meaningful diversity gain at cell edge where CSIT is unreliable.

Practical Constraints
  • β€’

    Open-loop STBCs (Alamouti) are used where CSIT is unreliable (cell edge, high mobility)

  • β€’

    Closed-loop precoding dominates in the mainstream cellular regime

  • β€’

    Rate->1>1 OSTBCs / QOSTBCs / LDCs are not in mainstream 3GPP / IEEE 802.11 releases

  • β€’

    Research LDCs and CDA codes (Ch. 13) remain open-source / academic-reference only

πŸ“‹ Ref: IEEE 802.11n/ac, 3GPP TS 36.211, TS 38.211

Quick Check

An LDC is designed with Q=4Q = 4 dispersion matrices at nt=nr=2,T=2,K=2n_t = n_r = 2, T = 2, K = 2. Without additional constraints on the dispersion matrices, this LDC is not necessarily:

Orthogonal (OSTBC) β€” the dispersion matrices might not satisfy Hurwitz-Radon-Eckmann

Rate 1 β€” the rate is K/T=2/2=1K/T = 2/2 = 1 by construction

Linear β€” by construction, X\mathbf{X} is linear in the symbols {sq}\{s_q\}

Carrying 2 complex symbols β€” K=2K = 2 by construction

Linear Dispersion Code (LDC)

A space-time block code of the form X=βˆ‘q(Ξ±qAq+jΞ²qBq)\mathbf{X} = \sum_q (\alpha_q \mathbf{A}_q + j\beta_q \mathbf{B}_q) for complex input symbols sq=Ξ±q+jΞ²qs_q = \alpha_q + j\beta_q and fixed dispersion matrices Aq,Bq∈CntΓ—T\mathbf{A}_q, \mathbf{B}_q \in \mathbb{C}^{n_t\times T}. Introduced by Hassibi and Hochwald 2002 as the most general linear STBC framework; specialises to Alamouti, OSTBC, QOSTBC, and V-BLAST by specific choices of the dispersion matrices. Can achieve the MIMO ergodic capacity as Qβ†’2ntnrTQ \to 2 n_t n_r T.

Related: Dispersion Matrix, Orthogonal Space-Time Block Code (OSTBC), Jafarkhani's Quasi-Orthogonal STBC (QOSTBC), Hassibi Hochwald

Linear Space-Time Block Code

A space-time block code whose codeword matrix X\mathbf{X} is a linear function of the information symbols. Equivalent to an LDC. Every code discussed in this chapter β€” Alamouti, OSTBC, QOSTBC, V-BLAST, LDC β€” is linear in this sense. Non-linear constructions (cyclic division algebra codes) are the subject of Chapter 13.

Related: Linear Dispersion Code (LDC), Orthogonal Space-Time Block Code (OSTBC), Jafarkhani's Quasi-Orthogonal STBC (QOSTBC), Alamouti Code