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

Résumé Technique : Résultats Métriques sur l'Approximation Dyadique de l'Ensemble de Cantor de Milieu Troisième

Énoncé du Problème
Cet article traite du problème de l'approximation diophantienne sur les fractales, en se concentrant spécifiquement sur l'ensemble de Cantor de milieu troisième $C$. L'objet central d'étude est l'ensemble $W_2(\tau)$, défini comme la collection des points $x \in [0, 1]$ tels que $\|2^n x\| < n^{-\tau}$ pour une infinité de $n \in \mathbb{N}$, où $\|\cdot\|$ désigne la distance à l'entier le plus proche. Les auteurs étudient la mesure de cet ensemble par rapport à la mesure de Cantor-Lebesgue $\mu$ (la mesure de Hausdorff $\gamma$-dimensionnelle restreinte à $C$, où $\gamma = \log 2 / \log 3$).

Le travail est centré sur une conjecture attribuée à Velani, qui pose une loi zéro-un pour $\mu(W_2(\tau))$ : la mesure devrait être 0 si $\tau > 1$ et 1 si $0 < \tau \le 1$. Bien que cette conjecture reste ouverte dans sa pleine généralité, des résultats partiels ont été établis précédemment. Notamment, Allen, Baker, Chow et Yu [1] ont prouvé le cas nul pour $\tau > \approx 1,552$, et Baker [3] a prouvé le cas de pleine mesure pour $0 < \tau \le 0,01$. La difficulté du problème provient du fait que les développements en base 2 et en base 3 des nombres dans $C$ ne sont pas tous deux structurés, un principe lié à la conjecture $\times 2, \times 3$ de Furstenberg, mais la compréhension quantitative actuelle de cette indépendance est limitée.

Méthodologie
Les auteurs emploient une approche d'analyse de Fourier, s'appuyant sur les techniques développées dans [1] et [3]. Une obstruction primaire dans ce domaine est que la mesure de Cantor-Lebesgue $\mu$ manque de décroissance globale de Fourier (c'est-à-dire que $|\hat{\mu}(\xi)|$ ne tend pas vers 0 quand $|\xi| \to \infty$). Les travaux précédents reposaient sur le Lemme de Baker [3], qui établissait que $|\hat{\mu}(h2^n)|$ décroît polynomialement pour presque toutes les valeurs de $n$, sauf pour un petit ensemble de $n$.

L'innovation méthodologique clé de cet article est l'établissement d'estimations précises pour les sommes partielles des coefficients de Fourier de $\mu$ le long de la suite $h2^n$. Plus précisément, les auteurs prouvent des estimations uniformes pour les sommes de $|\hat{\mu}(h2^n)|$ et $|\hat{\mu}(h2^n)|^2$. Ces estimations sont dérivées des propriétés arithmétiques des puissances de 2 modulo les puissances de 3, en exploitant spécifiquement la valuation 3-adique et la distribution des résidus.

Les outils techniques centraux incluent :

1. Nouvelles Estimations de Fourier : Prouver que $\sum_{n=1}^N |\hat{\mu}(h2^n)|^2 \ll N^{1-\gamma}$ et $\sum_{n=1}^N |\hat{\mu}(h2^n)| \ll N^{(1-\gamma)/2}$ uniformément en $h \in \mathbb{Z} \setminus \{0\}$.
2. Lissage et Estimations Intégrales : Utiliser l'inégalité de Jackson pour construire des approximations lisses des fonctions indicatrices des cibles rétrécissantes. Celles-ci sont combinées avec les nouvelles estimations de Fourier pour dériver des bornes sur les premier et second moments de la fonction de comptage.
3. Arguments de Borel-Cantelli : Appliquer les bornes de moments pour établir la loi zéro-un via le lemme de Borel-Cantelli.

Contributions Clés et Résultats
L'article fournit des bornes améliorées pour les parties de convergence et de divergence de la conjecture de Velani :

1. Partie Nulle (Convergence) : Les auteurs prouvent que $\mu(W_2(\tau)) = 0$ pour $\tau > \frac{1}{\gamma} - \frac{1-\gamma}{3-\gamma} \approx 1,429$. Cela améliore le meilleur résultat précédent de $\tau > \approx 1,552$ par Allen, Baker, Chow et Yu [1].
2. Partie de Pleine Mesure (Divergence) : Les auteurs prouvent que $\mu(W_2(\tau)) = 1$ pour $0 < \tau < \frac{\gamma}{12} \approx 0,052$. Cela améliore le meilleur résultat précédent de $\tau \le 0,01$ par Baker [3].
3. Résultat de Comptage Général : Pour la partie de pleine mesure, les auteurs établissent un résultat de comptage plus fort (Théorème 1.4). Pour toute suite $(x_n)$ dans $[0, 1]$ et $0 < \tau < \gamma/12$, pour $\mu$-presque tout $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.$$
   Ceci généralise le résultat de Baker aux contextes inhomogènes et aux suites arbitraires.
4. Extension aux Ensembles à Chiffres Manquants : La méthodologie est étendue à une classe plus large de mesures auto-similaires sur des ensembles à chiffres manquants $K_{b,D}$ (où $b$ est un nombre premier et $D$ est un ensemble de chiffres). Le Théorème 1.7 fournit un résultat de comptage similaire pour ces ensembles, avec un seuil $\kappa$ dépendant du vecteur de probabilité et de la base.

Signification et Revendications
L'article affirme que sa principale contribution réside dans le raffinement de l'entrée de Fourier utilisée dans le mécanisme de [1] et [3]. En établissant des estimations plus fines sur les sommes partielles des coefficients de Fourier (spécifiquement les bornes $L^1$ et $L^2$ le long de la suite $h2^n$), les auteurs sont capables de pousser les seuils connus de la conjecture de Velani plus près de la valeur conjecturée de $\tau = 1$.

Les auteurs déclarent explicitement que leur approche se généralise aux mesures auto-similaires sur des ensembles à chiffres manquants, démontrant la robustesse de leur technique d'analyse de Fourier au-delà du cas spécifique de l'ensemble de Cantor de milieu troisième. Ils reconnaissent que bien que ces résultats représentent un progrès significatif, la conjecture reste ouverte pour la plage $0,052 \le \tau \le 1,429$. Le travail ne propose pas de nouvelles applications ou cadres expérimentaux, mais se concentre strictement sur l'avancement de la compréhension théorique de l'approximation diophantienne métrique sur les fractales.