If a machine did it, it is probably transcendental (even $p$-adically)

Resumo Técnico: "Se uma máquina o fez, é provavelmente transcendental (mesmo $p$-adicamente)"

Enunciado do Problema
O artigo investiga a natureza algébrica dos números $p$-ádicos cujas expansões de frações contínuas correspondem a classes específicas de palavras. Embora as frações contínuas no cenário real ($\mathbb{R}$) forneçam uma ponte bem estabelecida entre a estrutura combinatória das palavras e as propriedades algébricas dos números (por exemplo, o teorema de Lagrange ligando palavras periódicas a irracionais quadráticos), o cenário $p$-ádico ($\mathbb{Q}_p$) apresenta desafios estruturais significativos.

A questão central abordada é se famílias de palavras "estruturadas" (generalizações de palavras periódicas, automáticas ou palíndromas) correspondem a números algébricos de grau superior a 2 em $\mathbb{Q}_p$. No caso real, resultados de Bugeaud e Adamczewski-Bugeaud sugerem que tais palavras estruturadas geralmente geram números transcendentais, sendo as únicas exceções algébricas as quadráticas (periódicas) ou racionais (finitas). Os autores visam estabelecer um resultado análogo para números $p$-ádicos, superando a ausência de uma função piso canônica e a falta de um análogo $p$-ádico completo do teorema de Lagrange.

Metodologia
Os autores adaptam a estratégia utilizada por Bugeaud no cenário real, utilizando o Teorema do Subespaço $p$-ádico (especificamente a versão de Schlickewei) como a principal ferramenta. A metodologia procede da seguinte forma:

1. Classes de Palavras: O estudo foca em duas generalizações de palavras periódicas definidas por Bugeaud:

   • Palavras $\spadesuit$: Palavras que contêm prefixos da forma $W_n U_n V_n U_n$ (blocos repetidos).
   • Palavras $\clubsuit$: Palavras que contêm prefixos da forma $W_n U_n V_n \tilde{U}_n$ (blocos palíndromos, onde $\tilde{U}_n$ é a reversão de $U_n$).
     Estas classes incluem palavras automáticas e palavras de baixa complexidade.

2. Estratégia de Aproximação: A ideia central é aproveitar a estrutura repetitiva ou palíndroma da palavra para construir uma sequência de números aproximantes ($\alpha_n$) que são ou quadráticos ou racionais.

   • Para palavras $\spadescu$, os autores constroem $\alpha_n$ com frações contínuas periódicas.
   • Para palavras $\clubsuit$, os autores constroem $\alpha_n$ com frações contínuas palíndromas.
     Como o número original $\alpha$ e os aproximantes $\alpha_n$ compartilham um prefixo comum longo em suas expansões de frações contínuas, eles são extremamente próximos na métrica $p$-ádica.

3. Aplicação do Teorema do Subespaço: Os autores definem formas lineares específicas envolvendo $\alpha$ e os continuantes ($A_n, B_n$) da fração contínua. Eles demonstram que, se $\alpha$ fosse algébrico de grau $\ge 3$, a qualidade de aproximação proporcionada pelas palavras estruturadas violaria os limites impostos pelo Teorema do Subespaço $p$-ádico. Isso leva a uma contradição, implicando que $\alpha$ não pode ser de grau 3 ou superior.

4. Tratamento de Especificidades $p$-ádicas: Uma parte significativa do trabalho técnico envolve gerenciar a natureza não canônica das funções piso $p$-ádicas ($s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$). Os autores impõem condições suaves sobre os quocientes parciais (especificamente limites nas suas normas $p$-ádicas e euclidianas) para garantir a convergência e a aplicabilidade do Teorema do Subespaço.

Contribuições Principais e Resultados
A principal contribuição do artigo é o Teorema 1.4 (e suas versões explícitas, Teoremas 4.1 e 4.3), que afirma:

Seja $p$ um primo ímpar e $s$ uma função piso $p$-ádica. Se $\alpha = [0, a_1, a_2, \dots]_s$ é um número $p$-ádico cuja palavra associada satisfaz a condição $\spadesuit$ ou $\clubsuit$ (com limites específicos no crescimento dos continuantes e no tamanho dos quocientes parciais), então $\alpha$ é racional, quadrático ou transcendental.

Descobertas específicas incluem:

• Generalização de Resultados Reais: Isto fornece um análogo $p$-ádico do Teorema 1.3 de Bugeaud para números reais, estendendo a filosofia de "interseções improváveis" para o cenário não arquimediano.
• Corolário 1.5: O resultado aplica-se aos algoritmos clássicos de frações contínuas $p$-ádicas de Ruban e Browkin, desde que os quocientes parciais satisfaçam limites inferiores específicos em seus valores absolutos $p$-ádicos (por exemplo, $|a_n|_p \ge p^4$ para a função de Ruban com repetições).
• Corolário 1.6: O resultado aplica-se a sequências automáticas sobre alfabetos finitos (especificamente $\{n/p, m/p\}$), mostrando que, para $p$ suficientemente grande, os números $p$-ádicos resultantes são racionais, quadráticos ou transcendentais.
• Refinamento de Condições: Os autores fornecem constantes explícitas ($C_\infty, C_p, k$) nos Teoremas 4.1 e 4.3 que definem os limiares precisos para os quocientes parciais necessários para garantir a transcendência.

Significância e Alegações
Os autores alegam que este trabalho resolve a Questão 1.1 (se palavras estruturadas podem corresponder a números algébricos de grau $>2$) de forma negativa para uma ampla classe de palavras no cenário $p$-ádico.

• Superação de Dificuldades Estruturais: O artigo destaca que o caso $p$-ádico é mais complexo que o caso real devido às escolhas infinitas de funções piso e à ausência de um Teorema de Lagrange universal. Os resultados dos autores são significativos porque são válidos para qualquer função piso $p$-ádica que satisfaça condições suaves de limitação, em vez de serem restritos a construções específicas.
• Unindo Campos: O trabalho reforça a conexão profunda entre a combinatória de palavras e a teoria dos números, demonstrando que o "hiato" entre palavras periódicas (grau algébrico 2) e palavras gerais (transcendentes) persiste no reino $p-ádico$, mesmo sem as propriedades canônicas da função piso real.
• Modéstia: Os autores observam que, embora seus resultados cubram palavras $\spadesuit$ e $\clubsuit$ (que incluem palavras automáticas), a questão de se todas as palavras de baixa complexidade geram números transcendentais permanece aberta em geral, uma vez que um análogo direto do Teorema 2.1 (ligando baixa complexidade a $\spadesuit$) para palavras $\clubsuit$ ainda não foi estabelecido.

Em resumo, o artigo estabelece que "máquinas" (máquinas de estados finitos gerando palavras automáticas) que produzem frações contínuas $p$-ádicas estruturadas geralmente produzem números transcendentais, sendo as únicas exceções algébricas aquelas de grau no máximo 2.