Facultad de Ciencias Naturales y Exactas

Universidad del Valle

CDIGOS CORRECTORES DE ERRORES Y COMBINATORIA

1
1

Carlos Alexis Gmez Ruiz

C
odigos correctores
de errores
Universidad
del Valley combinatoria

C
odigos correctores de errores y combinatoria
Recibido:Carlos
marzo 28,
2011 G
Aceptado:
mayo 25, 2011
Alexis
omez Ruiz
Universidad
del
Valle
C
odigos correctores
de errores
yRuiz
combinatoria
Carlos
Alexis
G
omez
Recibido: Marzo
28,
2011
Aceptado:
Mayo
23, 2011
Universidad del Valle
Carlos
Alexis
G
o
mez
Ruiz
Recibido: Marzo 28, 2011 Aceptado: Mayo 23, 2011

Pg. 51-61

Resumen
Universidad del Valle
Con los trabajos de R. L. Graham y N. J. A. Sloane [2], se obtuvo una relaci
on entre los
ResumenRecibido: Marzo 28, 2011 Aceptado: Mayo 23, 2011
umeros Aditiva y los c
odigos binarios de peso constante. Recientemente,
conjuntos Sh de la Teora de N
Con los trabajos de R. L. Graham y N. J. A. Sloane [2], se obtuvo una relaci
on entre los
H. Derksen [3] extendi
o las ideas de Graham y Sloane a c
odigos binarios en general, presentando nuevas
umeros Aditiva y los c
odigos binarios de peso constante. Recientemente,
conjuntosResumen
Sh de la Teora de N
cotas inferiores para el m
aximo tama
no de los c
odigos binarios obtenidos. En este documento se dar
a esH. Derksen
[3] extendi
o las ideas
c
odigos
binarios
general,
nuevas
Con
los trabajos
de R.deL.Graham
Grahamy Sloane
y N. J.a A.
Sloane
[2], se en
obtuvo
unapresentando
relaci
on entre
los
encialmente una demostraci
on formal de una propiedad combinatoria que H. Derksen requiri
o y que
la Teor
aaximo
de N
utama
meros
y
los c
obinarios
digos binarios
de peso
constante.
Recientemente,
conjuntos
Sh depara
cotas inferiores
el m
noAditiva
de los c
odigos
obtenidos.
En este
documento
se dar
a esdetermin
o
de
manera
heur
stica.
H. Derksen [3]
extendi
o las ideas
de Graham
y Sloane
a c
odigos
binarios que
en general,
presentando
encialmente
una
demostraci
on formal
de una
propiedad
combinatoria
H. Derksen
requiri
onuevas
y que
cotas
inferiores
para elheur
m
aximo
tama
no de los c
odigos binarios obtenidos. En este documento se dar
a esdetermin
o
de
manera
stica.
Palabras claves: C
odigos binarios y cotas inferiores para A(n, d).
encialmente una demostraci
on formal de una propiedad combinatoria que H. Derksen requiri
o y que
determin
o claves:
de manera
heurstica.
Palabras
C
odigos
binarios y cotas inferiores para A(n, d).

Abstract

PalabrasWith
claves:
odigos
y cotasand
inferiores
A(n,
d).we found a relationship between the
theC
work
bybinarios
R. L. Graham
N. J. A.para
Sloane
[2],

Abstract
Sh sequences of the Additive Number Theory and the binary codes of constant weight. Recently, H.
With the work by R. L. Graham and N. J. A. Sloane [2], we found a relationship between the
Abstract
Derksen
[3]
extended
the
ideas Number
of Graham
and Sloane
to binary
binary codes
codes of
in constant
general, presenting
new lower
of
the
Additive
Theory
and
the
weight. Recently,
H.
S
h sequences
With
the
work
bysize
R. L.
Graham
and N.
J. A.
Sloane
[2],
we found
a relationship
between
the
bounds
for
the
maximum
of
binary
codes
obtained.
This
document
will
be
essentially
a formal
Derksen
[3]
extended
the
ideas
of
Graham
and
Sloane
to
binary
codes
in
general,
presenting
new
lower
sequences
of
the
Additive
Number
Theory
and
the
binary
codes
of
constant
weight.
Recently,
H.
S
h
proof
of for
a combinatorial
that H.codes
Derksen
required
anddocument
determined
heuristically.
bounds
the maximumproperty
size of binary
obtained.
This
will
be essentially a formal
Derksen [3] extended the ideas of Graham and Sloane to binary codes in general, presenting new lower
proof
of for
a combinatorial
that
H.codes
Derksen
required
anddocument
determined
heuristically.
bounds
the
maximum
size lower
of binary
obtained.
will
be essentially a formal
Keywords:
Binary
codesproperty
and
bounds
to A(n,
d). This
proof of a combinatorial property that H. Derksen required and determined heuristically.

Keywords: Binary codes and lower bounds to A(n, d).

Keywords: Binary codes and lower bounds to A(n, d).

