(Em espanhol)
Rochester Institute of Technology
Data: 16 de Outubro de 2020
A resolução da Conjectura de Keller
A conjectura de Keller envolve tesselações. Em 1930, o matemático alemão Ott-Heinrich Keller conjecturou que, em qualquer número de dimensões, qualquer mosaico com ladrilhos idênticos resulta em pelo menos dois ladrilhos que compartilham uma face comum. É fácil mostrar isso em dimensões entre dois e cinco. Nas décadas subsequentes, houve vários avanços relacionados a essa conjectura. Perron (1940) foi o primeiro a mostrar que a conjectura é verdadeira em seis dimensões. Entretanto, Lagarias e Shor (1992) mostraram que a conjectura é falsa em dez ou mais dimensões. Esse resultado negativo foi melhorado posteriormente por Mackey (2002) para oito ou mais dimensões. Até recentemente, o único caso remanescente - sete dimensões - permanecia aberto, apesar de vários pesquisadores terem feito progressos ao longo dos anos. Nosso trabalho finalmente fecha este último caso: o padrão se cumpre em sete dimensões. Esse resultado foi obtido com o auxílio de técnicas de raciocínio automático que produziram um enorme teste de aproximadamente 200 gigabytes. A veracidade desse teste foi verificada por um programa cuja veracidade foi, por sua vez, testada.
Sobre David
David é panamenho e sua área de pesquisa são os problemas de satisfação de restrições. Ele obteve seu bacharelado em Engenharia de Sistemas de Computação pela Universidad Tecnológica de Panamá e seu mestrado em Ciência da Computação pelo Rochester Institute of Technology (RIT). Ele está atualmente terminando seu doutorado na RIT sob a supervisão dos Professores Edith Hemaspaandra e Stanisław P.Radziszowski. Seu trabalho recente na Conjectura de Keller lhe rendeu o prêmio de melhor artigo na International Joint Conference on Automated Reasoning 2020. Em seu tempo livre, David gosta de assistir e praticar esportes, bem como de música ao vivo.