Subconvexity of Short $k$-Free Exponential Sums

Technische Samenvatting: Subconvexiteit van korte $k$-vrije exponentiële sommen

Probleemstelling
Dit artikel onderzoekt de momenten van korte exponentiële sommen over $k$-vrije gehele getallen. Laat $k \ge 2$ een geheel getal zijn, en laat $\mu_k(n)$ de indicatorfunctie zijn voor $k$-vrije gehele getallen (gehele getallen die niet deelbaar zijn door een $k$-de macht van een priemgetal). Het centrale object van studie is de exponentiële som over een kort interval $(N-K, N]$:
$$S_k(\alpha; K) = \sum_{N-K < n \le N} \mu_k(n) e(n\alpha),$$
waarbij $e(x) = e^{2\pi i x}$. Het primaire doel is om het bereik van de intervallengtes $K$ (relatief aan $N$) te bepalen waarvoor de $L^s$-momenten van deze som de "verwachte" asymptotische gedrag vertonen zoals bekend in het geval van het volledige interval ($K=N$):
$$\int_0^1 |S_k(\alpha; K)|^s d\alpha \asymp_{k,s} \begin{cases} K^{\frac{s}{k+1}} & \text{indien } s < 1 + \frac{1}{k}, \\ K^{s-1} & \text{indien } s > 1 + \frac{1}{k}. \end{cases}$$
Het artikel definieert een exponent $\theta_{k,s}$ als het infimum van alle $\theta$ waarvoor deze grenzen gelden voor elke $K \gg N^\theta$. Het doel is om de waarde van $\theta_{k,s}$ te verlagen, waarmee wordt bewezen dat het verwachte gedrag standhoudt in kortere intervallen, specifiek het doorbreken van de "wortel-kwadraten-barrière" ($\theta < 1/2$).

Methodologie
De aanpak berust op een decompositie van de exponentiële som in "middelste deel" sommen en de toepassing van een verfijnde $L^2$-schatting voor deze componenten.

1. Decompositie: De som $S_k(\alpha; K)$ wordt gedecomposeerd met behulp van de identiteit $\mu_k(n) = \sum_{d^k|n} \mu(d)$. De auteur definieert "middelste deel" sommen $c_n(y, z) = \sum_{y < d \le z, d^k|n} \mu(d)$ en partitioneert de exponentiële som in dyadische segmenten $T_i(\alpha)$ op basis van de grootte van $d$. De totale som wordt gesplitst in een "laag" deel $h_D(\alpha)$ (sommerend over kleine $d$) en een "hoog" deel $H_D(\alpha)$ (sommerend over grote $d$), waarbij $D \approx \log K$.
2. De Kernschatting (Lemma 1.2): De technische motor van het artikel is een nieuwe bovengrens op de gemiddelde kwadratische waarde van de middelste deel sommen:
   $$\sum_{N-K < n \le N} |c_n(y, z)|^2 \ll K y^{1-k} + N^\varepsilon K^{1/k} + N^{\delta_k + \varepsilon},$$
   waarbij $\delta_k$ een specifieke constante is die afhangt van $k$. Deze schatting combineert verschillende instrumenten:
   • Perron's Formule: Gebruikt om de multiplicatieve structuur te behandelen wanneer het sommeringsbereik klein is.
   • Hyperboolmethode: Toegepast om lange sommen met de zaagtandfunctie $\psi(x)$ te verkorten.
   • Van der Corput's Methode: Zowel enkelvoudige als meerdimensionale versies worden gebruikt. Het artikel maakt gebruik van de oplossing van de hoofdbetovertuiging van de Vinogradov Gemiddelde Waarde Stelling om optimale exponentparen $(p, q)$ voor deze schattingen te selecteren.
   • Zeta-functie Grenzen: Standaard convexiteitsgrenzen voor $\zeta(s)$ worden gebruikt in samenhang met Dirichlet-polynomen.
