El límite de Varshamov-Gilbert es una desigualdad que define valores límite para parámetros de código (no necesariamente lineales ), obtenidos de forma independiente por Edgar Gilbert y Rom Varshamov . A veces se usa el nombre de desigualdad de Gilbert- Shannon - Varshamov , y en la literatura científica extranjera, desigualdad de Gilbert-Varshamov .
Dejar
denota la máxima cardinalidad posible del -ésimo código de longitud y distancia de Hamming ( el -ésimo código es el código con símbolos del campo que consta de elementos).
Después
Cuando es una potencia de un número primo , se puede simplificar la desigualdad a , donde es el entero más grande para el cual .
Sea el código de potencia máxima para la longitud y la distancia de Hamming :
Entonces, para cualquiera hay al menos una palabra de código , por lo que la distancia de Hamming entre y satisface
porque de lo contrario podríamos expandir el código con la palabra , dejando la distancia de Hamming sin cambios, lo que contradice la suposición de potencia máxima .
Por lo tanto, el campo puede empaquetarse mediante la unión de los conjuntos de todas las esferas de radio con centro en :
El volumen de cada bola.
porque podemos dejar (o elegir ) como máximo -th de los componentes de la palabra clave para tomar uno de los otros valores posibles. Por lo tanto, la siguiente desigualdad es verdadera
Eso es
(sustituyendo ).