Μοντέλο της OpenAI βρίσκει τον ακριβή ρυθμό απόσβεσης Cohn-Elkies

TL;DR. Εσωτερικό μοντέλο της OpenAI προσδιορίζει τον ακριβή ρυθμό απόσβεσης του προγράμματος Cohn-Elkies και βελτιώνει τον εκθέτη στοίβαξης σφαιρών μετά το 1978.

Βασικά συμπεράσματα

Τι είναι η συλλογή και γιατί ξεχωρίζει ένα αποτέλεσμα. Το έγγραφο ξεκινά μετριοπαθώς.
Το πρόγραμμα Cohn-Elkies και τι φράσσει. Η στοίβαξη σφαιρών ρωτά πόσο πυκνά μπορούν να γεμίσουν τον χώρο μπάλες που δεν επικαλύπτονται.
Τι είχε ήδη πετύχει η μέθοδος. Πριν περάσουμε στο νέο θεώρημα, αξίζει να είμαστε συγκεκριμένοι για το τι είχε ήδη αποδώσει η μέθοδος γραμμικού προγραμματισμού που βασίζεται στην ανάλυση Fourier, επειδή το νέο αποτέλεσμα είναι εν μέρει μια δήλωση…
Το κύριο θεώρημα. Το κύριο θεώρημα του εγγράφου αποδεικνύει τον εκθετικό ρυθμό που διατυπώθηκε ως εικασία στις Εικασίες 3.1 και 3.2 εκείνης της εργασίας του 2020.

Μια συλλογή μαθηματικών αποτελεσμάτων από ένα εσωτερικό μοντέλο της OpenAI κρίνει την ασυμπτωτική ισχύ του γραμμικού προγράμματος Cohn-Elkies για τη στοίβαξη σφαιρών. Δίνει την πρώτη βελτίωση του γενικού εκθέτη στοίβαξης σφαιρών από το 1978, μαζί με ένα κάτω φράγμα που ταιριάζει ακριβώς.

Τι είναι η συλλογή και γιατί ξεχωρίζει ένα αποτέλεσμα #

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

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

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

Το πρόγραμμα Cohn-Elkies και τι φράσσει #

Η στοίβαξη σφαιρών ρωτά πόσο πυκνά μπορούν να γεμίσουν τον χώρο μπάλες που δεν επικαλύπτονται. Το έγγραφο ορίζει τον συμβολισμό γι’ αυτό. Για κέντρα που απέχουν μεταξύ τους τουλάχιστον 1, το ∆d είναι το supremum των άνω πυκνοτήτων των μπαλών ακτίνας 1/2 στον Rd. Με άλλα λόγια, το ∆d δηλώνει τη μέγιστη πυκνότητα στοίβαξης σφαιρών στον Rd. Όλα στο πρώτο κεφάλαιο της συλλογής μετρώνται σε σχέση με αυτή την ποσότητα.

Το πρόγραμμα Cohn-Elkies δίνει ένα άνω φράγμα για το ∆d. Η βέλτιστη έξοδός του συμβολίζεται LPd και ορίζεται ως το βέλτιστο φράγμα πυκνότητας που παρέχει το πρόγραμμα. Ο μηχανισμός είναι το φράγμα Gorbachev–Cohn-Elkies, που αντιστοιχίζει σε κάθε f μιας κλάσης που ονομάζεται Ad το άνω φράγμα πυκνότητας vd f(0)/(2d f̂(0)). Με λόγια: διαλέγεις μια βοηθητική συνάρτηση f από την αποδεκτή κλάση, υπολογίζεις την τιμή της στην αρχή των αξόνων και την τιμή του μετασχηματισμού Fourier της στην αρχή των αξόνων, σχηματίζεις τον λόγο με τους παράγοντες όγκου και κλίμακας, και το αποτέλεσμα φράσσει από πάνω την πυκνότητα στοίβαξης. Το γραμμικό πρόγραμμα αναζητά την f που κάνει αυτό το φράγμα όσο το δυνατόν μικρότερο.

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

Τι είχε ήδη πετύχει η μέθοδος #

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

