Beamer

C odigos perfeitos e ladrilhamentos
(na Metrica de Lee)

Antonio Campello
1
Universidade Federal de Vicosa
27 de Outubro, 2011
1
campello @ ime . unicamp . br
Sumario
1. Introdu cao
Teoria de Informa cao
Historia
2. Metrica de Lee
Metrica de Lee
Metrica l
1
Esferas de Lee (poliominos)

3. Codigos Perfeitos
Exemplos
Ladrilhamentos
Conjectura de Golomb-Welch
4. Consideracoes nais
Codigos perfeitos e ladrilhamentos Universidade Federal de Vi cosa
Sumario
1. Introdu cao
Historia
2. Metrica de Lee
Metrica de Lee
Metrica l
1

Exemplos
Ladrilhamentos
Sumario
1. Introdu cao
Historia
2. Metrica de Lee
Metrica de Lee
Metrica l
1

Exemplos
Ladrilhamentos
Sumario
1. Introdu cao
Historia
2. Metrica de Lee
Metrica de Lee
Metrica l
1

Exemplos
Ladrilhamentos
Teoria de Informacao
Codica c ao Decodica cao Fonte Destino
Codica cao conjunto de pontos no espaco
Mensagem enviada mensagem recebida
Boas conguracoes de pontos

Hist oria
[Shannon 48] A mathematical theory of communication,
Bell Labs Tech. Journal.
[Lee 58] Some properties of nonbinary error-correcting
codes, IEEE IT
[Golomb and Welch 70] Perfect codes in the Lee metric and
the packing of polyominoes, SIAM App. Math
[Chiang and Wolf 71] On Channels and codes for the Lee
metric Inf. and Control
...
Hist oria
codes, IEEE IT
...
Hist oria
codes, IEEE IT
...
Hist oria
codes, IEEE IT
...
Hist oria
codes, IEEE IT
...
Notac oes
Z
q
- alfabeto
C Z
n
q
- codigo q-ario
c C - palavra-codigo
Exemplo: q = 5, n = 2
C
1
=
_
(0, 1), (0, 2), (2, 1), (2, 3), (4, 4)
_
C
2
=
_
(0, 0), (1, 2), (2, 4), (3, 1), (4, 3)
_
Metrica de Lee
Para x
i
, y
i
Z
q
d(x
i
, y
i
) = min{x
i
y
i
(mod q), y
i
x
i
(mod q)}
0
1
2
3
4
Metrica de Lee
Para x
i
, y
i
Z
q
d(x
i
, y
i
) = min{x
i
y
i
(mod q), y
i
x
i
(mod q)}
0
1
2
3
4
Metrica de Lee
Para x
i
, y
i
Z
q
d(x
i
, y
i
) = min{x
i
y
i
(mod q), y
i
x
i
(mod q)}
0
1
2
3
4
Metrica de Lee
Para x
i
, y
i
Z
q
d(x
i
, y
i
) = min{x
i
y
i
(mod q), y
i
x
i
(mod q)}
0
1
2
3
4
Metrica de Lee
Para x
i
, y
i
Z
q
d(x
i
, y
i
) = min{x
i
y
i
(mod q), y
i
x
i
(mod q)}
0
1
2
3
4
Metrica de Lee
Para x, y Z
n
q
d(x, y) =
n
i =0
min{x
i
y
i
(mod q), y
i
x
i
(mod q)}
Bola de raio R centrada em x:
_
y Z
n
q
| d(x, y) R
_
Exemplo
n = 2, q = 5
Exemplo
n = 2, q = 5
Exemplo
n = 2, q = 5
Exemplo
n = 2, q = 5
Metrica de Lee
Metrica l
1
Para x
i
, y
i
Z
d(x
i
, y
i
) = |x
i
y
i
|
Para x, y Z
n
d(x, y) =
n
i =0
min |x
i
y
i
|
Um codigo na metrica de Lee arranjo de pontos da metrica l
1
.
Exemplo
_
(c + qk) para k Z
n
, c C
Esferas de Lee
Fabricando um poliomin o
Tome os inteiros tal que d(x, 0) R
Tome os cubos de raio 1/2 centrados em cada x

