Μετάβαση στο περιεχόμενο

Εικασία του Πολινιάκ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Στη θεωρία των αριθμών, η εικασία του Πολινιάκ διατυπώθηκε από τον Aλφόνς ντε Πολινιάκ το 1849 και έχει ως εξής:[1]

Για κάθε θετικός Άρτιος αριθμός n, υπάρχουν άπειρα κενά πρώτων αριθμών μεγέθους n. Με άλλα λόγια, υπάρχουν άπειρες πολλές περιπτώσεις όπου δύο διαδοχικοί πρώτοι αριθμοί έχουν διαφορά n.[2]

Αν και η εικασία δεν έχει ακόμη αποδειχθεί ή διαψευστεί για οποιαδήποτε δεδομένη τιμή του n, ο Γιτάνγκ Ζανγκ έκανε μια σημαντική ανακάλυψη το 2013 αποδεικνύοντας ότι υπάρχουν άπειρες πολλές διαφορές μεγέθους n για μια τιμή του n < 70.000.000[3][4]. Λίγο αργότερα την ίδια χρονιά, ο Τζέιμς Μέιναρντ ανακοίνωσε μια σχετική ανακάλυψη αποδεικνύοντας ότι υπάρχουν άπειρα πολλά κενά μεγέθους 600 ή λιγότερο[5] . Από τις 14 Απριλίου 2014, ένα χρόνο μετά την ανακοίνωση του Ζανγκ, σύμφωνα με το wiki του έργου Polymath[6], το n έχει μειωθεί σε 246.[7] Επιπλέον, υποθέτοντας την εικασία Έλιοτ-Χάλμπερσταμ και τη γενικευμένη μορφή της, το wiki του έργου Polymath[6] αναφέρει ότι το n έχει μειωθεί σε 12 και 6, αντίστοιχα.[8]

Για n = 2, αυτή είναι η εικασία των δίδυμων πρώτων. Για n = 4, δηλώνει ότι υπάρχουν απείρως πολλοί πρώτοι αριθμοι Κουσίν[9] (p, p + 4). Για n = 6, σημειώνει ότι υπάρχουν απείρως πολλοί σέξι πρώτοι[10] (p, p + 6) χωρίς να υπάρχουν πρώτοι μεταξύ p και p + 6.

Υποθετική πυκνότητα

[Επεξεργασία | επεξεργασία κώδικα]

Έστω για άρτιο n ο αριθμός των πρώτων κενών μεγέθους n κάτω από το x.

Η πρώτη εικασία Χάρντι-Λίτλγουντ λέει ότι η ασυμπτωτική πυκνότητα είναι της μορφής

όπου Cn είναι μια συνάρτηση του n, και σημαίνει ότι το πηλίκο δύο εκφράσεων τείνει στο 1 καθώς το x πλησιάζει στο άπειρο. [11]

C2 είναι η δίδυμη πρώτη σταθερά

όπου το γινόμενο εκτείνεται σε όλους τους πρώτους αριθμούς p ≥ 3.

Το Cn είναι το C2 πολλαπλασιασμένο με έναν αριθμό που εξαρτάται από τους περιττούς πρώτους παράγοντες q of n:

Παραδείγματος χάριν, C4 = C2 και C6 = 2C2. Οι δίδυμοι πρώτοι έχουν την ίδια εικαζόμενη πυκνότητα με τους πρώτους Κουσίν και τη μισή πυκνότητα των σέξι πρώτων[10].

Ας σημειωθεί ότι κάθε περιττός πρώτος παράγοντας q του n αυξάνει την εικαζόμενη πυκνότητα σε σύγκριση με τους δίδυμους πρώτους κατά έναν παράγοντα . Ακολουθεί ένα ευρετικό επιχείρημα. Βασίζεται σε ορισμένες αναπόδεικτες υποθέσεις, οπότε το συμπέρασμα παραμένει εικασία. Η πιθανότητα ένας τυχαίος περιττός πρώτος q να διαιρεί είτε το a είτε το a + 2 σε ένα τυχαίο «δυνητικό» δίδυμο ζεύγος πρώτων αριθμών είναι , αφού το q διαιρεί έναν από τους q αριθμούς από το a έως το a + q  1. Τώρα ας υποθέσουμε ότι το q διαιρεί το n και ας θεωρήσουμε ένα δυνητικό πρώτο ζεύγος (a, a + n). Το q διαιρεί το a + n αν και μόνο αν το q διαιρεί το a, και η πιθανότητα να συμβεί αυτό είναι . Η πιθανότητα το (a, a + n) να είναι απαλλαγμένο από τον παράγοντα q, διαιρούμενη με την πιθανότητα το (a, a + 2) να είναι απαλλαγμένο από τον q, γίνεται τότε διαιρούμενη με . Αυτό ισούται με το οποίο μεταφέρεται στην εικαζόμενη πυκνότητα των πρώτων. Στην περίπτωση του n = 6, το επιχείρημα απλοποιείται ως εξής: Αν το a είναι ένας τυχαίος αριθμός, τότε το 3 έχει πιθανότητα 2/3 να διαιρέσει το a ή το a + 2 αλλά μόνο πιθανότητα 1/3 να διαιρέσει το a και το a + 6, οπότε το τελευταίο ζεύγος εικάζεται διπλάσια πιθανότητα να είναι και τα δύο πρώτοι.

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]


  1. de Polignac, A. (1849). «Recherches nouvelles sur les nombres premiers» (στα French). Comptes rendus 29: 397–401. https://babel.hathitrust.org/cgi/pt?id=mdp.39015035450967&view=1up&seq=411. From p. 400: "1er Théorème. Tout nombre pair est égal à la différence de deux nombres premiers consécutifs d'une infinité de manières … " (1st Theorem. Every even number is equal to the difference of two consecutive prime numbers in an infinite number of ways … )
  2. Tattersall, J.J. (2005), Elementary number theory in nine chapters, Cambridge University Press, ISBN 978-0-521-85014-8, https://books.google.com/books?id=QGgLbf2oFUYC, p. 112
  3. Zhang, Yitang (2014). «Bounded gaps between primes». Annals of Mathematics 179 (3): 1121–1174. doi:10.4007/annals.2014.179.3.7. .
  4. Klarreich, Erica (19 Μαΐου 2013). «Unheralded Mathematician Bridges the Prime Gap». Simons Science News. Ανακτήθηκε στις 21 Μαΐου 2013.
  5. Augereau, Benjamin (15 Ιανουαρίου 2014). «An old mathematical puzzle soon to be unraveled?». Phys.org. Ανακτήθηκε στις 10 Φεβρουαρίου 2014.
  6. 1 2 Cranshaw, Justin; Kittur, Aniket (2011-05-07). «The polymath project: lessons from a successful online collaboration in mathematics». Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. CHI '11 (New York, NY, USA: Association for Computing Machinery): 1865–1874. doi:10.1145/1978942.1979213. ISBN 978-1-4503-0228-9. https://dl.acm.org/doi/10.1145/1978942.1979213.
  7. «Bounded gaps between primes». Polymath. Ανακτήθηκε στις 27 Μαρτίου 2014.
  8. «Bounded gaps between primes». Polymath. Ανακτήθηκε στις 21 Φεβρουαρίου 2014.
  9. Weisstein, Eric W. «Cousin Primes». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 31 Δεκεμβρίου 2024.
  10. 1 2 Weisstein, Eric W. «Sexy Primes». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 31 Δεκεμβρίου 2024.
  11. Bateman, Paul T.; Diamond, Harold G. (2004), Analytic Number Theory, World Scientific, σελ. 313, ISBN 981-256-080-7, .