Η Viazovska χρησιμοποίησε αυτή τη μέθοδο για να αποδείξει ότι το πλέγμα E8 δίνει τη βέλτιστη στοίβαξη στη διάσταση οκτώ. Οι Cohn, Kumar, Miller, Radchenko και Viazovska απέδειξαν στη συνέχεια τη βελτιστότητα του πλέγματος Leech στη διάσταση είκοσι τέσσερα. Πρόκειται για ακριβή αποτελέσματα σε μεμονωμένες διαστάσεις, και είναι ο λόγος που η μέθοδος έχει φήμη πέρα από τον ρόλο της ως εργαλείο φραγμάτων. Σε δύο συγκεκριμένες διαστάσεις, πετυχαίνει την αληθινή απάντηση.

Η εικόνα στις υψηλές διαστάσεις ήταν πιο θολή. Οι Cohn και Zhao απέδειξαν ότι το γραμμικό πρόγραμμα είναι πάντα τουλάχιστον τόσο ισχυρό όσο το φράγμα Kabatianskii–Levenshtein για σφαιρικούς κώδικες. Αυτή είναι μια χρήσιμη εγγύηση, επειδή το φράγμα Kabatianskii–Levenshtein ήταν ο καλύτερος γνωστός γενικός εκθέτης. Όμως το «τουλάχιστον τόσο ισχυρό» αφήνει ανοιχτές δύο δυνατότητες: το πρόγραμμα μπορεί να ισούται ακριβώς με αυτόν τον εκθέτη ή να τον ξεπερνά. Το έγγραφο δηλώνει ευθέως τη συνέπεια. Το αν το γραμμικό πρόγραμμα βελτιώνει τον κλασικό εκθέτη στοίβαξης σφαιρών σε υψηλές διαστάσεις είχε παραμείνει ανοιχτό ερώτημα.

Οι Afkhami-Jeddi, Cohn, Hartman, de Laat και Tajdini διατύπωσαν εικασία για τον ρυθμό του γραμμικού προγράμματος σε υψηλές διαστάσεις. Αυτή η εικασία είναι ένα αντικείμενο με επιφυλάξεις, και η πηγή την αντιμετωπίζει ως τέτοιο. Ήταν μια εικασία, στηριγμένη σε όποια στοιχεία είχαν οι συγγραφείς, και κανείς δεν την είχε αποδείξει. Το νέο αποτέλεσμα αλλάζει το καθεστώς της.

Το κύριο θεώρημα #

Το κύριο θεώρημα του εγγράφου αποδεικνύει τον εκθετικό ρυθμό που διατυπώθηκε ως εικασία στις Εικασίες 3.1 και 3.2 εκείνης της εργασίας του 2020. Διατυπωμένο στο επίπεδο που στηρίζουν οι ισχυρισμοί: οι συγγραφείς προσδιορίζουν τον ακριβή εκθετικό ρυθμό απόσβεσης του γραμμικού προγράμματος Cohn-Elkies για τη στοίβαξη σφαιρών. Η ασυμπτωτική ισχύς του προγράμματος είναι, με τα λόγια της πηγής, ακριβώς προσδιορισμένη.

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

Η πηγή τοποθετεί επίσης το επίτευγμα απέναντι στην ιστορία. Περιγράφει το αποτέλεσμα ως την πρώτη βελτίωση από το 1978 του γενικού εκθέτη στοίβαξης σφαιρών. Ο κλασικός εκθέτης Kabatianskii–Levenshtein ήταν 0,59905576..., και αυτή η τιμή ήταν το σημείο αναφοράς. Το έγγραφο καταγράφει ότι οι μεταγενέστερες βελτιώσεις των σφαιρικών κωδίκων είχαν βελτιώσει μόνο παράγοντες χαμηλότερης τάξης. Με άλλα λόγια, για τον ίδιο τον εκθέτη, που είναι η ποσότητα κύριας τάξης, τίποτα δεν είχε κουνηθεί.

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