1. Introduccion
Introducci
o
n
11.
1.Introduccin
Introducci
on
Los Codigos Correctores de Errores surgen de la necesidad de corregir errores
Los
C
oodigos
de
Errores
la
de
errores
en la
transmisi
de informaci
a travesurgen
s de unde
de comunicaci
on ruidoso.
Los
C
digosonCorrectores
Correctores
deon
Errores
surgen
decanal
la necesidad
necesidad
de corregir
corregir
errores
en la
n de
informaci
n a traveosndedata
un canal
comunicaci
onde
ruidoso.
Eltransmisi
inicio deola
teor
a de la oinformaci
del ande
o 1948
a partir
los traEl de
inicio
de laE.teor
a de laquien
informaci
ono data
del
anoA1948
a partir detheory
los trabajos
Claude
Shannon
public
el art
culo:
mathematical
of
bajos
de
Claude
E.
Shannon
quien
public
o
el
art
culo:
A
mathematical
theory
of
communication [1].
communication [1].
El siguiente diagrama representa el proceso de transmision de informacion.
El siguiente
siguiente diagrama
diagrama representa
representa el
el proceso
proceso de
de transmisi
transmisi
n de
de informaci
informaci
oon.
El
oon
n.
Emisor
Emisor
Emisor

uk
u=
=u
u11 .. .. .. u
u
k

Codificador
Codificador
Codificador

Canal
Canal
Canal

x=
=x
x11 .. .. .. x
xk
. . . xn
x
k . . . xn

Volumen
2011x = x1 . . . xk . . . xn
. . uk
u =15,
u1 .diciembre
Mensaje de 0s y 1s

Palabra-c
odigo, n > k

Decodificador
Decodificador
Decodificador

y=
=x
x+
+e
e
y
y =x+e
Palabra-c
odigo err
onea

Receptor
Receptor
Receptor

u

u

u

51

Estimativo del mensaje

en
oon
en la
la transmisi
transmisioon
n de
de informaci
informacioon
na
a trav
traveess de
de un
un canal
canal de
de comunicaci
comunicaci
n ruidoso.
ruidoso.
El
inicio
de
la
teor
a
de
la
informaci
o
n
data
del
a
n
o
1948
a
partir
El inicio de la teora de la informaci
on data del a
no 1948 a partir de
de los
los tratrabajos
de
Claude
E.
Shannon
quien
public
o
el
art
culo:
A
mathematical
theory
of
bajos
de Claude E. Shannon quien public
o el artculo: A mathematical theory
of
Revista de Ciencias
C. Gmez
communication [1].
[1].
communication
El siguiente diagrama representa el proceso de transmisi
on de informaci
on.
Emisor
Emisor

u = u1 . . . uk
u
= u1 . . . u k

Mensaje de 0s y 1s

Mensaje de 0s y 1s

Codificador
Codificador

Canal
Canal

x = x1 . . . x k . . . x n

x = x1 . . . x k . . . x n

Palabra-c
odigo, n > k

Decodificador
Decodificador

y =x+e

y =x+e

Palabra-c
odigo err
onea

Palabra-c
odigo, n > k

Palabra-c
odigo err
onea

Receptor
Receptor


u


u
Estimativo del mensaje

Estimativo del mensaje

e = e1 . . . e n

e = e1 . . . e n

Vector error producto del ruido

Vector error producto del ruido

El pilar de esta teora se encuentra en el teorema que lleva su nombre, el cual

El pilarladeexistencia
esta teora
encuentra
en elque
teorema
que lleva
su nombre,
el cual
garantiza
desebuenos
c
odigos
permiten
transmitir
informaci
on,
a traves delaun
canal con
probabilidad
de error
tan peque
na como
se quiera
garantiza
existencia
deuna
buenos
codigos que
permiten
transmitir
informaci
on,
siempre
que
este
canal
tenga
una
capacidad
de
transmisi
o
n
de
informaci
o
n
mayor
a traves de un canal con una probabilidad de error tan pequena como se quiera2
2
que la tasa
transferencia
digo.
siempre
quede
este
canal tengadel
unacocapacidad
de transmision de informacion mayor

que la tasa de transferencia del codigo.

