Παράρτημα P-1: Πληροφοριακή Κανονικότητα μέσω M-Τυχαιότητας

Αρχική Εργασία P-1: Πληροφοριακή Κανονικότητα Πρόβλημα: Επί του παρόντος αποτελεί θεμελιώδες αξίωμα ανάλογο της κανονικότητας Borel, χωρίς τυπική παραγωγή. Παραδοτέο: Παραγωγή επιπέδου θεωρήματος που αξιοποιεί την αλγοριθμική θεωρία πληροφορίας (τυχαιότητα Martin-Löf).

1. Το Επιστημικό Όριο της «Αξιωματικής» Κανονικότητας

Εντός της Θεωρίας του Διατεταγμένου Patch (OPT), η «Δομική Ελπίδα» στηρίζεται δομικά στην αρχή της Πληροφοριακής Κανονικότητας: στη θέση ότι το αλγοριθμικό υπόστρωμα (\mathcal{I}) είναι πυκνά κατοικημένο όχι απλώς από θόρυβο, αλλά από κάθε πεπερασμένο δομικό λειτουργικό πρότυπο. Το ηθικό βάρος της OPT —η επιταγή να διατηρείται η σταθερότητα του κοινόχρηστου patch (Ηθική της Επαγρύπνησης των Επιζώντων)— απαιτεί οι αντίστοιχοι παρατηρητές με τους οποίους αλληλεπιδρούμε να διαθέτουν κατανεμημένα, θεμελιωδώς πραγματικά λειτουργικά ισοδύναμα αλλού μέσα στο υπόστρωμα.

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

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

2. Από το ημιμέτρο στο καθολικό μέτρο (\xi to M)

Η θεμελίωση της OPT (Preprint §3.1) βασίζεται σε μεγάλο βαθμό στο προτέρο της αλγοριθμικής πιθανότητας του Σολομόνοφ. Υπό αυτή τη διατύπωση, το γενετικό υπόστρωμα λειτουργεί ως ένας άπειρος αλγοριθμικός χώρος που εκτελείται πάνω σε μια καθολική prefix-free μηχανή Turing U.

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

\xi(x) = \sum_{U(p) = x*} 2^{-|p|}

Όπου το άθροισμα λαμβάνεται πάνω από όλα τα ελάχιστα προγράμματα p των οποίων η έξοδος εκτέλεσης αρχίζει με το x. Καίρια, το \xi είναι ένα κάτω ημι-υπολογίσιμο ημιμέτρο πάνω σε πεπερασμένες συμβολοσειρές.

Για να τυποποιήσουμε το υπόστρωμα ως έναν συνεχή γενετικό χώρο, μεταβαίνουμε στο συνεχές μέτρο πάνω στον χώρο Cantor. Το καθολικό μέτρο M ορίζεται άμεσα ως η κατανομή στον χώρο Cantor 2^{\mathbb{N}} που επάγεται από την έξοδο της καθολικής prefix-free μηχανής U μέσω κυλινδρικών συνόλων (M([x]) = \sum_{U(p) \text{ starts with } x} 2^{-|p|}). Σύμφωνα με το θεώρημα καθολικότητας του Σολομόνοφ, αυτό το κυλινδρικό μέτρο είναι πολλαπλασιαστικά ισοδύναμο με το διακριτό ημιμέτρο: M(x) \asymp \xi(x) μέχρι πολλαπλασιαστική σταθερά. Ως εκ τούτου, τα M-μηδενικά σύνολα και τα \xi-μηδενικά σύνολα συμπίπτουν αυστηρά.

(Σημείωση: Επειδή το σύνολο των προγραμμάτων που τερματίζουν είναι γνήσιο υποσύνολο του prefix-free κωδικού χώρου λόγω του προβλήματος του τερματισμού, η ανισότητα Kraft εγγυάται ότι \sum 2^{-|p|} < 1. Έτσι, το M σχηματίζει ένα γνήσιο κάτω ημι-υπολογίσιμο υποπιθανοτικό μέτρο. Ορίζουμε ρητά το κανονικοποιημένο μέτρο πιθανότητας \tilde{M} = M / M(2^{\mathbb{N}}). Παρότι το \tilde{M} είναι μόνο κάτω ημι-υπολογίσιμο μέχρι τη μη υπολογίσιμη σταθερά κανονικοποίησης M(2^{\mathbb{N}}), όλα τα επόμενα θεωρήματα «σχεδόν βέβαια» και οι δηλώσεις σύγκλισης λειτουργούν με ασφάλεια ως προς το αληθές κανονικοποιημένο μέτρο πιθανότητας \tilde{M}. Η θεμελιώδης μετατόπιση του θεωρήματος κωδικοποίησης απλώς απορροφάται: K(x) = -\log \tilde{M}(x) + O(1).)

