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

Sintesi Tecnica: Limiti Inferiori per i Momenti Bassi delle Somme di Caratteri, I

Enunciato del Problema
Questo articolo affronta il problema di stabilire limiti inferiori acuti per i momenti bassi ($0 \le q \le 1$) delle somme di caratteri di Dirichlet e delle somme di caratteri continui (somme zeta): specificamente, investiga la dimensione media della quantità:
$$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q}$$
dove $r$ è un numero primo grande e $1 \le x \le r^{0.499}$. L'autore considera anche somme pesate $\sum_{n \le x} h(n)\chi(n)$ con pesi moltiplicativi $h(n)$ (dove $|h(p)|=1$ e $|h(p^k)| \le 1$) e somme continue $\sum_{n \le x} n^{it}$.

Il lavoro precedente dell'autore [10] ha stabilito limiti superiori per questi momenti che mostrano una "cancellazione migliore della radice quadrata", specificamente dell'ordine:
$$\left( \frac{x}{1 + (1-q)\sqrt{\log \log (10L)}} \right)^q$$
dove $L = \min\{x, r/x\}$. Sebbene si congetturasse che questi limiti superiori fossero acuti, i limiti inferiori esistenti (ad esempio, di La Bretèche, Munsch e Tenenbaum [1]) rimanevano carenti di fattori di potenza logaritmica. Questo articolo mira a colmare tale divario e dimostrare che i limiti superiori sono effettivamente acuti per l'intervallo specificato di $x$.

Metodologia
Le dimostrazioni si basano su un metodo "proxy", un elemento fondamentale nell'analisi dei momenti delle funzioni $L$, che consiste nella costruzione di un oggetto ausiliario specifico $I(\chi)$ progettato per imitare il comportamento della somma di caratteri $\sum_{n \le x} \chi(n)$ ma più trattabile per l'analisi.

1. Costruzione del Proxy $I(\chi)$:
   Il proxy è definito tramite un integrale di Perron "aggiustato con una barriera":
   $$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$$

   • Troncamento: L'integrale è troncato all'altezza $T$.
   • Polinomio Strutturato: La somma interna è sostituita da un prodotto di polinomi di Dirichlet su intervalli di numeri primi disgiunti: grandi numeri primi $(x^{1-3\beta}, x^{1-\beta}]$, numeri $P$-smooth ($\le x^\beta$) e numeri $P$-rough ($> P$).
   • La Barriera: Il componente cruciale è $G_\chi(s)$, un breve polinomio di Dirichlet che approssima una funzione "barriera". Questa barriera restringe la crescita dei prodotti di Euler parziali $\prod_{p \le P} |1 - \chi(p)p^{-s}|^{-1}$ attraverso molteplici scale (definite da $P e^{-j}$). Questa barriera è ispirata ai risultati sulle funzioni multiplicative casuali ed è progettata per sopprimere i valori grandi "anomali" che altrimenti farebbero esplodere il quarto momento.

2. Correlazione e Limiti dei Momenti:
   La strategia di dimostrazione riduce il teorema principale a due Proposizioni Chiave riguardanti il proxy $I(\chi)$:

   • Correlazione: Un limite inferiore per la correlazione tra la somma di caratteri e il proxy: $E_{\text{char}} |\sum \chi(n)| |I(\chi)|$.
   • Momenti: Limiti superiori per il secondo e il quarto momento del proxy: $E_{\text{char}} |I(\chi)|^2$ e $E_{\text{char}} |I(\chi)|^4$.
     Applicando la disuguaglianza di Hölder, il limite inferiore per il momento target viene derivato da queste quantità.

3. Transizione alle Funzioni Multiplicative Casuali:
   Un passaggio critico consiste nel passare dalle somme di caratteri alle funzioni multiplicative di Steinhaus $f(n)$. Utilizzando la relazione di ortogonalità $E_{\text{char}} \chi(n)\overline{\chi(m)} = \delta_{n,m}$ (valida per $n,m < r$), l'autore mostra che, a condizione che le lunghezze dei polinomi di Dirichlet coinvolti siano sufficientemente piccole rispetto a $r$ (specificamente $x^{2+4\beta} \ll r$), le medie dei caratteri corrispondono alle aspettative sulle funzioni multiplicative casuali. Ciò permette l'uso di strumenti probabilistici (disuguaglianza di Khintchine, proprietà dei prodotti di Euler casuali) per stimare i momenti di $I(\chi)$.

4. Gestione della Barriera:
   La difficoltà tecnica centrale risiede nella stima del quarto momento del proxy. La barriera $G_\chi(s)$ è costruita per garantire che il fattore di "esplosione" nel quarto momento (derivante dalle correlazioni dei prodotti di Euler in punti $s$ e $s'$ vicini) rimanga trascurabile. La barriera restringe le somme parziali del logaritmo del prodotto di Euler affinché giacciano entro determinati limiti, controllando efficacemente il comportamento di "caos moltiplicativo".

Contributi Chiave e Risultati
L'articolo stabilisce i seguenti limiti inferiori acuti, che corrispondono ai limiti superiori precedentemente noti:

• Teorema 1: Per un numero primo grande $r$, uniformemente per $1 \le x \le r^{0.499}$ e $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$$
• Teorema 2: Lo stesso limite inferiore acuto vale per le somme pesate $\sum_{n \le x} h(n)\chi(n)$ dove $h(n)$ è una funzione moltiplicativa con $|h(p)|=1$ e $|h(p^k)| \le 1$.
• Teorema 3: Lo stesso limite inferiore acuto vale per le somme di caratteri continui (somme zeta) $\sum_{n \le x} n^{it}$ per $1 \le x \le T^{0.499}$.

Significato e Rivendicazioni

• Accuratezza (Sharpness): I risultati confermano la congettura che i limiti superiori ottenuti in [10] siano acuti per l'intervallo $x \le r^{0.499}$. Ciò fornisce una comprensione completa dell'ordine di grandezza dei momenti bassi in questo regime.
• Innovazione Metodologica: Il lavoro introduce un oggetto proxy specifico "aggiustato con una barriera" che riesce a imitare il comportamento delle somme di caratteri pur permettendo stime rigorose del quarto momento. Questo approccio funge da sostituto per gli argomenti di condizionamento usati nel contesto delle funzioni multiplicative casuali, che sono difficili da applicare direttamente alle somme di caratteri a causa dei vincoli sul conduttore $r$.
• Limitazioni dell'Intervallo: L'autore nota che la restrizione $x \le r^{0.499}$ (specificamente $x < r^{1/2}$) deriva naturalmente dai vincoli di lunghezza dei polinomi di Dirichlet del proxy necessari per invocare la relazione di ortogonalità (1.3).
• Lavoro Futuro: L'articolo menziona che un articolo compagno [14] estende questi argomenti all'intero intervallo $x \le 0.99r$ per somme non pesate, utilizzando proprietà speciali delle somme non pesate per superare le restrizioni di lunghezza qui incontrate. Questa estensione porta a risultati non nulli per le funzioni theta di Dirichlet.

L'articolo non pretende di risolvere il comportamento dei momenti per $1 < q < 2$ (il divario tra il secondo e il quarto momento), notando che ciò rimane una sfida aperta, sebbene si congetturi segua un pattern logaritmico simile.