本文 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和定义于其上的两种二元运算(常被简称为加和乘,但与一般所说的加法和乘法不同)所构成的。
Xn={ (x1,x2,...,xn):x1,...xn∈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 XXX 自身的 nnn 重笛卡儿积 (nnn-fold Cartesian product). 如果set XXX 本身是一个域,那么 XnX^nXn 的每一个元素都是一个行向量。简而言之就是把set XXX 扩充到 nnn 维。
Xm×nX^{m\times n}Xm×n: size 为 m×nm\times nm×n 的矩阵,且每个元素都是从 XXX 中选取的。所以上方 nnn 重笛卡儿积的定义也可以写为 X1×nX^{1\times n}X1×n。本文中一般使用行向量 instead of 列向量。
(G,+)(G,+)(G,+): 表示一个群,G∗=G \{ 0}G^*=G~\backslash\{0\}G∗=G \{ 0} 表示群 GGG 除了加法单位元 000 之外的所有元素的集合。Note: 群(group)是由一种集合以及一个二元运算所组成的,并且符合“群公理”: 封闭性、结合律、单位元和对于集合中所有元素存在逆元素。
Euclidean Space
我们把一个有限维的 Euclidean space 记作 Rn\mathbb{R}^nRn. 对于Rn\mathbb{R}^nRn 中的任意两个元素 x\bm{x}x 和 y\bm{y}y,我们定义
- 内积 inner product: <x,y>=∑i=1nxiyi<\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 为 Rn\mathbb{R}^nRn 的一个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 Br={ x∈Rn:∥x∥≤r}\mathcal{B}_r=\left\{\bm{x}\in\mathbb{R}^n:\|\bm{x}\|\leq r\right\}Br={ x∈Rn:∥x∥≤r},这是一个圆心在 origin 半径为 rrr 的 nnn 维球。
其中,nnn 维球的体积为
V(Br)=πn/2Γ(n2+1)rnV(\mathcal{B}_r)=\frac{\pi^{n/2}}{\Gamma(\frac{n}{2}+1)}r^nV(Br)=

最低0.47元/天 解锁文章
1420





