References & Further Reading

References

  1. U. Erez and R. Zamir, Achieving $\tfrac{1}{2} \log(1 + \mathrm{SNR})$ on the AWGN channel with lattice encoding and decoding, 2004

    The landmark paper establishing that nested lattice codes with MMSE scaling and dithering achieve the AWGN capacity exactly. The central reference of this chapter; s02 follows the proof structure of Theorem 1 of this paper.

  2. M. H. M. Costa, Writing on dirty paper, 1983

    Costa's original proof (5 pages) that a Gaussian channel with non-causally known interference at the transmitter achieves the clean-channel capacity. The $\\alpha = \\ntn{snr}/(1 + \\ntn{snr})$ MMSE coefficient that appears in Erez–Zamir was first derived here. Foundation of s04.

  3. U. Erez, S. Shamai, and R. Zamir, Capacity and lattice strategies for canceling known interference, 2005

    The lattice implementation of Costa's dirty-paper coding — showing that a single extra mod-$\\Lambda_s$ at the transmitter suffices to achieve the clean-channel capacity on the dirty- paper channel. Backbone of s04.

  4. E. Viterbo and J. Boutros, A universal lattice code decoder for fading channels, 1999

    The re-discovery and popularisation of the sphere decoder for communications. Empirical $O(n^3)$ average complexity at high SNR. Foundation of s05.

  5. R. Zamir, Lattice Coding for Signals and Networks, Cambridge University Press, 2014

    The modern graduate-level reference for lattice coding with a network-information-theoretic emphasis. Chapters 7–8 cover the content of s01–s04 of this chapter; Chapter 5 covers lattice decoding (s05). Used throughout as a backup reference.

  6. G. D. Forney Jr., Coset codes — part I: introduction and geometrical classification, 1988

    Forney's foundational paper on the coset-code framework. Part I establishes the partition-chain view of lattice-based coded modulation, with shaping gain and coding gain as independent factors. Cited in s01 (historical context) and s03 (shaping-gain definition).

  7. G. D. Forney Jr., Coset codes — part II: binary lattices and related codes, 1988

    Companion to Part I. Catalogs binary lattices $\\mathbb{Z}^n$, $D_n$, $E_8$, and the Leech lattice as Forney's coset-coded-modulation constructions. Cited in s01.

  8. G. D. Forney Jr. and G. Ungerboeck, Modulation and coding for linear Gaussian channels, 1998

    Sweeping survey that named and quantified shaping gain and coding gain as independent factors. The $1.53$ dB asymptotic ceiling on shaping gain was stated here with full clarity. Pre-Erez-Zamir but sets up the additive-decomposition intuition of s02–s03.

  9. H.-A. Loeliger, Averaging bounds for lattices and linear codes, 1997

    Connects the Minkowski–Hlawka random-lattice averaging to Shannon's random-coding arguments. Provides the existence theorem for Poltyrev-good $\\Lambda_c$ used in Step 4 of the Erez–Zamir proof (s02).

  10. J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups, Springer, 3rd ed., 1999

    Encyclopaedic reference for lattice theory. Chapter 2 is the standard reference for normalised second moments and shaping gain; Chapter 20 is the reference for lattice decoding algorithms. Used throughout s01, s03, s05.

  11. M. Pohst, On the computation of lattice vectors of minimal length, successive minima and reduced bases with applications, 1981

    Original lattice enumeration algorithm from algebraic number theory — the mathematical ancestor of the sphere decoder. Uses QR decomposition and layer-by-layer search.

  12. C. P. Schnorr and M. Euchner, Lattice basis reduction: improved practical algorithms and solving subset sum problems, 1994

    The zigzag enumeration order that made the sphere decoder practical. Schnorr and Euchner's motivation was cryptographic (attacking subset-sum based cryptosystems); Viterbo-Boutros transferred the idea to communications five years later.

  13. M. O. Damen, H. El Gamal, and G. Caire, On maximum-likelihood detection and the search for the closest lattice point, 2003

    CommIT-group paper that rigorously analysed the sphere decoder's average complexity and provided the computational certificate enabling the LAST codes of Ch. 17. Forward reference to Ch. 17 of this book.

  14. M. Tomlinson, New automatic equalizer employing modulo arithmetic, 1971

    Original paper on Tomlinson's precoder for known ISI channels. Independently proposed by Harashima-Miyakawa the following year. The scalar ancestor of lattice DPC.

  15. H. Harashima and H. Miyakawa, Matched-transmission technique for channels with intersymbol interference, 1972

    Independent discovery of the Tomlinson precoder in Japan. The THP acronym (Tomlinson–Harashima precoding) honours both contributions.

  16. H. El Gamal, G. Caire, and M. O. Damen, Lattice coding and decoding achieve the optimal diversity–multiplexing tradeoff of MIMO channels, 2004

    The CommIT group's foundational paper on Lattice Space-Time (LAST) codes — nested-lattice constructions that achieve the optimal MIMO DMT. Central forward reference to Ch. 17 of this book.

  17. C. E. Shannon, A mathematical theory of communication, 1948

    Shannon's original paper establishing AWGN capacity via random Gaussian codebook. The Erez–Zamir theorem of this chapter is the structured-codebook counterpart, proving that lattice codes match Shannon's bound with algebraic structure.

  18. G. Poltyrev, On coding without restrictions for the AWGN channel, 1994

    Introduced the Poltyrev capacity: the supremum of rates for which lattice decoding achieves vanishing error probability on the infinite-constellation AWGN channel. The $1.53$ dB gap between Poltyrev and Shannon capacities is the shaping-gain gap of s03.

  19. C. A. Rogers, Lattice coverings of space, 1959

    Rogers's original existence proof that random lattices achieve the $1/(2\\pi e)$ normalised second moment bound asymptotically. Used in Step 3 of the Erez–Zamir proof (s02) and in Theorem 15.3 of s03.

  20. P. L. Zador, Asymptotic quantization error of continuous signals and the quantization dimension, 1963

    Original derivation of the Zador lower bound $G(\\Lambda) \\ge 1/(2\\pi e)$ on normalised second moments, via quantisation-theoretic arguments. The bound that $E_8$ gets $43\\%$ of the way toward.

  21. B. M. Hochwald, C. B. Peel, and A. L. Swindlehurst, A vector-perturbation technique for near-capacity multiantenna multiuser communication—part II: perturbation, 2005

    Practical vector perturbation precoding for MU-MIMO, a lattice-DPC implementation. Uses sphere decoder at the base station to find the optimal lattice perturbation. Engineering note in s04.

  22. H. Weingarten, Y. Steinberg, and S. Shamai (Shitz), The capacity region of the Gaussian multiple-input multiple-output broadcast channel, 2006

    Proved that sequential DPC achieves the full sum-capacity of the MIMO Gaussian broadcast channel — the theoretical backbone of modern MU-MIMO. Cited in the wireless connection of s04.

  23. M. Ajtai, The shortest vector problem in $L_2$ is NP-hard for randomized reductions, 1998

    Ajtai's proof of NP-hardness of the shortest-lattice-vector problem under randomised reductions. Established the worst-case hardness cited in s05 Definition.

  24. D. Micciancio, The shortest vector in a lattice is hard to approximate to within some constant, 2001

    Strengthened Ajtai's hardness result: SVP is NP-hard even to approximate within a constant factor. Justifies why worst-case sphere decoding is exponential, but average-case remains polynomial at high SNR.

  25. A. K. Lenstra, H. W. Lenstra Jr., and L. Lovász, Factoring polynomials with rational coefficients, 1982

    The LLL lattice reduction algorithm that restores well-conditioned bases for poorly-conditioned lattices. Standard pre-processing before sphere decoding in s05.

  26. R. Urbanke and B. Rimoldi, Lattice codes can achieve capacity on the AWGN channel, 1998

    Pre-Erez–Zamir attempt to achieve AWGN capacity with lattice codes. Achieved $\\tfrac12 \\log_2(\\ntn{snr}/(2\\pi e/12))$, 1.53 dB short of Shannon — the gap that Erez–Zamir closed 6 years later via the MMSE scalar.

