Lower bounds for low moments of character sums, I: Short sums with general multiplicative weights

Technische Samenvatting: Ondergrenzen voor Lage Momenten van Karakterreeksen, I

Probleemstelling
Dit artikel behandelt het probleem van het vaststellen van scherpe ondergrenzen voor de lage momenten ($0 \le q \le 1$) van Dirichlet-karakterreeksen en continue karakterreeksen (zeta-reeksen). Specifiek wordt de gemiddelde grootte onderzocht van de grootheid:
$$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q}$$
waarbij $r$ een grote priemgetal is en $1 \le x \le r^{0.499}$. De auteur beschouwt ook gewogen sommen $\sum_{n \le x} h(n)\chi(n)$ met multiplicatieve gewichten $h(n)$ (waarbij $|h(p)|=1$ en $|h(p^k)| \le 1$) en continue sommen $\sum_{n \le x} n^{it}$.

Vorig werk door de auteur [10] heeft bovengrenzen vastgesteld voor deze momenten die "betere dan wortel-kwadratische afname" vertonen, specifiek van de orde:
$$\left( \frac{x}{1 + (1-q)\sqrt{\log \log (10L)}} \right)^q$$
waar $L = \min\{x, r/x\}$. Hoewel deze bovengrenzen werden vermoed scherp te zijn, bleven bestaande ondergrenzen (bijv. door La Bretèche, Munsch en Tenenbaum [1]) tekort door logaritmische factoren. Dit artikel beoogt dat gat te dichten en te bewijzen dat de bovengrenzen inderdaad scherp zijn voor het gespecificeerde bereik van $x$.

Methodologie
De bewijzen steunen op een "proxy"-methode, een standaardonderdeel in de analyse van $L$-functie-momenten, waarbij een specifiek hulpobject $I(\chi)$ wordt geconstrueerd dat ontworpen is om het gedrag van de karakterree $\sum_{n \le x} \chi(n)$ na te bootsen, maar meer hanteerbaar is voor analyse.

1. Constructie van de Proxy $I(\chi)$:
   De proxy wordt gedefinieerd via een "barrière-gecorrigeerde" Perron-integraal:
   $$I(\chi) = \frac{1}{2\pi i} \int_{1/2-iT}^{1/2+iT} \left( \sum_{x^{1-3\beta} < p \le x^{1-\beta}} \frac{\chi(p)}{p^s} \right) F^*_\chi(s) G_\chi(s) \frac{x^s}{s} ds$$

   • Afkapping: De integraal is afgekapt op hoogte $T$.
   • Gestructureerd Polinoom: De binnenste som wordt vervangen door een product van Dirichlet-polynomen over disjuncte priemgetalbereiken: grote priemgetallen $(x^{1-3\beta}, x^{1-\beta}]$, $P$-gladde getallen ($\le x^\beta$), en $P$-ruwe getallen ($> P$).
   • De Barrière: Het cruciale onderdeel is $G_\chi(s)$, een kort Dirichlet-polinoom dat een "barrière"-functie benadert. Deze barrière beperkt de groei van gedeeltelijke Euler-producten $\prod_{p \le P} |1 - \chi(p)p^{-s}|^{-1}$ over meerdere schalen (gedefinieerd door $P e^{-j}$). Deze barrière is geïnspireerd door resultaten over willekeurige multiplicatieve functies en is ontworpen om "abnormale" grote waarden te onderdrukken die anders het vierde moment zouden doen exploderen.

2. Correlatie en Momenten:
   De bewijsstrategie reduceert het hoofdtheorema tot twee kernproposities betreffende de proxy $I(\chi)$:

   • Correlatie: Een ondergrens voor de correlatie tussen de karakterree en de proxy: $E_{\text{char}} |\sum \chi(n)| |I(\chi)|$.
   • Momenten: Bovengrenzen voor het tweede en vierde moment van de proxy: $E_{\text{char}} |I(\chi)|^2$ en $E_{\text{char}} |I(\chi)|^4$.
     Door de Hölder-ongelijkheid toe te passen, wordt de ondergrens voor het doelmoment afgeleid uit deze grootheden.