Διάσταση / μέθοδος	Κλασική αφετηρία (1978)	Γραμμικό πρόγραμμα Cohn-Elkies	Νέα απόδειξη του μοντέλου
Εκθέτης στοίβαξης σφαιρών	Φράγμα Kabatianskii–Levenshtein: 0,59905576...	Τουλάχιστον τόσο ισχυρό όσο τα φράγματα σφαιρικών κωδίκων (Cohn–Zhao)	Αποδεδειγμένος ακριβής ασυμπτωτικός ρυθμός, κατά την εικασία των Afkhami-Jeddi et al. (2020)
Οριστικότητα του φράγματος	Μόνο βελτιώσεις παραγόντων χαμηλότερης τάξης	Ανοιχτό ερώτημα για το ασυμπτωτικό κενό σε υψηλές διαστάσεις	Ακριβώς ταιριαστό κάτω φράγμα: καμία βοηθητική συνάρτηση δεν ξεπερνά αυτόν τον ρυθμό
Αβεβαιότητα προσήμου Fourier	Χωριστά φράγματα προσήμου ($A^+(d) < A^-(d)$)	Συνδεδεμένη με αντι-αυτο-Fourier συναρτήσεις ελέγχου	Λυμένη ασυμπτωτικά· την αβεβαιότητα προσήμου τη διέπει η ανάκλαση Mellin
Κώδικες διόρθωσης σφαλμάτων	Κλασικά φράγματα σφαιρικών και δυαδικών κωδίκων	Ασυμπτωτικά συζευγμένοι με τα φράγματα στοίβαξης	Βελτιώσεις κατά εκθετικούς παράγοντες για όλες τις παραμέτρους σταθερής απόστασης
Μεθοδολογικό ταβάνι	Αριθμητική βελτιστοποίηση πολυωνυμικών παραγόντων	Ανοιχτή βελτιστοποίηση συναρτήσεων ελέγχου $f \in \mathcal{A}_d$	Αποδεδειγμένο μαθηματικό ταβάνι: περαιτέρω κέρδη απαιτούν μεθόδους εκτός Cohn-Elkies

Γιατί το ταιριαστό κάτω φράγμα αλλάζει το ερώτημα #

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

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

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

Υπάρχει και μια ανάγνωση με επιχειρηματική ματιά, για αναγνώστες που νοιάζονται για το πού πηγαίνει η προσπάθεια. Ένα γνωστό, ακριβές ταβάνι μιας μεθόδου είναι χρήσιμη πληροφορία. Σου λέει να σταματήσεις να βελτιστοποιείς μέσα σε αυτή τη μέθοδο. Για όποιον κατανέμει ερευνητικό χρόνο, η μετάβαση από το «αυτό μπορεί να βελτιωθεί» στο «αυτό δεν μπορεί να βελτιωθεί» αξίζει όσο ένα μετριοπαθές θετικό αποτέλεσμα.

Σφαιρικοί κώδικες και δυαδικοί κώδικες #

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

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

Αξίζει να θυμηθούμε γιατί αυτή η σύνδεση έχει σημασία με βάση την παραπάνω ιστορία. Το φράγμα Kabatianskii–Levenshtein για σφαιρικούς κώδικες ήταν το σημείο σύγκρισης για το γραμμικό πρόγραμμα, και το θεώρημα των Cohn και Zhao έλεγε ότι το πρόγραμμα είναι πάντα τουλάχιστον τόσο ισχυρό. Τα νέα αποτελέσματα βελτιώνουν τόσο τα φράγματα κωδίκων όσο και τα φράγματα στοίβαξης, και το κάνουν με μια κατασκευή που επιστρέφει στον εκθέτη στοίβαξης. Οι δύο πλευρές μετακινούνται μαζί.

Το πρόβλημα αβεβαιότητας προσήμου #

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

Για μια συνάρτηση g, το r(g) ορίζεται ως το infimum των R ≥ 0 τέτοιων ώστε g(x) ≥ 0 για |x| ≥ R. Με απλά λόγια, το r(g) είναι η ακτίνα πέρα από την οποία η g είναι παντού μη αρνητική. Όταν δεν υπάρχει τέτοια ακτίνα, r(g) = ∞. Το πρόβλημα αβεβαιότητας αφορά το πόσο μικρή μπορεί να γίνει αυτή η ακτίνα για συναρτήσεις με προκαθορισμένη σχέση με τους δικούς τους μετασχηματισμούς Fourier.

Η σχέση αυτή είναι ένα πρόσημο. Η συνθήκη ĝ = ςg δένει μια συνάρτηση με τον μετασχηματισμό Fourier της μέχρι πρόσημο. Τα πρόσημα +1 και −1 δίνουν, αντίστοιχα, το αρχικό και το συμπληρωματικό πρόβλημα αβεβαιότητας. Οι Cohn και Gonçalves εισήγαγαν το αντι-αυτο-Fourier αντίστοιχο, δηλαδή το συμπληρωματικό πρόβλημα, και το συνέδεσαν με τη στοίβαξη σφαιρών. Αυτή η σύνδεση είναι η γέφυρα μέσω της οποίας το αποτέλεσμα στοίβαξης σφαιρών λύνει ασυμπτωτικά το πρόβλημα αβεβαιότητας.

