Tarde de Teoria

Local: Anfiteatro do NUMEC (IME-USP)
Sexta, 9 de maio de 2008

Horário
Palestra
14:00
Bases Normais em Corpos Finitos


Daniel Panario
Carleton University
15:00
coffee break
15:15
Um problema relacionado a conjuntos de Sidon


Fabricio Benevides
University of Memphis

Veja esse anúncio em pdf.

Resumos


Bases Normais em Corpos Finitos
Daniel Panario
Carleton University
Sexta, 9 de maio, 14:00

Essa palestra é uma introdução às bases e elementos normais em corpos finitos. Esses conceitos foram definidos, e a sua existência provada, há 150 anos. Porém, devido às suas muitas aplicações, eles têm sido novamente estudados nesses últimos 20 anos.

Um elemento $\alpha$ em um corpo finito ${\mathbb F}_{q^n}$ é chamado {\em normal} se $N=\{\alpha, \alpha^q, \ldots, \alpha^{q^{n-1}}\}$ é uma base de ${\mathbb F}_{q^n}$ sobre ${\mathbb F}_{q}$. Nesse caso, a base $N$ é chamada uma {\em base normal} de ${\mathbb F}_{q^n}$ sobre ${\mathbb F}_{q}$.

Como veremos, em uma base normal potências $q$-ésimas são de graça. Isto é usado para ter algoritmos rápidos de exponenciação. Conseqüentemente, elementos normais são importantes em criptografia onde a exponenciação e o cómputo do logaritmo discreto são muito usados.

A palestra não requer conhecimento prévio de corpos finitos. Os conceitos necessários serão revistos durante a palestra.


Um problema relacionado a conjuntos de Sidon
Fabricio Benevides
University of Memphis
Sexta, 9 de maio, 15:15

Um conjunto de naturais A é um conjunto de Sidon se todos as somas da forma a_1 + a_2, onde a_1 >= a_2 pertence a A, são distintas. Dados conjuntos A e B, denote por R(n) o número de soluções da equação x+y=n onde x pertence a A, y pertence a B. Motivados por uma pergunta de András Sárközy, investigamos a existência de conjuntos de naturais A e B para os quais R(n) e eventualmente crescente, isto é, para n > n_0 temos R(n+1) <= R(n). Também estudamos pares A, B com a propriedade de que R(n) = 0 ou R(n) = 1 para todo n.


Atividades dentro do
FOCOS - Foundations of Computer Science:
FOCOS - Combinatorial Algorithms and Discrete Structures
Projeto Temático/ProNEx FAPESP/CNPq (Proc. FAPESP 2003/09925-5)
e do
NUMEC - Núcleo de Apoio à Pesquisa em
NUMEC - Modelagem Estocástica e Complexidade