Joint distribution of primes in multiple short intervals

Technische Samenvatting: Gezamenlijke Verdeling van Primen in Meerdere Korte Intervallen

Probleemstelling
Het artikel onderzoekt het statistische gedrag van de gewogen telling van priemgetallen, aangeduid door $\psi(x)$, binnen meerdere korte intervallen. Terwijl de Priemgetallenstelling de gemiddelde dichtheid van priemgetallen vaststelt, zijn de fluctuaties van $\psi(x+H) - \psi(x)$ in korte intervallen een onderwerp van intensief onderzoek geweest. Voorgaand werk door Montgomery en Soundararajan stelde vast dat voor intervallen van lengte $H$ waarbij $H \to \infty$ en $\log H / \log N \to 0$, de verdeling asymptotisch normaal is. Echter, de gezamenlijke verdeling van priemgetallen in meerdere disjuncte korte intervallen, en specifiek de correlaties tussen hen, bleef minder verkend, met name in de context van "multiplicatieve" intervallen waarbij de lengteschaal meeschaleert met de positie $x$ (d.w.z. $h = \delta x$).

De centrale vragen die worden geadresseerd zijn:

1. Wat is de gezamenlijke limietverdeling van de gewogen priemgetallentellingen in $r$ disjuncte korte intervallen naarmate de bovengrens $X \to \infty$?
2. Hoe zijn deze tellingen gecorreleerd?
3. Induceren deze correlaties biases in "priemgetallenraces" (vergelijkingen van priemgetallentellingen tussen intervallen), vergelijkbaar met de Shanks–Rényi priemgetallenrace in rekenkundige progressies?

Methodologie
De auteur hanteert een Fourier-analytische benadering, waarbij de methode van Rubinstein en Sarnak (oorspronkelijk ontwikkeld voor priemgetallen in rekenkundige progressies) wordt aangepast aan de setting van korte intervallen. De kernveronderstellingen zijn de Riemann-hypothese (RH) en de Lineaire Onafhankelijkheid (LI) conjectuur met betrekking tot de positieve ordinaten van de niet-triviale nulpunten van de Riemann zeta-functie.

Belangrijke methodologische stappen omvatten:

• Expliciete Formule: Het gebruik van de expliciete formule om de priemgetalentellingsfunctie $\psi(x)$ te relateren aan de nulpunten $\rho = 1/2 + i\gamma$ van de zeta-functie.
• Constructie van een Random Model: Onder RH en LI wordt de genormaliseerde afwijking van de priemgetaltelling gemodelleerd als een random vector $X_{\delta, t}$ bestaande uit een som over de nulpunten, gewogen door een specifie면 functie $w(\rho)$ en vermenigvuldigd met onafhankelijke random variabelen $U_\gamma$ die uniform verdeeld zijn op de eenheidscirkel.
• Logaritmische Dichtheid: De verdeling wordt geanalyseerd met betrekking tot de logaritmische dichtheid ($\frac{1}{\log X} \int_2^X \dots \frac{dx}{x}$), wat natuurlijk is voor multiplicatieve intervallen.
• Karakteristieke Functies: Het bewijs steunt zwaar op de analyse van de Fourier-transformatie (karakteristieke functie) van de limietmaat. De auteur leidt een oneindig product van Bessel-functies ($J_0$) af dat deze transformatie representeert.
• Asymptotische Analyse: Door de covariantie-matrix te schatten en de fouttermen in de Fourier-inversieformule te controleren, demonstreert de auteur convergentie naar een multivariate Gaussische verdeling. De analyse omvat delicate schattingen van sommen over nulpunten, waarbij gebruik wordt gemaakt van de Riemann–von Mangoldt-formule en eigenschappen van de functie $\Delta(t)$, die de repulsie tussen intervallen beschrijft.

Kernbijdragen en Resultaten

1. Multivariate Gaussische Verdeling:
   Het artikel bewijst dat onder RH en LI de gewogen telling van priemgetallen in $r$ disjuncte korte intervallen van lengte $\delta x$ (waarbij $\delta$ klein maar constant is ten opzichte van $X$) een multivariate Gaussische verdeling volgt. Het gemiddelde is nul (na normalisatie) en de covariantie-structuur is expliciet bepaald.