Το συμπληρωματικό πρόβλημα δεν είναι περιέργεια της καθαρής ανάλυσης. Στο modular bootstrap χωρίς σπιν, η modular S-αντισυμμετρία παράγει αντι-αυτο-Fourier συναρτήσεις ελέγχου των οποίων το τελικό πρόσημο ελέγχει το φασματικό κενό. Η πηγή παραπέμπει εδώ στους Hartman, Mazáč και Rastelli και στην εργασία των Afkhami-Jeddi et al. Έτσι, ένα ερώτημα που ξεκίνησε ως δήλωση για συναρτήσεις και τους μετασχηματισμούς τους εμφανίζεται και σε ένα πλαίσιο με όνομα που ακούγεται φυσικό, το φασματικό κενό. Οι ισχυρισμοί δεν πηγαίνουν πέρα από τον μηχανισμό της μίας γραμμής, ούτε θα πάω εγώ, αλλά θυμίζει ότι το πρόβλημα αβεβαιότητας έχει συντροφιά έξω από τη στοίβαξη σφαιρών.

Το Παράρτημα Α προσθέτει μια σύγκριση των δύο προβλημάτων. Παρατηρεί ότι A+(d) < A−(d) για κάθε d. Αυτή είναι μια δήλωση ότι τα δύο προβλήματα διαφέρουν σε κάθε διάσταση, με την πρώτη ποσότητα αυστηρά μικρότερη από τη δεύτερη. Οι ισχυρισμοί δεν δίνουν περαιτέρω ερμηνεία, και η ανισότητα αξίζει να σημειωθεί απλώς επειδή ισχύει για κάθε d χωρίς εξαιρέσεις.

Μέσα στο επιχείρημα: μέση τιμή, μηδενισμός και μια εκτίμηση μάζας #

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

Ας ξεκινήσουμε από τη συμμετρία. Η μέση τιμή ως προς τις περιστροφές ορίζεται με το κανονικοποιημένο μέτρο Haar στο O(d). Η μέση τιμή μιας συνάρτησης ως προς τις περιστροφές δίνει μια ακτινική συνάρτηση, και το νόημα είναι ότι αυτό απλοποιεί το πρόβλημα χωρίς να παραβιάζει τους περιορισμούς. Η πηγή λέει ότι η μέση τιμή ως προς τις περιστροφές διατηρεί κάθε συνθήκη προσήμου στον κατάλογο περιορισμών του προβλήματος, με την ένδειξη (2). Προσθέτει ότι αν ĝ = ςg, τότε r(Rg) ≤ r(g), όπου Rg είναι η μέση τιμή της g ως προς τις περιστροφές. Άρα η μέση τιμή δεν χειροτερεύει ποτέ την ακτίνα προσήμου. Επίσης, κατά τη διατύπωση της πηγής, Rg ≠ 0 όποτε η g ≠ 0 είναι τελικά μη αρνητική, οπότε η μέση τιμή δεν εκμηδενίζει μια συνάρτηση που έχει τη σωστή συμπεριφορά προσήμου σε μεγάλη απόσταση.

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

Έπειτα, η αρχή των αξόνων. Η συνάρτηση g = h − ĥ μηδενίζεται στην αρχή των αξόνων. Είναι το είδος του μικρού γεγονότος που κάνει μεγάλη δουλειά σε μια απόδειξη, επειδή το φράγμα Cohn-Elkies εμπλέκει άμεσα τιμές στην αρχή των αξόνων, και μια συνάρτηση που μηδενίζεται εκεί συμπεριφέρεται διαφορετικά από μια που δεν μηδενίζεται. Καταγράφεται επίσης ένα συγγενές βήμα διόρθωσης: η διορθωμένη συνάρτηση gn ικανοποιεί gn(0) = 0 και gn → g στον L1. Μια ακολουθία διορθωμένων συναρτήσεων, καθεμιά από τις οποίες μηδενίζεται στην αρχή των αξόνων, συγκλίνει λοιπόν στην g με την έννοια του L1. Αυτό επιτρέπει στο επιχείρημα να δουλεύει με συναρτήσεις που ικανοποιούν ακριβώς τη συνθήκη στην αρχή των αξόνων, προσεγγίζοντας ταυτόχρονα τον στόχο.

