Fourier Dimension in Duffin--Schaeffer Conjecture

Titel: Fourier-dimensie in de Duffin–Schaeffer-conjectuur

Auteurs: Bo Tan en Qing-Long Zhou

1. Probleemstelling en Context

Het artikel richt zich op een fundamenteel probleem binnen de metrische getaltheorie: het bepalen van de Fourier-dimensie van specifieke verzamelingen van reële getallen die goed benaderbaar zijn door rationale getallen, onder strikte arithmetische voorwaarden.

• Achtergrond: De klassieke Diophantische benadering onderzoekt hoe goed reële getallen $x$ kunnen worden benaderd door breuken $p/q$. De Duffin–Schaeffer-conjectuur (recent bewezen door Koukoulopoulos en Maynard) behandelt de Lebesgue-maat van de verzameling $W^*(\psi, 0)$ van getallen die voldoen aan $|qx - p| < \psi(q)$ voor oneindig veel $(p, q)$ met $\gcd(p, q) = 1$.
• Het specifieke probleem: Hoewel de Lebesgue-maat en de Hausdorff-dimensie van dergelijke verzamelingen goed begrepen zijn, is de Fourier-dimensie ($\dim_F$) veel moeilijker te bepalen, vooral in het inhomogene geval (waarbij een verschuiving $\theta(q)$ aanwezig is) en onder de coprime voorwaarde (waarbij $\gcd$-voorwaarden worden opgelegd).
• Definitie van de verzameling: De auteurs definiëren $W^*(\psi, \theta)$ als de verzameling $x \in [0, 1]$ waarvoor geldt:
  $$\left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q}$$
  voor oneindig veel $(p, q) \in \mathbb{Z} \times \mathbb{N}$ met de voorwaarde $\gcd(B_q p + A_q, q) = 1$, waarbij $\{A_q\}$ en $\{B_q\}$ vaste rijen gehele getallen zijn met $\gcd(A_q, B_q)=1$. Dit is een generalisatie van de standaard Duffin–Schaeffer-voorwaarde.

2. Methodologie

De bewijsvoering is gebaseerd op de constructie en analyse van maatvoeringen (measures) met specifieke Fourier-afname-eigenschappen. De aanpak bestaat uit twee hoofdrichtingen: het bewijzen van een bovengrens en het bewijzen van een ondergrens voor de Fourier-dimensie.

A. Bovengrens (Propositie 2.1)

Om te tonen dat $\dim_F W^*(\psi, \theta) \leq 2s(\psi)$, gebruiken de auteurs een contradictie-bewijs:

1. Ze nemen aan dat er een Borel-maat $\nu$ bestaat met Fourier-afname $|\hat{\nu}(\xi)| \ll |\xi|^{-s}$ voor een $s > s(\psi)$.
2. Ze benutten de $limsup$-structuur van de verzameling $W^*(\psi, \theta)$.
3. Met behulp van de Parseval-identiteit en de Borel-Cantelli-lemma schatten ze de maat van de benaderingsintervallen af.
4. Een cruciaal technisch hulpmiddel is Lemma 2.3, een uniforme bovengrens voor een veralgemeende Ramanujan-som onder de coprime voorwaarde $\gcd(B_q p + A_q, q) = 1$. Dit lemma toont aan dat deze sommen beperkt zijn door $\gcd(q, k) \cdot \log q$.
5. Door de convergentie van de reeks te tonen, concluderen ze dat de maat van de verzameling onder de aanname nul zou zijn, wat een contradictie oplevert.

B. Ondergrens (Propositie 2.2)

Om te tonen dat $\dim_F W^*(\psi, \theta) \geq \min\{2s(\psi), 1\}$, construeren de auteurs expliciet een maat $\nu$ met de gewenste Fourier-afname:

1. Constructie: Ze gebruiken een iteratieve methode (vergelijkbaar met de constructie van Kaufman en Bluhm, maar aangepast voor de coprime en inhomogene setting).
2. Dichtheidsfuncties: Ze definiëren een reeks dichtheidsfuncties $g_M$ gebaseerd op een "smooth" kernfunctie $f$ en de som over de toegestane $p$-waarden (bepaald door $I_q$).
3. Fourier-coëfficiënten: Ze analyseren de Fourier-coëfficiënten van deze dichtheidsfuncties. Ze maken gebruik van de Poisson-sommatieformule en de eerder afgeleide schattingen van Ramanujan-sommen.
4. Stabiliteitslemma: Lemma 2.7 toont aan dat door de rijen $M_k$ zorgvuldig te kiezen (recursief), de Fourier-transformatie van de product-maat convergeert naar een limietmaat $\nu$ met de gewenste afname $O(|\xi|^{-(\eta-\varepsilon)})$.
5. Support: Ze bewijzen dat het support van deze limietmaat volledig binnen $W^*(\psi, \theta)$ ligt.

3. Belangrijkste Resultaten

Het hoofdstukresultaat is Stelling 1:

Laat $\psi: \mathbb{N} \to [0, 1/2)$ een willekeurige positieve functie zijn die voldoet aan de convergentievoorwaarde (3) (de Duffin–Schaeffer-voorwaarde voor Lebesgue-maat). Laat $\theta: \mathbb{N} \to \mathbb{R}$ een willekeurige functie zijn. Dan is de Fourier-dimensie van de verzameling $W^*(\psi, \theta)$:

$$\dim_F W^*(\psi, \theta) = \min\{2s(\psi), 1\}$$

Waarbij $s(\psi)$ gedefinieerd is als:
$$s(\psi) = \inf \left\{ s \geq 0 : \sum_{q=1}^{\infty} \left( \frac{\psi(q)}{q} \right)^s < \infty \right\}$$

Specifieke bevindingen:

• Het resultaat is onafhankelijk van de specifieke keuze van de rijen $\{A_q\}$ en $\{B_q\}$, zolang ze voldoen aan de coprime conditie.
• Het resultaat is onafhankelijk van de inhomogene verschuiving $\theta(q)$, zelfs als $\theta$ irrationaal is.

4. Bijdragen en Significatie

Deze paper levert een aanzienlijke bijdrage aan de meetkundige maattheorie en de harmonische analyse:

1. Oplossing van een open conjectuur: Het artikel geeft een bevestigend antwoord op de coprime versie van de conjectuur van Chen en Xiong. Chen en Xiong hadden eerder de formule bewezen voor het homogene geval en het rationele inhomogene geval, maar de irrationele inhomogene versie met coprime voorwaarden bleef een open probleem.
2. Generalisatie van klassieke theorema's: Het resultaat herwint de klassieke theorema's van Kaufman en Bluhm voor het homogene geval ($\theta=0$) met $\psi(q) = q^{-\tau}$, maar breidt deze uit naar een volledig inhomogene setting en een bredere klasse van functies $\psi$.
3. Technische doorbraak: De auteurs ontwikkelen een verfijnde methode om Fourier-dimensie te schatten in aanwezigheid van complexe coprime beperkingen. Ze tonen aan dat de standaard methoden (zoals die van Cai en Hambrook) niet direct toepasbaar zijn en ontwikkelen een nieuwe aanpak die de specifieke arithmetische structuur van de Duffin–Schaeffer-voorwaarde integreert.
4. Salem-sets: Het resultaat draagt bij aan het begrijpen van Salem-sets (verzamelingen waar de Fourier-dimensie gelijk is aan de Hausdorff-dimensie). Het toont aan dat bepaalde Diophantische verzamelingen, ondanks hun complexe arithmetische definitie, toch "grote" Fourier-dimensies hebben, wat impliceert dat ze een zekere mate van "ruis" of willekeur vertonen.

Conclusie:
Dit werk sluit een belangrijke lacune in de literatuur over de Fourier-dimensie van Diophantische benaderingsverzamelingen. Het bewijst dat de coprime voorwaarde, hoewel ze de Lebesgue-maat beïnvloedt, de Fourier-dimensie niet verandert ten opzichte van de verwachte waarde gebaseerd op de convergentie van de reeks $\sum (\psi(q)/q)^s$. Dit bevestigt de robuustheid van de Fourier-dimensie in de context van de Duffin–Schaeffer-theorie.