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

Εικασία του Γκίλμπρεθ

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

Η εικασία του Γκίλμπρεθ[1][2] είναι μια εικασία στη θεωρία των αριθμών σχετικά με τις ακολουθίες που δημιουργούνται με την εφαρμογή του τελεστή πεπερασμένης διαφοράς σε διαδοχικούς πρώτους αριθμούς και αφήνοντας τα αποτελέσματα χωρίς πρόσημο, και στη συνέχεια επαναλαμβάνοντας αυτή τη διαδικασία σε διαδοχικούς όρους της ακολουθίας που προκύπτει, και ούτω καθεξής. Η πρόταση πήρε το όνομά της από τον Νόρμαν Λ. Γκίλμπρεθ, ο οποίος το 1958 την παρουσίασε στη μαθηματική κοινότητα, αφού παρατήρησε τυχαία το μοτίβο ενώ έκανε αριθμητική σε μια χαρτοπετσέτα[3]. 1878, ογδόντα χρόνια πριν από την ανακάλυψη του Γκίλμπρεθ, ο Φρανσουά Προθ είχε, ωστόσο, δημοσιεύσει τις ίδιες παρατηρήσεις μαζί με μια απόπειρα απόδειξης, η οποία αργότερα αποδείχθηκε εσφαλμένη[3].

Κινητήρια αριθμητική

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

Ο Γκίλμπρεθ παρατήρησε ένα μοτίβο ενώ έπαιζε με τη διατεταγμένη ακολουθία των πρώτων αριθμών

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, ...

Υπολογίζοντας την απόλυτη τιμή της διαφοράς μεταξύ του όρου n + 1 και του όρου n σε αυτή την ακολουθία προκύπτει η ακολουθία

1, 2, 2, 4, 2, 4, 2, 4, 6, 2, ...

Αν ο ίδιος υπολογισμός γίνει για τους όρους αυτής της νέας ακολουθίας, και για την ακολουθία που είναι το αποτέλεσμα αυτής της διαδικασίας, και ξανά επ' άπειρον για κάθε ακολουθία που είναι το αποτέλεσμα ενός τέτοιου υπολογισμού, οι ακόλουθες πέντε ακολουθίες αυτής της λίστας είναι

1, 0, 2, 2, 2, 2, 2, 2, 4, ...
1, 2, 0, 0, 0, 0, 0, 2, ...
1, 2, 0, 0, 0, 0, 2, ...
1, 2, 0, 0, 0, 2, ...
1, 2, 0, 0, 2, ...

Αυτό που παρατήρησε ο Γκίλμπρεθ -και ο Φρανσουά Προθ πριν από αυτόν- είναι ότι ο πρώτος όρος σε κάθε σειρά διαφορών φαίνεται να είναι 1.

Η επίσημη διατύπωση της παρατήρησης του Γκίλμπρεθ είναι σημαντικά ευκολότερη μετά την επινόηση ενός συμβολισμού για τις ακολουθίες στην προηγούμενη ενότητα. Για το σκοπό αυτό, ας συμβολίσουμε με τη διατεταγμένη ακολουθία πρώτων αριθμών και ας ορίσουμε κάθε όρο της ακολουθίας ως εξής

όπου είναι θετικό. Επίσης, για κάθε ακέραιος αριθμός μεγαλύτερος από 1, έστω ότι οι όροι στο δίνονται από τις σχέσεις

Η εικασία του Γκίλμπρεθ δηλώνει ότι κάθε όρος της ακολουθίας για θετικό είναι ίσος με 1.

Έλεγχος και απόπειρες απόδειξης

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

Ο Φρανσουά Προθ δημοσίευσε αυτό που πίστευε ότι ήταν μια απόδειξη της δήλωσης, η οποία αργότερα αποδείχθηκε ότι ήταν λανθασμένη. Ο Άντριου Οντλίζκο επαλήθευσε ότι το είναι ίσο με 1 για το 1993,[4] αλλά η εικασία παραμένει ένα ανοιχτό πρόβλημα. Αντί να αξιολογήσει n σειρές, ο Οντλίζκο αξιολόγησε 635 σειρές και διαπίστωσε ότι η 635η σειρά ξεκινούσε με ένα 1 και συνέχιζε μόνο με 0 και 2 για τους επόμενους n αριθμούς. Αυτό σημαίνει ότι οι επόμενες n σειρές αρχίζουν με 1.

