Chapter Summary
Chapter Summary
Key Points
- 1.
BICM-ID closes the loop left open by one-shot BICM. The demapper-with-a-priori computes refined bit LLRs using decoder- extrinsic information, and the SISO decoder computes refined a-posteriori LLRs using demapper-extrinsic information. The two boxes exchange EXTRINSIC LLRs only — subtracting the a-priori at each output prevents the positive-feedback failure mode in which the channel observation gets counted twice. This single architectural choice (Li–Ritcey 1997, ten Brink–Speidel 1998) is what makes iterative BICM decoding a convergent rather than a divergent process.
- 2.
EXIT charts project density evolution onto mutual information. Under the consistent-Gaussian LLR assumption, each soft-in/soft- out box becomes a scalar map from a-priori MI to extrinsic MI . The demapper curve and the decoder curve together define the iteration as a walk on the unit square. The J-function and its inverse convert between MI and LLR variance and are the numerical workhorse of the whole machinery.
- 3.
Convergence iff the tunnel is open. BICM-ID reaches BER = 0 if and only if the demapper curve strictly dominates the inverted decoder curve on . The convergence threshold is the SNR at which the two curves just kiss; above threshold, a staircase trajectory climbs to in 5–10 iterations, below threshold, the iteration stalls at the touching point and an error floor persists. The tunnel WIDTH is the SNR margin.
- 4.
Set-partition labelling wins under iteration; Gray wins without. Ch. 5–6's Gray optimum is a one-shot conclusion. Under iterative decoding, what matters is the SHAPE of the entire demapper EXIT curve — especially its slope and its endpoint . SP's Ungerboeck chain rule doubles sub-constellation minimum distance at each bit level, which gives SP a steep slope and an endpoint . Gray has flat levels and a flat curve. For 16-QAM at rate , SP- BICM-ID beats Gray-BICM-ID by dB in convergence threshold. The optimal labelling depends on what the decoder can do.
- 5.
EXIT matching turns code design into a linear programme. Given a demapper curve at a target SNR, the LDPC degree profile is chosen to make the inverted decoder curve tuck just below the demapper everywhere. The matched rate is the largest code rate feasible subject to tunnel openness — a linear programme over the variable-node edge distribution (with alternating optimisation over ). This is how DVB-S2, DVB-S2X, 5G NR, and 802.11 LDPC codes are designed.
- 6.
Engineering bottom line: BICM-ID buys 1–2 dB of the gap to CM capacity. At the cost of 5–10 iterations of receiver complexity, BICM-ID with SP (or designed BICM-ID labelling) and an EXIT- matched LDPC operates within 0.2–0.5 dB of the CM capacity limit. This is the SAME gap that separated one-shot Gray BICM from CM capacity in Ch. 5; iteration closes most of it. The remaining 0.2 dB is attributable to the Gaussian-LLR approximation plus finite- block-length effects. DVB-S2X's VL-SNR MODCODs deploy the full BICM-ID stack; 5G NR uses a reduced form (Gray, 2–3 iterations) optimised for throughput and latency.
Looking Ahead
Chapter 9 surveys how BICM — with and without iteration — appears in the modern cellular and broadcast standards that ship billions of radios. 5G NR LDPC-plus-QAM with adaptive MCS, Wi-Fi 6/7 LDPC with 1024-QAM and 4096-QAM, DVB-S2X with APSK, and the emerging probabilistic-shaping overlays that close the 1.53 dB shaping gap within the BICM architecture. The theoretical machinery of Chs. 5-8 — capacity, error exponent, diversity, iterative decoding, EXIT matching — converges on the practical receiver chain used today. Part II ends there; Part III (Chs. 10-14) turns to multi-antenna coded modulation, where the central quantity is no longer but the diversity-multiplexing tradeoff of Zheng and Tse. Many of the iterative-decoding ideas of this chapter resurface in Part III in the disguise of iterative MIMO detection — the demapper is replaced by a soft MIMO detector, and everything else (EXIT chart, convergence tunnel, matched-code design) carries over essentially unchanged. That structural universality is one of the great payoffs of the iterative-decoding framework.