Beatty solutions of almost Golomb equations

✨

Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Each language version is independently generated for its own context, not a direct translation.

Immagina di dover costruire una scala infinita, dove ogni gradino ha un'altezza precisa. La regola per costruire questa scala è un po' strana: per sapere quanto alto deve essere il gradino numero $n$ , devi guardare la somma delle altezze dei due gradini precedenti e usare quel numero come "indice" per trovare la risposta nella tua stessa scala. È come se la scala si stesse costruendo da sola, guardandosi allo specchio.

Questo è il cuore del problema matematico descritto in questo articolo, chiamato "Equazione quasi di Golomb".

Ecco la spiegazione semplice, divisa per concetti chiave, con qualche analogia per renderla più chiara.

1. Il problema: Costruire la scala

Immagina di avere una lista di numeri interi (i gradini della scala) che non devono mai diminuire (devono salire o rimanere uguali).
La regola è: $a(a(n) + a(n-1)) = n$ .
In parole povere: prendi il valore del gradino $n$ e quello del gradino $n-1$ , sommali. Questo totale ti dice dove guardare nella lista per trovare il numero $n$ .

Esiste una soluzione "ovvia" e "avida" (greedy): prendi sempre il numero più piccolo possibile che non violi la regola. È come se fossi un costruttore molto prudente che mette il minimo indispensabile per non crollare. Questa soluzione esiste ed è stata studiata da tempo.

2. La sorpresa: Una seconda scala nascosta

L'autore, Benoît Cloitre, scopre che c'è un'altra soluzione, completamente diversa, che funziona perfettamente.
Mentre la soluzione "avida" è un po' irregolare e saltellante (come un bambino che corre a scatti), questa nuova soluzione è una linea retta perfetta con una pendenza strana.

Questa nuova scala è definita da una formula semplice ma "strana":
$a(n) = \text{parte intera di } \left( \frac{n}{\sqrt{2}} + \text{qualche piccolo aggiustamento} \right)$

L'analogia:
Immagina due modi per riempire un contenitore con acqua:

Il metodo avido: Versi l'acqua goccia a goccia, controllando ogni volta se hai raggiunto il livello giusto. Il risultato è un flusso un po' irregolare.
Il metodo Beatty (quello nuovo): Versi l'acqua con un flusso costante e matematico, basato su un numero irrazionale ( $\sqrt{2}$ , la radice quadrata di 2). Sorprendentemente, anche questo flusso costante soddisfa la stessa regola complessa della scala che si guarda allo specchio.

3. Perché è importante?

Per decenni si pensava che la soluzione "avida" fosse l'unica possibile. Questo articolo dice: "No, ce n'è un'altra, ed è bellissima".
Le due soluzioni coincidono all'inizio (per i primi 11 gradini), ma poi si separano.

La soluzione avida tende a ripetere alcuni numeri (due volte lo stesso gradino).
La soluzione Beatty si muove in modo più fluido, seguendo una geometria legata ai numeri irrazionali (come $\sqrt{2}$ ).

4. La famiglia di soluzioni "flessibili"

L'autore scopre che la soluzione perfetta con $\sqrt{2}$ è solo un punto preciso. Se cambi leggermente la formula (aggiungendo un piccolo "spostamento" o shift), la regola originale non funziona più perfettamente.
Tuttavia, esiste una famiglia continua di soluzioni che funzionano per una versione "indebolita" dell'equazione (una versione a tre livelli invece che a due). È come se ci fosse un intervallo di valori (una zona di sicurezza) in cui puoi muoverti e la scala rimane stabile, anche se non perfetta come quella originale.

5. Il mistero dei quadrati perfetti

C'è una regola curiosa che l'autore ha verificato con l'aiuto di computer potenti:

Se provi a fare la stessa cosa con finestre di dimensione 2, 3, 5, 9, 25... (numeri dispari o quadrati dispari), la soluzione "Beatty" funziona.
Se provi con finestre di dimensione 4, 16, 36... (quadrati pari), la soluzione crolla. È come se la matematica dicesse: "Funziona per i numeri dispari, ma non per i pari".

6. In sintesi: Cosa ci insegna?

