The Determinant Criterion β Coding Gain
The Second Design Objective: Maximise the Minimum Determinant
The rank criterion (Β§4) tells us to ensure for every codeword pair β this locks in the maximum diversity order and dictates the slope of the high-SNR PEP curve. Within the class of full-rank codes, the rank criterion is silent about which code is better.
The finer question is: among full-rank codes, which one has the smallest PEP intercept at practical SNRs? The PEP upper bound at high SNR is The intercept is β so the PEP is smallest when the determinant is largest. The determinant criterion says exactly this: among full-rank codes, maximise the minimum determinant over all codeword pairs.
This is the designer's second objective: after securing full rank for diversity, maximise the minimum determinant for coding gain. The rank criterion controls the slope; the determinant criterion controls the horizontal offset β equivalently, it quantifies how many dB of SNR a better code saves at a given BER.
Definition: Coding Gain of a Full-Rank Space-Time Code
Coding Gain of a Full-Rank Space-Time Code
Let be a full-rank space-time code (every pair gives ). The coding gain of is the -th root of the minimum determinant over codeword pairs. The minimum determinant itself is
Several normalisations appear in the literature. The TSC 1998 paper uses (which equals for a full-rank matrix) as "the coding advantage". Tse-Viswanath (2005 Β§3.3.3) use . The two differ by a power of ; both shift the PEP curve horizontally. We prefer the Tse-Viswanath definition because it normalises to an SNR scale in dB: doubling shifts the BER curve by dB (see Theorem TDeterminant Criterion (Tarokh-Seshadri-Calderbank 1998), interpretation).
Theorem: Determinant Criterion (Tarokh-Seshadri-Calderbank 1998)
Let be a full-rank space-time code transmitted over an i.i.d. Rayleigh block-fading MIMO channel with transmit antennas, receive antennas, CSIR, and ML decoding. Then at high SNR: with . In particular, among all full-rank codes of equal rate, the one maximising achieves the lowest error probability in the high-SNR regime.
Equivalently, doubling shifts the high-SNR BER curve left by This is the determinant-criterion design rule: maximise the minimum determinant.
The rank criterion locks in the high-SNR slope at ; the determinant then controls the intercept. Specifically, the PEP of the worst codeword pair is ; among all pairs, is dominated by the pair with smallest β i.e., by .
Maximising is equivalent to making the error matrix "as well-conditioned as possible" for the worst codeword pair: a diagonal with equal eigenvalues gives the largest determinant for a fixed Frobenius norm (AM-GM), and is the "geometric-mean-optimal" structure that Alamouti and the OSTBCs of Ch. 11 achieve by construction.
Start from the PEP bound of Theorem TSpace-Time PEP Bound (Tarokh-Seshadri-Calderbank 1998 / Guey-Fitz-Bell-Kuo 1999) with (full rank), simplify at high SNR.
The PEP intercept depends only on the product of eigenvalues ; union-bound over pairs.
The sum is dominated by the minimum-determinant pair; identify this as .
For the dB shift, differentiate with respect to and convert to dB via .
PEP at full rank
For any full-rank pair, the PEP bound of Theorem TSpace-Time PEP Bound (Tarokh-Seshadri-Calderbank 1998 / Guey-Fitz-Bell-Kuo 1999) specialises (): At high SNR, and , so
Union bound dominated by minimum determinant
The union bound on codeword error is . At high SNR every summand has the same slope ; the summand with the smallest has the largest intercept and dominates. Formally, where is a finite constant depending only on (number of minimum-determinant pairs times ).
Matching lower bound via worst pair
A lower bound comes from the dominant pair's exact PEP: at high SNR, , so the exponential equality is tight.
dB shift interpretation
Taking logs at fixed target : . Differentiating: . Converting to dB via : For (doubling), , so dB. Multiplying by (the PEP exponent factor) recovers the claim dB. (The derivation in Biglieri- Caire-Taricco 2000 Β§V.C.2 uses a slightly different normalisation; the sign convention matters β "left shift" means smaller required SNR, i.e., improvement.)
Example: for Alamouti (, ): dB per doubling of . For a code (): dB per doubling β confirming that coding gain matters more at higher antenna counts.
Error Matrix : Rank + Determinant Shape the PEP
Key Takeaway
The designer's SECOND objective is maximum minimum determinant. After securing full rank (Β§4), find the codebook geometry that keeps as large as possible for the worst codeword pair. At finite SNR, doubling shifts the BER curve left by dB β the coding gain. This is precisely why full-rank codes with equal eigenvalues (AM-GM-optimal for a fixed Frobenius norm) are favoured: Alamouti is not only full- rank but constant- on every one-symbol-error pair.
Example: Alamouti's Minimum Determinant:
Continue with Alamouti's code from Example EAlamouti Code: Verify Full Rank Over All Symbol Pairs. Compute for an arbitrary codeword pair in terms of the symbol errors , , and identify the minimum over QPSK symbol pairs.
General determinant formula
From Example EAlamouti Code: Verify Full Rank Over All Symbol Pairs, , hence . Observe the same determinant appears for every codeword pair β Alamouti is determinant-uniform, a consequence of its orthogonal structure.
Minimum over QPSK
For QPSK symbols , the smallest nonzero symbol error is or (adjacent symbols differ by or in one coordinate). If only differs from (say by ), and , then , so . Hence .
If both symbols differ (e.g., ), . The minimum is indeed achieved by one-symbol-error pairs.
Coding gain and dB shift
By Definition DCoding Gain of a Full-Rank Space-Time Code, . For (a MISO Alamouti link), the dB shift per doubling of is dB. Alamouti is not the coding-gain-optimal code β the Golden Code (Ch. 13) has roughly larger over -QAM, at the cost of more complex ML decoding.
Structural remark
Alamouti's determinant equals β a clean function of the symbol-wise Euclidean distance. The orthogonal structure enforces , making the eigenvalues equal. This is the AM-GM-optimal structure for a fixed Frobenius norm β no code can do better without enlarging the Frobenius norm (i.e., transmitting more energy).
Full-Rank vs. Rank-Deficient Space-Time Codes
| Property | Full-rank STC | Rank-deficient STC |
|---|---|---|
| Rank criterion | Satisfied () | Fails () |
| Diversity order | (maximum) | |
| High-SNR PEP slope | ||
| Coding-gain knob | Relevant () | Irrelevant β diversity is the binding constraint |
| Examples (Ch. 11) | Alamouti, OSTBCs, Golden Code | Spatial repetition, plain uncoded single-stream |
| Matches outage exponent ? | Yes | No β code is asymptotically suboptimal |
| Design rule | Maximise (determinant criterion) | Redesign for full rank first (no point optimising coding gain) |
Diversity Gain vs. Coding Gain
| Aspect | Diversity gain | Coding gain |
|---|---|---|
| Controls | Slope of BER vs. SNR curve | Horizontal offset (intercept) |
| Design criterion | Rank criterion (Β§4) | Determinant criterion (Β§5) |
| Formula at high SNR | ||
| Ceiling | (channel-limited) | Only the power / constellation constraint limits it |
| Physical meaning | Number of independent fading samples seen | Geometric efficiency of the codebook |
| Visible at low SNR? | No β asymptotic only | Partially β shifts the curve at all SNRs |
| Binding first? | Yes β fix rank, then determinant | No β only after rank is secured |
Common Mistake: Rank Dominates at High SNR; Determinant Matters at Finite SNR
Mistake:
A student reads that "the determinant criterion maximises coding gain" and concludes that a rank- code with a huge "determinant" (in some loose sense β perhaps the largest nonzero eigenvalue) is preferable to a full-rank code with a modest minimum determinant.
Correction:
Rank dominates at high SNR. Rank determines the slope of the PEP curve on a log-log BER plot, which at sufficiently high SNR is always more important than the intercept. A rank- code () is eventually outperformed by any full-rank code () β the slopes diverge.
Determinant matters at finite SNR. Among full-rank codes, the determinant shifts the curve horizontally by dB per doubling. At operationally relevant SNRs (β dB for most wireless systems), this shift is measurable and matters. At very low SNR (below dB), the PEP bound itself is loose and neither criterion is a reliable guide β one must simulate.
Rule of thumb. Always fix rank first (satisfy the rank criterion), then optimise . Never optimise at the cost of losing rank β you're trading a permanent slope advantage for a transient dB advantage.
5G NR Codebook-Based Precoding and the Rank-Determinant Criteria
5G NR's downlink codebook-based precoding (3GPP TS 38.211) specifies precoder matrices parametrised by a triplet , where:
- is the transmission rank, i.e., the number of simultaneously transmitted layers.
- are codebook indices (wideband / subband) specifying the DFT-based precoder.
- The UE reports via the PMI/RI on the PUCCH.
The codebook is rank-preserving: every codebook entry has . This enforces the rank criterion at the layer level β the effective channel has rank for every realisation of the wireless channel, and the -layer transmission is full-rank by construction.
The codebook entries are further chosen to have good minimum determinant properties across subband selection (antenna selection + DFT-based precoder): the 5G design group specifically selected DFT codebooks because they attain near-optimal for equi- powered rank- precoders. This is the engineering realisation of Tarokh-Seshadri-Calderbank 1998: rank first, determinant second.
Massive MIMO base stations () push this further by deploying Type II CSI feedback, where the UE reports coefficients of a subspace decomposition rather than a codebook index β the resulting beamforming is near-MRT (matched filter) and effectively achieves full-rank precoding over any measured channel, with near- optimal sub-space-dependent coding gain.
- β’
Codebook sizes: has 16 entries for , 256 for ; has fewer (rank constraint tightens the set)
- β’
RI reporting occurs every 20 ms; sub-band PMI () at 1 ms; wideband PMI () every 10 ms
- β’
UE-side constraint: complexity of choosing is SVD-like operations per measurement
Quick Check
A full-rank space-time code (n_t = 4, n_r = 2) is replaced by another full-rank code with four times the minimum determinant. By approximately how many dB does the BER curve shift left at high SNR?
dB
dB
dB
dB
The dB shift per doubling of is dB, so per quadrupling (two doublings) it is dB. The rate remains the same (both codes are full-rank), but the new code saves dB of transmit power at any target BER. This is the operational meaning of the determinant criterion: it quantifies the coding gain β the SNR offset achievable by geometric optimisation within the full-rank class.
Quick Check
A designer has two candidate space-time codes at the same rate for a i.i.d. Rayleigh MIMO channel: Code A is rank- with minimum determinant (in some relative unit); Code B is rank- (full-rank) with minimum determinant . Which code has lower BER at sufficiently high SNR?
Code A, because it has the determinant
Code B, because it satisfies the rank criterion
They are equivalent since and
Cannot determine without explicit Monte-Carlo
Code A has diversity order ; Code B has diversity order . The BER slopes are and respectively. At sufficiently high SNR the steeper slope of Code B wins no matter how small its intercept. The rank criterion always binds first; determinant only tunes within the full-rank class.
Why This Matters: Forward to OSTBCs (Ch. 11), DMT (Ch. 12), and CDA Codes (Ch. 13)
The rank and determinant criteria of this chapter set up the entire rest of Part III:
-
Ch. 11 (Space-Time Block Codes): The Alamouti scheme and the orthogonal STBCs of Tarokh-Jafarkhani-Calderbank 1999 are engineered to satisfy the rank criterion by construction (every is full-rank) and to have a clean determinant formula that is readily optimised over constellation choice. The Hassibi-Hochwald 2002 linear dispersion codes are the most general linear STC structure β full-rank by design, with optimised via the LDC parameter matrices.
-
Ch. 12 (Diversity-Multiplexing Tradeoff): Zheng-Tse 2003 generalises the rank-determinant analysis from fixed-rate (, maximum diversity ) to the entire rate-diversity tradeoff curve for . The rank criterion of Β§4 is the endpoint of this curve. DMT-optimal codes (codes achieving for all ) generalise full-rank + large- constructions.
-
Ch. 13 (CDA Codes): The Elia-Kumar-Pawar-Kumar-Caire 2006 CommIT contribution constructs approximately universal codes via cyclic division algebras β structurally optimal full-rank codes whose minimum determinant is bounded away from zero by a number-theoretic invariant (the non-vanishing determinant property). The Golden Code (Belfiore-Rekaya-Viterbo 2005) is the prototype CDA code.
-
Ch. 17 (LAST Codes): The El Gamal-Caire-Damen 2004 CommIT contribution extends the rank-determinant framework to lattice space-time codes with MMSE-GDFE decoding, achieving the entire DMT curve.
The vocabulary β rank criterion, determinant criterion, diversity order, coding gain β is the shared language of all these chapters.
See full treatment in The Alamouti Scheme
Diversity Order
The high-SNR slope of a code's error probability on a log-log plot: . For a space-time code on i.i.d. Rayleigh MIMO, where is the minimum rank of the error matrix over all codeword pairs (Theorem TRank Criterion (Tarokh-Seshadri-Calderbank 1998)).
Coding Gain
The horizontal shift (in SNR dB) between two codes of equal diversity order and rate on a log-log BER plot. For a full-rank STC, the coding gain is (Definition DCoding Gain of a Full-Rank Space-Time Code); doubling it shifts the BER curve left by dB.
Error Matrix
For two space-time codewords , the error matrix is . Its rank controls the diversity order (rank criterion, Β§4); its determinant controls the coding gain (determinant criterion, Β§5).
Outage Capacity
The -quantile of the random conditional capacity on a block-fading channel: . It is the operational benchmark for code design on quasi-static fading channels, in contrast to the ergodic capacity that applies only under fast fading.
Block Fading (Quasi-Static Fading)
A fading model where the channel matrix is drawn from a random distribution and held constant across the symbols of a codeword; between codewords, is redrawn independently. It is the operationally relevant middle ground between fast fading (ergodic) and AWGN (deterministic) for most wireless systems.
Rank Criterion
The design rule (Tarokh-Seshadri-Calderbank 1998) stating that a space-time code achieves maximum diversity if and only if the error matrix is full-rank for every codeword pair .
Determinant Criterion
The second design rule (Tarokh-Seshadri-Calderbank 1998), applicable among full-rank codes: to maximise coding gain, maximise over all codeword pairs. Doubling shifts the BER curve left by dB.