本文 largely based on Prof. Kschischang 和 Chen Feng 2014 年给的 tutorial。原 tutorial 的标题是 “An Introduction to Lattices and their Applications in Communications”. Slides 在网上可以下载到。
Lattice 基础
Notations
我们将使用的一些符号:
R , C \mathbb{R,C} R,C: 实数域和复数域。所谓域 (field) 是指一种可进行加减乘除(当然不能除以零之外,“零” 即加法单位元)运算的代数结构。如果域中元素个数有限,那就是有限域finite field.
Z \mathbb{Z} Z: 整数环 (ring)。所有的整数不构成域,因为整数的倒数一般不是整数。环 (ring) 是由集合R和定义于其上的两种二元运算(常被简称为加和乘,但与一般所说的加法和乘法不同)所构成的。
X n = { ( x 1 , x 2 , . . . , x n ) : x 1 , . . . x n ∈ X } X^n=\left\{(x_1,x_2,...,x_n):x_1,...x_n\in X\right\} Xn={ (x1,x2,...,xn):x1,...xn∈X}: 一个set X X X 自身的 n n n 重笛卡儿积 ( n n n-fold Cartesian product). 如果set X X X 本身是一个域,那么 X n X^n Xn 的每一个元素都是一个行向量。简而言之就是把set X X X 扩充到 n n n 维。
X m × n X^{m\times n} Xm×n: size 为 m × n m\times n m×n 的矩阵,且每个元素都是从 X X X 中选取的。所以上方 n n n 重笛卡儿积的定义也可以写为 X 1 × n X^{1\times n} X1×n。本文中一般使用行向量 instead of 列向量。
( G , + ) (G,+) (G,+): 表示一个群, G ∗ = G \ { 0 } G^*=G~\backslash\{0\} G∗=G \{ 0} 表示群 G G G 除了加法单位元 0 0 0 之外的所有元素的集合。Note: 群(group)是由一种集合以及一个二元运算所组成的,并且符合“群公理”: 封闭性、结合律、单位元和对于集合中所有元素存在逆元素。
Euclidean Space
我们把一个有限维的 Euclidean space 记作 R n \mathbb{R}^n Rn. 对于 R n \mathbb{R}^n Rn 中的任意两个元素 x \bm{x} x 和 y \bm{y} y,我们定义
- 内积 inner product: < x , y > = ∑ i = 1 n x i y i <\bm{x},\bm{y}>=\sum_{i=1}^n x_iy_i <x,y>=∑i=1nxiyi. 对应坐标元素相乘再相加, 内积为0时两个向量垂直;
- 范数 norm: ∥ x ∥ = < x , x > \|\bm{x}\|=\sqrt{<\bm{x},\bm{x}>} ∥x∥=<x,x>;
- metric: d ( x , y ) = ∥ x − y ∥ d(\bm{x,y})=\|\bm{x-y}\| d(x,y)=∥x−y∥.
- 令 R \mathcal{R} R 为 R n \mathbb{R}^n Rn 的一个subset,那么 R \mathcal{R} R 关于 x \bm{x} x 的 translation 是把 R \mathcal{R} R 平移 x \bm{x} x 后得到的set, 即 x + R = { x + y , y ∈ R } \bm{x}+\mathcal{R}=\{\bm{x+y},\bm{y}\in\mathcal{R}\} x+R={ x+y,y∈R}.
- Ball B r = { x ∈ R n : ∥ x ∥ ≤ r } \mathcal{B}_r=\left\{\bm{x}\in\mathbb{R}^n:\|\bm{x}\|\leq r\right\} Br={ x∈Rn:∥x∥≤r},这是一个圆心在 origin 半径为 r r r 的 n n n 维球。
其中, n n n 维球的体积为
V ( B r ) = π n / 2 Γ ( n 2 + 1 ) r n