Origami και Amplituhedron:A Surprising Connection in Physics

Το αμπλιτούεδρο είναι ένα γεωμετρικό σχήμα με μια σχεδόν μυστικιστική ποιότητα:Υπολογίστε τον όγκο του και θα λάβετε την απάντηση σε έναν κεντρικό υπολογισμό της φυσικής σχετικά με τον τρόπο αλληλεπίδρασης των σωματιδίων.

Τώρα, ένας νεαρός μαθηματικός στο Πανεπιστήμιο του Cornell, ονόματι Pavel (Pasha) Galashin, ανακάλυψε ότι το αμπλιτούεδρο συνδέεται επίσης μυστηριωδώς με ένα άλλο εντελώς άσχετο θέμα:το origami, την τέχνη της αναδίπλωσης του χαρτιού. Σε μια απόδειξη που δημοσιεύτηκε τον Οκτώβριο του 2024, έδειξε ότι τα μοτίβα που προκύπτουν στο origami μπορούν να μεταφραστούν σε ένα σύνολο σημείων που μαζί σχηματίζουν το πλάτος. Κατά κάποιο τρόπο, ο τρόπος με τον οποίο διπλώνει το χαρτί και ο τρόπος που τα σωματίδια συγκρούονται παράγουν το ίδιο γεωμετρικό σχήμα.

«Ο Πασάς έχει κάνει εξαιρετική δουλειά που σχετίζεται με το αμπλίτουεδρο στο παρελθόν», είπε ο Nima Arkani-Hamed, φυσικός στο Ινστιτούτο Προηγμένων Μελετών που εισήγαγε το αμπλιτούεδρο το 2013 με τον μεταπτυχιακό φοιτητή του τότε, Jaroslav Trnka. "Αλλά αυτό είναι κάτι επόμενου επιπέδου για μένα."

Βασιζόμενος σε αυτόν τον νέο σύνδεσμο με το origami, ο Galashin μπόρεσε επίσης να επιλύσει μια ανοιχτή εικασία για το αμπλιτούεδρο, μια εικασία που οι φυσικοί είχαν από καιρό υποθέσει ότι ήταν αληθινή αλλά δεν μπορούσαν να αποδείξουν αυστηρά:ότι το σχήμα μπορεί πραγματικά να κοπεί σε απλούστερα δομικά στοιχεία που αντιστοιχούν στους υπολογισμούς που θέλουν να κάνουν οι φυσικοί. Με άλλα λόγια, τα κομμάτια του πλάτους ταιριάζουν πραγματικά με τον τρόπο που υποτίθεται ότι είναι.

Το αποτέλεσμα δεν χτίζει απλώς μια γέφυρα μεταξύ δύο φαινομενικά διαφορετικών τομέων μελέτης. Ο Γκαλάσιν και άλλοι μαθηματικοί ήδη διερευνούν τι άλλο μπορεί να τους πει αυτή η γέφυρα. Το χρησιμοποιούν για να κατανοήσουν καλύτερα το πλάτος και να απαντήσουν σε άλλες ερωτήσεις σε ένα πολύ ευρύτερο φάσμα ρυθμίσεων.

Εκρηκτικοί Υπολογισμοί

Οι φυσικοί θέλουν να προβλέψουν τι θα συμβεί όταν τα θεμελιώδη σωματίδια αλληλεπιδράσουν. Ας πούμε ότι δύο υποατομικά σωματίδια που ονομάζονται γκλουόνια συγκρούονται. Μπορεί να αναπηδούν το ένα από το άλλο αμετάβλητα, ή να μεταμορφωθούν σε ένα σύνολο τεσσάρων γκλουονίων ή να κάνουν κάτι εντελώς άλλο. Κάθε αποτέλεσμα εμφανίζεται με μια συγκεκριμένη πιθανότητα, η οποία αντιπροσωπεύεται από μια μαθηματική έκφραση που ονομάζεται πλάτος σκέδασης.

Για δεκαετίες, οι φυσικοί υπολόγιζαν τα πλάτη της σκέδασης με έναν από τους δύο τρόπους. Το πρώτο χρησιμοποίησε διαγράμματα Feynman, σχέδια squiggly-line που περιγράφουν πώς τα σωματίδια κινούνται και αλληλεπιδρούν. Κάθε διάγραμμα αντιπροσωπεύει έναν μαθηματικό υπολογισμό. Προσθέτοντας μαζί τους υπολογισμούς που αντιστοιχούν σε διαφορετικά διαγράμματα Feynman, μπορείτε να υπολογίσετε ένα δεδομένο πλάτος σκέδασης. Αλλά καθώς ο αριθμός των σωματιδίων σε μια σύγκρουση αυξάνεται, ο αριθμός των διαγραμμάτων Feynman που χρειάζεστε αυξάνεται εκρηκτικά. Τα πράγματα ξεφεύγουν γρήγορα από τον έλεγχο:Ο υπολογισμός του πλάτους σκέδασης σχετικά απλών γεγονότων μπορεί να απαιτεί την προσθήκη χιλιάδων ή και εκατομμυρίων όρων.

