Representations of positive integers by three almost-prime squares

Sintesi Tecnica: Rappresentazioni di Interi Positivi come Somma di Tre Quadrati Quasi-Primi

Enunciato del Probletto
L'articolo affronta la rappresentazione di interi positivi come somme di tre quadrati, concentrandosi specificamente sui vincoli imposti sulla fattorizzazione in primi delle variabili. Mentre Legendre e Gauss hanno stabilito che un intero $m$ è rappresentabile come $m = x^2 + y^2 + z^2$ se e solo se $m \neq 4^k(8\ell+7)$, gli autori investigano le rappresentazioni in cui le variabili $x_i$ sono "quasi-primi" (interi con un numero limitato di fattori primi).

Il focus primario riguarda gli interi $N$ che soddisfano le condizioni $N \equiv 3 \pmod{24}$ e $5 \nmid N$. L'articolo mira a migliorare i risultati precedenti riguardanti il numero di fattori primi ($P_r$-numeri) richiesti per le variabili $x_1, x_2, x_3$ nell'equazione $N = x_1^2 + x_2^2 + x_3^2$. Nello specifico, l'obiettivo è abbassare il limite $r$ tale che $x_1x_2x_3$ sia un $P_r$-numero, o che ciascuna singola $x_i$ sia un $P_r$-numero.

Un problema secondario riguarda una congettura correlata di Sun concernente le rappresentazioni della forma $N = x^2 + y^2 + (2az)^2$, con l'obiettivo di migliorare il limite sulla natura di quasi-primo di $z$.

Metodologia
Le dimostrazioni si basano su una combinazione di tecniche di teoria analitica dei numeri, nello specifico:

1. Setaccio Multidimensionale: Gli autori impiegano un metodo di setaccio in tre dimensioni per gestire la somma di tre quadrati.
2. Setaccio Pesato di Tipo Richert: Utilizzano un metodo di setaccio pesato introdotto da Cai [6], che permette di ottimizzare il numero di fattori primi assegnando pesi alle variabili in base ai loro divisori primi.
3. Stime di Distribuzione: Il nucleo dell'argomentazione dipende dal "livello di distribuzione" per la forma quadratica ternaria $x_1^2 + x_2^2 + x_3^2$. Gli autori utilizzano un risultato di tipo Bombieri-Vinogradov e una stima della norma diagonale fornita da Waibel [21].
4. Serie Theta e Forme Modulari: Per stabilire i limiti necessari per i termini di errore della distribuzione delle rappresentazioni, l'articolo analizza i coefficienti di Fourier delle serie theta associate alle forme quadratiche. Nello specifico, utilizzano il Teorema 2 di Waibel per limitare la differenza tra la media del genere e il numero effettivo di rappresentazioni.
5. Riduzione Unidimensionale: Per il risultato secondario (Teorema 1.3), il metodo viene adattato a un contesto di setaccio unidimensionale, applicando argomenti di setaccio pesato simili a una singola variabile $z$ nella forma $N = x^2 + y^2 + (2az)^2$.

Contributi Chiave e Risultati

• Teorema 1.1: Per interi sufficientemente grandi $N$ soddisfacenti $N \equiv 3 \pmod{24}$ e $5 \nmid N$, gli autori dimostrano che $N$ può essere scritto come $N = x_1^2 + x_2^2 + x_3^2$ dove il prodotto $x_1x_2x_3$ è un $P_{67}$-numero (un intero con al massimo 67 fattori primi). Si dimostra che il numero di tali rappresentazioni è $\gg N^{1/2-\epsilon}$.

  • Miglioramento: Questo migliora il risultato di Waibel [21], che otteneva un $P_{72}$-numero.

• Teorema 1.2: Sotto le stesse condizioni, gli autori dimostrano che $N$ può essere rappresentato come $N = x_1^2 + x_2^2 + x_3^2$ dove ciascuna singola variabile $x_i$ è un $P_{27}$-numero. Il numero di tali rappresentazioni è anch'esso $\gg N^{1/2-\epsilon}$.

  • Nota: Questo risultato è derivato dallo stesso argomento di setaccio pesato del Teorema 1.1, ma applica la stima del quasi-primo a ciascuna coordinata separatamente.

• Teorema 1.3: Affrontando un problema correlato, gli autori dimostrano che ogni intero sufficientemente grande non della forma $4^k(8\ell+7)$ può essere scritto come $m = x^2 + y^2 + (2az)^2$, dove $x, y, a$ sono interi non negativi e $z$ è un $P_{18}$-numero. Il numero di tali rappresentazioni è $\gg m^{1/2-\epsilon}$.

  • Miglioramento: Questo migliora significativamente un risultato di Banerjee [1], che otteneva un $P_{118}$-numero.

• Corollario 1.1: Come diretta conseguenza del Teorema 1.3, l'articolo mostra che interi sufficientemente grandi possono essere rappresentati nella forma $m = x^2 + y^2 + 2^{2a} + (2bz)^2$ con $z$ che è un $P_{18}$-numero.

Significatività
L'articolo sostiene di migliorare i limiti allo stato dell'arte per la rappresentazione di interi come somme di quadrati di quasi-primi. Perfezionando i parametri del setaccio pesato e sfruttando le stime di distribuzione di Waibel, gli autori riescono a ridurre il numero richiesto di fattori primi per le variabili in queste rappresentazioni. La riduzione da $P_{72}$ a $P_{67}$ (e da $P_{118}$ a $P_{18}$ nel caso correlato) dimostra l'efficacia della combinazione di setacci multidimensionali con moderne stime sulla distribuzione delle forme quadratiche. Il lavoro contribuisce alla congettura più ampia secondo cui tali interi possono essere rappresentati come somme di quadrati di veri primi, restringendo il divario tra "quasi-primi" e primi.