Μαθηματικά Ζογκλερικά και μια εικασία!

          

 Ο Ronald Graham, διατελέσας πρόεδρος της Αμερικανικής Μαθηματικής Εταιρείας αλλά και της Διεθνούς Ένωσης Ζογκλέρ, αναζητούσε πάντοτε δομές και μοτίβα στη φύση των πραγμάτων. Η εικασία του φαίνεται πως γεννήθηκε από την ίδια την τέχνη του ζογκλαρίσματος: αν πετάξεις μια σειρά από μπάλες που παραμένουν στον αέρα για διαφορετικά χρονικά διαστήματα, υπάρχει τρόπος να επιλέξεις τη σειρά ρίψης ώστε δύο μπάλες να μην πέσουν στο έδαφος την ίδια ακριβώς στιγμή;

Στη  γλώσσα των μαθηματικών, το πρόβλημα διατυπώνεται στο πλαίσιο της αριθμητικής υπολοίπων (clock arithmetic). Θεωρούμε ένα σύνολο μη μηδενικών διακριτών ακεραίων αριθμών, οι οποίοι είναι τοποθετημένοι γύρω από ένα «ρολόι» μεγέθους p, όπου το p είναι ένας πολύ μεγάλος πρώτος αριθμός. Το ερώτημα του Graham ήταν το εξής: Μπορούμε πάντα να αναδιατάξουμε τα στοιχεία αυτού του συνόλου έτσι ώστε όλα τα μερικά αθροίσματα (partial sums) να είναι διαφορετικά μεταξύ τους;

Αν κάποιο μερικό άθροισμα επαναληφθεί, αυτό σημαίνει ότι μια ενδιάμεση ακολουθία αριθμών αθροίζει στο μηδέν (mod p), κάτι που ισοδυναμεί με τη σύγκρουση δύο μπαλών στο ίδιο χρονικό «χτύπημα».

                                                                  Ronald Graham

  Για δεκαετίες, η εικασία παρέμενε άλυτη. Η δυσκολία έγκειται στο μέγεθος του συνόλου των αριθμών σε σχέση με το p. Διαφορετικά μεγέθη συνόλων απαιτούν τελείως διαφορετικές μαθηματικές τεχνικές:

1.Τα Πολύ Μεγάλα Σύνολα: Το 2022, ο Alp Müyesser (Πανεπιστήμιο της Οξφόρδης) και ο Alexey Pokrovskiy (University College London) αντιμετώπισαν την περίπτωση όπου το σύνολο περιέχει σχεδόν όλους τους αριθμούς έως το p. Χρησιμοποίησαν πιθανοτικές μεθόδους, ξεκινώντας από μια τυχαία διάταξη και διορθώνοντας τα τοπικά σφάλματα (ακολουθίες με μηδενικό άθροισμα) εισάγοντας κατάλληλους αριθμούς που είχαν κρατήσει ως «αναπληρωματικούς».

2. Τα Πολύ Μικρά Σύνολα: Το 2024, ο Noah Kravitz και ο Benjamin Bedert από την Οξφόρδη έλυσαν την εικασία για πολύ μικρά σύνολα (π.χ. 100 στοιχεία σε ένα «ρολόι» 1 δισεκατομμυρίου), αποδεικνύοντας ότι υπάρχει επαρκής ευελιξία για την αποφυγή συγκρούσεων.

3. Η Διεύρυνση των Ορίων: Το 2025, οι Müyesser, Kravitz, Bedert και οι συνεργάτες τους ένωσαν τις δυνάμεις τους, καλύπτοντας περισσότερες περιπτώσεις. Ωστόσο, παρέμενε ένα ανυπέρβλητο κενό: τα σύνολα «μεσαίου μεγέθους» (όπου το πλήθος των αριθμών προσεγγίζει περίπου το μισό του p).

Το αδιέξοδο έσπασε τον Φεβρουάριο του 2026 από τη Lisa Sauermann (Πανεπιστήμιο της Βόννης) και τον Huy Tuan Pham (Πανεπιστήμιο του Σικάγου). Οι δύο ερευνητές χρησιμοποίησαν μια προηγμένη τεχνική που ονομάζεται αντι-συγκέντρωση (anti-concentration), η οποία βασίζεται στην Ανάλυση Fourier (τη διάσπαση συναρτήσεων σε αθροίσματα απλών κυμάτων).

Η στρατηγική τους στηρίχθηκε στη μελέτη τριών πιθανών «κακών ενδεχομένων» κατά τη διαδικασία διόρθωσης μιας τυχαίας διάταξης:

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

 Να εμφανιστούν πολλές ακολουθίες μηδενικού αθροίσματος πολύ κοντά η μία στην άλλη.

 Η διόρθωση ενός σφάλματος να δημιουργήσει ένα νέο σφάλμα παρακάτω.

Με την ανάλυση Fourier, οι Sauermann και Pham απέδειξαν ότι όταν αθροίζονται τυχαία σύνολα αριθμών, η πιθανότητα να προκύψει ένα συγκεκριμένο άθροισμα είναι εξαιρετικά χαμηλή. Αυτό τους επέτρεψε να υπολογίσουν με ακρίβεια τις πιθανότητες των «κακών ενδεχομένων» και να αποδείξουν ότι η συνολική πιθανότητα αποτυχίας είναι αυστηρά μικρότερη από 100%. Κατά συνέπεια, υπάρχει πάντα τουλάχιστον μία έγκυρη αναδιάταξη. Μάλιστα, έδειξαν ότι μια τυχαία διάταξη μπορεί να διορθωθεί επιτυχώς σε ποσοστό άνω του 90%.

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

 Βιβλιογραφία

 Επιστημονικές Δημοσιεύσεις (ArXiv Preprints)

1. Sauermann, L., & Pham, H. T. (2026).Proof of Graham's conjecture on partial sums in finite abelian groups. arXiv preprint.

2. Bedert, B., Kravitz, N., Müyesser, A., & Pokrovskiy, A. (2025).Partial sum orderings in cyclic groups for large subsets*. arXiv preprint.

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

3. Bedert, B., & Kravitz, N. (2024).On a conjecture of Graham concerning sequences in finite cyclic groups*. arXiv preprint.

(Η εργασία που έλυσε την εικασία για την περίπτωση πολύ μικρών συνόλων σε σχέση με το μέγεθος του πρώτου αριθμού p).

4. Müyesser, A., & Pokrovskiy, A. (2022). A probabilistic approach to zero-sum free sequences and sequence orderings. arXiv preprint.

(Η αρχική εργασία όπου εισήχθη η πιθανοτική μέθοδος για σύνολα που περιέχουν σχεδόν όλους τους αριθμούς έως το p).

 Δημοσιογραφική Πηγή

6. Wegsman, S. (2026, September 28).Mathematicians Harness Randomness to Crack a 55-Year-Old Conjecture. Quanta Magazine.