Η δεύτερη μέθοδος, που εισήχθη στις αρχές της δεκαετίας του 2000, ονομάζεται αναδρομή Britto-Cachazo-Feng-Witten (BCFW). Διασπά τις σύνθετες αλληλεπιδράσεις σωματιδίων σε μικρότερες, απλούστερες αλληλεπιδράσεις που είναι πιο εύκολο να μελετηθούν. Μπορείτε να υπολογίσετε πλάτη για αυτές τις απλούστερες αλληλεπιδράσεις και να τις παρακολουθείτε χρησιμοποιώντας συλλογές κορυφών και ακμών που ονομάζονται γραφήματα. Αυτά τα γραφήματα σάς λένε πώς να συνδυάσετε τις απλούστερες αλληλεπιδράσεις μεταξύ τους για να υπολογίσετε το εύρος σκέδασης της αρχικής σύγκρουσης.

Η αναδρομή BCFW απαιτεί λιγότερη εργασία από τα διαγράμματα Feynman. Αντί να προσθέσετε εκατομμύρια όρους, ίσως χρειαστεί να προσθέσετε μόνο εκατοντάδες. Αλλά και οι δύο μέθοδοι έχουν το ίδιο πρόβλημα:Η τελική απάντηση είναι συχνά πολύ πιο απλή από τους εκτενείς υπολογισμούς που χρειάζονται για να φτάσετε εκεί, με πολλούς όρους να ακυρώνονται στο τέλος.

Στη συνέχεια, το 2013, οι Arkani-Hamed και Trnka έκαναν μια εκπληκτική ανακάλυψη:ότι τα περίπλοκα μαθηματικά των συγκρούσεων σωματιδίων είναι στην πραγματικότητα μεταμφιεσμένη γεωμετρία.

Αποθηκεύτηκε από το Geometry

Στις αρχές της δεκαετίας του 2000, ο Alexander Postnikov, μαθηματικός στο Ινστιτούτο Τεχνολογίας της Μασαχουσέτης, μελετούσε ένα γεωμετρικό αντικείμενο γνωστό ως θετικό Grassmannian.

Το θετικό Grassmannian, το οποίο αποτελεί αντικείμενο μαθηματικού ενδιαφέροντος από τη δεκαετία του 1930, είναι χτισμένο με έναν άκρως αφηρημένο τρόπο. Πρώτα, πάρτε ένα n -διαστατικό χώρο και θεωρήστε όλα τα επίπεδα κάποιας δεδομένης, μικρότερης διάστασης που ζουν μέσα σε αυτόν. Για παράδειγμα, μέσα στον τρισδιάστατο χώρο που κατοικούμε, μπορείτε να βρείτε άπειρα επίπεδα δισδιάστατα επίπεδα που απλώνονται προς κάθε κατεύθυνση.

Κάθε επίπεδο — ουσιαστικά ένα κομμάτι από το μεγαλύτερο n -διάστατος χώρος — μπορεί να οριστεί από έναν πίνακα αριθμών που ονομάζεται μήτρα. Μπορείτε να υπολογίσετε ορισμένες τιμές από αυτόν τον πίνακα, που ονομάζεται δευτερεύουσες, που σας ενημερώνουν για τις ιδιότητες του επιπέδου.

Τώρα σκεφτείτε μόνο εκείνα τα αεροπλάνα στον χώρο σας των οποίων τα ανήλικα είναι όλα θετικά. Η συλλογή όλων αυτών των ειδικών «θετικών» επιπέδων σας δίνει έναν περίπλοκο γεωμετρικό χώρο — το θετικό Grassmannian.

