← Πείραμα

Επεξηγηματικό κείμενο για το ευρύ κοινό βασισμένο στο P1_RC_GGL: αυστηρός έλεγχος κλεισίματος της δυναμικής γαλαξιών και της ασθενούς βαρυτικής εστίασης (v1.1)

Αρχική έκθεση από τον Guanglin Tu | Βάση έκδοσης: P1 v1.1 | Χαρακτήρας κειμένου: δημόσιος οδηγός / όχι άρθρο με αξιολόγηση από ομότιμους
Σχετικά αρχεία: DOI έκθεσης 10.5281/zenodo.18526334 | DOI πακέτου αναπαραγωγής 10.5281/zenodo.18526286

Σημειώσεις ανάγνωσης

Αυτό είναι επεξηγηματικό κείμενο, όχι άλλη ακαδημαϊκή έκθεση. Βασίζεται στην αρχική έκθεση P1, διατηρεί τα βασικά σχήματα και τους πίνακες και προσθέτει, σε κάθε κρίσιμο βήμα, δημόσιες εξηγήσεις του «τι σημαίνει αυτό».

Το άρθρο εξηγεί μόνο τα συμπεράσματα στα οποία φτάνει το P1 κάτω από τα καθορισμένα σύνολα δεδομένων, το λογιστικό βιβλίο παραμέτρων και το στατιστικό πρωτόκολλο: στον κοινό έλεγχο καμπυλών περιστροφής γαλαξιών (RC) και ασθενούς βαρυτικής εστίασης γαλαξία-γαλαξία (GGL), το μοντέλο μέσης βαρυτικής απόκρισης της EFT προηγείται καθαρά της ελάχιστης βάσης DM_RAZOR που ελέγχεται εδώ.

Το άρθρο δεν διαβάζει το P1 ως συμπέρασμα ότι «η σκοτεινή ύλη έχει ανατραπεί». Το P1 είναι μόνο το πρώτο βήμα στα πειράματα της σειράς P. Ελέγχει ένα παρατηρήσιμο στρώμα μέσα στην EFT —το «μέσο βαρυτικό υπόβαθρο»— και όχι ολόκληρη τη θεωρία EFT.

0 | Κατανόηση του P1 σε πέντε λεπτά: τι ακριβώς ελέγχει αυτή η μελέτη;

Το P1 μπορεί να διαβαστεί ως πείραμα επαλήθευσης ανάμεσα σε διαφορετικούς ανιχνευτές. Δεν ρωτά απλώς αν ένα μοντέλο μπορεί να προσαρμοστεί σε ένα σύνολο δεδομένων· τοποθετεί δύο πολύ διαφορετικές βαρυτικές αναγνώσεις στον ίδιο πάγκο ελέγχου: οι καμπύλες περιστροφής (RC) διαβάζουν τη δυναμική μέσα στους γαλαξιακούς δίσκους, ενώ η ασθενής βαρυτική εστίαση γαλαξία-γαλαξία (GGL) διαβάζει την προβολική βαρυτική απόκριση σε μεγαλύτερες κλίμακες.

Το βασικό μήνυμα του P1

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

Πίνακας 0 | Οι βασικοί αριθμοί του P1 και πώς να τους διαβάσετε

Μετρική

Πώς τη διαβάζει το P1 / P1A

Απλή ανάγνωση

ΔlogL_total κοινής προσαρμογής

Κύρια σύγκριση κειμένου: η EFT βρίσκεται 1155–1337 πάνω από το DM_RAZOR

Συνολικό χάσμα βαθμολογίας στα δύο σύνολα δεδομένων· μεγαλύτερο σημαίνει καλύτερη συνολική εξήγηση.

Ισχύς κλεισίματος ΔlogL_closure

Κύρια σύγκριση κειμένου: η EFT είναι 172–281, ενώ το DM_RAZOR είναι 127

Ικανότητα πρόβλεψης της GGL μετά από συμπερασμό μόνο από την RC· μεγαλύτερο σημαίνει μεγαλύτερη αυτοσυνέπεια ανάμεσα σε ανιχνευτές.

Shuffle αρνητικού ελέγχου

Μετά το ανακάτεμα RC-bin→GGL-bin, το σήμα κλεισίματος της EFT πέφτει στο 6–23

Αν σπάσει η σωστή αντιστοιχία, το πλεονέκτημα πρέπει να εξαφανιστεί· όσο περισσότερο εξαφανίζεται, τόσο περισσότερα ψευδή σήματα αποκλείονται.

Πολυμοντελική δοκιμή πίεσης DM στο P1A

DM 7+1 + DM_STD, με το EFT_BIN να διατηρείται ως συγκριτικό μοντέλο

Το P1A δεν κοιτά μόνο το ελάχιστο DM_RAZOR· βάζει πολλαπλούς χαμηλοδιάστατους, ελέγξιμους κλάδους ενίσχυσης DM στο ίδιο πρωτόκολλο κλεισίματος.


1 | Γιατί χρειάστηκε το P1: πού μπλοκάρει η κοσμολογία σε κλίμακα γαλαξιών

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

Αυτό είναι το κίνητρο του P1. Δεν ξεκινά από το «η σκοτεινή ύλη είναι λάθος» ούτε από το «η EFT πρέπει να είναι σωστή». Θέτει σε δοκιμή έναν ελέγξιμο ισχυρισμό: μπορεί η μέση βαρυτική απόκριση της EFT να αφήσει αναπαραγώγιμο και μεταβιβάσιμο σήμα στο κλείσιμο RC→GGL μεταξύ ανιχνευτών;

Πλαίσιο εξωτερικής βιβλιογραφίας: γιατί το παράθυρο RC+GGL έχει σημασία

Οι McGaugh, Lelli και Schombert (2016) πρότειναν τη σχέση ακτινικής επιτάχυνσης (RAR), δείχνοντας μια στενή σχέση με μικρή διασπορά ανάμεσα στην παρατηρούμενη επιτάχυνση που ιχνηλατείται από τις καμπύλες περιστροφής και την επιτάχυνση που προβλέπεται από τη βαρυονική ύλη. Αυτό καθιστά τη σύζευξη βαρυονίων–βαρυτικής απόκρισης αναπόφευκτο ζήτημα για τη θεωρία σε κλίμακα γαλαξιών.

Οι Brouwer et al. (2021) χρησιμοποίησαν ασθενή εστίαση KiDS-1000 για να επεκτείνουν την RAR σε χαμηλότερες επιταχύνσεις και μεγαλύτερες ακτίνες, συγκρίνοντας MOND, emergent gravity του Verlinde και μοντέλα LambdaCDM. Σημείωσαν επίσης ότι οι διαφορές πρώιμων/όψιμων τύπων γαλαξιών, οι αέριοι άλω και οι συνδέσεις γαλαξία-άλω παραμένουν κρίσιμα ερμηνευτικά ζητήματα.

