The Golden Sieve

Il paper rivisita il setaccio aureo, un processo di cancellazione autoreferenziale che genera la coppia di Wythoff, e ne estende l'analisi alle progressioni aritmetiche, stabilendo connessioni con le sequenze "hiccup" e le partizioni complementari di Fraenkel, mentre introduce un nuovo setaccio di estrazione governato da trasformazioni affini.

L'essenziale

🌟 Il Setaccio d'Oro: Una Danza Matematica tra Numeri

Immagina di avere una lunga fila di persone, ognuna con un numero sul petto, disposte in ordine crescente: 1, 2, 3, 4, 5... Questa è la nostra "folla" iniziale.

Il Setaccio d'Oro è un gioco di eliminazione molto particolare, quasi magico, che trasforma questa fila ordinata in due gruppi distinti: i Sopravvissuti e i Cancellati. Ma non è un'eliminazione casuale. È una danza rigorosa dove ogni mossa dipende dalla posizione delle persone rimanenti.

🎭 Come funziona il gioco? (Il Meccanismo)

Pensate a un presentatore di un game show che ha una lista di nomi.

1. Il presentatore guarda il primo nome della lista attuale. Supponiamo che sia il numero 3.
2. Questo numero non è solo un nome, è un puntamento. Il presentatore dice: "Ok, il numero 3 mi dice di andare alla terza posizione della lista attuale".
3. Chiunque si trovi in quella terza posizione viene eliminato (cancellato dalla lista).
4. Si ripete il processo: si guarda il primo nome della nuova lista, si usa quel numero come puntamento per trovare il prossimo da eliminare, e così via all'infinito.

È un gioco di "specchio": il numero che leggi ti dice dove guardare per trovare chi deve uscire.

🏆 Cosa succede quando partiamo da 1, 2, 3...?

Se iniziamo con tutti i numeri naturali (1, 2, 3...), succede qualcosa di straordinario. La lista si divide in due gruppi che non si sovrappongono mai e che insieme coprono tutti i numeri.

• I Sopravvissuti: Diventano una sequenza famosa chiamata Sequenza di Wythoff.
• I Cancellati: Diventano un'altra sequenza complementare.

La cosa più bella? Questi due gruppi sono governati dal Numero Aureo ($\phi \approx 1.618$), quel numero magico che trovi nelle conchiglie, nei girasoli e nell'arte classica. La distanza tra un sopravvissuto e il successivo oscilla solo tra due valori (ad esempio, salti di 1 o 2), creando un ritmo che assomiglia alla Parola di Fibonacci (un pattern che si ripete ma non è mai esattamente uguale, come il battito di un cuore che accelera e rallenta).

🚂 Quando partiamo da treni diversi (Progressioni Aritmetiche)

Il paper esplora cosa succede se non partiamo da 1, 2, 3..., ma da una "fila di treni" con un passo diverso.

• Invece di 1, 2, 3, immaginiamo di avere solo i numeri pari: 2, 4, 6, 8... (passo 2).
• O numeri che iniziano da 3 e saltano di 5: 3, 8, 13, 18... (passo 5).

Il risultato è sorprendente: anche con questi "treni" diversi, il Setaccio d'Oro continua a funzionare!

• I sopravvissuti e i cancellati mantengono un ritmo preciso.
• Esiste una formula magica (un'equazione affine) che collega i due gruppi, come se fossero due facce della stessa medaglia.
• Il "ritmo" dei salti tra i numeri cambia, ma la struttura rimane solida. È come se il Setaccio d'Oro fosse un addestratore che insegna a qualsiasi gruppo di numeri a muoversi a ritmo, indipendentemente da come sono partiti.

🕵️‍♂️ Il "Singhiozzo" (Hiccup)

Gli autori usano una parola divertente: Singhiozzo (Hiccup).
Immagina che la sequenza di numeri abbia dei "singhiozzi".

• Normalmente, i numeri crescono di un passo piccolo (es. +1).
• Ma ogni tanto, se il numero corrente "appare" nella lista dei numeri che abbiamo già salvato, la sequenza fa un singhiozzo e salta di più (es. +2).

È un sistema di auto-controllo: la sequenza guarda se stessa per decidere quanto saltare. È come se la fila di persone si guardasse allo specchio e dicesse: "Se mi vedi qui, allora salto due posti!".

🥈 Il "Setaccio d'Argento" (Un altro gioco)

Il paper introduce anche un "cugino" del Setaccio d'Oro, chiamato Setaccio d'Argento.
Mentre il Setaccio d'Oro guarda la posizione n-esima per decidere chi eliminare, il Setaccio d'Argento fa qualcosa di diverso:

1. Prende il numero più piccolo disponibile (il primo della fila) e lo salva.
2. Poi, invece di guardare una posizione specifica, elimina un certo numero di persone successive basandosi su regole simili al "singhiozzo".

Questo secondo setaccio è responsabile di creare sequenze famose come quella di Bosma-Dekking-Steiner. È come se il Setaccio d'Oro fosse un direttore d'orchestra che legge lo spartito, mentre il Setaccio d'Argento è un musicista che improvvisa seguendo un ritmo interno.

🧩 Perché è importante?

Questo studio ci dice che anche con regole apparentemente semplici e caotiche (come "guarda dove ti dice il numero e cancella"), la natura tende a creare ordine perfetto.

• Troviamo connessioni con i giochi matematici (come il gioco di Wythoff, una variante della Nim).
• Scopriamo che questi pattern appaiono in natura, nella musica e nella teoria dei numeri.
• Dimostriamo che possiamo prevedere esattamente come si comporteranno questi numeri, anche dopo milioni di passaggi, usando equazioni semplici.

In sintesi

Il paper di Benoit Cloitre ci mostra che il Setaccio d'Oro è come un alchimista matematico. Prende una pila di numeri grezzi, applica una regola di eliminazione che si auto-riferisce (come un cane che si morde la coda), e trasforma il caos in una struttura armoniosa governata dal Numero Aureo. Che partiate da 1, 2, 3 o da 100, 200, 300, il Setaccio troverà sempre il modo di creare una danza perfetta tra chi resta e chi va via.

È una prova che la matematica, anche quando sembra un gioco di cancellazione, nasconde una bellezza geometrica e ritmica profonda.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del documento "The Golden Sieve" di Benoit Cloitre, redatta in italiano.

Titolo: The Golden Sieve (Il Setaccio d'Oro)

Autore: Benoit Cloitre
Data: Marzo 2026
Contesto: Centenario del problema di Beatty.

---

1. Il Problema e il Contesto

Il paper esamina un processo di cancellazione deterministico e autoreferenziale applicato a sequenze di interi positivi, noto come "Golden Sieve" (Setaccio d'Oro).

• Origine: Introdotto dall'autore nel 2002 (OEIS A099267).
• Meccanismo di base: Data una sequenza crescente iniziale $W_0$, al passo $n$ si legge l'$n$-esimo elemento $h_n$ della sequenza corrente. Questo valore funge da indice di posizione per rimuovere l'elemento situato in quella posizione ($d_n$).
• Obiettivo: Analizzare il comportamento di questo processo quando applicato non solo ai numeri naturali ($W_0 = \mathbb{N}$), ma a progressioni aritmetiche ($W_0 = a\mathbb{N} + b$) e ad altre sequenze (come i quadrati perfetti). L'obiettivo è caratterizzare le sequenze di sopravvissuti e di cancellati, le loro proprietà combinatorie e le loro connessioni con la teoria dei giochi e le equazioni complementari.

2. Metodologia

L'approccio combina teoria dei numeri, combinatoria sulle parole e dinamica discreta:

• Definizione Ricorsiva: Formalizzazione rigorosa del processo di cancellazione come partizione disgiunta della sequenza iniziale in sopravvissuti ($s_n$) e cancellati ($d_n$).
• Normalizzazione: Per le progressioni aritmetiche $a\mathbb{N} + b$, viene introdotta una mappa di normalizzazione per ridurre il problema a una struttura su $\mathbb{N}$, permettendo di isolare le proprietà asintotiche.
• Identità di Rango: Derivazione di relazioni affini tra gli indici dei sopravvissuti e quelli dei cancellati.
• Analisi delle Lacune (Gap Analysis): Studio delle differenze consecutive nelle sequenze generate, dimostrando che assumono solo due valori (proprietà "two-gap").
• Connessione con le Sequenze "Hiccup": Utilizzo della teoria delle sequenze "hiccup" (introdotta da Fokkink e Joshi) per descrivere le regole di generazione delle lacune basate su test di appartenenza alla sequenza stessa.
• Introduzione del "Setaccio di Estrazione": Definizione di un processo duale (estrazione del minimo invece di lettura posizionale) per generare sequenze hiccup in modo diretto e analizzare l'azione di trasformazioni affini sui parametri.

3. Risultati Chiave e Contributi

A. Il Caso Base: $W_0 = \mathbb{N}$

• Identificazione di Wythoff: Il processo genera la partizione di Wythoff (coppia di Wythoff). La sequenza dei sopravvissuti (con uno shift) coincide con la sequenza inferiore di Wythoff $A_n = \lfloor n\phi \rfloor$, dove $\phi$ è la sezione aurea.
• Proprietà delle Lacune: Le lacune nelle sequenze di sopravvissuti e cancellati assumono solo due valori. La scelta del valore è governata da una regola autoreferenziale (se l'indice $n$ appartiene alla sequenza stessa).
• Parola di Gap: La sequenza delle lacune corrisponde alla parola di Fibonacci (parola di Sturmian).

B. Progressioni Aritmetiche: $W_0 = a\mathbb{N} + b$

Il lavoro estende l'analisi al caso generale $a \ge 1, 0 \le b < a$:

1. Identità Pointer-Sopravvissuto: Per $a \ge 2$, l'elemento letto al passo $n$ ($h_n$) coincide sempre con l'$n$-esimo sopravvissuto ($s_n$). Questo stabilizza il prefisso della sequenza di lavoro.
2. Identità di Rango Affine: È stata stabilita una relazione fondamentale tra i sopravvissuti normalizzati ($\sigma_n$) e i cancellati normalizzati ($\delta_n$):
   $$\delta_n = a\sigma_n + n + (b - 1)$$
   Questa equazione collega il setaccio alle equazioni complementari di Fraenkel e Kimberling.
3. Proprietà Two-Gap: Le lacune normalizzate dei sopravvissuti appartengono a $\{1, 2\}$. Le lacune dei cancellati sono controllate dalla stessa parola binaria delle lacune dei sopravvissuti, ma filtrata attraverso la struttura della progressione aritmetica.
4. Regola Hiccup: La sequenza dei sopravvissuti è una sequenza $(0, s_1, 2a, a)$-hiccup. La regola di generazione delle lacune dipende dall'appartenenza dell'indice alla sequenza dei sopravvissuti.
5. Slope Asintotico: Il limite $\lim_{n \to \infty} \sigma_n/n$ esiste ed è l'unica radice positiva $\alpha \in (1, 2)$ dell'equazione quadratica $a\alpha^2 - a\alpha - 1 = 0$.
   • Per $a=1$, $\alpha = \phi$ (sezione aurea).
   • Per $a \ge 2$, le sequenze non sono sequenze di Beatty (a differenza del caso $a=1$), ma seguono una legge di crescita governata da $\alpha(a)$.

C. Connessioni Teoriche

• Teoria dei Giochi: Il setaccio su $a\mathbb{N} + b$ (con $b=1$) genera le posizioni P (posizioni perdenti) del gioco combinatorio generalizzato NIM(a, 1) studiato da Fraenkel.
• Trasformata di Rango di Kimberling: È stato dimostrato che il setaccio su $a\mathbb{N} + b$ (con $b \ge 1$) produce la stessa coppia complementare della trasformata di rango di Kimberling applicata a una specifica sequenza a blocchi.

D. Varianti e Nuovi Setacci

• Setaccio sui Quadrati Perfetti: Applicando il setaccio a $W_0 = \{n^2\}$, emerge una struttura "annidata" (quadratica). La regola delle lacune dipende dall'appartenenza a un "insieme d'ombra quadratica" ($M = \{\mu_m^2\}$). La crescita dei sopravvissuti è descritta da una torre di radici alternata: $\mu_n \approx n + n^{1/2} - n^{1/4} + \dots$.
• Setaccio di Estrazione (Extraction Sieve): Viene introdotto un nuovo processo in cui si estrae il minimo e si cancellano elementi successivi in base a un test di appartenenza. Questo setaccio genera direttamente le sequenze hiccup.
  • Risultato Cruciale: L'azione del setaccio di estrazione su una progressione aritmetica $a\mathbb{N} + b$ trasforma i parametri della sequenza hiccup $(j, x, y, z)$ in $(j, a+b, ay, az)$. Questo fornisce una mappa esplicita dell'azione del gruppo affine sullo spazio dei parametri.
  • Esempio: La sequenza di Bosma-Dekking-Steiner (A086377) è identificata come l'output del "Silver Sieve" (estrazione $C_{1,3,2}$) su $\mathbb{N}$.

4. Significato e Implicazioni

• Unificazione: Il lavoro unifica concetti apparentemente disparati: il setaccio di Wythoff, le sequenze hiccup, le equazioni complementari di Fraenkel/Kimberling e le parole di Sturmian.
• Generalizzazione: Estende la comprensione delle partizioni complementari oltre il caso classico $a=1$, mostrando come le strutture autoreferenziali si comportino sotto trasformazioni affini.
• Nuovi Strumenti: Introduce il "Setaccio di Estrazione" come strumento potente per generare e analizzare sequenze hiccup, offrendo una rappresentazione Beatty esplicita per casi specifici ($|y-z|=1$).
• Domande Aperte: Il paper solleva questioni fondamentali sulla complessità combinatoria delle parole di gap per $a \ge 2$ (sono morfiche? automatiche?) e sulla natura esatta del setaccio sui quadrati perfetti. Suggerisce l'uso di strumenti come Walnut per indagare l'automaticità di queste sequenze.

In sintesi, "The Golden Sieve" fornisce un quadro teorico rigoroso per una classe di processi di cancellazione autoreferenziali, rivelando una profonda struttura algebrica e combinatoria che collega la teoria dei numeri, la teoria dei giochi e la combinatoria sulle parole.