Gilbert-Varshamov-Schranke

Die Gilbert-Varshamov-Schranke (nach Edgar Gilbert und Rom Rubenowitsch Warschamow) ist eine untere Abschätzung der Mächtigkeit eines im gewissen Sinne optimalen Blockcodes mit vorgegebener Blocklänge und Minimalabstand (siehe Hammingabstand). Im Gegensatz zu anderen vergleichbar berühmten Schranken liefert diese sogar eine Existenzaussage für einen Code. Das heißt, gegeben seien Alphabet, Blocklänge und Minimalabstand, die bestimmte Voraussetzungen erfüllen, dann existiert dazu ein Code mit einer Mindestanzahl an Codewörtern, die durch die Gilbert-Varshamov-Schranke von unten beschränkt ist.

Hinführende Definitionen

Für die folgenden Definitionen sei $K$ ein Alphabet mit $|K|=q\in \mathbb{N}\setminus \{0\}$

Die größte Mächtigkeit eines Codes mit vorgegebener Blocklänge und Minimalabstand

Wir definieren ${𝒜}_q(n,d)$ als die größte Mächtigkeit eines Codes über $K$ mit Blocklänge $n$ und Minimalabstand $d$, genauer also ${𝒜}_q(n,d):=\max \{|C|:C\subseteq K^n\text{ und }\mathrm{d}(C)=d\}$. Merke, dass ${𝒜}_q(n,d)$ ausschließlich von der Mächtigkeit von $K$, der Blocklänge und vom Minimalabstand abhängt.

Kugeln mit Radius r und ihr Volumen

Es sei $B_r(c):=\{y\in K^n:d(c,y)\le r\}$ die Kugel um das Wort $c\in K^n$. Die Mächtigkeit (oder auch das Volumen) von $B_r(c)$ ist gegeben durch

$V_q(n,r):=|B_r(c)|=\sum _{j=0}^r(\genfrac{}{}{0ex}{}{n}{j})(q-1{)}^j$.

Aussage der Gilbert-Varshamov Schranke

Es gilt:

${𝒜}_q(n,d)\ge \frac{q^n}{V_q(n,d-1)}$.

Beweis

Es sei $C\subseteq K^n$ ein Code mit Minimalabstand $d$, Blocklänge $n$ und Mächtigkeit $|C|={𝒜}_q(n,d)$. $C$ ist also ein $(n,d)$-Code mit größter Mächtigkeit. Dann gilt, dass $\bigcup _{c\in C}{B}_{d-1}(c)=K^n$. Denn angenommen, das wäre nicht der Fall, so gibt es ein $y\in K^n\setminus \bigcup _{c\in C}{B}_{d-1}(c)$. Dieses $y$ erfüllt $d(y,C):=\min \{d(y,c):c\in C\}\ge d$, womit $C\cup \{y\}$ ein Code mit Minimalabstand $d$ über $K^n$ wäre, der eine größere Mächtigkeit als $C$ hat. Das kann nach Definition von ${𝒜}_q(n,d)$ nicht sein. Daher bekommen wir $|\bigcup _{c\in C}{B}_{d-1}(c)|=|K^n|=q^n$ und somit insgesamt:

$q^n=|\bigcup _{c\in C}{B}_{d-1}(c)|\le \sum _{c\in C}|B_{d-1}(c)|=|C|\cdot |B_{d-1}(c^{\ast })|={𝒜}_q(n,d)\cdot V_q(n,d-1)$,

wobei $c^{\ast }\in K^n$ irgendein Wort ist. Nach Umstellen erhalten wir unsere Behauptung.

Konstruktion eines (n,d)-Codes über K

Der Beweis der Schranke liefert einen Greedy-Algorithmus zur Konstruktion eines Codes $C\subseteq K^n$, der die Gilbert-Varshamov-Schranke erfüllt, das heißt $|C|\ge \frac{q^n}{V_q(n,d-1)}$. Dabei startet man mit einem beliebigen Wort $y_0\in K^n$ und setzt $C_0:=\{y_0\}$. Danach wählt man $y_i\in K^n$, $i\in \mathbb{N}\setminus \{0\}$, so dass $d(y_i,C_{i-1}):=\min \{d(y_i,c):c\in C_{i-1}\}\ge d$. Man stoppt, sobald man kein $y\in K^n$ mit $d(y,C_i)\ge d$ mehr wählen kann.

Die Gilbert-Varshamov-Schranke für lineare Codes

Man kann die Gilbert-Varshamov-Schranke für lineare Codes (siehe linearer Code) verbessern: Es sei $q$ eine Primpotenz und ${𝔽}_q$ ein (bzw. auch der) Körper mit $q$ Elementen. Weiterhin seien $n,k,d\in \mathbb{N}\setminus \{0\}$ mit $2\le d\le n$ und $1\le k\le n$. Wenn $V_q(n-1,d-2)\le q^{n-k}$ gilt, so gibt es einen linearen Code $C\subseteq {𝔽}_q^n$ mit $|C|\ge q^k$. Damit erhalten wir, dass $A_q(n,d)\ge q^k$.

Literatur

• J.H. Lint: Introduction to Coding Theory (Graduate Texts in Mathematics. Band 86). Third Edition, Springer-Verlag Berlin Heidelberg, 1999, ISBN 978-3-642-63653-0, DOI:10.1007/978-3-642-58575-3
• San Ling, Chaoping Xing: Coding Theory A First Course. Cambridge University Press, 2004, ISBN 978-0-521-82191-9, DOI:10.1017/CBO9780511755279