The Golden Sieve

O artigo revisita a peneira dourada, um processo de eliminação autorreferencial que gera pares de Wythoff e conecta sequências de progressões aritméticas às sequências de "hiccup" e às partições complementares de Fraenkel, introduzindo ainda uma peneira de extração governada por transformações afins.

O essencial

Imagine que você tem uma fila infinita de pessoas, numeradas de 1, 2, 3, 4... até o infinito. Agora, imagine um jogo de "pula-pula" muito estranho e automático que decide quem fica na fila e quem é removido.

Este é o resumo do artigo "A Peneira Dourada" (The Golden Sieve), escrito por Benoit Cloitre. O autor criou um processo matemático fascinante que, embora pareça simples, revela padrões escondidos na natureza dos números, conectando-se a jogos antigos, sequências famosas e até a um número especial chamado "Proporção Áurea" (ou Número de Ouro).

Aqui está a explicação passo a passo, usando analogias do dia a dia:

1. O Jogo da Peneira (A Regra Básica)

Imagine que você tem uma lista de números em ordem crescente. Vamos chamar essa lista de "Fila de Espera".

• O Passo 1: Você olha para o primeiro número da fila atual. Digamos que seja o número 3.
• O Passo 2: Esse número (3) não é apenas um valor, ele vira um endereço. Você vai até a posição 3 da mesma fila e remove a pessoa que está lá.
• O Passo 3: Você repete isso para sempre. A cada passo, você olha para o número na posição atual, usa esse número como um "mapa" para encontrar quem deve sair, e remove essa pessoa.

O resultado? A fila original se divide em dois grupos:

1. Os Sobreviventes: Quem nunca foi removido.
2. Os Deletados: Quem saiu da fila.

2. O Caso Especial: A Fila Natural (1, 2, 3...)

Quando começamos com a fila normal (1, 2, 3, 4...), algo mágico acontece.

• Os números que sobram e os que saem seguem um padrão rígido.
• A distância entre os sobreviventes só pode ser 1 ou 2.
• A distância entre os deletados só pode ser 2 ou 3.
• O Segredo: A decisão de "pular" 1 ou 2 lugares depende se o número atual já apareceu na lista de sobreviventes ou não. É como se a lista estivesse "olhando para si mesma" para decidir o próximo passo.

Isso cria uma conexão direta com o Número de Ouro ($\phi \approx 1,618$). A distribuição dos números sobreviventes segue exatamente a mesma lógica das sequências usadas no famoso Jogo de Wythoff (um jogo de estratégia com duas pilhas de pedras). O autor mostra que sua "Peneira Dourada" é, na verdade, uma máquina que gera automaticamente as posições vencedoras desse jogo antigo.

3. Mudando a Fila: Aritmética (2, 4, 6... ou 3, 6, 9...)

O autor não parou na fila normal. Ele perguntou: "O que acontece se começarmos com uma fila de números pares (2, 4, 6...) ou múltiplos de 3 (3, 6, 9...)?"

Aqui, a matemática fica ainda mais interessante:

• A regra continua funcionando, mas os "pulos" mudam de tamanho.
• Descobriu-se que existe uma fórmula de espelho (uma equação) que liga os sobreviventes aos deletados. É como se, se você soubesse onde está um sobrevivente, pudesse calcular exatamente onde estará o deletado correspondente, sem precisar simular todo o jogo.
• Isso conecta o trabalho a teorias de jogos mais complexos (chamados jogos de Nim generalizados) e a equações criadas por matemáticos famosos como Fraenkel e Kimberling.

4. A "Peneira de Prata" (A Extração)

O artigo também apresenta um "irmão gêmeo" da Peneira Dourada, chamado Peneira de Extração (ou Peneira de Prata).

• A Diferença: Na Peneira Dourada, você usa um número como endereço para remover alguém. Na Peneira de Prata, você simplesmente puxa o primeiro da fila para ser o sobrevivente e, dependendo de uma regra, remove mais alguns números logo em seguida.
• A Surpresa: Essa Peneira de Prata gera uma sequência famosa estudada por outros matemáticos (a sequência de Bosma-Dekking-Steiner), que tem uma relação com a raiz quadrada de 2 (o "Número de Prata").
• O autor mostra que, se você aplicar essa peneira em diferentes filas (como pares ou múltiplos de 3), você pode prever exatamente como a sequência mudará, usando uma transformação simples (como multiplicar e somar números).

5. O Caso dos Quadrados (1, 4, 9, 16...)

E se a fila for de quadrados perfeitos? (1, 4, 9, 16, 25...).

• Aqui, o padrão fica ainda mais complexo. A distância entre os números não é mais linear; ela envolve "quadrados dentro de quadrados".
• O autor descobriu uma fórmula que descreve o crescimento desses números como uma torre de raízes: $n + \sqrt{n} - \sqrt[4]{n} + \sqrt[8]{n} \dots$
• É como se a estrutura da fila estivesse se dobrando sobre si mesma infinitamente.

Por que isso importa? (A Analogia Final)

Pense na matemática como uma floresta.

• A Peneira Dourada é como um caminho que, ao ser percorrido, revela que todas as árvores seguem um padrão de crescimento perfeito, guiado pelo Número de Ouro.
• O autor mostrou que, não importa se você planta a semente em solo normal (1, 2, 3), em solo de pares (2, 4, 6) ou em solo de quadrados (1, 4, 9), a "árvore" que cresce sempre obedece a leis profundas e elegantes.

Em resumo:
Este artigo é sobre descobrir que um jogo simples de "remover números baseados em sua própria posição" não é apenas um passatempo, mas uma chave para entender estruturas profundas na matemática, conectando jogos de tabuleiro, sequências infinitas e a beleza geométrica do Número de Ouro. O autor mapeou como essas regras se comportam em diferentes cenários, provando que o caos aparente da remoção de números esconde uma ordem matemática rigorosa e previsível.

Resumo técnico

Resumo Técnico: The Golden Sieve

Autor: Benoit Cloitre
Data: Março de 2026
Contexto: Revisão do processo de eliminação autorreferencial conhecido como "peneira dourada", introduzido pelo autor em 2002 (OEIS A099267), e sua generalização para progressões aritméticas e outras sequências.

1. O Problema e a Motivação

O artigo investiga um processo determinístico de eliminação em sequências crescentes de inteiros positivos, denominado Peneira Dourada.

• Mecanismo: Dada uma sequência inicial $W_0$, no passo $n$, o $n$-ésimo elemento da sequência atual ($h_n$) é lido. Este valor atua como um índice de posição, e o elemento que ocupa essa posição na sequência é removido.
• Objetivo: Compreender a estrutura das sequências resultantes de sobreviventes ($s_n$) e deletados ($d_n$), especialmente quando a sequência inicial é o conjunto dos números naturais ($\mathbb{N}$) ou uma progressão aritmética ($a\mathbb{N} + b$).
• Motivação: O processo gera padrões rígidos e autorreferenciais. No caso base ($\mathbb{N}$), o resultado está intimamente ligado à razão áurea ($\phi$) e às sequências de Wythoff. O artigo busca generalizar essa conexão para outras progressões e conectar o fenômeno a sequências "hiccup" (tosse) estudadas recentemente por Fokkink e Joshi.

2. Metodologia

A abordagem combina teoria dos números, combinatória de palavras e teoria dos jogos.

• Definição Indutiva: Formalização rigorosa do processo de peneira, garantindo que a sequência de trabalho permaneça infinita e crescente.
• Normalização: Para progressões aritméticas $W_0 = a\mathbb{N} + b$, o autor define sequências normalizadas ($\sigma_n, \delta_n$) para mapear o problema de volta para os inteiros naturais, facilitando a análise de gaps (diferenças entre termos consecutivos).
• Identidade Pointer-Sobrevivente: Estabelecimento de uma identidade crucial que mostra que, para $a \ge 2$, o ponteiro $h_n$ sempre lê um valor da sequência de sobreviventes já estabilizada.
• Análise de Gaps: Investigação das diferenças entre termos consecutivos nas sequências de sobreviventes e deletados, demonstrando que elas assumem apenas dois valores (propriedade de "dois gaps").
• Conexão com Equações Complementares: Uso das equações complementares de Fraenkel e da transformada de posto de Kimberling para caracterizar as sequências geradas.
• Introdução da "Peneira de Extração": Definição de um processo dual onde, em vez de ler uma posição e deletar, extrai-se o mínimo e aplica-se uma regra de exclusão baseada em testes de pertinência, gerando diretamente sequências hiccup.

3. Contribuições e Resultados Principais

3.1. O Caso Base: $W_0 = \mathbb{N}$

• Reconstrução de Wythoff: Confirma-se que a peneira dourada sobre $\mathbb{N}$ produz a sequência de sobreviventes (OEIS A099267) e a sequência de deletados (OEIS A007066), que, após um deslocamento, correspondem aos pares de Wythoff ($\lfloor n\phi \rfloor, \lfloor n\phi^2 \rfloor$).
• Regra Hiccup: Demonstra-se que ambas as sequências obedecem a uma regra de dois gaps autorreferencial. A diferença entre termos consecutivos depende se o índice atual pertence ao conjunto de valores da própria sequência.
• Palavra de Gap: A sequência de gaps é codificada pela palavra de Fibonacci (uma palavra de Sturmian).

3.2. Generalização para Progressões Aritméticas ($W_0 = a\mathbb{N} + b$)

Este é o núcleo teórico do artigo. Para $a \ge 1$ e $0 \le b < a$:

• Identidade de Posto (Rank Identity): Estabelece uma relação afim exata entre os sobreviventes normalizados ($\sigma_n$) e os deletados normalizados ($\delta_n$):
  $$\delta_n = a\sigma_n + n + (b - 1)$$
  Esta equação conecta o problema às equações complementares de Fraenkel.
• Propriedade de Dois Gaps: As diferenças normalizadas $\sigma_n - \sigma_{n-1}$ assumem apenas os valores $\{1, 2\}$.
• Regra Hiccup Filtrada: A sequência de sobreviventes é uma sequência hiccup $(0, s_1, 2a, a)$. A sequência de deletados também segue uma regra de dois gaps, mas o teste de pertinência é filtrado através da progressão aritmética original $W_0$, não apenas do conjunto de deletados.
• Slope (Inclinação) Asintótica: O limite $\lim_{n \to \infty} \sigma_n/n = \alpha(a)$ é a raiz positiva da equação quadrática $a\alpha^2 - a\alpha - 1 = 0$.
  • Para $a=1$, $\alpha = \phi$ (Razão Áurea).
  • Para $a \ge 2$, as sequências não são sequências de Beatty (ao contrário do caso $a=1$), mas possuem uma estrutura combinatória rica.
• Conexão com Kimberling: O par de sequências gerado pela peneira é identificado como o par complementar gerado pela transformada de posto de Kimberling aplicada a uma sequência de blocos específica.

3.3. Peneira Dourada em Quadrados Perfeitos ($W_0 = \{n^2\}$)

• O autor estende o processo para a sequência de quadrados perfeitos.
• Surge um fenômeno de aninhamento quadrático: a regra de gaps envolve a pertinência de índices a um conjunto de "sombras quadráticas" dos sobreviventes.
• É derivada uma expansão assintótica para os índices das raízes dos sobreviventes: $\mu_n = n + n^{1/2} - n^{1/4} + n^{1/8} - \dots + O(\log \log n)$.

3.4. Peneira de Extração e Sequências Hiccup

• Introduz-se a Peneira de Extração ($C_{j,y,z}$), um processo onde o mínimo é extraído e subsequentes mínimos são descartados baseados em um teste de pertinência.
• Teorema de Equivalência: A peneira de extração sobre $\mathbb{N}$ gera diretamente a sequência hiccup $(j, 1, y, z)$.
• Ação Afim: Ao aplicar a peneira de extração a uma progressão $a\mathbb{N} + b$, os parâmetros da sequência hiccup são transformados por uma aplicação afim explícita: $(j, x, y, z) \to (j, a+b, ay, az)$.
• Representação de Beatty: Para casos onde $|y-z|=1$, o artigo fornece fórmulas explícitas de Beatty ($\lfloor \alpha n + \beta \rfloor$) para as sequências resultantes, cobrindo casos notáveis como a sequência de Wythoff e a sequência Bosma-Dekking-Steiner (A086377).

4. Significado e Impacto

1. Unificação de Estruturas: O trabalho unifica a teoria das sequências de Wythoff, as equações complementares de Fraenkel e as recentes sequências hiccup sob um único mecanismo dinâmico (a peneira).
2. Generalização Não-Trivial: Demonstra que a estrutura de "dois gaps" e a relação com a razão áurea são casos especiais de um fenômeno mais amplo governado por equações quadráticas dependentes do parâmetro $a$ da progressão aritmética.
3. Novas Classes Combinatórias: Abre novas fronteiras para o estudo de palavras binárias (gap words) geradas por $a \ge 2$. O artigo levanta questões sobre se essas palavras são substitutivas, automáticas ou Ostrowski-automáticas, sugerindo o uso de ferramentas como o provador de teoremas "Walnut".
4. Conexão com Teoria dos Jogos: A identificação das sequências geradas como posições P (vencedoras para o jogador anterior) em jogos de Nim generalizados (NIM(a, 1)) fornece uma interpretação combinatória profunda para os resultados analíticos.
5. Ferramentas Computacionais: O artigo destaca a importância de experimentação numérica e verificação computacional (OEIS, Python, Walnut) na descoberta e conjectura de propriedades em teoria dos números.

Em suma, "The Golden Sieve" transforma um algoritmo de eliminação simples em uma ferramenta poderosa para explorar a fronteira entre sequências autorreferenciais, teoria dos números aditiva e combinatória de palavras, oferecendo novas perspectivas sobre a estrutura dos inteiros e generalizando resultados clássicos de Wythoff e Fraenkel.