Algumas Esferas de Lee:
Esferas de Lee

Esferas de Lee

Esferas de Lee

Esferas de Lee

Esferas de Lee

Distancia Mnima
Distancia mnima de um codigo: menor distancia entre duas
palavras distintas.
C
1
=
_
(0, 1), (0, 2), (2, 1), (2, 3), (4, 4)
_
d
min
= 1
C
2
=
_
(0, 0), (1, 2), (2, 4), (3, 1), (4, 3)
_
d
min
= 3
Distancia Mnima
Distancia mnima de um codigo: menor distancia entre duas
palavras distintas.
C
1
=
_
(0, 1), (0, 2), (2, 1), (2, 3), (4, 4)
_
d
min
= 1
C
2
=
_
(0, 0), (1, 2), (2, 4), (3, 1), (4, 3)
_
d
min
= 3
Raio de empacotamento
O raio de empacotamento de um codigo e denido como o maior
tal que B(c
1
, ) B(c
2
, ) = para quaisquer c
1
e c
2
distintos
em C. Neste caso, C e dito um codigo corretor de erros.
Proposicao
Dado um codigo C com distancia mnima d, temos =
_
d 1
2
_
.
Consequencia
(#C)(#B(0, )) q
n
(Limitante de empacotamento esferico)
tal que B(c
1
, ) B(c
2
1
e c
2
distintos
Proposicao
_
d 1
2
_
.
Consequencia
(#C)(#B(0, )) q
n
tal que B(c
1
, ) B(c
2
1
e c
2
distintos
Proposicao
_
d 1
2
_
.
Consequencia
(#C)(#B(0, )) q
n
C odigos Perfeitos
Denicao
Um codigo e perfeito se atinge o Limitante de empacotamento
esferico i.e., se (#C)(#B(0, )) = q
n
.
Por que perfeito?

cC
B(c, ) = Z
n
q
Qualquer x Z
n
q
esta em uma (e apenas uma) bola centrada
em uma palavra de raio .
Um codigo perfeito em Z
n
q
induz um ladrilhamento* de R
n
por poliominos.
Ladrilhamentos
Colecao de objetos cujos interiores sao disjuntos e cobrem o

espaco (i.e., qualquer ponto do R
n
esta contido em um destes
objetos)
Ladrilhamentos

n
objetos)
Ladrilhamentos

n
objetos)
C odigos Perfeitos
Quanto vale #B(0, ) ?
#B(0, ) = #{x Z
n
tal que d(x, 0) }
= #{x Z
n
tal que |x
1
| + . . . |x
n
| }
n caixas e bolas
Escolha i caixas entre as n
Coloque bolas entre as i caixas

2
i
_
n
i
__
i
_
C odigos Perfeitos
#B(0, ) = #{x Z
n
tal que d(x, 0) }
= #{x Z
n
tal que |x
1
| + . . . |x
n
| }
n caixas e bolas
i =0
2
i
_
n
i
__
i
_
C odigos Perfeitos
#B(0, ) = #{x Z
n
tal que d(x, 0) }
= #{x Z
n
tal que |x
1
| + . . . |x
n
| }
n caixas e bolas

