Fourier Dimension in Duffin--Schaeffer Conjecture

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria metrica dei numeri e dell'approssimazione diofantea. L'obiettivo principale è determinare la dimensione di Fourier di insiemi specifici di numeri reali che possono essere approssimati bene da razionali, sotto vincoli aritmetici di coprimosità.

In particolare, gli autori studiano l'insieme $W^*(\psi, \theta)$, definito come l'insieme dei numeri $x \in [0, 1]$ tali che:
$$\left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q}$$
per infinitamente molte coppie $(p, q) \in \mathbb{Z} \times \mathbb{N}$ che soddisfano la condizione di coprimosità generalizzata:
$$\gcd(B_q p + A_q, q) = 1$$
dove $\psi: \mathbb{N} \to [0, 1/2)$ è una funzione di approssimazione, $\theta: \mathbb{N} \to \mathbb{R}$ è una funzione di spostamento (caso non omogeneo), e $\{A_q\}, \{B_q\}$ sono sequenze di interi con $\gcd(A_q, B_q)=1$ e $B_q > 0$.

Motivazione:

• Caso Omogeneo: I teoremi classici di Kaufman e Bluhm hanno stabilito la dimensione di Fourier per il caso omogeneo ($\theta=0$) con $\psi(q) = q^{-\tau}$, dimostrando che tali insiemi sono insiemi di Salem (la dimensione di Hausdorff coincide con la dimensione di Fourier). Tuttavia, le loro prove si basavano essenzialmente su approssimazioni con $\gcd(p,q)=1$.
• Caso Non Omogeneo e Coprimosità: La congettura di Chen e Xiong ha proposto una formula per la dimensione di Fourier nell'approssimazione non omogenea, ma rimaneva aperta la questione per parametri irrazionali $\theta$ e, soprattutto, per la formulazione con vincoli di coprimosità (la versione "Duffin-Schaeffer" dell'approssimazione).
• Gap nella letteratura: Non esisteva una caratterizzazione completa della dimensione di Fourier per insiemi di approssimazione diofantea con vincoli di coprimosità generali e funzioni di approssimazione arbitrarie.

2. Metodologia

Gli autori adottano un approccio analitico basato sulla costruzione di misure di probabilità con decadimento controllato della trasformata di Fourier. La dimostrazione è divisa in due parti principali (Proposizioni 2.1 e 2.2):

A. Limite Superiore (Proposizione 2.1)

Per dimostrare che $\dim_F W^*(\psi, \theta) \leq 2s(\psi)$, gli autori procedono per contraddizione:

1. Si assume l'esistenza di una misura $\nu$ supportata su $W^*(\psi, \theta)$ con un decadimento di Fourier più rapido di quanto previsto ($|\hat{\nu}(\xi)| \ll |\xi|^{-s}$ con $s > s(\psi)$).
2. Si utilizza la struttura di limite superiore (limsup) dell'insieme $W^*$.
3. Si applica il Primo Lemma di Borel-Cantelli per mostrare che, sotto l'ipotesi di convergenza della serie associata alla funzione $\psi$, la misura $\nu$ dell'insieme deve essere zero, creando una contraddizione.
4. Tecnica Chiave: Il calcolo della misura degli intervalli coinvolge somme esponenziali con vincoli di coprimosità. Gli autori dimostrano un Lemma ausiliario (Lemma 2.3) che fornisce un limite superiore uniforme per le somme di Ramanujan generalizzate:
   $$\left| \sum_{\substack{0 \le p \le q-1 \\ \gcd(B_q p + A_q, q)=1}} e\left(-\frac{k p}{q}\right) \right| \ll \gcd(q, k) \cdot \log q$$
   Questo risultato è fondamentale per controllare l'errore nelle stime della misura.

B. Limite Inferiore (Proposizione 2.2)

Per dimostrare che $\dim_F W^*(\psi, \theta) \geq \min\{2s(\psi), 1\}$, gli autori costruiscono esplicitamente una misura di probabilità $\nu$ supportata su $W^*(\psi, \theta)$ che possiede il decadimento di Fourier desiderato.

