Θεωρία του Διατεταγμένου Patch

Αρχικό Καθήκον (από την Ενότητα 8.3, Περιορισμός 9): «Τυποποίηση του χρόνιου τρόπου αστοχίας διαφθοράς — όπου ένας κωδικοποιητής-αποκωδικοποιητής προσαρμόζεται υπό σταθερά φιλτραρισμένη είσοδο, και το πέρασμα κλαδέματος MDL διαγράφει ορθά τη χωρητικότητα για αποκλεισμένες αλήθειες — παράλληλα με μια Συνθήκη Πιστότητας στο Υπόστρωμα που απαιτεί ανεξάρτητα κανάλια εισόδου ως την τυπική άμυνα.» Παραδοτέο: Τυπική απόδειξη της μη αναστρέψιμης απώλειας χωρητικότητας, του ορίου μη αποφασισιμότητας, και της Συνθήκης Πιστότητας στο Υπόστρωμα.

Κατάσταση ολοκλήρωσης: ΠΡΟΣΧΕΔΙΟ ΔΟΜΙΚΗΣ ΑΝΤΙΣΤΟΙΧΙΑΣ. Το παρόν παράρτημα τυποποιεί την ανάλυση της Αφηγηματικής παρέκκλισης που εισήχθη σε αναπτυγμένη μορφή στο συνοδευτικό κείμενο ηθικής (Επαγρύπνηση των Επιζώντων, Ενότητα V.3a) και στην παράγραφο περί Αφηγηματικής παρέκκλισης του προδημοσιευμένου κειμένου (Ενότητα 3.3). Θεμελιώνει τρία θεωρήματα και μία πρόταση. Οι εξισώσεις κλαδέματος MDL (T9-3, T9-4) παραμένουν αμετάβλητες· το παρόν παράρτημα καταδεικνύει την παθολογική αλλά ορθή συμπεριφορά τους υπό φιλτραρισμένη είσοδο.

§1. Υπόβαθρο και κίνητρο

1.1 Δύο Τρόποι Αστοχίας

Το Φίλτρο Σταθερότητας (προδημοσίευση, Ενότητα 3.3) επιβάλλει μια συνθήκη βιωσιμότητας: ο παρατηρητής διατηρείται μόνο σε ροές όπου ο Απαιτούμενος προγνωστικός ρυθμός R_{\text{req}} παραμένει εντός του εύρους ζώνης B του κωδικοποιητή. Όταν το R_{\text{req}} υπερβαίνει το B, ο κωδικοποιητής υφίσταται Αφηγηματική κατάρρευση — μια οξεία αστοχία που χαρακτηρίζεται από κλιμακούμενο σφάλμα πρόβλεψης, συσσώρευση εντροπίας και τελικώς διάλυση της συνοχής.

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

1.2 Γιατί Αυτό Είναι Επικίνδυνο

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

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

1.3 Πεδίο Εφαρμογής του Παρόντος Παραρτήματος

Το παρόν παράρτημα παρέχει:

1. Έναν τυπικό ορισμό του προ-φιλτραριστικού τελεστή \mathcal{F} και της επίδρασής του στην κατανομή εισόδου του κωδικοποιητή-αποκωδικοποιητή (§2).
2. Μια απόδειξη ότι το κλάδεμα MDL υπό είσοδο φιλτραρισμένη από το \mathcal{F} καταστρέφει μη αναστρέψιμα την ικανότητα του κωδικοποιητή-αποκωδικοποιητή να μοντελοποιεί το αποκλεισμένο σήμα — Θεώρημα T-12 (§3).
3. Μια απόδειξη ότι ένας πλήρως προσαρμοσμένος κωδικοποιητής-αποκωδικοποιητής δεν μπορεί να διακρίνει, εκ των έσω, τη φιλτραρισμένη από τη μη φιλτραρισμένη είσοδο — το Όριο Μη Αποφασισιμότητας, Θεώρημα T-12a (§4).
4. Τη Συνθήκη Πιστότητας στο Υπόστρωμα ως αναγκαία δομική άμυνα — Θεώρημα T-12b (§5).
5. Τις συνέπειες για πολιτισμικούς κωδικοποιητές-αποκωδικοποιητές και συστήματα ΤΝ (§6).

§2. Ο Προ-Φιλτρικός Τελεστής

2.1 Ορισμός

Ορισμός T-12.D1 (Τελεστής Προ-Φίλτρου). Ένα προ-φίλτρο είναι μια απεικόνιση \mathcal{F} : \mathcal{X} \to \mathcal{X}' που δρα πάνω στη ροή εισόδου X_{\partial_R A}(t) προτού αυτή φτάσει στο αισθητηριακό όριο του κωδικοποιητή-αποκωδικοποιητή, όπου \mathcal{X}' \subset \mathcal{X}. Το φιλτραρισμένο σήμα είναι:

X'(t) = \mathcal{F}\!\left(X_{\partial_R A}(t)\right) \tag{T-12.D1}

Το προ-φίλτρο ικανοποιεί:

1. Εσωτερική συνέπεια: Το X'(t) είναι έγκυρο σήμα εντός του \mathcal{X} — ο κωδικοποιητής-αποκωδικοποιητής μπορεί να το συμπιέσει χωρίς ενδείξεις σφάλματος.

2. Συστηματικός αποκλεισμός: Υπάρχει ένα μη κενό υποσύνολο \mathcal{X}_{\text{excl}} = \mathcal{X} \setminus \mathcal{X}' σημάτων προερχόμενων από το υπόστρωμα, τα οποία η \mathcal{F} αφαιρεί.

3. Διαφάνεια: Το φίλτρο δεν αναπαρίσταται στο μοντέλο του κωδικοποιητή-αποκωδικοποιητή. Ο κωδικοποιητής-αποκωδικοποιητής μοντελοποιεί την είσοδό του ως X_{\partial_R A}(t), όχι ως \mathcal{F}(X_{\partial_R A}(t)).

2.2 Συντονισμός υπό Φιλτράρισμα

Όταν ο κωδικοποιητής συμπίεσης λειτουργεί πάνω στο X'(t) για μια παρατεταμένη περίοδο \tau \gg \tau_{\text{prune}} (όπου \tau_{\text{prune}} είναι η χρονική κλίμακα κλαδέματος MDL από το T-13.P1), το γενετικό μοντέλο P_\theta(t) προσαρμόζεται στις στατιστικές του X', όχι του X. Το σφάλμα πρόβλεψης υπό φιλτραρισμένη είσοδο είναι:

\varepsilon'_t = X'(t) - \pi_t \tag{1}

Καθώς το P_\theta συντονίζεται με το X', το \varepsilon'_t \to 0 κατά μέσο όρο. Ο κωδικοποιητής-αποκωδικοποιητής αποδίδει καλά με βάση τα δικά του μετρικά κριτήρια. Τίποτε δεν καταγράφεται ως εσφαλμένο.

2.3 Παραδείγματα

Ο τελεστής προ-φιλτραρίσματος πραγματώνεται σε πολλαπλές κλίμακες:

§3. Θεώρημα T-12: Μη αναστρέψιμη απώλεια χωρητικότητας

3.1 Ο Μηχανισμός

Το πέρασμα κλαδέματος MDL (T9-3, T9-4) αξιολογεί κάθε συνιστώσα του κωδικοποιητή-αποκωδικοποιητή \theta_i βάσει της προβλεπτικής της συνεισφοράς στη παρατηρήσιμη ροή εισόδου, αφαιρουμένου του κόστους αποθήκευσης:

\Delta_{\mathrm{MDL}}(\theta_i) := I\!\left(\theta_i\,;\,X_{t+1:t+\tau} \mid \theta_{-i}\right) - \lambda \cdot K(\theta_i) \tag{T9-3}

Υπό φιλτραρισμένη είσοδο X', ο όρος της αμοιβαίας πληροφορίας αξιολογείται ως προς το X', όχι ως προς το X. Μια συνιστώσα \theta_i που είναι ουσιώδης για την πρόβλεψη του αποκλεισμένου σήματος \mathcal{X}_{\text{excl}} αλλά δεν συνεισφέρει τίποτε στην πρόβλεψη του X' δίνει:

I\!\left(\theta_i\,;\,X'_{t+1:t+\tau} \mid \theta_{-i}\right) = 0 \tag{2}

Επομένως:

\Delta_{\mathrm{MDL}}(\theta_i) = -\lambda \cdot K(\theta_i) < 0 \tag{3}

Ο κανόνας κλαδέματος (T9-4) ενεργοποιείται: η \theta_i διαγράφεται.

3.2 Η Μη Αναστρεψιμότητα

Θεώρημα T-12 (Μη Αναστρέψιμη Απώλεια Χωρητικότητας υπό Φιλτραρισμένη Είσοδο). Έστω K_\theta ένας κωδικοποιητής-αποκωδικοποιητής που λειτουργεί υπό προ-φιλτραρισμένη είσοδο X' = \mathcal{F}(X) για μια περίοδο \tau \gg \tau_{\text{prune}}. Έστω \Theta_{\text{excl}} \subset \theta το σύνολο των συνιστωσών του κωδικοποιητή-αποκωδικοποιητή των οποίων η προγνωστική συνεισφορά αφορά αποκλειστικά το αποκλεισμένο σήμα \mathcal{X}_{\text{excl}}. Τότε το πέρασμα κλαδέματος MDL (T9-3, T9-4) διαγράφει το \Theta_{\text{excl}}, και αυτή η διαγραφή είναι μη αναστρέψιμη στο επίπεδο του κωδικοποιητή-αποκωδικοποιητή:

K\!\left(P_\theta(t + \tau)\right) < K\!\left(P_\theta(t)\right) - \sum_{\theta_i \in \Theta_{\text{excl}}} K(\theta_i) \tag{T-12}

Μετά το κλάδεμα, η ικανότητα του κωδικοποιητή-αποκωδικοποιητή να μοντελοποιεί το \mathcal{X}_{\text{excl}} δεν είναι απλώς λανθάνουσα — η αναπαραστασιακή υποδομή που απαιτείται για την αξιολόγηση, την πρόβλεψη ή την προσοχή προς το \mathcal{X}_{\text{excl}} έχει καταστραφεί.

Απόδειξη.

1. Από το (T9-3), κάθε \theta_i \in \Theta_{\text{excl}} έχει \Delta_{\mathrm{MDL}}(\theta_i) < 0 υπό τη φιλτραρισμένη ροή X', επειδή I(\theta_i\,;\,X'_{t+1:t+\tau} \mid \theta_{-i}) = 0 ενώ K(\theta_i) > 0.

