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

Technische Samenvatting: Metrische Resultaten voor Dyadische Approximatie op de Midden-derde Cantorverzameling

Probleemstelling
Dit artikel behandelt het probleem van Diophantische benadering op fractalen, met een specifieke focus op de midden-derde Cantorverzameling $C$. Het centrale object van studie is de verzameling $W_2(\tau)$, gedefinieerd als de collectie punten $x \in [0, 1]$ waarvoor $\|2^n x\| < n^{-\tau}$ voor oneindig veel $n \in \mathbb{N}$, waarbij $\|\cdot\|$ de afstand tot de dichtstbijzijnde integer is. De auteurs onderzoeken de maat van deze verzameling met betrekking tot de Cantor-Lebesgue maat $\mu$ (de $\gamma$-dimensionale Hausdorff-maat beperkt tot $C$, waarbij $\gamma = \log 2 / \log 3$).

Het werk centreert zich rond een conjectuur toegeschreven aan Velani, die een nul-en-één-wet voor $\mu(W_2(\tau))$ postuleert: de maat moet 0 zijn als $\tau > 1$ en 1 als $0 < \tau \le 1$. Hoewel dit conjectuur in zijn volledige algemeenheid nog openstaat, heeft eerder onderzoek gedeeltelijke resultaten vastgesteld. In het bijzonder bewezen Allen, Baker, Chow en Yu [1] het nul-geval voor $\tau > \approx 1.552$, en Baker [3] bewees het volledige-maat-geval voor $0 < \tau \le 0.01$. De moeilijkheid van het probleem komt voort uit het feit dat de base-2 en base-3 expansies van getallen in $C$ niet beide gestructureerd zijn, een principe dat gerelateerd is aan de Furstenberg $\times 2, \times 3$ conjectuur, maar de huidige kwantitatieve kennis van deze onafhankelijkheid is beperkt.

Methodologie
De auteurs hanteren een Fourier-analytische benadering, voortbouwend op de technieken ontwikkeld in [1] en [3]. Een primaire obstructie in dit veld is dat de Cantor-Lebesgue maat $\mu$ geen globale Fourier-verval vertoont (dat wil zeggen, $|\hat{\mu}(\xi)|$ gaat niet naar 0 als $|\xi| \to \infty$). Eerdere werken vertrouwden op Baker's Lemma [3], die vaststelde dat $|\hat{\mu}(h2^n)|$ polynomiaal vervalt voor alle behalve een kleine verzameling $n$.

De belangrijkste methodologische innovatie in dit artikel is de vaststelling van precieze schattingen voor de partiële sommen van de Fourier-coëfficiënten van $\mu$ langs de sequentie $h2^n$. Specifiek bewijzen de auteurs uniforme schattingen voor de sommen van $|\hat{\mu}(h2^n)|$ en $|\hat{\mu}(h2^n)|^2$. Deze schattingen worden afgeleid uit getaltheoretische eigenschappen van de machten van 2 modulo machten van 3, waarbij specifiek gebruik wordt gemaakt van de 3-adische valentie en de distributie van residuen.

De kern van de technische instrumenten omvat:

1. Nieuwe Fourier-schattingen: Het bewijzen dat $\sum_{n=1}^N |\hat{\mu}(h2^n)|^2 \ll N^{1-\gamma}$ en $\sum_{n=1}^N |\hat{\mu}(h2^n)| \ll N^{(1-\gamma)/2}$ uniform in $h \in \mathbb{Z} \setminus \{0\}$.
2. Smoothing en Integralschattingen: Het gebruik van de Jackson-ongelijkheid om gladde benaderingen te construeren voor de indicatiefuncties van de krimpend doelwitten (shrinking targets). Deze worden gecombineerd met de nieuwe Fourier-schattingen om grenzen af te leiden voor de eerste en tweede momenten van de telfunctie.
3. Borel-Cantelli Argumenten: Het toepassen van de momentenbounds om de nul-en-één-wet vast te stellen via de Borel-Cantelli lemma.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt verbeterde grenzen voor de convergentie- en divergentieonderdelen van de Velani-conjectuur:

1. Nul-deel (Convergentie): De auteurs bewijzen dat $\mu(W_2(\tau)) = 0$ voor $\tau > \frac{1}{\gamma} - \frac{1-\gamma}{3-\gamma} \approx 1.429$. Dit verbetert het voorheen beste resultaat van $\tau > \approx 1.552$ door Allen, Baker, Chow en Yu [1].
2. Volledige Maat-deel (Divergentie): De auteurs bewijzen dat $\mu(W_2(\tau)) = 1$ voor $0 < \tau < \frac{\gamma}{12} \approx 0.052$. Dit verbetert het voorheen beste resultaat van $\tau \le 0.01$ door Baker [3].
3. Algemene Telresultaat: Voor het volledige maat-deel stellen de auteurs een sterker telresultaat vast (Theorem 1.4). Voor elke sequentie $(x_n)$ in $[0, 1]$ en $0 < \tau < \gamma/12$, geldt voor $\mu$-bijna elke $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.$$
   Dit generaliseert het resultaat van Baker naar inhomogene settings en willekeurige sequenties.
4. Extensie naar Missing-Digit Sets: De methodologie wordt uitgebreid naar een bredere klasse van zelf-similaire maten op missing-digit sets $K_{b,D}$ (waarbij $b$ een priemgetal is en $D$ een digit set). Theorem 1.7 biedt een vergelijkbaar telresultaat voor deze verzamelingen, met een drempelwaarde $\kappa$ die afhangt van de waarschijnlijkheidsvector en de basis.

Betekenis en Claims
Het artikel claimt dat de primaire bijdrage ligt in de verfijning van de Fourier-input die wordt gebruikt in het mechanisme van [1] en [3]. Door de scherpere schattingen op de partiële sommen van Fourier-coëfficiënten (specifiek de $L^1$ en $L^2$ bounds langs de sequentie $h2^n$) vast te stellen, zijn de auteurs in staat de bekende drempelwaarden voor de Velani-conjectuur dichter bij de geconjectureerde waarde van $\tau = 1$ te brengen.

De auteurs geven expliciet aan dat hun benadering generaliseert naar zelf-similaire maten op missing-digit sets, wat de robuustheid van hun Fourier-analytische techniek buiten het specifieke geval van de midden-derde Cantorverzameling aantoont. Zij erkennen dat hoewel deze resultaten significante vooruitgang vertegenwoordigen, het conjectuur open blijft voor het bereik $0.052 \le \tau \le 1.429$. Het werk stelt geen nieuwe toepassingen of experimentele kaders voor, maar richt zich strikt op het bevorderen van het theoretische begrip van metrische Diophantische benadering op fractalen.