Multivariable automatic arrays and transcendence

1. Problema e Contexto

O artigo aborda um problema central na teoria dos números transcendentes e na teoria da aproximação diofantina: determinar a natureza aritmética (racional, algébrica irracional ou transcendente) de números reais definidos por séries geradas por sequências com baixa complexidade combinatória.

• Contexto Histórico: Resultados clássicos, como o Teorema de Christol (em característica $p$) e o trabalho de Adamczewski e Bugeaud (2007) sobre sequências unidimensionais, estabeleceram que números cujas expansões em base $b$ são geradas por autômatos finitos (sequências $k$-automáticas) são ou racionais ou transcendentais. Especificamente, Adamczewski e Bugeaud provaram que se $(a_n)$ é uma sequência de inteiros limitada e $k$-automática, então $\alpha = \sum a_n b^{-n}$ é racional ou transcendente.
• A Questão Aberta: O trabalho estende essa investigação para o contexto multidimensional. A questão é: se temos múltiplas sequências automáticas independentes e construímos uma série multivariável ponderada por bases multiplicativamente independentes, a natureza do número resultante permanece a mesma (racional ou transcendente)?

2. Configuração Matemática

Os autores definem o seguinte cenário:

• Bases: Inteiros $a_1, \dots, a_r \ge 2$ que são multiplicativamente independentes (ou seja, $\log a_1, \dots, \log a_r$ são linearmente independentes sobre $\mathbb{Q}$).
• Sequências: Para cada $i \in \{1, \dots, r\}$, existe uma sequência limitada $(p_n^{(i)})_{n \ge 0}$ de inteiros que é $k_i$-automática.
• Função de Combinação: Uma função $f: \mathbb{Z}^r \to \mathbb{Z}$.
• Array Automático: Define-se um array $r$-dimensional $c = (c_{n_1, \dots, n_r})$ onde $c_{n_1, \dots, n_r} = f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})$.
• Número Objetivo: O número real $\alpha$ é definido pela série:
  $$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{c_{n_1, \dots, n_r}}{a_1^{n_1} \cdots a_r^{n_r}}$$

3. Metodologia

A prova combina ferramentas profundas da teoria dos autômatos com métodos avançados de aproximação diofantina.

A. Propriedades Combinatórias (Sequências "Stammering")

• Os autores utilizam a propriedade de que sequências automáticas satisfazem uma condição de "stammering" (gagueira). Isso significa que prefixos arbitrariamente longos da sequência contêm blocos repetidos grandes com sobreposição controlada.
• Formalmente, para uma sequência automática, existem sequências de palavras $(U_n)$ e $(V_n)$ tais que $U_n V_n^w$ é um prefixo da sequência para algum $w > 1$, com a razão $|U_n|/|V_n|$ limitada e $|V_n|$ estritamente crescente.
• Essa propriedade permite aproximar as sequências automáticas originais por sequências eventualmente periódicas de forma controlada.

B. Aproximação Diofantina (Teorema do Subespaço)

• O núcleo da prova é a aplicação do Teorema do Subespaço de Schmidt (refinado por Schlickewei).
• Construção de Aproximações Racionais ($\alpha_n$): Para cada $n$, os autores constroem uma aproximação racional $\alpha_n$ substituindo as sequências automáticas $(p_k^{(i)})$ por suas versões eventualmente periódicas (baseadas nos blocos $U_n$ e $V_n$).
• Estrutura de $\alpha_n$: Devido à periodicidade, $\alpha_n$ pode ser expresso como uma fração racional onde o denominador é um produto de termos da forma $a_i^{r_n(i)}(a_i^{s_n(i)} - 1)$ e o numerador é um polinômio $P_n$ com coeficientes inteiros limitados.
• Aplicação do Teorema: Os autores definem vetores $x_n$ e formas lineares $L_{v,i}$ para aplicar o Teorema do Subespaço. Eles demonstram que o produto das aproximações (medido pelas alturas e valores absolutos) satisfaz a desigualdade necessária para forçar os pontos $x_n$ a caírem em um número finito de subespaços próprios de $\mathbb{Q}^{2r+1}$.

4. Resultados Principais

Teorema A (Resultado Central):
Sejam $r \ge 2$, $a_1, \dots, a_r \ge 2$ inteiros multiplicativamente independentes, e $(p_n^{(i)})$ sequências limitadas e automáticas. Seja $f: \mathbb{Z}^r \to \mathbb{Z}$ uma função e $\alpha$ a série definida acima.

Então, $\alpha$ é ou um número racional ou um número transcendente.

Detalhes da Prova do Teorema:

1. Assume-se que $\alpha$ é algébrico.
2. A aplicação do Teorema do Subespaço implica que os vetores de aproximação $x_n$ satisfazem uma relação linear não trivial com coeficientes racionais para infinitos $n$.
3. Analisando essa relação linear no limite ($n \to \infty$):
   • Se o coeficiente associado ao termo transcendente for não nulo, conclui-se que $\alpha$ é racional.
   • Se esse coeficiente for zero, chega-se a uma relação linear entre potências das bases $a_i$. Devido à independência multiplicativa das bases e ao crescimento estrito dos períodos, isso leva a uma contradição (a menos que todos os coeficientes sejam nulos, o que é impossível).
4. Portanto, a única possibilidade para um número algébrico é ser racional.

5. Contribuições Chave

1. Generalização Multidimensional: Estende o teorema de Adamczewski-Bugeaud (unidimensional) para arrays automáticos de dimensão $r$.
2. Unificação de Métodos: Demonstra a eficácia de combinar a estrutura de repetição de autômatos (condição de stammering) com a rigidez da aproximação diofantina (Teorema do Subespaço) em dimensões superiores.
3. Tratamento de Arrays: Formaliza a noção de arrays automáticos multidimensionais gerados por funções de sequências automáticas unidimensionais, provando que tais estruturas mantêm as propriedades de rigidez aritmética necessárias para a transcendência.

6. Significado e Perspectivas

• Impacto Teórico: O resultado reforça a conjectura de que a baixa complexidade combinatória (gerada por autômatos) é incompatível com a existência de números algébricos irracionais, mesmo em configurações multivariáveis complexas.
• Limitações e Futuro: O artigo deixa em aberto a questão de saber se o resultado se mantém para arrays automáticos gerais (não necessariamente gerados por produtos de sequências unidimensionais), sugerindo que os métodos desenvolvidos podem ser a base para investigar analogues multidimensionais de outros problemas clássicos na teoria da transcendência.

Em resumo, o artigo estabelece uma fronteira rigorosa na teoria dos números: números definidos por arrays automáticos multidimensionais com bases independentes não podem ser "números algébricos estranhos"; eles pertencem estritamente ao conjunto dos racionais ou dos transcendentais.