Dlaczego spodziewamy się wielu bliźniaczych liczb pierwszych?

Jednym z ważnych pytań jest, jak liczby pierwsze są rozmieszczone wśród liczb całkowitych? Odpowiedź brzmi, w bardzo krótkich słowach, raczej losowo, biorąc pod uwagę pewne podstawowe statystyki…

Bill Casselman
University of British Columbia, Vancouver, Kanada
Email Bill Casselman

Mail do przyjaciela Print this article

Wprowadzenie

Wiele lat temu wysunięto przypuszczenie, że istnieje nieskończona liczba par liczb pierwszych $p$, $q$ z $q = p+2$. Ostatnio poczyniono pewne postępy w tej sprawie (i to sławne). Powiem niewiele o ostatnich postępach, ale zamiast tego omówię, czego się spodziewamy – a nie co wiemy – o takich parach. Nic, co powiem, nie jest nowe i do pewnego stopnia tylko rozwinąłem to, co Andrew Granville mówi w swoim niedawnym komentarzu na temat ostatnich postępów.

Ilu liczb pierwszych możemy się spodziewać?

Liczba pierwsza to dodatnia liczba całkowita, która nie ma dzielników poza sobą i $1$. Definicja jest prosta, ale jak tylko zaczniemy badać znaczenie liczb pierwszych, zdamy sobie sprawę, że wykazują one wiele subtelnych zachowań. Jednym z ważnych pytań jest, jak liczby pierwsze są rozmieszczone wśród liczb całkowitych? Odpowiedź brzmi, w bardzo krótkich słowach, raczej losowo, biorąc pod uwagę pewne podstawowe statystyki. Co przez to rozumiem?

No cóż, oto kwadratowa tablica przedstawiająca wszystkie liczby pierwsze do 400$:

W tablicy tej występują pewne wzorce, z których niektóre skomentuję później. Większość z tych, które dostrzegasz, jest spowodowana przez jakiś artefakt wyświetlacza. Na przykład, co druga kolumna jest w zasadzie pusta, a to dlatego, że jedynym parzystym prime jest $2$. Również, co piąta kolumna jest w zasadzie pusta. Bardziej interesujące są bliźniacze pary prime (niektóre z nich nie są tak widoczne, ponieważ dzielą się na dwa rzędy, takie jak $59$, $61$), a także pewne wzory związane z ostatnimi wyświetlanymi cyframi. Są to, co można nazwać lokalnymi wzorami. Nie są widoczne żadne globalne.

Wiele wysiłku włożono w niezwykle wydajne sposoby tworzenia liczb pierwszych, ale w dzisiejszych czasach nawet bardzo prosty program zajmuje tylko niewielką ilość czasu, aby stworzyć duże listy liczb pierwszych. Jeden z najbardziej owocnych programów będzie zrobić dużą listę primes, a następnie użyć tego do obliczenia funkcji $pi(n)$, liczba primes $ n$.

Jedną z rzeczy, które mogą być używane do jest, aby uzyskać przybliżone pojęcie o częstotliwości primes. W przedziale $$ jest 135$ primes:

Przybliżenie wygląda świetnie! Tak więc, nawet jeśli $pi(x)$ odbija się trochę wokół, najwyraźniej bez większego wzoru, mamy dość dobre oszacowanie dla niego, co oznacza, że mamy dobre pojęcie o tym, jak rosną liczby pierwsze, przynajmniej średnio.

Należy jednak pamiętać, że pozorna gładkość jest zwodnicza. Z bliska, oto jak wyglądają dwie górne krzywe:

Komentarze?

Heurystyczne rozumowanie o bliźniaczych prymach

Pierwiastki bliźniacze to para $p$, $p+2$, które są jednocześnie prymami. Na przykład, z jednej z powyższych działek widzimy bliźniacze prymitywy $$ , , , , , , , , $$

i inne. Przypuszcza się, że jest ich nieskończenie wiele, ale chociaż istnieje na to wiele empirycznych dowodów, nie zostały one jeszcze udowodnione.

Prawdopodobnie najmocniejszym dowodem jest wzór, który przybliża liczbę $pi_{2}(x)$ bliźniaczych pierwiastków $$ nadzwyczaj dobrze. Nie jestem do końca pewien pochodzenia tego wzoru, ale po raz pierwszy pojawił się on w pracy G. H. Hardy’ego i J. E. Littlewooda (sami są parą bliźniaczych pierwiastków) z 1923 roku. Praca zawiera kilka podobnych wzorów, wszystkie oparte na tej samej metodzie, której używali do rozwiązywania wielu problemów wcześniej. Była to ich metoda kołowa. Ich wyprowadzenie wzoru na $pi_{2}(x)$ nie jest wcale rygorystyczne, ale jest bardzo przekonujące. Zwięzła relacja na ten temat znajduje się w załączniku do artykułu Andrew Granville’a.

Jednak tuż po II wojnie światowej Lord Cherwell (Frederick Lindemann) zasugerował bardziej elementarne probabilistyczne (i wciąż nie rygorystyczne) wyprowadzenie. Doprowadziło to do współpracy z E. M. Wrightem i ostatecznie do pośmiertnej wspólnej publikacji. Jest to wyjaśnione w rozdziale 22.20 znanego tekstu Hardy’ego i Wrighta. Nieco bardziej elementarną wersję tego można znaleźć w dodatku do artykułu Granville’a (Sekcja 2.5). Podążam za nim.

Punktem wyjścia dla wiarygodnego rozumowania jest nasze oszacowanie dla $pi(x)$, liczby liczb pierwszych mniejszych lub równych $x$. Podstawową ideą tego wyprowadzenia jest to, że liczby pierwsze są w dużym stopniu rozmieszczone losowo. Wiemy, że w sąsiedztwie $x$ gęstość liczb pierwszych wynosi około $1/log x$. Gdyby liczby pierwsze były rozmieszczone losowo, to prawdopodobieństwo, że dowolne dwie dane liczby w pobliżu $x$ są liczbami pierwszymi, byłoby tylko iloczynem lokalnych prawdopodobieństw, czyli $1/log^{2} x$. Jest to z pewnością osobliwe rozumowanie, ponieważ jeśli $n > 2$, to prawdopodobieństwo, że zarówno $n$, jak i $n+1$ są liczbami pierwszymi wynosi $0$, podczas gdy fakt, że $p$ jest liczbą pierwszą, wydaje się zwiększać szanse, że $p+2$ nią jest. Istnieją podobne względy, które należy wziąć pod uwagę z powodu możliwej podzielności przez inne małe liczby pierwsze, również w sąsiedztwie $x$.

W tej historii jest jeden prosty fakt. Jeśli $q$ jest dowolną liczbą pierwszą, to prawdopodobieństwo wyboru losowej liczby całkowitej, która nie jest podzielna przez $q$ wynosi $1-1/q$. Prawdopodobieństwo wyboru dwóch liczb, które nie są podzielne przez $q$ jest więc iloczynem $(1 – 1/q)^{2}$. Załóżmy, że $p$ i $p+2$ są pierwszymi, to ani $p$, ani $p+2$ nie jest podzielne przez $q$. Jeśli $q = 2$, to zdarza się to w 1/2$ przypadków. Jeśli $q = 2$, to prawdopodobieństwo, że $p nie jest równe 0$ i $p nie jest równe -2$ modulo $q$ jest $(1 – 2/q)$. Z powodu twierdzenia chińskiego remanentu, podzielność przez dwie liczby pierwsze jest niezależnym wydarzeniem. Jeśli więc $x$ jest duże, a $Q$ jest względnie małe, to prawdopodobieństwo, że dowolna para liczb $m$ i $n$ w pobliżu $x$ nie będzie wielokrotnością żadnej liczby pierwszej aż do $Q$ wynosi $$ { 1 – 2/q} { (1 – 1/q)^{2} } \. $$

Niech $Gamma_{Q}$ będzie stosunkiem tego do $prod_{q \le Q}(1 – 2/q)$: $$ \Gamma_{Q} = { 1\over 2} \cdot \prod_{q \le Q} { (1 – 1/q)^{2} \^{2} } $$ Mamy $$ { 1 – 2/q ^{2} { (1 – 2/q)^{2} } = { (1 – 1/q)^{2} – 1/q^{2} \{ (1 – 1/q)^{2} } } = 1 – { 1 \over (q -1)^{2} } } \$$ Standardowe kryterium mówi, że iloczyn ten jest zbieżny, jeśli zbieżna jest suma $$ 1/(q-1)^{2}$. Ale jest on zbieżny, ponieważ test całkowy mówi nam, że $suma 1/n^{2}$ jest zbieżna. Zatem iloczyn ten jest rzeczywiście zbieżny do liczby $Pi_{infty}$ w miarę jak $Q jest zbieżne. Niech $C_{2}$ będzie jego odwrotnością. Sekcja 2.5 artykułu Granville’a mówi, że intuicyjnie powinno być w tym momencie rozsądne, że liczba $pi_{2}(x)$ bliźniaczych pierwiastków $le x$ jest przybliżona przez $$ \Pi_{2}(x) = C_{2} \^{infty} { dx \over \log^{2} x } \$$

Tekst Hardy’ego i Wrighta przedstawia bardziej staranną analizę, która czyni ten intuicyjny skok nieco jaśniejszym.

