🔢 mathematics

Aperiodicity and subword complexity in the binary expansion of powers of three

Este artigo estabelece que as expansões binárias de potências de três exibem um aumento na aperiodicidade, com o número de posições de quebra de periodicidade crescendo como $\log m/\log\log m$ , e demonstra que seus dígitos de baixa ordem alcançam complexidade de subpalavra total para expoentes suficientemente grandes.

Autores originais: Ralf Stephan

Publicado 2026-07-17

📖 5 min de leitura🧠 Leitura aprofundada

CC0 1.0

Autores originais: Ralf Stephan

Artigo original dedicado ao domínio público sob CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

A Vida Secreta dos Números: Uma Jornada pelos Padrões Binários

Imagine que você é um detetive tentando encontrar padrões em uma cidade caótica. No mundo da matemática, esta cidade é o sistema numérico, e o caos é a forma como os números parecem quando escritos em diferentes línguas. Nós geralmente falamos "decimal", usando dez dígitos (0 a 9), mas os computadores falam "binário", uma linguagem feita de apenas dois dígitos: 0 e 1. Quando você pega um número como 3 e o multiplica por si mesmo repetidamente (3, 9, 27, 81 e assim por diante), você obtém uma sequência de números que cresce enorme muito rapidamente. Se você escrever esses números massivos em binário, eles parecerão longas e irregulares sequências de zeros e uns.

Matemáticos há muito tempo se perguntam: essas sequências de zeros e uns seguem um ritmo oculto ou são completamente aleatórias? Esta questão pertence a um campo chamado teoria dos números, que estuda as propriedades profundas e muitas vezes misteriosas dos números inteiros. Uma ideia fundamental aqui é a "periodicidade". Pense em um padrão periódico como um design de papel de parede que repete a mesma flor a cada poucos centímetros. Se o código binário de um número tivesse um período, isso significaria que, após um certo ponto, o padrão de zeros e uns começaria a se repetir perfeitamente, como uma música em loop. Outro conceito importante é a "complexidade", que mede quantos pedaços pequenos e diferentes existem no padrão. Se uma sequência é simples, ela possui poucos pedaços diferentes; se é complexa, possui uma enorme variedade deles. Compreender esses padrões ajuda-nos a ver se números como potências de três são verdadeiramente caóticos ou se escondem uma ordem secreta que ainda não encontramos.

A Descoberta do Artigo: O Caos no Código Binário

Neste artigo, o matemático Ralf Stephan investiga a expansão binária das potências de três ( $3^m$ ). Ele faz uma pergunta muito específica: à medida que esses números ficam maiores e maiores, seus dígitos binários eventualmente se estabilizam em um loop repetitivo ou permanecem bagunçados e imprevisíveis?

O artigo prova duas coisas principais, ambas confirmando que o código binário de $3^m$ é deliciosamente caótico e recusa-se a ser domado pela repetição simples.

Primeiro, a "Regra da Não-Repetição":
O autor prova que, para qualquer padrão repetitivo fixo que você possa tentar encontrar (digamos, um padrão que se repete a cada 5 dígitos, ou a cada 100 dígitos), o código binário de $3^m$ eventualmente quebrará esse padrão. É como se você estivesse tentando forçar um animal selvagem a marchar em um círculo perfeito; não importa quanto tempo você espere, o animal eventualmente sairá da linha. O artigo mostra que, conforme a potência $m$ aumenta, o número de vezes que o código binário "quebra" essa periodicidade cresce. Especificamente, o número dessas quebras cresce aproximadamente como $\frac{\log m}{\log \log m}$ .

Para usar uma analogia: Imagine que os dígitos binários de $3^m$ são uma longa fila de dançarinos. Se você tentar fazer com que eles dancem um passo repetitivo (um período), o artigo prova que, quanto mais longa for a fila, mais dançarinos inevitavelmente errarão o passo. O artigo calcula que o número de "erros" aumenta conforme o número cresce, o que significa que a dança nunca se estabiliza em um loop perfeito e entediante. Mesmo que você olhe para uma janela da pista de dança que seja tão profunda quanto uma potência fixa do logaritmo de $m$ , você não encontrará um padrão repetitivo perfeito.

