Conditional upper bounds on the least character non-residue

1. Il Problema e il Contesto

Il lavoro si concentra sulla determinazione di limiti superiori condizionali per il minimo non-residuo caratteristico $n(\chi)$. Per un carattere non principale $\chi \pmod q$, $n(\chi)$ è definito come il più piccolo intero positivo $n$ tale che $(n, q)=1$ e $\chi(n) \neq 1$ (ovvero $\chi(n) \neq 0$).

Il contesto teorico include:

• Congettura di Vinogradov: Per caratteri quadratici, si ipotizza che $n(p) \ll p^\epsilon$ per ogni $\epsilon > 0$.
• Risultati di Burgess: Forniscono limiti efficaci non condizionali, ma solo per $x \gg q^{1/4+\epsilon}$.
• Ipotesi di Riemann Generalizzata (GRH): Se tutti gli zeri di $L(s, \chi)$ giacciono sulla retta $\sigma = 1/2$, si ottiene un limite molto più forte, $n(\chi) \ll (\log q)^2$.
• Connessione con gli zeri: Esiste una relazione profonda tra la grandezza delle somme caratteristiche (o la presenza di grandi non-residui) e la posizione degli zeri delle funzioni $L$ nella striscia critica. Se la congettura di Vinogradov fallisce, ciò implica la presenza di zeri lontani dalla retta $\sigma=1/2$.

L'obiettivo del paper è estendere i metodi esistenti per stabilire limiti superiori su $n(\chi)$ basandosi su diverse regioni libere da zeri all'interno della striscia critica, in particolare su rettangoli limitati lungo la linea $\sigma=1$ a diverse altezze $t$.

2. Metodologia

L'autore utilizza tecniche analitiche avanzate della teoria dei numeri, combinando:

• Trasformata di Mellin inversa: Per collegare le somme pesate di $\chi(n)\Lambda(n)$ agli zeri della funzione $L(s, \chi)$.
• Spostamento del contorno di integrazione: Si sposta il percorso di integrazione dalla regione di convergenza assoluta ($\sigma_0 > 1$) verso sinistra, attraversando la striscia critica. Questo permette di esprimere la somma come una somma sugli zeri $\rho = \beta + i\gamma$ più un integrale di contorno.
• Funzioni di peso (Kernel): Per il Teorema 3, viene introdotto un kernel specifico $K(s, t_0)$ e una funzione di peso $w(u)$ progettati per isolare gli zeri in una regione rettangolare specifica attorno a un'ordinata $t_0$.
• Stime della densità degli zeri: Si utilizzano stime classiche (Lemma 4 e 5, tratti da [Mon07]) sul numero di zeri in rettangoli o dischi per controllare l'errore derivante dalla somma sugli zeri.

3. Risultati Principali

Il paper presenta tre teoremi principali che legano la posizione degli zeri di $L(s, \chi)$ alla grandezza di $n(\chi)$.

Teorema 2: Regione libera da zeri a striscia infinita

Supponendo che $L(s, \chi) \neq 0$ nella striscia infinita definita da $1-\delta < \sigma < 1$ (con $0 \le \delta < 1/2$), si ottiene il limite:
$$n(\chi) \ll (\log q)^{1/\delta}$$
Questo risultato generalizza l'approccio originale di Ankeny, mostrando che anche regioni libere da zeri meno restrittive (rispetto all'ipotesi di Riemann completa) garantiscono limiti polinomiali in $\log q$.

Teorema 3: Regioni libere da zeri rettangolari localizzate (Risultato più forte)

Questo è il contributo più significativo. L'autore dimostra che è possibile ottenere limiti forti anche se la regione libera da zeri è limitata in altezza, purché sia centrata su una specifica ordinata $t_0$.
Siano $|t_0| > 1$, $q \ge e^{|t_0|} + 4$, e $\delta$ tale che $1/\log(|t_0|+4) \le \delta \le 1/2$.
Se $L(s, \chi) \neq 0$ nella regione:
$$1-\delta < \sigma < 1 \quad \text{e} \quad |t - t_0| \le K_1 |t_0|^2 \log q$$
allora:
$$n(\chi) < C \left( \frac{K_1 |t_0|^2 \log q}{\delta} \right)^{1/\delta}$$
Implicazione: Questo teorema permette di "localizzare" gli zeri. Se il minimo non-residuo viola il limite stabilito, allora deve esistere uno zero della funzione $L$ all'interno del rettangolo specificato $\{ \sigma + it \mid 1-\delta \le \sigma \le 1, |t-t_0| \le K_1 |t_0|^2 \log q \}$.

Lemma 4 e 5

Vengono citati e utilizzati come strumenti tecnici per stimare il numero di zeri in rettangoli e dischi, fondamentali per controllare i termini di errore nelle dimostrazioni.

4. Contributi Chiave e Innovazioni

1. Generalizzazione delle regioni libere da zeri: A differenza dei risultati precedenti che spesso assumevano regioni libere da zeri globali o simmetriche rispetto all'asse reale, questo lavoro considera regioni rettangolari a diverse altezze $t_0$.
2. Connessione tra non-residui e zeri localizzati: Il lavoro stabilisce una connessione quantitativa diretta: un limite inferiore sul minimo non-residuo implica l'esistenza di zeri in rettangoli specifici della striscia critica.
3. Estensione dei metodi di Rodosskii e Ankeny: L'autore raffina le tecniche di integrazione complessa per gestire pesi non banali e regioni di integrazione asimmetriche, ottenendo risultati che generalizzano quelli di Rodosskii (caso $t_0=0$) e migliorano la comprensione dei casi in cui $t_0 \neq 0$.
4. Ottimizzazione del parametro $\delta$: Il Remark 2 discute come la scelta di $\delta$ (la larghezza della regione libera da zeri) influenzi l'esponente del limite. Se $\delta$ è piccolo (regione stretta), il limite su $n(\chi)$ peggiora, avvicinandosi ai limiti classici non ottimali.

5. Significato e Direzioni Future

• Significato Teorico: Il lavoro rafforza il legame tra la distribuzione dei non-residui caratteristici e la distribuzione degli zeri delle funzioni $L$. Fornisce un quadro condizionale per capire quanto "vicino" alla linea $\sigma=1$ gli zeri possano avvicinarsi senza distruggere le stime sui non-residui.
• Implicazioni per la GRH: Se si potesse dimostrare che $n(\chi)$ è molto piccolo (vicino a $(\log q)^2$) per tutti i caratteri, ciò implicherebbe che non ci sono zeri in regioni rettangolari specifiche vicino a $\sigma=1$, supportando indirettamente la GRH o versioni forti di essa.
• Lavori Futuri: L'autore suggerisce di applicare queste tecniche a regioni libere da zeri più complesse, dove la larghezza $\delta$ e l'altezza $K$ variano in funzione dell'ordinata $\gamma$ degli zeri (ad esempio, sequenze $\delta_i \to 0$ e $K_i \to \infty$). Questo permetterebbe di modellare scenari in cui gli zeri si addensano in modo non uniforme lungo la striscia critica.

In sintesi, il paper di Pathak offre un quadro analitico sofisticato per tradurre l'assenza di zeri in regioni specifiche della striscia critica in limiti superiori quantitativi per il minimo non-residuo, estendendo la letteratura classica su questo problema fondamentale della teoria analitica dei numeri.