2. Zwakke Negatieve Correlaties:
   Een primaire bevinding is dat de tellingen in disjuncte korte intervallen niet onafhankelijk zijn; ze vertonen zwakke negatieve correlaties. De covariantie tussen twee intervallen gescheiden door een parametrische afstand $|t_j - t_k|$ is ongeveer proportioneel aan $-\frac{\Delta(|t_j - t_k|)}{\log(1/\delta)}$. De functie $\Delta(t)$ gedraagt zich als $1/(2t)$ voor grote $t$. Dit impliceert een "Coulomb-achtige" repulsie: priemgetallen in één interval onderdrukken de waarschijnlijkheid van priemgetallen in een naburig interval lichtjes.

3. Faseovergang in Priemgetallenraces:
   Door deze distributionele resultaten toe te passen op "priemgetallenraces" (het ordenen van de tellingen van priemgetallen in meerdere intervallen), identificeert het artikel een scherpe faseovergang:

   • Onbevooroordeeld Regime: Als het aantal intervallen $r$ klein is ten opzichte van $\log(1/\delta)$ (specifiek $r = o(\frac{\log(1/\delta)}{\log \log(1/\delta)})$), blijven de races asymptotisch onbevooroordeeld; alle ordeningen komen met ongeveer gelijke waarschijnlijkheid voor ($1/r!$).
   • Bevooroordeeld Regime: Zodra $r$ een kritische drempel overschrijdt (ongeveer proportioneel aan $\frac{\log(1/\delta)}{\log \log(1/\delta)}$), ontstaan er biases. Het artikel toont aan dat voor voldoende grote $r$, bepaalde ordeningen van de intervallen met aanzienlijk lagere waarschijnlijkheid voorkomen dan andere. Dit is een direct gevolg van de geaccumuleerde negatieve correlaties.

4. Extensie naar Kwantitatieve Lineaire Onafhankelijkheid (QLI):
   Voor een enkel bewegend interval waarbij de lengteparameter $\delta$ naar nul convergeert naarmate $X \to \infty$ (specifiek $\delta > (\log X)^{-\varepsilon}$), bewijst de auteur een centrale limietstelling uitgaande van een kwantitatieve formulering van de LI-conjectuur (QLI). Dit breidt de geldigheid van de Gaussische verdeling uit naar kortere intervallen dan eerder vastgesteld onder kwalitatieve LI alleen.

Betekenis en Claims
Het artikel claimt de eerste te zijn die zich richt op de verdeling van priemgetallen in korte intervallen met behulp van het Rubinstein–Sarnak kader, waarbij de focus verschuift van residu klassen naar interval-lengtes.

• Nieuwigheid: Het resultaat is nieuw, zelfs voor een enkel bewegend interval onder een kwantitatieve LI-formulering.
• Mechanisme van Bias: Het werk biedt een transparante verklaring voor het ontstaan van bias in priemgetallenraces in korte intervallen, door het toe te schrijven aan de specifieke structuur van de covariantie-matrix (zwakke negatieve correlaties) en de aggregatie van deze correlaties naarmate het aantal intervallen groeit.
• Scherpte: De auteur merkt op dat de afgeleide kritische drempel voor de faseovergang scherper is dan eerdere resultaten in de context van de Shanks–Rényi race, dankzij de precieze correlatiestructuur en verfijnde schattingen voor de determinant van de covariantie-matrix.
• Beperkingen: Het artikel erkent dat de gebruikte Berry–Esseen-type argumenten een limiet opleggen aan het aantal intervallen $r$ (waardoor het niet een volledige macht van $\delta^{-1}$ kan bereiken). De auteur suggereert dat alternatieve methoden (Stein's methode of Lindeberg-type) dit bereik zouden kunnen uitbreiden, maar de huidige Fourier-analytische benadering werd gekozen om strikte grenzen op de totale variatieafstand vast te stellen.

Samenvattend stelt het artikel een rigoureus probabilistisch kader vast voor priemgetallen in meerdere korte intervallen, waarbij een subtiele afstotende kracht tussen intervallen wordt onthuld die leidt tot een faseovergang van onbevooroordeeld naar bevooroordeeld gedrag in vergelijkende priemgetalentellingen.