Οι Mistele et al. (2024) χρησιμοποίησαν περαιτέρω ασθενή εστίαση για να συμπεράνουν καμπύλες κυκλικής ταχύτητας για απομονωμένους γαλαξίες και ανέφεραν ότι δεν υπάρχει σαφής πτώση μέχρι εκατοντάδες kpc και ακόμη περίπου 1 Mpc, σε συμφωνία με την BTFR. Αυτό δείχνει ότι η ασθενής εστίαση γίνεται σημαντική εξωτερική ανάγνωση για τη βαρυτική απόκριση σε κλίμακα γαλαξιών.

Η αξία του P1, επομένως, δεν βρίσκεται στο ότι συζητά για πρώτη φορά μαζί την RC και τη GGL. Βρίσκεται στο ότι τις τοποθετεί μέσα σε ένα ελέγξιμο πρωτόκολλο, χτισμένο από σταθερή αντιστοίχιση, λογιστικό βιβλίο παραμέτρων, κλείσιμο RC-only→GGL, αρνητικούς ελέγχους shuffle και πολυμοντελικές δοκιμές πίεσης DM στο P1A.


2 | Τι σημαίνει EFT στο P1; Δεν είναι αποτελεσματική θεωρία πεδίου

Εδώ, EFT σημαίνει Θεωρία Νήματος Ενέργειας (Energy Filament Theory), όχι την αποτελεσματική θεωρία πεδίου (Effective Field Theory) που είναι οικεία στη φυσική. Στην τεχνική έκθεση P1, η EFT χρησιμοποιείται πολύ συγκρατημένα: δεν μπαίνει ως πλήρης τελική θεωρία, αλλά συμπυκνώνεται πρώτα σε μια παρατηρήσιμη, προσαρμόσιμη και διαψεύσιμη παραμετροποίηση της «μέσης βαρυτικής απόκρισης».

Με απλά λόγια, το P1 δεν επιχειρεί να συζητήσει όλες τις μικροσκοπικές πηγές της επιπλέον βαρύτητας, ούτε να αποδείξει ολόκληρο το πλαίσιο της EFT με ένα βήμα. Θέτει ένα στενότερο και δυσκολότερο ερώτημα: αν υπάρχει κάποιο είδος μέσης επιπλέον βαρυτικής απόκρισης στις κλίμακες γαλαξιών, μπορεί πρώτα να εξηγήσει την RC και έπειτα να μεταφερθεί για να προβλέψει τη GGL;

Ποιο μέρος της EFT ελέγχει το P1;

Το P1 ελέγχει το «μέσο βαρυτικό υπόβαθρο»: μια στατιστικά σταθερή, μεταβιβάσιμη μέση συμβολή.

Το P1 δεν χειρίζεται ακόμη το «στοχαστικό / θορυβικό υπόβαθρο»: τους τυχαίους όρους, τις διαφορές από αντικείμενο σε αντικείμενο ή την επιπλέον διασπορά που μπορεί να προκύψει από πιο μικροσκοπικές διαδικασίες διακύμανσης.

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


3 | Το σχέδιο της σειράς P: γιατί να ξεκινήσει από το «μέσο υπόβαθρο»;

Η σειρά P μπορεί να γίνει κατανοητή ως το παρατηρησιακό πρόγραμμα ανάκτησης της EFT. Δεν βάζει όλους τους ισχυρισμούς στο τραπέζι ταυτόχρονα. Αντίθετα, απομονώνει πρώτα το τμήμα που ελέγχεται πιο εύκολα με δημόσια δεδομένα. Το P1 ξεκινά από τον μέσο όρο: αν η μέση βαρυτική απόκριση δεν μπορεί να κλείσει από την RC προς τη GGL, τότε δεν υπάρχει σταθερή είσοδος για συζήτηση πιο σύνθετων όρων θορύβου ή μικροσκοπικών μηχανισμών.

Πίνακας 1 | Διαστρωματωμένη τοποθέτηση της σειράς P

Στρώμα

Ερώτημα

Θέση στο P1

P1

Μπορεί η μέση βαρυτική απόκριση να κλείσει από την RC στη GGL;

Το κύριο ερώτημα της τρέχουσας έκθεσης

P1A

Αν ενισχυθεί η πλευρά DM, παραμένει σταθερό το συμπέρασμα;

Παράρτημα B: δοκιμή πίεσης DM 7+1 + DM_STD

Μελλοντική εργασία της σειράς P

Μπορεί αυτό να επεκταθεί σε περισσότερα δεδομένα, περισσότερους ανιχνευτές και πιο σύνθετες συστηματικότητες;

Μελλοντική κατεύθυνση

Βαθύτερα ζητήματα

Πώς συνδέονται ο μέσος όρος, ο όρος θορύβου και οι μικροσκοπικοί μηχανισμοί;

Εκτός του εύρους συμπερασμάτων του P1


4 | Ποια είναι τα δεδομένα; Τι μας λένε χωριστά η RC και η GGL;


4.1 Καμπύλες περιστροφής (RC): ένας χάρακας ταχύτητας μέσα στους γαλαξιακούς δίσκους

Οι καμπύλες περιστροφής καταγράφουν πόσο γρήγορα περιφέρονται το αέριο και τα άστρα σε διαφορετικές ακτίνες από το κέντρο ενός γαλαξία. Μεγαλύτερες τροχιακές ταχύτητες υποδηλώνουν ισχυρότερη απαιτούμενη κεντρομόλο δύναμη και, άρα, ισχυρότερη αποτελεσματική βαρυτική απόκριση. Το P1 χρησιμοποιεί τη βάση SPARC· μετά την προεπεξεργασία περιλαμβάνει 104 γαλαξίες, 2.295 σημεία ταχύτητας και 20 RC bins.


4.2 Ασθενής βαρυτική εστίαση (GGL): μια «βαρυτική ζυγαριά» μεγαλύτερης κλίμακας

Η ασθενής βαρυτική εστίαση γαλαξία-γαλαξία μετρά πώς οι γαλαξίες του προσκηνίου κάμπτουν ελαφρά το φως των γαλαξιών του υποβάθρου. Αντιστοιχεί σε μια προβολική βαρυτική απόκριση μεγαλύτερης κλίμακας, κλίμακας άλω, και δεν εξαρτάται από τις λεπτομέρειες της αεριοδυναμικής των γαλαξιακών δίσκων. Το P1 χρησιμοποιεί δημόσια δεδομένα GGL από το KiDS-1000 / Brouwer et al. (2021): τέσσερα bins αστρικής μάζας, 15 ακτινικά σημεία ανά bin, συνολικά 60 σημεία δεδομένων, με πλήρη συνδιακύμανση.


4.3 Σταθερή αντιστοίχιση: γιατί έχει σημασία το 20 RC bins → 4 GGL bins

