Recursive Prime Factorizations: Dyck Words as Numbers

Resumo Técnico: Fatoração Primal Recursiva e Palavras de Dyck

1. O Problema

O artigo identifica a arbitrariedade inerente aos sistemas de numeração posicionais (como o sistema decimal). Nesses sistemas, a representação de um número depende de uma base escolhida arbitrariamente (ex: 10), o que obscurece padrões matemáticos intrínsecos e introduz operações complexas (exponenciação, multiplicação e adição) na avaliação do número. Além disso, a fatoração primal, embora única e fundamental na teoria dos números, não é diretamente refletida na notação posicional. O autor busca um sistema de representação numérica que:

• Não utilize uma base arbitrária.
• Não exija a operação de adição para avaliação.
• Represente números de forma única e recursiva baseada na fatoração primal.
• Utilize um alfabeto mínimo (apenas dois símbolos).

2. Metodologia

O autor propõe uma classe de sistemas de numeração não posicionais chamados "Fatorações Primal Recursivas Naturais" (Natural RPFs) e sua extensão "Fatorações Primal Recursivas Superracionais" (Superrational RPFs). A metodologia baseia-se em:

• Fatoração Primal Preenchida e Parentesada Mínima (MPPPF): Uma representação onde um número $n$ é expresso como o produto de potências de todos os primos consecutivos até o maior fator primo de $n$, incluindo potências zero para primos ausentes. Cada termo exponencial é envolto em parênteses.
• Recursividade: Os expoentes na fatoração são, por sua vez, representados recursivamente usando a mesma lógica.
• Codificação em Parênteses: Após a expansão recursiva, todos os símbolos (números, operadores) são removidos, restando apenas os parênteses. O resultado é uma palavra na Linguagem de Dyck (strings de parênteses balanceados).
• Interpretação Formal: O autor define rigorosamente as funções de "ortografia" (spelling, $\gamma$) que mapeiam números para palavras de Dyck e funções de "avaliação" (evaluation, $\alpha$) que mapeiam palavras de volta para números, estabelecendo isomorfismos entre conjuntos numéricos e linguagens formais.
• Extensão para Números Racionais e Irracionais: Ao permitir que parênteses vazios no final da string representem um sinal negativo (negando o número), o sistema expande-se para representar números racionais, algébricos e transcendentais, mantendo o mesmo alfabeto de dois símbolos.

3. Principais Contribuições

A. O Sistema Natural Mínimo (RPFNrmin)

• Define uma linguagem $D_{rmin}$ (subconjunto próprio da Linguagem de Dyck $D$) que possui uma correspondência biunívoca (bijetora) com os números naturais $\mathbb{N}$.
• 0 é representado pela string vazia ($\epsilon$).
• 1 é representado por ().
• Números maiores são construídos concatenando parênteses que representam os expoentes da fatoração primal.
• Exemplo: O número 520 ($2^3 \cdot 5^1 \cdot 13^1$) é representado como (()(()))()(())()()(()).
• Prova-se que $D_{rmin}$ é uma linguagem livre de contexto e que a avaliação é livre de adição, dependendo apenas de exponenciação e multiplicação de primos.

B. O Sistema Superracional Mínimo (RPFSrmin)

• Estende o sistema para o conjunto $S$ de "números superracionais", que inclui $\mathbb{N}$, $\mathbb{Z}$, $\mathbb{Q}$, algumas irracionalidades algébricas (ex: $\sqrt{2}$) e transcendentais (ex: $2^{\sqrt{2}}$).
• Mecanismo de Sinal: A adição de um par de parênteses vazios () no final de uma palavra (uma "inflação" de grau 1) nega o valor do número.
  • () = 1
  • ()() = -1
  • ((())) = 4
  • ((()())) = $\sqrt{2}$ (representando $2^{1/2} = 2^{2^{-1}}$)
• Demonstra-se que o mesmo alfabeto de dois símbolos (( e )) é suficiente para representar todo esse espectro numérico sem necessidade de sinais negativos explícitos ou pontos decimais.

C. Teoria das Linguagens e Inflação

• O autor introduz o conceito de "inflação": adicionar pares de parênteses vazios a uma palavra mínima sem alterar seu valor numérico (análogo a adicionar zeros à esquerda em decimal).
• Define linguagens "completas de Dyck" onde todas as inflações são permitidas, criando classes de equivalência onde múltiplas palavras representam o mesmo número.
• Estabelece que a linguagem mínima é um subconjunto próprio da linguagem de Dyck completa, caracterizada pela ausência de certas substrings (ex: )())) e sufixos ()()).

D. Generalização e Permutações

• O sistema é generalizado para permitir permutações da sequência de números primos, embora o artigo foque na permutação padrão (ascendente: 2, 3, 5...).

4. Resultados

• Unicidade e Minimalidade: Foi provado que para cada número natural existe exatamente uma palavra mínima em $D_{rmin}$, e para cada número superracional existe uma palavra mínima em $D_{rqmin}$.
• Eficiência Estrutural: O sistema elimina a necessidade de adição na avaliação, refletindo diretamente a estrutura multiplicativa e exponencial dos números.
• Representação de Transcendentais: O sistema consegue representar números transcendentais como $2^{\sqrt{2}}$ de forma finita e recursiva, algo impossível em sistemas posicionais finitos.
• Análise de Padrões: O artigo identifica padrões em "listras" (subsequências de números com o mesmo comprimento de string) e sugere conexões com a fatoração de inteiros e a teoria de autômatos.
• Aplicabilidade em IA: O autor discute como essas representações podem servir como corpora para treinar redes neurais (Transformers) para aprender a estrutura da aritmética, oferecendo uma representação "lossless" (sem perda de informação sobre quais primos compõem o número) em comparação com árvores de fatoração tradicionais.

5. Significado e Implicações

• Teoria dos Números Gramatical: O trabalho propõe uma nova perspectiva na teoria dos números, tratando a aritmética através da lente da teoria de linguagens formais e gramáticas, em vez de apenas operações algébricas.
• Fundamentos Computacionais: Oferece um modelo teórico para representação de números que pode ser útil em criptografia (fatoração de semiprimos) e na análise de complexidade de algoritmos.
• Aprendizado de Máquina: Sugere que a estrutura recursiva das palavras de Dyck pode facilitar o aprendizado de padrões aritméticos profundos por modelos de IA, possivelmente superando as limitações dos sistemas posicionais na generalização de regras matemáticas.
• Limitações Práticas: O autor admite que o sistema é impraticável para uso cotidiano (como contabilidade) devido ao tamanho das strings para números grandes, mas destaca seu valor teórico para o estudo de padrões numéricos.

Em suma, o artigo apresenta uma construção elegante e rigorosa que une a Teoria dos Números, a Teoria das Linguagens Formais e a Computação, demonstrando que a estrutura fundamental dos números pode ser codificada inteiramente na topologia de parênteses balanceados.