1. Costruzione Iterativa: Si utilizza una variante della costruzione di Cai e Hambrook. Si definisce una sequenza di funzioni di densità $g_M$ basate su funzioni "mollificatrici" $f$ e su somme di indicatori degli intervalli di approssimazione.
2. Selezione dei Parametri: Si seleziona una sequenza di indici $M_k$ ricorsivamente per garantire la stabilità delle stime di Fourier.
3. Stime di Fourier: Si dimostra (Lemmi 2.5 e 2.6) che le funzioni $g_M$ hanno coefficienti di Fourier che decadono rapidamente, controllando sia i termini a bassa frequenza che quelli ad alta frequenza.
4. Convergenza: Si definisce una successione di misure $\nu_k$ come prodotto delle densità. Grazie al Teorema di continuità di Lévy, la successione delle trasformate di Fourier converge a una misura limite $\nu$ che soddisfa $|\hat{\nu}(\xi)| \ll |\xi|^{-(\eta-\varepsilon)}$, dove $\eta$ è arbitrariamente vicino a $s(\psi)$.

3. Risultati Principali

Il risultato centrale è il Teorema 1, che stabilisce la dimensione di Fourier dell'insieme $W^*(\psi, \theta)$ sotto la condizione di convergenza di Duffin-Schaeffer generalizzata:
$$\sum_{q \in \mathbb{N}} \psi(q) \prod_{\substack{p|q \\ p \nmid B_q}} (1 - p^{-1}) < \infty$$
Sotto questa condizione, la dimensione di Fourier è data da:
$$\dim_F W^*(\psi, \theta) = \min\{2s(\psi), 1\}$$
dove $s(\psi)$ è definito come:
$$s(\psi) = \inf \left\{ s \ge 0 : \sum_{q \in \mathbb{N}} \left(\frac{\psi(q)}{q}\right)^s < \infty \right\}$$

Punti salienti del risultato:

• Generalizzazione: Il teorema copre sia il caso omogeneo ($\theta=0$) che quello non omogeneo ($\theta \neq 0$), inclusi parametri irrazionali.
• Vincolo di Coprimosità: Risolve positivamente la versione con vincolo di coprimosità della congettura di Chen e Xiong.
• Recupero dei risultati classici: Ripristina i teoremi classici di Kaufman e Bluhm per il caso omogeneo con $\psi(q) = q^{-\tau}$ ($\tau \ge 1$).
• Ottimalità: La stima è affilata (sharp), fornendo un limite inferiore che coincide con il limite superiore.

4. Significato e Implicazioni

1. Risoluzione di Congetture Aperte: Il lavoro fornisce una risposta affermativa alla formulazione con coprimosità della congettura di Chen e Xiong, colmando un vuoto significativo nella teoria degli insiemi di Salem deterministici.
2. Avanzamento nella Teoria di Duffin-Schaeffer: Estende la comprensione della dimensione di Fourier al di là del caso omogeneo e senza vincoli di monotonia sulla funzione $\psi$, integrando la complessa aritmetica dei vincoli di coprimosità (tipica della congettura di Duffin-Schaeffer) nell'analisi armonica.
3. Metodologia Innovativa: L'introduzione di un limite superiore uniforme per le somme di Ramanujan generalizzate (Lemma 2.3) offre uno strumento potente che potrebbe essere applicato ad altri problemi di approssimazione diofantea, inclusi quelli moltiplicativi o pesati.
4. Connessioni Interdisciplinari: Poiché la dimensione di Fourier positiva è legata all'esistenza di numeri normali in insiemi frattali e allo sviluppo della teoria dell'approssimazione diofantea su frattali, questo risultato fornisce basi solide per future ricerche in analisi armonica e teoria metrica dei numeri.

In sintesi, il paper rappresenta un progresso sostanziale nella comprensione della struttura frattale e delle proprietà di decadimento armonico degli insiemi di approssimazione diofantea, risolvendo problemi aperti da tempo riguardanti la generalizzazione non omogenea e i vincoli aritmetici.