Το P1 συνδέει 20 RC bins με 4 GGL bins μέσω ενός σταθερού κανόνα: κάθε GGL bin αντιστοιχεί σε πέντε RC bins, με μέσο όρο σταθμισμένο από τον αριθμό γαλαξιών. Αυτή η αντιστοίχιση παραμένει σταθερή για κάθε μοντέλο. Είναι σκληρός περιορισμός για τον έλεγχο κλεισίματος και τη δίκαιη σύγκριση.

Γιατί να μη ρυθμιστεί η αντιστοίχιση εκ των υστέρων;

Αν επιτρεπόταν να επιλέξει κανείς εκ των υστέρων ποια RC bins αντιστοιχούν σε ποια GGL bins, ένα μοντέλο θα μπορούσε να κατασκευάσει κλείσιμο αναδιατάσσοντας την αντιστοιχία. Το P1 κλειδώνει εκ των προτέρων την αντιστοίχιση 20→4 και τη σπάει σκόπιμα με έναν αρνητικό έλεγχο shuffle, ακριβώς για να εξετάσει αν το σήμα κλεισίματος εξαρτάται πραγματικά από μια φυσικά εύλογη αντιστοιχία.


5 | Μοντέλα και μέθοδοι: τι συγκρίνει πραγματικά το P1;


5.1 Πλευρά EFT: χαμηλοδιάστατη μέση βαρυτική απόκριση

Στην πλευρά της EFT, ένας χαμηλοδιάστατος όρος επιπλέον ταχύτητας περιγράφει τη μέση βαρυτική απόκριση. Το σχήμα του επιπλέον όρου ελέγχεται από μια αδιάστατη συνάρτηση πυρήνα f(r/ℓ), όπου το ℓ είναι καθολική κλίμακα, ενώ τα πλάτη ανατίθενται ανά RC bin. Διαφορετικοί πυρήνες κωδικοποιούν διαφορετικές αρχικές κλίσεις, συμπεριφορά μετάβασης και ουρές μεγάλης εμβέλειας, λειτουργώντας ως δοκιμές πίεσης ευρωστίας.

5.2 Πλευρά DM: η κύρια σύγκριση του κειμένου και το παράρτημα P1A πρέπει να διαβάζονται χωριστά

Στην κύρια σύγκριση του κειμένου, το DM_RAZOR είναι μια ελαχιστοποιημένη και ελέγξιμη βάση NFW: σταθεροποιεί τη σχέση c–M και δεν περιλαμβάνει διασπορά από άλω σε άλω, αδιαβατική συστολή, πυρήνα ανάδρασης, μη σφαιρικότητα ή περιβαλλοντικό όρο. Το πλεονέκτημα αυτού του σχεδιασμού είναι οι ελεγχόμενοι βαθμοί ελευθερίας και η εύκολη αναπαραγωγή· ο περιορισμός του είναι ότι δεν εκπροσωπεί κάθε μοντέλο LambdaCDM ή κάθε μοντέλο άλω σκοτεινής ύλης.

Έτσι, το Παράρτημα B (P1A) μετατρέπει την πλευρά DM σε τυποποιημένη δοκιμή πίεσης. Χωρίς να αλλάζει την κοινή αντιστοίχιση ή το πρωτόκολλο κλεισίματος, προσθέτει προοδευτικά χαμηλοδιάστατους κλάδους ενίσχυσης, όπως SCAT, AC, FB, HIER_CMSCAT, CORE1P, lensing m και τη συνδυασμένη βάση DM_STD, ενώ διατηρεί το EFT_BIN ως συγκριτικό μοντέλο. Ένας καλός τρόπος ανάγνωσης του P1A είναι ο εξής: δεν συγκρίνει την EFT μόνο με μία ελάχιστη βάση DM· θέτει μια ομάδα κοινών, ελέγξιμων μηχανισμών DM κάτω από τον ίδιο «χάρακα κλεισίματος».

Η ακριβής διατύπωση συμπεράσματος που χρησιμοποιείται εδώ

Κύριο κείμενο: η οικογένεια EFT υπεραποδίδει σημαντικά έναντι του ελάχιστου DM_RAZOR στην κύρια σύγκριση.

Παράρτημα B / P1A: σε πολλαπλούς χαμηλοδιάστατους, ελέγξιμους κλάδους ενίσχυσης DM και στη δοκιμή πίεσης DM_STD, ορισμένες κοινές προσαρμογές DM βελτιώνονται, αλλά η ισχύς κλεισίματος δεν σβήνει το πλεονέκτημα του EFT_BIN.

Η ασφαλέστερη διατύπωση είναι επομένως η εξής: μέσα στα δεδομένα, την αντιστοίχιση, το λογιστικό βιβλίο παραμέτρων και το πρωτόκολλο κλεισίματος του P1/P1A, η μέση βαρυτική απόκριση της EFT δείχνει ισχυρότερη συνέπεια ανάμεσα στα δεδομένα. Αυτό δεν ισοδυναμεί με αποκλεισμό όλων των μοντέλων σκοτεινής ύλης.


5.3 Έλεγχος κλεισίματος: η σημαντικότερη πειραματική λογική του P1

1. Προσαρμόστε μόνο την RC και αποκτήστε ένα σύνολο δειγμάτων εκ των υστέρων RC-only.

2. Μην επαναρυθμίσετε στο GGL· χρησιμοποιήστε απευθείας το posterior της RC για να προβλέψετε τη GGL.

3. Χρησιμοποιήστε την πλήρη συνδιακύμανση για να υπολογίσετε τη βαθμολογία πρόβλεψης GGL logL_true κάτω από τη σωστή αντιστοίχιση.

4. Αναδιατάξτε τυχαία την αντιστοιχία RC-bin→GGL-bin και υπολογίστε τη βαθμολογία αρνητικού ελέγχου logL_perm.

5. Αφαιρέστε τα δύο για να προκύψει η ισχύς κλεισίματος: ΔlogL_closure = <logL_true> − <logL_perm>.

Απλή αναλογία

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


5.4 Πριν διαβάσετε τους τεχνικούς πίνακες: τέσσερα σημεία εισόδου

Πίνακας 5.4 | Πώς να διαβάσετε το επόμενο σύνολο τεχνικών πινάκων σε οριζόντια σελίδα

Σημείο εισόδου

Τι να κοιτάξετε

Γιατί έχει σημασία

Πίνακας S1a

Συνολική βαθμολογία κοινής προσαρμογής RC+GGL

Απαντά: «στα δύο σύνολα δεδομένων μαζί, ποια συνολική εξήγηση είναι ισχυρότερη;»

Πίνακας S1b

Ισχύς κλεισίματος, shuffle, σαρώσεις ευρωστίας

Απαντά: «μπορεί αυτό που μαθεύτηκε από την RC να μεταφερθεί στη GGL;»

Πίνακας B0