Ακολουθεί ένας ποσοτικός περιορισμός. Η εκτίμηση μάζας επιβάλλει 1/a ≥ (1/π − o(1))√d. Οι ισχυρισμοί δεν ορίζουν το a, οπότε δεν μπορώ να πω τι μετρά, και δεν θα μαντέψω. Αυτό που μπορεί να ειπωθεί είναι η μορφή του συμπεράσματος: ένα κάτω φράγμα για το 1/a που αυξάνεται όπως η τετραγωνική ρίζα της διάστασης, με σταθερά 1/π και μια διόρθωση που μηδενίζεται. Μια κλίμακα τετραγωνικής ρίζας της διάστασης μοιάζει φυσικό μέγεθος για τη γεωμετρία υψηλών διαστάσεων, αλλά αυτή είναι δική μου παρατήρηση για τη μορφή της έκφρασης, και οι ισχυρισμοί δεν τη διατυπώνουν ως μηχανισμό.

Η εικόνα Mellin #

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

Το ίδιο απόσπασμα καταγράφει μια αναλυτική συνθήκη από την άλλη πλευρά. Η απόσβεση Schwartz της g δίνει ταχεία απόσβεση της Φg καθώς v → +∞. Εδώ η Φg είναι το αντικείμενο που προκύπτει από την ανάλυση Mellin, και το v είναι η μεταβλητή της. Ο συνδυασμός είναι διδακτικός: η ιδιότητα της ανάκλασης χειρίζεται τη δομή και η απόσβεση Schwartz χειρίζεται τον έλεγχο στο άπειρο. Μια απόδειξη αυτού του ύφους χρειάζεται και τα δύο, επειδή η δομή χωρίς απόσβεση αφήνει ολοκληρώματα που μπορεί να μη συγκλίνουν, και η απόσβεση χωρίς δομή δεν αφήνει τίποτα για υπολογισμό.

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

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

Η υπόλοιπη συλλογή #

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

Στη θεωρία ομάδων κατασκευάζεται μια ρητή μη σοφική ομάδα, απαντώντας στο παλιό ερώτημα αν κάθε αριθμήσιμη ομάδα είναι σοφική. Η απόδειξη συνδυάζει εργασίες των Kun και Kun–Thom με ένα συνδυαστικό επιχείρημα ταιριάσματος σε expanders, που υλοποιείται με τη δυαδική άλγεβρα Leavitt και την ομάδα V του Thompson. Η λέξη «ρητή» έχει βάρος εδώ: το αποτέλεσμα είναι κατασκευή και όχι επιχείρημα ύπαρξης.

Στις άλγεβρες τελεστών κατασκευάζονται άπειρες, ανά δύο μη ισόμορφες ομάδες με την ιδιότητα (T) που έχουν την ίδια άλγεβρα von Neumann ομάδας. Αυτό διαψεύδει την εικασία του Connes και απαντά σε ένα συγγενές ερώτημα του Popa για απεικονίσεις πεπερασμένο-προς-ένα. Δύο γνωστά ερωτήματα πέφτουν με μία κατασκευή.

Στην αριθμητική πολυπλοκότητα, το έγγραφο δίνει κάτω φράγματα για τη μόνιμη (permanent). Τα κυκλώματα χωρίς διαίρεση απαιτούν Ω(n² log log n) πύλες, ενώ οι τύποι απαιτούν Ω(n⁴ / log n) φύλλα. Πρόκειται για δύο φράγματα για δύο υπολογιστικά μοντέλα, και το έγγραφο τα δηλώνει δίπλα δίπλα.

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

Στη δυσκολία προσέγγισης, μια άμεση αναγωγή από το 3SAT δίνει δυσκολία με παράγοντα n^(1/400) για το ευκλείδειο πρόβλημα του πλησιέστερου διανύσματος, με συγγενείς συνέπειες για τη δυαδική αποκωδικοποίηση και άλλες νόρμες πλεγμάτων. Ο εκθέτης 1/400 είναι μικρός, και προτιμώ να τον αναφέρω όπως είναι γραμμένος παρά να τον ωραιοποιήσω. Οι ισχυρισμοί αποκαλούν την αναγωγή άμεση και συνδέουν με αυτήν συνέπειες για τη δυαδική αποκωδικοποίηση και άλλες νόρμες.