Για να κατανοήσουν την πλούσια εσωτερική δομή του θετικού Grassmannian, οι μαθηματικοί το χωρίζουν σε διαφορετικές περιοχές, έτσι ώστε κάθε περιοχή να αποτελείται από μια ποικιλία επιπέδων που μοιράζονται ορισμένα μοτίβα. Ο Postnikov, ελπίζοντας να κάνει αυτό το έργο πιο εύκολο, βρήκε έναν τρόπο να παρακολουθεί τις διάφορες περιοχές και πώς ταιριάζουν μεταξύ τους. Εφηύρε αυτό που ονόμασε πλαμπικούς (συντομογραφία των «επίπεδων δίχρωμων») γραφημάτων — δίκτυα ασπρόμαυρων κορυφών που συνδέονται με ακμές, σχεδιασμένα έτσι ώστε να μην διασταυρώνονται άκρες. Κάθε πλαμπικό γράφημα αποτύπωνε μια περιοχή του θετικού Grassmannian, δίνοντας στους μαθηματικούς μια οπτική γλώσσα για αυτό που διαφορετικά θα καθοριζόταν από πυκνούς αλγεβρικούς τύπους.

Σχεδόν μια δεκαετία αφότου ο Πόσνικοφ παρουσίασε τα πλαϊκά γραφήματα του, ο Αρκάνι-Χαμέντ και ο Τρνκά προσπαθούσαν να υπολογίσουν τα πλάτη σκέδασης διαφόρων συγκρούσεων σωματιδίων. Καθώς αντιμετώπισαν τους τύπους αναδρομής BCFW, παρατήρησαν κάτι παράξενο. Τα γραφήματα που χρησιμοποιούσαν για να παρακολουθούν τους υπολογισμούς τους έμοιαζαν ακριβώς με τα plabic γραφήματα του Postnikov. Περίεργοι, πήγαν στο MIT για να τον συναντήσουν.

"Στο μεσημεριανό γεύμα είπαμε:"Είναι περίεργο, βλέπουμε ακριβώς το ίδιο πράγμα", θυμάται ο Arkani-Hamed.

Είχαν δίκιο. Για να υπολογίσετε το πλάτος σκέδασης για μια σύγκρουση n σωματίδια, οι φυσικοί θα έπρεπε να αθροίσουν πολλούς όρους BCFW — και καθένας από αυτούς τους όρους αντιστοιχούσε σε μια περιοχή του θετικού Grassmannian στο n διαστάσεις.

Οι Arkani-Hamed και Trnka συνειδητοποίησαν ότι αυτή η γεωμετρική σύνδεση θα μπορούσε να διευκολύνει τον υπολογισμό των πλάτη σκέδασης. Χρησιμοποιώντας δεδομένα σχετικά με τη σύγκρουση των σωματιδίων τους - τη ροπή των σωματιδίων, για παράδειγμα - καθόρισαν μια χαμηλότερης διάστασης σκιά του θετικού Grassmannian. Ο συνολικός όγκος αυτής της σκιάς ήταν ίσος με το πλάτος σκέδασης.

Και έτσι γεννήθηκε το πλάτος.

Μια απεικόνιση του πλάτους εδράνου που αντιστοιχεί σε μια σύγκρουση σωματιδίων που περιλαμβάνει οκτώ γκλουόνια.

Nima Arkani-Hamed

Αυτή ήταν μόνο η αρχή της ιστορίας. Φυσικοί και μαθηματικοί ήθελαν να επιβεβαιώσουν, για παράδειγμα, ότι οι ίδιες γραφικές παραστάσεις που καθόρισαν περιοχές του θετικού Grassmannian θα μπορούσαν επίσης να καθορίσουν κομμάτια του πλάτους- και ότι αυτά τα κομμάτια δεν θα είχαν κενά ή επικαλύψεις, ταιριάζουν τέλεια μεταξύ τους για να καλύπτουν τον ακριβή όγκο του σχήματος. Αυτή η ελπίδα έγινε γνωστή ως η εικασία του τριγωνισμού:Θα μπορούσε το πλάτος του πλάτους να είναι καθαρά τριγωνικό ή υποδιαιρεμένο σε απλούστερα δομικά στοιχεία;

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

Αυτό δεν ήταν εύκολο έργο. Για ένα πράγμα, από την αρχή ήταν ξεκάθαρο ότι υπήρχαν πραγματικά δύο αμπλίτουεδρα. Ο πρώτος ορίστηκε σε συντεταγμένες ορμής-στρέψης — μια έξυπνη μαθηματική επανασήμανση που έκανε το σχήμα πιο εύκολο στην εργασία, επειδή σχετιζόταν φυσικά με τα θετικά γραφήματα Grassmannian και Postnikov. Οι μαθηματικοί μπόρεσαν να αποδείξουν την εικασία τριγωνισμού για αυτήν την έκδοση του αμπλιτουέδρου το 2021.