Ορισμοί πολλαπλών κλάδων ενίσχυσης DM στο P1A

Αποτρέπει τη μείωση του P1 στο «συγκρίθηκε μόνο με το ελάχιστο DM_RAZOR».

Πίνακας B1

Κλείσιμο και κοινός πίνακας βαθμολογίας P1A

Ελέγχει αν η ενισχυμένη DM σβήνει το πλεονέκτημα κλεισίματος.

Σημείωση διάταξης

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

Σχήμα 0.1 | Η ροή εργασίας του ελέγχου κλεισίματος του P1 με μια ματιά

Σημείωση: η επάνω αλυσίδα είναι ο «έλεγχος κλεισίματος» (προσαρμογή μόνο σε RC → χρήση του posterior της RC για πρόβλεψη GGL)· η κάτω αλυσίδα είναι η «κοινή προσαρμογή» (βαθμολόγηση RC+GGL μαζί). Η δεξιά πλευρά συγκρίνει την αληθή αντιστοίχιση με ανακατεμένες αντιστοιχίσεις, ώστε να ληφθεί η ισχύς κλεισίματος ΔlogL.


6 | Βασικοί τεχνικοί πίνακες: πίνακες κύριας έκθεσης και πίνακες P1A

Πίνακας S1a | Κύριες μετρικές σύγκρισης κοινής προσαρμογής (RC+GGL, Strict· διατηρημένες από την αρχική έκθεση)

Μοντέλο (workspace)

Πυρήνας W

k

Κοινό logL_total (best)

ΔlogL_total έναντι DM

AICc

BIC

DM_RAZOR

κανένα

20

-16927.763

0.0

33895.885

34010.811

EFT_BIN

κανένα

21

-15590.552

1337.21

31223.501

31344.155

EFT_WEXP

εκθετικός

21

-15668.83

1258.932

31380.057

31500.711

EFT_WYUK

Yukawa

21

-15772.936

1154.827

31588.268

31708.922

EFT_WPOW

ουρά νόμου δύναμης

21

-15633.321

1294.442

31309.038

31429.692

Πίνακας S1b | Μετρικές κλεισίματος και ευρωστίας (Strict· διατηρημένες από την αρχική έκθεση)

Μοντέλο (workspace)

Κλείσιμο ΔlogL (true-perm)

ΔlogL μετά το shuffle αρνητικού ελέγχου

Εύρος ΔlogL στη σάρωση σ_int

Εύρος ΔlogL στη σάρωση R_min

Εύρος ΔlogL στη σάρωση cov-shrink

DM_RAZOR

126.678

22.725

EFT_BIN

231.611

14.984

459–1548

1243–1289

1337–1351

EFT_WEXP

171.977

6.04

408–1471

1169–1207

1259–1277

EFT_WYUK

179.808

14.688

380–1341

1065–1099

1155–1166

EFT_WPOW

280.513

6.672

457–1500

1203–1247

1294–1308

Πίνακας B0 | Ορισμοί κλάδων ενίσχυσης DM στο P1A (διατηρημένοι από το Παράρτημα B της αρχικής έκθεσης)

Workspace

dm_model

Νέες παράμετροι (≤1)

Φυσικό κίνητρο (πυρήνας)

Κανόνας υλοποίησης (φιλικός στον έλεγχο)

DM_RAZOR

NFW (σταθερό c–M, χωρίς scatter)

Ελάχιστη, ελέγξιμη βάση άλω LambdaCDM· χρησιμοποιείται ως αυστηρό συγκριτικό για την EFT

Σταθερή κοινή αντιστοίχιση· αυστηρό λογιστικό βιβλίο παραμέτρων· χρησιμοποιείται ως βάση μόνο για σχετική σύγκριση

DM_RAZOR_SCAT

NFW + διασπορά c–M (legacy)

σ_logc

Η σχέση c–M έχει διασπορά· προσεγγίζεται με λογαριθμοκανονική διασπορά μιας παραμέτρου

≤1 νέα παράμετρος· εξακολουθεί να χρησιμοποιεί την κοινή αντιστοίχιση· το κέρδος κλεισίματος είναι το κριτήριο αποδοχής

DM_RAZOR_AC

NFW + αδιαβατική συστολή (legacy)

α_AC

Η βαρυονική κατάρρευση μπορεί να προκαλέσει αδιαβατική συστολή άλω· προσεγγίζεται με μία παράμετρο ισχύος

≤1 νέα παράμετρος· η αντιστοίχιση δεν αλλάζει· αναφέρει μεταβολές AICc/BIC και κέρδος κλεισίματος

DM_RAZOR_FB

NFW + πυρήνας ανάδρασης (legacy)

log r_core

Η ανάδραση μπορεί να σχηματίσει πυρήνα στην εσωτερική περιοχή· προσεγγίζεται με μία παράμετρο κλίμακας πυρήνα

≤1 νέα παράμετρος· ίδιο πρωτόκολλο κλεισίματος/αρνητικού ελέγχου· η βελτίωση RC-only δεν είναι ο μοναδικός στόχος

DM_HIER_CMSCAT

Ιεραρχική διασπορά c–M + prior

σ_logc (hier)

Πιο τυπικό ιεραρχικό c_i∼logN(c(M_i), σ_logc)· επηρεάζει ταυτόχρονα το κοινό posterior RC και GGL

Ρητό prior· τα λανθάνοντα c_i περιθωριοποιούνται· παραμένει χαμηλοδιάστατο και ελέγξιμο

DM_CORE1P

Proxy πυρήνα 1 παραμέτρου (εμπνευσμένο από coreNFW/DC14)

log r_core

Χρησιμοποιεί proxy πυρήνα μιας παραμέτρου για το κύριο αποτέλεσμα βαρυονικής ανάδρασης, αποφεύγοντας υψηλοδιάστατες λεπτομέρειες σχηματισμού άστρων

Παραπέμπει στη βασική βιβλιογραφία· ≤1 νέα παράμετρος· δεμένο με τον έλεγχο κλεισίματος

DM_RAZOR_M

NFW + παράμετρος ενόχλησης βαθμονόμησης διάτμησης εστίασης

m_shear (GGL)

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

Η παράμετρος ενόχλησης λογίζεται ρητά· δεν επιτρέπεται να ανατροφοδοτηθεί στην RC· τα αποτελέσματα κρίνονται κυρίως από την ευρωστία κλεισίματος

DM_STD

Τυποποιημένη βάση DM (HIER_CMSCAT + CORE1P + m)

σ_logc + log r_core (+ m_shear)

Βάζει τρεις κοινές κατηγορίες ενστάσεων σε μια ακόμη χαμηλοδιάστατη τυποποιημένη βάση

Αναφέρει μαζί το λογιστικό βιβλίο παραμέτρων και τα κριτήρια πληροφορίας· το κλείσιμο είναι η κύρια μετρική· χρησιμοποιείται ως το ισχυρότερο συγκριτικό υπεράσπισης DM