Στην κυρτή γεωμετρία αποδεικνύεται σε κάθε διάσταση το αιχμηρό άνω φράγμα όγκου (n + 1)^n / n! για κυρτά σώματα των οποίων το βαρύκεντρο είναι το μόνο εσωτερικό τους σημείο πλέγματος. Και η αιχμηρότητα και η γενικότητα σε όλες τις διαστάσεις αποτελούν μέρος του ισχυρισμού.

Στη θεωρία Ramsey, ένα νέο υπερεκθετικό κάτω φράγμα δείχνει ότι το Rk(3) αυξάνεται όπως k^Θ(k). Και στην ακραία θεωρία γραφημάτων, χωριστές κατασκευές διμερών γραφημάτων διαψεύδουν δύο εικασίες: την εικασία συμπάγειας των Erdős και Simonovits και μια εικασία εκφυλισμού του Erdős.

Ανάγνωση της συλλογής ως συνόλου #

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

Αυτό που μπορεί να ειπωθεί είναι ότι το έγγραφο αναφέρει αποτελέσματα σε τουλάχιστον οκτώ περιοχές, ότι αρκετά περιγράφονται ως απαντήσεις σε γνωστές εικασίες ή διαψεύσεις τους, και ότι το κεφάλαιο της στοίβαξης σφαιρών συνοδεύεται από ένα ταιριαστό κάτω φράγμα που καθιστά το αποτέλεσμά του οριστικό μέσα στη μέθοδο. Οι εικασίες αυτές φέρουν τα ονόματα των Connes, Popa, Erdős και Simonovits, και ο ρυθμός στοίβαξης σφαιρών είχε διατυπωθεί ως εικασία από τους Afkhami-Jeddi, Cohn, Hartman, de Laat και Tajdini. Αποτελέσματα που κρίνουν γνωστά ερωτήματα αξιολογούνται εύκολα, επειδή το ερώτημα τέθηκε πριν υπάρξει η απάντηση.

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

Υπάρχει ωστόσο μια θέση που αξίζει να πάρουμε. Τα αποτελέσματα είναι ετερογενή ως προς την τεχνική: η μη σοφική ομάδα χρησιμοποιεί τη δυαδική άλγεβρα Leavitt και την ομάδα V του Thompson, το αποτέλεσμα στοίβαξης σφαιρών χρησιμοποιεί ανάλυση Fourier και μετασχηματισμούς Mellin, και η δυσκολία του πλησιέστερου διανύσματος χρησιμοποιεί αναγωγή από το 3SAT. Μια συλλογή που καλύπτει τόσο τεχνικό έδαφος δεν είναι προϊόν ενός μόνο κόλπου που εφαρμόστηκε επανειλημμένα. Ό,τι κι αν παρήγαγε αυτά τα αποτελέσματα λειτουργούσε σε αρκετές μαθηματικές διαλέκτους, και τουλάχιστον αυτό το στηρίζουν οι ισχυρισμοί.

Τι σημαίνει αυτό ανά τομέα #

Ο ακριβής προσδιορισμός του ρυθμού απόσβεσης Cohn-Elkies σε υψηλές διαστάσεις και τα συνοδευτικά μαθηματικά αποτελέσματα επηρεάζουν αρκετά θεωρητικά και εφαρμοσμένα υπολογιστικά πεδία.

Καθαρά μαθηματικά και διακριτή γεωμετρία #

Για μαθηματικούς που εργάζονται στη γεωμετρία υψηλών διαστάσεων και την αρμονική ανάλυση, ο προσδιορισμός του ακριβούς ρυθμού απόσβεσης Cohn-Elkies αλλάζει το ερευνητικό τοπίο. Επειδή το ταιριαστό κάτω φράγμα αποδεικνύει ότι καμία βοηθητική συνάρτηση στο $\mathcal{A}_d$ δεν μπορεί να ξεπεράσει τον νέο εκθέτη, οι ερευνητές μπορούν να σταματήσουν να αναζητούν καλύτερες ακτινικές συναρτήσεις ελέγχου μέσα στην κλασική μέθοδο γραμμικού προγραμματισμού. Η πρόοδος προς πυκνότερες στοιβάξεις σφαιρών ή στενότερα καθολικά φράγματα πρέπει πλέον να εξερευνήσει τεχνικές μη γραμμικού προγραμματισμού, ημιορισμένες ιεραρχίες υψηλότερης τάξης ή ριζικά διαφορετικές γεωμετρικές κατασκευές.

