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, ), OSTBC (orthogonal, rate , ), QOSTBC (quasi-orthogonal, rate 1, half-diversity, ), V-BLAST (no structure, rate , diversity 1). Each of these is a specific choice of the dispersion matrices . 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 with dispersion matrices in . 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 .
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)
Linear Dispersion Code (LDC)
A linear dispersion code (LDC) is a space-time block code with block length , input symbols drawn from a constellation , and codeword matrix of the form parameterised by dispersion matrices . The code is specified by the matrices (no further constraints β they may or may not satisfy orthogonality relations).
The rate is 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: , matrices as listed in the remark of Def. DDispersion Matrix Expansion of a Linear STBC.
- TJC rate- OSTBC for : (3 complex symbols, real dispersion matrices).
- Jafarkhani QOSTBC: (4 complex symbols).
- V-BLAST: with very simple dispersion matrices (columns of and ).
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 Tx and Rx antennas and transmit power constraint . For any and any rate below the ergodic capacity , there exists a linear dispersion code with dispersion matrices achieving rate with vanishing error probability as the outer code block length grows.
Equivalently: any rate is achievable by an LDC of dimension . LDCs are capacity-universal β they can approach the ergodic MIMO capacity for any .
The proof is a Gaussian-input argument: if the dispersion matrices span a sufficiently high-dimensional subspace of , then the transmitted codeword 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 matrices spanning enough of the space inherits this optimality.
The concrete number is the dimension of the codeword matrix space over : for a single receive antenna, multiplied by for coherent combining. Beyond this, extra dispersion matrices are redundant.
Substitute the LDC codeword expansion into the ergodic capacity formula.
Invoke Telatar-Foschini: i.i.d. input on each achieves capacity.
Show that a sufficiently rich LDC realises i.i.d. Gaussian .
Ergodic capacity with Gaussian input
The MIMO capacity-achieving input is β i.e., each entry of is i.i.d. with the appropriate per-antenna energy. Telatar 1995 showed that this input achieves the ergodic capacity
LDC mutual information
For an LDC with dispersion matrices and input drawn i.i.d. with appropriate variance, the codeword is a complex Gaussian vector with covariance determined by the dispersion matrices. If is large enough that over , the covariance can be tuned to match the i.i.d. Gaussian input covariance.
Dimensional lower bound on $Q$
The real dimension of is . To span it we need dispersion matrices. For coherent combining across receive antennas, the effective dimension relevant for capacity drops to the minimum of transmit and receive dimensions β hence suffices. (The exact optimisation over smaller is the subject of Hassibi-Hochwald's constructive algorithm.)
Matching the capacity
By the Telatar-Foschini theorem, the Gaussian-LDC mutual information approaches as the dispersion-matrix family spans the full space. Random coding in the outer binary layer pushes the rate to any with vanishing error probability.
Example: Designing a Rate-2 LDC for : From Alamouti to Near-Capacity
Design an LDC for at rate symbols per channel use (twice the Alamouti rate). Compare its mutual information to the ergodic capacity and to the Alamouti MI.
Parameter count
Rate at means complex information symbols, i.e. real dispersion matrices. The codeword space has real dimension , so exactly spans it β we are at the critical dimension where LDC = "arbitrary complex matrix".
Hassibi-Hochwald construction
Pick the 8 dispersion matrices as for , where is the matrix with a 1 in position and zeros elsewhere. With i.i.d. input , each codeword entry is i.i.d. β exactly the Gaussian i.i.d. input that achieves ergodic capacity. Hence the LDC mutual information equals .
Comparison with Alamouti
Alamouti at has β it spans only half of the -dimensional codeword space. Its MI saturates at β the SIMO-equivalent capacity, not the MIMO ergodic capacity. At low SNR, the two are close; at high SNR, (single multiplexing gain) while (double multiplexing gain). Alamouti loses 50% of the capacity asymptotically at . This is the multiplexing cost of orthogonality that LDCs avoid.
What the LDC framework gives us
The LDC at achieves the ergodic capacity but is not full-diversity for a finite-constellation input β the dispersion matrices don't give a rank-2 minimum-distance structure, so the error matrix can be rank-1 for some error pairs. This is where the Hassibi-Hochwald optimisation comes in: they search over dispersion matrices to maximise a mutual-information-plus-error-exponent objective, finding LDCs that balance capacity (rate) and pair-wise error performance (diversity). The resulting codes approach the Zheng-Tse DMT curve of Ch. 12 β the full rate-diversity tradeoff β not a single operating point.
LDC Capacity vs Number of Dispersion Matrices
Mutual information of an LDC as a function of the number of dispersion matrices , for a given . The plot shows:
- The ergodic MIMO capacity (red dashed) β the Shannon limit for i.i.d. Rayleigh.
- The LDC mutual information (blue) as grows from 1 (trivial) to (full span).
Three-knob control:
- (transmit antennas).
- (receive antennas).
- (block length).
Watch the LDC curve saturate at the capacity when reaches the critical value . 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 (a fixed point well below the curve for ) and OSTBC's .
Parameters
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 subject to a power constraint const. The PEP bound, after Jensen's inequality, becomes an expectation of where is a convex function of the dispersion matrices. The objective is concave in the Gramian β 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 and let a numerical solver find the dispersion matrices. Hassibi and Hochwald 2002 Table I lists several such optimised LDCs for at rates 1, 2, 3 β each one outperforming Alamouti (at rate 1) or V-BLAST (at rate ) 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.
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 | |
| QOSTBC | Pair-wise ML | |
| General LDC | Lattice decoder (sphere) | worst case, typical |
| CDA / Golden / Perfect (Ch. 13) | Lattice decoder | Same as LDC in principle |
A rate-2 LDC at 16-QAM with costs metric evaluations worst case per codeword; in practice, sphere decoding reduces this to evaluations at reasonable SNR. By comparison, Alamouti costs . The rate improvement (2 symbols/cu vs 1) is bought at 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 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.
- β’
Sphere decoder complexity averages at moderate SNR; grows to worst case
- β’
Lattice basis reduction (LLL) pre-processing helps but adds its own cost per channel realisation
- β’
In current standards, simpler structured codes + iterative LDPC+MIMO detection are preferred
Historical Note: Hassibi-Hochwald 2002: The Unifying Framework
2002Babak 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:
- 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.
- 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 .
- Proved capacity-achieving universality. Showed that LDCs can approach the ergodic MIMO capacity for any as β 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
| Property | Alamouti () | OSTBC () | QOSTBC () | V-BLAST | LDC (general) |
|---|---|---|---|---|---|
| Rate (sym/ch. use) | 1 | () | 1 | any | |
| Diversity | (full) | (full) | (half of full) | per layer (ZF) | design-dependent |
| Decoder | Scalar MF | Scalar MF | Pair-wise ML, per pair | ZF-SIC or MMSE-SIC | Sphere / lattice, typ. |
| Orthogonality | Yes () | Yes | Block-diagonal only | None | Optional / design choice |
| Ergodic-capacity gap | 0 at | Grows with | Grows with | at high SNR | by construction |
| Closed-form codeword | Yes (Alamouti matrix) | Yes (Hurwitz-Radon) | Yes (2Γ2 Alamouti blocks) | Identity-like (each antenna streams a symbol) | Optimised numerically |
| Canonical reference | Alamouti 1998 | Tarokh-Jafarkhani-Calderbank 1999 | Jafarkhani 2001 | Wolniansky et al. 1998 | Hassibi-Hochwald 2002 |
| In 3GPP standards? | Yes (WCDMA, LTE TM2, NR fallback) | No | No | Effectively, as SM with LDPC + MMSE-IC | No (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 is a linear function of the information symbols . 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 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 the decoder runs at per codeword (tractable); for rate-4 LDCs at it runs at (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 of Chapter 12. The DMT requires a stronger property: the error matrix 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 , 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.
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 ), 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 is the exception: it is simple, open-loop, and provides a meaningful diversity gain at cell edge where CSIT is unreliable.
- β’
Open-loop STBCs (Alamouti) are used where CSIT is unreliable (cell edge, high mobility)
- β’
Closed-loop precoding dominates in the mainstream cellular regime
- β’
Rate- 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
Quick Check
An LDC is designed with dispersion matrices at . 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 by construction
Linear β by construction, is linear in the symbols
Carrying 2 complex symbols β by construction
OSTBC is a strict sub-class of LDC with the additional Hurwitz-Radon-Eckmann anti-commutation constraints. Plain LDC with at is parameterised by 4 arbitrary dispersion matrices β the Alamouti code is one choice, but generic choices violate orthogonality and require a lattice decoder.
Linear Dispersion Code (LDC)
A space-time block code of the form for complex input symbols and fixed dispersion matrices . 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 .
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 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