Abelian-normal decimal expansions

O artigo introduz o conceito de números abelianamente normais, inspirado na complexidade abeliana, e constrói uma constante análoga à de Champernowne que, embora não seja normal, satisfaz a propriedade de ser abelianamente normal sob uma função de ponderação específica.

O essencial

Imagine que você tem um livro infinito escrito apenas com números de 0 a 9. Se você abrir esse livro em qualquer lugar e começar a ler, a chance de encontrar o número "7" deve ser a mesma de encontrar um "3", e a chance de encontrar a sequência "12" deve ser a mesma de encontrar "34". Se isso acontecer de forma perfeitamente equilibrada em todo o livro, dizemos que o número é Normal. É como um baralho perfeitamente embaralhado onde, se você olhar para milhões de cartas, verá que todas as combinações aparecem com a mesma frequência esperada.

O famoso matemático Champernowne criou um número assim (chamado $C_{10}$) simplesmente colando todos os inteiros um após o outro: 0,12345678910111213... Esse número é "Normal".

O Problema: E se bagunçarmos a ordem?

O autor deste artigo, John Campbell, se perguntou: e se nós pegarmos esse número normal e começarmos a reorganizar os números dentro dele?

Imagine que você tem uma frase em português: "O gato comeu o rato". Se você reorganizar as letras, pode ficar "O taceu o gomeor". A frase original não faz mais sentido (não é mais "normal" como frase), mas as letras ainda estão lá.

Campbell criou um novo número, chamado $D_{10}$, pegando o número de Champernowne e aplicando uma regra específica de "bagunça":

• Sempre que ele encontra uma sequência de apenas os números 0 e 1 (como "10110"), ele os reorganiza para ficarem em ordem alfabética (ou numérica), transformando "10110" em "00111".
• Ele faz isso para todas as sequências de 0s e 1s que aparecem no número.

O resultado: O novo número $D_{10}$ não é mais Normal no sentido tradicional. Por exemplo, a sequência "10" (um 1 seguido de um 0) praticamente desaparece, porque o autor sempre coloca os 0s antes dos 1s. Se você procurar por "10", vai achar muito menos do que deveria.

A Grande Descoberta: A "Normalidade Abeliana"

Aqui entra a parte genial e o conceito novo do artigo: Normalidade Abeliana.

Para entender isso, usemos uma analogia de mistura de cores:

• Normalidade Tradicional: Exige que a cor "Vermelho" apareça antes do "Azul" na mesma frequência que "Azul" aparece antes do "Vermelho". A ordem importa.
• Normalidade Abeliana: Esqueça a ordem! Conte apenas a mistura. Se você tem uma caixa com 3 bolas vermelhas e 2 azuis, não importa se a sequência é "V-V-V-A-A" ou "A-V-A-V-V". Para a normalidade abeliana, o que conta é que você tem 3 vermelhos e 2 azuis no total.

O autor define uma nova forma de medir a "justiça" dos números. Ele cria uma "fórmula de peso" (uma conta matemática) que diz: "Não me importo se o 1 veio antes do 0. Me importo apenas que, em todo o número, a proporção de combinações de 0s e 1s seja equilibrada, considerando que 01 e 10 são a mesma 'mistura'."

A Conclusão do Artigo

O autor prova que, embora o número $D_{10}$ tenha perdido a "normalidade tradicional" (porque a ordem dos dígitos foi alterada), ele é perfeitamente "Abeliano-Normal".

Isso significa que, se você ignorar a ordem e olhar apenas para a quantidade de cada tipo de dígito em qualquer pedaço do número, a distribuição é perfeitamente justa e equilibrada, exatamente como deveria ser.

Resumo em Metáforas

1. O Número Original ($C_{10}$): É como uma orquestra tocando uma música onde cada instrumento entra na hora exata. É perfeito.
2. O Número Modificado ($D_{10}$): É como pegar essa orquestra e fazer com que os violinos toquem sempre antes dos flautas, e os trombones sempre depois. A música soa estranha e não é mais a mesma (não é mais "Normal").
3. A Descoberta: O autor diz: "Espere! Se você fechar os olhos e apenas contar quantas notas de cada tipo foram tocadas, a orquestra ainda está tocando perfeitamente equilibrada!" Ele criou uma nova regra de avaliação (Abeliana) que reconhece essa beleza escondida na bagunça.

Por que isso importa?
Isso nos ajuda a entender melhor o que significa ser "aleatório" ou "normal". Mostra que podemos ter números que parecem desordenados ou viciados em uma ordem específica, mas que, sob uma ótica diferente (a da "mistura" ou "permutação"), são perfeitamente justos. O artigo também deixa dois desafios para o futuro: provar se esse novo número é "transcendente" (um tipo especial de número irracional) e explorar se existem outros números que são apenas "Abeliano-Normais" e nada mais.

Resumo técnico

Resumo Técnico: Expansões Decimais Abelianamente Normais

1. Problema e Contexto

O artigo aborda a teoria dos números normais, um conceito introduzido por Émile Borel em 1909. Um número $\alpha$ é dito normal na base $B$ se, em sua expansão decimal, todos os blocos de dígitos de comprimento $k$ aparecem com frequência assintótica igual a $1/B^k$.

O problema central investigado é a relação entre a normalidade clássica e a complexidade abeliana (um conceito da combinatória em palavras que conta subpalavras até permutações de seus dígitos). Embora existam diversos trabalhos sobre regras de seleção que preservam ou violam a normalidade (como subsequências em progressões aritméticas), a questão de como reorganizar subpalavras dentro de uma expansão normal para criar um novo número que seja "abelianamente normal" (mas não necessariamente normal) permanecia aberta. O autor busca definir um novo conceito de normalidade baseado em classes de equivalência de permutação e construir um exemplo concreto de um número que satisfaça essa nova definição, mas falhe na definição clássica.