min{,n}
i =0
2
i
_
n
i
__
i
_
C odigos Perfeitos
Exemplo: C =
(1, 3)
_
C odigos Perfeitos
Teorema 1 [Golomb-Welch]
Para todo inteiro > 0 existe um codigo perfeito corretor de
erros com comprimento 2 sobre o alfabeto Z
q
para
q = 2
2
+ 2 + 1.
Prova
Construtiva:
C = {(a, (2 + 1)a) , a = 0, 1, 2, . . . , q 1}
C odigos Perfeitos
Teorema 2 [Golomb-Welch]
Existe um codigo perfeito corretor de 1 erro com alfabeto Z
q
para
q = 2n + 1 em qualquer dimensao n.
Prova
Construtiva:
C =
_
(c
1
, . . . , c
n
) t. q.
n
i =1
ia
i
0 (mod 2n + 1)
_
Ladrilhamentos
n
q
induz um ladrilhamento de Z
n
por
poliominos. Recapitulando:
Existem codigos perfeitos para qualquer R e n = 2.
Existem codigos perfeitos para R = 1 e qualquer n.
O que mais?
Conjectura (de Golomb-Welch)
Nao existe nenhum ladrilhamento do espa co por Esferas de Lee
para n 3 and R 2.
Ladrilhamentos
n
q
induz um ladrilhamento de Z
n
por
poliominos. Recapitulando:
Existem codigos perfeitos para qualquer R e n = 2.
Existem codigos perfeitos para R = 1 e qualquer n.
O que mais?
Conjectura (de Golomb-Welch)
Nao existe nenhum ladrilhamento do espa co por Esferas de Lee
para n 3 and R 2.
Apoiando a conjectura
Politopo cruzado
Todos os pontos reais tais que

n
i =1
|x
i
y
i
| R
Apoiando a conjectura
Considerac oes nais
Para quais valores e verdade?
Para qualquer n e r
n
, Esferas de lee de raio r nao
ladrilham.
3 n 5 e R n 2 ou n 6,
R n
2/2 1/4(
3 + etc...) [Post 75]
n = 3 e r > 2 estabelecida! [Gravier et al 98]
n = 4 estabelecida! [Spacapan 2007] (... com a ajuda de

computador)
n = 5 estabelecida! [Horak 2009]
...
Obrigado! Perguntas?

Beamer

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Beamer

Enviado por

Direitos autorais:

Formatos disponíveis

C odigos perfeitos e ladrilhamentos

(na Metrica de Lee)

Teoria de Informa cao

Esferas de Lee (poliominos)

Teoria de Informa cao

Esferas de Lee (poliominos)

Teoria de Informa cao

Esferas de Lee (poliominos)

Teoria de Informa cao

Esferas de Lee (poliominos)

Codica cao conjunto de pontos no espaco

Mensagem enviada mensagem recebida

Boas conguracoes de pontos

Tome os inteiros tal que d(x, 0) R

Tome os cubos de raio 1/2 centrados em cada x

Tome os inteiros tal que d(x, 0) R

Tome os cubos de raio 1/2 centrados em cada x

Tome os inteiros tal que d(x, 0) R

Tome os cubos de raio 1/2 centrados em cada x

Tome os inteiros tal que d(x, 0) R

Tome os cubos de raio 1/2 centrados em cada x

Tome os inteiros tal que d(x, 0) R

Tome os cubos de raio 1/2 centrados em cada x

Tome os inteiros tal que d(x, 0) R

Tome os cubos de raio 1/2 centrados em cada x

Colecao de objetos cujos interiores sao disjuntos e cobrem o

Colecao de objetos cujos interiores sao disjuntos e cobrem o

Colecao de objetos cujos interiores sao disjuntos e cobrem o

Escolha i caixas entre as n

Coloque bolas entre as i caixas

Escolha i caixas entre as n

Coloque bolas entre as i caixas

Escolha i caixas entre as n

Coloque bolas entre as i caixas

Existem codigos perfeitos para qualquer R e n = 2.

Existem codigos perfeitos para R = 1 e qualquer n.

Existem codigos perfeitos para qualquer R e n = 2.

Existem codigos perfeitos para R = 1 e qualquer n.

Todos os pontos reais tais que

3 + etc...) [Post 75]

n = 3 e r > 2 estabelecida! [Gravier et al 98]

n = 4 estabelecida! [Spacapan 2007] (... com a ajuda de

n = 5 estabelecida! [Horak 2009]

Você também pode gostar