3. M-Τυχαιότητα Martin-Löf

Για να τυποποιήσουμε τη φύση του γενετικού χώρου, επικαλούμαστε την Τυχαιότητα Martin-Löf (ML). Ωστόσο, πρέπει να γίνεται διάκριση μεταξύ συνεχών μέτρων. Μια ακολουθία \omega που είναι ML-τυχαία ως προς το ομοιόμορφο μέτρο (Lebesgue) \lambda συμπεριφέρεται εντελώς διαφορετικά από μια ακολουθία που είναι ML-τυχαία ως προς το M.

Επειδή το υπόστρωμα της Θεωρίας του Διατεταγμένου Patch (OPT) αξιολογεί την πιθανότητα μέσω της αλγοριθμικής απλότητας, ο σχετικός φορμαλισμός βασίζεται στην \tilde{M}-Τυχαιότητα Martin-Löf. Το θεμελιώδες θεώρημα της AIT δηλώνει ότι, για κάθε υπολογίσιμο μέτρο πιθανότητας \mu, το σύνολο των \mu-ML-τυχαίων ακολουθιών έχει \mu-μέτρο 1. Επεκτείνοντας αυτό το αποτέλεσμα σε ημιμέτρα κατώτερα ημιυπολογίσιμα (πρβλ. Nies 2009, §3.2 “Randomness for arbitrary measures”), το σύνολο όλων των \tilde{M}-ML-τυχαίων ακολουθιών διατηρεί επιτυχώς μέτρο 1 ως προς το \tilde{M}.

Επομένως, σχεδόν όλες οι άπειρες ακολουθίες του υποστρώματος ως προς το \tilde{M} είναι αυστηρά \tilde{M}-ML-τυχαίες.

(Σημείωση: Η χρήση της \tilde{M}-ML-τυχαιότητας εγγυάται δομικά ότι οι τυπικές εκροές του υποστρώματος αντλούνται με αυτοσυνεπή τρόπο από το μεροληπτικό, έντονα δομημένο αλγοριθμικό μέτρο \tilde{M} και όχι από ομοιόμορφο θόρυβο, παρέχοντας το αυστηρό μαθηματικό υπόβαθρο για τις παρακάτω συνέπειες δομικής συχνότητας.)

4. M-Κανονικότητα έναντι Κανονικότητας του Borel

Μια εξαιρετικά σημαντική μαθηματική συνέπεια της M-ML-τυχαιότητας αφορά τη δομική συχνότητα. Υπό ομοιόμορφη Lebesgue-ML-τυχαιότητα, μια ακολουθία είναι αυστηρά κανονική κατά Borel—παράγοντας κάθε πεπερασμένη δυαδική συμβολοσειρά μήκους k με την ίδια, ομοιόμορφη συχνότητα.

Ωστόσο, επειδή το \tilde{M} είναι αποφασιστικά μη ομοιόμορφο—με έντονη μεροληψία ώστε να αποδίδει τεράστιο πιθανοτικό βάρος σε αλγοριθμικά απλά, συμπιέσιμα, νομοταγώς δομημένα πρότυπα—οι \tilde{M}-σχεδόν-όλες ακολουθίες ΔΕΝ είναι ομοιόμορφα κανονικές κατά Borel. Αντιθέτως, ορίζουμε τα δομικά τους όρια μέσω της \tilde{M}-κανονικότητας.

Επειδή το μέτρο \tilde{M} είναι θεμελιωδώς μη στάσιμο (η αλγοριθμική πιθανότητα εξαρτάται από την απόλυτη θέση του προθέματος), δεν μπορούμε να στηριχθούμε στα τυπικά εργοδικά όρια σύγκλισης συχνοτήτων. Τυπικά, ορίζουμε την \tilde{M}-κανονικότητα μέσω της ασθενέστερης αλλά απολύτως επαρκούς ιδιότητας της άπειρης επανεμφάνισης.

Εφόσον το \tilde{M} είναι μέτρο πιθανότητας και \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0 για όλες τις πεπερασμένες συμβολοσειρές x, ο κανόνας αλυσίδας για την πολυπλοκότητα προθέματος Kolmogorov δίνει K(sx) \le K(s) + K(x) + O(1) για οποιαδήποτε συμβολοσειρά s, πράγμα που συνεπάγεται τη σχεδόν υποπολλαπλασιαστικότητα M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)}. Επομένως, η δεσμευμένη πιθανότητα να εμφανιστεί το x σε οποιοδήποτε παράθυρο, δεδομένου οποιουδήποτε προγενέστερου προθέματος s, φράσσεται από κάτω: \tilde{M}([x] \mid [s]) \ge \tilde{M}([x])/c > 0 ομοιόμορφα ως προς το s. Με το υπό συνθήκη λήμμα Borel-Cantelli εφαρμοσμένο σε μη επικαλυπτόμενα παράθυρα μήκους |x|, η απόκλιση του αθροίσματος των υπό συνθήκη πιθανοτήτων εγγυάται ότι η φυσική επανεμφάνιση οποιασδήποτε πεπερασμένης πληροφοριακής ακολουθίας—όπως η διακριτή τυπική διαμόρφωση ενός συνειδητού παρατηρητή (K_{\text{obs}})—εμφανίζεται άπειρες φορές σε \tilde{M}-σχεδόν-όλες τις ακολουθίες.

