Goldston-Pintz-Yıldırım-Sieb

Das Goldston-Pintz-Yıldırım-Sieb (auch GPY-Sieb oder GPY-Methode) ist eine Sieb-Methode und Variante des Selberg-Siebs mit verallgemeinerten, mehrdimensionalen Sieb-Gewichten. Das Sieb führte zu einer Reihe von wichtigen Durchbrüchen in der analytischen Zahlentheorie.

2005 wurde das Sieb von Dan Goldston, János Pintz und Cem Yıldırım publiziert. Diese benützten es, um zu zeigen, dass es unendlich viele Primzahltupel gibt, deren Abstände (die Primzahllücke) beliebig kleiner sind, als der Durchschnittsabstand, der aus dem Primzahlsatz folgt.

Geschichte

Seien $p_n,p_{n+1}$ die Primzahlen an den Stellen $n$ und $n+1$. Goldston, Pintz und Yıldırım benützten das Sieb, um

$\mathrm{lim\; inf}{\mathrm{\backslash limits}}_{n\to \mathrm{\infty }}\frac{p_{n+1}-p_n}{\log p_n}=0$

zu beweisen. 2013 benützte Yitang Zhang eine modifizierte Variante des GPY-Siebs und bewies damit

$\mathrm{lim\; inf}{\mathrm{\backslash limits}}_{n\to \mathrm{\infty }}(p_{n+1}-p_n)<70.000.000$.

Das GPY-Sieb wurde danach von anderen Mathematikern weiter modifiziert, darunter James Maynard, der die Grenze auf $600$ drückte, sowie von Terence Tao.

Goldston-Pintz-Yıldırım-Sieb

Wir fixieren ein $k\in \mathbb{N}$.

Grundbegriffe und Notation

Sei

• $\mathbb{P}$ die Menge der Primzahlen und $1_{\mathbb{P}}(n)$ die charakteristische Funktion der Primzahlen,
• $\mathrm{\Lambda }(n)$ die Mangoldt-Funktion,
• $\omega (n)$ die prime Omega-funktion, welche die eindeutigen Primfaktoren zählt, d. h. falls $n=p_1^{{\alpha }_1}\cdots p_k^{{\alpha }_k}$, dann ist $\omega (n)=k$
• $\mathscr{H}=\{h_1,\dots ,h_k\}$ eine Menge von verschiedenen nichtnegativen ganzen Zahlen $h_i\in {\mathbb{Z}}_{+}\cup \{0\}$.
• $\theta (n)$ ist folgende charakteristische Funktionen der Primzahlen