Further Reading

For readers who want to go deeper into lattice codes, dirty-paper coding, multi-user lattice strategies, or practical sphere- decoder implementations.

  • Comprehensive lattice-coding textbook

    R. Zamir, *Lattice Coding for Signals and Networks*, Cambridge University Press, 2014 — especially Chapters 4, 5, 7, 8.

    The most complete modern treatment. Chapter 7 covers the Erez–Zamir theorem at textbook pace; Chapter 8 covers dirty-paper coding; Chapter 4 covers the crypto-lemma and dithering theory. Indispensable for any serious study.

  • Sphere-decoder practical implementations and variants

    H. Vikalo and B. Hassibi, "On the sphere-decoding algorithm I: expected complexity," *IEEE Trans. Signal Processing*, vol. 53, no. 8, pp. 2806–2818, Aug. 2005; and "Part II: generalizations, second-order statistics, and applications to communications," vol. 53, no. 8, pp. 2819–2834, Aug. 2005.

    Complementary analysis of the sphere decoder's expected complexity, with a rigorous random-walk framework. Applications to MIMO detection and lattice decoding.

  • Lattice reduction for communications

    D. Wübben, D. Seethaler, J. Jaldén, and G. Matz, "Lattice reduction," *IEEE Signal Processing Magazine*, vol. 28, no. 3, pp. 70–91, May 2011.

    Tutorial on LLL, KZ, and HKZ lattice reduction algorithms, aimed at signal-processing practitioners. Pre-processing step for efficient sphere decoding. Makes s05 implementable.

  • Lattice codes achieving the Nazer–Gastpar computation rate

    B. Nazer and M. Gastpar, "Compute-and-forward: harnessing interference through structured codes," *IEEE Trans. IT*, vol. 57, no. 10, pp. 6463–6486, Oct. 2011.

    Key forward reference for Ch. 18 (Compute-and-Forward). Uses nested lattice codes as in this chapter, but the decoder targets a linear combination of codewords rather than individual codewords. Multi-user payoff of lattice structure.

  • LDPC lattice constructions for near-capacity performance

    N. Sommer, M. Feder, and O. Shalvi, "Low-density lattice codes," *IEEE Trans. IT*, vol. 54, no. 4, pp. 1561–1585, Apr. 2008.

    Explicit finite-dimensional construction of Poltyrev-good lattice codes based on LDPC matrices. Closes most of the coding-gain gap of s02 at dimensions $n \\sim 10^3$. Practical realisation of the Erez–Zamir existence theorem.

  • Probabilistic shaping for near-Gaussian constellations

    G. Böcherer, F. Steiner, and P. Schulte, "Bandwidth efficient and rate-matched low-density parity-check coded modulation," *IEEE Trans. Commun.*, vol. 63, no. 12, pp. 4651–4665, Dec. 2015.

    The modern alternative to Voronoi shaping: probabilistic shaping via distribution matching achieves the same $1.53$ dB without any explicit lattice machinery. Forward reference to Ch. 19 of this book.