2. Metodologia

2.1 Definições Fundamentais

O autor estabelece as seguintes definições para formalizar o problema:

• Normalidade Clássica: A frequência de um bloco $E$ tende a $1/B^{\ell(E)}$.
• Complexidade Abeliana: Considera-se a contagem de um bloco $E$ juntamente com todas as suas permutações.
• Número Abelianamente Normal: Um número $\alpha$ é abelianamente normal na base $B$ com respeito a uma função de ponderação $W$ se:
  $$\lim_{n \to \infty} \frac{1}{W(E)} \frac{B_E(\alpha, n)}{n} = \frac{1}{B^{\ell(E)}}$$
  Onde $B_E(\alpha, n)$ é o número de ocorrências de $E$ e de qualquer permutação de $E$ nos primeiros $n$ dígitos, e $W(E)$ é uma função que normaliza o quociente de acordo com o tamanho da classe de equivalência de permutação de $E$.

2.2 Construção da Constante $D_{10}$

Para demonstrar a existência de um número que seja abelianamente normal, mas não normal, o autor constrói uma variante da constante de Champernowne ($C_{10} = 0.123456789101112...$).

• Mecanismo de Permutação: A construção de $D_{10}$ envolve a identificação de subpalavras binárias máximas (sequências contíguas de dígitos 0 e 1) na expansão de $C_{10}$.
• Reordenação: Cada subpalavra binária máxima encontrada em $C_{10}$ é reordenada lexicograficamente (todos os 0s vêm antes de todos os 1s).
• Resultado: A constante $D_{10}$ é gerada por essa transformação. Por construção, $D_{10}$ não contém o subbloco "10" (pois os 1s são movidos para a direita dos 0s dentro dos blocos binários), o que viola a normalidade clássica (onde "10" deveria aparecer com frequência $1/100$).

2.3 Definição da Função de Ponderação ($W$)

O cerne da metodologia é a definição de uma função de ponderação $W(E)$ específica para $D_{10}$ que compense a perda de certas permutações devido à reordenação.

• Para palavras sem dígitos binários, $W(E)$ é o número total de permutações de $E$ (fatorial dividido pelos fatoriais das contagens de cada dígito).
• Para palavras puramente binárias ou mistas, a função $W$ é definida de forma mais complexa (Equações 15 e 16 no texto), incorporando limites de contagens de ocorrências de subpalavras específicas em $C_{10}$ que são afetadas pela transformação $\sigma$ (de $C_{10}$ para $D_{10}$).
• A função $W$ ajusta o denominador na definição de normalidade abeliana para garantir que a frequência relativa das classes de equivalência permaneça uniforme, mesmo que a distribuição interna dos dígitos dentro dessas classes seja alterada.

3. Contribuições Principais

1. Introdução do Conceito de "Número Abelianamente Normal": O artigo formaliza uma nova classe de números baseada na complexidade abeliana, estendendo a teoria da normalidade clássica para incluir invariância sob permutação de dígitos dentro de subpalavras.
2. Construção de um Contraexemplo Concreto ($D_{10}$): O autor constrói explicitamente uma constante $D_{10}$ que é não-normal (devido à ausência de certos padrões como "10") mas é provada ser abelianamente normal com respeito à função de ponderação derivada.
3. Análise Combinatória Detalhada: O trabalho realiza uma análise rigorosa das diferenças de contagem entre $C_{10}$ e $D_{10}$, categorizando os casos em que permutações são contadas de forma diferente (Casos 1 e 2 no artigo) e demonstrando como a função de ponderação $W$ corrige essas discrepâncias assintoticamente.
4. Conexão Interdisciplinar: O artigo conecta a teoria dos números normais com a combinatória em palavras, especificamente utilizando funções de complexidade abeliana, um campo anteriormente menos explorado na teoria da normalidade.

4. Resultados

• Teorema 1: A constante $D_{10}$ é abelianamente normal na base 10 com respeito à função de ponderação $W$ definida no artigo.
• Demonstração: A prova mostra que, ao aplicar a função $W$, o limite da frequência relativa das classes de permutação converge para o valor esperado ($1/10^{\ell(E)}$), compensando exatamente a perda de ocorrências de certas permutações devido à reordenação lexicográfica dos dígitos binários.
• Propriedade de Não-Normalidade: É demonstrado que $D_{10}$ não é normal, pois a reordenação sistemática elimina a ocorrência do bloco "10" dentro dos blocos binários, violando a condição de normalidade clássica.

5. Significância e Conclusão

O artigo é significativo por expandir o horizonte da teoria da normalidade, sugerindo que a "aleatoriedade" de um número pode ser definida de maneiras alternativas (abelianas) que são mais robustas a certas transformações de reordenação. A construção de $D_{10}$ fornece um exemplo fundamental de que a normalidade abeliana é uma propriedade distinta da normalidade clássica.

O autor conclui levantando duas questões para pesquisas futuras:

1. Transcendência: É possível adaptar a prova de Mahler sobre a transcendência de $C_{10}$ para provar que $D_{10}$ também é transcendental?
2. Normalidade Abeliana Pura: Existe um número real que seja "puramente abelianamente normal" (usando a função de ponderação natural baseada apenas no tamanho da classe de permutação, sem ajustes complexos) mas que não seja normal?

Este trabalho abre novas portas para a investigação de propriedades de aleatoriedade em sequências de dígitos, utilizando ferramentas da combinatória em palavras para redefinir e generalizar conceitos clássicos da teoria dos números.