Perfect Sets of Liouville Numbers with Controlled Self-Powers

1. Problema e Contexto

O artigo investiga o comportamento aritmético da função de auto-potência $f(x) = x^x$ quando aplicada a números de Liouville.

• Números de Liouville ($L$): São números irracionais que podem ser aproximados por racionais com precisão extraordinária (para todo $N$, existem $p, q$ tais que $|x - p/q| < q^{-N}$). O conjunto $L$ é denso, tem medida de Lebesgue zero, mas é um conjunto $G_\delta$ denso (topologicamente "grande").
• O Desafio: Embora seja conhecido que a soma e o produto de números de Liouville podem gerar qualquer número real (e que $L$ é fechado sob certas operações algébricas), o comportamento de $x^x$ para $x \in L$ é complexo.
  • Sabe-se que se $x$ é um "número de Liouville $\epsilon$-forte" (uma subclasse definida por aproximações ainda mais rápidas), então $x^x$ é transcendente (Teorema de [7]).
  • A questão aberta abordada neste trabalho é: É possível construir um conjunto perfeito (não enumerável) de números de Liouville $x$ tal que $x^x$ também seja um número de Liouville?
  • Além disso, os autores buscam conjuntos onde não apenas $x^x$, mas também somas, produtos e potências cruzadas ($x^y$) permaneçam dentro do universo dos números de Liouville.

2. Metodologia

Os autores utilizam uma combinação de teoria da aproximação diofantina, construções de conjuntos do tipo Cantor e análise real.

1. Construção de Constantes "Spiffy" (Brilhantes):

   • Definem uma classe de números baseada em expansões em base 3 com dígitos restritos a $\{0, 2\}$ (semelhante ao conjunto de Cantor), mas com uma taxa de crescimento extremamente rápida dos denominadores das truncagens racionais ($e_{n+1} = 3e_n$).
   • Introduzem o conceito de "Constantes Spiffy Sintonizadas" (Tuned Spiffy Constants), que são subconjuntos dessas constantes onde as truncagens racionais $r_m$ satisfazem condições específicas de aproximação para $r_m \log r_m$ e $e^{r_m \log r_m}$.

2. Aproximação de Funções Transcendentes:

   • Utilizam a função $\phi(t) = t \log t$ e sua exponencial $f(t) = e^{\phi(t)} = t^t$.
   • Aproveitam o fato de que, em intervalos compactos afastados de $e^{-1}$, a função $x^x$ é Lipschitz (ou bi-Lipschitz), permitindo controlar o erro de aproximação da imagem a partir do erro na pré-imagem.
   • Usam polinômios de Taylor e aproximações racionais (como em Padé) para aproximar $e^{U}$ onde $U$ é uma aproximação racional de $x \log x$.

3. Argumentos de Dimensão de Hausdorff e Topologia:

   • Para mostrar a existência de conjuntos onde $x^x$ não é Liouville (mas é transcendente), utilizam argumentos de dimensão de Hausdorff para provar que o conjunto de "exceções" tem dimensão zero dentro de um conjunto Cantor de dimensão positiva.
   • Para os conjuntos perfeitos desejados, utilizam a liberdade na escolha de dígitos em uma construção de Cantor para garantir que as condições de Liouville sejam satisfeitas simultaneamente para somas, produtos e potências.

3. Principais Contribuições e Resultados

O artigo apresenta uma série de teoremas que mapeiam a estrutura algébrica e topológica dos números de Liouville sob a operação de auto-potência:

A. Existência de Conjuntos Perfeitos com $x^x \in L$

• Teorema 2.4: Existe um conjunto perfeito de cardinalidade do contínuo ($\mathfrak{c}$) de "constantes sintonizadas" (tuned spiffy constants) tal que, para todo $x$ neste conjunto, $x^x$ é um número de Liouville.
• Teorema 5.5: Existe um conjunto perfeito $T \subset S$ (onde $S$ é o conjunto de constantes spiffy) que é algebricamente fechado para Liouville (ou seja, qualquer combinação polinomial não constante de elementos de $T$ é ou racional ou Liouville) e tal que, para todo $x \in T$, $x^x$ é um número de Liouville.

B. Existência de Conjuntos onde $x^x$ é Transcendente mas NÃO Liouville

• Teorema 3.1: Para qualquer $\epsilon > 0$, existem $\mathfrak{c}$ números de Liouville $\epsilon$-fortes $x$ tais que $x^x$ é transcendente, mas não é um número de Liouville. Isso é provado mostrando que o conjunto de $x$ onde $x^x$ é "muito bem aproximável" tem dimensão de Hausdorff zero dentro do conjunto Cantor construído.

C. Fechamento Algébrico e Potências Cruzadas

• Teorema 5.1: O conjunto $S$ de constantes spiffy é algebricamente fechado para Liouville. Se $x_1, \dots, x_k \in S$, então $P(x_1, \dots, x_k)$ é racional ou Liouville para qualquer polinômio não constante $P \in \mathbb{Z}[X_1, \dots, X_k]$.
• Teorema 6.1 (Potências Cruzadas): Existe um conjunto perfeito $W \subset T$ de cardinalidade $\mathfrak{c}$ tal que, para qualquer par $x, y \in W$, a potência cruzada $x^y$ é um número de Liouville.
  • Mecanismo: A construção sincroniza as "truncagens" (aproximações racionais) de todos os elementos de $W$ em uma escala esparsa comum, garantindo que $y \log x$ esteja extremamente próximo de uma constante racional fixa, permitindo a aproximação de $e^{y \log x}$.

D. Estrutura Topológica

• Teorema 4.3 e Corolário 4.2: O conjunto de números de Liouville $x$ tais que $x^x$ também é Liouville é um conjunto $G_\delta$ denso em $(0, \infty)$. Isso implica que, topologicamente, essa propriedade é "genérica" dentro dos números de Liouville, apesar de ser aritmeticamente restritiva.

4. Significado e Impacto

1. Quebra de Intuição sobre Transcendência: O trabalho demonstra que, embora a maioria dos números de Liouville "fortes" produza auto-potências transcendentes (não Liouville), é possível forçar a estrutura aritmética de modo que a auto-potência permaneça dentro da classe de Liouville, preservando a "fina" estrutura de aproximação.
2. Riqueza Estrutural: Mostra que o universo dos números de Liouville não é apenas um conjunto "fino" aritmeticamente, mas contém estruturas topológicas ricas (conjuntos perfeitos) que são fechadas sob operações complexas como $x^x$ e $x^y$.
3. Generalização do Teorema de Gelfond-Schneider: O artigo sugere que não há análogo direto do Teorema de Gelfond-Schneider (que afirma que $a^b$ é transcendente para $a$ algébrico $\neq 0,1$ e $b$ algébrico irracional) dentro da classe de Liouville, pois $x^x$ pode ser Liouville (e portanto transcendente, mas de um tipo específico) ou transcendente não-Liouville, dependendo da construção.
4. Novas Técnicas de Construção: A introdução de "constantes sintonizadas" e o uso de esquemas de aproximação sincronizados para potências cruzadas oferecem novas ferramentas para a construção de conjuntos com propriedades diofantinas específicas.

Em resumo, o artigo estabelece que a operação $x \mapsto x^x$ preserva a "grandeza" topológica (conjuntos perfeitos, densidade) e pode ser controlada para manter a "finezha" aritmética (propriedade de Liouville) dentro do conjunto dos números de Liouville, desafiando a noção de que operações transcendentes necessariamente "escapam" para classes de números menos aproximáveis.