Los resultados de Shannon afirman que los datos pueden ser codificados adeLos resultados
deser
Shannon
afirmandeque
los datos
codificados
adecuadamente
antes de
transmitidos,
tal forma
que pueden
los datosser
alterados
recibidos
cuadamente
antes
de
ser
transmitidos,
de
tal
forma
que
los
datos
alterados
recibidos
pueden ser decodificados al mensaje enviado.
pueden
ser de
decodificados
al mensaje
enviado.
Un
c
odigo
longitud n sobre
F2 es un
subconjunto C F2n . Las nuplas de C se
n
Un
c
odigo
de longitud
Fo2digo
es un
subconjunto
nuplasvectorial
de C se
llaman
palabras-c
odigony sobre
C un c
binario.
CuandoC CesF2un. Las
subespacio
llaman
palabras-c
digo
y Clineal,
un code
digo
binario. Cuando
C esCun
vectorial
se
dice que
C es unoc
odigo
lo contrario
se dice que
essubespacio
un c
odigo no
lineal.
se dice que C es un c
odigo lineal, de lo contrario se dice que C es un c
odigo no lineal.
Sup
ongase que el mensaje u = u1 . . . uk es codificado en la palabra-c
odigo x =
Sup
o
ngase
que
el
mensaje
u
=
u
.
.
.
u
es
codificado
en
la
palabra-c
odigo
x =
1
k
on. Debido
al ruido
x1 . . . xn la cual es enviada a traves de un canal de comunicaci
.
.
.
x
la
cual
es
enviada
a
trav
e
s
de
un
canal
de
comunicaci
o
n.
Debido
al
ruido
x
1 canal,
n la nupla recibida y = y1 . . . yn puede ser diferente de x y en tal caso
del
. yn puede
y enforma
tal caso
del
canal,
nupla
recibida
y =eny1la. .transmisi
se dice quelaha
ocurrido
un error
onser
deldiferente
mensaje.deDex esta
se
se
dice
que
ha
ocurrido
un
error
en
la
transmisi
o
n
del
mensaje.
De
esta
forma
se
define el error e en la transmision de x mediante
define el error e en la transmision de x mediante
e = y x.
e = y x.
Es natural preguntarse que tan diferente es la nupla y de la palabra-c
odigo x,
Es
natural
preguntarse
que
tan
diferente
es
la
nupla
y
de
la
palabra-c
odigo x,
por lo cual aparece de forma natural la siguiente funci
on.
por lo cual aparece de forma natural la siguiente funci
on.
Para x, y F2n , se define la distancia de Hamming entre x e y como el n
umero
n
Para
x,
y

F
,
se
define
la
distancia
de
Hamming
entre
x
e
y
como
el
n
umero
2 en las cuales x e y difieren. Es decir, la distancia de Hamming
de coordenadas
n
n
de acoordenadas
lasoncuales
Es decir,
la distancia de Hamming
N0 definida
como
est
dada por la en
funci
: F2xe Fy2 difieren.
est
a dada por la funcion : F2n F2n N0 definida como
(x, y) := |{ i : xi = yi }|,
(x, y) := |{ i : xi = yi }|,
donde |A| corresponde al cardinal del conjunto A. Adem
as se define el peso wt(x)
nal cardinal del conjunto A. Adem
donde
|A|
corresponde
as no
se define
el peso
de una nupla x F2 , como el n
umero de coordenadas
nulas de
x, eswt(x)
decir
n
de
una
nupla
x

F
,
como
el
n
u
mero
de
coordenadas
no
nulas
de
x, es decir
2 dice que el c
wt(x) = (x, 0). As, se
odigo C tiene peso constante w, denotado
por
wt(x)
=
(x,
0).
As
,
se
dice
que
el
c
o
digo
C
tiene
peso
constante
w,
denotado
por
wt(C) = w, si wt(x) = w, para todo x C.
wt(C) = w, si wt(x) = w, para todo x C.
De esta manera, se define la distancia mnima de un c
odigo C como
De esta manera, se define la distancia mnima de un c
odigo C como
52
C := mn{ (x, y) : x, y C, x = y }.
C := mn{ (x, y) : x, y C, x = y }.
El par
ametro distancia mnima de un c
odigo C es de gran importancia, pues es bien

donde |A| corresponde al cardinal del conjunto A. Adem

as se define el peso wt(x)
umero de coordenadas no nulas de x, es decir
de una nupla x F2n , como el n
Cdigos
de errores
y combinatoria
wt(x) = (x, 0). As, se dice que el c
odigo C tiene
pesocorrectores
constante
w, denotado
por
wt(C) = w, si wt(x) = w, para todo x C.
De esta manera, se define la distancia mnima de un c
odigo C como
C := mn{ (x, y) : x, y C, x = y }.
El parametro distancia mnima de un c
odigo C es de gran importancia, pues es bien
conocido que si C = d entonces C puede corregir hasta  d1
2  errores y detectar
hasta d 1 errores.

