Conditional upper bounds on the least character non-residue

Titel: Conditionele bovenkansen op het kleinste karakter-niet-residu

Auteur: Aritro Pathak
Trefwoorden: Analytisch getaltheorie, Dirichlet-karakters, $L$-functies, Riemann-hypothese, karakter-sommen, nul-vrije gebieden.

---

1. Probleemstelling

Het paper richt zich op het probleem van het kleinste karakter-niet-residu, genoteerd als $n(\chi)$. Voor een niet-triviaal Dirichlet-karakter $\chi$ modulo $q$ is $n(\chi)$ het kleinste positieve gehele getal $n$ zodanig dat $(n, q) = 1$ en $\chi(n) \neq 1$ (d.w.z. $\chi(n) \neq 0$).

• Conjectuur van Vinogradov: Voor kwadratische karakters (en vermoedelijk algemeen) stelt Vinogradov dat voor elke vaste $\epsilon > 0$, $n(\chi) \ll q^\epsilon$.
• Huidige stand van zaken: De beste onvoorwaardelijke resultaten (Burgess, 1962) geven een schatting van $n(\chi) \ll q^{1/4+\epsilon}$.
• Conditionele resultaten: Onder de Generalized Riemann Hypothesis (GRH) (alle nulpunten van $L(s, \chi)$ liggen op de lijn $\sigma = 1/2$) kan men bewijzen dat $n(\chi) \ll (\log q)^2$.
• Het doel van dit paper: Het uitbreiden van methoden om bovenkansen op $n(\chi)$ te vinden die afhankelijk zijn van specifieke nul-vrije gebieden (zero-free regions) binnen de kritieke strook ($0 < \sigma < 1$), in plaats van de volledige GRH aan te nemen. Het paper onderzoekt hoe de locatie van nulpunten (vooral in de buurt van $\sigma=1$) de grootte van $n(\chi)$ beïnvloedt.

---

2. Methodologie

Pathak gebruikt geavanceerde technieken uit de analytische getaltheorie, voornamelijk gebaseerd op de inverse Mellin-transformatie en contourintegratie van de logaritmische afgeleide van de $L$-functie, $L'(s, \chi)/L(s, \chi)$.

De kern van de methode omvat:

1. Gewogen sommen: Het beschouwen van sommen van de vorm $\sum w(n)\chi(n)\Lambda(n)$, waarbij $\Lambda(n)$ de von Mangoldt-functie is en $w(n)$ een zorgvuldig gekozen gewichtsfunctie is.
2. Contourintegratie: Het integreren van de uitdrukking $\frac{L'}{L}(s, \chi) \frac{x^s}{s(s+1)}$ (of varianten daarvan) over een contour in het complexe vlak.
3. Residustelling: Het verschuiven van de contour naar links (naar de kritieke strook en daarbuiten) om bijdragen van de nulpunten $\rho = \beta + i\gamma$ van de $L$-functie te isoleren.
4. Kernfuncties: In Theorema 3 wordt een specifieke kernfunctie $K(s, t_0)$ gebruikt die is ontworpen om gevoelig te zijn voor nulpunten op specifieke hoogtes $t_0$. Dit generaliseert eerdere werken van Rodosskii en Ankeny.
5. Schatten van nulpunten: Het gebruik van bekende tellingen van nulpunten (zoals Lemma 4 en 5, gebaseerd op werk van Titchmarsh en Montgomery) om de som over de nulpunten te begrenzen.

---

3. Belangrijkste Bijdragen en Resultaten

Het paper presenteert drie hoofdstellingen die de relatie tussen de locatie van nulpunten en de grootte van $n(\chi)$ kwantificeren.

Theorema 2: Een brede nul-vrije strook

Dit resultaat generaliseert de klassieke aanpak van Ankeny.

• Aanname: Er bestaat een $\delta$ met $0 \le \delta < 1/2$ zodanig dat $L(s, \chi) \neq 0$ in het gebied $1-\delta < \sigma < 1$ (een oneindige strook naast $\sigma=1$).
• Resultaat:
  $$n(\chi) \ll (\log q)^{1/\delta}$$
• Interpretatie: Hoe kleiner het nul-vrije gebied (d.w.z. hoe dichter $\delta$ bij $1/2$ komt, wat neerkomt op een bredere strook), hoe sterker de bovenkans. Als $\delta \to 1/2$ (GRH), krijgen we $(\log q)^2$.

Theorema 3: Gelokaliseerde nul-vrije rechthoeken

Dit is het sterkste en meest verfijnde resultaat, dat een gelokaliseerd nul-vrij gebied gebruikt.

• Aanname: Laat $|t_0| > 1$. Er bestaan absolute constanten $C, K_1$ zodanig dat als $L(s, \chi) \neq 0$ in het gebied:
  $$1-\delta < \sigma < 1 \quad \text{en} \quad |t - t_0| \le K_1 |t_0|^2 \log q$$
  (d.w.z. een rechthoekige strook rond de hoogte $t_0$).
• Resultaat:
  $$n(\chi) < C \left( \frac{K_1 |t_0|^2 \log q}{\delta} \right)^{1/\delta}$$
• Significantie: Dit toont aan dat men de locatie van nulpunten kan "pinpointen" in specifieke rechthoeken. Als het kleinste niet-residu groter is dan deze schatting, moet er een nulpunt liggen in die specifieke rechthoek. Dit is een generalisatie van eerdere resultaten van Rodosskii (voor $t_0=0$) en koppelt de grootte van karakter-sommen aan de dichtheid van nulpunten op specifieke hoogtes.

Lemma's en Technieken

Het paper gebruikt en versterkt bestaande lemmata (uit [Mon07]) over het aantal nulpunten in rechthoeken en schijven, en past deze toe in de context van de nieuwe kernfuncties.

---

4. Significatie en Toekomstperspectief

• Verbinding met Karakter-sommen: Het paper bevestigt en verfijnt de link tussen grote karakter-sommen (en dus grote niet-residuen) en de aanwezigheid van nulpunten van $L$-functies ver van de lijn $\sigma=1/2$. Dit sluit aan bij recente werken van Granville, Soundararajan en Heath-Brown.
• Flexibiliteit: In tegenstelling tot de GRH, die een globale voorwaarde stelt, bieden deze resultaten conditionele grenzen die gelden zelfs als de GRH niet waar is, zolang de nulpunten maar niet te dicht bij $\sigma=1$ liggen in specifieke gebieden.
• Toekomstige Richtingen:
  • Het paper suggereert dat deze methoden kunnen worden uitgebreid naar variabele nul-vrije gebieden. Bijvoorbeeld, waar de breedte van het nul-vrije gebied ($\delta_i$) en de minimale afstand tot de hoogte $t_0$ ($K_i$) kunnen variëren naarmate de imaginaire component toeneemt.
  • Het biedt een kader om te onderzoeken of sequenties van karakters die de Burgess-grens schenden, corresponderen met specifieke patronen van nulpunten (zoals voorgesteld door Heath-Brown).

Conclusie

Aritro Pathak levert een technische bijdrage aan het begrip van de verdeling van nulpunten van Dirichlet-$L$-functies. Door de methode van inverse Mellin-transformatie te combineren met geavanceerde gewichtsfuncties, worden conditionele bovenkansen op het kleinste karakter-niet-residu afgeleid die afhankelijk zijn van de geometrie van nul-vrije gebieden. De resultaten tonen aan dat zelfs een beperkt nul-vrij gebied (een rechthoek op een specifieke hoogte) voldoende informatie kan bieden om sterke bovenkansen op $n(\chi)$ te verkrijgen, wat een brug slaat tussen de theorie van karakter-sommen en de locatie van nulpunten in de kritieke strook.