Κρυπτογραφία και ασφάλεια βασισμένη σε πλέγματα #

Η κρυπτογραφία βασισμένη σε πλέγματα, που αποτελεί τον πυρήνα μετακβαντικών προτύπων όπως τα ML-KEM και ML-DSA, στηρίζεται σε μεγάλο βαθμό στην εικαζόμενη δυσκολία εύρεσης των συντομότερων ή πλησιέστερων διανυσμάτων σε ευκλείδεια πλέγματα υψηλών διαστάσεων. Η άμεση αναγωγή από το 3SAT που εδραιώνει δυσκολία με παράγοντα $n^{1/400}$ για το ευκλείδειο πρόβλημα του πλησιέστερου διανύσματος (CVP), σε συνδυασμό με στενότερα εκθετικά ταβάνια για στοιβάξεις σφαιρών και σφαιρικούς κώδικες, εδραιώνει τα θεωρητικά θεμέλια των αναγωγών πλεγμάτων από τη χειρότερη στη μέση περίπτωση χωρίς να αποδυναμώνει συγκεκριμένες παραμέτρους ασφάλειας.

Αυτόματη απόδειξη θεωρημάτων και θεμελιώδη μοντέλα #

Για ερευνητικές ομάδες που αναπτύσσουν συστήματα συλλογισμού και αυτόματους αποδείκτες θεωρημάτων, το εύρος και το τεχνικό βάθος της συλλογής αποτελούν εντυπωσιακό σημείο αναφοράς. Αντί να παράγει συνθετικές παραλλαγές γνωστών αποδείξεων, το εσωτερικό μοντέλο καταπιάστηκε με ανοιχτά προβλήματα στη θεωρία ομάδων (κατασκευή μιας ρητής μη σοφικής ομάδας μέσω της ομάδας V του Thompson), στις άλγεβρες τελεστών (διάψευση της εικασίας του Connes) και στην αριθμητική πολυπλοκότητα (κάτω φράγματα για τη μόνιμη). Δείχνει ότι οι νευρωνικές αρχιτεκτονικές μπορούν να κινηθούν σε βαθιά ανάλυση Fourier και συνδυαστικό ταίριασμα, εφόσον η επαλήθευση και ο έλεγχος των αποδείξεων παραμένουν αυστηροί.

Συμπέρασμα #

Ο προσδιορισμός του ακριβούς ρυθμού απόσβεσης του γραμμικού προγράμματος Cohn-Elkies για τη στοίβαξη σφαιρών κλείνει ένα σημαντικό κεφάλαιο της γεωμετρικής ανάλυσης. Αποδεικνύοντας την εικασία του 2020 των Afkhami-Jeddi, Cohn, Hartman, de Laat και Tajdini και δίνοντας την πρώτη βελτίωση του γενικού εκθέτη στοίβαξης σφαιρών από το 1978, η εργασία θέτει μια ακλόνητη μαθηματική βάση. Με ένα ταιριαστό κάτω φράγμα που επιβεβαιώνει ότι καμία βοηθητική συνάρτηση Cohn-Elkies δεν μπορεί να αποφέρει περαιτέρω εκθετικά κέρδη, το θεώρημα κρίνει την ασυμπτωτική ισχύ του γραμμικού προγράμματος και ταυτόχρονα κατευθύνει το μέλλον της γεωμετρίας υψηλών διαστάσεων προς ριζικά νέους αναλυτικούς ορίζοντες.

Συχνές ερωτήσεις #

Ποια ήταν η σημασία του φράγματος Kabatianskii–Levenshtein;

Το φράγμα Kabatianskii–Levenshtein, που διατυπώθηκε το 1978, έδωσε έναν ασυμπτωτικό εκθέτη άνω φράγματος 0,59905576... για την πυκνότητα στοίβαξης σφαιρών σε υψηλές διαστάσεις. Για περισσότερες από τέσσερις δεκαετίες, οι μεταγενέστερες βελτιώσεις βελτίωσαν μόνο αλγεβρικούς παράγοντες χαμηλότερης τάξης, αφήνοντας ανέγγιχτο τον κύριο εκθετικό ρυθμό μέχρι αυτό το αποτέλεσμα.

Γιατί είναι τόσο κρίσιμο το ταιριαστό κάτω φράγμα;