Wartość stałej została obliczona dawno temu przez J. W. Wrencha na około $1.32032363169373914785562422002911155686525 $ Oto porównanie niektórych wartości $pi_{2}(x)$ i wzoru w przedziale $$: $$ \matrix{ n & 10,000 & 20,000 & 30,000 & 40,000 & 50,000 \cr \pi_{2}(n) & 205\phantom{.0} & 342 \fantom{.0} & 467 \fantom{.0} & 591 \fantom{.0} & 705 \fantom{.0} & \\Pi_{2}(x) & 214,2 & 357,7 & 486,7 & 607,4 & 722,5 \cr } $$ $ ™matrix{ n & 60,000 & 70,000 & 80,000 & 90,000 & 100,000 ™cr ™pi_{2}(n) & 811 ™fantom{.0} & 905 \fantom{.0} & 1007 \fantom{.0} & 1116 \fantom{.0} & 1224 \fantom{.0} \\Pi_{2}(x) & 833,3 & 940,9 & 1045,7 & 1148,2 & 1248,7 \cr } $$

Komentarze?

Przemyślenie Dicksona

Podwójne prymy są szczególnym przypadkiem czegoś znacznie bardziej ogólnego. Można zapytać, czy istnieje nieskończona liczba par $p$, $p+4$ lub $p$, $p+6$, które są prymami? Albo $p$, $p+10$? Przypadek par $p$ i $p+10$ jest z pewnością sugerowany przez jeden z powyższych obrazków, na którym takie pary są łatwo widoczne. A co z pewnego rodzaju trójkami? Załóżmy, że $a_{1}$, $a_{2}$, $a_{k}$ tworzą tablicę liczb całkowitych. Czy możemy się spodziewać, że istnieje nieskończona liczba zbiorów $n+a_{1}$, $n+a_{2}$, $ldots$ , $n+a_{k}$, z których wszystkie są pierwsze?

Trzeba być trochę ostrożnym. Nie ma par pierwszych w postaci $p$, $p+1$ (dawniej $p = 2$), bo jedna z tych dwóch liczb musi być podzielna przez $2$. Podobnie, w przeszłości $p = 3$ nie istnieją trójki pierwsze w postaci $p$, $p+2$, $p+4$, ponieważ jedna z nich musi być podzielna przez $3$.

Ten ostatni przykład powinien być pouczający. Liczba $p+4$ jest podzielna przez $3$ wtedy i tylko wtedy, gdy $p+1$ jest podzielne przez $3$. Zatem $3$ dzieli jedną z liczb $p$, $p+2$, $p+4$ wtedy i tylko wtedy, gdy dzieli $p$, $p+1$, $p+2$. Ale jest to pewne, gdyż ostatnia trójka wyraźnie obejmuje wszystkie liczby modulo $3$.

W ogólności mówi się, że $p$ jest przeszkodą dla tablicy $(a_{i})$, jeśli $p$ zawsze dzieli co najmniej jedną z każdego ciągu $n+a_{i}$ ($i = 1$, $ldots$, $k$). Dzieje się tak wtedy i tylko wtedy, gdy liczby $a_{i} ∗; {mod} \p$ wypełniają całe $Z/p$.

Nigdy nie może się to zdarzyć, jeśli $p > k$, więc aby sprawdzić, czy jakieś $p$ przeszkadza $(a_{i})$ musimy tylko sprawdzić, czy $a_{i}$ pokrywają $Z/p$ dla wszystkich $p k$. Tablicę $(a_{i})$ nazywamy dopuszczalną, jeśli nie ma ona żadnych przeszkód pierwszorzędnych.

Na przykład $(1,3,7,9)$ jest tablicą dopuszczalną, gdyż, jak łatwo sprawdzić, ani $2$ ani $3$ nie są przeszkodami. Kilka ciągów pierwszych pasujących do tego wzoru można zobaczyć na jednym z diagramów powyżej. Inne przykłady to (a) dowolne $0$, $2n$; (b) $0$, $4$, $6$; (c) $0$, $2$, $6$.

Istnieją arbitralnie duże zbiory dopuszczalne. W rzeczywistości:

Twierdzenie. Jeśli $a_{1}$ do $a_{k}$ jest dowolnym zbiorem różnych liczb pierwszych $> k$, to tworzą one zbiór dopuszczalny.

Dlaczego tak jest? Jeśli $p$ jest dowolną liczbą pierwszą, gdzie $p> k$, to widzieliśmy już, że nie może być przeszkodą. Ale jeśli $p jest k$, to nie może dzielić żadnego z $a_{i}$, z których żadne nie może być przystające do $0$ modulo $p$. Tak więc $a_{i}$ nie wypełniają $Z/p$.

