Para un código q-ario de bloque de longitud n, distancia de Hamming mínima d y radio de decodificación único t = floor((d-1)/2), la cota de Hamming (empaquetamiento en la métrica de Hamming) afirma que el número de palabras de código M satisface M · V_q(n,t) ≤ q^n, con V_q(n,t)=∑_{i=0}^t binom(n,i)(q-1)^i el volumen de una esfera de Hamming de radio t. Esto se deduce de la necesidad de que las esferas de radio t alrededor de palabras distintas sean disjuntas para garantizar decodificación única hasta t errores.

Principio

El conteo de esferas de decodificación disjuntas en la métrica de Hamming da una cota superior del tamaño del código: la disyunción exigida para decodificación única implica que el volumen total cubierto no puede exceder q^n.

Demostración

Escenario ilustrativo → Para códigos binarios (q=2) de longitud n con distancia mínima d=3 se tiene t=1. Cada palabra de código excluye a sus vecinos de Hamming a distancia ≤1; como cada esfera contiene 1+n vectores, M(1+n) ≤ 2^n, limitando M y mostrando que ciertos tamaños de código son imposibles si se exige decodificar una única error.

Aplicación incorrecta

Aplicar la cota de Hamming a la decodificación por listas o a códigos que permiten decodificar más allá de t (por ejemplo, con decisiones suaves o información adicional) es erróneo; la cota supone decodificación única dentro del radio t y esferas disjuntas.

Consecuencia

Proporciona un límite combinatorio explícito sobre el tamaño máximo alcanzable de un código para n y d dados; se usa para descartar triples de parámetros (n, M, d) y para identificar cuándo pueden existir o no códigos perfectos (caso de igualdad).

Inversión

La cota no aplica a estrategias de decodificación que permiten solapamiento (decodificación por listas) ni a canales donde los errores no se modelan bien por la distancia de Hamming; la cota sólo es ajustada en casos excepcionales (códigos perfectos) y suele ser laxa.

Límite

Claramente dentro → códigos por bloques sobre alfabetos finitos en la métrica de Hamming con exigencia de decodificación única hasta t errores. Caso límite → códigos con la misma distancia mínima pero que usan decodificadores probabilísticos donde importa la tasa de error media. Claramente fuera → códigos evaluados bajo otras métricas (p. ej. euclidiana) o contextos con información suave.

Tensión semántica

Cota superior de Hamming ↔ cota inferior de Gilbert–Varshamov: límites superiores por conteo compiten con límites de existencia glotones, produciendo un intervalo factible para M; la tensión reside en cuán precisas son estas cotas para n finito.

Síntesis

La cota de Hamming es una declaración combinatoria de imposibilidad: para garantizar la corrección única de hasta t errores, cada palabra debe excluir una esfera de Hamming de radio t y esas esferas no pueden solaparse. Impone límites estrictos al tamaño del código y destaca los casos excepcionales donde se alcanza la igualdad.