Counting square-free values of random polynomials

Technische Samenvatting: Tellen van kwadraatvrije waarden van willekeurige polynomen

Probleemstelling
Het artikel behandelt het probleem van het tellen van de kwadraatvrije waarden die door gehele polynomen worden aangenomen. Laat $P \in \mathbb{Z}[t]$ een polynoom zijn van graad $d$. De grootheid van belang is $E_P(x)$, gedefinieerd als de foutterm tussen het werkelijke aantal kwadraatvrije waarden $P(n)$ voor $1 \le n \le x$ en de verwachte hoofdterm $S_P x$, waarbij $S_P$ een product is van een singuliere reeks over priemgetallen. Hoewel het een volksgeloof (folklore) is dat $E_P(x) = o(x)$ voor elke irreducibele polynoom, blijft dit onbewezen voor graden $d \ge 4$ (zelfs het bestaan van oneindig veel kwadraatvrije waarden is alleen bekend voor $d \le 3$).

De auteur onderzoekt het gedrag van $E_P(x)$ wanneer er gemiddeld wordt genomen over een familie van willekeurige polynomen. Specifiek beschouwt het artikel de verzameling $P_d(H) = \{P \in \mathbb{Z}[t] : \deg(P)=d, |P| \le H\}$, waarbij $|P|$ de maximale modulus van de coëfficiënten is. Het doel is om de grootte van het tweede moment van de foutterm te bepalen:
$$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2$$
Eerdere werken door Filaseta, Shparlinski, Browning en anderen hebben grenzen vastgesteld voor dit moment, maar de precieze orde van grootte van de foutterm was niet volledig gekarakteriseerd in de context van willekeurige polynomen.

Methodologie
Het bewijs verloopt via verschillende analytische stadia, waarbij combinatorische talentheorie wordt gecombineerd met complexe analytische technieken:

1. Truncatie en Modelovergang: De auteur vervangt de indicatorfunctie voor kwadraatvrije getallen, $\mu^2(P(n))$, door een getrunceerd model $SP(z)$ dat een som bevat over $k \le z$. Dit maakt de scheiding van de diagonale termen ($n=m$) van de off-diagonale termen ($n \neq m$) in de expansie van het tweede moment mogelijk.
2. Combinatorisch Tellen: Lemma's 2.1 tot en met 2.3 bieden grenzen aan het aantal wortels van polynomen modulo $k^2$ en de distributie van polynomen die deelbaar zijn door kwadraten. Deze grenzen zijn cruciaal voor het schatten van de fout die wordt geïntroduceerd door de truncatie.
3. Cesàro-sommatie en Perron-integralen: Een belangrijke innovatie die in het artikel wordt geïdentificeerd, is het inzicht dat de structuur van het tweede moment inherent Cesàro-sommatie incorporeert. De off-diagonale som $\sum_{n \neq m} c(m,n)$ (waarbij $c(m,n)$ afhankelijk is van $m-n$) wordt getransformeerd met behulp van een versie van de Perron-formule. Dit maakt het gebruik van complexe integratie met een kernel $1/(s(s+1))$ mogelijk, wat extra convergentiefactoren biedt.
4. Dirichletreeks-analyse: De rekenkundige functie $b(k) = c(k, 0)$ wordt geanalyseerd. Er wordt aangetoond dat de bijbehorende Dirichletreeks $\zeta(s)\zeta(2+2s)G(s)/\zeta(2)^2$ is, waarbij $G(s)$ een holomorfe functie is voor $\Re(s) > -3/4$.
5. Contourverschuiving: De integraal wordt naar links verschoven, waarbij de polen bij $s=1$, $s=0$ en $s=-1/2$ worden gepasseerd. De auteur verschuift de integratielijn naar $\Re(s) = -1/2 - \delta$. Dit is mogelijk dankzij de convergentie geboden door de Cesàro-kernel en de specifieke grenzen aan de Riemann zeta-functie in de kritieke strook. Het artikel merkt expliciet op dat de Lindelöf-hypothese of subconvexiteit-grenzen in deze specifieke opzet geen voordeel bieden.

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage is de bepaling van het asymptotische gedrag van het tweede moment. Het artikel bewijst dat de foutterm doorgaans van de grootte $x^{1/4}$ is (aangezien het tweede moment $x^{1/2}$ is).

Stelling 1.1 stelt de volgende asymptotiek vast voor het tweede moment, waarbij $\gamma_0 \approx 0.192$ een specifieke constante is afgeleid van de residu bij $s=-1/2$:

1. Voor $x \le H^{1/(d+3)}$:
   $$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2 = \gamma_0 x^{1/2} + O(x^{1/2-\delta})$$
   Dit geldt voor elke $\alpha < 1/(d+3)$ met $x \le H^\alpha$.

2. Voor $x \le H^{1/(d+28/9)}$:
   $$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2 = \gamma_0 x^{1/2} + O(x^{4/9+\varepsilon})$$
   Dit geldt voor elke $\varepsilon > 0$ en $\beta < 1/(d+28/9)$.

De constante $\gamma_0$ komt voort uit het residu van de Dirichletreeks bij $s = -1/2$, specifiek betrokken bij $\zeta(-1/2)$ en de Eulerproduct van $G(s)$. De term $x^{1/2}$ in het tweede moment impliceert dat de typische fout $E_P(x)$ van de orde $x^{1/4}$ is.

Betekenis en Claims
Het artikel claimt dat de orde van grootte $x^{1/2}$ voor het tweede moment (en dus $x^{1/4}$ voor de fout) niet onmiddellijk duidelijk is, aangezien de diagonale termen alleen al een term van de orde $x H^{d+1}$ bijdragen. De nieuwheid ligt in de precieze annulering van de diagonale bijdrage door de off-diagonale termen, een fenomeen dat wordt gefaciliteerd door de ingebouwde Cesàro-sommatie in het tweede moment van rekenkundige functies over willekeurige polynomen.

De auteur benadrukt dat dit resultaat een volledige asymptotische expansie biedt voor de bijdrage van de termen $n \neq m$. Het werk breidt het begrip van kwadraatvrije waarden uit van het eerste moment (gemiddelde resultaten) naar het tweede moment, wat een scherper beeld geeft van de distributie van fouten. Het artikel merkt op dat hoewel het werk van Mirsky suggereert dat asymptotiek voor alle momenten van $\mu^2$ mogelijk is, de berekeningen voor hogere momenten waarbij Cesàro-sommatie betrokken is, "verbijsterend" (forbidding) lijken te zijn.

De resultaten zijn afhankelijk van de graad $d$ en de relatie tussen $x$ en $H$, maar ze vormen een belangrijke stap in het kwantificeren van het "typische" gedrag van de foutterm in het probleem van de kwadraatvrije waarden voor willekeurige polynomen.