$\theta (n)=\{\begin{array}{cc}\log (n)& \text{falls }n\in \mathbb{P}\\ 0& \text{sonst.}\end{array}$

Es gilt $\theta (n)=\log ((n-1)1_{\mathbb{P}}(n)+1)$.

Für ein $\mathscr{H}$ definieren wir noch

• $\mathscr{H}(n):=(n+h_1,\dots ,n+h_k)$
• $P_{\mathscr{H}}(n)=(n+h_1)(n+h_2)\cdots (n+h_k).$

Falls alle $n+h_i$ Primzahlen sind, dann nennen wir $\mathscr{H}(n)$ ein Primzahl-$k$-Tupel und es gilt $\omega (P_{\mathscr{H}}(n))=k$.

Zulässige Mengen

Für ein $\mathscr{H}=\{h_1,\dots ,h_k\}$ ist ${\nu }_p(\mathscr{H})$ die Anzahl eindeutiger Restklassen modulo $p$.

Beispiel:

$\mathscr{H}=\{0,2,5\},p=3,\mathscr{H}\stackrel{(\mathrm{mod}3)}{=}\{0,1,1\}{\nu }_3(\mathscr{H})=2$

Wir nennen ein $\mathscr{H}$ zulässig (Vorlage:EnS), falls $\mathscr{H}$ keine vollständige Menge von Resten bezüglich aller Primzahlen $p$ bildet, das heißt

${\nu }_p(\mathscr{H})<p,\mathrm{\forall }p\in \mathbb{P}.$

Um das zu überprüfen, genügt es nur die Primzahlen bis $k$ zu überprüfen.

Beispiele für nicht zulässig:

$\{0,2,4\}\stackrel{(\mathrm{mod}3)}{=}\{0,1,2\}$ ergibt $3$ Restklassen und $\{0,2,6,8,12,14\}\stackrel{(\mathrm{mod}5)}{=}\{0,2,1,3,2,4\}$ ergibt $5$ Restklassen.

Beispiele für zulässig:

$\{0,2\}\stackrel{(\mathrm{mod}3)}{=}\{0,2\}$ ergibt $2$ Restklassen, $\{0,2,6\}\stackrel{(\mathrm{mod}3)}{=}\{0,2,0\}$ ergibt $2$ Restklassen und $\{0,2,6\}\stackrel{(\mathrm{mod}5)}{=}\{0,2,1\}$ ergibt $3$ Restklassen.

Konstruktion

Sei $\mathscr{H}=\{h_1,\dots ,h_k\}$ zulässig und betrachte die Siebfunktion

$𝒮(N,c;\mathscr{H}):=\sum _{n=N+1}^{2N}(\sum _{h_i\in \mathscr{H}}{1}_{\mathbb{P}}(n+h_i)-c)w(n{)}^2,w(n)\in ℝ,c>0,$

wobei $w(n{)}^2$ eine Gewichtsfunktion ist, welche immer positiv ist. Die Siebfunktion zählt für jedes $n\in [N+1,2N]$ alle Primzahlen der Form $n+h_i$ in $\mathscr{H}(n)$ abzüglich eines Schwellenwertes $c$. Das heißt, wenn $𝒮>0$, dann existieren manche $n$, so dass mindestens $\lfloor c\rfloor +1$ Primzahlen in $\mathscr{H}(n)$ existieren.

Da $1_P(n)$ keine guten analytischen Eigenschaften hat, verwenden wir stattdessen folgende Siebfunktion

$𝒮(N;\mathscr{H}):=\sum _{n=N+1}^{2N}(\sum _{h_i\in \mathscr{H}}\theta (n+h_i)-\log (3N))w(n{)}^2.$

Da $\log (N)<\theta (n+h_i)<\log (2N)$ und $c=\log (3n)$ ist, ist $𝒮>0$ nur dann, wenn wir mindestens für ein $n$ zwei Primzahlen $n+h_i$ und $n+h_j$ finden.

Das Ziel ist es nun, dass wir Primzahl-$k$-Tupel

$\mathscr{H}(n):=(n+h_1,\dots ,n+h_k)$

erkennen, dies geschieht durch die Wahl einer passenden Gewichtsfunktion $w(n)$.

Herleitung der Gewichte

Wenn $\mathscr{H}(n)$ ein Primzahl-$k$-Tupel ist, dann besteht

$P_{\mathscr{H}}(n)=(n+h_1)(n+h_2)\cdots (n+h_k)$

aus exakt $k$ Primfaktoren. Wir wählen nun die verallgemeinerte Mangoldt-Funktion

${\mathrm{\Lambda }}_k(n)=\sum _{d\mid n}\mu (d){(\log \left(\frac{n}{d}\right))}^k,$

denn diese hat die Eigenschaft, dass wenn $n$ aus mehr als $k$ eindeutigen Primfaktoren besteht (d. h. $\omega (n)>k$), dann gilt ${\mathrm{\Lambda }}_k(n)=0$. Die Funktion erkennt zwar auch Primzahlpotenzen, aber der Fehler ist gering und kann vernachlässigt werden.

Wenn nun $\mathscr{H}(n)$ ein Primzahl-$k$-Tupel ist, dann wird die Funktion

${\mathrm{\Lambda }}_k(n;\mathscr{H})=\frac{1}{k!}{\mathrm{\Lambda }}_k(P_{\mathscr{H}}(n))$

nicht verschwinden. Der Normalisierungsfaktor $1/k!$ ist nur aus rechnerischen Gründen dort.

Approximation der verallgemeinerten Mangoldt-Funktion

Für $k=1$ lässt sich die Mangoldt-Funktion durch die abgeschnittene Mangoldt-Funktion ${\mathrm{\Lambda }}_R(n)$ approximieren

$\mathrm{\Lambda }(n)\approx {\mathrm{\Lambda }}_R(n):=\sum _{\begin{array}{c}d\mid n\\ d\le R\end{array}}\mu (d)\log \left(\frac{R}{d}\right),$

wobei das $R$ hier nicht mehr für die Tupellänge steht, welche immer noch $k$ ist. Dasselbe machen wir mit der verallgemeinerten Mangoldt-Funktion resp. ${\mathrm{\Lambda }}_k(n;\mathscr{H})$. Wir führen folgende Approximation ein

${\mathrm{\Lambda }}_R(n;\mathscr{H})=\frac{1}{k!}\sum _{\begin{array}{c}d\mid P_{\mathscr{H}}(n)\\ d\le R\end{array}}\mu (d){(\log \left(\frac{R}{d}\right))}^k$

Die entscheidende Idee ist nun, statt nur Primtupel lieber Tupel mit Primzahlen in mehreren Komponenten zu approximieren und einen zusätzlichen Parameter $0\le \ell \le k$ einzuführen

${\mathrm{\Lambda }}_R(n;\mathscr{H},\ell )=\frac{1}{(k+\ell )!}\sum _{\begin{array}{c}d\mid P_{\mathscr{H}}(n)\\ d\le R\end{array}}\mu (d){(\log \left(\frac{R}{d}\right))}^{k+\ell }.$

Die Gewichtsfunktion schaut somit ob $k+\ell$ oder weniger eindeutige Primfaktoren in $P_{\mathscr{H}}(n)=(n+h_1)(n+h_2)\cdots (n+h_k)$ enthalten sind, das bedeutet $\omega (P_{\mathscr{H}}(n))\le k+\ell$. Der technische Grund hierfür ist, dass wir mit dem $\ell$ Parameter für ein eindeutiges $d=d_1{d}_2\cdots d_k$ die Restriktion $d=d_1{d}_2\cdots d_k\le R$ erhalten und ohne diesen Parameter die Restriktion $d_1\le R,d_2\le R,\dots ,d_k\le R$. Durch den $k+\ell$ Exponent wird das Ganze zur Anwendung eines $k+\ell$-dimensionalen Siebs auf ein $k$-dimensionales Siebproblem.

Goldston-Pintz-Yıldırım-Sieb

Das vollständige GPY-Sieb ist von folgender Form

$𝒮(N;\mathscr{H},\ell ):=\sum _{n=N+1}^{2N}(\sum _{h_i\in \mathscr{H}}\theta (n+h_i)-\log (3N)){\mathrm{\Lambda }}_R(n;\mathscr{H},\ell {)}^2,|\mathscr{H}|=k$

mit

${\mathrm{\Lambda }}_R(n;\mathscr{H},\ell )=\frac{1}{(k+\ell )!}\sum _{\begin{array}{c}d\mid P_{\mathscr{H}}(n)\\ d\le R\end{array}}\mu (d){(\log \left(\frac{R}{d}\right))}^{k+\ell },0\le \ell \le k$.

Der Beweis der eigentlichen Aussage von GPY

Betrachte die zwei Tupel $({\mathscr{H}}_1,{\ell }_1,k_1)$ und $({\mathscr{H}}_2,{\ell }_2,k_2)$ und sei $1\le h_0\le R$ und $M:=k_1+k_2+{\ell }_1+{\ell }_2$. Goldston, Pintz und Yıldırım bewiesen dann unter bestimmten Voraussetzungen zwei asymptotische Abschätzungen der Form

$\sum _{n\le N}{\mathrm{\Lambda }}_R(n;{\mathscr{H}}_1,{\ell }_1){\mathrm{\Lambda }}_R(n;{\mathscr{H}}_2,{\ell }_2)=C_{1}N(𝒮({\mathscr{H}}^i)+o_M(1))$

und

$\sum _{n\le N}{\mathrm{\Lambda }}_R(n;{\mathscr{H}}_1,{\ell }_1){\mathrm{\Lambda }}_R(n;{\mathscr{H}}_2,{\ell }_2)\theta (n+h_0)=C_{2}N(𝒮({\mathscr{H}}^j)+o_M(1)),$

wobei $C_1,C_2$ zwei Konstanten sind, $𝒮({\mathscr{H}}^i)$ und $𝒮({\mathscr{H}}^j)$ sind zwei singulare Reihen, auf deren Beschreibung wir hier verzichten. Wählt man $({\mathscr{H}}_1,{\ell }_1)=({\mathscr{H}}_2,{\ell }_2)$, dann erhält man den gewünschten Faktor ${\mathrm{\Lambda }}_R(n;{\mathscr{H}}_1,{\ell }_1{)}^2$ in den Abschätzungen.

Beide Abschätzungen werden dann auf $𝒮$ angewendet um das eigentliche Theorem von Goldston, Pintz und Yıldırım herzuleiten.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur