🔢 mathematics

Short Salem polynomials

Este artigo fornece uma classificação completa dos polinômios de Salem de comprimento 5 e, assumindo a Conjectura de Lehmer, caracteriza todos menos um número finito de polinômios de Salem de comprimento 6, identificando 12 famílias infinitas e listando 126 exceções específicas, juntamente com uma tabela abrangente de polinômios curtos para números de Salem abaixo do menor número de Pisot.

Autores originais: James McKee, Chris Smyth

Publicado 2026-05-20

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: James McKee, Chris Smyth

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um detetive tentando encontrar os códigos secretos "mais curtos" possíveis que desbloqueiam um tipo muito específico de fechadura matemática. Essas fechaduras são chamadas de números de Salem.

Neste artigo, os autores James McKee e Chris Smyth atuam como mestres decifradores de códigos. Eles dedicaram seu tempo à caça desses números, mas com uma regra muito específica: estão procurando apenas códigos (polinômios) que sejam "curtos".

O que é um código "curto"?

No mundo da matemática, um polinômio é como uma receita feita de números e variáveis (como $z$ ). O "comprimento" dessa receita não é quantos ingredientes ela tem, mas a soma dos tamanhos absolutos de seus números.

Imagine uma receita: $z^{12} - z^7 - z^6 - z^5 + 1$ .
Os números são $1, -1, -1, -1, 1$.
Se você ignorar os sinais de menos e somá-los ( $1+1+1+1+1$ ), o comprimento é 5.

Os autores querem encontrar cada e qualquer "número de Salem" que possa ser desbloqueado por um código com comprimento de 5 ou 6.

O Mistério do Comprimento 5: O "Perfeito 17"

Primeiro, os autores enfrentaram os códigos mais curtos possíveis: Comprimento 5.

A Regra: Eles provaram que não é possível criar um número de Salem com um código mais curto que 5. É como tentar construir uma casa com apenas 3 tijolos; ela simplesmente não se sustentará.
A Descoberta: Eles encontraram exatamente 17 códigos únicos de comprimento 5.
O Resultado: Esses 17 códigos desbloqueiam 13 números de Salem diferentes. Um desses números é famoso: é o menor número de Salem já descoberto (conhecido como o número de Lehmer). Os autores confirmaram que não há outros números de Salem "escondidos" com um código tão curto. Eles têm uma lista completa, e a lista está finalizada.

O Mistério do Comprimento 6: As "Famílias Infinitas" e os "Estranhos"

Em seguida, eles analisaram códigos de Comprimento 6. É aqui que o enredo se intensifica.

1. As Famílias Infinitas (Os Trilhos do Trem)
Eles descobriram que a maioria dos códigos de comprimento 6 não é aleatória. Eles pertencem a 12 famílias infinitas.

A Analogia: Imagine um trilho de trem. Uma vez que você encontra o padrão dos trilhos, sabe que o trem pode seguir para sempre. Essas 12 famílias são como 12 trilhos de trem diferentes que se estendem infinitamente. Você pode gerar um número infinito de números de Salem seguindo esses padrões específicos.

2. Os Estranhos Esporádicos (Os Gatos Vadios)
Mas, nem todos os códigos de comprimento 6 se encaixam nesses trilhos. Alguns são "esporádicos"—são códigos únicos, de uma só ocorrência, que não seguem os padrões infinitos.

O Desafio: Como saber que você não perdeu um gato vadio, já que existem infinitos números?
A Solução: Os autores usaram poderosas ferramentas matemáticas para provar que há apenas um número finito desses estranhos.
A Lista: Eles conseguiram encontrar e listar 126 desses códigos de "gato vadio".
- Nota: Eles encontraram 116 deles que correspondem a números de Salem menores que um número famoso chamado "menor número de Pisot" (pense nisso como um limite de velocidade específico na linha numérica).
- Eles encontraram mais 10 que são ligeiramente maiores.
- A Ressalva: Eles dizem: "Se uma famosa conjectura matemática chamada 'Conjectura de Lehmer' for verdadeira (o que a maioria das pessoas acredita que é), então nossa lista de 126 está 100% completa." Se essa conjectura estiver errada, pode haver mais alguns números muito pequenos se escondendo lá fora, mas eles são tão pequenos que são praticamente invisíveis.

A Conexão "Pisot"

Para entender como encontraram essas famílias infinitas, os autores usaram um auxiliar chamado número de Pisot.

A Analogia: Pense em um número de Pisot como uma "semente". Se você plantar essa semente e cultivar um tipo específico de planta matemática (usando um método descoberto pelo matemático Salem), ela cresce e se torna um número de Salem.
Os autores mostraram que, para cada "semente" (polinômio de Pisot) de um certo tipo, é possível cultivar uma linha infinita de números de Salem. Eles catalogaram exatamente quais sementes cultivam quais linhas.

O Mapa Final do Tesouro

O artigo termina com uma tabela massiva (Tabela 4).

Esta é uma "Quem é Quem" de todos os números de Salem conhecidos que são menores que o menor número de Pisot.
Para cada número, eles fornecem o "código mais curto" (o polinômio) que o desbloqueia.
Eles também informam o "grau" (quão complexo é o código) e a "curtação" (a soma dos números).

Resumo

Em termos simples, McKee e Smyth:

Concluíram o trabalho para os códigos mais curtos (Comprimento 5): Existem exatamente 17 deles.
Mapearam a paisagem para os próximos códigos mais curtos (Comprimento 6): Eles encontraram 12 padrões infinitos e uma lista específica de 126 exceções únicas.
Criaram um guia de referência para todos os pequenos números de Salem atualmente conhecidos pela humanidade.

Eles não encontraram um novo uso para esses números no mundo real (como medicina ou engenharia); em vez disso, simplesmente resolveram um enorme quebra-cabeça na matemática pura, garantindo que, para esses códigos "curtos" específicos, a lista seja tão completa quanto possível.

Resumo Técnico: Polinômios de Salem Curtos

Enunciado do Problema
O artigo aborda a classificação dos polinômios de Salem com base em seu "comprimento", definido como a soma dos valores absolutos de seus coeficientes. Um número de Salem $\tau > 1$ é um inteiro algébrico real cujos conjugados de Galois (excluindo $\tau$ ) têm módulo no máximo 1, com pelo menos um tendo módulo exatamente 1. Um polinômio de Salem é o polinômio minimal de um número de Salem, potencialmente multiplicado por polinômios ciclotômicos. Os autores concentram-se em polinômios de comprimento curto, especificamente comprimento 5 e comprimento 6. Embora seja estabelecido que polinômios inteiros recíprocos e mônicos de comprimento $\le 4$ são ciclotômicos, o comprimento mínimo para um polinômio de Salem é 5. O artigo busca fornecer uma enumeração completa dos polinômios de Salem de comprimento 5 e uma classificação estrutural daqueles de comprimento 6.

Metodologia
Os autores empregam uma combinação de teoria dos números analítica, manipulação algébrica e algoritmos de busca computacional:

Limites Analíticos e Intercalação: Para comprimento 5, os autores analisam a função $s(\theta)$ derivada do polinômio avaliado no círculo unitário ( $z = e^{i\theta}$ ). Eles utilizam o Lema 2.1 sobre a intercalação dos zeros de $f(\theta)$ e $f'(\theta)$ para limitar o número de soluções de $s(\theta)=1$ . Isso permite-lhes provar que, para graus suficientemente grandes, o polinômio não pode satisfazer as condições para ser um polinômio de Salem, restringindo assim a busca a um conjunto finito de parâmetros.
Construção de Salem e Sequências de Pisot: Para comprimento 6, o artigo baseia-se no método de Salem de construir sequências de números de Salem convergindo para números de Pisot. Especificamente, para um polinômio de Pisot irredutível $P(z)$ e $\epsilon \in \{-1, 1\}$ , a sequência $P_n(z) = z^n P(z) + \epsilon P^*(z)$ é analisada. A Proposição 2.5, amplamente baseada no trabalho de Boyd, estabelece condições sob as quais esses polinômios possuem um único zero fora do círculo unitário (tornando-os de Salem ou de Pisot) e caracteriza seus fatores ciclotômicos.
Busca Computacional com Limites de Lacunas: Para encontrar polinômios de Salem esporádicos (não familiares) de comprimento 6, os autores adaptam um algoritmo de [10] para buscar polinômios recíprocos dentro de intervalos específicos $[a, b]$ . Eles utilizam a desigualdade de Gonçalves e os limites inferiores de Dobrowolski para restringir o espaço de busca. A busca envolve limitar as "lacunas" entre coeficientes não nulos. Quando uma lacuna não pode ser limitada devido a um zero de um polinômio intermediário no intervalo, os autores identificam isso como um ponto limite correspondente a uma família infinita ou a um caso esporádico específico.
Análise de Fatores Ciclotômicos: Os autores calculam explicitamente os fatores ciclotômicos das famílias infinitas usando resultantes e propriedades das raízes da unidade (Lema 2.3), permitindo-lhes determinar os polinômios mínimos e os graus dos números de Salem resultantes.

Principais Contribuições e Resultados

Classificação de Comprimento 5 (Teorema 1): O artigo fornece uma lista completa de todos os polinômios de Salem de comprimento 5. Existem exatamente 17 tais polinômios associados a 13 números de Salem distintos. Esses resultados confirmam que não existem números de Salem de comprimento 5 abaixo do número de Lehmer ( $\lambda_0 \approx 1.176$ ), alinhando-se com achados anteriores em [7], mas fornecendo uma prova rigorosa de completude.
Classificação de Comprimento 6 (Teorema 2): Os autores demonstram que todos, exceto um número finito, dos polinômios de Salem de comprimento 6 pertencem a uma de 12 famílias infinitas. Essas famílias são geradas pela construção de Salem usando polinômios de Pisot específicos (trinômios e $z-2$ $z - 2$ ).
- O artigo identifica 126 polinômios de Salem de comprimento 6 "esporádicos" com números de Salem $\ge 1.01$ .
- Destes, 116 correspondem a números de Salem abaixo do menor número de Pisot $\theta_0 \approx 1.3247$ , e 10 estão acima de $\theta_0$ .
- A existência dessas famílias e a finitude do conjunto esporádico são provadas, embora a completude da lista esporádica abaixo de 1.01 dependa da suposição de que a busca possa ser estendida arbitrariamente próxima de 1 (o que é computacionalmente impraticável) ou da veracidade da Conjectura de Lehmer.
Fatores Ciclotômicos nas Famílias (Teorema 3 e Proposição 5.1): O artigo detalha os fatores ciclotômicos para as 12 famílias infinitas. Ele fornece fórmulas explícitas para os polinômios mínimos dos números de Salem nessas famílias, mostrando que, para grandes $n$ , o grau do polinômio mínimo cresce linearmente com $n$ , menos um termo de correção periódico determinado pelos fatores ciclotômicos.
Tabelas Abrangentes: Os autores fornecem:
- Tabela 1: Os 17 polinômios de Salem de comprimento 5 e seus números correspondentes.
- Tabela 2: Os 126 polinômios de Salem de comprimento 6 esporádicos conhecidos (para números $\ge 1.01$ ).
- Tabela 4: Uma compilação de todos os números de Salem conhecidos abaixo do menor número de Pisot $\theta_0$ , listando seus graus, comprimentos e polinômios curtos de grau mínimo. Isso inclui a sequência $\tau_n$ convergindo para $\theta_0$ e 53 números esporádicos.

Significado
O artigo afirma fornecer a primeira classificação completa dos polinômios de Salem de comprimento 5. Para comprimento 6, estabelece uma dicotomia estrutural: o conjunto desses polinômios consiste em um número finito de exemplos esporádicos e um conjunto enumerável de famílias infinitas. Os autores observam que sua lista de polinômios de Salem de comprimento 6 esporádicos é completa para números de Salem $\ge 1.01$ . Eles afirmam que, embora estender essa lista para números arbitrariamente próximos de 1 seja impraticável, a lista estaria completa se a Conjectura de Lehmer (que $\lambda_0$ é o menor número de Salem) for verdadeira. O trabalho refina a compreensão da distribuição dos números de Salem próximos a 1 e esclarece a relação entre números de Salem, números de Pisot e fatores ciclotômicos através de construções polinomiais explícitas.