3. Moment Interpolatie: De grenzen voor de $L^s$-momenten worden afgeleid door te interpoleren tussen de $L^1$- en $L^2$-schattingen van de gedecomposeerde sommen. Voor het subkritische geval ($s < 1 + 1/k$) gebruikt het argument Fejér-kernen om de sommen te verzachten en de ondergrens te behandelen. Voor de kritische en superkritische gevallen ($s \ge 1 + 1/k$) maakt het artikel gebruik van de Hölder-ongelijkheid en zorgvuldige puntwaardige schattingen van de hoge-deel sommen $H_D(\alpha)$.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1 (Hoofdresultaat): Het artikel stelt expliciete bovengrenzen vast voor de toelaatbare exponent $\theta_{k,s}$. Voor $s \neq 1 + 1/k$ bewijst het artikel:
  $$\theta_{k,s} \le \begin{cases} \left(\frac{k+1}{2}\right)\delta_k & \text{indien } s < 1 + \frac{1}{k}, \\ \left(\frac{1}{2} + \frac{1}{2(s-1)}\right)\delta_k & \text{indien } 1 + \frac{1}{k} < s < 2, \\ \delta_k & \text{indien } s \ge 2. \end{cases}$$
  Hierbij is $\delta_2 = 105/317 \approx 0.331$ en voor $k \ge 3$ is $\delta_k$ gedefinieerd door een specifieke rationale functie van $k$ die strikt kleiner is dan $1/(k+1)$.
• Doorbreken van de Wortel-kwadraten-barrière: Een significant gevolg is dat voor $s=1$ (de $L^1$-gemiddelde) het verwachte gedrag standhoudt voor intervallen van lengte $K \gg N^\theta$ waarbij $\theta < 1/2$. Specifiek, voor $k=4$, bereikt de grens $K \gg N^{1555/3142 + \varepsilon} \approx N^{0.49491}$.
• Theorem 1.5 (Kritisch Moment): Voor de kritische exponent $s = 1 + 1/k$ bewijst het artikel:
  $$K^{1/k} \log K \ll \int_0^1 |S_k(\alpha; K)|^{1+1/k} d\alpha \ll K^{1/k} (\log K)^{2-1/k},$$
  geldig voor $K \gg N^{(\frac{k+1}{2})\delta_k + \varepsilon}$. Dit verbetert de bovengrens voor het volledige intervalgeval ($K=N$) lichtjes.
• Corollary 1.8 (Toepassing Möbius-functie): Door de $k$-vrije som te relateren aan de Möbius-getwiste som via orthogonaliteit, leidt het artikel een ondergrens af voor de $L^1$-gemiddelde van $\sum \mu(n)e(n\alpha)$. Het toont aan dat voor $K \gg N^{105/317 + \varepsilon} \approx N^{0.49685}$, de integraal $\gg K^{1/6}$ is. Dit is een verbetering ten opzichte van het voorheen beste resultaat van Sun ($K \gg N^{9/17}$).

Betekenis en Claims
Het artikel claimt dat de kracht van de grens in Lemma 1.2 de "enige belemmering" is om $\theta_{k,s} = 0$ te bereiken. De resultaten laten zien dat verdere verbeteringen aan de $L^2$-schatting van de middelste deel sommen (specifiek het verlagen van de exponent $\Delta_k$ in vergelijking 1.5) onmiddellijk zouden vertalen naar sterkere subconvexiteitsresultaten voor alle momenten.

De auteur merkt op dat het geval $s=2$ overeenkomt met het klassieke probleem van het tellen van $k$-vrije gehele getallen in korte intervallen. Hoewel de grenzen van het artikel voor dit specifieke geval nog niet overeenkomen met de sterkste bekende resultaten (bijv. Filaseta en Trifonov voor $k$-vrije gaten), biedt de methodologie een verenigd kader. Het artikel stelt expliciet dat de verbetering in de $L^1$-gemiddelde voor de Möbius-functie een direct gevolg is van de verfijnde Lemma 1.2.

Het werk wordt gepresenteerd als een generalisatie en verbetering van eerdere resultaten van Sun, Balog, Ruzsa en Keil, waarbij moderne instrumenten uit de theorie van exponentiële sommen (specifiek de oplossing van de Vinogradov Gemiddelde Waarde Stelling) worden ingezet om de grenzen van subconvexiteit in korte intervallen te verleggen. Het artikel claimt niet het gat-probleem voor $k$-vrije getallen volledig op te lossen, maar suggereert dat de afgeleide grenzen op $\theta_{k,2}$ een stap zijn naar betere gat-resultaten.