在讲了大一堆概念之后,我们终于可以开始来看看 lattice 的一些性质了。其实lattice有很好的几何含义,因此实际上关于 lattice的概念和性质都还是很好理解的。
首先一个问题就是 packing。还记得第一讲中的 n n n 维球 B r \mathcal{B}_r Br 么,我们首先研究怎么用lattice来pack balls。为了方便叙述,我们进一步定义
- Unit-radius ball 的 Volume:
Vol ( B 1 ) = V n \text{Vol}(\mathcal{B}_1)=V_n Vol(B1)=Vn - B r = r B 1 = { r x : x ∈ B 1 } \mathcal{B}_r=r\mathcal{B}_1=\{r\bm{x}:\bm{x}\in\mathcal{B}_1\} Br=rB1={
rx:x∈B1} 的Volume
Vol ( B r ) = r n Vol ( B 1 ) = r n V n \text{Vol}(\mathcal{B}_r)=r^n\text{Vol}(\mathcal{B}_1)=r^nV_n Vol(Br)=rnVol(B1)=rnVn
Sphere Packing
好,现在我们用Lattice来填球。注意我们是要在每个lattice point上一起填球,而填充半径packing radius也就定义最大能塞进去的球的半径。
Visually, 显然我们只用考虑在 Voronoi region V ( Λ ) \mathcal{V}(\Lambda) V(Λ) 里面塞球就好了
我们知道lattice它的所有 fundamental region 的volume都是 det ( Λ ) \text{det}(\Lambda) det(Λ). 用这个Volume,我们可以定义出一个effective ball of radius
r eff ( Λ ) = ( det ( Λ ) V n ) 1 / n r_\text{eff}(\Lambda)=\left(\frac{\text{det}(\Lambda)}{V_n}\right)^{1/n} reff(Λ)=(Vndet(Λ))1/n
这也被称为 lattice 的 effective radius。显然这个肯定比 r pack ( Λ ) r_\text{pack}(\Lambda) rpack(Λ) 大,Voronoi region本身为球时两者相等。自然的,我们可以定义他们的比值作为lattice 的 packing efficiency:
ρ pack ( Λ ) = r pack ( Λ ) r eff ( Λ ) \rho_\text{pack}(\Lambda)=\frac{r_\text{pack}(\Lambda)}{r_\text{eff}(\Lambda)} ρpack(Λ)=reff(Λ)rpack(Λ)
如上图所示,packing efficiency 是两个ball半径的比值,而且我们显然有
- 0 < ρ pack ( Λ ) ≤ 1 0<\rho_\text{pack}(\Lambda)\leq 1 0<ρpack(Λ)≤