Questo articolo ci mostra che la matematica è piena di sorprese. Anche in equazioni che sembrano avere una sola risposta logica (la soluzione "avida"), possono nascondersi soluzioni alternative basate su armonie nascoste (come i numeri irrazionali e le sequenze di Sturmian, che sono legate a come si distribuiscono i punti su un cerchio).

È come se avessi trovato un secondo modo per suonare una canzone: uno è il modo "ufficiale" e semplice, l'altro è una variazione jazzistica complessa e irrazionale che, contro ogni aspettativa, suona perfettamente in armonia con la stessa melodia di base.

Il messaggio finale: La matematica non è solo rigida e logica; ha anche un lato fluido, dove numeri strani come $\sqrt{2}$ creano strutture ordinate e sorprendenti che sfidano la nostra intuizione.

Each language version is independently generated for its own context, not a direct translation.

Titolo: Soluzioni di Beatty delle equazioni quasi-Golomb

Autore: Benoît Cloitre
Data: Aprile 2026 (preprint)
Classificazione: 11B83 (Sequenze e serie), 11B37, 39B12, 91A46.

1. Il Problema: Le Sequenze Quasi-Golomb

Il lavoro si concentra sull'equazione delle sequenze quasi-Golomb di ordine $r$ . Data una sequenza non decrescente di interi positivi $a(n)$ , l'equazione richiede che il valore della sequenza alla somma di $r$ termini consecutivi restituisca l'indice $n$ :
$a\left(\sum_{j=0}^{r-1} a(n-j)\right) = n, \quad \text{per } n \ge 1$
(con $a(k)=0$ per $k<1$ ).

Per $r=2$ , l'equazione diventa $a(a(n) + a(n-1)) = n$ .
Esiste una soluzione "greedy" (avida), definita come la più piccola intera non decrescente che soddisfa l'equazione passo dopo passo. Per $r=2$ , questa soluzione è nota (sequenza A394217), è 2-regolare (nel senso di Allouche e Shallit) e il rapporto $a(n)/n$ oscilla tra $2/3$ e $3/4$ senza convergere.

L'obiettivo del paper è investigare se esistano altre soluzioni monotone per questa equazione implicita, che non siano la soluzione greedy.

2. Metodologia e Approccio Teorico

L'autore utilizza un approccio ibrido che combina:

Analisi Asintotica: Assumendo $a(n) \sim cn$ , si ricava che $c = 1/\sqrt{r}$ . Per $r=2$ , $c = 1/\sqrt{2}$ .
Sequenze di Beatty: Si ipotizza che una soluzione possa essere una sequenza di Beatty inomogenea della forma $a(n) = \lfloor cn + d \rfloor$ .
Teoria dei Numeri e Sistemi di Numerazione: Utilizzo della numerazione di Ostrowski (basata su frazioni continue di irrazionali quadratici) e della teoria delle parole di Sturmian per analizzare la struttura fine delle sequenze.
Verifica Computazionale e Certificazione: Uso del dimostratore automatico Walnut per verificare identità logiche di primo ordine in sistemi di numerazione specifici.
Analisi di Discrepanza: Studio della distribuzione dei punti di rotazione irrazionale per determinare i limiti dei parametri.

3. Contributi Chiave e Risultati Principali

A. Esistenza di una Seconda Soluzione (Teorema 1)

Per l'ordine $r=2$ , l'autore prova l'esistenza di una seconda soluzione monotona, fondamentalmente diversa dalla soluzione greedy:
$a(n) = \left\lfloor \frac{n}{\sqrt{2}} + \frac{\sqrt{2}}{2} \right\rfloor$
Questa è una sequenza di Beatty inomogenea con pendenza irrazionale $1/\sqrt{2}$ .

Confronto: Le due soluzioni coincidono fino a $n=11$ . Alla divergenza ( $n=12$ ), la soluzione greedy ripete il valore 8, mentre la soluzione di Beatty passa a 9.
Unicità: Questa specifica soluzione di Beatty è l'unica tra le sequenze di questo tipo che soddisfa l'equazione originale $a(a(n)+a(n-1)) = n$ .

B. La Famiglia "Triplicemente Annidata" (Teoremi 2 e 3)

L'equazione originale è implicita e rigida. Tuttavia, applicando $a$ a entrambi i lati, si ottiene un'equazione più debole:
$a(a(a(n) + a(n-1))) = a(n)$
L'autore dimostra che questa equazione più debole ammette una famiglia continua di soluzioni di tipo Beatty $a(n) = \lfloor n/\sqrt{2} + d \rfloor$ , dove il parametro di shift $d$ appartiene a un intervallo preciso:
$I = \left[ \frac{\sqrt{2}}{2}, 2(\sqrt{2}-1) \right] \approx [0.707, 0.828]$

Per $d = \sqrt{2}/2$ (estremo sinistro), si soddisfa l'equazione forte originale.
Per qualsiasi altro $d \in I$ , si soddisfa solo l'equazione debole triplicemente annidata.
Se $d$ esce da questo intervallo, l'equazione fallisce per infiniti $n$ .

C. Struttura Interna e Parole di Sturmian

La differenza tra i termini consecutivi $\Delta(n) = a(n+1) - a(n)$ per queste soluzioni forma una parola di Sturmian di pendenza $1/\sqrt{2}$ .

La struttura è legata al gioco di Wythoff con parametro $\sqrt{2}$ .
L'autore analizza il "difetto" (l'errore $D(n) = a(f(n)) - n$ ) agli estremi dell'intervallo $I$ , mostrando che segue uno schema morfico governato da una sostituzione specifica, con complessità fattoriale lineare ma non strettamente Sturmian.

D. Generalizzazione ad Ordini Superiori ( $r \ge 3$ )

Il risultato viene esteso a finestre di dimensione $r$ generica.

Quadrati Perfetti: Se $r = s^2$ $r = s^{2}$ è un quadrato perfetto:
- Se $s$ è dispari, esiste una soluzione di Beatty esatta $a(n) = \lfloor n/s + s/2 \rfloor$ che soddisfa l'equazione.
- Se $s$ è pari, la soluzione di Beatty fallisce sistematicamente (l'equazione dà $n+1$ invece di $n$ ).
Non-Quadrati: Per $r=3$ e $r=5$ (e fino a $r=30$ ), l'autore prova che la soluzione di Beatty $a(n) = \lfloor n/\sqrt{r} + \sqrt{r}/2 \rfloor$ soddisfa l'equazione.
Congettura 22: L'autore congetta che l'identità valga per tutti gli $r$ non quadrati. La dimostrazione per ogni singolo $r$ è decidibile tramite Walnut (poiché $1/\sqrt{r}$ è un irrazionale quadratico), ma una prova uniforme per tutti gli $r$ rimane aperta.

4. Significato e Implicazioni

Rottura dell'Unicità: Il lavoro dimostra che le equazioni implicite di tipo Golomb non hanno necessariamente una soluzione unica. Oltre alla soluzione "greedy" (locale, discreta, regolare), esiste una soluzione "globale" basata su rotazioni irrazionali (Beatty).
Connessione tra Campi: Il paper collega profondamente la teoria delle sequenze automatiche (regolari), la teoria dei numeri (frazioni continue, numeri di Pell, rappresentazione di Ostrowski) e la teoria dei giochi (Wythoff).
Metodologia Ibrida: L'uso combinato di analisi asintotica, teoria della discrepanza e dimostrazione automatica (Walnut) offre un nuovo paradigma per affrontare equazioni funzionali non lineari su interi.
Nuovi Problemi Aperti:
- Dimostrare la congettura per tutti gli $r$ non quadrati.
- Determinare se le soluzioni greedy e di Beatty sono le uniche soluzioni monotone infinite per ogni $r$ .
- Comprendere la struttura morfica del difetto per ordini $r \ge 3$ .

In sintesi, il paper rivela una ricca struttura matematica nascosta dietro una semplice equazione ricorsiva, mostrando come la scelta tra soluzioni locali (greedy) e globali (Beatty) dipenda dalla natura aritmetica dell'ordine $r$ e dalla geometria delle rotazioni irrazionali.