Η άλλη εκδοχή, γνωστή ως το πλάτος της ορμής, ορίστηκε αντ' αυτού απευθείας ως προς τη ροπή των συγκρουόμενων σωματιδίων. Οι φυσικοί ενδιαφέρθηκαν περισσότερο για αυτή τη δεύτερη εκδοχή, επειδή μιλούσε την ίδια γλώσσα με τις πραγματικές συγκρούσεις σωματιδίων και τα πειράματα διασποράς. Αλλά ήταν επίσης πιο δύσκολο να περιγραφεί μαθηματικά. Ως αποτέλεσμα, η εικασία τριγωνισμού παρέμεινε ορθάνοιχτη.

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

Για περισσότερο από μια δεκαετία, η αβεβαιότητα παρέμεινε - έως ότου η μελέτη των πτυχών του χαρτιού άρχισε να προτείνει μια πορεία προς τα εμπρός.

Εύρεση του Μεγαλοπόδαρου

Ο Πάβελ Γκαλάσιν δεν ξεκίνησε να μελετήσει ούτε το οριγκάμι ούτε το αμπλίτουεδρο. Το 2018, ως ένας από τους μεταπτυχιακούς φοιτητές του Postnikov, αυτός και ένας συνάδελφός του είχαν μόλις αποδείξει μια ενδιαφέρουσα σχέση μεταξύ του θετικού Grassmannian και του μοντέλου Ising, το οποίο χρησιμοποιείται για τη μελέτη της συμπεριφοράς συστημάτων όπως οι σιδηρομαγνήτες. Ο Galashin προσπαθούσε τώρα να κατανοήσει μια περίφημη απόδειξη σχετικά με το μοντέλο Ising — ειδικότερα, σχετικά με τις ειδικές συμμετρίες που παρουσίαζε — από την άποψη του θετικού Grassmannian.

Ενώ εργαζόταν πάνω στην απόδειξη - ένα έργο στο οποίο επέστρεφε κατά διαστήματα τα επόμενα χρόνια - ο Galashin συνάντησε μερικά ενδιαφέροντα έγγραφα όπου οι ερευνητές χρησιμοποίησαν άλλα είδη διαγραμμάτων για να κάνουν τη γεωμετρία πιο ελκυστική:μοτίβα πτυχώσεων origami. Αυτά είναι διαγράμματα γραμμών που σας λένε πού να διπλώσετε χαρτί για να φτιάξετε, ας πούμε, έναν γερανό ή έναν βάτραχο.

Αυτό το μοτίβο πτυχής θα δημιουργήσει έναν κύκνο.

Μπορεί να φαίνεται περίεργο το origami να εμφανιστεί εδώ. Αλλά με τα χρόνια, τα μαθηματικά του origami αποδείχτηκαν εκπληκτικά βαθιά. Προβλήματα σχετικά με το origami - όπως το αν ένα δεδομένο μοτίβο πτυχής θα δημιουργήσει ένα σχήμα που μπορείτε να ισιώσετε χωρίς να σκίσετε - είναι υπολογιστικά δύσκολο να λυθούν. Και είναι πλέον γνωστό ότι το origami μπορεί να χρησιμοποιηθεί για την εκτέλεση όλων των ειδών των υπολογισμών.

Το 2023, ενώ διερεύνησε τι έκανε το origami σε εφημερίδες για το μοντέλο Ising, ο Galashin συνάντησε μια ερώτηση που τράβηξε την προσοχή του. Ας υποθέσουμε ότι έχετε πληροφορίες μόνο για το εξωτερικό όριο ενός μοτίβου πτυχής — το περίγραμμα του χαρτιού, το οποίο οι πτυχές χωρίζουν σε διάφορα τμήματα γραμμής. Συγκεκριμένα, ας πούμε ότι έχετε μόνο πληροφορίες σχετικά με τον τρόπο που αυτά τα τμήματα γραμμής βρίσκονται στο διάστημα πριν και μετά την αναδίπλωση. Μπορείτε πάντα να βρείτε ένα πλήρες μοτίβο πτυχής που να ικανοποιεί αυτούς τους περιορισμούς και να παράγει ένα σχήμα origami που μπορεί να ισοπεδώσει σωστά; Οι μαθηματικοί είχαν υποθέσει ότι η απάντηση ήταν ναι, αλλά κανείς δεν μπορούσε να το αποδείξει.

Ο Galashin βρήκε την εικασία εντυπωσιακή, επειδή στον συνήθη τομέα της έρευνάς του, που ασχολείται με το θετικό Grassmannian, η εξέταση των ορίων ενός αντικειμένου είναι ένας συνηθισμένος τρόπος για να αποκτήσετε πληροφορίες σχετικά με αυτό.