Una cota inferior existencial sobre el tamaño máximo M de un código q-ario de bloque de longitud n y distancia de Hamming mínima d: existe un código con al menos M ≥ q^n / V_q(n,d-1) palabras de código, donde V_q(n,d-1)=∑_{i=0}^{d-1} binom(n,i)(q-1)^i (equivalente a la derivación por una construcción voraz). La cota garantiza existencia, no constructibilidad eficiente.

Principio

Una selección voraz que repetidamente escoge un vector no usado como palabra de código y elimina su vecindad de Hamming de radio d-1 produce un código cuya tamaño cumple la cota; el espacio de Hamming no puede ser cubierto por menos que el número recíproco de tales vecindades.

Demostración

Escenario ilustrativo → Algoritmo voraz: partir del espacio q^n, escoger cualquier vector como palabra de código, eliminar todos los vectores a distancia ≤d-1, repetir hasta agotar. El número eliminado por paso es a lo sumo V_q(n,d-1), por lo que el número de palabras elegidas es al menos q^n / V_q(n,d-1), demostrando la existencia de un código de ese tamaño.

Aplicación incorrecta

Tratar la cota GV como una receta constructiva que produce códigos codificables y decodificables eficientemente para n grande, o suponer que códigos aleatorios típicos alcanzan la cota para n finito; el error semántico es confundir existencia combinatoria con garantías algorítmicas o de rendimiento finito.

Consecuencia

Proporciona una región de tasas alcanzables no trivial: demuestra que existen códigos de tamaño sustancial para restricciones de distancia dadas y fundamenta cotas inferiores sobre tasas alcanzables en teoría del codificado.

Inversión

Para algunos rangos de parámetros o tamaños de alfabeto, familias de códigos estructurados o probabilísticos pueden superar la cota GV; la cota es de naturaleza asintótica y puede ser débil para n pequeños o cuando se imponen restricciones adicionales (linealidad, complejidad de decodificación).

Límite

Claramente dentro → códigos por bloques en métrica de Hamming donde la cuestión es de existencia más que de construcción. Caso límite → códigos lineales donde aplica una versión refinada de GV. Claramente fuera → contextos con métricas de error diferentes, decodificación soft-decision o canales con alfabetos continuos.

Tensión semántica

Gilbert–Varshamov (cota existencial) ↔ Hamming/empaquetamiento esférico (cotas superiores): estas cotas combinatorias opuestas acotan los tamaños de códigos factibles y generan tensión entre lo que existe y lo que es imposible.

Síntesis

La cota GV es una garantía combinatoria de existencia basada en un argumento voraz/simple de cobertura: asegura que existen códigos no triviales a ciertas tasas, pero no aborda construcción práctica, complejidad de decodificación ni la precisión para n finito—sirve como referencia teórica mínima de rendimiento alcanzable.