Mary Tsingou Menzel: Η Ελληνίδα μαθηματικός πίσω από ένα από τα πρώτα πειράματα της Ιστορίας των Υπολογιστών

 

Στις 27 Αυγούστου 2026 έφυγε από τη ζωή, σε ηλικία 97 ετών, η Mary Tsingou Menzel, μια μαθηματικός ελληνικής καταγωγής που συνέδεσε το όνομά της με ένα από τα σημαντικότερα προβλήματα της σύγχρονης μη γραμμικής δυναμικής.

Για πολλές δεκαετίες, όμως, το όνομά της έλειπε από την ίδια την ονομασία του προβλήματος. Ήταν το περίφημο “Fermi–Pasta–Ulam problem”, γνωστό ως “FPU”. Σήμερα όλο και συχνότερα αναφέρεται ως “Fermi–Pasta–Ulam–Tsingou problem” (FPUT), αποκαθιστώντας έτσι μια μαθηματικό που, ενώ στην αρχική δημοσίευση περιορίστηκε σε μια ευχαριστία, είχε στην  πραγματικότητα ουσιαστικό ρόλο στο ιστορικό υπολογιστικό πείραμα.

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

Από τα μαθηματικά στους πρώτους υπολογιστές

Η Mary Tsingou γεννήθηκε το 1928 στο Milwaukee των Ηνωμένων Πολιτειών από Έλληνες γονείς, οι οποίοι μετανάστευσαν στις ΗΠΑ από τη Βουλγαρία. Σπούδασε Μαθηματικά στο University of Wisconsin με αρχικό στόχο να γίνει εκπαιδευτικός. Στις αρχές της δεκαετίας του 1950 άρχισε να εργάζεται στο Los Alamos Scientific Laboratory. Αργότερα παντρεύτηκε τον Joseph Menzel και εξειδικεύτηκε στη FORTRAN, αναπτύσσοντας αλγορίθμους που χρησιμοποιήθηκαν σε προσομοιώσεις των επιπτώσεων των πυρηνικών όπλων, εκρήξεων και ρευστομηχανικής.

Εκείνη την εποχή οι γυναίκες προσλαμβάνονταν ως «ανθρώπινοι υπολογιστές» για να εκτελούν περίπλοκους υπολογισμούς με το χέρι. Πληρώνονταν λιγότερο από τους άνδρες και συνήθως περιορίζονταν στις πιο μονότονες εργασίες. «Ως γυναίκες περίμεναν από εμάς να είμαστε δεύτερης κατηγορίας», είχε πει. «Οι άνδρες έπαιρναν πάντοτε τα πιο ενδιαφέροντα προβλήματα και οι γυναίκες αναλαμβάναμε τις καθημερινές δουλειές, όπως να κρατάμε το μηχάνημα σε λειτουργία».

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

Στο Los Alamos η Tsingou εργάστηκε με τον MANIAC I (Mathematical Analyzer Numerical Integrator and Automatic Computer), έναν από τους πρώτους ηλεκτρονικούς υπολογιστές που χρησιμοποιήθηκαν συστηματικά για επιστημονικούς υπολογισμούς.

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

Η απάντηση αποδείχθηκε πολύ πιο παράξενη από όσο περίμεναν…

Μια σειρά από μάζες και ελατήρια

Ας φανταστούμε μια σειρά από μικρές ίσες μάζες:

●━●━●━●━●━●━●━●

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

Το αποτέλεσμα είναι ένα σύστημα πολλών συζευγμένων ταλαντωτών. Στην απλούστερη περίπτωση τα ελατήρια ακολουθούν τον νόμο του Hooke:
\(F=-kx\), όπου F είναι η δύναμη και x είναι η μετατόπιση από τη θέση ισορροπίας.

Πρόκειται για μια γραμμική σχέση: αν διπλασιάσουμε τη μετατόπιση, διπλασιάζεται και η δύναμη. Οι Fermi, Pasta και Ulam θέλησαν όμως να μελετήσουν κάτι πιο ενδιαφέρον. Τι θα συνέβαινε αν η δύναμη δεν ήταν απολύτως γραμμική;

Πρόσθεσαν λοιπόν έναν μικρό μη γραμμικό όρο. Σε μία από τις εκδοχές του πειράματος η δύναμη είχε ουσιαστικά τη μορφή: \(F=-kx-\alpha x^2\).

Η αλλαγή μπορεί να φαίνεται μικρή, αλλά στην πραγματικότητα έχει μεγάλες συνέπειες.

Τι περίμεναν να συμβεί;

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

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

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

Αυτό περίπου περίμεναν να δουν και με την ενέργεια. Ο MANIAC όμως είχε άλλη γνώμη.

Η έκπληξη στην οθόνη του υπολογιστή

Στην αρχή όλα έμοιαζαν να εξελίσσονται όπως αναμενόταν. Η ενέργεια άρχισε πράγματι να εγκαταλείπει τον αρχικό τρόπο ταλάντωσης και να περνά σε άλλους. Ύστερα όμως συνέβη κάτι απροσδόκητο. Αντί να συνεχίσει να διασκορπίζεται μέχρι να κατανεμηθεί περίπου ομοιόμορφα, άρχισε να επιστρέφει. Έπειτα από κάποιο χρονικό διάστημα, μεγάλο μέρος της ενέργειας είχε συγκεντρωθεί ξανά στον αρχικό τρόπο ταλάντωσης. Το σύστημα φαινόταν να θυμάται από πού είχε ξεκινήσει. Και το φαινόμενο επαναλαμβανόταν.

