Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

Il lavoro generalizza il risultato di Duffin e Schaeffer dimostrando che l'insieme dei numeri approssimabili in modo non omogeneo ha misura zero o piena a seconda che il parametro appartenga a un insieme numerabile specifico o al suo complemento, utilizzando sistemi di residui reali, la distribuzione dei primi in insiemi di Bohr e l'equidistribuzione delle rotazioni circolari campionati lungo tali primi.

L'essenziale

Immagina di avere un'infinità di numeri reali, come una lunga fila di punti su una linea. La matematica ci chiede: "Quanti di questi punti sono 'speciali' in un certo modo?"

Questo articolo scientifico, scritto da Stefan M. Hesseling e Felipe A. Ramírez (con un aiuto speciale da Manuel Hauke), risponde a una domanda molto complessa su come possiamo "avvicinarci" a questi numeri speciali usando frazioni semplici.

Ecco una spiegazione semplice, usando metafore e analogie.

1. Il Gioco dell'Avvicinamento (La Metafora del Bersaglio)

Immagina di essere un arciere.

• Il bersaglio è un numero reale $y$ (ad esempio, $\pi$ o $\sqrt{2}$).
• Le tue frecce sono le frazioni $a/q$ (dove $q$ è un numero intero che scegli).
• La tua abilità è misurata da una funzione $\psi(q)$. Più $\psi(q)$ è grande, più il tuo "cerchio di mira" è ampio.

La domanda è: Quante frecce colpiranno il bersaglio?
Se lanci infinite frecce (per ogni numero intero $q$), riuscirai a colpire il bersaglio infinite volte?

I matematici hanno scoperto una regola generale:

• Se la somma delle tue "mire" (la funzione $\psi$) è piccola, colpirai il bersaglio quasi mai (misura zero).
• Se la somma è grande, colpirai il bersaglio quasi sempre (misura piena).

MA c'è un problema: Questa regola funziona solo se le tue frecce sono lanciate in modo ordinato (la funzione deve essere "decrescente", cioè la mira si restringe man mano che lanci).

2. Il Problema: Cosa succede se lanci in modo disordinato?

Nel 1941, due matematici famosi (Duffin e Schaeffer) dimostrarono che se lanci le frecce in modo disordinato (senza rispettare l'ordine), la regola potrebbe rompersi. Potresti avere una somma enorme (tante frecce), ma colpire il bersaglio zero volte.

L'articolo di oggi risponde a una domanda ancora più strana:

"Possiamo creare un unico set di frecce (una funzione $\psi$) che colpirà mai un certo gruppo di bersagli (chiamiamolo gruppo Y), ma colpirà sempre un altro gruppo di bersagli (chiamiamolo gruppo Z)?"

La risposta è SÌ.

L'analogia della "Chiave Magica":
Immagina di costruire una chiave magica (la funzione $\psi$) che apre una serratura specifica.

• Se provi ad aprire le serrature del gruppo Y (numeri "razionali" o simili), la chiave non gira mai.
• Se provi ad aprire le serrature del gruppo Z (numeri "irrazionali" molto strani), la chiave gira perfettamente ogni volta.

Il fatto incredibile è che la chiave è la stessa per tutti! È come se avessi costruito un sistema di sicurezza che ignora completamente i ladri del gruppo Y, ma lascia la porta spalancata per i ladri del gruppo Z.

3. Come hanno fatto? (I Tre Segreti)

Per costruire questa "chiave magica", gli autori hanno usato tre strumenti matematici molto sofisticati, che possiamo immaginare come tre attrezzi in una cassetta:

A. I "Sistemi di Residui Reali" (Le Mappe Territoriali)

Immagina di dover coprire un territorio con dei cerchi. Di solito, i cerchi sono centrati su numeri interi. Qui, gli autori hanno permesso di centrare i cerchi su qualsiasi numero reale.
Hanno dimostrato che, anche spostando i centri dei cerchi in modo casuale, l'area totale coperta non può diventare più piccola di quando i centri sono tutti allineati perfettamente. Questo garantisce che, se il nostro set di frecce è abbastanza grande, coprirà sicuramente una certa area (il gruppo Z).

B. I "Numeri Primi nelle Bohr-Set" (I Soldati Nascosti)

Per costruire la chiave, hanno bisogno di scegliere numeri interi molto specifici. Non possono usare tutti i numeri, altrimenti il sistema si incepperebbe.
Hanno usato i numeri primi (2, 3, 5, 7, 11...), ma non tutti. Hanno selezionato solo quelli che si trovano in "zone speciali" chiamate Bohr-set.

• Metafora: Immagina che i numeri primi siano soldati sparsi in un campo. I Bohr-set sono come recinti invisibili. Gli autori hanno dimostrato che, anche se i recinti sono strani, c'è sempre un numero infinito di soldati (primi) dentro di essi, distribuiti in modo perfetto. Questo permette di costruire la chiave senza buchi.

C. La "Distribuzione Equilibrata" (Il Gioco dell'Equilibrio)

Hanno dovuto assicurarsi che i loro soldati (i primi scelti) fossero distribuiti in modo così uniforme che, quando si usano per colpire il bersaglio Z, non si sovrappongano mai troppo (evitando sprechi) e coprano tutto il territorio. È come se avessero imparato a lanciare le frecce in modo che, anche se il bersaglio si muove, ne colpiscono sempre una parte significativa.

4. Perché è importante?

Questo lavoro è importante perché:

1. Risolve un mistero storico: Conferma che le regole matematiche sull'approssimazione sono molto più flessibili di quanto pensassimo.
2. Unisce mondi diversi: Collega la teoria dei numeri (i primi), la geometria (i cerchi e i tori) e la teoria della probabilità (la misura).
3. Risponde a domande combinatorie: Hanno anche risolto un indovinello (nell'appendice di Manuel Hauke) su come scegliere gruppi di numeri in modo che la somma dei loro inversi sia infinita, ma senza che abbiano fattori comuni troppo grandi. È come chiedere: "Posso scegliere una lista di numeri in modo che la loro somma sia infinita, ma che non abbiano 'parenti' in comune troppo potenti?" La risposta è: "Solo se la lista contiene una struttura specifica di numeri primi".

In Sintesi

Gli autori hanno costruito un esperimento matematico perfetto:
Hanno creato una regola di lancio (la funzione $\psi$) che è "cieca" a certi numeri (li ignora completamente) ma "ipnotica" per altri (li colpisce sempre). Per farlo, hanno usato una strategia che combina la selezione intelligente dei numeri primi e la geometria dei cerchi, dimostrando che l'universo dei numeri reali ha una struttura nascosta molto più ricca e sorprendente di quanto immaginassimo.

È come se avessero scoperto che, con la giusta chiave, puoi aprire tutte le porte di un castello tranne quelle di una stanza specifica, oppure aprire solo quella stanza e chiudere tutte le altre, usando la stessa chiave!

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Duffin–Schaeffer Examples, Real Residue Systems, and Bohr-Set Primes" di Stefan M. Hesseling e Felipe A. Ramírez (con un appendice di Manuel Hauke), redatta in italiano.

1. Il Problema e il Contesto

Il lavoro si colloca nell'ambito della approssimazione diofantea inhomogenea. Il problema centrale riguarda la misura di Lebesgue dell'insieme dei numeri reali $x \in [0,1]$ che sono "approssimabili" da una funzione $\psi: \mathbb{N} \to \mathbb{R}_{\ge 0}$ rispetto a un parametro inhomogeneo $y \in \mathbb{R}$.
L'insieme in questione è definito come:
$$W(\psi, y) = \{x \in [0,1] : \|qx - y\| < \psi(q) \text{ per infiniti } q \in \mathbb{N}\}$$
dove $\|\cdot\|$ indica la distanza dal più vicino intero.

Storicamente, il Teorema di Szüsz (1958) (una versione inhomogenea del teorema di Khintchine) stabilisce che se la serie $\sum \psi(q)$ converge, la misura è 0, e se diverge e $\psi$ è non crescente, la misura è 1. Tuttavia, Duffin e Schaeffer (1941) dimostrarono che la condizione di monotonia è essenziale: esistono funzioni $\psi$ tali che la serie diverge ma la misura è 0.

Il problema specifico affrontato in questo articolo è la costruzione di un esempio "patologico" che generalizza i risultati precedenti:

• Dato un insieme numerabile arbitrario $Y \subseteq \mathbb{R}$ e un altro insieme numerabile $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$, esiste una funzione $\psi$ tale che:
  • $\mu(W(\psi, y)) = 0$ per ogni $y \in Y$.
  • $\mu(W(\psi, z)) = 1$ per ogni $z \in Z$.
  • La serie $\sum \psi(q)$ diverge.

Un risultato precedente (Ramírez, 2017) aveva dimostrato questo fatto solo condizionalmente, assumendo una congettura dinamica analoga ai problemi dei sistemi di copertura di Erdős. Questo paper fornisce una dimostrazione assoluta (unconditional).

2. Metodologia

La prova si basa su una costruzione esplicita della funzione $\psi$, il cui supporto è costituito da blocchi di interi prodotti di elementi appartenenti a insiemi di Bohr. La metodologia integra tre aree principali della teoria dei numeri e dell'analisi armonica:

1. Sistemi di Residui Reali (Real Residue Systems):
   Gli autori generalizzano il concetto classico di "sistema di residui" (dove i residui sono interi) permettendo ai residui di assumere valori reali arbitrari. Definiscono un sistema di residui reale $R(\epsilon, \mathbf{a}, \mathbf{n})$ come l'unione di intervalli centrati in $a_i$ con raggio $\epsilon$ e passo $n_i$.

   • Strumento chiave: Estendono un teorema di Rogers (1960) per dimostrare che, tra tutti i sistemi di residui reali con moduli fissati, quello con residui nulli ($\mathbf{a}=0$) minimizza la misura asintotica. Questo permette di confrontare il caso inhomogeneo con quello omogeneo.

2. Distribuzione dei Primi negli Insiemi di Bohr:
   Per controllare la misura degli insiemi di approssimazione, è necessario che i moduli della funzione $\psi$ siano scelti in modo da garantire una buona distribuzione. Gli autori costruiscono $\psi$ supportata su prodotti di numeri primi che giacciono in insiemi di Bohr.

   • Generalizzano il Teorema dei Numeri Primi per le Progressioni Aritmetiche (Siegel-Walfisz) al contesto degli insiemi di Bohr.
   • Generalizzano il teorema di Vinogradov sull'equidistribuzione delle successioni $(pz)_{p \in \mathbb{P}}$ modulo 1 al caso in cui $p$ appartiene a un insieme di Bohr.

3. Costruzione Induttiva e Lemma di Borel-Cantelli:
   La funzione $\psi$ è costruita induttivamente su una griglia triangolare di blocchi di interi.

   • Per gli elementi di $Y$ (dove si vuole misura 0), si sfrutta la proprietà di "piccola misura" garantita dai sistemi di residui reali e dalla struttura degli insiemi di Bohr.
   • Per gli elementi di $Z$ (dove si vuole misura 1), si utilizza un argomento di setacciamento (sieving) basato sulla distribuzione uniforme dei primi negli insiemi di Bohr e sull'indipendenza razionale di $z$ rispetto a $Y$. Si applica il Lemma di Erdős-Turán per garantire che la misura dell'intersezione dei blocchi non collassi.

3. Risultati Principali

Il paper presenta quattro teoremi fondamentali:

• Teorema 1.1 (Esempi di Duffin-Schaeffer con comportamento prescritto):
  Dimostra l'esistenza incondizionata della funzione $\psi$ che separa gli insiemi $Y$ e $Z$ come descritto sopra. Questo risolve il problema aperto posto in lavori precedenti, rimuovendo la necessità di congetture dinamiche.

• Teorema 1.2 (Teorema di Rogers per residui reali):
  Estende il teorema di Rogers ai sistemi di residui con residui reali. Afferma che per qualsiasi vettore di residui $\mathbf{a} \in \mathbb{R}^\ell$ e moduli $\mathbf{n}$, la misura dell'unione degli intervalli è minima quando i residui sono tutti nulli. Questo è cruciale per ottenere i limiti inferiori di misura per il caso inhomogeneo.

• Teorema 1.3 (Teorema dei numeri primi per insiemi di Bohr):
  Generalizza il teorema di Siegel-Walfisz. Stabilisce che il numero di primi in un insieme di Bohr $N_v(w, \epsilon)$ è infinito se e solo se l'intersezione tra l'insieme di Bohr e il sottogruppo generato dai primi coprimi al numero di componenti connesse è non vuota. Fornisce anche l'asintotico preciso: $\#(P \cap N_v(w, \epsilon) \cap [1, X]) \sim \mu_\times(B(v, \epsilon)) \frac{X}{\log X}$.

• Teorema 1.4 (Equidistribuzione lungo i primi degli insiemi di Bohr):
  Generalizza il teorema di Vinogradov. Se $z$ è raramente indipendente dai parametri dell'insieme di Bohr, la successione $(pz)_{p \in P \cap N_v(y, \epsilon)}$ è equidistribuita modulo 1. Questo risultato è essenziale per garantire che i blocchi di $\psi$ coprano "uniformemente" l'intervallo $[0,1]$ per i parametri in $Z$.

• Appendice A (Manuel Hauke):
  Risponde negativamente a una domanda combinatoria sollevata nel testo: non è vero che ogni insieme $A$ di densità positiva contenga un sottoinsieme $B$ con reciproci divergenti e GCD limitato. Hauke caratterizza esattamente quali insiemi ammettono tale sottoinsieme (devono contenere multipli di un insieme di primi con somma dei reciproci divergente) e costruisce controesempi di densità 1.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria dell'approssimazione diofantea e nella teoria analitica dei numeri:

1. Risoluzione di un problema aperto: Fornisce la prima dimostrazione incondizionata della possibilità di separare completamente il comportamento di approssimazione per insiemi numerabili arbitrari di parametri omogenei e inhomogenei, chiudendo un capitolo aperto dalla congettura di Ramírez (2017).
2. Generalizzazione di Teoremi Classici: Estende risultati fondamentali (Khintchine, Rogers, Siegel-Walfisz, Vinogradov) dal contesto delle progressioni aritmetiche e dei residui interi a quello molto più generale degli insiemi di Bohr e dei residui reali. Questo amplia notevolmente la portata degli strumenti disponibili per lo studio delle approssimazioni.
3. Nuovi Strumenti Analitici: L'introduzione e lo studio dei "sistemi di residui reali" offrono un nuovo quadro teorico per analizzare la sovrapposizione di intervalli con centri arbitrari, con potenziali applicazioni oltre l'approssimazione diofantea.
4. Connessione tra Dinamica e Teoria dei Numeri: Il lavoro rafforza il legame tra la dinamica dei rotazioni circolari (equidistribuzione) e la distribuzione dei numeri primi, mostrando come le proprietà statistiche dei primi in strutture algebriche complesse (Bohr sets) possano essere sfruttate per costruire controesempi analitici.

In sintesi, il paper non solo risolve un problema specifico di costruzione di controesempi, ma fornisce un nuovo toolkit teorico che unifica concetti di approssimazione diofantea, teoria ergodica e distribuzione dei numeri primi in contesti non standard.