Πίνακας B1 | Πίνακας βαθμολογίας P1A (όσο μεγαλύτερο τόσο καλύτερο· διατηρημένος από το Παράρτημα B της αρχικής έκθεσης)

Κλάδος μοντέλου (workspace)

Δk

RC-only best logL_RC (Δ)

Ισχύς κλεισίματος ΔlogL_closure (Δ)

Joint best logL_total (Δ)

DM_RAZOR

0

-15702.654 (+0.000)

122.205 (+0.000)

-27347.068 (+0.000)

DM_RAZOR_SCAT

1

-15702.294 (+0.361)

121.236 (-0.969)

-23153.311 (+4193.758)

DM_RAZOR_AC

1

-15703.689 (-1.035)

121.531 (-0.674)

-23982.557 (+3364.511)

DM_RAZOR_FB

1

-15496.046 (+206.609)

129.454 (+7.249)

-27478.531 (-131.463)

DM_HIER_CMSCAT

1

-15702.644 (+0.010)

121.978 (-0.227)

-23153.160 (+4193.908)

DM_CORE1P

1

-15723.158 (-20.504)

122.056 (-0.149)

-27336.258 (+10.810)

DM_RAZOR_M

0 (+m)

-15702.654 (+0.000)

122.205 (+0.000)

-27340.451 (+6.617)

DM_STD

2 (+m)

-15832.203 (-129.549)

105.690 (-16.515)

-22984.445 (+4362.623)

EFT_BIN

1

-14631.537 (+1071.117)

204.620 (+82.415)

-19001.142 (+8345.926)

Πώς να διαβάσετε τον Πίνακα B1 (πίνακας βαθμολογίας P1A)

• Δk: πρόσθετοι βαθμοί ελευθερίας (μεγαλύτερο σημαίνει πιο σύνθετο μοντέλο· πιο σύνθετο δεν σημαίνει καλύτερο).

• Εστιάστε σε δύο στήλες: ισχύς κλεισίματος ΔlogL_closure(Δ) (μεγαλύτερο σημαίνει μεγαλύτερη αυτοσυνέπεια μεταφοράς) και Joint best logL_total(Δ) (συνολική βαθμολογία κοινής προσαρμογής).

• Το (Δ) σε παρένθεση είναι η διαφορά σε σχέση με το DM_RAZOR, ώστε η άμεση σύγκριση να είναι εύκολη.

• Το κύριο ερώτημα του πίνακα είναι: αν η βάση DM «ενισχυθεί εύλογα», εξαφανίζεται το πλεονέκτημα κλεισίματος;

• Σημείωση ανάγνωσης: το DM_STD βελτιώνει σημαντικά την κοινή βαθμολογία, αλλά η ισχύς κλεισίματος στην πραγματικότητα μειώνεται· το EFT_BIN εξακολουθεί να διατηρεί υψηλότερη ισχύ κλεισίματος.

Σύνοψη σε μία πρόταση: μέσα σε αυτό το χαμηλοδιάστατο και ελέγξιμο εύρος ενισχύσεων DM, η βελτίωση της κοινής προσαρμογής δεν παράγει αυτόματα ισχυρότερο κλείσιμο· το κλείσιμο (μεταφερσιμότητα) παραμένει το βασικό κριτήριο.


7 | Πώς πρέπει να διαβαστούν τα κύρια αποτελέσματα;

7.1 Κοινή προσαρμογή: στα δύο σύνολα δεδομένων, η κύρια σύγκριση της EFT σκοράρει υψηλότερα

Ο Πίνακας S1a και το Σχήμα S4 δείχνουν ότι, με τα ίδια δεδομένα, την ίδια κοινή αντιστοίχιση και σχεδόν την ίδια κλίμακα παραμέτρων, η οικογένεια EFT έχει κοινό ΔlogL_total 1155–1337 σε σχέση με το DM_RAZOR. Για τον γενικό αναγνώστη, αυτό σημαίνει ότι κάτω από έναν κανόνα βαθμολόγησης που συνδυάζει RC και GGL, τα μοντέλα της κύριας σύγκρισης EFT λαμβάνουν υψηλότερη συνολική βαθμολογία.


7.2 Έλεγχος κλεισίματος: η κύρια έμφαση του P1 είναι η μεταφερσιμότητα

Υψηλή ισχύς κλεισίματος σημαίνει ότι ένα μοντέλο μπορεί να συμπεράνει παραμέτρους μόνο από την RC και, χωρίς να ξαναδεί τη GGL, να προβλέψει καλύτερα τη GGL. Στην έκθεση P1, η EFT έχει ΔlogL_closure = 172–281, ενώ το DM_RAZOR έχει 127. Αυτό έχει μεγαλύτερη σημασία από το να πούμε ότι «κάθε προσαρμογή φαίνεται καλή», επειδή περιορίζει την ελευθερία του μοντέλου στο δεύτερο σύνολο δεδομένων.


7.3 Αρνητικός έλεγχος: γιατί η «κατάρρευση σήματος» είναι καλό πράγμα;

Αφού το P1 ανακατέψει τυχαία την αντιστοίχιση ομάδων RC-bin→GGL-bin, το σήμα κλεισίματος της EFT πέφτει στην περιοχή 6–23. Για τον γενικό αναγνώστη, αυτό είναι ένα βήμα κατά της «εξαπάτησης»: αν το πλεονέκτημα κλεισίματος προερχόταν απλώς από κώδικα, μονάδες, επιλογές συνδιακύμανσης ή τυχαίο ατύχημα προσαρμογής, τότε οι ανακατεμένες αντιστοιχίες θα μπορούσαν να δείχνουν ακόμη πλεονέκτημα. Αντί γι’ αυτό, το πλεονέκτημα καταρρέει, δείχνοντας ότι εξαρτάται από τη σωστή αντιστοίχιση.

Σχήμα S3 | Ισχύς κλεισίματος (όσο μεγαλύτερη τόσο καλύτερη): μέσο πλεονέκτημα λογαριθμικής πιθανοφάνειας για πρόβλεψη RC-only → GGL.

Πώς να διαβάσετε αυτό το σχήμα

Αυτό το σχήμα είναι ο πυρήνας του P1. Όσο ψηλότερη είναι η μπάρα, τόσο καλύτερα μεταφέρεται στη GGL η πληροφορία που έμαθε ένα μοντέλο από την RC.

Η οικογένεια EFT στο σύνολό της βρίσκεται πάνω από το DM_RAZOR, δείχνοντας ισχυρότερο κλείσιμο μεταξύ ανιχνευτών στο πείραμα «μάθε πρώτα RC, έπειτα πρόβλεψε GGL».

Σχήμα S4 | Πλεονέκτημα κοινής προσαρμογής (όσο μεγαλύτερο τόσο καλύτερο): best logL_total του RC+GGL σε σχέση με το DM_RAZOR.

Πώς να διαβάσετε αυτό το σχήμα

Αυτό το σχήμα δείχνει τη συνολική βαθμολογία αφού συνδυαστούν RC και GGL.

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

Σχήμα R1 | Αρνητικός έλεγχος: το σήμα κλεισίματος πέφτει απότομα μετά την ανακατεμένη ομαδοποίηση.

Πώς να διαβάσετε αυτό το σχήμα

Αυτό το σχήμα δείχνει ότι, μόλις ανακατευτεί η σωστή σχέση binning RC↔GGL, το σήμα κλεισίματος πέφτει απότομα.

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


8 | Ευρωστία και έλεγχοι: πώς αποφεύγει το P1 το «απλώς προσαρμόζεται καλύτερα»;

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

Πίνακας 2 | Πώς να διαβάσετε τις δοκιμές ευρωστίας και τους αρνητικούς ελέγχους του P1

Δοκιμή

Ανησυχία που προσπαθεί να αποκλείσει

Πώς να τη διαβάσετε

Σάρωση σ_int

Αν η RC περιέχει επιπλέον άγνωστη διασπορά, μένει σταθερό το συμπέρασμα;

Μετά τη χαλάρωση των σφαλμάτων RC, η κατάταξη και η κλίμακα πλεονεκτήματος της EFT παραμένουν σταθερές.

Σάρωση R_min

Αν η κεντρική περιοχή του γαλαξία δεν είναι πλήρως αξιόπιστη, μένει σταθερό το συμπέρασμα;

Μετά την αποκοπή της κεντρικής περιοχής, η EFT διατηρεί θετικό πλεονέκτημα.

Σάρωση cov-shrink

Αν η εκτίμηση της συνδιακύμανσης GGL είναι αβέβαιη, είναι ευαίσθητο το συμπέρασμα;

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

Κλίμακα αποδόμησης

Μήπως η EFT επιβάλλει προσαρμογή μέσω περιττής πολυπλοκότητας;

Το πλήρες EFT_BIN είναι αναγκαίο κάτω από τα κριτήρια πληροφορίας.

Πρόβλεψη LOO σε δεδομένα εκτός δείγματος

Εξηγεί το μοντέλο μόνο δεδομένα που έχει ήδη δει;

Αφού κρατηθεί εκτός ένα GGL bin, το μοντέλο εξακολουθεί να δείχνει ισχυρή γενίκευση.

Shuffle RC-bin

Προέρχεται το κλείσιμο από την πραγματική αντιστοίχιση;

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

Σχήμα R2 | Εύρος του ΔlogL_total στη σάρωση σ_int (όσο μεγαλύτερο τόσο καλύτερο).

Πώς να διαβάσετε αυτό το σχήμα

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

Σχήμα R3 | Εύρος του ΔlogL_total στη σάρωση R_min (όσο μεγαλύτερο τόσο καλύτερο).

Πώς να διαβάσετε αυτό το σχήμα

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

Σχήμα R4 | Εύρος του ΔlogL_total στη σάρωση cov-shrink (όσο μεγαλύτερο τόσο καλύτερο).

Πώς να διαβάσετε αυτό το σχήμα

Ελέγχει αν η κατάταξη είναι ευαίσθητη σε αλλαγές στον χειρισμό της συνδιακύμανσης ασθενούς εστίασης.

Σχήμα R5 | Κλίμακα αποδόμησης για το EFT_BIN (AICc· όσο μικρότερο τόσο καλύτερο).

Πώς να διαβάσετε αυτό το σχήμα

Ελέγχει αν το πλήρες EFT_BIN είναι αναγκαίο για την εξήγηση των δεδομένων, αντί απλώς να προσθέτει παραμέτρους.

Σχήμα R6 | LOO: κατανομή λογαριθμικής πιθανοφάνειας για bins που κρατήθηκαν εκτός.

Πώς να διαβάσετε αυτό το σχήμα

Ελέγχει αν το μοντέλο εξακολουθεί να προβλέπει καλά σε ένα άγνωστο GGL bin.

Σχήμα R7 | Αρνητικός έλεγχος: η ανακατεμένη αντιστοίχιση προκαλεί σαφή πτώση στο mean logL_true.

Πώς να διαβάσετε αυτό το σχήμα

Δείχνει επιπλέον, από τη σκοπιά του mean logL_true, ότι το κλείσιμο εξαρτάται από τη σωστή διασταυρούμενη αντιστοίχιση δεδομένων.


9 | P1A: γιατί έχουν σημασία τα πολλαπλά μοντέλα DM στο παράρτημα

Αυτή η ενότητα δεν ρωτά: «Η EFT νίκησε μόνο ένα ελάχιστο DM_RAZOR;» Ρωτά αν τα συμπεράσματα από τον έλεγχο κλεισίματος και την κοινή προσαρμογή αλλάζουν όταν η βάση DM ενισχύεται μέσα σε ένα χαμηλοδιάστατο, αναπαραγώγιμο και καθαρά λογισμένο βιβλίο παραμέτρων (P1A). Με άλλα λόγια, το P1A σκοπεύει να μειώσει την ένσταση ότι η σύγκριση χρησιμοποίησε υπερβολικά ασθενή βάση DM και να μετακινήσει τη συζήτηση στο αν η επίδοση κλεισίματος εξακολουθεί να διαφέρει κάτω από ένα σύνολο ελέγξιμων ενισχύσεων DM.

Το P1A δεν προσπαθεί να εξαντλήσει κάθε πιθανή επιλογή μοντελοποίησης άλω στο LambdaCDM, ούτε μετατρέπει την πλευρά DM σε μια υψηλοδιάστατη, μη ελέγξιμη μηχανή προσαρμογής. Επιλέγει χαμηλοδιάστατες, αναπαραγώγιμες και λογιστικά καθαρές ενισχύσεις: διασπορά συγκέντρωσης, αδιαβατική συστολή, πυρήνα ανάδρασης, ιεραρχική prior διασποράς c–M, proxy πυρήνα μιας παραμέτρου, παράμετρο ενόχλησης βαθμονόμησης διάτμησης ασθενούς εστίασης και τη συνδυασμένη βάση DM_STD.

Κύρια ανάγνωση του P1A

Ανάμεσα στους τρεις legacy κλάδους, μόνο το feedback/core φέρνει μικρό καθαρό κέρδος στην ισχύ κλεισίματος· τα SCAT και AC δεν φέρνουν καθαρό κέρδος κλεισίματος.

Τα DM_HIER_CMSCAT, DM_RAZOR_M και DM_CORE1P έχουν μικρή επίδραση στην ισχύ κλεισίματος ή δεν δείχνουν σημαντικό καθαρό κέρδος.

Το DM_STD μπορεί να βελτιώσει σημαντικά το joint logL, αλλά η ισχύς κλεισίματος πέφτει, υποδηλώνοντας ότι αυξάνει κυρίως την ευελιξία κοινής προσαρμογής και όχι τη δύναμη πρόβλεψης μεταφοράς RC→GGL.

Στον Πίνακα B1 του P1A, το EFT_BIN εξακολουθεί να διατηρεί υψηλότερη ισχύ κλεισίματος και πλεονέκτημα κοινής προσαρμογής. Ο βασικός ισχυρισμός του P1 επομένως δεν πρέπει να απλουστευθεί σε «νίκησε μόνο το ελάχιστο DM_RAZOR».

Σχήμα B1 | Πίνακας βαθμολογίας P1A: κλείσιμο και κοινό ΔlogL σε σχέση με τη βάση (όσο μεγαλύτερο τόσο καλύτερο).

Πώς να διαβάσετε αυτό το σχήμα

Αυτό το σχήμα δείχνει πώς πολλαπλοί κλάδοι ενίσχυσης DM αποδίδουν σε σχέση με τη βάση.

Το νόημά του δεν είναι «αποκλείεται όλη η DM». Δείχνει ότι, μέσα στο χαμηλοδιάστατο, ελέγξιμο εύρος ενίσχυσης DM που επιλέγει το P1A, η ενισχυμένη DM δεν σβήνει το πλεονέκτημα κλεισίματος του EFT_BIN.


10 | Γιατί έχει σημασία το πείραμα P1

10.1 Μεθοδολογική σημασία: το κλείσιμο μεταξύ ανιχνευτών πάνω από την προσαρμογή ενός ανιχνευτή

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


10.2 Σημασία διαφάνειας: κάντε την αναπαραγώγιμη αλυσίδα μέρος του αποτελέσματος

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


10.3 Φυσική σημασία: ισχυρή δοκιμή πίεσης για βαρύτητα χωρίς DM

Στις κατευθύνσεις βαρύτητας χωρίς DM, πολλά μοντέλα μπορούν να εξηγήσουν ένα μέρος της φαινομενολογίας των καμπυλών περιστροφής ή της RAR. Το δυσκολότερο έργο είναι να περάσουν ταυτόχρονα τις αναγνώσεις ασθενούς εστίασης και να δείξουν, με αρνητικούς ελέγχους, ότι το σήμα εξαρτάται από τη σωστή αντιστοίχιση. Η σημασία του P1 είναι ότι τοποθετεί τη μέση βαρυτική απόκριση της EFT μέσα σε ένα πρωτόκολλο που μοιάζει με εξωτερική εξέταση: η RC είναι το πεδίο εκπαίδευσης, η GGL είναι το πεδίο μεταφοράς και το shuffle είναι το πεδίο κατά της εξαπάτησης.


10.4 Είναι αυτό σημαντικό πείραμα για το πεδίο της βαρύτητας χωρίς DM;

Με προσεκτική διατύπωση: αν η επεξεργασία δεδομένων του P1, το πακέτο αναπαραγωγής και το πρωτόκολλο κλεισίματος αντέξουν σε εξωτερική επανάληψη, τότε μπορεί να θεωρηθεί ένα πείραμα κλεισίματος RC+GGL που αξίζει σοβαρή προσοχή μέσα στην έρευνα βαρύτητας χωρίς DM / τροποποιημένης βαρύτητας. Η σημασία του δεν βρίσκεται στη φράση «η σκοτεινή ύλη ανατράπηκε», αλλά στο ότι προσφέρει ένα κριτήριο ανάμεσα σε ανιχνευτές που μπορεί να αντιγραφεί, να αμφισβητηθεί και να επεκταθεί.

Υπάρχει ήδη συγκρίσιμα ισχυρό πλαίσιο πρόβλεψης-κλεισίματος RC+GGL;

Σχετικά πλαίσια και παρατηρησιακές παραδόσεις υπάρχουν ήδη: το MOND/RAR οργανώνει πολύ καλά μεγάλο σώμα φαινομένων καμπυλών περιστροφής· οι εργασίες RAR με ασθενή εστίαση KiDS-1000 έχουν επίσης συγκρίνει MOND, emergent gravity του Verlinde και μοντέλα LambdaCDM· το LambdaCDM μπορεί επίσης να εξηγήσει ορισμένα φαινόμενα ασθενούς εστίασης/δυναμικής μέσω συνδέσεων γαλαξία-άλω, αέριων άλω και μοντελοποίησης ανάδρασης.

Όμως ο ακριβής ισχυρισμός του P1 δεν είναι «κανένα άλλο πλαίσιο στον κόσμο δεν μπορεί να εξηγήσει RC+GGL». Ο ισχυρισμός του είναι ότι, κάτω από το δικό του δημόσιο πρωτόκολλο —σταθερή αντιστοίχιση, κλείσιμο RC-only→GGL, αρνητικός έλεγχος shuffle, λογιστικό βιβλίο παραμέτρων και πολυμοντελικές δοκιμές πίεσης DM στο P1A— η EFT αναφέρει ισχυρότερη επίδοση κλεισίματος.

Με άλλα λόγια, το μέρος του P1 που αξίζει περισσότερο εξωτερικό έλεγχο είναι το συγκεκριμένο και αναπαραγώγιμο πρωτόκολλο σύγκρισης που προτείνει. Το αν το MOND/RAR, το LambdaCDM/HOD, υδροδυναμικές προσομοιώσεις ή άλλα πλαίσια τροποποιημένης βαρύτητας μπορούν να φτάσουν την ίδια ή υψηλότερη βαθμολογία κλεισίματος κάτω από το ίδιο πρωτόκολλο είναι πολύτιμο επόμενο βήμα.


11 | Τι μπορεί να συμπεράνει το P1; Τι δεν μπορεί να συμπεράνει;

Πίνακας 3 | Όρια των συμπερασμάτων του P1

Μπορεί να συμπεράνει

Κάτω από τα δεδομένα RC+GGL του P1, τη σταθερή αντιστοίχιση και το κύριο πρωτόκολλο σύγκρισης, η οικογένεια EFT έχει υψηλότερη κοινή προσαρμογή και ισχύ κλεισίματος από το ελάχιστο DM_RAZOR.

Μπορεί να συμπεράνει

Μέσα στο χαμηλοδιάστατο, ελέγξιμο εύρος ενισχύσεων DM του P1A, πολλαπλές ενισχύσεις DM δεν σβήνουν το πλεονέκτημα κλεισίματος του EFT_BIN.

Μπορεί να συμπεράνει

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

Δεν μπορεί να συμπεράνει

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

Δεν μπορεί να συμπεράνει

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

Δεν μπορεί να συμπεράνει

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


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

Ε1: Λέει αυτό ότι «η σκοτεινή ύλη δεν υπάρχει»;

