Metric results for dyadic approximation on the middle-third Cantor set

Sintesi Tecnica: Risultati Metrici per l'Approssimazione Diadica sull'Insieme di Cantor del Terzo Centrale

Enunciato del Problema
Questo articolo affronta il problema dell'approssimazione di Diofante su frattali, concentrandosi specificamente sull'insieme di Cantor del terzo centrale $C$. L'oggetto centrale di studio è l'insieme $W_2(\tau)$, definito come la collezione di punti $x \in [0, 1]$ tali che $\|2^n x\| < n^{-\tau}$ per infiniti $n \in \mathbb{N}$, dove $\|\cdot\|$ indica la distanza dall'intero più vicino. Gli autori investigano la misura di questo insieme rispetto alla misura di Cantor-Lebesgue $\mu$ (la misura di Hausdorff $\gamma$-dimensionale ristretta a $C$, dove $\gamma = \log 2 / \log 3$).

Il lavoro si concentra su una congettura attribuita a Velani, la quale postula una legge zero-uno per $\mu(W_2(\tau))$: la misura dovrebbe essere 0 se $\tau > 1$ e 1 se $0 < \tau \le 1$. Sebbene questa congettura rimanga aperta nella sua piena generalità, ricerche precedenti avevano stabilito risultati parziali. In particolare, Allen, Baker, Chow e Yu [1] hanno dimostrato il caso nullo per $\tau > \approx 1.552$, mentre Baker [3] ha dimostrato il caso di misura piena per $0 < \tau \le 0.01$. La difficoltà del problema deriva dal fatto che le espansioni in base 2 e base 3 dei numeri in $C$ non sono entrambe strutturate, un principio legato alla congettura $\times 2, \times 3$ di Furstenberg, ma l'attuale comprensione quantitativa di questa indipendenza è limitata.

Metodologia
Gli autori impiegano un approccio di analisi di Fourier, basandosi sulle tecniche sviluppate in [1] e [3]. Un ostacolo primario in questo campo è che la misura di Cantor-Lebesgue $\mu$ manca di un decadimento globale di Fourier (ovvero, $|\hat{\mu}(\xi)|$ non tende a 0 quando $|\xi| \to \infty$). I lavori precedenti si sono basati sul Lemma di Baker [3], che ha stabilito che $|\hat{\mu}(h2^n)|$ decade polinomialmente per tutti tranne che per un piccolo insieme di $n$.

La chiave dell'innovazione metodologica in questo articolo è l'instaurazione di stime precise per le somme parziali dei coefficienti di Fourier di $\mu$ lungo la sequenza $h2^n$. Nello specifico, gli autori dimostrano stime uniformi per le somme di $|\hat{\mu}(h2^n)|$ e $|\hat{\mu}(h2^n)|^2$. Queste stime sono derivate dalle proprietà numeriche delle potenze di 2 modulo potenze di 3, sfruttando nello specifico la valutazione 3-adica e la distribuzione dei residui.

Gli strumenti tecnici centrali includono:

1. Nuove Stime di Fourier: Dimostrare che $\sum_{n=1}^N |\hat{\mu}(h2^n)|^2 \ll N^{1-\gamma}$ e $\sum_{n=1}^N |\hat{\mu}(h2^n)| \ll N^{(1-\gamma)/2}$ uniformemente in $h \in \mathbb{Z} \setminus \{0\}$.
2. Smoothing e Stime Integrali: Utilizzare la disuguaglianza di Jackson per costruire approssimazioni lisce delle funzioni indicatrici per i target decrescenti. Queste vengono combinate con le nuove stime di Fourier per derivare i limiti sui primi e secondi momenti della funzione di conteggio.
3. Argomenti di Borel-Cantelli: Applicare i limiti dei momenti per stabilire la legge zero-uno tramite il lemma di Borel-Cantelli.

Contributi Chiave e Risultati
L'articolo fornisce stime migliorate per le parti di convergenza e divergenza della congettura di Velani:

1. Parte Nulla (Convergenza): Gli autori dimostrano che $\mu(W_2(\tau)) = 0$ per $\tau > \frac{1}{\gamma} - \frac{1-\gamma}{3-\gamma} \approx 1.429$. Questo migliora il precedente miglior risultato di $\tau > \approx 1.552$ di Allen, Baker, Chow e Yu [1].
2. Parte di Misura Piena (Divergenza): Gli autori dimostrano che $\mu(W_2(\tau)) = 1$ per $0 < \tau < \frac{\gamma}{12} \approx 0.052$. Questo migliora il precedente miglior risultato di $\tau \le 0.01$ di Baker [3].
3. Risultato di Conteggio Generale: Per la parte di misura piena, gli autori stabiliscono un risultato di conteggio più forte (Teorema 1.4). Per qualsiasi sequenza $(x_n)$ in $[0, 1]$ e $0 < \tau < \gamma/12$, per $\mu$-quasi ogni $x \in C$:
   $$\lim_{N \to \infty} \frac{\#\{1 \le n \le N : \|2^n x - x_n\| < n^{-\tau}\}}{2 \sum_{n=1}^N n^{-\tau}} = 1.$$
   Ciò generalizza il risultato di Baker ai contesti omogeni e alle sequenze arbitrarie.
4. Estensione agli Insiemi a Cifre Mancanti: La metodologia viene estesa a una classe più ampia di misure autosimili su insiemi a cifre mancanti $K_{b,D}$ (dove $b$ è un numero primo e $D$ è l'insieme delle cifre). Il Teorema 1.7 fornisce un risultato di conteggio simile per questi insiemi, con una soglia $\kappa$ dipendente dal vettore di probabilità e dalla base.

Significatività e Rivendicazioni
L'articolo afferma che il suo contributo primario risiede nel raffinamento dell'input di Fourier utilizzato nel meccanismo di [1] e [3]. Stabilendo le stime più strette sulle somme parziali dei coefficienti di Fourier (specificamente i limiti $L^1$ e $L^2$ lungo la sequenza $h2^n$), gli autori sono in grado di spingere le soglie note per la congettura di Velani più vicine al valore congetturale di $\tau = 1$.

Gli autori dichiarano esplicitamente che il loro approccio si generalizza alle misure autosimili su insiemi a cifre mancanti, dimostrando la robustezza della loro tecnica di analisi di Fourier oltre il caso specifico dell'insieme di Cantor del terzo centrale. Essi riconoscono che, sebbene questi risultati rappresentino un progresso significativo, la congettura rimane aperta per l'intervallo $0.052 \le \tau \le 1.429$. Il lavoro non propone nuove applicazioni o framework sperimentali, ma si concentra strettamente sull'avanzamento della comprensione teorica dell'approssimazione di Diofante metrica su frattali.