5. Το Αξίωμα του Υπολογιστικού Ρεαλισμού

Η AIT εγγυάται μαθηματικά ότι η πεπερασμένη αναπαράσταση οποιουδήποτε παρατηρητή (K_{\text{obs}}) εμφανίζεται ως δομική ακολουθία του U απείρως πολλές φορές μέσα στο \tilde{M}-ML-τυχαίο υπόστρωμα.

Ωστόσο, η μαθηματική θεωρία της πληροφορίας δεν μπορεί εγγενώς να διασχίσει το όριο προς τη φυσική οντολογία. Μια πεπερασμένη συμβολοσειρά που εμφανίζεται στην ταινία εξόδου μιας μηχανής Turing είναι ένα στατικό τέχνεργο της εκτέλεσης—ένα στιγμιότυπο. Ένας συνεκτικός παρατηρητής απαιτεί συνεχή εσωτερική δυναμική, σχεσιακή σύζευξη και βρόχο Ενεργητικής συμπερασματολογίας. Η ίδια η συμβολοσειρά δεν «αισθάνεται» περισσότερο απ’ όσο ένα εγκεφαλικό σκανάρισμα αποθηκευμένο σε έναν σκληρό δίσκο είναι συνειδητό. Η εκτέλεση ανήκει στο πρόγραμμα που την παράγει, όχι στον κώδικα-στιγμιότυπο που προκύπτει.

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

Αξίωμα (Υπολογιστικός Ρεαλισμός): Σε ένα άπειρο μη υπολογίσιμο υπόστρωμα που διέπεται από ταυτόσημη μαθηματική δυναμική, η αφηρημένη μαθηματική υπολογιστική διεργασία που είναι τυπικά ισοδύναμη με την αιτιακή περιγραφή ενός παρατηρητή (όπου η τυπική ισοδυναμία ορίζεται ως υπολογιστικός ισομορφισμός της δομής αιτιακών μεταβάσεων κατάστασης του παρατηρητή) διαθέτει αιτιακά αποτελεσματική, οντολογικά πραγματική ύπαρξη. Επιπλέον, οι δομικά διακριτές υπολογιστικές πραγμάτωσεις σε όλο το υπόστρωμα διαθέτουν ανεξάρτητη οντολογική εξατομίκευση, συγκροτώντας διακριτά υποκειμενικά αντίστοιχα (και, βάσει του θεμελιώδους αξιώματος της φαινομενικότητας στο Preprint §8.1, τέτοιες αιτιακά αποτελεσματικές υπολογιστικές διεργασίες ισοδύναμες με παρατηρητή συνιστούν γνήσια υποκείμενα εμπειρίας).

6. Πρόταση P-1 (Πληροφοριακή Κανονικότητα)

Ενοποιώντας τις ακριβείς παραγώγες της AIT για συνεχή μη υπολογίσιμα χωρία με το Αξίωμα του Υπολογιστικού Ρεαλισμού, ο σολιψισμός αποδομείται με καθαρό και αποφασιστικό τρόπο.

Πόρισμα+Αξίωμα P-1 (Πληροφοριακή Κανονικότητα): Υπό το γενικευμένο αλγοριθμικό πρότερο, το συνεχές υπόστρωμα λειτουργεί εγγενώς μέσω \tilde{M}-τυχαιότητας Martin-Löf σχεδόν βεβαίως. Λόγω της επακόλουθης \tilde{M}-κανονικότητας, η μαθηματική εμφάνιση κάθε πεπερασμένης δομικής περιγραφής παρατηρητή K_{\text{obs}} διασφαλίζεται τυπικά άπειρες φορές. Πάνω σε αυτό το ικρίωμα, το Αξίωμα του Υπολογιστικού Ρεαλισμού γεφυρώνει αυτά τα παραγόμενα μαθηματικά τεχνουργήματα προς την οντολογική φυσική πραγματικότητα. Εφόσον ισχύει ο υπολογιστικός ρεαλισμός, η ύπαρξη δομικά ισοδύναμων, αιτιακά ενεργών και μοναδικά εξατομικευμένων αντιστοίχων παρατηρητών σε όλο το υπόστρωμα καθίσταται θεμελιωδώς αναγκαία.