1.1 Problemas
fundamentales
en teora de cdigos
1.1.
Problemas
Fundamentales
en Teora de C
odigos
El Teorema de Shannon garantiza probabilsticamente que existen c
odigos con
on no se construye ninguno de
buenos parametros, sin embargo en su demostraci
ellos. Este hecho dio lugar a una amplia carrera y una intensa b
usqueda de c
odigos
que cumplan las especificaciones que predice el Teorema de Shannon.
Uno de los problemas principales en Teora de C
odigos es construir c
odigos con
el mayor n
umero posible de palabras-c
odigo, estableciendo un equilibrio entre la
longitud n de las palabras-codigo y su distancia mnima d, es decir una vez fijo n,
se quiere que d sea lo mas grande posible para poder corregir el mayor n
umero de
3
errores que ocurran.
Sean n y d enteros positivos con n d, el problema de determinar el m
aximo
n
umero de elementos de un c
odigo binario de longitud n y distancia mnima d,
se representa con la siguiente funci
on:
A(n, d) := m
ax{|C| : C F2n , C d}.
Un tipo particular de codigos son aquellos donde toda palabra-c
odigo tiene el mismo peso, llamados c
odigos de peso constante. De igual forma se est
a interesado en
el maximo tama
no de un codigo de peso constante con determinados par
ametros.
Sean n, d y w enteros positivos con n w, n d, el u
ltimo problema se representa
mediante la siguiente funcion:
A(n, d, w) := m
ax{|C| : C F2n , C d, wt(C) = w}.
Para obtener cotas inferiores de las funciones A(n, d) y A(n, d, w) se han construido codigos a traves de tecnicas algebraicas como son los c
odigos de Hamming,
c
odigos de Golay, codigos de Hadamard, c
odigos BCH, c
odigos cclicos, c
odigos
de Reed-Solomon, codigos alternantes, c
odigos geometricos de Goppa, c
odigos de
Reed-Muller, codigos Preparata, c
odigos por residuos cuadr
aticos QR y modificaciones de estos. En cuanto a cotas superiores, se han usado variadas tecnicas combinatorias, con las que se obtuvieron las cotas de Johnson. Adem
as, se ha usado
el metodo Simplex, con el que se obtuvo la cota de McEliece-Rodemich-RumseyWelch. Vale la pena notar que la labor hecha alrededor de estos problemas ha sido
amplia, por lo cual se sugiere ver [4, captulo 17] para m
as detalle sobre las cotas
existentes.
En la seccion 2, se presenta una cota inferior para A(n, d) obtenida por H.
Derksen [3], quien utiliza una construcci
on de c
odigos binarios de peso constante
a traves de herramientas combinatorias. En la secci
on 3, se presentan algunas
propiedades combinatorias y se muestra formalmente, mediante el Teorema prin53
Volumen
15,cierta
diciembre
2011 on heurstica que hace H. Derksen es correcta.
cipal,
que
afirmaci

amplia, por lo cual se sugiere ver [4, captulo 17] para m

as detalle sobre las cotas
existentes.
existentes.
Revista
Gmez
En de
la Ciencias
seccion 2, se presenta una cota inferior para A(n, d) obtenidaC.por
H.

En la seccion 2, se presenta una cota inferior para A(n, d) obtenida por H.

Derksen [3], quien utiliza una construcci
on de c
odigos binarios de peso constante
Derksen [3], quien utiliza una construcci
on de c
odigos binarios de peso constante
a traves de herramientas combinatorias. En la secci
on 3, se presentan algunas
a traves de herramientas combinatorias. En la secci
on 3, se presentan algunas
propiedades combinatorias y se muestra formalmente, mediante el Teorema prinpropiedades combinatorias y se muestra formalmente, mediante el Teorema principal, que cierta afirmacion heurstica que hace H. Derksen es correcta.
cipal, que cierta afirmacion heurstica que hace H. Derksen es correcta.

2 Cdigosobinarios
no lineales
2.
2. C
C
odigos
digos binarios
binarios no
no lineales
lineales
El siguiente teorema relaciona los c
odigos de peso constante con los c
odigos no
El siguiente teorema relaciona los c
odigos de peso constante con los c
odigos no
lineales y permite dar una cota inferior de A(n, d) a partir de cotas inferiores para
lineales y permite dar una cota inferior de A(n, d) a partir de cotas inferiores para
A(n, d, w).
A(n, d, w).
Teorema 1. Para n, d y 1 u n enteros positivos fijos, se cumple que
Teorema 1. Para n, d y 1 u n enteros positivos fijos, se cumple que

 A(n, d, w).
A(n, d)
A(n, d)
A(n, d, w).
w u m
od d
w u m
od d

Demostraci
on. Sean Cd,w codigos binarios de longitud n, distancia mnima d,
Demostraci
on. Sean C
codigos binarios de longitud n, distancia mnima d,
peso constante w ud,w
m
od d y
optimos en el sentido de un m
aximo n
umero de
peso constante w u m
od d y
optimos en el sentido de un m
aximo n
umero de
elementos. Estos codigos son disjuntos seg
un el peso y adem
as |Cd,w | = |A(n, d, w)|.
elementos. Estos codigos son disjuntos seg
un el peso y adem
as |Cd,w | = |A(n, d, w)|.
Considerese la union de estos codigos
4
Considerese la union de estos codigos


C=
Cd,w .
(1)4
C=
Cd,w .
(1)
w u m
od d
Claramente C es un codigo binario
de
longitud
n,
resta
probar
que
tiene
disw u m
od d
tancia
m
nima

d.
Sean
x,
y

C
tal
wt(x)n,=resta
w1 , probar
wt(y) que
= wtiene
2 , donde
Claramente C es un codigo binario de que
longitud
dis,
w

u
m
o
d
d.
Si
w
=
w
,
entonces
x,
y

C
y
(x,
y)

d.
Si
w
> w2 ,
w
1
2 m
1
d,w1 = w , wt(y) = w ,1 donde
tancia
nima d. Sean
x,2 y C tal que wt(x)
1
2
entonces
, w u m
od d. Si w = w , entonces x, y C
y (x, y) d. Si w > w ,
w
1

entonces

d,w1

(x, y) = wt(x) + wt(y) 2 (x y)

