Αν με ρωτούσαν ,ποια θεωρώ ότι είναι η πλέον ευφάνταστη ονομασία μαθηματικής εικασίας , νομίζω ότι δεν θα χρειαζόταν να το σκεφτώ πολύ ,η απάντηση έρχεται αμέσως.«Εικασία του Λουκάνικου» (Sausage Conjecture). Σε τι αναφερόμαστε;
Φανταστείτε ότι έχετε ένα σύνολο από απόλυτα σφαιρικά πορτοκάλια και θέλετε να τα τυλίξετε με μια μεμβράνη η οποία συρρικνώνεται (το μαθηματικό αντίστοιχο του «κυρτού φακέλου» ή convex hull). Ο στόχος σας είναι διττός: να τα χωρέσετε όλα, καταναλώνοντας όμως τον ελάχιστο δυνατό συνολικό όγκο στο εσωτερικό της συσκευασίας.
Η λογική υπαγορεύει να τα στοιβάξετε σε ένα στρογγυλεμένο σύμπλεγμα, σαν ένα τσαμπί σταφύλι. Κι όμως, η γεωμετρία έχει άλλη άποψη. Το 1975, ο σπουδαίος Ούγγρος μαθηματικός και πρωτοπόρος της διακριτής γεωμετρίας László Fejes Tóth, διατύπωσε μια εικασία που έμελλε να αναστατώσει τον μαθηματικό κόσμο: υπέθεσε ότι σε χώρους πολλών διαστάσεων, ο αποδοτικότερος τρόπος είναι η τοποθέτηση των σφαιρών σε μια απόλυτη ευθεία γραμμή, τη μία πίσω από την άλλη. Η θεωρία αυτή έμεινε στην ιστορία ως η «Εικασία του Λουκάνικου» (Sausage Conjecture).
Η συμπεριφορά αυτού του γεωμετρικού «λουκάνικου» αψηφά την κοινή λογική, καθώς μεταλλάσσεται βίαια ανάλογα με το πόσες διαστάσεις έχει ο χώρος στον οποίο βρισκόμαστε:
Στο Επίπεδο (d=2): Το Λουκάνικο αποτυγχάνει αμέσως
Στις δύο διαστάσεις (όπου οι σφαίρες είναι απλοί κύκλοι), η γραμμική διάταξη είναι πρακτικά άχρηστη. Ήδη από τους τρεις κύκλους, αν τους τοποθετήσετε σε σχήμα τριγώνου, κερδίζετε χώρο. Στους επτά κύκλους, η διάταξη ενός εξαγώνου (ένας κύκλος στο κέντρο και έξι γύρω του) κυριαρχεί απόλυτα.
Στον Χώρο (d=3): Η περίφημη «Καταστροφή του Λουκάνικου»
Εδώ η ιστορία αποκτά δραματική τροπή. Στον δικό μας τρισδιάστατο κόσμο, το λουκάνικο είναι ο αδιαφιλονίκητος βασιλιάς της χωρητικότητας... αλλά μόνο έως τις 56 σφαίρες. Αν βάλετε 56 σφαίρες στη σειρά, η μεμβράνη που τις τυλίγει εσωκλείει τον μικρότερο δυνατό όγκο. Όμως, μόλις προσθέσετε την 57η σφαίρα, το σύστημα «καταρρέει». Η ευθεία διάταξη παύει να είναι αποδοτική και τη θέση της παίρνουν πιο συμπαγή, σφαιρικά συμπλέγματα (clusters).
Αυτή η βίαιη και απροσδόκητη αλλαγή συμπεριφοράς εντοπίστηκε από τους μαθηματικούς J.M. Wills και P.M. Gandini. Μάλιστα, το 1983 ο Wills ονόμασε επίσημα αυτό το φαινόμενο Sausage Catastrophe (Καταστροφή του Λουκάνικου), χαρίζοντας στα μαθηματικά έναν από τους πιο διασκεδαστικούς όρους τους.
Στην Τέταρτη Διάσταση (d=4): Το μυστήριο της καθυστέρησης
Σε έναν 4-διάστατο χώρο, η «καταστροφή» αρνείται να συμβεί νωρίς. Οι μαθηματικοί γνωρίζουν ότι η γραμμική διάταξη παραμένει η καλύτερη για ένα τεράστιο πλήθος σφαιρών — σίγουρα για πάνω από 50.000. Κάποια στιγμή, πλησιάζοντας τις 100.000 σφαίρες, το λουκάνικο «σπάει» ξανά, αλλά το ακριβές σημείο αυτής της υπερ-διάστατης κατάρρευσης παραμένει μέχρι και σήμερα ένα άλυτο μυστήριο.
Στις Πέντε Διαστάσεις και άνω (d≥5): Το βασίλειο του Tóth
Εδώ ακριβώς εντοπίζεται η καρδιά της εικασίας του Tóth. Σύμφωνα με την πρόβλεψή του από το 1975, από την 5η διάσταση και μετά, το σύμπαν σταματά να ευνοεί τα συμπλέγματα. Ανεξάρτητα από το αν έχετε δέκα, χίλιες ή ένα δισεκατομμύριο σφαίρες, η γραμμική διάταξη του λουκάνικου είναι πάντα και αδιαπραγμάτευτα η πιο αποδοτική συσκευασία.
Ο Θρίαμβος του 1998 και ο Αριθμός 42
Για δεκαετίες, η εικασία του Tóth βασάνιζε τους γεωμέτρες. Ήταν μια θεωρία πανέμορφη, αλλά τρομακτικά δύσκολο να αποδειχθεί για άπειρες διαστάσεις και άπειρο αριθμό σφαιρών.
Η μεγάλη δικαίωση ήρθε το 1998. Μια ομάδα ερευνητών, οι Ulrich Betke, Martin Henk και Jörg Wills (ο ίδιος άνθρωπος που «βάφτισε» την Καταστροφή του Λουκάνικου), κατάφεραν μέσα από πολύπλοκα πολυώνυμα και υπολογισμούς να αποδείξουν ότι η εικασία ισχύει απόλυτα για κάθε διάσταση d≥42. Σε μια ενδιαφέρουσα σύμπτωση με την ποπ κουλτούρα (όπου το 42 είναι η απάντηση στο νόημα της ζωής στο The Hitchhiker's Guide to the Galaxy), το 42 έγινε το μαθηματικό ορόσημο που έκλεισε το μεγαλύτερο μέρος του προβλήματος.
Για τις ενδιάμεσες διαστάσεις (από το 5 έως το 41), το πρόβλημα παραμένει ανοιχτό. Οι μαθηματικοί είναι σχεδόν βέβαιοι πως ο Tóth είχε δίκιο από την 5η κιόλας διάσταση, αλλά το οριστικό, αδιάσειστο αποδεικτικό στοιχείο αναζητείται ακόμα.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου