Dual lattice code 

Description

Also called the reciprocal or polar lattice code. For any \(n\)-dimensional lattice \(L\), the dual lattice is \begin{align} L^{\perp} = \{ y\in \mathbb{R}^{n} ~|~ x \cdot y \in \mathbb{Z} ~\forall~ x \in L\}, \tag*{(1)}\end{align} where the Euclidean inner product is used.

A lattice that is contained in its dual, \(L \subseteq L^\perp\), is called integral. The Gram matrix of such a lattice has integer entries, and its dual is contained in a suitably scaled version of itself, \(L^{\perp} \subseteq L/\det L\). Integral lattices are classified into even or odd, where the norm squared of every lattice vector is an even or odd integer, respectively.

A lattice that is equal to its dual, \(L^\perp = L\), is called unimodular or self-dual.

Protection

The Gram matrix of \(L^{\perp}\) is the inverse of that of \(L\). The generator matrix of \(L^{\perp}\) is the transposed inverse of that of \(L\).

Parent

Child

Cousins

Page edit log

Your contribution is welcome!

on github.com (edit & pull request)— see instructions

edit on this site

Zoo Code ID: dual_lattice

Cite as:
“Dual lattice code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/dual_lattice
BibTeX:
@incollection{eczoo_dual_lattice, title={Dual lattice code}, booktitle={The Error Correction Zoo}, year={2022}, editor={Albert, Victor V. and Faist, Philippe}, url={https://errorcorrectionzoo.org/c/dual_lattice} }
Share via:
Twitter | Mastodon |  | E-mail
Permanent link:
https://errorcorrectionzoo.org/c/dual_lattice

Cite as:

“Dual lattice code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/dual_lattice

Github: https://github.com/errorcorrectionzoo/eczoo_data/edit/main/codes/classical/analog/lattice/dual/dual_lattice.yml.