Prerequisites & Notation

Before You Begin

Chapter 15 opens Part IV — Lattice Codes and DMT-Optimal Constructions by stepping from the coset-code framework of Ch. 4 to the general theory of lattices as geometric objects in $\mathbb{R}^n$ . The machinery here — packing density, theta series, the Minkowski–Hlawka bound, Viazovska's $E_8$ / $\Lambda_{24}$ optimality theorems — is the foundation on which Ch. 16 (lattice codes for the AWGN channel) and Ch. 17 (LAST codes) rest. The mathematical toolkit required is modest, but each prerequisite really matters: if any feels shaky, follow the cross-reference before starting.

Lattices, generator matrices, and coset codes(Review ch04)
Self-check: Can you state the definition of a lattice in $\\mathbb{R}^n$ via a generator matrix $\\mathbf{G}$ , compute $V(\\Lambda) = |\\det \\mathbf{G}|$ for $\\mathbb{Z}^2$ and the hexagonal $A_2$ , and explain what a coset $\\lambda + \\Lambda'$ means?
Linear algebra: full-rank matrices, determinants, and volumes(Review ch01)
Self-check: Can you relate $|\\det \\mathbf{G}|$ to the volume of the parallelepiped spanned by the columns of $\\mathbf{G}$ , and explain why unimodular transformations $\\mathbf{G} \\to \\mathbf{G} \\mathbf{U}$ preserve this volume?
Sphere volume $V_n = \pi^{n/2} / \Gamma(n/2 + 1)$ and Stirling's formula
Self-check: Can you state the volume of the unit $n$ -ball and its asymptotic behavior $V_n \\sim (2\\pi e / n)^{n/2} / \\sqrt{n \\pi}$ as $n \\to \\infty$ ? This controls the dimension-scaling of the sphere-packing bounds.
Gaussian max-entropy and differential entropy (for the Minkowski–Hlawka argument)(Review ch08)
Self-check: Can you state the Gaussian maximum-entropy theorem and explain why it imposes a lower bound on the second moment of a distribution with fixed entropy?
Elementary group theory: cosets, quotient groups, and indices
Self-check: Given a lattice $\\Lambda$ and a sublattice $\\Lambda' \\subset \\Lambda$ , can you explain the index $|\\Lambda / \\Lambda'|$ and why it equals the ratio of fundamental volumes?
Basic complex analysis (for theta-series modular forms)
Self-check: Can you expand $(1 - q)^{-1} = \\sum_n q^n$ for $|q| < 1$ and manipulate formal power series in $q = e^{i \\pi \\tau}$ ? Full modular-form machinery is not required; only formal manipulations.

Notation for This Chapter

The lattice-theoretic symbols used throughout the chapter. Most extend the notation of Ch. 4; the additions are the covering radius, the packing density, the theta series, and the Hermite constant. Book-wide information-theoretic symbols (SNR $\\text{SNR}$ , noise density $\N_0$ , noise variance $\\sigma^2$ ) follow the global CM notation.

Symbol	Meaning	Introduced
$\Lambda$	Lattice in $\mathbb{R}^n$ : a discrete additive subgroup of full rank	s01
$\mathbf{G}$	Generator matrix of $\Lambda$ ; columns are basis vectors	s01
$\mathbf{b}_1, \ldots, \mathbf{b}_n$	A basis of $\Lambda$ (columns of $\mathbf{G}$ )	s01
$\Lambda^*$	Dual lattice of $\Lambda$ : $\Lambda^* = \{\mathbf{y} \in \mathbb{R}^n : \langle \mathbf{x}, \mathbf{y}\rangle \in \mathbb{Z} \; \forall \mathbf{x} \in \Lambda\}$	s01
$V(\Lambda)$	Fundamental volume: $V(\Lambda) = \|\det \mathbf{G}\|$	s02
$\mathcal{R}(\Lambda)$	A fundamental region of $\Lambda$ (any tile of $\mathbb{R}^n$ under the translation action of $\Lambda$ )	s02
$\mathcal{V}(\Lambda)$	Voronoi region of $\Lambda$ around the origin	s02
$\rho(\Lambda)$	Packing radius: $\rho = \tfrac{1}{2} \min_{\mathbf{x} \in \Lambda \setminus \{0\}} \\|\mathbf{x}\\|$	s02
$R(\Lambda)$	Covering radius: $R = \max_{\mathbf{y} \in \mathbb{R}^n} \min_{\mathbf{x} \in \Lambda} \\|\mathbf{y} - \mathbf{x}\\|$	s02
$K(\Lambda)$ or $\tau(\Lambda)$	Kissing number: number of minimum-norm nonzero vectors	s02
$\Delta(\Lambda)$	Packing density: $\Delta(\Lambda) = \rho^n V_n / V(\Lambda)$ , where $V_n$ is the unit-ball volume	s02
$\delta(\Lambda)$	Center density: $\delta(\Lambda) = \rho^n / V(\Lambda)$ (packing density without the ball factor)	s02
$\Delta_n$	Supremum of $\Delta(\Lambda)$ over all $n$ -dimensional lattices	s05
$\gamma_n$	Hermite constant in dimension $n$ : $\gamma_n = \sup_\Lambda d_{\min}^2(\Lambda) / V(\Lambda)^{2/n}$	s05
$\Theta_\Lambda(q)$	Theta series of $\Lambda$ : $\Theta_\Lambda(q) = \sum_{\mathbf{x} \in \Lambda} q^{\\|\mathbf{x}\\|^2}$	s04
$\theta_3(q)$	Jacobi theta function: $\theta_3(q) = \sum_{n \in \mathbb{Z}} q^{n^2} = \Theta_{\mathbb{Z}}(q)$	s04
$A_n, D_n, E_n, \Lambda_{24}$	Classical lattice families: root lattices $A_n$ , checkerboard $D_n$ , exceptional $E_6, E_7, E_8$ , and the Leech lattice $\Lambda_{24}$	s03
$V_n$	Volume of the unit $n$ -ball: $V_n = \pi^{n/2} / \Gamma(n/2 + 1)$	s02

← Ch 14 Lattice Definitions and Generator Matrices