Όχι. Το συμπέρασμα του P1 πρέπει να περιορίζεται στα δεδομένα, το πρωτόκολλο και τα μοντέλα σύγκρισης που χρησιμοποιούνται σε αυτό το άρθρο. Το P1A υπερβαίνει την ελάχιστη βάση DM_RAZOR, αλλά ακόμη δεν εκπροσωπεί κάθε πιθανό μοντέλο σκοτεινής ύλης.

Ε2: Λέει αυτό ότι «η EFT έχει ήδη αποδειχθεί»;

Επίσης όχι. Το P1 ελέγχει την EFT ως παραμετροποιημένη μέση βαρυτική απόκριση και δείχνει ισχυρότερη επίδοση στο κλείσιμο RC→GGL· οι μικροσκοπικοί μηχανισμοί και η πλήρης θεωρία δεν είναι συμπεράσματα του P1.

Ε3: Γιατί να μη δηλωθεί απευθείας μια σημαντικότητα σε σ;

Το P1 χρησιμοποιεί ενιαία βαθμολογία πιθανοφάνειας, κριτήρια πληροφορίας και διαφορές κλεισίματος. Το ΔlogL είναι σχετικό πλεονέκτημα κάτω από τον ίδιο κανόνα βαθμολόγησης· δεν είναι το ίδιο με μία μοναδική τιμή σ.

Ε4: Γιατί να ανακατευτεί το RC-bin→GGL-bin;

Αυτός είναι ο αρνητικός έλεγχος. Ένα πραγματικό σήμα ανάμεσα σε ανιχνευτές πρέπει να εξαρτάται από τη σωστή αντιστοίχιση. Αν η ανακατεμένη περίπτωση έμενε εξίσου ισχυρή, αυτό θα έδειχνε μάλλον μεροληψία υλοποίησης ή στατιστικό ψευδοσήμα.

Ε5: Τι πρέπει να κάνει το P1 στη συνέχεια;

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


13 | Μικρό γλωσσάρι

Πίνακας 4 | Μικρό γλωσσάρι

Όρος

Εξήγηση σε μία πρόταση

Καμπύλη περιστροφής (RC)

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

Ασθενής βαρυτική εστίαση (GGL)

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

Έλεγχος κλεισίματος

Χρησιμοποιεί το posterior της RC για να προβλέψει τη GGL και το συγκρίνει με έναν αρνητικό έλεγχο ανακατεμένης αντιστοίχισης.

Αρνητικός έλεγχος

Σπάει σκόπιμα μια βασική δομή για να δει αν το σήμα εξαφανίζεται· χρησιμοποιείται για να αποκλειστούν ψευδή σήματα.

Άλω NFW

Προφίλ πυκνότητας άλω σκοτεινής ύλης που χρησιμοποιείται συχνά σε μοντέλα ψυχρής σκοτεινής ύλης.

Σχέση c–M

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

DM_STD

Στο P1A, τυποποιημένος κλάδος δοκιμής πίεσης DM που συνδυάζει πολλαπλές χαμηλοδιάστατες ενισχύσεις DM και μια παράμετρο ενόχλησης εστίασης.

ΔlogL

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

Συνδιακύμανση

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


14 | Προτεινόμενη διαδρομή ανάγνωσης και σημεία εισόδου για παραπομπές

1. Διαβάστε πρώτα τις ενότητες 0–2 για να σταθεροποιήσετε το ερώτημα του P1 και τον συγκρατημένο ρόλο που αποδίδεται στην EFT μέσα στο P1.

2. Έπειτα δείτε τα Σχήματα S3 και S4 και τους Πίνακες S1a/S1b για να κατανοήσετε την ισχύ κλεισίματος, την κοινή προσαρμογή και τους αρνητικούς ελέγχους.

3. Αν ανησυχείτε ότι η βάση DM είναι υπερβολικά αδύναμη, πηγαίνετε απευθείας στην Ενότητα 9 και στον Πίνακα B1 / Σχήμα B1.

4. Για τεχνική αναπαραγωγή, επιστρέψτε στην τεχνική έκθεση P1 v1.1, στο Tables & Figures Supplement και στο full_fit_runpack.

Κύρια σημεία εισόδου αρχείων

Τεχνική έκθεση P1 (επίπεδο δημοσίευσης, Concept DOI): 10.5281/zenodo.18526334

Πλήρες πακέτο αναπαραγωγής P1 (Concept DOI): 10.5281/zenodo.18526286

Δομημένη γνώση EFT (προαιρετικά, Concept DOI): 10.5281/zenodo.18853200

Σημείωση άδειας: η τεχνική έκθεση χρησιμοποιεί CC BY-NC-ND 4.0· το πλήρες πακέτο αναπαραγωγής χρησιμοποιεί CC BY 4.0 (με βάση την τεχνική έκθεση και τα αρχεία Zenodo).


15 | Βιβλιογραφία και εξωτερικό πλαίσιο

McGaugh, S. S., Lelli, F., & Schombert, J. M. (2016). The Radial Acceleration Relation in Rotationally Supported Galaxies. Physical Review Letters, 117, 201101. DOI: 10.1103/PhysRevLett.117.201101.

Famaey, B., & McGaugh, S. S. (2012). Modified Newtonian Dynamics (MOND): Observational Phenomenology and Relativistic Extensions. Living Reviews in Relativity, 15, 10. DOI: 10.12942/lrr-2012-10.

Brouwer, M. M., Oman, K. A., Valentijn, E. A., et al. (2021). The weak lensing radial acceleration relation: Constraining modified gravity and cold dark matter theories with KiDS-1000. Astronomy & Astrophysics, 650, A113. DOI: 10.1051/0004-6361/202040108.

Mistele, T., McGaugh, S., Lelli, F., Schombert, J., & Li, P. (2024). Indefinitely Flat Circular Velocities and the Baryonic Tully-Fisher Relation from Weak Lensing. The Astrophysical Journal Letters, 969, L3 / arXiv:2406.09685.

Bullock, J. S., & Boylan-Kolchin, M. (2017). Small-Scale Challenges to the LambdaCDM Paradigm. Annual Review of Astronomy and Astrophysics, 55, 343–387. DOI: 10.1146/annurev-astro-091916-055313.

Lelli, F., McGaugh, S. S., & Schombert, J. M. (2016). SPARC: Mass Models for 175 Disk Galaxies with Spitzer Photometry and Accurate Rotation Curves. The Astronomical Journal, 152, 157. DOI: 10.3847/0004-6256/152/6/157.

Navarro, J. F., Frenk, C. S., & White, S. D. M. (1997). A Universal Density Profile from Hierarchical Clustering. Astrophysical Journal, 490, 493.

Dutton, A. A., & Macciò, A. V. (2014). Cold dark matter haloes in the Planck era: evolution of structural parameters for NFW haloes. Monthly Notices of the Royal Astronomical Society, 441, 3359–3374.