🍊 Η Ουκρανή Μαθηματικός που Στοίβαξε 8-Διάστατες Σφαίρες - Το Θαύμα της Viazovska

🍊 Το Πρόβλημα της Στοίβαξης

Φανταστείτε ότι έχετε ένα σωρό από πορτοκάλια και θέλετε να τα στοιβάξετε όσο πιο πυκνά γίνεται. Ποια είναι η καλύτερη διάταξη;

Οι έμποροι το γνώριζαν εδώ και αιώνες: τα πορτοκάλια στοιβάζονται σε μια πυραμίδα, με κάθε στρώση να κάθεται στις κοιλότητες της προηγούμενης. Αυτή η διάταξη γεμίζει το 74,05% του χώρου, αφήνοντας το υπόλοιπο κενό.

Το 1611, ο Johannes Kepler διατύπωσε την υπόθεση ότι αυτή είναι η βέλτιστη δυνατή διάταξη σε τρεις διαστάσεις. Η απόδειξη αυτής της υπόθεσης χρειάστηκε σχεδόν 400 χρόνια — το 1998, ο Thomas Hales ολοκλήρωσε μια απόδειξη με τη βοήθεια υπολογιστή, τόσο πολύπλοκη που οι μαθηματικοί χρειάστηκαν χρόνια για να την επιβεβαιώσουν.

Αλλά η ιστορία δεν τελείωσε εκεί. Υπήρχαν ακόμα άλλες διαστάσεις — και σε μερικές από αυτές, το πρόβλημα ήταν ακόμα πιο δύσκολο.

🔮 Το Πρόβλημα των 8 Διαστάσεων

Το πρόβλημα της στοίβαξης σφαιρών μπορεί να διατυπωθεί σε οποιαδήποτε διάσταση. Σε 2 διαστάσεις, η βέλτιστη λύση —αποδεδειγμένη από τον Lagrange το 1773— είναι η εξαγωνική διάταξη, με πυκνότητα 90,69%. Σε 3 διαστάσεις, είναι η διάταξη του Kepler.

Για δεκαετίες, οι μαθηματικοί γνώριζαν τη βέλτιστη περιοδική διάταξη σε 8 διαστάσεις — το λεγόμενο πλέγμα \(E_8\) — αλλά δεν ήξεραν αν κάποια μη-περιοδική διάταξη θα μπορούσε να κάνει καλύτερα. Η πυκνότητά του είναι:

\[ \frac{\pi^4}{384} \approx 0.2537 \]

Δηλαδή, μόλις 25,37% του χώρου. Αλλά ήταν το βέλτιστο δυνατό;

🌟 Η Λύση — Η Ιδέα της Viazovska

Στις 14 Μαρτίου 2016 —Παγκόσμια Ημέρα του π— η Ουκρανή μαθηματικός Maryna Viazovska δημοσίευσε στο arXiv μια απόδειξη που συγκλόνισε τον κόσμο των μαθηματικών.

📌 Το Θεώρημα της Viazovska: Το πλέγμα \(E_8\) είναι η βέλτιστη διάταξη για τη στοίβαξη σφαιρών σε 8 διαστάσεις. Καμία άλλη διάταξη — περιοδική ή μη-περιοδική — δεν μπορεί να έχει μεγαλύτερη πυκνότητα.

Η απόδειξή της ήταν εκπληκτικά σύντομη — μόλις 23 σελίδες. Χρησιμοποίησε τη θεωρία των modular forms για να κατασκευάσει μια ειδική συνάρτηση που, μέσω του τύπου άθροισης Poisson, επιβάλλει τη βελτιστότητα του \(E_8\) — μια συνάρτηση της οποίας η ύπαρξη είχε απλώς εικαστεί, χωρίς να είναι γνωστή η μορφή της, από τους Cohn και Elkies το 2003. Ο μαθηματικός Peter Sarnak του Princeton το χαρακτήρισε «εκπληκτικά απλό, όπως όλα τα σπουδαία πράγματα».

Μόλις μία εβδομάδα αργότερα, η ίδια, μαζί με τους Henry Cohn, Abhinav Kumar, Stephen D. Miller και Danylo Radchenko, δημοσίευσαν ένα δεύτερο άρθρο, μόλις 12 σελίδων, λύνοντας με παρόμοιες μεθόδους και το πρόβλημα σε 24 διαστάσεις.

🔢 Η Διάσταση 24 — Το Πλέγμα Leech

Η πυκνότητα του πλέγματος Leech, το οποίο είχε ανακαλυφθεί από τον John Conway το 1967, είναι:

\[ \frac{\pi^{12}}{12!} \approx 0.001929 \]

Δηλαδή, σε 24 διαστάσεις, η καλύτερη δυνατή διάταξη γεμίζει μόλις το 0,193% του χώρου. Έξι χρόνια αργότερα, οι διαστάσεις 8 και 24 παραμένουν —μαζί με τη διάσταση 3— οι μοναδικές πάνω από το 1 όπου είναι γνωστή η βέλτιστη δυνατή διάταξη σφαιρών.

📜 Μια Σύντομη Ιστορία του Προβλήματος

• 1611: Ο Kepler διατυπώνει την εικασία του για 3 διαστάσεις.
• 1773: Ο Lagrange αποδεικνύει τη βέλτιστη διάταξη σε 2 διαστάσεις.
• 1831: Ο Gauss αποδεικνύει ότι η διάταξη του Kepler είναι η βέλτιστη περιοδική διάταξη σε 3 διαστάσεις.
• 1998: Ο Hales ολοκληρώνει την πλήρη απόδειξη για 3 διαστάσεις, με χρήση υπολογιστή.
• 14 Μαρτίου 2016: Η Viazovska λύνει το πρόβλημα για 8 διαστάσεις.
• Μία εβδομάδα αργότερα: Η Viazovska και οι συνεργάτες της λύνουν το πρόβλημα για 24 διαστάσεις.
• 2022: Η Viazovska τιμάται με το Fields Medal ακριβώς γι' αυτή τη δουλειά — μόλις η δεύτερη γυναίκα στην ιστορία που το κερδίζει, μετά τη Maryam Mirzakhani το 2014.

💡 Εφαρμογές — Πέρα από τα Πορτοκάλια

Το πρόβλημα της στοίβαξης σφαιρών έχει πρακτικές εφαρμογές σε κωδικούς διόρθωσης σφαλμάτων στις ψηφιακές επικοινωνίες, και σχετίζεται στενά με την κρυσταλλογραφία και τη μελέτη εξαιρετικά συμμετρικών δομών. Χαρακτηριστικά, η ίδια η απόδειξη για τις διαστάσεις 8 και 24 δεν έφερε νέες πρακτικές εφαρμογές πέρα από τις ήδη γνωστές — οι μηχανικοί ήδη γνώριζαν ότι τα \(E_8\) και Leech ήταν αρκετά κοντά στο βέλτιστο για κάθε πρακτικό σκοπό. Αυτό που πρόσφερε η απόδειξη ήταν κάτι πιο σπάνιο: μαθηματική βεβαιότητα.

Το 2024 ξεκίνησε μάλιστα, με τη συμμετοχή της ίδιας της Viazovska, μια προσπάθεια πλήρους τυπικής επαλήθευσης της απόδειξης των 8 διαστάσεων μέσω υπολογιστή (formal proof), ώστε να επιβεβαιωθεί μηχανικά, γραμμή προς γραμμή, χωρίς περιθώριο ανθρώπινου λάθους.

🧠 Το Μάθημα — Το Θαύμα των Διαστάσεων

Η ιστορία της Viazovska είναι μια υπενθύμιση ότι τα μαθηματικά είναι γεμάτα εκπλήξεις. Ένα πρόβλημα που φαινόταν απλό — πώς να στοιβάξεις σφαίρες — αποδείχθηκε τόσο βαθύ που χρειάστηκε αιώνες για να λυθεί ακόμα και σε 3 διαστάσεις. Και όταν η λύση ήρθε για 8 διαστάσεις, ήρθε από μια νεαρή μαθηματικό, με μια ιδέα τόσο κομψή που άφησε άναυδη ολόκληρη την κοινότητα.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →