Positive Lower Density for Hofstadter's $ab-1$ Problem

O Jogo Infinito da Construção de Números

Imagine um parquinho vasto e infinito onde os números são os brinquedos. No mundo da matemática, especificamente em um ramo chamado teoria dos números, pesquisadores adoram brincar com regras que geram novos números a partir de antigos. Um dos tipos mais famosos de jogos envolve "recorrência" ou "renovação". Pense nisso como um jogo de cadeiras musicais, mas em vez de pessoas, são números, e em vez de uma cadeira, é um lugar específico na reta numérica. A grande questão que os matemáticos têm feito por décadas é: se você continuar jogando este jogo para sempre, os números que você cria se espalharão uniformemente pelo parquinho ou eles se agruparão em um canto, deixando enormes espaços vazios?

Este artigo específico aborda um enigma que começou com uma regra simples: comece com os números 2 e 3. Então, pegue quaisquer dois números diferentes que você já possui, multiplique-os e subtraia 1. Se o resultado for um número inteiro, adicione-o à sua coleção. Repita para sempre. A questão, colocada pelo lendário matemático Paul Erdős (que a ouviu do autor das famosas sequências "Hofstadter's Figure-Figure"), é se esta coleção de números é "espessa" o suficiente. Ela possui uma "densidade inferior positiva"? Em termos simples, o conjunto de números que você gera eventualmente preenche uma porcentagem significativa e não nula da reta numérica, não importa o quão longe você vá? Por muito tempo, ninguém sabia se a resposta era sim ou não.

A Solução: Um Sistema de Tráfego para Números

Neste artigo, Samuel Korsky prova que a resposta é sim. O conjunto de números gerados por esta regra possui, de fato, uma densidade inferior positiva. Isso significa que, conforme você observa intervalos cada vez maiores de números, você sempre encontrará um pedaço garantido e não nulo deles pertencendo a este conjunto especial. Não são apenas alguns números espalhados; eles são abundantes.

Para entender como o autor resolveu isso, imagine o conjunto de números como uma cidade, e a regra "multiplicar e subtrair 1" como um conjunto de ruas de mão única. O objetivo do autor era mostrar que existem tantas maneiras diferentes de dirigir por esta cidade que você não consegue evitar atingir muitos destinos. No entanto, há um porém: a regra diz que você só pode multiplicar números distintos. Se você tentar multiplicar um número por ele mesmo, a regra quebra. Isso é como uma lei de trânsito que diz que você não pode dirigir em uma estrada se já esteve exatamente naquele mesmo segmento de estrada durante a mesma viagem.

A estratégia do autor é construir um "sistema de controle de tráfego" usando um mapa dividido em 20 zonas específicas (intervalos). Ele atribui diferentes "multiplicadores" (como 2, 3, 5, 9, 14) a essas zonas. Quando um número cai em uma zona, o sistema diz qual multiplicador usar a seguir. A genialidade da prova reside em como esses multiplicadores são escolhidos. O autor estabelece quatro "padrões de tráfego" (atribuições) diferentes. Ao alternar entre esses padrões com base no estado atual do sistema, ele garante que os números não fiquem presos ou violem a regra de "distinção".

Pense nisso como um jogo de "Siga o Líder", onde o líder está tentando manter um equilíbrio perfeito. O autor rastreia os "ingredientes" dos números (especificamente as potências dos números primos 2, 3, 5 e 7). Ele quer que a receita permaneça equilibrada para que os números cresçam de uma forma muito específica e previsível. Ele usa um ciclo de feedback: se a receita ficar muito pesada no número 2, o sistema muda para um padrão que adiciona mais 3s ou 5s para equilibrá-la. Isso mantém a "inclinação" do crescimento (o quão rápido os números ficam maiores) travada em um alvo específico.

O artigo mostra que, ao gerenciar cuidadosamente essas trocas, o sistema cria um número massivo de caminhos únicos que todos terminam na mesma "inclinação". Porque os caminhos são únicos e o sistema é projetado para retornar ao seu ponto de partida repetidamente (um conceito chamado "recorrência positiva"), a matemática prova que existem infinitos números distintos gerados.

Crucialmente, o autor prova que esses caminhos são distintos, embora a matemática subjacente permita algumas sobreposições (o sistema não é "livre" no sentido matemático estrito). Ele faz isso mostrando que, se você rastrear os caminhos para trás no seu mapa de 20 zonas, eles nunca se cruzam até chegarem ao fim. Isso garante que cada caminho produza um número final único.

O argumento final é de contagem. O autor calcula que, para cada "passo" neste processo, o número de caminhos válidos cresce a uma taxa que corresponde ao crescimento dos próprios números. Ele prova que, para um número grande $x$ específico, a quantidade de seu conjunto especial encontrado dentro de $1$a$x$ é pelo menos $c \times x$, onde $c$ é uma constante maior que zero. Em outras palavras, não importa o quanto você conte, você sempre encontrará um fluxo constante desses números.

O artigo não apenas sugere que isso é provável; ele fornece uma prova matemática rigorosa e passo a passo. Ele utiliza uma combinação de probabilidade (para mostrar que o sistema continua retornando ao seu início), geometria (para mapear os intervalos) e teoria dos números (para contar os fatores primos). O resultado é uma resposta definitiva para uma questão de décadas: o conjunto não é esparso; é denso, preenchendo a reta numérica com uma presença positiva e confiável.