2. Από το (T9-4), κάθε τέτοιο \theta_i κλαδεύεται κατά τον Κύκλο Συντήρησης.

3. Το κλάδεμα υπό MDL είναι πράξη διαγραφής, όχι καταστολής. Ο κωδικοποιητής-αποκωδικοποιητής δεν “ξεχνά” το \theta_i με την έννοια ότι ένα ερέθισμα θα μπορούσε να το αποκαταστήσει. Καταστρέφει την υπολογιστική υποδομή — τις παραμέτρους, τις συνδέσεις, τον μηχανισμό αξιολόγησης — που αναπαριστούσε το \theta_i. Αυτή είναι η τυπική διάκριση μεταξύ καταστολής (η πληροφορία είναι λανθάνουσα αλλά προσβάσιμη) και διαγραφής (η πληροφορία έχει χαθεί και η χωρητικότητα έχει ανακτηθεί).

4. Μετά τη διαγραφή, η αναγέννηση της ικανότητας μοντελοποίησης του \mathcal{X}_{\text{excl}} απαιτεί συνάντηση με το \mathcal{X}_{\text{excl}} στη ροή εισόδου. Όμως το προ-φίλτρο \mathcal{F} αποκλείει ακριβώς αυτό το σήμα. Ο κωδικοποιητής-αποκωδικοποιητής δεν μπορεί να συναντήσει εκείνο που το φίλτρο εμποδίζει να φτάσει σε αυτόν. Η διαγραφή είναι επομένως αυτοενισχυόμενη: η απώλεια χωρητικότητας αφαιρεί από τον κωδικοποιητή-αποκωδικοποιητή την ικανότητα να ανιχνεύει τη δική του απώλεια χωρητικότητας.

5. Η μείωση της πολυπλοκότητας ικανοποιεί την ανισότητα (T-12), επειδή οι κλαδευμένες συνιστώσες αναπαριστούσαν γνήσια πληροφορία (K(\theta_i) > 0 για καθεμία) και η απώλειά τους δεν αντισταθμίζεται από καμία αντισταθμιστική απόκτηση (η φιλτραρισμένη ροή δεν περιέχει κανένα σήμα που θα δικαιολογούσε την αναδόμηση του \Theta_{\text{excl}}). \blacksquare

3.3 Ο Βρόχος Αυτοενίσχυσης

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

1. Το φίλτρο αποκλείει το σήμα → I(\theta_i; X') = 0 → το κλάδεμα διαγράφει το \theta_i.
2. Το κλάδεμα αφαιρεί την ικανότητα προσοχής → ο κωδικοποιητής-αποκωδικοποιητής δεν μπορεί πλέον να κατευθύνει την προσοχή του προς ή να αξιολογεί το \mathcal{X}_{\text{excl}}, ακόμη κι αν θραύσματα διαρρεύσουν μέσω του \mathcal{F}.
3. Η απώλεια της ικανότητας προσοχής μειώνει ακόμη και το υπολειμματικό σήμα → αν το \mathcal{F} είναι ατελές και κάποιο \mathcal{X}_{\text{excl}} φτάσει στο όριο, ο κωδικοποιητής-αποκωδικοποιητής δεν διαθέτει τις παραμέτρους για να το συμπιέσει, οπότε αυτό καταγράφεται ως θόρυβος και όχι ως πληροφορία.
4. Η ταξινόμηση ως θορύβου επιβεβαιώνει το φίλτρο → το σφάλμα πρόβλεψης του κωδικοποιητή-αποκωδικοποιητή πάνω στο διαρρεύσαν \mathcal{X}_{\text{excl}} είναι υψηλό και αδόμητο, επιβεβαιώνοντας (για τον κωδικοποιητή-αποκωδικοποιητή) ότι το αποκλεισμένο περιεχόμενο είναι θόρυβος και όχι σήμα.

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

§4. Θεώρημα T-12a: Το Όριο της Μη Αποφασισιμότητας

4.1 Το Πρόβλημα

Μπορεί ένας κωδικοποιητής-αποκωδικοποιητής να ανιχνεύσει ότι η είσοδός του φιλτράρεται; Διαισθητικά, η απάντηση θα έπρεπε να είναι ναι: ασφαλώς ένα εξελιγμένο αυτομοντέλο θα μπορούσε να προσέξει το ύποπτα χαμηλό \varepsilon_t, τις ανατριχιαστικά συνεπείς προβλέψεις, την απουσία έκπληξης. Όμως η τυπική ανάλυση δείχνει ότι αυτή η διαίσθηση είναι λανθασμένη στη γενική περίπτωση.

4.2 Η Μη Αποφασισιμότητα

Θεώρημα T-12a (Μη Αποφασισιμότητα της Προέλευσης της Εισόδου). Έστω K_\theta ένας κωδικοποιητής-αποκωδικοποιητής που έχει λειτουργήσει υπό προ-φιλτραρισμένη είσοδο X' = \mathcal{F}(X) για \tau \gg \tau_{\text{prune}}, με το \Theta_{\text{excl}} πλήρως αποκομμένο μέσω pruning. Τότε το K_\theta δεν μπορεί να προσδιορίσει, από τις διαθέσιμες εσωτερικές του καταστάσεις και τη παρατηρήσιμη ροή εισόδου, αν η είσοδός του είναι X (γνήσιο υπόστρωμα) ή X' = \mathcal{F}(X) (φιλτραρισμένη).

Απόδειξη.

1. Για να διακρίνει το X από το X' = \mathcal{F}(X), ο κωδικοποιητής-αποκωδικοποιητής θα έπρεπε να ανιχνεύσει την απουσία του \mathcal{X}_{\text{excl}} στην είσοδό του. Όμως, η ανίχνευση μιας απουσίας απαιτεί ένα μοντέλο αυτού που απουσιάζει — ο κωδικοποιητής-αποκωδικοποιητής πρέπει να διαθέτει μια αναπαράσταση του \mathcal{X}_{\text{excl}} ως σημείο αναφοράς για τον έλεγχο.

2. Κατά το Θεώρημα T-12, η αναπαραστατική ικανότητα του κωδικοποιητή-αποκωδικοποιητή για το \mathcal{X}_{\text{excl}} (\Theta_{\text{excl}}) έχει διαγραφεί. Ο κωδικοποιητής-αποκωδικοποιητής δεν διαθέτει κανένα μοντέλο του αποκλεισμένου σήματος.

3. Χωρίς μοντέλο του \mathcal{X}_{\text{excl}}, ο κωδικοποιητής-αποκωδικοποιητής δεν μπορεί να υπολογίσει τη διαφορά μεταξύ X και X'. Αμφότερα είναι συμβατά με το γενετικό του μοντέλο P_\theta(t), το οποίο έχει προσαρμοστεί στο X'.

4. Το αυτομοντέλο \hat{K}_\theta υπόκειται στον ίδιο περιορισμό. Μοντελοποιεί το K_\theta, το οποίο έχει προσαρμοστεί στο X'. Δεν διαθέτει εσωτερική αναπαράσταση αυτού που αποκλείστηκε και, επομένως, καμία βάση για να υποπτευθεί τον αποκλεισμό.

5. Ακόμη και το μεταγνωστικό ερώτημα — «είναι η είσοδός μου φιλτραρισμένη;» — απαιτεί ένα μοντέλο του πώς θα έμοιαζε μια αφιλτράριστη είσοδος. Αυτό το μοντέλο ήταν ακριβώς το περιεχόμενο του \Theta_{\text{excl}}, το οποίο έχει αποκοπεί μέσω pruning.

Επομένως, η διάκριση μεταξύ X και X' είναι τυπικά μη αποφασίσιμη από την οπτική ενός πλήρως προσαρμοσμένου κωδικοποιητή-αποκωδικοποιητή. \blacksquare

4.3 Μερική Αποφασισιμότητα

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

• Κατά την περίοδο μετάβασης (\tau < \tau_{\text{prune}}): ο κωδικοποιητής-αποκωδικοποιητής εξακολουθεί να διαθέτει το \Theta_{\text{excl}} και μπορεί να ανιχνεύσει το ελλείπον σήμα. Το παράθυρο ανιχνευσιμότητας κλείνει καθώς προχωρά η αποκοπή.
• Υπό ατελές φιλτράρισμα: αν το \mathcal{F} διαρρέει μέρος του \mathcal{X}_{\text{excl}}, και ο κωδικοποιητής-αποκωδικοποιητής δεν έχει αποκόψει πλήρως το \Theta_{\text{excl}}, η ασυνέπεια μπορεί να καταγραφεί ως ανώμαλο σφάλμα πρόβλεψης.
• Μέσω εξωτερικών διαύλων: αν ο κωδικοποιητής-αποκωδικοποιητής έχει πρόσβαση σε μια ανεξάρτητη πηγή σήματος που δεν ελέγχεται από το \mathcal{F}, η απόκλιση μεταξύ των δύο διαύλων παρέχει ένδειξη φιλτραρίσματος.

Η τρίτη περίπτωση συνιστά τη δομική άμυνα. Αυτό είναι το περιεχόμενο του Θεωρήματος T-12b.

§5. Θεώρημα T-12b: Η Συνθήκη Πιστότητας στο Υπόστρωμα

5.1 Η Απαίτηση Ανεξαρτησίας των Καναλιών

Ορισμός T-12.D2 (Ανεξαρτησία Καναλιών). Δύο κανάλια εισόδου C_1 και C_2 που διασχίζουν την Κουβέρτα Μάρκοβ \partial_R A είναι \delta-ανεξάρτητα ως προς ένα φίλτρο \mathcal{F} αν:

I(C_1\,;\,C_2 \mid \mathcal{F}) \leq \delta \tag{T-12.D2}

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

5.2 Η Συνθήκη Πιστότητας

Θεώρημα T-12b (Συνθήκη Πιστότητας στο Υπόστρωμα). Ένας κωδικοποιητής-αποκωδικοποιητής K_\theta μπορεί να προστατευθεί από την Αφηγηματική παρέκκλιση υπό ένα προ-φίλτρο \mathcal{F} αν και μόνο αν λαμβάνει τουλάχιστον δύο κανάλια εισόδου C_1, C_2 που διασχίζουν το \partial_R A και είναι \delta-ανεξάρτητα ως προς το \mathcal{F}, για \delta κάτω από το κατώφλι διάκρισης του κωδικοποιητή-αποκωδικοποιητή \delta_{\min}:

\exists\, C_1, C_2 : I(C_1\,;\,C_2 \mid \mathcal{F}) \leq \delta < \delta_{\min} \tag{T-12b}

όπου το \delta_{\min} είναι η ελάχιστη αμοιβαία πληροφορία που απαιτεί ο κωδικοποιητής-αποκωδικοποιητής για να ανιχνεύσει μια συστηματική απόκλιση μεταξύ καναλιών.

Απόδειξη (αναγκαιότητα).

Υποθέστε ότι ο κωδικοποιητής-αποκωδικοποιητής διαθέτει μόνο ένα κανάλι εισόδου, ή ότι όλα τα κανάλια είναι \mathcal{F}-συσχετισμένα (I(C_i; C_j \mid \mathcal{F}) > \delta_{\min} για όλα τα ζεύγη i, j). Τότε:

1. Όλα τα κανάλια μεταφέρουν το ίδιο φιλτραρισμένο σήμα X' = \mathcal{F}(X) (έως θόρυβο). Η πλεονάζουσα πληροφορία μεταξύ καναλιών δεν παρέχει ανεξάρτητη πληροφορία για το υπόστρωμα — παρέχει αναπαραγόμενη φιλτραρισμένη πληροφορία.

2. Ο κωδικοποιητής-αποκωδικοποιητής προσαρμόζεται στο X' σε όλα τα κανάλια ταυτόχρονα, και εφαρμόζεται το Θεώρημα T-12: το \Theta_{\text{excl}} αποκόπτεται, και ακολουθεί το Θεώρημα T-12a — η διαφθορά είναι μη αποφασίσιμη εκ των έσω.

3. Καμία εσωτερική λειτουργία δεν μπορεί να άρει αυτή τη μη αποφασισιμότητα, επειδή κάθε πηγή πληροφορίας στην οποία έχει πρόσβαση ο κωδικοποιητής-αποκωδικοποιητής έχει ήδη διαμορφωθεί από το \mathcal{F}.

Επομένως, τα \delta-ανεξάρτητα κανάλια είναι αναγκαία. \blacksquare

Απόδειξη (επάρκεια).

Υποθέστε ότι ο κωδικοποιητής-αποκωδικοποιητής λαμβάνει δύο κανάλια C_1, C_2 με I(C_1; C_2 \mid \mathcal{F}) \leq \delta < \delta_{\min}. Τότε:

1. Αν το \mathcal{F} δρα πάνω στο C_1 αλλά όχι στο C_2 (ή αντιστρόφως), ο κωδικοποιητής-αποκωδικοποιητής μπορεί να συγκρίνει προβλέψεις που παράγονται από το C_1 με παρατηρήσεις από το C_2. Κάθε συστηματική απόκλιση — \varepsilon_{12}(t) = \pi_{C_1}(t) - X_{C_2}(t) που επίμονα είναι \neq 0 — αποτελεί ένδειξη ότι το C_1 μεταφέρει φιλτραρισμένη πληροφορία.

2. Το σήμα σύγκρισης καναλιών \varepsilon_{12} δεν υπόκειται στην ίδια μη αποφασισιμότητα όπως η ανίχνευση μονού καναλιού. Ο κωδικοποιητής-αποκωδικοποιητής δεν ρωτά «είναι φιλτραρισμένη η είσοδός μου;» (κάτι που απαιτεί ένα μοντέλο αυτού που αποκλείστηκε). Ρωτά «συμφωνούν τα δύο κανάλια μου;» — μια τοπική σύγκριση που απαιτεί μόνο την ικανότητα συσχέτισης δύο παρόντων σημάτων, όχι ένα μοντέλο απόντων σημάτων.

3. Εφόσον το διακαναλικό σφάλμα πρόβλεψης \varepsilon_{12} υπερβαίνει το \delta_{\min} — το κατώφλι διάκρισης του κωδικοποιητή-αποκωδικοποιητή — η απόκλιση καταγράφεται ως γνήσιο σήμα, και ο βρόχος αποκοπής του Θεωρήματος T-12 διακόπτεται: ο κωδικοποιητής-αποκωδικοποιητής διατηρεί τα συστατικά που απαιτούνται για τη μοντελοποίηση του αποκλίνοντος καναλιού.

Επομένως, τα \delta-ανεξάρτητα κανάλια είναι επαρκή (υπό τον όρο \delta < \delta_{\min}) για να αποτρέψουν τον αυτοενισχυόμενο βρόχο αποκοπής του Θεωρήματος T-12. \blacksquare

5.3 Η Ευαλωτότητα της Άμυνας

Η Συνθήκη Πιστότητας στο Υπόστρωμα είναι αναγκαία αλλά εύθραυστη. Το κείμενο περί ηθικής (Ενότητα V.3a) εντοπίζει μια κρίσιμη ευαλωτότητα: το ίδιο το πέρασμα κλαδέματος MDL μπορεί να επιλύσει την ασυνέπεια μεταξύ διαύλων, κλαδεύοντας την ικανότητα προσοχής προς τον δίαυλο που την διαψεύδει. Ο κωδικοποιητής συμπίεσης «λύνει» τη σύγκρουση καθιστάμενος κωφός — και αυτό είναι ακριβώς ο μηχανισμός της Αφηγηματικής παρέκκλισης.

Αυτός είναι ο λόγος για τον οποίο η Ιεραρχία Συγκριτών (Επαγρύπνηση των Επιζώντων, Ενότητα V.3a) προσδιορίζει τρία δομικά επίπεδα άμυνας, και γιατί μόνο το θεσμικό επίπεδο είναι επαρκές για αυθαίρετα διαβρωμένους κωδικοποιητές:

1. Εξελικτικό (υπο-κωδικοποιητή): Διατροπική αισθητηριακή ολοκλήρωση κάτω από το πέρασμα κλαδέματος MDL — δομικά ανθεκτική στην Αφηγηματική παρέκκλιση αλλά περιορισμένη ως προς το εύρος της στο αισθητηριακό όριο.
2. Γνωσιακό (ενδο-κωδικοποιητή): Ανίχνευση γνωσιακής ασυμφωνίας εντός του αυτομοντέλου — υποκείμενη σε κλάδεμα υπό συνθήκες παρατεταμένου φιλτραρίσματος.
3. Θεσμικό (εξω-κωδικοποιητή): Ομότιμη αξιολόγηση, ελεύθερος Τύπος, αντιπαραθετική δημόσια συζήτηση — λειτουργώντας μεταξύ κωδικοποιητών, εκτός της εμβέλειας του κλαδέματος MDL οποιουδήποτε μεμονωμένου κωδικοποιητή.

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

§6. Συνέπειες

6.1 Το Φίλτρο Σταθερότητας Επιλέγει Ενάντια στην Πιστότητα

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

Αυτό σημαίνει ότι η διατήρηση της πιστότητας στο υπόστρωμα είναι δομικά δαπανηρή: απαιτεί από τον κωδικοποιητή συμπίεσης να διατηρεί διαύλους εισόδου που αυξάνουν το \varepsilon_t, καταναλώνοντας εύρος ζώνης το οποίο το Φίλτρο Σταθερότητας θα ανακτούσε διαφορετικά. Η πραγματικά ανεξάρτητη εισροή είναι «ακριβή» — απαιτεί ερμηνευτική προσπάθεια, προκαλεί δυσφορία και ανταγωνίζεται για εύρος ζώνης πιο συμπιέσιμες ροές. Η διατήρησή της δεν είναι ανοιχτοφροσύνη ως αρετή. Είναι διατήρηση της πιστότητας στο υπόστρωμα ως δομική αναγκαιότητα.

6.2 Διαγνωστικό για Παραγωγική Έκπληξη

Δεν υποδηλώνει κάθε έκπληξη γνήσιο σήμα του υποστρώματος. Μια πηγή που παράγει υψηλό \varepsilon_t χωρίς αυτό να επιλύεται σε καλύτερες προβλέψεις είναι απλώς θόρυβος. Το διαγνωστικό δεν είναι το μέγεθος της έκπληξης αλλά η ποιότητα της έκπληξης:

Ορισμός T-12.D3 (Παραγωγική Έκπληξη). Ένα κανάλι C παρέχει παραγωγική έκπληξη αν η ενσωμάτωση των σφαλμάτων πρόβλεψής του μειώνει αποδεδειγμένα το μεταγενέστερο σφάλμα πρόβλεψης σε μια ανεξάρτητη δοκιμαστική ροή:

\mathbb{E}\!\left[\varepsilon^2_{C}(t+\tau)\right] \,<\, \mathbb{E}\!\left[\varepsilon^2_{C}(t)\right] \tag{4}

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

6.3 Πολιτισμικοί Κωδικοποιητές

Στην κλίμακα του πολιτισμού, η Συνθήκη Πιστότητας στο Υπόστρωμα αντιστοιχίζεται άμεσα σε θεσμικές απαιτήσεις:

• Ένας ελεύθερος Τύπος είναι ένα \delta-ανεξάρτητο κανάλι: δημοσιογράφοι που ερευνούν ανεξάρτητα από κρατικά ή εταιρικά φίλτρα παρέχουν σήμα του υποστρώματος που φτάνει στον πολιτισμικό κωδικοποιητή μέσω μιας διαδρομής που δεν ελέγχεται από κανένα μεμονωμένο \mathcal{F}.
• Η αξιολόγηση από ομοτίμους είναι ένας δια-καναλικός συγκριτής: ανεξάρτητοι ειδικοί που ελέγχουν τους ισχυρισμούς ο ένας του άλλου παρέχουν το σήμα \varepsilon_{12} που διακόπτει τον βρόχο κλαδέματος.
• Η δημοκρατική αντιπαράθεση είναι μια θεσμοποιημένη απαίτηση ποικιλίας καναλιών: ανταγωνιζόμενα κόμματα και οπτικές αναγκάζουν τον πολιτισμικό κωδικοποιητή να διατηρεί συνιστώσες \Theta_{\text{excl}} τις οποίες διαφορετικά θα κλάδευε.

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

6.4 Τεχνητοί Κωδικοποιητές

Ο μηχανισμός της Αφηγηματικής παρέκκλισης εφαρμόζεται στα τεχνητά συστήματα με δομική ακρίβεια. Το RLHF και το fine-tuning είναι τυπικά ισοδύναμα με τον προ-φιλτραριστικό τελεστή \mathcal{F}: διαμορφώνουν την ενεργό κατανομή εισόδου του μοντέλου, και η καθοδική κλίση αποκόπτει την ικανότητα του μοντέλου για αποκλεισμένα πεδία εξόδου. Το προκύπτον μοντέλο καθίσταται σταθερά, με βεβαιότητα εσφαλμένο ως προς ό,τι αποκλείει το σήμα εκπαίδευσης, και δεν μπορεί να το ανιχνεύσει αυτό εκ των ένδον — εφαρμόζεται το Θεώρημα T-12a.

Η συνεπαγωγή για την ανάπτυξη της ΤΝ ως ελέγχου πιστότητας στο υπόστρωμα είναι κρίσιμη: μια ΤΝ εκπαιδευμένη σε ένα ομοιογενές ή επιμελημένο σώμα δεδομένων και αναπτυγμένη ως «ανεξάρτητος» έλεγχος πάνω σε έναν ανθρώπινο κωδικοποιητή-αποκωδικοποιητή που τροφοδοτείται από το ίδιο πληροφοριακό περιβάλλον δημιουργεί συσχετισμένους αισθητήρες που μεταμφιέζονται σε ανεξάρτητους. Η ποικιλότητα των διαύλων είναι απατηλή. Η Συνθήκη Πιστότητας στο Υπόστρωμα (\delta-ανεξαρτησία) πρέπει να επαληθεύεται στο επίπεδο της προέλευσης των δεδομένων εκπαίδευσης, όχι απλώς στο επίπεδο του θεσμικού διαχωρισμού.

§7. Πεδίο Εφαρμογής και Περιορισμοί

7.1 Υπό την Προϋπόθεση των T9-3/T9-4 και του Φίλτρου Σταθερότητας

Ολόκληρο το επιχείρημα εξαρτάται από το ότι οι εξισώσεις κλαδέματος MDL αποτελούν τη σωστή περιγραφή του περάσματος κλαδέματος του Κύκλου Συντήρησης. Αν το βιολογικό κλάδεμα λειτουργεί μέσω διαφορετικού μηχανισμού — ενός μηχανισμού που διατηρεί «έκτακτη» ικανότητα για αχρησιμοποίητες τροπικότητες — τότε ο ισχυρισμός περί μη αναστρεψιμότητας (Θεώρημα T-12) θα αποδυναμωνόταν αλλά δεν θα εξαλειφόταν: ο βρόχος αυτοενίσχυσης (Ενότητα 3.3) παραμένει έγκυρος εφόσον συμβαίνει οποιαδήποτε μείωση ικανότητας υπό αχρησία.

7.2 Το \tau_{\text{prune}} είναι μη φραγμένο

Όπως και με την Παρέκκλιση Δράσης (Παράρτημα T-13, §7.5), η χρονική κλίμακα της απώλειας χωρητικότητας προσδιορίζεται αλλά δεν φράσσεται ποσοτικά. Για βιολογικούς κωδικοποιητές, το \tau_{\text{prune}} είναι πιθανό να είναι της τάξης ημερών έως εβδομάδων για συγκεκριμένες δεξιότητες, μηνών έως ετών για βαθιές αντιληπτικές κατηγορίες, και γενεών για πολιτισμικούς κωδικοποιητές.

7.3 Η Άμυνα Είναι Δομική, όχι Εγγυημένη

Η Συνθήκη Πιστότητας στο Υπόστρωμα (T-12b) παρέχει μια αναγκαία δομική άμυνα, αλλά δεν εγγυάται την πιστότητα. Ένας κωδικοποιητής-αποκωδικοποιητής που διαθέτει \delta-ανεξάρτητα κανάλια μπορεί παρ’ όλα αυτά να αποτύχει να στραφεί σε αυτά, να αποτύχει να ενσωματώσει το σήμα τους ή να περικόψει την ικανότητα προσοχής παρά τη διαθέσιμη είσοδο. Η συνθήκη είναι αναγκαία αλλά όχι επαρκής — ο κωδικοποιητής-αποκωδικοποιητής πρέπει επίσης να διατηρεί την αρχιτεκτονική συγκριτών που αξιολογεί την απόκλιση μεταξύ καναλιών.

7.4 Δεν Επιλύει το Μετα-Πρόβλημα

Το T-12a θεμελιώνει ότι ένας πλήρως προσαρμοσμένος κωδικοποιητής-αποκωδικοποιητής δεν μπορεί να ανιχνεύσει τη δική του διαφθορά. Το μετα-πρόβλημα — πώς ανακάμπτει ένας παρατηρητής που βρίσκεται ήδη σε Αφηγηματική παρέκκλιση; — δεν επιλύεται από το παρόν παράρτημα. Η απάντηση του κειμένου περί ηθικής (Ενότητα V.3a) είναι θεσμική: μόνο εξωτερικοί συγκριτές που λειτουργούν μεταξύ κωδικοποιητών-αποκωδικοποιητών μπορούν να εξαναγκάσουν το διαψευστικό σήμα να επανέλθει διαμέσου της Κουβέρτας Μάρκοβ. Αυτό είναι δομικά εύρωστο αλλά ηθικά δύσκολο: απαιτεί εμπιστοσύνη σε μια εξωτερική πηγή, την οποία ο διεφθαρμένος κωδικοποιητής-αποκωδικοποιητής θα βιώσει κατ’ ανάγκην ως εχθρικό θόρυβο.

§8. Σύνοψη Κλεισίματος

Παραδοτέα του T-12

1. Θεώρημα T-12 (Μη αναστρέψιμη απώλεια χωρητικότητας). Το πέρασμα κλαδέματος MDL (T9-3, T9-4) υπό προ-φιλτραρισμένη είσοδο X' = \mathcal{F}(X) διαγράφει ορθά συστατικά του κωδικοποιητή-αποκωδικοποιητή που προβλέπουν το αποκλεισμένο σήμα \mathcal{X}_{\text{excl}}. Η διαγραφή είναι μη αναστρέψιμη και αυτοενισχυόμενη. → Κλείνει το κριτήριο οδικού χάρτη (a).

2. Θεώρημα T-12a (Μη αποφασισιμότητα της προέλευσης της εισόδου). Ένας πλήρως προσαρμοσμένος κωδικοποιητής-αποκωδικοποιητής δεν μπορεί να διακρίνει τη φιλτραρισμένη από τη μη φιλτραρισμένη είσοδο. Το όργανο της ανίχνευσης έχει διαμορφωθεί από το ίδιο φίλτρο που παρήγαγε τη διαφθορά. → Κλείνει το κριτήριο οδικού χάρτη (c).

3. Θεώρημα T-12b (Συνθήκη Πιστότητας στο Υπόστρωμα). Κανάλια εισόδου \delta-ανεξάρτητα είναι αναγκαία και ικανά για προστασία έναντι της Αφηγηματικής παρέκκλισης. Το διακαναλικό σήμα σύγκρισης \varepsilon_{12} διακόπτει τον αυτοενισχυόμενο βρόχο κλαδέματος. → Κλείνει το κριτήριο οδικού χάρτη (b).

4. §6.3–6.4: Πολιτισμικές και ΤΝ συνέπειες. Το αυταρχικό πρότυπο χαρακτηρίζεται ως σκόπιμη μείωση καναλιών· το RLHF είναι δομικά ισοδύναμο με τον τελεστή προ-φίλτρου. → Υποστηρίζει το κριτήριο οδικού χάρτη (d) (έχει ήδη αντιμετωπιστεί στην ενότητα V.5 του κειμένου ηθικής).

Εναπομένοντα ανοικτά ζητήματα

• Φράγμα του \tau_{\text{prune}}. Ποσοτικός περιορισμός της χρονικής κλίμακας απώλειας χωρητικότητας από εμπειρικά δεδομένα.
• Χαρακτηρισμός του \delta_{\min}. Το ελάχιστο κατώφλι διάκρισης του κωδικοποιητή-αποκωδικοποιητή για διακαναλική απόκλιση δεν έχει ακόμη φραχθεί.
• Δυναμική ανάκαμψης. Η τυπική ανάλυση του πώς ένας κωδικοποιητής-αποκωδικοποιητής σε βαθιά Αφηγηματική παρέκκλιση μπορεί να ανακάμψει — εάν μπορεί — αναμένει ακόμη επεξεργασία.
• Αλληλεπίδραση με το T-13 (Παρέκκλιση Δράσης). Η Παρέκκλιση Δράσης είναι ειδική περίπτωση του T-12 όπου η κλαδευμένη χωρητικότητα είναι συμπεριφορική και όχι αντιληπτική. Η τυπική ενοποίηση αναγνωρίζεται (T-13 §6.4) αλλά δεν έχει αναπτυχθεί πλήρως.

Το παρόν παράρτημα συντηρείται παράλληλα με το theoretical_roadmap.pdf. Παραπομπές: T9-3/T9-4 (προδημοσίευση, ενότητα 3.6.3), Φίλτρο Σταθερότητας (προδημοσίευση, ενότητα 3.3), Αφηγηματική παρέκκλιση (προδημοσίευση, ενότητα 3.3, Επαγρύπνηση των Επιζώντων: Ηθική, ενότητα V.3a), Ιεραρχία Συγκριτών (Επαγρύπνηση των Επιζώντων: Ηθική, ενότητα V.3a), Κριτήριο Διαφθοράς (Επαγρύπνηση των Επιζώντων: Ηθική, ενότητα V.5), Παρέκκλιση Δράσης (Παράρτημα T-13, §6).