3. Overgang naar Willekeurige Multiplicatieve Functies:
   Een cruciale stap is de overgang van karakterreeën naar Steinhaus willekeurige multiplicatieve functies $f(n)$. Gebruikmakend van de orthogonaliteitsrelatie $E_{\text{char}} \chi(n)\overline{\chi(m)} = \delta_{n,m}$ (geldig voor $n,m < r$), laat de auteur zien dat, mits de lengtes van de betrokken Dirichlet-polynomen voldoende klein zijn ten opzichte van $r$ (specifiek $x^{2+4\beta} \ll r$), de gemiddelden over karakters overeenkomen met de verwachtingen over willekeurige multiplicatieve functies. Dit maakt het gebruik van probabilistische instrumenten (Khintchine-ongelijkheid, eigenschappen van willekeurige Euler-producten) mogelijk om de momenten van $I(\chi)$ te schatten.

4. Afhandeling van de Barrière:
   De kern van de technische moeilijkheid ligt in het schatten van het vierde moment van de proxy. De barrière $G_\chi(s)$ is geconstrueerd om ervoor te zorgen dat de "explosiefactor" in het vierde moment (ontstaan uit correlaties van Euler-producten bij nabijgelegen punten $s$ en $s'$) verwaarloosbaar blijft. De barrière beperkt de gedeeltelijke sommen van de logaritme van het Euler-product zodat deze binnen specifieke grenzen blijven, wat effectief het gedrag van "multiplicatieve chaos" controleert.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de volgende scherpe ondergrenzen vast, die overeenkomen met de reeds bekende bovengrenzen:

• Theorem 1: Voor een groot priemgetal $r$, uniform voor $1 \le x \le r^{0.499}$ en $0 \le q \le 1$:
  $$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q} \gg \left( \frac{x}{1 + (1-q)\sqrt{\log \log (10x)}} \right)^q$$
• Theorem 2: Dezelfde scherpe ondergrens geldt voor gewogen sommen $\sum_{n \le x} h(n)\chi(n)$ waarbij $h(n)$ een multiplicatieve functie is met $|h(p)|=1$ en $|h(p^k)| \le 1$.
• Theorem 3: Dezelfde scherpe ondergrens geldt voor continue karakterreeën (zeta-reeën) $\sum_{n \le x} n^{it}$ voor $1 \le x \le T^{0.499}$.

Betekenis en Claims

• Scherpte: De resultaten bevestigen de conjectuur dat de bovengrenzen verkregen in [10] scherp zijn voor het bereik $x \le r^{0.499}$. Dit biedt een volledig begrip van de orde van grootte van de lage momenten in dit regime.
• Methodologische Innovatie: Het artikel introduceert een specifiek "barrière-gecorrigeerd" proxy-object dat er succesvol in slaagt het gedrag van karakterreeën na te bootsen, terwijl het tegelijkertijd rigoureuze vierde-moment-schattingen toelaat. Deze aanpak dient als vervanging voor de conditionering-argumenten die gebruikt worden in de context van willekeurige multiplicatieve functies, die moeilijk direct toe te passen zijn op karakterreeën vanwege de beperkingen van de geleider $r$.
• Bereikbeperkingen: De auteur merkt op dat de beperking $x \le r^{0.499}$ (specifiek $x < r^{1/2}$) natuurlijk voortvloeit uit de lengtebeperkingen van de Dirichlet-polynomen van de proxy die nodig zijn om de orthogonaliteitsrelatie (1.3) aan te roepen.
• Toekomstig Werk: Het artikel vermeldt dat een begeleidend artikel [14] deze argumenten uitbreidt naar het volledige bereik $x \le 0.99r$ voor ongewogen sommen, waarbij gebruik wordt gemaakt van speciale eigenschappen van ongewogen sommen om de lengtebeperkingen te overwinnen die hier worden aangetroffen. Deze uitbreiding leidt tot resultaten met niet-verdwijnende Dirichlet-thetafuncties.

Het artikel beweert niet het gedrag van de momenten voor $1 < q < 2$ (het gat tussen het tweede en vierde moment) op te lossen, en merkt op dat dit een open uitdaging blijft, hoewel het wordt vermoed een vergelijkbaar logaritmisch patroon te volgen.