Το 1980, ο Mάρτιν Γκάρντνερ δημοσίευσε μια εικασία του Χάλαρντ Κροφτ που ανέφερε ότι η ιδιότητα της εικασίας του Γκίλμπρεθ (να υπάρχει ένα 1 στον πρώτο όρο κάθε ακολουθίας διαφορών) θα πρέπει να ισχύει γενικότερα για κάθε ακολουθία που αρχίζει με 2, στη συνέχεια περιέχει μόνο περιττούς αριθμούς και έχει ένα αρκετά χαμηλό όριο στα κενά μεταξύ διαδοχικών στοιχείων της ακολουθίας[5]. Η εικασία αυτή επαναλήφθηκε και από μεταγενέστερους συγγραφείς.[6][7] Ωστόσο, είναι ψευδής: για κάθε αρχική υποακολουθία του 2 και περιττούς αριθμούς και για κάθε μη σταθερό ρυθμό αύξησης, υπάρχει μια συνέχεια της υποακολουθίας με περιττούς αριθμούς των οποίων τα κενά υπακούουν στον ρυθμό αύξησης, αλλά των οποίων οι ακολουθίες διαφορών δεν ξεκινούν με 1 απείρως συχνά.[8] Ο Οντλίζκο (Odlyzko (1993) είναι πιο προσεκτικός, γράφοντας ορισμένους ευρετικούς λόγους για να πιστέψει την εικασία του Γκίλμπρεθ ότι «τα παραπάνω επιχειρήματα ισχύουν για πολλές άλλες ακολουθίες στις οποίες το πρώτο στοιχείο είναι 1, τα υπόλοιπα ζυγά, και όπου τα κενά μεταξύ διαδοχικών στοιχείων δεν είναι πολύ μεγάλα και είναι επαρκώς τυχαία."[4][9]Ωστόσο, δεν δίνει έναν επίσημο ορισμό για το τι σημαίνει «επαρκώς τυχαίο».

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

[Επεξεργασία | επεξεργασία κώδικα]
  1. «A random analogue of Gilbreath's conjecture - University of Oxford» (PDF). 
  2. Lignon, Daniel (5 Νοεμβρίου 2024). Dictionnaire de (presque) tous les nombres entiers. Editions Ellipses. ISBN 978-2-340-10019-0. 
  3. 3,0 3,1 Caldwell, Chris. «The Prime Glossary: Gilbreath's conjecture». The Prime Pages. Αρχειοθετήθηκε από το πρωτότυπο στις 24 Μαρτίου 2012. Ανακτήθηκε στις 7 Μαρτίου 2008. .
  4. 4,0 4,1 Odlyzko, A. M. (1993). «Iterated absolute values of differences of consecutive primes». Mathematics of Computation 61 (203): 373–380. doi:10.2307/2152962. . http://www.dtc.umn.edu/~odlyzko/doc/arch/gilbreath.conj.ps. Ανακτήθηκε στις 2006-05-25. 
  5. Gardner, Martin (December 1980). «Patterns in primes are a clue to the strong law of small numbers». Scientific American 243 (6): 18–28. 
  6. Guy, Richard K. (2004). Unsolved Problems in Number Theory. Problem Books in Mathematics (3rd έκδοση). Springer-Verlag. σελ. 42. ISBN 0-387-20860-7. Zbl 1058.11001. 
  7. Darling, David (2004). «Gilbreath's conjecture». The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes. John Wiley & Sons. σελίδες 133–134. ISBN 9780471667001. Αρχειοθετήθηκε από το πρωτότυπο στις 5 Μαΐου 2016. Ανακτήθηκε στις 21 Απριλίου 2015. 
  8. Eppstein, David (20 Φεβρουαρίου 2011). «Anti-Gilbreath sequences». 11011110. Αρχειοθετήθηκε από το πρωτότυπο στις 12 Απριλίου 2017. Ανακτήθηκε στις 12 Απριλίου 2017. 
  9. Chase, Zachary (2023). «A random analogue of Gilbreath's conjecture». Math. Ann. 388 (3): 2611–2625. doi:10.1007/s00208-023-02579-w.