(x, y)
=w
wt(x)
+2 wt(y) 2 (x y)
1w
d,1 w2
w

d,
donde x y denota el n
umero de unos en la misma posici
on en x e y. Por lo tanto,
donde x y denota el n
umero de unos en la
misma posici
on en x e y. Por lo tanto,
|Cd,w |
A(n, d) |C| =

u m
od d
|Cd,w |
A(n, d) |C| = w 
= w u mod dA(n, d, w).

= w u mod dA(n, d, w).
w u m
od d

2.1.
2.1.

C
odigos binarios de peso constante y Conjuntos Sh
C
odigos binarios de peso constante y Conjuntos Sh

2.1 Cdigos binarios de peso constante y Conjuntos Sh

Sean, G un grupo conmutativo notado aditivamente, h 2 entero. Un sublas sumas

h
conjunto
se llama unnotado
conjunto
Sh en G, sih todas
Sean, A
G del
un grupo
grupo G
conmutativo
aditivamente,
2 entero.
Un de
subelementos
de G
A, se
omitiendo
permutaciones
desilostodas
sumandos,
determilas sumas
de h
conjunto Adistintos
del grupo
llama unlas
conjunto
Sh en G,
nan
elementos
distintos
en
G.
Es
decir,
si
todas
las
expresiones
de
la
forma
elementos distintos de A, omitiendo las permutaciones de los sumandos, determinan elementos distintos en G. Es decir, si todas las expresiones de la forma
xi1 + xi2 + + xih , con i1 < i2 < < ih ,
xi1 + xi2 + + xih , con i1 < i2 < < ih ,
y xi1 , xi2 , . . . , xih
A, producen elementos distintos en G.

y xi1 , xi2 , . . . , xih A, producen elementos distintos en G.

La nocion de conjunto Sh es propia de la Teora de N
umeros Aditiva, ver [5,
54
capLa
tulo
2],
sin
embargo
aparece
por
primera
vez
relacionada
conAditiva,
los c
odigos
de
nocion de conjunto Sh es propia de la Teora de N
umeros
ver [5,
peso
constante
el a
no 1980
en los
L. Grahamcon
y N.losJ.c
A.
Sloane
captulo
2], sin en
embargo
aparece
portrabajos
primera de
vezR.relacionada
odigos
de

x i1 + x i 2 + + x i h ,

con

i1 < i2 < < ih ,

Cdigos correctores de errores y combinatoria

y xi1 , xi2 , . . . , xih A, producen elementos distintos en G.

La nocion de conjunto Sh es propia de la Teora de N

umeros Aditiva, ver [5,
captulo 2], sin embargo aparece por primera vez relacionada con los c
odigos de
peso constante en el a
no 1980 en los trabajos de R. L. Graham y N. J. A. Sloane
[2, seccion 3] y posteriormente en el trabajo de H. Derksen [3]. Esta relaci
on se
establece en el siguiente teorema.
Teorema 2. [3, proposici
on 2]. Sea {g1 , . . . , gn } un conjunto Sh en un grupo
conmutativo G notado aditivamente. Si F2 se identifica con {0, 1} y se considera
la funci
on : Fn2 G definida como
(a1 , . . . , an ) =

n


ai g i ,

i=1

entonces se tiene que para todo w y cada g G, el conjunto

Cg(w) = 1 (g) {x Fn2 : wt(x) = w}
es un c
odigo binario de longitud n, distancia mnima 2h + 2 y peso constante
5
w.
Una consecuencia de este teorema est
a en la cota inferior para A(n, 2h + 2, w)
que se obtiene. Mas exactamente:
Corolario 1. [3, Corolario 4]. Si existe un conjunto Sh de cardinalidad n 2h+2,
en un grupo conmutativo finito G, entonces
 
n
1
(w)
.
A(n, 2h + 2, w) |Cg |
|G| w
Observaci
on 1. Del Teorema 1 y el Corolario 1, se tiene la siguiente cota inferior
 

1
n
A(n, 2h + 2)
,
(2)
w
|G|
w u m
od 2h+2

para cualquier 1 u n.
N
otese que para obtener mejores cotas inferiores de A(n, 2h + 2) mediante la expresion (2), es necesario maximizar
 

1
n
.
w
|G|
w u m
od 2h+2

Esto sugiere determinar el mnimo cardinal de un grupo conmutativo finito

n G
donde existe un conjunto Sh con n elementos y maximizar

w res-

pecto a u.

3.

w u m
od 2h+2

Combinatorio modular y su valor m

aximo

Sean n, l y m enteros positivos, con 1 l, m n . El Combinatorio Modular

n combinado l, m
odulo m se define como:
55
Volumen 15, diciembre 2011
 

n
Cm (n : l) :=
, 0 j n.

Esto sugiere determinar el mnimo cardinal de un grupo conmutativo finito

n G
donde existe un conjunto Sh con n elementos y maximizar

w resw u m
od 2h+2

pecto a u.

Revista de Ciencias

C. Gmez

3. Combinatorio
3 Combinatorio
modular y su modular
valor mximo

y su valor m
aximo