Ένα άνω φράγμα από μόνο του δείχνει τι πετυχαίνει το γραμμικό πρόγραμμα, αλλά ένα ταιριαστό κάτω φράγμα αποδεικνύει ότι καμία επιλογή βοηθητικής συνάρτησης f στην αποδεκτή κλάση Cohn-Elkies A(d) δεν μπορεί να δώσει μικρότερο εκθέτη. Αυτό θέτει ένα απόλυτο ταβάνι στην ίδια τη μέθοδο γραμμικού προγραμματισμού.

Πώς σχετίζεται το πρόβλημα αβεβαιότητας προσήμου του Fourier με τη στοίβαξη σφαιρών;

Οι Cohn και Gonçalves έδειξαν ότι το συμπληρωματικό πρόβλημα αβεβαιότητας προσήμου του Fourier (όπου g_hat = -g) είναι στενά συζευγμένο με τα φράγματα στοίβαξης σφαιρών. Μέσω της μέσης τιμής ως προς τις περιστροφές και των ανακλάσεων του μετασχηματισμού Mellin, η ασυμπτωτική λύση του προγράμματος Cohn-Elkies λύνει άμεσα το πρόβλημα αβεβαιότητας προσήμου του Fourier.

Θέτει σε κίνδυνο αυτό το αποτέλεσμα την κρυπτογραφία βασισμένη σε πλέγματα;

Όχι. Αν και το θεώρημα οξύνει τα άνω φράγματα για το πόσο πυκνά μπορούν να στοιβαχτούν σφαίρες σε υψηλές διαστάσεις και εδραιώνει δυσκολία με παράγοντα $n^{1/400}$ για το πρόβλημα του πλησιέστερου διανύσματος, δεν παρέχει αλγορίθμους αναγωγής πλεγμάτων πολυωνυμικού χρόνου. Τα πρακτικά κρυπτοσυστήματα πλεγμάτων παραμένουν ασφαλή απέναντι σε γνωστές κβαντικές και κλασικές επιθέσεις.

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

Nima Afkhami-Jeddi et al., (2020). Στοιβάξεις σφαιρών υψηλών διαστάσεων και το modular bootstrap ⧉. Journal of High Energy Physics.
Henry Cohn και Noam Elkies, (2003). Νέα άνω φράγματα για στοιβάξεις σφαιρών I ⧉. Annals of Mathematics.
Henry Cohn και Felipe Gonçalves, (2019). Μια βέλτιστη αρχή αβεβαιότητας στην ανάλυση Fourier ⧉. PNAS.
Henry Cohn και Yufei Zhao, (2014). Φράγματα στοίβαξης σφαιρών μέσω σφαιρικών κωδίκων ⧉. Duke Mathematical Journal.
G. A. Kabatianskii και V. I. Levenshtein, (1978). Φράγματα για στοιβάξεις σε σφαίρα και στον χώρο ⧉. Problems of Information Transmission.
Maryna S. Viazovska, (2017). Το πρόβλημα στοίβαξης σφαιρών στη διάσταση 8 ⧉. Annals of Mathematics.

Τελευταία αναθεώρηση 2026-10-05.

Τελευταία αναθεώρηση 2026-10-27.

Αναδημοσίευση αυτού του άρθρου

Μοντέλο της OpenAI βρίσκει τον ακριβή ρυθμό απόσβεσης Cohn-Elkies — Sebastien Rousseau

Εσωτερικό μοντέλο της OpenAI προσδιορίζει τον ακριβή ρυθμό απόσβεσης του προγράμματος Cohn-Elkies και βελτιώνει τον εκθέτη στοίβαξης σφαιρών μετά το 1978.

Αυτό το άρθρο διατίθεται με άδεια Creative Commons Attribution 4.0 International. Η αναδημοσίευση απαιτεί αναφορά στην κανονική διεύθυνση URL.

Μοντέλο της OpenAI βρίσκει τον ακριβή ρυθμό απόσβεσης Cohn-Elkies — Sebastien Rousseau

Εσωτερικό μοντέλο της OpenAI προσδιορίζει τον ακριβή ρυθμό απόσβεσης του προγράμματος Cohn-Elkies και βελτιώνει τον εκθέτη στοίβαξης σφαιρών μετά το 1978.

Originally published at https://sebastienrousseau.com/el/2026-10-05-montelo-tis-openai-vriskei-akrivi-rythmo/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER