ALGUNOS ASPECTOS COMBINATORIOS

DE LA TEORA DE CDIGOS
RICARDO A. PODEST
- 20-07-2012
Notas del curso dado en la
Primera Escuela Puntana de Combinatoria
San Luis, 4 al 6 de julio de 2012
Resumen. En este curso introducimos los cdigos autocorrectores de bloque sobre
cuerpos nitos y estudiamos sus propiedades bsicas poniendo nfasis en algunos
de los aspectos combinatorios de la teora. Notablemente, existe una conexin entre
los cdigos y los diseos combinatorios. Para mostrar esta interaccin, estudiamos
cdigos con una gran simetra, los cdigos perfectos. Veremos que a partir de
cdigos perfectos se obtienen diseos combinatorios especiales y que, a la inversa,
cierta informacin combinatoria determina la existencia o no de cdigos perfectos.
ndice
Introduccin 2
1. CLASE 1: Cdigos sobre cuerpos nitos 2
1.1. Nociones bsicas 2
1.2. Ejemplos 4
1.3. Dos cotas bsicas 7
1.4. Apndice: cuerpos nitos 10
2. CLASE 2: Cdigos lineales 11
2.1. Cdigos lineales y sus duales 11
2.2. Espectro y enumeradores de peso 16
2.3. Matrices de paridad y distancia mnima 18
3. CLASE 3: Familias famosas de cdigos lineales 20
3.1. Cdigos de Hamming 20
3.2. Cdigos Simplex 21
3.3. Cdigos de Golay 22
4. CLASE 4: Diseos combinatorios y cdigos perfectos 25
4.1. Diseos 25
4.2. Cdigos perfectos 29
4.3. Cdigos binarios perfectos y diseos 30
5. CLASE 5: Polinomios de Krawtchouk y cdigos 32
5.1. Polinomios de Krawtchouk binarios 32
5.2. Relacin con cdigos perfectos 35
5.3. Relacin con espectro 37
Referencias 40
1
2 RICARDO A. PODEST - 20-07-2012
Introduccin
Este curso se propone mostrar que la combinatoria ocupa un lugar importante
en la teora de cdigos a travs del estudio de los cdigos perfectos y sus espectros.
Resultar que tanto los diseos combinatorios como los polinomios de Krawtchouk
tienen algo para decir en estos casos. Las notas estn basadas en dos cursos [Po],
[Po2], dictados previamente por el autor en congresos anteriores. Sin embargo, la
presentacin general y la relacin con los diseos es nueva.
1. CLASE 1: Cdigos sobre cuerpos finitos
1.1. Nociones bsicas.
Cdigos y sus parmetros. Un alfabeto es un conjunto nito / = a
1
, . . . , a
q
. Los
elementos de / se llaman smbolos. Una palabra de longitud n n-cadena
sobre / es una sucesin
a
1
a
2
. . . a
n
de n smbolos de /. Denotaremos por /
n
al conjunto de todas las n-cadenas y por
/

al conjunto de todas las cadenas sobre /, es decir

/
n
= a
i
1
a
i
2
. . . a
in
: a
i
j
/, 1 j n, /

=
_
nN
/
n
.
Sea /
q
un alfabeto con q smbolos. Un cdigo q-ario sobre /
q
es un subconjunto
( /

q
. Los cdigos con q = 2, 3, 4 se llaman binarios, ternarios y cuaternarios,
respectivamente. Sin dudas, los cdigos binarios son los ms usados en la prctica.
Los elementos de ( se llaman palabras cdigo. El nmero M = [([ es el tamao
del cdigo. Si todas las palabras tienen la misma longitud ja n, o sea si
( /
n
,
decimos que ( es un codigo de bloque con parmetros (n, M). Nos referiremos a (
como un (n, M)
q
-cdigo. Si ( no es un cdigo de bloque, se dice que es un cdigo
de longitud variable. Un ejemplo de stos ltimos es el cdigo de Morse.
Consideremos la funcin d : /
n
/
n
[0, n] N denida por
(1.1) d(x, y) = #1 i n : x
i
,= y
i
.
Proposicin 1.1. La funcin d es una distancia, es decir satisface:
(a) d(x, y) 0 y d(x, y) = 0 x = y,
(b) d(x, y) = d(y, x),
(c) d(x, z) d(x, y) + d(y, z).
Demostracin. Las propiedades (a) y (b) son obvias. Veamos (c). Sean x = x
1
. . . x
n
,
y = y
1
. . . y
n
, z = z
1
. . . z
n
. Sea T = i : x
i
,= z
i
. Luego, d(x, z) = [T[. Como T es
la unin disjunta de U = i : x
i
,= z
i
, x
i
= y
i
y V = i : x
i
,= z
i
, x
i
,= y
i
, vemos
que d(x, z) = [U[ + [V [. Ahora, por denicin de d es inmediato que [V [ d(x, y).
Por otro lado, si i U entonces y
i
= x
i
,= z
i
y por lo tanto [U[ d(y, z). Luego, d
es una distancia.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 3
Tenemos que (/
n
, d) resulta un espacio mtrico y d se llama la distancia de
Hamming. Si bien existen otras mtricas posibles, como la mtrica Eucldea y la
mtrica de Lee, no las usaremos.
Distancia y peso. Dado un cdigo ( , = 0, la distancia mnima de (, se dene
por
d
(
= mn
c,c

(
c,=c

d(c, c
t
).
Un (n, M, d)
q
-cdigo es un cdigo de longitud n, tamao M y distancia mnima d.
Estos son los parmetros principales de un cdigo.
Para codicar y decodicar de manera ms prctica y eciente, es comn dotar
al alfabeto / de cierta estructura algebraica adicional, por ejemplo se pide que /
sea un cuerpo nito (como en la teora clsica) o incluso un anillo nito (como en
tiempos ms recientes). En lo que sigue, consideraremos cdigos de bloque sobre
cuerpo nitos y nos referiremos a ellos simplemente por cdigos. Luego, jamos
/
q
= F
q
,
el cuerpo nito
1
de q elementos. Necesariamente, q resulta una potencia de un primo,
es decir q = p
r
para algn p P, r N. En este caso, es comn denotar a c ( F
n
q
como una n-upla c = (c
1
, . . . , c
n
). Notar que F
n
q
es un espacio vectorial sobre F
q
. Si
( F
n
q
es un subespacio, entonces ( se dice un cdigo lineal y vale
F
q
, c, c
t
( c + c
t
(, c (.
Si dim( = k, con 0 k n, decimos que ( es de dimensin k. Luego, ( F
n
q
y se
tiene que M = q
k
. En este caso decimos que ( es un [n, k, d]
q
-cdigo. Estos son los
parmetros principales de un cdigo lineal. En caso contrario, ( se dice un cdigo
no lineal.
El peso de x F
n
q
, denotado por w(x), es el nmero de coordenadas no nulas de
x, o sea, es la distancia de x al 0 F
n
q
. En smbolos
w(x) = #1 i n : x
i
,= 0 = d(x, 0).
Si ( es un cdigo, el peso (mnimo) de ( se dene por
(1.2) w
(
= mnw(x) : x (, x ,= 0.
De la deniciones (1.1) y (1.2), es claro que
d(x, y) = w(x y), x, y F
n
q
.
En particular, si ( es un cdigo lineal entonces
d
(
= mn
x,y(
x,=y
d(x, y) = mn
x,y(
x,=y
w(x y) = mn
x(
x,=0
w(x) = w
(
.
Luego, para calcular la distancia mnima de un (n, M)-cdigo necesitamos calcular
_
M
2
_
distancias (cuadrtico en M), mientras que si el cdigo es lineal slo necesitamos
calcular M 1 pesos (lineal en M).
1
ver el Apndice (1.4) para informacin bsica sobre cuerpos nitos.
4 RICARDO A. PODEST - 20-07-2012
Para palabras binarias existe una relacin sencilla entre pesos y distancia. En
efecto, para x, y F
n
2
, tenemos (ejercicio)
(1.3) d(x, y) = w(x + y) = w(x) + w(y) 2w(x y)
donde
x y = (x
1
y
1
, x
2
y
2
, . . . , x
n
y
n
)
es la interseccin de x e y. Notar que x
i
y
i
= 1 si y slo si x
i
= y
i
= 1.
Deteccin y correccin. Si durante la transmisin de una palabra cdigo ocurren
t-errores, es decir, la palabra recibida y la enviada dieren en t-posiciones, decimos
que ocurri un error de peso t. Sea ( F
n
q
un cdigo sobre F
q
. Supongamos que
al transmitir c ( recibimos x F
n
q
con t-errores. Luego, d(x, c) = t y podemos
escribir
x = c + e, e F
n
q
, w(e) = t.
La palabra e = x c se llama patrn de error de peso t.
Decimos que ( detecta s-errores si cada vez que un error de peso r occurre, con
1 r s, la palabra obtenida no es una palabra cdigo. ( se dice s-detector si
detecta s-errores pero no detecta al menos un patrn de error de peso s + 1.
Decimos que ( corrige t errores si, cuando al decodicar por distancia mnima,
todos los patrones de error de peso t o menos son corregidos. ( se dice t-corrector
si corrige t-errores pero no corrige al menos un patrn de error de peso t + 1.
Las capacidades detectoras y correctoras de un cdigo estn determinadas por su
distancia mnima.
Proposicin 1.2. Sea ( F
n
q
un cdigo con distancia mnima d.
(a) ( es s-detector s = d 1, es decir d = s + 1.
(b) ( es t-corrector t =
d1
2
|, es decir d = 2t + 1 2t + 2.
Dejamos como ejercicio para el lector la demostracin de este hecho, el cual resulta
una aplicacin muy sencilla de las bolas B(c, r) que veremos ms adelante.
1.2. Ejemplos.
Cdigos lineales.
Ejemplo 1.3. Para q y n jos, existen 2 cdigos triviales sobre F
q
, el cdigo nulo
O = 0 y el cdigo total A = F
n
q
. Tienen parmetros [n, 0, ]
q
y [n, n, 1]
q
respec-
tivamente.
Ejemplo 1.4. El cdigo de repeticin q-ario es
(1.4) 1
q
(n) = 0, 1, c
1
, . . . , c
q2
= 1
donde F
q
= 0, 1, c
1
, . . . , c
q2
y c = cc c F
n
q
, para c F
q
, tiene parmetros
[n, 1, n]
q
. Por ejemplo, 1
2
(3) = 000, 111 y 1
3
(5) = 00000, 11111, 22222.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 5
Ejemplo 1.5. El cdigo de peso par es el cdigo binario
(1.5) c
n
= x F
n
2
: w(x) 0 (2)
c
n
es lineal por (1.3) y luego d
cn
= w
cn
= 2. Adems, como en F
n
2
hay tantas
palabras de peso par como impar, M = 2
n1
y por lo tanto k = n 1. Luego, c
n
es
un [n, n 1, 2]-cdigo.
Ejemplo 1.6. El cdigo de paridad q-ario (o de suma cero) es el cdigo
(1.6) T
q
(n) = x F
n
q
:
n

i=1
x
i
= 0,
el cual es claramente lineal con parmetros [n, n1, 2]. Notar que en el caso binario
coincide con el cdigo de peso par, i.e. T
2
(n) = c
n
, pues si x = (x
1
, . . . , x
n
) F
n
2
entonces

x
i
= 0 si y slo si w(x) es par.
Ejemplo 1.7. El cdigo de Hamming binario de longitud 7,
(1.7) 1
2
(3) =
_

_
0000000, 0001101, 1111111, 1110010,
1101000, 1000110, 0010111, 0111001,
0110100, 0100011, 1001011, 1011100,
0011010, 1010001, 1100101, 0101110
_

_
es un cdigo lineal (chequear) con parmetros [7, 4, 3]. Luego, 1
2
(3) es 2-detector y
1-corrector.
Cdigos no-lineales sobre F
11
.
Ejemplo 1.8. Veamos el cdigo de barras ISBN (International Standard Book Num-
ber) utilizado para nomenclar los libros publicados en todo el mundo desde 1970.
Cada libro es individualizado por una secuencia de 10 dgitos. Los primeros 9 dgi-
tos representan el idioma en que el libro est escrito, la editorial que lo public y
un nmero interno que la editorial le asigna al libro. El ltimo smbolo es de con-
trol. Por ejemplo, Coding and Information Theory, de Steven Roman, tiene ISBN
0-387-97812-7. Aqu, el 0 representa al ingls y 387 a la editorial Springer-Verlag.
El ltimo smbolo x
10
se toma de modo que x
1
, x
2
, . . . , x
10
satisfaga
10

i=1
ix
i
= x
1
+ 2x
2
+ 3x
3
+ + 9x
9
+ 10x
10
0 m od 11.
Es decir, es un control de paridad con peso. Pensamos a F
11
como 0, 1, 2, . . . , 9, X.
Por ejemplo, Ficciones, de Borges, tiene el cdigo 950 04 0205X. En efecto,
tenemos
9 + 2 5 + 5 4 + 7 2 + 9 5 = 98 10 m od 11,
y esto explica el porqu de la X.
Como 10x
10
x
10
(11), el cdigo ISBN queda denido por
B = x F
10
11
: 0 x
1
, . . . , x
9
9 y x
10

9

i=1
ix
i
(11) F
10
11
.
6 RICARDO A. PODEST - 20-07-2012
Nota. Si se pide 0 x
i
10 para i = 1, . . . , 10, entonces B resulta lineal. Sin
embargo, no se hace de esta manera para que la X aparezca slo en la posicin de
control.
El cdigo ISBN es no-lineal y tiene las siguientes propiedades correctoras.
B detecta 1 error, aunque no sepamos donde est (luego hay que pedir re-
transmisin del mensaje). En efecto, supongamos que al enviar x = x
1
. . . x
10
se recibe y = y
1
. . . y
10
con un nico error en la coordenada j, es decir, y
i
= x
i
para i ,= j y y
j
= x
j
+ a con a ,= 0. Luego,
10

i=1
iy
i
= (
10

i=1
ix
i
) + ja ja , 0 (11),
pues F
11
es un cuerpo.
B detecta 2 errores obtenidos por transposicin de smbolos (distintos, obvia-
mente). Si ahora recibimos y, que es igual a x salvo que los smbolos x
j
y x
k
estn permutados entre s (x
j
,= x
k
), entonces
10

i=1
iy
i
=
10

i=1
ix
i
+ (k j)x
j
+ (j k)x
k
(k j)(x
j
x
k
) , 0 (11),
si k ,= j y x
j
,= x
k
.
B corrige 1 error, dado que sabemos dnde est el error. Si recibimos x =
x
1
. . . x
10
y sabemos que la coordenada x
j
es errnea, entonces podemos des-
pejar x
j
de x
1
+ + jx
j
+ + 10x
10
0 (11) y tenemos
x
j
= j
1

i,=j
ix
i
,
en F
11
donde nuevamente usamos que F
11
es cuerpo.
Ejemplo 1.9. El cdigo EAN-13 (European Article Number) tambin est denido
por un chequeo de paridad con pesos en F
11
, de la siguiente manera
/ = x = (x
12
, x
11
, . . . , x
1
, x
0
) F
13
11
: x
12

i par
x
i
+ 3

i impar
x
i
(10),
donde tambin pedimos que
0 x
i
9, i = 0, . . . , 11.
Por ejemplo mi lpiz, tiene el cdigo 7891360548263. Tenemos que las sumas
de los pares e impares mdulo 10 son
3 + 2 + 4 + 0 + 3 + 9 = 21 1 m od 10,
6 + 8 + 5 + 6 + 1 + 8 = 34 4 m od 10,
de donde
x
12
(1 + 3 4) 13 7 m od 10
y el nmero de chequeo resulta 7.
Qu propiedades correctoras tiene este cdigo?
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 7
Observacin 1.10. Desde 2007, el viejo cdigo ISBN (actualmente conocido como
ISBN-10) de 10 dgitos ha sido cambiado por el ISBN-13 de 13 dgitos. Este ltimo
se obtiene anteponiendo el prejo 978 (por libro) a cada palabra cdigo del viejo
ISBN-10 y el chequeo se realiza como en el EAN-13. De esta manera se compati-
bilizan ambos cdigos. Otros ejemplos similares a stos son el ISSN (International
Standard Serial Number) de las revistas o el ISMN (International Standard Music
Number) de los discos, que actualmente son tambin cdigos de barras EAN-13.
1.3. Dos cotas bsicas.
La cota de Singleton. Damos a continuacin 2 construcciones bsicas para obtener
nuevos cdigos a partir de uno dado.
Extensin. El proceso de agregar una o ms coordenadas a las palabras de un cdigo
se conoce como extensin del cdigo (extending a code). La forma ms comn de
extender un cdigo es agregando un dgito de control (overall parity check digit). Si
( es un (n, M, d)-cdigo sobre F
q
, el cdigo extendido

( se dene como

( = c
1
c
2
. . . c
n
c
n+1
: c
1
c
2
. . . c
n
( y
n+1

k=1
c
k
= 0.
Es decir, tomamos c
n+1
= (c
1
+ + c
n
). As,

( es un ( n,

M,

d)-cdigo con
n = n + 1,

M = M,

d = d d + 1.
Luego, si bien el cdigo extendido no mejora las cualidades correctoras al menos
mejora en algunos casos su capacidad de deteccin.
Notar que si ( es lineal entonces

( tambin lo es (ejercicio) y que si ( es binario
entonces

( c
n+1
, es decir

( tiene todas sus palabras de peso par (ejercicio).
Ejemplo 1.11. Extendiendo el cdigo binario ( = 00, 01, 10, 11 = Z
2
2
se obtiene
el cdigo

( = 000, 011, 101, 110 = c
3
. Notar que d = 1 pero

d = 2. Sin embargo,
extendiendo una vez ms tenemos

( = 0000, 0110, 1010, 1100, luego

d =

d = 2.
Pinchado. El proceso opuesto a extender un cdigo se denomina pinchado de un
cdigo (puncturing a code) en el que una o ms coordenadas son quitadas de las
palabras cdigos. Si ( es un (n, M, d)-cdigo q-ario, con d 2, entonces el cdigo
pinchado (

, obtenido pinchando una de las coordenadas de (, tiene parmetros

n

= n 1, M

= M, d

= d d 1.
Notar que si ( es lineal, (

tambin resulta lineal (ejercicio).

Como una aplicacin sencilla, pinchando un cdigo d 1 veces consecutivas se
obtiene la siguiente cota.
Proposicin 1.12 (Cota de Singleton). Si ( es un (n, M, d)-cdigo q-ario entonces
M q
nd+1
.
En particular, si ( es lineal vale
k n d + 1.
8 RICARDO A. PODEST - 20-07-2012
Demostracin. Sea f : F
n
q
F
nd+1
q
la aplicacin que borra las ltimas d 1
coordenadas; o sea, f(() = (
(d1)
. Es claro que f(() es un cdigo en F
nd+1
q
. Notar
que f restringida a ( es 1-1. En efecto, si c, c
t
( con f(c) = f(c
t
), entonces
c = c
1
. . . c
nd+1
x
1
. . . x
d1
,
c
t
= c
1
. . . c
nd+1
y
1
. . . y
d1
,
y por lo tanto d(c, c
t
) d 1, lo cual es absurdo. Luego,
M = [([ = [f(()[ q
nd+1
.
La armacin restante es obvia.
Esta cota dice que los parmetros principales de un cdigo (lineal o no) son muy
rgidos. No es posible tener tamao y distancia mnima simultneamente grandes.
Un (n, M, d)-cdigo que satisface la igualdad en la cota de Singleton se dice un
cdigo MDS (maximum distance separable). Es decir, si ( es lineal, como
d = n k + 1,
( tiene la mayor distancia mnima posible entre todos los cdigos de longitud n y
dimensin k. Tambin, como k = n d + 1, entre todos los cdigos de longitud n
que son t-correctores, ( es uno que codica el mayor nmero de palabras. Se sabe
que los nicos cdigos MDS binarios son los triviales, es decir 1
2
(n), c(n) y F
n
2
con
parmetros [n, 1, n], [n, n 1, 2] y [n, n, 1], respectivamente. Luego, cdigos MDS
son interesantes en el caso q-ario, con q > 2.
La cota de Hamming. Dado x /
n
, con [/[ = q y r 0, se dene la esfera de
radio r centrada en x como
S(x, r) = y /
n
: d(x, y) = r
y la bola de radio r centrada en x como
B(x, r) = y /
n
: d(x, y) r =
r
_
i=0
S(x, i).
Se dene el volumen V
q
(n, r) como el cardinal de cualquier bola de radio r en /
n
,
V
q
(n, r) = [B(x, r)[. Veamos que este nmero est bien denido, es decir, no depende
del x /
n
.
Es claro que [S(x, 0)[ = 1. Ahora [S(x, 1)[ = n(q 1) pues si y S(x, 1) hay n
coordenadas en las que y puede diferir con x en q1 elementos distintos del alfabeto.
Del mismo modo se tiene [S(x, 2)[ =
_
n
2
_
(q 1)
2
. Luego,
V
q
(n, r) = [B(x, r)[ =
r

i=0
[S(x, i)[ =
r

i=0
_
n
i
_
(q 1)
i
.
Las bolas de radio t =
d1
2
| centradas en palabras cdigos son disjuntas.
Lema 1.13. Si ( es un cdigo con distancia mnima d = 2t + 1 d = 2t + 2,
entonces para todo c, c
t
( con c ,= c
t
se tiene
B(c, t) B(c
t
, t) = .
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 9
Demostracin. Sea x B(c, t) con c (. Entonces, x , B(c
t
, t) para ningn c
t
(
con c
t
,= c. Si no fuera as, por la desigualdad triangular tendramos
d(c, c
t
) d(c, x) + d(x, c
t
) t + t = 2t < 2t + 1 = d,
lo cual es absurdo.
Esto permite probar la siguiente cota de Hamming, tambin llamada cota de em-
paquetamiento de esferas.
Proposicin 1.14 (Cota de Hamming). Si ( es un (n, M, d)
q
-cdigo sobre / con
d = 2t + 1 d = 2t + 2 entonces
(1.8) M
t

i=0
_
n
i
_
(q 1)
i
q
n
.
Demostracin. Como las bolas de radio t =
d1
2
| son disjuntas, y cada bola B(c, t)
con c ( contiene V
q
(n, t) palabras de /
n
, resulta la desigualdad (1.8).
Para [n, k, d]
q
-cdigos, la cota de Hamming toma la forma
]
d1
2
|

i=0
_
n
i
_
(q 1)
i
q
nk
,
y, en particular, para cdigos lineales binarios (q = 2) se reduce a
(1.9)
]
d1
2
|

i=0
_
n
i
_
2
nk
.
Ejemplo 1.15. (i) Si ( es un [6, k, 3]-cdigo binario entonces, como t = 1, tenemos
M = 2
k

2
6
1 +
_
6
1
_ =
64
7
< 10.
Luego, k 3. Es decir, no existen [6, k, 3]-cdigos con 4 k 6.
(ii) El cdigo de Hamming 1
2
(3) visto antes tiene parmetros [7, 4, 3]. El cdigo
pinchado 1

2
(3) debe tener parmetros [6, 4, 3] [6, 4, 2]. En el Ejemplo 1.15 vimos
que no existen cdigos con parmetros [6, 4, 3], por lo que 1

2
(3) es un [6, 4, 2]-cdigo.
Si ( satisface la igualdad en la cota de Hamming (1.8) (y d es impar) entonces
el cdigo se dice perfecto. Estudiaremos estos cdigos ms adelante. Observar que
tanto los cdigos perfectos como los MDS son cdigos ptimos en algn sentido. En
general, siempre que se tenga una cota, los cdigos cuyos parmetros alcanzan la
igualdad en dicha cota son optimales en algn sentido.
10 RICARDO A. PODEST - 20-07-2012
1.4. Apndice: cuerpos nitos. Un cuerpo es un anillo de divisin conmuta-
tivo (F, +, ) con 1 ,= 0. Es decir, (F, +) y F

= (F 0, ) son grupos abelianos.

En particular, todo elemento no nulo tiene inverso. Ejemplos tpicos son Q, R y C.
Para aplicaciones prcticas, se necesita trabajar con cuepo nitos, es decir cuerpos
con un nmero nito de elementos. Es fcil ver que Z
n
= Z/nZ, el anillo de enteros
mdulo n, es cuerpo si y slo si n = p, con p primo. Sin mebargo, existen otros
cuerpos nitos aparte de los Z
p
, p primo.
Damos a continuacin un resumen de los hechos bsicos ms importantes sobre
cuerpos nitos.
Todo cuerpo nito tiene caracterstica prima.
Si F es un cuerpo nito de q elementos, entonces q = p
r
para algn p P y
r N. Recprocamente, para cada p P, r N, existe un cuerpo nito F con
p
r
elementos.
Un cuerpo nito F con q = p
r
elementos es isomorfo al cuerpo de descompo-
sicin SF(x
q
x)
Fp
de x
q
x sobre F
p
. Luego, dos cuerpos nitos con q = p
n
elementos son isomorfos. Un cuerpo nito con q = p
n
elementos se denota por
F
q
o F
p
n. En particular, F
p
= Z
p
, con p primo.
Si F
q
F
t
entonces tienen la misma caracterstica p. En este caso, tenemos
F
p
m F
p
n si y slo si m [ n.
El grupo multiplicativo de F
q
es cclico, esto es F

q
= para algn . Todo
generador de F

q
se dice un elemento primitivo del cuerpo.
Si F
q
F
r
entonces F
r
= F
q
() donde es un elemento primitivo de F
r
.
Luego, todo extensin de un cuerpo nito es simple.
Para todo q, n, existe un polinomio irreducible f(x) F
q
[x] de grado n.
Conocemos los cuerpos nitos F
p
= Z
p
= 0, 1, . . . , p 1 (p) para p primo. Por
ejemplo, cuerpos nitos ms simples son F
2
= 0, 1 y F
3
= 0, 1, 2, con la suma y
el producto mdulo 2 y 3 respectivamente.
Notar que Z
4
no es un cuerpo, pues 2 no tiene inverso. Sin embargo, como 4 = 2
2
,
existe un cuerpo nito con 4 elementos, formado por las races de x
4
x = x(x
3
1).
Luego,
(1.10) F
4
= 0, 1, ,
donde = e
2i
3
es una raz primitva cbica de la unidad. Usando que
3
= 1,
2
=
y
2
+ + 1 = 0 obtenemos las tablas de suma y producto en F
4
+ 0 1
0 0 1
1 1 0
0 1
1 0
0 1
0 0 0 0 0
1 0 1
0 1
0 1
Por otra parte, no hay cuerpos con 6, 10 o 12 elementos.
Construccin de cuerpos nitos. El proceso de construir F
4
resulta inapropiado para
otros cuerpos. Para el caso general F
p
n, debemos encontrar todas las races de
x
p
n
x = x(x
p
n
1
1)
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 11
en alguna clausura algebraica

F
p
de F
p
. Veamos una forma fcil de construir F
q
n a
partir del cuerpo F
q
. Sea f(x) F
q
[x] un polinomio irreducible de grado d. Entonces,
_
f(x)
_
= f(x)F
q
[x] = f(x)g(x) : g(x) F
q
[x] es un ideal maximal y por lo tanto
F = F
q
[x]/
_
f(x)
_
es un cuerpo. Como espacio vectorial, F F
q
[], donde es una raz de f(x) en el
cuerpo de descomposicin de F
q
. Como F
q
[] est generado por las potencias
1, ,
2
, . . . ,
d1
,
tiene q
d
elementos. Entonces, F = F
q
d.
Ejemplo 1.16. (El cuerpo F
8
). Veamos como construir el cuerpo F
8
= F
2
3. Ne-
cesitamos encontrar un polinomio irreducible de grado 3 en F
2
[x]. Hay slo dos
posibilidades
f
1
(x) = x
3
+ x + 1, f
2
(x) = x
3
+ x
2
+ 1.
Luego, F
1
= F
2
[x]/f
1
(x) y F
2
= F
2
[x]/f
2
(x) son cuerpos isomorfos a F
8
.
Ahora, si es una raz de f
1
(x) entonces
F
1
= 0, 1, , + 1,
2
,
2
+ 1,
2
+ ,
2
+ + 1
con la suma usual en F
2
[] y el producto se realiza reduciendo mdulo
3
+ + 1.
Por ejemplo,
( + 1)(
2
+ 1) =
3
+
2
+ + 1 = ( + 1) +
2
+ + 1 =
2
,
donde usamos que
3
= ( + 1) = + 1. Usando esto, obtenemos la tabla de
multiplicacin
(F

8
, ) 1 + 1
2

2
+ 1
2
+
2
+ + 1
1 1 + 1
2

2
+ 1
2
+
2
+ + 1

2

2
+ + 1 1
2
+ + 1
2
+ 1
+ 1 + 1
2
+
2
+ 1
2
+ + 1
2
1

2
+ 1
2
+ + 1
2
+
2
+ 1 1

2
+ 1
2
+ 1 1
2

2
+ + 1 + 1
2
+

2
+
2
+
2
+ + 1 1
2
+ 1 + 1
2

2
+ + 1
2
+ + 1
2
+ 1 1
2
+
2
+ 1
Similarmente para el cuerpo F
2
= 0, 1, , + 1,
2
,
2
+ 1,
2
+ ,
2
+ + 1,
donde satisface
3
+
2
+ 1 = 0.
2. CLASE 2: Cdigos lineales
2.1. Cdigos lineales y sus duales.
Matrices generadoras. Sea ( un [n, k]
q
-cdigo lineal. Una matriz generadora de (
es una matriz kn cuyas las estn formadas por los vectores de una base del cdigo.
Si c
1
, . . . , c
k
una base de ( y e
1
, . . . , e
n
es una base de F
n
q
entonces c
i
=

n
j=1
c
ij
e
j
,
con c
ij
F
q
, y
G =
_
_
c
11
c
1n
.
.
.
.
.
.
c
k1
c
kn
_
_
F
kn
q
12 RICARDO A. PODEST - 20-07-2012
es una matriz generadora de (. Notar que G tiene rango k y genera el cdigo pues
( = uG : u F
k
q
= F
k
q
G.
En efecto, para cada u F
k
q
, se tiene
uG =
n

j=1
_
k

i=1
u
i
c
ij
_
e
j
=
k

i=1
u
i
_
n

j=1
c
ij
e
j
_
=
k

i=1
u
i
c
i
(.
Recprocamente, si c (, existen nicos u
1
, . . . , u
k
F
q
tales que c =

k
i=1
u
i
c
i
.
Luego, c = uG, con u = (u
1
, . . . , u
k
) F
k
q
.
Ms an, u
1
G = u
2
G si y slo si u
1
= u
2
, luego, diferentes mensajes dan lugar a
diferentes palabras cdigo.
Ejemplo 2.1. El tetracode es el [4, 2]-cdigo ternario T generado por
G =
_
1 0 1 1
0 1 1 2
_
Luego,
(x, y)G = (x, y, x + y, x + 2y) T
para todo x, y F
3
y
T = 000, 0112, 0221, 1011, 1120, 1202, 2022, 2101, 2210 F
4
3
.
Es fcil ver que la distancia es d = 3.
Ejemplo 2.2. La matriz
G =
_
_
1 0 0 1
0 1 0 1
0 0 1 1
_
_
genera un [6, 3]-cdigo sobre F
4
, ver (1.10), llamado hexacode 1. Tiene 4
3
= 64
palabras.
1 = (x, y, z, x + y + z, x + y + z, x + y + z) F
6
4
: (x, y, z) F
3
4

Cul es la distancia mnima de 1?

La matriz G se usa para codicar cada palabra de u F
k
q
en una palabra cdigo
c F
n
q
, simplemente por c = uG. Como ( F
k
q
, en cada palabra cdigo hay k
coordenadas que guardan la informacin, mientras que las otras son redundantes.
Sin embargo, estas coordenadas extras son tiles para la deteccin y correccin de
errores. El nmero r = n k se llama la redundancia del cdigo.
En los ejemplos anteriores, las matrices generadoras tienen la matriz identidad
como submatriz. Una matriz generadora est en forma estndar si es de la forma
G = (I
k
[A)
donde I
k
es la matriz identidad k k y A es una matriz k (n k). Si G est en
forma estndar, el proceso de codicacin y decodicacin se vuelve trivial, pues
u uG = u(I
k
[A) = (u[uA) u.
-
codica
-
decodica
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 13
Cdigos duales. Consideremos el producto interno cannico en F
n
q
dado por
x y = x
1
y
1
+ + x
n
y
n
x, y F
n
q
.
Para x, y F
n
2
se tiene la relacin (ejercicio)
w(x y) x y m od 2
de donde
w(x) x x m od 2.
Si ( es un [n, k]
q
-cdigo, el cdigo dual de ( es el subespacio
(

= x F
n
q
: x c = 0 c (.
Notar que aunque ( sea no-lineal, (

siempre resulta un cdigo lineal.

Tenemos los siguientes resultados bsicos sobre cdigos duales.
Proposicin 2.3. Sea ( un [n, k]
q
-cdigo y G una matriz generadora de (. Entonces,
(a) (

= x F
n
q
: xG

= 0 = x F
n
q
: Gx

= 0.
(b) (

es un [n, n k]
q
-cdigo.
(c) ((

= (.
Demostracin. (a) Por denicin, x (

x ( = 0. Si c = uG con u F
k
q
,
tenemos
x c = xc

= x(uG)

= (xG

)u

.
Si xG

= 0 entonces x (

. Recprocamente, si x (

entonces (xG

)u

= 0
para todo u F
k
q
. En particular, para los vectores cannicos u = e
1
, . . . , e
k
. Luego,
0 = (xG

)e
i

= (uG

)
i
para 1 i k, y por lo tanto uG

= 0.
(b) (

es un subespacio de F
n
q
y (

= x F
n
q
: Gx

= 0. Luego, (

es el
espacio solucin de un sistema de k-ecuaciones lineales con n-incgnitas. Como el
rango de G es k, hay n k variables libres, y as dim(

= n k.
(c) Notar que ( ((

= x F
n
q
: x (

= 0. Como
dim((

= n (n k) = k = dim(,
entonces ( = ((

.
Existen otros productos internos en F
n
q
. Para cada uno de ellos existe una nocin
similar de dual. Por ejemplo, para cdigos cuaternarios sobre F
4
se tiene el producto
interno Hermitiano dado por
x, y = x y =
n

i=1
x
i
y
i
, x, y F
n
4
,
donde es la conjugacin denida por

0 = 0,

1 = 1, =
2
y

= y x y es el
producto interno cannico. El dual Hermitiano de un cdigo ( es
(

H
= x F
n
4
: x c = 0 c (.
Si W es un subespacio de un R-espacio vectorial con producto interno V, sabemos
que W W

= 0. Esto no es cierto en general para espacios vectoriales sobre

14 RICARDO A. PODEST - 20-07-2012
cuerpos nitos. Existen cdigos ( F
n
q
tales que ( (

,= 0. Si ( (

decimos
que ( es auto-ortogonal. Ms an, puede suceder que
( = (

en cuyo caso decimos que ( es autodual.

Similarmente, para cdigos sobre F
4
, decimos que ( es auto-ortogonal y auto-
dual Hermitiano si ( (

H
y ( = (

H
, respectivametne. Notar que si denimos
el conjugado de ( por

( = c : c (
donde c = c
1
. . . c
n
si c = c
1
. . . c
n
, entonces vale
(

H
= (

()

.
Ejemplo 2.4. (i) Los cdigos 0, F
n
q
, 1
q
(n) y T
q
(n) tienen parmetros [n, 0], [n, n],
[n, 1], [n, n 1], respectivamente. Forman 2 pares de cdigos duales,
F
n
q
= 0

y T
q
(n) = 1
q
(n)

.
(ii) Para el [4, 2]-cdigo ( = 0000, 0011, 1100, 1111 tenemos que ( (

y como
(

es tambin un [4, 2]-cdigo, vale ( = (

.
(iii) El tetracode T del Ejemplo 2.1 es autodual. T es un [4, 2]-cdigo ternario
sobre F
3
. Como las las de la matriz generadora son ortogonales, es decir G
i
G
j
= 0
en F
3
para 1 i, j 2, se tiene que T T

. Como T

tambin es un [4, 2]-cdigo,

entonces, por dimensin, T = T

.
(iv) El hexacode 1 del Ejemplo 2.2 es autodual Hermitiano, es decir 1

H
= 1.
Notar que G
i


G
j
= 0 en F
4
para 1 i, j 3 y sale como en (iii).
Matrices de control de paridad. Para ser capaces de detectar y corregir errores,
necesitamos un poco de redundancia en el cdigo. La forma ms fcil de agregar
redundancia es repetir coordenadas. Otra forma, es agregar dgitos de control de
paridad.
Ejemplo 2.5. Codicamos las palabras x
1
x
2
x
3
F
3
2
agregando 3 dgitos de control
de paridad. Tomamos x
4
, x
5
, x
6
del siguiente modo
x
4
= x
1
+ x
2
, x
5
= x
1
+ x
3
, x
6
= x
2
+ x
3
,
luego el cdigo es
( = 000 000, 001 011, 010 101, 011 110, 100 110, 101 101, 110 011, 111 000.
Equivalentemente, el sistema lineal homogneo determinado por las ecuaciones de
arriba tiene matriz
H =
_
1 1 0 1 0 0
1 0 1 0 1 0
0 1 1 0 0 1
_
y ( es el conjunto solucin del sistema Hx

= 0, i.e. ( = x F
6
2
: Hx

= 0.
Denicin 2.6. Una matriz de paridad de un [n, k]
q
-cdigo ( es una matriz
generadora del dual (

. La denotamos por H = G

, H cuando la pensamos como

matriz de paridad de ( y G

cuando la pensamos como generadora de (

.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 15
Observacin 2.7. (i) Una matriz de paridad H siempre existe, es n k n de
rango mximo y satisface GH

= 0. De hecho, si c (, c
t
(

, entonces c = uG,
c
t
= wH, con u F
k
q
, w F
nk
q
. Luego,
0 = c c
t
= uG wH = uG(wH)

= u(GH

)w

GH

= 0,
puesto que e
i
(GH

)e
j

= (GH

)
ij
.
(ii) Recprocamente, si H es una matriz nk n de rango mximo con GH

= 0
entonces H genera (

, y por lo tanto es una matriz de paridad de (.

(iii) Si G es una matriz generadora de ( entonces G es la matriz de paridad de
(

, pues la matriz de paridad de (

es H

= (G

= G.
Proposicin 2.8. Sea H una matriz de paridad de un [n, k]
q
-cdigo (. Entonces,
( = x F
n
q
: Hx

= 0 = x F
n
q
: xH

= 0.
Demostracin. Sea c = uG (, con u F
k
q
y G una matriz generadora de (.
Luego, cH

= uGH

= 0. Por lo tanto ( S
H
= x F
n
q
: Hx

= 0, el espacio
solucin de un sistema lineal homogneo de nk ecuaciones con n incgnitas. Como
dimS
H
= n (n k) = k = dim(, tenemos que ( = x F
n
q
: Hx

= 0.
Por los resultados vistos antes, podemos ver a un cdigo lineal ( a travs de
transformaciones lineales tanto como una imgen ( = ImR
G
, donde G es la matriz
generadora de (, y R
G
es multiplicacin a derecha por G, o como un ncleo, ( =
Ker R
H
, donde H es la matriz de paridad de (. Esto da la siguiente denicin
alternativa de cdigos lineales. Tener un [n, k]
q
-cdigo es equivalente a tener una
sucesin exacta corta de la forma
0 F
k
q
F
n
q
F
nk
q
0,
- -
R
G
-
R
H

-
donde G y H son matrices k n y n k n de rango mximo, respectivamente.
Esto permite generalizar la nocin de cdigos lineales en otros contextos.
Observacin 2.9. (i) Si G = (I
k
[A) est en forma estandas, entonces H = (A

[I
nk
)
es una matriz de paridad de (. En efecto, tenemos
GH

= (I
k
[A)
_
A
I
nk
_
= A + A = 0,
pues
G
i
(H

)
j
= (e
i
[A
i
) (A
j
[e
j
) = e
i
A
j
+ A
i
e
j
= a
ij
+ a
ij
= 0.
Tal H se dice matriz de paridad en forma estndar, aunque no est en forma estndar
como matriz generadora del dual (

.
(ii) Un cdigo autodual ( tiene parmetros [2m, m]. Toda matriz generadora de
( es de paridad y recprocamente. Luego, si G = (I
m
[ A) es una matriz generadora
de (, entonces H = (A

[ I
m
) tambin es una matriz generadora.
16 RICARDO A. PODEST - 20-07-2012
2.2. Espectro y enumeradores de peso. Sea ( un cdigo de longitud n. Para
cada i, sea S
i
= S
i
(() el conjunto de palabras cdigo de peso i y sea A
i
= A
i
(() su
cardinal, es decir
S
i
= c ( : w(c) = i, A
i
= #S
i
.
El espectro de ( es
Spec (() = A
0
, A
1
, . . . , A
n

Anlogamente al peso mnimo de (, se dene el peso mximo de ( por

(
= m ax
cC
w(c).
Es claro que
A
0
= 1, A
1
= A
2
= = A
d1
= 0, A
+1
= = A
n
= 0.
Notar que si ( es un [n, k, d]-cdigo entonces
A
0
+ A
1
+ + A
n
= q
k
.
El espectro se dice simtrico si
A
i
= A
ni
, 0 i n.
Proposicin 2.10. Sea ( un [n, k]-cdigo binario.
(a) Si 1 ( entonces el espectro es simtrico.
(b) Si ( es autoortogonal entonces w(c) es par para todo c ( y 1 (

.
(c) Si ( es autodual entonces el espectro es simtrico y Spec (() = Spec ((

).
Demostracin. (a) El complemento c de c ( es la palabra obtenida cambiando 0s
por 1s y viceversa. Si 1 ( entonces c = c +1 ( por linealidad y, por (1.3),
w(c) + w( c) = w(c + c) = w(1) = n
pues c c = . Luego, w( c) = n w(c). Luego hay una biyeccin cannica entre S
i
y S
ni
para todo i = 0, . . . , n.
(b) Como ( (

entonces
0 = c c = c
1
+ + c
n
= w(c)
en F
2
. Luego, w(c) es par. Por otra parte,
c 1 = c
1
+ c
n
= 0
en F
2
y as 1 (

.
(c) es inmediato de (a) y (b).
Ejemplo 2.11. (i) Para el [7, 4, 3]-cdigo de Hamming 1
2
(3) tenemos
A
0
= A
7
= 1, A
3
= A
4
= 7, A
1
= A
2
= A
5
= A
6
= 0
luego el espectro es simtrico y Spec 1
2
(3) = 1, 0, 0, 7, 7, 0, 0, 1.
(ii) Para ( = F
n
q
es claro que A
k
= (q 1)
k
_
n
k
_
. Notar que 1 F
n
q
pero como
A
nk
= (q 1)
nk
_
n
nk
_
, el espectro Spec(F
n
q
) es simtrico si y slo si q = 2.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 17
Si ( es un cdigo lineal y (

es su dual, ponemos A

i
= A
i
((

). El enumerador
de pesos de ( es el polinomio
(2.1) W
(
(s) =

c(
s
w(c)
=
n

k=0
A
k
s
k
.
El grado de W
(
(s) es deg W
(
(s) =
(
, el peso mximo de (.
Ejemplo 2.12. El enumerador de pesos del espacio A = F
n
q
es
W
F
n
q
(s) =
n

k=0
_
n
k
_
(q 1)
k
s
k
=
_
1 + (q 1)s
_
n
.
El enumerador de pesos homogneo de ( es el polinomio homogneo
(2.2) W
(
(x, y) =
n

k=0
A
k
x
k
y
nk
.
Notar que
(2.3) y
n
W
(
(
x
y
) = y
n
n

k=0
A
k
x
k
y
k
= W
(
(x, y).
Luego, W
(
(x, 0) = W
(
(0, y) = 0, W
(
(x, 1) = W
(
(x) y W
(
(x, x) = q
k
x
n
.
Veamos las llamadas identidades de MacWilliams.
TEOREMA 2.13 (MacWilliams). Si ( es un cdigo lineal sobre F
q
entonces
(2.4) W
(
(s) =
1
[([
_
1 + (q 1)s
_
n
W
(
_
1s
1+(q1)s
_
.
O sea, los enumeradores de peso de un cdigo lineal y el de su dual estn relacio-
nados de una manera muy simple y el espectro de un cdigo determina el del otro.
O sea, da una relacin entre los nmeros A
i
s y los A

j
s (veremos en (5.3)).
Por el Ejemplo 2.12, podemos escribir (2.4) de la forma
W
(
(s) =
1
[([
W
n
.
(s) W
(
_
1s
1+(q1)s
_
.
donde A = F
n
q
.
Ejemplo 2.14. (i) Si ( = 000, 111 entonces A
0
= A
3
= 1, A
1
= A
2
= 0. Por lo
tanto W
(
(s) = 1 + s
3
. Por la identidad de MacWilliams
W
(
(s) =
1
2
(1 + s)
3
W
(
(
1s
1+s
) =
1
2
(1 + s)
3
(1 + (
1s
1+s
)
3
)
=
1
2
(1 + s)
3
+ (1 s)
3
= 1 + 3s
2
.
Luego, A

0
= 1, A

1
= A

3
= 0, A

2
= 3 y as
(

= 000, 011, 010, 110 = c

3
.
(ii) En el caso general, 1
2
(n) = 0 . . . 0, 1 . . . 1.
W
(
(s) =
1
2
(1 + s)
n
W
(
(
1s
1+s
) =
1
2
(1 + s)
n
(1 + (
1s
1+s
)
n
)
=
1
2
(1 + s)
n
+ (1 s)
n
=

k par
_
n
k
_
s
k
.
18 RICARDO A. PODEST - 20-07-2012
Contando el nmero de palabras de peso par para cada 0 2k n, se deduce que
1
2
(n)

= c
n
.
La versin homognea de la identidad de MacWilliams es
(2.5) W
(
(x, y) =
1
[([
W
(
_
y x, y + (q 1)x
_
que sale de (2.3) y (2.4).
2.3. Matrices de paridad y distancia mnima. No hay una forma sencilla de
calcular la distancia mnima de un cdigo lineal a partir de la matriz generadora.
Sin embargo, veremos que esto es muy sencillo a partir de una matriz de paridad.
Proposicin 2.15. Sea H una matriz de paridad de un [n, k, d]
q
-cdigo (. Luego,
d = menor s > 0 tal que H tiene s columnas linealmente dependientes.
Es decir, H tiene d columnas linealmente dependientes, pero cualquier conjunto de
d 1 columnas son linealmente independientes.
Demostracin. Denotamos por H
1
, . . . , H
n
y H
1
, . . . , H
n
las las y columnas de H.
Si c (, entonces
cH

= 0 c
1
(H

)
1
+ + c
n
(H

)
n
= 0 c
1
H
1
+ + c
n
H
n
= 0.
Ahora, w(c) = r si y slo si H tiene r columnas linealmente dependientes. Como
r d, H no puede tener d 1, o menos, columnas dependientes.
Como un corolario sencillo, recuperamos la cota de Singleton para cdigos lineales.
Corolario 2.16 (Singleton). Si ( es un [n, k, d]
q
-cdigo entonces
(2.6) d 1 n k.
Demostracin. H tiene rango n k y, por la proposicin, todo conjunto de d 1
columnas de H son linealmente independentes, luego d 1 n k.
Ejemplo 2.17. (i) No existen [n, n 1, 3]
q
-cdigos.
(ii) Un [11, 6, d]
q
-cdigo tiene d 11 6 + 1 = 6. Un [11, k, 7]
q
-cdigo tiene
k n d + 1 = 5. Un [n, 8, 7]
q
-cdigo tiene n d + k 1 = 14.
El Teorema 2.15 tambin implica otra cota, que es un resultado de existencia y
permite construir un cdigo con distancia mnima prejada.
Proposicin 2.18 (Gilbert-Varshamov). Sea n, k, d, q = p
r
, r N con p primo. Si
(2.7) q
nk
>
d2

i=0
_
n1
i
_
(q 1)
i
entonces existe un [n, k, d
(
]
q
-cdigo ( con d
(
d.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 19
Demostracin. Veamos que si vale (2.7) entonces podemos denir una matriz H de
tamao n k n y rango n k (que ser la matriz de paridad del cdigo) tal que
todo conjunto de d 1 columnas es linealmente independiente.
Como la primera columna de H tomamos cualquier vector no nulo h
1
F
nk
q
.
Como segunda columna tomamos cualquier vector h
2
F
nk
q
0 que no sea
mltiplo de h
1
. En general, queremos elegir la i-sima columna h
i
,= 0 tal que
h
i
, h
i
1
, . . . , h
i
d2
, 1 i
1
< < i
d2
i 1.
Es decir, tal que h
i
no es combinacin lineal de ningn conjunto de d 2 columnas
previamente elegidas. El nmero de combinaciones lineales de d 2 columnas o
menos, de las i 1 ya elegidas es
N
i
=
_
i1
1
_
(q 1) +
_
i1
2
_
(q 1)
2
+ +
_
i1
d2
_
(q 1)
d2
=
d2

j=1
_
i1
j
_
(q 1)
j
.
Luego, hay q
nk
N
i
1 maneras de elegir i-sima columna h
i
para H. As, mientras
q
nk
N
n
1 > 0
podemos completar H. Por el Teorema 2.15, H es la matriz de paridad de un
[n, k, d
t
]
q
-cdigo con d
t
d.
En particular, un [n, k, d]-cdigo binario existe si se cumple que
2
nk
>
d2

i=0
_
n1
i
_
.
Ejemplo 2.19. Sea n = 7, d = 3. Luego,
2
7k
>
_
6
0
_
+
_
6
1
_
= 7
vale para k 4. Por Gilbert-Varshamov, hay [7, k, 3]-cdigos binarios con 1 k 4.
Existe un [7, 5, 3]-cdigo binario? Tanto las cotas de Singleton como la de Gilbert-
Varshamov no nos dan informacin, asi que no sabemos.
Ejemplo 2.20. Sea k = 5, d = 3. Por la cota de Singleton sabemos que n 7.
Tenemos
2
n5
>
_
n1
0
_
+
_
n1
1
_
= n, n 9.
Por Gilbert-Varshamov, existe un [9, 5, 3]-cdigo. Cmo podemos construirlo? Por
ejemplo, podemos tomar la matriz
H =
_
0 0 0 0 0 0 0 1 1
0 0 0 1 1 1 1 0 0
0 1 1 0 0 1 1 0 0
1 0 1 0 1 0 1 0 1
_
y ( el cdigo con matriz de paridad H. Notar que al ir agregando las columnas
(1010)

, (1011)

, 1100

, (1101)

, (1110)

y (1111)

a H se obtienen cdigos con

parmetros [10, 6, 3], [11, 7, 3], [12, 8, 3], [13, 9, 3], [14, 10, 3] y [15, 11, 3] respectiva-
mente. De modo que con la misma capacidad correctora, se mejora la tasa de
informacin R = k/n. En la siguiente Seccin, llevaremos al mximo esta cons-
truccin.
20 RICARDO A. PODEST - 20-07-2012
3. CLASE 3: Familias famosas de cdigos lineales
3.1. Cdigos de Hamming. Vamos a utilizar el mtodo de la prueba de la cota
de Gilbert-Varshamov visto antes para producir cdigos, tomando la matriz H con
la mayor cantidad de columnas para cada r jo.
Consideremos la matriz
H =
_
_
0 0 0 1 1 1 1
0 1 1 0 0 1 1
1 0 1 0 1 0 1
_
_
M
37
(F
2
)
cuyas columnas son las 2
3
1 = 7 palabras no-nulas de F
3
2
, como la matriz de paridad
del cdigo
( = x F
7
2
: Hx

= 0.
Por la Proposicin 2.15, es fcil ver que ( es un [7, 4, 3]-cdigo.
La construccin anterior se puede hacer para todo r 2. Es decir, si formamos
la matriz H
r
cuyas columnas son las 2
r
1 palabras no-nulas de F
r
2
, tenemos una
matriz r n, con n = 2
r
1, en donde cualquier par de columnas son linealmen-
te independientes, pero hay 3 columnas linealmente dependientes. Luego, H es la
matriz de paridad de un cdigo lineal denotado por 1
2
(r) con parmetros
n = 2
r
1, k = n r = 2
r
r 1, d = 3.
Este es el llamado cdigo de Hamming binario de orden r. Por ejemplo, 1
2
(4)
tiene parmetros [15, 11, 3], luego codica 2
11
= 2048 mensajes y corrige 1 error.
Generalizamos los cdigos de Hamming binarios a cualquier cuerpo nito F
q
. Para
cada r, queremos construir una matriz de paridad H
q,r
M
rn
(F
q
), con el mayor
nmero de columnas, de modo que cualquier par de columnas sean linealmente inde-
pendientes, pero que algn conjunto de tres columnas sea linealmente dependiente.
Tomamos todos los vectores en F
r
q
cuya primer coordenada no-nula es 1. En efecto,
hay q
r
1 vectores no-nulos y el primer elemento no-nulo puede ser 1, 2, . . . , q 1.
Luego, hay (q
r
1)/(q 1) vectores cuya primer coordenada no-nula comienza con
1. La matriz H
q,r
M
rn
(F
q
), con n = (q
r
1)/(q 1), se llama matriz de Hamming
de orden r y es la matriz de paridad del cdigo de Hamming q-ario de orden r
1
q
(r) = x F
n
q
: H
q,r
x

= 0
con parmetros
n =
q
r
1
q 1
, k = n r, d = 3.
Los cdigos 1
q
(r) fueron descubiertos independientemente por Marcel Golay
(1949) y por Richard Hamming (1950). Sus parmetros satisfacen la igualdad en
la cota de Hamming (1.8), en efecto
q
k
1

i=0
_
n
i
_
(q 1)
i
= q
k
(1 + n(q 1)) = q
k+r
= q
n
.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 21
Ejemplo 3.1. (i) El cdigo 1
3
(3) tiene parmetros [13, 10, 3] con matriz de paridad
H
3,3
=
_
_
0 0 0 0 1 1 1 1 1 1 1 1 1
0 1 1 1 0 0 0 1 1 1 2 2 2
1 0 1 2 0 1 2 0 1 2 0 1 2
_
_
.
(ii) El cdigo 1
5
(3) tiene parmetros [31, 28, 3] con matriz de paridad
H
5,3
=
_
0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4
1 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4
_
.
Observacin 3.2. La eleccin de las columnas en la construccin previa no es
nica y por lo tanto hay muchos cdigos de Hamming con los mismos parmetros.
Sin embargo, todos los cdigos de Hamming de igual tamao son equivalentes.
3.2. Cdigos Simplex. El cdigo simplex
q
(r) es el cdigo dual del cdigo
de Hamming 1
q
(r), para r 2. Luego
q
(r) tiene longitud n = (q
r
1)/(q 1) y
dimensin complementaria r. Una matriz generadora para
q
(r) es una matriz de
paridad para 1
q
(r), luego la matriz H
q,r
genera
q
(r). La llamamos G
q,r
cuando la
pensamos como la generadora de
q
(r).
Ejemplo 3.3. Veamos los simplex binarios
r
=
2
(r) con parmetros [2
r
1, r].
Para r = 2,
2
es un [3, 2, d
2
]-cdigo generado por
G
2
=
_
0 1 1
1 0 1
_
Luego

2
= (x, y)G
2
= (y, x, x + y) =
_
000
011
101
110
_
= c
3
y se ve d
2
= 2 = 2
21
.
Para r = 3,
3
es un [7, 3, d
3
]-cdigo generado por (las lneas son slo para
ayudar a distinguir el patrn)
G
3
=
_
_
000 1 111
011 0 011
101 0 101
_
_
=
_
_
000 1 111
G
2
0
0
G
2
_
_
Luego

3
= (x
3
, x
2
, x
2
+ x
3
, x
1
, x
1
+ x
3
, x
1
+ x
2
, x
1
+ x
2
+ x
3
)
o sea

3
=
_

_
000 0 000
011 0 011
101 0 101
110 0 110
000 1 111
011 1 100
101 1 010
110 1 001
_

_
=
_

2
0
2

2
1

2
_
de donde se ve que d
3
= 4 = 2
31
.
22 RICARDO A. PODEST - 20-07-2012
Inductivamente, se ve que podemos denir a
r+1
recursivamente, con matriz
generadora
G
r+1
=
_
0 0 1 1 1
G
r
0 G
r
_
(r + 1) (2n + 1).
Como n = 2
r
1 entonces 2n + 1 = 2(2
r
1) + 1 = 2
r+1
1 y por lo tanto

r+1
=
_

r
0
r

r
1

r
_
.
Notar que toda palabra es del mismo peso par, es decir w(c) = 2
r
para todo
c
r+1
.
En el caso general, no es difcil probar que d = q
r1
y por lo tanto tiene parmetros
[
q
r
1
q1
, r, q
r1
].
Ms an, para todo c
q
(r) no nulo, vale
w(c) = q
r1
.
O sea,
q
(r) es un ejemplo de cdigo de peso constante. En particular, el poli-
nomio enumerador de pesos (ver (2.1)) de
q
(r) es muy sencillo
W
q(r)
(s) = 1 + (q
r
1) s
q
r1
.
Notar que los cdigos simplex satisfacen la igualdad en la cota de Griesmer que
asegura que para todo [n, k, d]-cdigo q-ario se cumple
(3.1) n
k1

i=0
_
d
q
i
_
.
En efecto,
r1

i=0
_
q
r1
q
i
_
= q
r1
+ q
r2
+ + q + 1 =
q
r
1
q 1
= n.
3.3. Cdigos de Golay. Ahora presentamos los cdigos binarios (
24
, (
23
, y los
cdigos ternarios (
12
, (
11
introducidos por Marcel Golay en 1949.
El cdigo de Golay (
24
es el cdigo binario generado por
G = (I
12
[ A) M
1224
(F
2
),
donde
A =
_
_
_
_
_
_
_
_
_
_
_
_
_
_
0 1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 1 1 0 0 0 1 0
1 1 0 1 1 1 0 0 0 1 0 1
1 0 1 1 1 0 0 0 1 0 1 1
1 1 1 1 0 0 0 1 0 1 1 0
1 1 1 0 0 0 1 0 1 1 0 1
1 1 0 0 0 1 0 1 1 0 1 1
1 0 0 0 1 0 1 1 0 1 1 1
1 0 0 1 0 1 1 0 1 1 1 0
1 0 1 0 1 1 0 1 1 1 0 0
1 1 0 1 1 0 1 1 1 0 0 0
1 0 1 1 0 1 1 1 0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 23
TEOREMA 3.4. El cdigo de Golay (
24
tiene las siguientes propiedades.
(a) (
24
es autodual, es decir (

24
= (
24
.
(b) G
t
= (A[ I
12
) es matriz generadora de (
24
.
(c) 4 [ w(c) para todo c (
24
.
(d) A
4
((
24
) = 0.
(e) (
24
es un [24, 12, 8]-cdigo.
(f) (
24
tiene espectro simtrico con A
0
= A
24
= 1, A
8
= A
16
= 759, A
12
= 2576
y enumerador de pesos
W

24
(s) = 1 + 759s
8
+ 2576s
12
+ 759s
16
+ s
24
.
Demostracin. Sea G la matriz generadora de (
24
dada en (3.3).
(a) Como las las de G son mutuamente ortogonales, cada par de palabras-cdigo
en (
24
son ortogonales. Luego, (
24
(

24
. Pero, como dim(

24
= dim(
24
, entonces
(

24
= (
24
.
(b) Sigue de (a) y del hecho de que A

= A.
(c) Las las de G tienen peso 8 12, luego divisibles por 4. Si G
i
, G
j
son las de
G entonces, por (1.3), tenemos
w(G
i
+ G
j
) = w(G
i
) + w(G
j
) 2w(G
i
G
j
).
Pero w(G
i
G
j
) G
i
G
j
= 0 mod (2) y por lo tanto G
i
+G
j
tiene peso divisible por
4. Por induccin, el peso de la suma de cualquier nmero de las de G es mltiplo
de 4.
(d) Usaremos las matrices generadoras G
1
= (I
12
[ A) y G
2
= (A [ I
12
) de (
24
. Si
c (
24
escribimos c = c
L
c
R
dondee c
L
, c
R
F
12
2
son la parte izquierda y derecha de
c, respectivamente. Supongamos que w(c) = 4. Notar que toda combinacin lineal
de las de G
1
tiene parte izquierda con peso > 1. Similarmente, usando G
2
, la parte
derecha tiene peso > 1. Luego, w(c
L
) 1 y w(c
R
) 1. Ahor, si w(c
L
) = 1, entonces
c es una la de G y por lo tanto w(c) ,= 4. Luego, w(c
L
) 2 y, anlogamente,
w(c
R
) 2. De este modo, la nica posibilidad es w(c
L
) = w(c
R
) = 2. Luego, c es la
suma de 2 las x e y de G
1
. Esto es absurdo, pues w(x + y) ,= 4 para todo par de
las x, y de G
1
. As, (
24
no tiene palabras de peso 4.
(e) Por (c) y (d) tenemos w

24
8, y la segunda la de G tiene peso 8, luego
d

24
= 8.
(f) Como (
24
= (

24
el espectro es simtrico. Por (c) y (d) tenemos A
0
= A
24
= 1
y los nicos A
i
s que pueden ser no nulos son A
8
= A
16
y A
12
. Para calcular A
8
y
A
12
notemos que el enumerador de pesos homogneo de (
24
es
(3.2) W

24
(x, y) = y
24
+ A
8
x
8
y
16
+ A
12
x
12
y
12
+ A
16
x
16
y
8
+ x
24
.
Ahora, usando (2.5) y el hecho que (
24
es autodual tenemos
W

24
(x, y) =
1
2
12
W

24
_
y x, y + x
_
Ahora,
W

24
_
y x, y + x
_
= z
24
+ A
8
w
8
z
16
+ A
12
w
12
z
12
+ A
8
w
16
z
8
+ z
24
24 RICARDO A. PODEST - 20-07-2012
con w = yx y z = y+x. Expandiendo esta ltima expresin e igualando coecientes
en (3.2) se obtiene que A
8
= 59 y A
16
= 2576.
Pinchando (
24
en la ltima coordenada se obtiene el cdigo de Golay pinchado
(
23
= (

24
, con parmetros [23, 12, 7]. Este cdigo satisface la igualdad en la cota de
Hamming (1.9)
3

i=0
_
n
i
_
=
_
23
0
_
+
_
23
1
_
+
_
23
2
_
+
_
23
3
_
= 1 + 23 + 23 11 + 23 11 7
= 1 + 23(1 + 11 + 77) = 1 + 23 89 = 2048 = 2
11
= 2
2312
.
El cdigo de Golay ternario (
12
est denido por la matriz generadora
(3.3) G = (I
6
[ B) M
612
(F
3
), B =
_
0 1 1 1 1 1
1 0 1 2 2 1
1 1 0 1 2 2
1 2 1 0 1 2
1 2 2 1 0 1
1 1 2 2 1 0
_
.
Pinchando (
12
en la ltima coordenada se obtiene el cdigo de Golay ternario
pinchado (
11
= (

12
.
Proposicin 3.5. Los cdigos ternarios de Golay satisfacen lo siguiente.
(a) (

12
= (
12
.
(b) B es simtrica y (
12
tambin est generado por G
t
= (B[ I
6
).
(c) (
12
es un [12, 6, 6]
3
-cdigo.
(d) (
11
es un [11, 6, 5]
3
-cdigo que satisface la igualdad en la cota de Hamming.
(e) (
11
y (
12
satisfacen la igualdad en la cota de Griesmer.
Demostracin. Procediendo como antes, sale (a), (b) y (c). Para (d),
2

i=0
_
n
i
_
2
i
= 1 +
_
11
1
_
2 +
_
11
2
_
2
2
= 1 + 22 + 11 5 4 = 243 = 3
5
= 3
116
.
y vale la igualdad en (1.8). Para (e), tenemos para (
11
5

i=0
,
5
3
i
| = ,
5
3
0
| +,
5
3
1
| +,
5
3
2
| +,
5
3
3
| +,
5
3
4
| +,
5
3
5
| = 5 + 2 + 1 + 1 + 1 + 1 = 11,
y para (
12
5

i=0
,
6
3
i
| = ,
6
3
0
| +,
6
3
1
| +,
6
3
2
| +,
6
3
3
| +,
6
3
4
| +,
6
3
5
| = 6 + 2 + 1 + 1 + 1 + 1 = 12,
y por lo tanto vale el igual en (3.1).
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 25
4. CLASE 4: Diseos combinatorios y cdigos perfectos
4.1. Diseos. Una estructura de incidencia nita (EIF) es una tripla o =
(T, B, J) donde T y B son conjuntos e J T B. A los elementos de T se los llama
puntos y a los elementos de B se los llama bloques. Si (p, B) J decimos que p
es incidente con B (y recprocamente), que p yace en B o que B contiene a p.
Ejemplo 4.1. Sea T = X un conjunto cualquiera, B T(X) (o sea B X) y
denimos la relacin de incidencia por
(p, B) I p B.
Denicin 4.2. Una estructura de incidencia T = (T, B, J) es un t (v, k, )
diseo, con t, v, k, N, si
[T[ = v,
todo bloque contiene exactamente a k puntos,
todo conjunto de t puntos distintos es incidente con exactamente bloques.
Ejemplo 4.3. El par (X, T(X)) del Ejemplo 4.1 resulta un t (v, k, ) diseo si
[X[ = v, B T
k
(X) = B X : [B[ = k y para todo T T con [T[ = t se tiene
#B B : T B = .
TIPOS DE DISEOS.
Bsicos generales.
Un 1-diseo se suele llamar conguracin tctica. Notar que en el caso
especial t = = 1, tenemos una particin de T en subconjuntos de cardinal
k. Un 2-diseo con k < v se dice BIBD (balanced incomplete block design).
Si k = 2, un t (v, 2, ) diseo es un grafo G = (V, E) (no dirigido, sin
lazos), donde T = V son los vrtices y B = E son los lados. Si t 1 el grafo
resulta regular (y por lo tanto conexo). De hecho, resulta r-regular, donde r
es el llamado nmero de rplica (replication number). Tal r es el nmero
de bloques incidentes con un punto p T. Veremos que r no depende de p.
Si t = 2, entonces T es el grafo completo K
v
.
Sistemas de Steiner.
Un t (v, k, 1) diseo es un sistema de Steiner usualmente denotado opr
S(t, k, v). Es una coleccin de k-subconjuntos de un v-conjunto (los bloques)
tal que todo t-subconjunto est en exactamente 1 bloque.
Un (sistema) triple de Steiner es un sistema de Steiner con v = 2 y k = 3,
o sea S(2, 3, v). O sea, es una coleccin de triplas tal que todo par de puntos
est en exactamente una tripla.
Planos proyectivos.
Un 2 (v, k, 1) diseo es un plano proyectivo nito. Notar que es tanto un
BIBD con = 1 como un sistema de Steiner S(2, k, v). Los k-subconjuntos
son las lneas y todo par de puntos est en exactamente 1 lnea.
26 RICARDO A. PODEST - 20-07-2012
Se puede probar que todo 2 (v, k, 1) diseo es un triple de Steiner S(2, n +
1, n
2
+ n + 1) y se lo llama plano proyectivo de orden n.
Hay un resultado que asegura que existe un S(2, 3, v) si y slo si v 1 3 (6).
Ejemplo 4.4. Sea P = 1, 2, 3, 4, 5, 6, 7 y
B =
_
1, 2, 3, 1, 4, 5, 1, 6, 7, 2, 4, 7, 2, 5, 6, 3, 5, 7, 3, 4, 6
_
Notar que hay 7 puntos, 7 bloques, todo bloque tiene 3 puntos y cada par de puntos
est en exactamente 1 bloque. Luego, es un 2(7, 3, 1) diseo. Es un plano proyectivo
conocido como el plano de Fano PG(2, 7) y se lo puede representar de la siguiente
manera
Notar tambin que cada punto est en exactamente 3 bloques, por lo que tambin
es un 1 (7, 3, 3) diseo.
Ejemplo 4.5. Sea T = (i, j) : 1 i, j 4. Para cada (i, j) T denimos
el bloque B
ij
conteniendo a los 6 puntos de la la y columna que pasan por (i, j)
distintos de (i, j), es decir
B
ij
= (i, k) : k ,= j (k, j) : k ,= i
Luego, [T[ = [B[ = 16.
Por ejemplo, B
22
= (1, 2), (3, 2), (4, 2), (2, 1), (2, 3), (2, 4) se representa por




si pensamos al (1, 1) abajo a la izquierda.
Todo par de puntos es incidente con exactamente 2 bloques. Los puntos (i, j) y
(k, l) pertenecen a B
jk
y B
kj
. Luego, (T, B) es un 2 (16, 6, 2) diseo. Adems, es
un 1 (16, 6, 6) diseo.
Observar que una contruccin similar como matriz n n con n ,= 4 slo dara
un 1-diseo pero no un 2-diseo. Por ejemplo, los puntos (1, 1) y (1, 2) en el diseo
3 3 slo estn en el bloque B
13



Lo mismo sucede para cualquier par de puntos (i, j), (k, l) en el caso general n n,
n ,= 4.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 27
Ejemplo 4.6. Sea K
6
= (V, E) el grafo completo de 6 vrtices
Sea T el conjunto de lados de K
6
ms un lado adicional que llamamos , o sea
T = E .
Los bloques que contienen a constan de y los 5 lados de las 5-garras
Luego, hay 6 bloques que contienen a . Los bloques que no contienen a son
los subgrafos de K
6
formados por 2 tringulos disjuntos, como por ejemplo
Luego, jado un vrtice, hay
_
5
2
_
= 10 formas de elegir 2 vrtices de los 5 que
quedan para armar un tringulo. As, hay 10 bloques que no contienen a .
Notar que dos lados cualquiera de K
6
estn en exactamente 2 bloques (en la
5-garra y en los 2 tringulos disjuntos). Esto da un 2 (16, 6, 2) diseo.
Sorprendentemente, este diseo es esencialmente el mismo que el anterior (no
daremos la nocion de isomorsmo).
Sea T = (T, B) un t (v, k, ) diseo. Para cada s con 0 s t, denimos el
nmero
s
como el nmero de bloques incidentes con s puntos. Este nmero est
bien denido en el sentido que no depende de los s puntos elegidos.
TEOREMA 4.7. Sea T = (T, B) un t(v, k, ) diseo. Para cada s con 0 s t,

s
est dado por
(4.1)
s
=
_
vs
ts
_
_
ks
ts
_ =
(v s)(v s 1) (v t + 1)
(k s)(k s 1) (k t + 1)
En particular, T es un s (v, k,
s
) diseo para todo 1 s t.
Demostracin. Sea A un s-subconjunto de T y supongamos que

s
= #B B : A B.
28 RICARDO A. PODEST - 20-07-2012
Veamos que
s
no depende de A. Contemos el nmero de pares (D, B) con D un
t-subconjunto de T y A D B, con B un bloque.
Hay
_
vs
ts
_
formas de elegir D A y hay bloques B que contienen a D. Por otro
lado hay
s
bloques B A y
_
ks
vs
_
formas de elegir D.
Luego,

_
v s
t s
_
=
s
_
k s
t s
_
de donde se ve que
s
no depende de s. Adems, todo t (v, k, ) diseo es un
s (v, k,
s
) diseo para todo 0 s t.
Corolario 4.8. Sea T = (T, B) un t (v, k, ) diseo y r el nmero de bloques que
contienen a un punto dado en T.
(a) Todo punto de T est contenido en r bloques con
r =
1
=
_
v1
t1
_
_
k1
t1
_
(b) T tiene b bloques con
b =
0
=
_
v
t
_
_
k
t
_
(c) Para 0 s t 1,
s
se obtiene recursivamente de

s
=
(v s)
(k s)

s+1
(d) Los parmetros satisfacen
rv = bk
y para t = 2,
r(k 1) = (v 1).
Demostracin. (a) y (b) salen tomando s = 1 y s = 0, respectivamente. Para (c),
por (4.1) tenemos
=
_
ks
ts
_
_
vs
ts
_
s
=
_
k(s+1)
t(s+1)
_
_
v(s+1)
t(s+1)
_
s+1
de donde sale (k s)
s
= (v s)
s+1
. Para ver (d), por la recursin
b =
0
=
v s
k s

1
=
v s
k s
r.
si s = 0 entonces bk = vr y si s = 1, t = 2 entonces b(k 1) = (v 1).
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 29
4.2. Cdigos perfectos. Un cdigo ( /
n
se dice perfecto si existe un r 0
tal que las bolas de radio r centradas en las palabras cdigos son todas disjuntas
entre s y cubren todo el espacio, es decir
F
n
q
=

_
c(
B(c, r).
En otras palabras, las bolas centradas en palabras cdigo empaquetan el espacio.
Ejemplo 4.9. Sean A = F
n
q
y O = 0 A los cdigos triviales. O y A son
perfectos pues
A =
_
x.
x =
_
x.
B(x, 0), A = B(0, n) =
_
0C
B(0, n).
Ejemplo 4.10. Consideremos el [7, 4, 3]-cdigo de Hamming (1.7) del Ejemplo 1.7.
Como d = 3 = 2 1 +1, las bolas de radio r = 1, centradas en palabras cdigos, son
todas disjuntas. Ahora,
[1
2
(3)[ = 16, [B(c, 1)[ = 1 +
_
7
1
_
= 8, [F
7
2
[ = 2
7
.
Como 16 8 = 2
7
, deducimos que las bolas B(c, 1), con c 1
2
(3), cubren todo F
7
2
.
Luego, 1
2
(3) es un cdigo perfecto.
El siguiente resultado, que asegura que un cdigo es perfecto si y slo si la distancia
es impar y se alcanza la igualdad en la cota de Hamming (1.8), se conoce con el
nombre de condicin de empaquetamiento de esferas.
Proposicin 4.11. Un (n, M, d)
q
-cdigo ( es perfecto si y slo si d = 2t + 1 y
(4.2) M
t

k=0
_
n
k
_
(q 1)
k
= q
n
.
Demostracin. Si vale (4.2) para un (n, M, 2t +1)-cdigo, como las esferas de radio
t son disjuntas y cubren todo F
n
q
, entonces ( es perfecto.
Recprocamente, supongamos que ( es perfecto. Si d = 2t + 2 es par, las esferas
de radio r t son disjuntas pero no cubren F
n
q
. Por otra parte, las esferas de radio
r = t + 1 cubren F
n
q
pero no son disjuntas. Luego d = 2t + 1 es impar. Las esferas
de radio t son disjuntas y cubren F
n
q
, luego se cumple la igualdad en (1.8) y, por lo
tanto, vale (4.2).
Notar que las siguientes familias de parmetros (n, M = q
s
, d) satisfacen (4.2):
(a) (n, q
n
, 1), n 1,
(b) (n, 1, 2n + 1), n 1,
(c) (2m + 1, 2, 2m + 1), m 0,
(d) (
q
r
1
q1
, q
nr
, 3), r 2,
(e) (23, 2
12
, 7),
(f) (11, 3
6
, 5),
(g) (90, 2
78
, 5).
30 RICARDO A. PODEST - 20-07-2012
Los parmetros en (a) corresponden al cdigo /
n
con [/[ = q, y los de (c) al
cdigo de repeticin binario de longitud impar 1
2
(2m+1). Para el cdigo trivial de
longitud n, 0
n
, la distancia no est denida. Si convenimos es tomar d = 2n + 1,
entonces los parmetros en (b) corresponden a 0
n
. Estos son los llamados cdigos
perfectos triviales.
Los cdigos de Hamming 1
q
(r) y los cdigos de Golay pinchados (
23
y (
11
, tienen
los parmetros dados en (d), (e) y (f), respectivamente. Luego, hay cdigos perfectos
no-triviales; sin embargo, estos son todos lineales.
Veamos los parmetros en (g). Tenemos,
2

k=0
_
90
k
_
= 1 + 90 +
_
90
2
_
= 1 + 90 + 45 89 = 4096 = 2
12
,
y como 2
78
2
12
= 2
90
, y por lo tanto vale (4.2).
Pregunta 4.12. Existen cdigos binarios perfectos con parmetros (90, 2
78
, 5)?
Durante algn tiempo se conjetur que los nicos cdigos perfectos no triviales
eran los de Hamming y los de Golay. Veamos que existen cdigos perfectos (binarios)
no-lineales
Ejemplo 4.13 (Vasiliev, 1962). Sea : 1
2
(r) Z
2
un mapa no lineal con (0) = 0.
Luego, existen c
1
, c
2
1
2
(r) tales que (c
1
+c
2
) ,= (c
1
) +(c
2
). Para cada x Z
n
2
,
sea (x) = 0, si x tiene peso par, y (x) = 1, si x tiene peso impar. Consideremos el
cdigo
1 = (x, x + c, (x) + (c)) : x Z
n
2
, c 1
2
(r),
donde n = 2
r
1. Dejamos como ejercicio chequear que 1 es un cdigo binario
no-lineal perfecto, con los parmetros de Hamming (2
r+1
1, 2
2nr
, 3).
Los cdigos perfectos resultan muy interesantes por la gran simetra con que
se encuentran distribudas las palabras cdigos. Surge naturalmente la siguiente
inquietud:
Pregunta 4.14. Estn clasicados los cdigos perfectos?
No por el momento, aunque existen resultados parciales para cdigos sobre alfa-
betos cuyo cardinal es potencia de un primo. Veremos la respuesta en la prxima
seccin.
4.3. Cdigos binarios perfectos y diseos.
Nos restringiremos al caso binario. Dados x, y F
n
2
, el soporte de x es
sop x = 1 i n : x
i
,= 0
y decimos que x cubre a y si sop y sop x. Notar que sop 0 sop x sop 1 para
todo x. Por ejemplo, x = 01101 tiene soporte 2, 3, 5 y cubre a y = 01100.
Recordemos que, si ( es un cdigo binario de longitud n, S

es el conjunto de
palabras de ( de peso , es decir
S

= c ( : w(c) = , [S

[ = A

.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 31
Decimos que S

satisface un t (n, , ) diseo si el conjunto de soportes de

palabras en S

,
sop c : c S

,
es el conjunto B de bloques de un t (n, , ) diseo. Es decir, si para cada conjunto
T 1, . . . , n con [T[ = t existen exactamente palabras cdigo de peso con 1s
en las coordenadas indexadas por T.
TEOREMA 4.15. Sea ( un (n, M, d = 2t+1)-cdigo binario perfecto. Entonces, el
conjunto de palabras de peso mnimo S
d
satisface un t +1 (n, d, 1) diseo, es decir
un sistema de Steiner S(t+1, d, n). En otras palabras, para todo T = j
1
, . . . , j
t+1

1, . . . , n existe un nico c ( con w(c) = d y T sop c.
Demostracin. Como ( es perfecto, las bolas B(c, t), c (, son disjuntas y cubren
F
n
2
. Sea x F
n
2
con w(x) = t + 1. Luego, x , C y x B(c, t) para un nico c (.
Luego, d(x, c) t y
w(c) d(c, x) + d(x, 0) t + t + 1 = d
de donde c S
d
.
Como w(x) = t + 1, w(c) = 2t + 1 y d(x, c) t, tenemos
2w(x c) = w(x) + w(c) d(x, c) 2t + 2.
Luego, w(x c) t + 1 = w(x) entonces sop c sop x c sop x. Tomando
T = sop x sale lo buscado.
Corolario 4.16. Sea ( un (n, M, d = 2t + 1)-cdigo binario perfecto. Entonces
A
d
=
_
n
t+1
_
_
d
t+1
_ Z
Demostracin. Por Corolario 4.8 y Teorema 4.15, S
d
satisface un sistema de Steiner
S(t + 1, d, n), o sea un t + 1 (n, d, 1) diseo T. Luego,
A
d
= [S
d
[ = nmero de bloques de T = b =
_
n
t+1
_
/
_
d
t+1
_
como queramos ver.
Corolario 4.17. Sea ( un (n, M, d = 2t + 1)-cdigo binario perfecto. Entonces

s
=
_
ns
t+1s
_
_
2t+1s
t+1s
_ Z, 1 s t.
Demostracin. Sale por los Teoremas 4.15 y 4.7.
Ejemplo 4.18. (i) Sabemos que los cdigos de Hamming binarios 1
2
(r) son per-
fectos con n = 2
r
1, d = 3 y t = 1. Luego, S
3
satisface un sistema de Steiner
S(t + 1, d, n), o sea un S(2, 3, 2
r
1). El nmero de palabras de peso mnimo es
A
3
=
_
2
r
1
2
_
_
3
2
_ =
1
3
(2
r
1)(2
r1
1).
Por ejemplo, para el [7, 4, 3] codigo de Hamming, A
3
=
_
7
2
_
/3 = 7, que ya sabamos.
32 RICARDO A. PODEST - 20-07-2012
(ii) El cdigo binario de Golay (
23
es perfecto con parmetros (23, 2
12
, 7). Luego,
S
7
satisface un sistema de Steiner S(4, 7, 23). El nmero de palabras de peso mnimo
es
A
7
=
_
23
4
_
_
7
4
_ = 23 11 = 253.
Observacin 4.19. Es importante notar que la existencia de nmeros n, M y t
que satisfagan (4.2) no implica la existencia de un cdigo perfecto con parmetros
(n, M, 2t+1). Por ejemplo, vimos que los nmeros n = 90, M = 2
78
y t = 2 satisfacen
la condicin del empaquetamiento de esferas (4.2) para q = 2.
Si existiera un (90, 2
78
, 5)-cdigo binario perfecto, entonces los nmeros

s
=
_
ns
t+1s
_
_
2t+1s
t+1s
_
deberan ser naturales para s = 1, 2. Sin embargo,

1
=
_
89
2
_
_
4
2
_ =
4005
6
=
1335
2
, N y
2
=
_
88
1
_
_
3
1
_ =
88
3
, N.
Luego, no existe un (90, 2
78
, 5)-cdigo binario perfecto, respondiendo as negativa-
mente a la Pregunta 4.12.
5. CLASE 5: Polinomios de Krawtchouk y cdigos
5.1. Polinomios de Krawtchouk binarios. Recordemos que si n, k N
0
, el
nmero
_
n
k
_
cuenta el cantidad de formas de elegir k elementos de un total de n. Por
denicin se tiene que
_
n
0
_
=
_
n
n
_
= 1,
_
n
1
_
= n y vale
_
n
k
_
=
_
n
nk
_
. En general, para
0 k n, este nmero esta dado por
_
n
k
_
=
n!
k!(n k)!
=
n(n 1) (n k + 1)
k!
Z,
y se extiende la denicin a todo n, k N
0
poniendo
_
0
0
_
= 1 y
_
n
k
_
= 0 si k > n.
Usando la frmula de arriba, podemos generalizar el nmero combinatorio para todo
x R, k N
0
, poniendo
_
x
k
_
=
x(x 1) (x k + 1)
k!
para 1 k x y
_
x
0
_
= 1,
_
x
k
_
= 0 si k > x. Notar que, si pensamos a x como una
variable,
_
x
k
_
es un polinomio en x de grado k en Q[x].
Denicin 5.1. Para k, n N
0
, el k-simo polinomio de Krawtchouk binario
de orden n es
(5.1) K
n
k
(x) =
k

t=0
(1)
t
_
x
t
__
n x
k t
_
.
Notar que K
n
k
(x) Q[x], es de grado k, y toma valores enteros en Z, es decir
K
n
k
(j) Z, j Z.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 33
Veamos una interpretacin combinatoria. Sea I = I
n
= 1, 2, . . . , n y sea J I
un subconjunto con [J[ = j. Denamos el nmero
(5.2) K
k,j,n
:=

KI
[K[=k
(1)
[JK[
.
Este nmero coincide con evaluar polinomios binarios de Krawtchouk en enteros.
Ms precisamente, K
k,j,n
= K
n
k
(j). En efecto,
K
k,j,n
=

KI
[K[=k
(1)
[JK[
=
k

t=0
(1)
t

KI, [K[=k
[JK[=t
1 =
k

t=0
(1)
t
_
j
t
__
n j
k t
_
= K
n
k
(j) .
Es inmediato chequear que se tienen los siguientes valores iniciales:
K
n
k
(0) =
_
n
k
_
, K
n
k
(1) =
n2k
n
_
n
k
_
,
y similarmente
K
n
0
(x) = 1, K
n
1
(x) = n 2x,
K
n
2
(x) = 2x
2
2nx +
_
n
2
_
=
1
2
_
(n 2x)
2
n
_
, (5.3)
K
n
3
(x) =
1
6
(n 2x)
_
(n 2x)
2
3n + 2
_
.
Funcin generatriz. Los polinomios de Krawtchouk tienen a (1z)
x
(1+z)
nx
como
funcin generatriz.
Proposicin 5.2. Para todo n N, x R, vale

k=0
K
n
k
(x) z
k
= (1 z)
x
(1 + z)
nx
.
Demostracin. Aplicaremos la frmula de Taylor centrada en z = 0
f(z) =

k=0
f
(k)
(0)
k!
z
k
= T
0
f(z)
a las funciones f(z) = (1 z)
x
y g(z) = (1 + z)
nx
en (

(R). Las derivadas son

f
t
(z) = x(1 z)
x1
, g
t
(z) = (n x)(1 z)
nx1
, y en general
f
(k)
(z) = (1)
k
x(x 1) (x k + 1)(1 z)
xk
,
g
(k)
(z) = (n x)(n x 1) (n x k + 1)(1 + z)
nxk
.
Luego,
T
0
f(z) = 1 xz +
x(x1)
2
z
2
+ + (1)
j x(x1)(xj+1)
j!
z
j
+ =

j=0
(1)
j
_
x
j
_
z
j
,
T
0
g(z) = 1 + (n x)z + +
(nx)(nx1)(nx+1)
!
z

+ =

=0
_
nx

_
z

.
34 RICARDO A. PODEST - 20-07-2012
De este modo, tenemos
(1 z)
x
(1 + z)
nx
= f(z)g(z) = T
0
f(z)T
0
g(z) =

j,=0
(1)
j
_
x
j
__
nx

_
z
j+
=

k=0
_

j=0
(1)
j
_
x
j
__
nx
kj
_
_
z
k
=

k=0
K
n
k
(x)z
k
,
donde hemos usado el cambio de variable k = j + .
Simetra en los parmetros. Los parmetros de K
n
k
(x) cumplen las siguientes rela-
ciones de simetra:
(5.4)
_
n
j
_
K
n
k
(j) =
_
n
k
_
K
n
j
(k), j Z
0
.
Tomando j = n k es claro que
K
n
k
(n k) = K
n
nk
(k).
Por otra parte,
(5.5) K
n
k
(n x) =
k

t=0
(1)
t
_
nx
t
__
x
kt
_
= (1)
k
k

r=0
(1)
r
_
x
r
__
nx
kr
_
= (1)
k
K
n
k
(x),
donde hicimos el cambio de variable r = k t. Por ltimo, de (5.4) y (5.5) se tiene
(5.6) K
n
k
(j) = (1)
j
K
n
nk
(j), j Z, 0 j n.
En efecto,
K
n
nk
(j) =
_
n
nk
_
_
n
j
_ K
n
j
(n k) = (1)
j
_
n
nk
_
_
n
j
_ K
n
j
(k) = (1)
j
_
n
nk
_
_
n
j
_
_
n
j
_
_
n
k
_K
n
k
(j).
Observar que (5.5) implica que si n es par y k impar entonces
n
2
es una raz entera
de K
n
k
(x), es decir
(5.7) K
2m
2t+1
(m) = 0
para todo m > 0, t 0. Estos son llamados los ceros triviales.
Ortogonalidad y relaciones de recurrencia. Los polinomios K
n
k
(x)
n
k=0
forman una
familia nita de polinomios ortogonales discretos con respecto a la distribucin bi-
nomial (ver Proposicin 2.5 en [Po2]), es decir
n

j=0
_
n
j
_
K
n
k
(j)K
n

(j) =
k
_
n
k
_
2
n
,
n

j=0
K
n

(j)K
n
j
(k) =
k
2
n
,
donde es la funcin de Kronecker denida por
ij
= 1 si i = j y
ij
= 0 si i ,= j.
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 35
Por ser una familia de polinomios ortogonales, dichos polinomios satisfacen una
relacin de recurrencia de 3 trminos. Curiosamente lo hacen en cada uno de los 3
parmetros involucrados n, k y x:
(k + 1)K
n
k+1
(x) = (n 2x)K
n
k
(x) (n k + 1)K
n
k1
(x),
(n x)K
n
k
(x + 1) = (n 2k)K
n
k
(x) xK
n
k
(x 1),
(n k + 1)K
n+1
k
(x) = (3n 2k 2x + 1)K
n
k
(x) 2(n x)K
n1
k
(x),
donde la primera corresponde a la ortogonalidad de la familia. Existen muchas otras
relaciones similares.
5.2. Relacin con cdigos perfectos. El n-simo polinomio de Lloyd de
grado k se dene por
/
n
k
(x) :=
k

j=0
K
n
j
(x) = K
n
0
(x) + K
n
1
(x) + + K
n
k
(x).
Lema 5.3. El polinomio de Lloyd es un polinomio de Krawtchouk del mismo grado.
Ms precisamente,
/
n
t
(x) = K
n1
t
(x 1).
Demostracin. Por la identidad de Pascal,
_
x
j
_
=
_
x1
j
_
+
_
x1
j1
_
, se tiene
k

j=0
(1)
j
_
x
j
__
nx
kj
_
=
k

j=0
(1)
j
_
x1
j
__
(n1)(x1)
kj
_
+
k1

j=1
(1)
j+1
_
x1
j
__
(n1)(x1)
kj
_
.
y por lo tanto
K
n
k
(x) = K
n1
k
(x 1) K
n1
k1
(x 1).
Usando esto y sumas telescpicas tenemos
/
n
k
(x) = K
n
0
(x) + K
n
1
(x) + K
n
2
(x) + + K
n
k
(x)
= 1 +
k

j=1
_
K
n1
j
(x 1) K
n1
j1
(x 1)
_
= K
n1
k
(x 1)
que es lo que se quera ver.
Para cdigos perfectos binarios tenemos el siguiente criterio.
TEOREMA 5.4 (Lloyd 57). Si ( es un cdigo binario perfecto t-corrector entonces
el polinomio de Lloyd
/
n
t
(x) = K
n1
t
(x 1)
de grado t tiene t races enteras distintas en 1, 2, . . . , n.
Poco se sabe en general de los ceros de los polinomios de Krawtchouk. En el
caso binario, existen familias innitas de ceros enteros y hay condiciones para la no
existencia de dichos ceros. Sin embargo, un cero entero tpico, arbitrario, es bastante
escaso y de hecho stos son espordicos (para ms informacin sobre los ceros enteros
consultar [Po2]). Como consecuencia, es de esperar que no hayas muchos cdigos
36 RICARDO A. PODEST - 20-07-2012
binarios perfectos t-correctores, al menos para t grande, ya que un mismo polinomio
de Krawtchouk debera tener t ceros enteros, lo cual parece muy difcil.
Con este resultado se pudo completar la lista de cdigos perfectos binarios t-
correctores de longitud n.
cdigo notacin n k d t
nulo O = 0 n 0
trivial A = F
n
2
n n 1 0
Hamming 1
2
(r) 2
r
1 2
r
r 1 3 1
Golay (
23
23 12 7 3
Repeticin 1
2
(n) 2t + 1 1 2t + 1 t
En este caso no hay sorpresas, son los triviales, el de repeticin, los cdigos binarios
de Hamming y el cdigo de Golay binario. Notar que todos son lineales, luego de
dimensin k.
Veamos cuales son los polinomios de Lloyd asociados a cada cdigo perfecto de la
lista previa y sus respectivas races predichas por el Teorema 5.4. Usaremos (5.3).
Para A = F
n
2
, el polinomio asociado es
/
.
= /
n
0
(x) = K
n1
0
(x 1) = 1
que no tiene races (0 races en 1, 2, . . . , n).
Para los cdigos de Hamming tenemos
/
7
2
(r)
= /
n
1
(x) = K
2
r
2
1
(x 1) = 2
r
2 2(x 1) = 2
r
2x
con raz 2
r1
1, 2, . . . , 2
r
1.
Para el Golay tenemos
/

23
= /
23
3
(x) = K
22
3
(x 1) =
1
6
(24 2x)(24 2x)
2
64
con races 8, 12, 16 1, 2, . . . , 23.
Finalmente, para el cdigo de repeticin tenemos
/
1
2
(2t+1)
= /
2t+1
t
(x) = K
2t
t
(x 1) =
t

j=0
(1)
j
_
x1
j
__
2tx+1
2ti
_
.
Por (5.7) y las relaciones de simetra (5.4)(5.6), los ceros de este polinomio son los
nmeros pares 2, 4, . . . , 2t 1, 2, . . . , 2t + 1.
Notar que en todos los casos las races estn simtricamente distribuidas en los
intervalos correspondientes, y siempre una es la de la mitad del intervalo.
La situacin para el caso general es ms complicada. Slo estn clasicados los
cdigos perfectos (lineales o no) sobre alfabetos de cardinal q = p
r
, con p primo y
r N. El caso arbitrario es un problema an hoy abierto. El siguiente resultado
fue probado por Tietvinen (1973), siguiendo grandes contribuciones de van Lint,
e independientemente tambin por Zinovev y Leontev (1973).
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 37
TEOREMA 5.5 (Clasicacin parcial de los cdigos perfectos q-arios). Si ( un
cdigo perfecto no-trivial q-ario, donde q es potencia de un primo, entonces ( tiene
los mismos parmetros que un cdigo de Hamming o de Golay. Es decir, si ( es un
(n, M, d)
q
-cdigo entonces (n, M, d) es una de los siguientes ternas
(
q
r
1
q1
, q
nr
, 3), (23, 2
12
, 7) (11, 3
6
, 5).
Ms an,
(a) Si ( tiene los parmetros de Golay, es equivalente al correspondiente cdigo
de Golay.
(b) Si ( es lineal y tiene los parmetros de Hamming, entonces es equivalente al
cdigo de Hamming correspondiente.
Observacin 5.6 (Problemas abiertos). Queda sin resolver el problema general, es
decir la clasicacin de los cdigos perfectos sobre alfabetos de cardinal q arbitrario.
Otro problema, por (b) del Teorema 5.5, es encontrar todos los cdigos perfectos
no-lineales q-arios, con q potencia de un primo.
5.3. Relacin con espectro. La funcin generatriz nos permite generalizar y
denir los polinomios q-arios de Krawtchouk, donde q es cualquier entero 2,
mediante la funcin generatriz

k=0
K
n,q
k
(x) z
k
= (1 z)
x
(1 + (q 1)z)
nx
.
En este caso se obtiene la expresin
(5.8) K
n,q
k
(x) =
k

t=0
(1)
t
(q 1)
kt
_
x
t
__
nx
kt
_
.
Notar que K
n,2
k
(x) = K
n
k
(x). En particular, si x = Z entonces
(5.9)
n

j=0
K
n,q
j
() s
j
= (1 s)

(1 + (q 1)s)
n
.
Identidades de MacWilliams. Recordemos que tenemos los enumeradores de pesos
W
(
(s) =

n
k=0
A
k
s
k
y W
(
(s) =

n
k=0
A

k
s
k
. Por la identidad de MacWilliams (2.4)
tenemos
n

k=0
A

k
s
k
= W
(
(s) =
1
[([
_
1 + (q 1)s
_
n
W
(
_
1s
1+(q1)s
_
=
1
[([
n

k=0
A
k
(1 s)
k
(1 + (q 1)s)
nk
=
1
[([
n

k=0
A
k
_

j=0
K
n,q
j
(k)s
j
_
=
1
[([
n

k=0
_
n

j=0
A
j
K
n,q
k
(j)
_
s
k
,
38 RICARDO A. PODEST - 20-07-2012
donde hemos usado (5.9). Igualando coecientes vemos que la identidad de MacWi-
lliams toma la siguiente expresin en trminos de polinomios de Krawtchouk
(5.10) A

k
=
1
[([
n

j=0
A
j
K
n,q
k
(j), 0 k n.
O sea, tenemos el sistema de n ecuaciones siguiente
A

0
=
1
[([
(A
0
+ A
1
+ + A
n
)
A

1
=
1
[([
(A
0
K
n,q
1
(0) + A
1
K
n,q
1
(1) + + A
n
K
n,q
1
(n))
.
.
.
A

n
=
1
[([
(A
0
K
n,q
n
(0) + A
1
K
n,q
n
(1) + + A
n
K
n,q
n
(n)).
Calculemos el espectro de los cdigos de Hamming.
Ejemplo 5.7. Sabemos que los cdigos de Hamming y los cdigos simplex son
duales entre s. Sea ( el [n, r, q
r1
]-cdigo
q
(r) y (

el [n, n r, 3]-cdigo 1
q
(r)
con n =
q
r
1
q1
. Sabemos que ( es un cdigo de peso constante, donde w(c) = q
r1
para todo c (, c ,= 0. Luego,
A
0
= 1, A
q
r1 = q
r
1,
y
A
i
= 0 para todo i ,= 0, i ,= q
r1
.
Por (5.10), para cada 0 j n, tenemos
A

j
=
1
q
r
n

i=0
A
i
K
n,q
j
(i) =
1
q
r
_
K
n,q
j
(0) + (q
r
1)K
n,q
j
(q
r1
)
_
.
Usando (5.8), esta expresin toma la forma
A

j
=
1
q
r
_
(q 1)
j
_
n
j
_
+ (q
r
1)
j

t=0
(1)
t
(q 1)
jt
_
q
r1
t
__
q
r2
++q
2
+q+1
jt
_
_
.
As, para cada r, estos valores pueden ser explcitamente calculados.
Ejercicio 5.8. Calcular el Spec 1
q
(r) para q = 2, 3 y r = 2, 3, 4.
Adems de las ya vistas, existen muchas versiones equivalentes de las identidades
de MacWilliams. Algunas de ellas son las siguientes.
Proposicin 5.9. Para cada t, 0 t n, valen las siguientes identidades:
nt

j=0
_
nj
t
_
A
j
= q
kt
t

j=0
_
nj
nt
_
A

j
, (5.11)
nt

j=0
_
j
t
_
A
j
= q
kt
t

j=0
(1)
j
_
nj
nt
_
(q 1)
tj
A

j
. (5.12)
ASPECTOS COMBINATORIOS DE LA TEORA DE CDIGOS 39
Demostracin. Para probar stas, cambiamos los roles de ( y (

y tenemos
(5.13)
n

i=0
A
i
s
i
= W
(
(s) =
1
q
nk
n

i=0
A

i
(1 s)
i
(1 + (q 1)s)
ni
Derivando r-veces y haciendo s = 1 se tiene
1
q
k
n

i=r
_
i
r
_
A
i
= q
r
r

i=0
(1)
i
_
ni
nr
_
(q 1)
ri
A

i
de donde sale (5.12).
Ahora, reemplazando s por s
1
y multiplicando (5.13) por s
n
tenemos
n

i=0
A
i
s
ni
=
1
q
nk
n

i=0
A

i
(s 1)
i
(s + q 1)
ni
.
Derivando r-veces y haciendo s = 1 se tiene
1
q
k
nr

i=0
_
ni
r
_
A
i
=
1
q
r
r

i=0
_
ni
nr
_
A

i
de donde sale (5.11).
Recordar que un cdigo es MDS si sus parmetros satisfacen la igualdad en la
cota de Singleton, es decir, si d = n k + 1.
TEOREMA 5.10. Si ( es un [n, k, d]-cdigo MDS entonces, para d i n vale
A
i
=
_
n
i
_
id

j=0
(1)
j
_
i
j
_
(q
i+1dj
1) =
_
n
i
_
(q 1)
id

j=0
(1)
j
_
i1
j
_
q
idj
.
En particular, A
d
= (q 1)
_
n
d
_
.
Demostracin. (Idea) Para 0 r n, usamos la expresin
1
q
k
nr

i=0
_
ni
r
_
A
i
=
1
q
r
r

i=0
_
ni
nr
_
A

i
.
Sabemos que
A
0
= 1, A
1
= = A
d1
= A
nk
= 0.
Como ( es MDS entonces (

es MDS (esto es un resultado conocido) con parmetros

[n, n k, d
t
]. Luego, d
t
= n (n k) + 1 = k + 1 y
A

0
= 1, A

1
= = A

1
= A

k=nd+1
= 0.
As, para r k se tiene
_
n
r
_
+
nr

i=nk+1=d
_
ni
r
_
A
i
= q
kr
_
n
nr
_
A

0
40 RICARDO A. PODEST - 20-07-2012
por lo tanto
nr

i=nk+1=d
_
ni
r
_
A
i
=
_
n
r
_
(q
kr
1)
para 0 r k 1.
Resolviendo este sistema triangular de k = nd+1 ecuaciones se pueden despejar
todos los A
i
y se obtiene el resultado buscado.
Referencias
[AK] E. F. Assmus Jr, J. D. Key, Designs and Their Codes, Cambridge University Press, Cam-
bridge Tracts in Mathematics 103, (1992).
[CL] P. J. Cameron, J. H. van Lint, Designs, Graphs, Codes and their Links, Cambridge Uni-
versity Press, London Mathematical Society Student Texts 22, (1991).
[Hi] Raymond Hill, A First Course in Coding Theory, Clarendon Press, Oxford Applied Mat-
hematics and Computing Sicence Series, (1986).
[HP] W. Cary Human, Vera Pless, Fundamentals of Error-Correcting Codes. Cambridge Uni-
versity Press, (2003).
[Po] Ricardo Podest, Introduccin a la Teora de Cdigos Autocorrectores. Notas del curso dado
en elENA III, Vaqueras, 8/2006. Trabajos de Matemtica de FaMAF, Serie C 2006/35,
50 pgs. Disponible en www.famaf.unc.edu.ar/publicaciones/documents/serie_
c/CMat35-3.pdf
[Po2] Ricardo Podest, Polinomios de Krawtchouk y aplicaciones. Notas del curso dado en la LXI
Reunin Anual de la UMA, Tucumn, 9/2011, 30 pgs. Disponible en www1.herrera.
unt.edu.ar/uma2011/pdf/uma2011_krawtchouk_corregido2011NOV15.pdf
[Ro] Steven Roman, Coding and Information Theory, Springer, Graduate Texts in Mat-
hematics 134, (1992).
FaMAF (UNC) CIEM (Conicet), Crdoba, Argentina.
E-mail address: podesta@famaf.unc.edu.ar