Reticulados bem-arredondados via corpos de números

Dizemos que $\Lambda$ é um reticulado se é um subgrupo aditivo discreto de R^n. Além de sua reconhecida utilidade à otimização, nas últimas décadas os reticulados têm sido bastante requisitados para aplicações à teoria de códigos e à criptografia pós-quântica.

É possível utilizar as estruturas da teoria algébrica dos números para gerar e estudar parâmetros sobre reticulados. Uma forma de fazer isso é utilizando um homomorfismo, denominado mergulho canônico, que gera um reticulado de posto n a partir de um Z-módulo do anel de inteiros de um corpo de números de grau n. Neste caso, os chamamos de reticulados algébricos.

Um tipo de reticulado bastante útil para diversos contextos em teoria da informação são os chamados reticulados bem-arredondado, que são aqueles que possui uma base formada exclusivamente por vetores de norma mínima.

Neste trabalho, pretendemos apresentar alguns dos principais resultados sobre os reticulados algébricos bem-arredondados com algumas de suas demonstrações, bem como citar descobertas recentes sobre novas pesquisas envolvendo esses objetos. Como pesquisa futura, nos interessamos por encontrar condições para garantir a existência de reticulados algébricos bem-arredondados de dimensão dois utilizando uma versão torcida do mergulho canônico.