Αυτή η εντυπωσιακή συμπεριφορά ονομάστηκε αργότερα “FPU recurrence”, ενώ πλέον σήμερα συχνότερα “FPUT recurrence”. Σύγχρονες εργασίες εξακολουθούν να μελετούν ακριβώς αυτή την απροσδόκητη επανεμφάνιση καταστάσεων σε μη γραμμικά συστήματα.

Γιατί ήταν τόσο παράξενο;

Η μεγάλη έκπληξη βρισκόταν σε μια φαινομενικά λογική υπόθεση:

"μη γραμμικότητα ⟶ ανάμειξη των κινήσεων ⟶ κατανομή της ενέργειας".

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

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

Το FPUT έγινε έτσι ένα από τα κλασικά προβλήματα της μη γραμμικής δυναμικής, της στατιστικής μηχανικής και της υπολογιστικής φυσικής. Ακόμη και εβδομήντα χρόνια αργότερα εξακολουθεί να αποτελεί αντικείμενο ερευνητικών εργασιών.

Το διάγραμμα ροής για τον αλγόριθμο της Mary Tsingou. Παρατηρήστε την ημερομηνία της αναφοράς πάνω δεξιά: 20 Μαΐου 1955.

Πού ήταν όμως η Mary Tsingou;

Εδώ βρίσκεται ίσως το πιο ανθρώπινο μέρος της ιστορίας. Το 1955 τα αποτελέσματα παρουσιάστηκαν στην περίφημη αναφορά του Los Alamos: E. Fermi, J. Pasta & S. Ulam, Studies of Nonlinear Problems I, LA-1940. Στην πρώτη σελίδα υπήρχε μια σύντομη αναφορά στη Mary Tsingou, η οποία είχε πραγματοποιήσει τους υπολογισμούς στον MANIAC. Το όνομά της όμως δεν εμφανίστηκε μεταξύ των συγγραφέων.

Έτσι το πρόβλημα πέρασε στην ιστορία ως “Fermi–Pasta–Ulam problem” και για δεκαετίες χιλιάδες επιστημονικές εργασίες αναφέρονταν απλώς στο “FPU problem”. Η Tsingou είχε μείνει, σχεδόν κυριολεκτικά, σε μια υποσημείωση της ιστορίας.

Το 2008 ο Γάλλος φυσικός Thierry Dauxois δημοσίευσε στο Physics Today το άρθρο “Fermi, Pasta, Ulam, and a Mysterious Lady”, αναδεικνύοντας τον ουσιαστικό ρόλο της. Όπως τόνιζε, η Mary Tsingou δεν ήταν απλώς κάποια που πάτησε ένα κουμπί για να «τρέξει» έναν έτοιμο υπολογισμό. Σε μια εποχή όπου ο επιστημονικός προγραμματισμός βρισκόταν ακόμη στα πρώτα του βήματα, ήταν εκείνη που μετέτρεψε το μαθηματικό πρόβλημα σε πρόγραμμα που μπορούσε να εκτελέσει ο MANIAC.

Σταδιακά άρχισε να χρησιμοποιείται όλο και περισσότερο η ονομασία “Fermi–Pasta–Ulam–Tsingou (FPUT) problem”. Σήμερα η ίδια ονομασία εμφανίζεται κανονικά στη σύγχρονη επιστημονική βιβλιογραφία, ακόμη και σε περιοδικά της AmericanPhysical Society.

Όταν ο υπολογιστής γίνεται εργαστήριο μαθηματικών

Οι Fermi, Pasta, Ulam και Tsingou δεν χρησιμοποίησαν τον υπολογιστή απλώς για να κάνουν γρηγορότερα έναν μεγάλο αριθμό πράξεων. Τον χρησιμοποίησαν για να πειραματιστούν. Έθεσαν ένα μαθηματικό μοντέλο, επέλεξαν αρχικές συνθήκες, άφησαν τη μηχανή να εξελίξει αριθμητικά το σύστημα και παρατήρησαν τι συνέβη.

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

Το πείραμα FPUT βρίσκεται στις απαρχές αυτής της νέας σχέσης ανάμεσα στα μαθηματικά και τον υπολογισμό. Για τον λόγο αυτό θεωρείται ορόσημο στην ιστορία της υπολογιστικής και μη γραμμικής επιστήμης.

Ένα από τα πιο γνωστά προβλήματα της μη γραμμικής επιστήμης μάς δίδαξε ότι ένα σύστημα μπορεί, ύστερα από μια μακρά και πολύπλοκη διαδρομή, να επιστρέψει εκεί από όπου ξεκίνησε. Χρειάστηκε να περάσουν περισσότερα από πενήντα χρόνια για να επιστρέψει εκεί όπου ίσως θα έπρεπε να βρίσκεται εξαρχής: δίπλα στα ονόματα των Fermi, Pasta και Ulam. Και έτσι το γράμμα T στο σημερινό “FPUT problem” αποτέλεσε μια μικρή αποκατάσταση της ιστορίας…

Πηγές:

Athens Voice: Πέθανε στα  97 η Μαίρη Τσίγκου Μένζελ, η ξεχασμένη πρωτοπόρος του Λος Άλαμος

Physics Today: Fermi, Pasta, Ulam and a mysterious lady

Wikipedia|Mary Tsingou