Sean n, l y m enteros positivos, con 1 l, m n . El Combinatorio Modular

n combinado l, m
odulo m se define como:
 

n
Cm (n : l) :=
, 0 j n.
j
j l m
od m

on
Ejemplo 1. Sea n = 18 y m = 4. El n
umero C4 (18 : l) determina una funci
sobre los enteros positivos.
 18
C4 (18 : 7) =
j
j 7 m
od 4
       
18
18
18
18
+
+
+
=
15
11
7
3
= 17544.

El objetivo de esta seccion es el de establecer algunas propiedades combinatorias satisfechas por estos n
umeros las cuales juegan un papel determinante en la
6
demostracion del resultado principal de este trabajo, el Teorema 3.
Lema 1. Para n, l y m enteros positivos, con 1 l, m n
Cm (n : l) = Cm (n : n l).
Demostraci
on.
 
n
Cm (n : n l) =
j
j nl m
od m



n
=

j n
Lema 1. Para n, l y m enteros positivos,
conod1m l,nm
nj l m
 n
Cm (n : l)== Cm (n : n
l).
i
i l m
od m
Demostraci
on.
= Cm (n : l).
 

n
Cm (n : n l) =
j
j nl m
Lema 2. Para n, l y m enteros positivos,
conod1ml, m n

n
=
Cm (n : l) + Cm (n : l 1) = Cm (nn +
1j : l).
nj l m
od m
 n
Demostraci
on.
=
 i

i 
l m
od m n
+
Cm (n : l) + Cm (n : l 1) =
= Cm (n : l). i


i l m
od m

j l1 m
od m

 
n
.
j

Considerense los conjuntos

Lema 2. Para n, l y m enteros positivos, con 1 l, m n
A = { i : i l mod m }, B = { j : j (l 1) m
od m}
56
Cm (n : l) + Cm (n : l 1) = Cm (n + 1 : l).
y n
otese que
Demostraci
on.

Demostraci
on.
Cm (n : l) + Cm (n : l 1) =

i l m
od m

 
 

n
n
+correctores de errores y.combinatoria
Cdigos
i
j
j l1 m
od m

Considerense los conjuntos

A = { i : i l m
od m }, B = { j : j (l 1) m
od m}
y n
otese que
i A, tal que 1 i n i 1 (l 1) m
od m
i 1 B.

(3)

Caso I. m  l.
a. Si n  (l 1) mod m, entonces 0  A y n  B, por tanto |A| = |B| y de (3)
  

n
n
Cm (n : l) + Cm (n : l 1) =
+
i
i1
i l m
od m



n+1
=
i


i l m
od m

= Cm (n + 1 : l).

b. Si n (l 1) mod m, entonces 0  A y n B, por tanto |B| = |A| + 1 y de

(3)
 n  n  n
Cm (n : l) + Cm (n : l 1) =
+
+
i
i1
n
i l m
od m




 n + 1
n+1
+
=
i
n+1
i l m
od m

= Cm (n + 1 : l).

Caso II. m | l.
a. Si n  (l 1) mod m, entonces 0 A y n  B, por tanto |A| = |B| + 1 y de
(3)
  
  
n
n
n
+
+
Cm (n : l) + Cm (n : l 1) =
i
i1
0
i l m
od m




 n + 1
n+1
+
=
i
0


i l m
od m

= Cm (n + 1 : l).

b. Si n (l 1) mod m, entonces 0 A y n B, por tanto |B| = |A| y de (3)

 n  n  n n
+
+
+
Cm (n : l) + Cm (n : l 1) =
n
0
i1
i
i l m
od m



 

 n + 1
n + 1 57
n+1
Volumen 15, diciembre 2011
=
+
+
n+1
0
i
i l m
od m

=
Revista de Ciencias

i l m
od m

 

n+1
n+1
+
i
0

C. Gmez

= Cm (n + 1 : l).
b. Si n (l 1) mod m, entonces 0 A y n B, por tanto |B| = |A| y de (3)
 n  n  n n
+
+
+
Cm (n : l) + Cm (n : l 1) =
n
0
i1
i
i l m
od m



 

 n + 1
n+1
n+1
=
+
+
n+1
0
i
i l m
od m

= Cm (n + 1 : l).

Observaci
on 2. Notese que para cada entero positivo l, existe un u
nico entero r
el cual cumple que 0 r m 1 y l r m
od m. De donde Cm (n : l) = Cm (n : r).
 
Adem
as el conjunto n2 + {0, 1, 2, . . . , (m 1)} igual a:
 n   n 
n
n m n
m
n

2 ,
2 1,
2 2, . . . , 2 2 , 2 ( 2 + 1), . . . ,
2 (m 1)

es un sistema residual completo m

odulo m.

As, para n y m fijo, el rango de la funci

on Cm (n : ) : N N est
a determinado
n
por los valores Cm (n :  2  t), con t = 0, 1, 2, . . . , m 1.
En el siguiente lema se determina de manera precisa las imagenes que toma la
8
funci
on Cm (n : ).
Lema 3. Para n, l y m enteros positivos, con 1 l, m n, la funci
on Cm (n, )
n
m
toma exactamente los valores Cm (n,  2  j), con 0 j  2 .
Demostraci
on. Por la observacion 2 es suficiente considerar l { n2  t : 0 t
m 1}.
i. Para n impar. Si 1 k m  m
2  1, del lema 1.
n
m
Cm (n :  n2  ( m
2  + k)) = Cm (n : n  2  +  2  + k)
= Cm (n :  n2  + 1 +  m
2  + k)

= Cm (n :  n2  (m  m
2  1 k))

m
luego tomando j = m  m
2  1 k, se tiene que 0 j  2  1. Lo cual
muestra que en este caso, el n
umero Cm (n, l) toma exactamente los valores
Cm (n,  n2  j), con 0 j  m
2 .

ii. Para n par. Si 1 k m  m

2  1, del lema 1.
n
m
Cm (n :  n2  ( m
2  + k)) = Cm (n : n  2  +  2  + k)
= Cm (n :  n2  +  m
2  + k)
n
= Cm (n :  2  (m  m
2  k)),
m
y tomando j = m  m
2  k, se tiene que 1 j  2 . Con lo cual,
en en este otro caso, el n
umero Cm (n, l) toma exactamente los valores
58 tambi
n
m
Cm (n,  2  j), con 0 j  2 .

n
m
Cm (n :  n2  ( m
2  + k)) = Cm (n : n  2  +  2  + k)
= Cm (n :  n2  +  m
2  + k)
Cdigos
errores y combinatoria
n correctores de
= Cm (n :  2  (m  m
2  k)),
m
y tomando j = m  m
2  k, se tiene que 1 j  2 . Con lo cual,
tambien en este otro caso, el n
umero Cm (n, l) toma exactamente los valores
n
m
Cm (n,  2  j), con 0 j  2 .

Con el objetivo de establecer buenas cotas inferiores para A(n, d) desde la expresion (2), se observo que es necesario determinar el mnimo cardinal de un grupo
conmutativo finito
 G donde existe un conjunto Sh con n elementos y maximizar
n

w respecto a u.

w u m
od 2h+2

Para determinar el mnimo cardinal de un grupo conmutativo finito G donde

existe un conjunto Sh con n elementos, H. Derksen consider
o el grupo de unidades

del anillo cociente de polinomios G = (Fq [x]/p(x)) , donde Fq denota el cuerpo

finito con q elementos, p(x) el ideal generado por p(x) y R el grupo de unidades
de un anillo R. De esta manera, minimiz
o el tama
no de G escogiendo adecuadamente q y p(x). Para mas detalle ver [3, Lema 6].
Observaci
on 3. En cuanto a la optimizaci
on de

n

w u m
od 2h+2 w
n
afirmo heuristicamente que la mejor escogencia para u es  2 , lo que
aximo cuando l =  n2 .
a decir que el n
umero Cm (n : l) es m

, H. Derksen

es equivalente

En virtud del Lema 3, es suficiente considerar Cm (n :  n2  j), con 0 j  m

2 ,
9
con el fin de mostrar formalmente que la escogencia hecha por H. Derksen es
correcta.
El siguiente teorema es el prop
osito esencial de este artculo.
Teorema 3. (Teorema principal) Para 1 m n enteros, se tiene que
Cm (n :  n2 ) Cm (n :  n2  1) Cm (n :  n2   m
2 ).

(4)

Es decir, Cm (n, l) alcanza su valor m

aximo en l =  n2 .
Demostraci
on. Haciendo inducci
on sobre n, si n = 1 el resultado se tiene inmediatamente. Si n 2 y m = 1 entonces
n  

n
C1 (n, 1) =
= 2n ,
j
j=0
para todo l, lo cual garantiza la conclusi
on del teorema.
En virtud del Lema 3, es suficiente considerar Cm (n,  n2 t), con 0 t  m
2 .
Supongase como hipotesis de inducci
on que para todo 2 m k, se cumple
(4) y a partir de esto se vera que (4) tambien se tiene para n = k + 1. Es decir, se
mostrara que
m
k+1
Cm (k + 1 :  k+1


j)

C
(k
+
1
:



(j
+
1)),
con
0

m
2
2
2 1. (5)
59

Volumen
2011
Si
m = k15,
+diciembre
1, entonces

k+1

k+1

 k+1 

mostrara que
k+1
Cm (k de
+ Ciencias
1 :  k+1
Revista
2  j) Cm (k + 1 :  2  (j + 1)), con 0 j

m
2

(5)
C. 1.
Gmez

Si m = k + 1, entonces
Ck+1 (k + 1 :

 k+1
2 

j) =


k+1
,
 k+1
2 j

con

0j

 k+1 
2

As, (5) es consecuencia de las propiedad de los coeficientes binomiales. Para 2

m k, se consideran algunos casos.
k
as de la hip
otesis de inducci
on,
Caso I. Si k es par, entonces  k+1
2  =  2 . Adem
m
se tiene que para 0 j  2  2

Cm (k :  k2  j) Cm (k :  k2  (j + 1))
y
Cm (k :  k2  (j + 1)) Cm (k :  k2  (j + 2)).
Sumando los lado correspondientes, se sigue del Lema 2 que
k+1
Cm (k + 1 :  k+1
2  j) Cm (k + 1 :  2  (j + 1)).

Resta considerar j =  m
otesis de inducci
on, se tiene que
2  1. Del Lema 3 y la hip
k
m
Cm (k :  k2   m
2  1) = Cm (k :  2  (m  2  1))

Cm (k :  k2   m
2  + 1).

10

Ahora, sumando Cm (k :  k2   m
2 ) en ambos lados, de nuevo por el Lema 2 se
concluye que
m
k+1
m
Cm (k + 1 :  k+1
2   2 ) Cm (k + 1 :  2   2  + 1).

Con esto termina la prueba de (5), en este caso.

k
otesis de
Caso II. Si k es impar, entonces  k+1
2  =  2  + 1. De nuevo por la hip
m
inducci
on, se tiene que para 0 i  2  2

Cm (k :  k2  i) Cm (k :  k2  (i + 1))
y
Cm (k :  k2  (i + 1)) Cm (k :  k2  (i + 2)).
Sumando los lado correspondientes, se sigue del Lema 2 que
Cm (k + 1 :  k2  i) Cm (k + 1 :  k2  (i + 1)),
lo cual es equivalente a
Cm (k + 1 :  k+1
2  (i + 1)) Cm (k + 1 :

k+1
2 

(i + 2)).

As,
60

k+1
Cm (k + 1 :  k+1
2  j) Cm (k + 1 :  2  (j + 1)),

para 1 j  m
2  1.

lo cual es equivalente a
Cdigos correctores
de errores y combinatoria
k+1

Cm (k + 1 :  k+1
2  (i + 1)) Cm (k + 1 :

 (i + 2)).

As,
k+1
Cm (k + 1 :  k+1
2  j) Cm (k + 1 :  2  (j + 1)),

para 1 j  m
2  1.
Resta considerar j = 0. Del Lema 1 y la hip
otesis de inducci
on se tiene que
Cm (k :  k2  + 1) = Cm (k : k  k2  1)
= Cm (k :  k2 )

Cm (k :  k2  1).
as por el Lema 2 se concluye que
Sumando en ambos lados Cm (k :  k2 ), una vez m
Cm (k + 1 :  k2  + 1) Cm (k + 1 :  k2 ),
que equivale a
k+1
Cm (k + 1 :  k+1
2 ) Cm (k + 1 :  2  1).

Con lo cual termina la prueba para (5), en este otro caso.

1111

Referencias
Referencias bibliogrficas
Referencias
[1][1]Shannon
ShannonC.C.E.E.AAmathematical
mathematicalTheory
TheoryofofCommunication,
Communication,Bell
BellSystem
SystemTech.
Tech.
J.J.27,379-423,
27,379-423,623-656
623-656(1948).
(1948).
[2][2]Graham
GrahamR.R.L.L.and
andSloane
SloaneN.N.J.J.A.A.Lower
Lowerbounds
boundsfor
forconstant
constantweight
weightcodes,
codes,
IEEE
Transations
on
Information
Theory
26
(1980)
No.
1,
37-43.
IEEE Transations on Information Theory 26 (1980) No. 1, 37-43.
[3][3]Derksen
h -Sequences,
IEEETransations
Transationsonon
DerksenH.H.Error-Correcting
Error-CorrectingCodes
Codesand
andBB
h -Sequences,IEEE
Information
Theory
50
2004,
No.
3,
476-485.
Information Theory 50 2004, No. 3, 476-485.
[4][4]MacWilliams
MacWilliamsF.F.J.J.and
andSloane
SloaneN.N.J.J.A.A.The
TheTheory
TheoryofofError-Correcting
Error-CorrectingCodes,
Codes,
North-Holland
North-HollandMathematical
MathematicalLibrary,
Library,(2006).
(2006).
[5][5]Halberstam
HalberstamH.H.and
andRoth
RothK.K.F.F.Sequences.
Sequences.Oxford,
Oxford,U.K.:
U.K.:Oxford
OxfordUniv.
Univ.Press,
Press,
1986,
vol.
2.
1986, vol. 2.
[6][6]G
omez
onondedeconjuntos
odigos.
h hsobre
G
omezC.C.A.A.Construcci
Construcci
conjuntosBB
sobregrupos
gruposy yC
C
odigos.Tesis
Tesisdede
Maestr
a,
Universidad
del
Valle,
2008.
Maestra, Universidad del Valle, 2008.
Direcci
on
Direcci
onde
delos
losautores
autores
Direccin del autor
Carlos
omez
CarlosAlexis
AlexisG
G
omezRuiz
Ruiz
Departamento
de
Matem
aticas,
Departamento de Matem
aticas,Universidad
Universidaddel
delValle,
Valle,Cali
Cali- -Colombia
Colombia
carlos.a.gomez@correounivalle.edu.co
carlos.a.gomez@correounivalle.edu.co

Volumen 15, diciembre 2011

61