Segundo, a "Regra da Variedade Máxima":
A segunda descoberta refere-se a quantos "pedaços" diferentes o código binário possui. Se você pegar uma pequena fatia da sequência binária (digamos, 10 dígitos de comprimento), quantas combinações diferentes de 0s e 1s você pode encontrar? O artigo prova que, para potências de três suficientemente grandes, o número de pedaços diferentes de comprimento $n$ é pelo menos $n + 1$ .

Em termos cotidianos, isso significa que o código binário é "maximamente complexo" na extremidade inferior. Não é apenas aleatório; é ricamente aleatório. Se você tem uma sequência de comprimento $n$ , o padrão mais simples possível (como um loop perfeito) teria apenas $n$ pedaços diferentes. Mas $3^m$ tem pelo menos $n + 1$ . É como um baralho que, não importa o quão você o embaralhe, sempre consegue produzir uma mão única a mais do que o mínimo necessário para ser considerado "não entediante". Isso prova que os dígitos de ordem baixa de $3^m$ são tão diversos e imprevisíveis quanto podem ser sem serem infinitos.

O Quão Certos Estamos?
O autor é extremamente confiante nestes resultados. O artigo não apenas supõe ou simula; ele fornece uma prova matemática rigorosa. A lógica baseia-se em uma ferramenta poderosa chamada "formas lineares em logaritmos", que atua como uma lupa matemática para mostrar que, se os padrões fossem simples, os números teriam que ser impossivelmente pequenos ou contraditórios. O artigo também menciona que estas provas foram formalmente verificadas por um programa de computador chamado Lean 4, que dupla-checa cada passo lógico para garantir que não haja erros. Portanto, podemos ter certeza de que a expansão binária das potências de três é aperiódica e possui complexidade de subpalavra total.

Em suma, o artigo diz-nos que as potências de três são as rebeldes definitivas no mundo dos números. Elas recusam-se a cair em um ritmo previsível, e seu código binário é um tesouro de padrões únicos e não repetitivos que crescem em complexidade à medida que os números aumentam.

Resumo Técnico: Aperiodicidade e Complexidade de Subpalavras na Expansão Binária de Potências de Três

Enunciado do Problema
Este artigo investiga as propriedades estruturais finas dos dígitos binários de inteiros da forma $3^m$ . Embora trabalhos anteriores tenham estabelecido que o número de dígitos binários não nulos ( $s_2(3^m)$ ) e o número de "blocos" (sequências máximas de dígitos idênticos) tendem ao infinito conforme $m$ aumenta, esses resultados não caracterizam totalmente o arranjo desses dígitos. Especificamente, o artigo aborda duas lacunas:

Aperiodicidade: Existem padrões periódicos longos (sequências de período $p$ ) na expansão binária de $3^m$ ? Resultados anteriores descartaram sequências constantes longas (período $p=1$ ), mas o comportamento para períodos fixos $p > 1$ era desconhecido.
Complexidade de Subpalavras: A palavra binária finita formada pelos dígitos de ordem baixa de $3^m$ exibe complexidade "total"? No contexto de palavras infinitas, o teorema de Morse–Hedlund estabelece que a complexidade de subpalavras $p(n) \le n$ implica periodicidade eventual. O artigo busca determinar se a palavra finita de $3^m$ satisfaz o limite inferior $p_{3^m}(n) \ge n+1$ para $m$ suficientemente grande, provando efetivamente que ela não é "simples demais" ou periódica dentro de seu comprimento.

Metodologia
As provas baseiam-se em uma combinação de teoria dos números transcendentes e análise combinatória de palavras:

Formas Lineares em Logaritmos: O motor central é o teorema efetivo de Baker e Wüstholz sobre formas lineares em logaritmos de números algébricos. O artigo utiliza isso para estabelecer "princípios de lacuna" (gap principles). A lógica segue: se uma longa sequência periódica existe na expansão binária de $3^m$ $3^{m}$ , isso força uma identidade inteira específica que resulta em uma forma linear não nula $\Lambda$ $Λ$ em logaritmos de 2, 3 e inteiros auxiliares. O teorema de Baker–Wüstholz fornece um limite inferior para $|\Lambda|$ $∣Λ∣$ , o que contradiz a pequenez implicada pela existência de uma janela periódica longa.
- Novidade: O artigo introduz uma nova estimativa de sequência de período- $p$ (Lema 2.2). Enquanto resultados clássicos usam formas lineares de três termos para limitar sequências constantes, este trabalho deriva uma forma linear de quatro termos para limitar sequências periódicas de qualquer período fixo $p$ .
Propagação Combinatória: Para abordar a complexidade de subpalavras, o artigo emprega uma versão quantitativa finita do teorema de Morse–Hedlund (Lema 4.1). Este lema estabelece que, se uma palavra possui baixa complexidade de subpalavras (no máximo $n$ fatores distintos de comprimento $n$ ), ela deve conter um fator periódico longo. Esse fator periódico é então alimentado na estimativa de sequência de período- $p$ para derivar uma contradição para $m$ grande.
Verificação Formal: Todos os teoremas e lemas do artigo foram formalmente verificados utilizando o assistente de prova Lean 4.

Principais Contribuições e Resultados

1. Aperiodicidade de Sequências de Período- $p$ (Teorema A)
O artigo prova que, para qualquer período fixo $p \ge 1$ , o número de posições onde a expansão binária de $3^m$ quebra a $p$ -periodicidade, denotado por $B_p(3^m)$ , cresce assintoticamente.

Resultado: $B_p(3^m) \ge \frac{\log m}{\log \log m + C_p} - 2$ para uma constante $C_p > 0$ .
Implicação: Nenhuma janela da expansão binária de $3^m$ mais profunda do que uma potência fixa de $\log m$ pode ser $p$ -periódica. Isso generaliza o resultado conhecido para $p=1$ (Blecksmith–Filaseta–Nicol; Bugeaud–Kaneko) para todos os períodos fixos $p$ .

2. Complexidade de Subpalavras de Ordem Baixa Total (Teorema B)
O artigo estabelece um limite inferior para a complexidade de subpalavras da palavra binária finita formada pelos dígitos de ordem baixa de $3^m$ .

Resultado: Para todo comprimento $n \ge 1$ , a função de complexidade satisfaz $p_{3^m}(n) \ge n + 1$ para todo $m$ suficientemente grande.
Limiar: O limiar $m$ é efetivo. Ele ocorre quando o crescimento linear do número de dígitos $M(3^m) \approx m \log_2 3$ ultrapassa um limite de ordem $n^2 \log m$ derivado da estimativa de sequência de período- $p$ .
Implicação: A palavra finita de $3^m$ não é eventualmente periódica no sentido de possuir baixa complexidade; ela possui complexidade "total" relativa ao seu comprimento, satisfazendo a condição que impede a periodicidade em palavras infinitas.

Significância e Alegações
O autor afirma que estes resultados fortalecem a compreensão da distribuição dos dígitos binários de potências de três em duas direções específicas:

Extensão de Limites Conhecidos: Enquanto o teorema de Stewart e trabalhos subsequentes estabeleceram que $3^m$ possui poucos dígitos esparsos e muitos blocos, este artigo estende o resultado de aperiodicidade para qualquer período fixo $p$ , não apenas sequências constantes.
Contexto Finito vs. Infinito: O artigo distingue sua contribuição de estudos sobre irracionais algébricos (que possuem expansões infinitas). Ele fornece os primeiros resultados quantitativos sobre mudanças de dígitos e complexidade de subpalavras especificamente para a palavra finita de uma única potência $3^m$ .
Otimalidade: O Teorema B é apresentado como o análogo do teorema de Morse–Hedled para a palavra de dígitos finitos de $3^m$ , situando-se no "ótimo de formas lineares". O artigo observa que provar complexidade superlinear por palavra é uma questão separada e mais difícil, não abordada aqui.

O trabalho baseia-se na interação entre as propriedades aritméticas de $3^m$ (via a teoria de Baker) e a estrutura combinatória de sua cadeia de dígitos, fornecendo limites inferiores efetivos para a "desordem" ou aperiodicidade inerente a esses números.

A Vida Secreta dos Números: Uma Jornada pelos Padrões Binários

A Descoberta do Artigo: O Caos no Código Binário

Mais como este