Szczególnym przypadkiem przypuszczenia wysuniętego pierwotnie przez L. E. Dicksona jest to, że jeśli nie ma pierwszorzędnych przeszkód dla $(a_{i})$ to istnieje nieskończenie wiele ciągów pierwszorzędnych postaci $(n +a_{i})$.

Co się ostatnio wydarzyło

To nie jest miejsce na opowiadanie całej historii, która została dokładnie opisana w innych miejscach. Polecam szczególnie artykuł w Quancie autorstwa Erici Klarreich dla popularnej relacji, oraz esej Granville’a dla bardziej technicznej. Chcę tylko powiedzieć nieco dokładniej niż w relacji Klarreicha, co jest najsłynniejszym z nowych wyników.

Jest to zasługa Yitanga Zhanga. Najprostszym stwierdzeniem tego, co udowodnił, jest to, że istnieje nieskończona liczba przedziałów $[n, n+70 000 000)$ zawierających co najmniej dwie liczby pierwsze. Jest to słabsze niż domniemanie o bliźniaczych prymach, ale koncepcyjnie bardzo bliskie. W późniejszych pracach (prowadzonych przez wielu matematyków) wielkość luki została poważnie zmniejszona, ale przypuszczalnie nie ma sposobu, aby zredukować ją do $2$ przy użyciu obecnych metod.

Jak wyjaśnia Granville, pierwszym i prawdopodobnie głównym wynikiem Zhanga jest to, że istnieje $k$ z własnością, że jeśli $a_{1}$, $ldots$ , $a_{k}$ jest dopuszczalnym zbiorem $k$ elementów, to istnieje nieskończenie wiele $n$ takich, że $n +a_{i} \$ zawiera co najmniej dwie liczby pierwsze. (W artykule Klarreicha w Quancie macierz taka nazywana jest „grzebieniem”. Należy pamiętać, że zgodnie z domysłem Dicksona, oczekiwalibyśmy, że będziemy w stanie powiedzieć, że wszystkie $k$ są liczbami pierwszymi). W rzeczywistości Zhang udowodnił, że to twierdzenie jest prawdziwe dla pewnego $k =3 500 000$ rozciągającego się na przedział 70 000 000$. Słynną już konsekwencją jest to, że dla pewnych $m = 70 000 000$ istnieje nieskończenie wiele par liczb pierwszych $p$, $p+m$.

Czytaj dalej

  • Lord Cherwell i E. M. Wright, „The frequency of prime patterns”, The Quarterly Journal of Mathematics 11 (1960).

    Ci, którzy wiedzą coś o życiu Lorda Cherwella, znanego inaczej jako Frederick Lindemann, będą bardzo zaskoczeni, gdy dowiedzą się o jego wkładzie w teorię liczb. Biografia w Wikipedii nie sugeruje odpowiednio wszystkich przyczyn jego złej reputacji jako głównego doradcy naukowego Churchilla podczas II wojny światowej.

  • L. E. Dickson, „A new extension of Dirichlet’s theorem on prime numbers”, Messenger of Mathematics 33.

    Zobacz też wpis w Wikipedii na temat domysłu Dicksona.

  • Andrew Granville, „Primes in intervals of bounded length”. Dostępne na jego stronie domowej.
  • G. H. Hardy, Ramanujan, Cambridge University Press.

    Sekcja 2.5 zawiera idealne wyprowadzenie możliwego wzoru na $pi(x)$.

  • G. H. Hardy i J. E. Littlewood, „Some problems of 'Partitio numerorum’ III: on the expression of a number as a sum of primes”, Acta Mathematica 44 (1923).
  • G. H. Hardy and E. M. Wright, The theory of numbers, Oxford Press.
  • Erica Klarreich, „Together and alone, closing the prime gap”, Quanta November 19, 2013.
  • B. Riemann, „On the number of prime numbers less than a given quantity” (O liczbie liczb pierwszych mniejszych od danej wielkości). Angielski przekład tego klasyka autorstwa Davida Wilkinsa jest dostępny pod linkiem w Wikipedii.

    Między innymi szkicuje on wyprowadzenie przybliżonego wzoru na $pi(x)$.

  • J. W. Wrench, „Evaluation of Artin’s constant and the twin-prime constant”, Mathematics of Computation 76 (1961).

    Wczesne obliczenie $C_{2}$.

  • Listy liczb pierwszych do $1,000,000,000$
  • Lista pierwszych 20,000 liczb bliźniaczych.

Bill Casselman
University of British Columbia, Vancouver, Canada
Email Bill Casselman

.

Dodaj komentarz

Twój adres e-mail nie zostanie opublikowany.