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

Αρχικό Καθήκον T-3: Δίκτυα Τανυστών MERA και ο Αιτιακός Κώνος Πρόβλημα: Η OPT προτείνει έναν Πληροφοριακό αιτιακό κώνο αποτελούμενο από διαδοχική συμπίεση, αλλά στηρίζεται σε μια κατά παραγγελία γεωμετρική περιγραφή αντί για τυπικούς κβαντικούς τανυστικούς φορμαλισμούς. Παραδοτέο: Τυπική αντιστοίχιση του Πληροφοριακού αιτιακού κώνου της OPT στη δομή του δικτύου τανυστών MERA.

Κατάσταση περάτωσης: ΥΠΟ ΟΡΟΥΣ ΙΣΟΜΟΡΦΙΣΜΟΣ (επιβεβαιώθηκε δομικός ομομορφισμός· ο αυστηρός φυσικός ισομορφισμός αναβαθμίστηκε υπό όρους μέσω του P-2). Το παρόν παράρτημα παρέχει τη στοχευόμενη δομική αντιστοίχιση που απαιτείται από το T-3. Τρία θεωρήματα θεμελιώνουν μια ισχυρή τοπολογική αναλογία: (T-3a) η επαναληπτική αδροποίηση του Φίλτρου Σταθερότητας της OPT είναι δομικά ομομορφική προς ένα δίκτυο τανυστών MERA· (T-3b) ο Πληροφοριακός αιτιακός κώνος της §3.3 αντιστοιχεί, ως προς την τάξη μεγέθους, στον αιτιακό κώνο του MERA· και (T-3c) το Σύνολο μελλοντικών διακλαδώσεων αντιστοιχίζεται δομικά στους μη ανακανονικοποιημένους βαθμούς ελευθερίας του ορίου. Η μαθηματική ανύψωση αυτού του αμιγώς στοχαστικού δομικού ομομορφισμού στις αυστηρές ισομετρίες χώρου Hilbert που απαιτούνται για ένα γνήσιο διακριτό φράγμα Ryu-Takayanagi παρέμενε αρχικά ανοικτή, αλλά πλέον έχει επιλυθεί υπό όρους μέσω της ρητής ενσωμάτωσης υπολογιστικής βάσης και των γεφυρωτικών αξιωμάτων Ταυτοποίησης Ισομετρίας που θεμελιώθηκαν διαδοχικά στο πρόβλημα P-2.

§1. Η Πολυστρωματική Δομή Συμπίεσης

Η §3.3 του preprint ορίζει τον παρατηρητή της Θεωρίας του Διατεταγμένου Patch (OPT) μέσω μίας και μόνης βελτιστοποίησης συμφόρησης (Εξ. 4): μια συμπιεσμένη κατάσταση Z_t \in \{1, \ldots, 2^B\} επιλέγεται από την πλήρη οριακή κατάσταση X_t ώστε να μεγιστοποιεί την προγνωστική πληροφορία με ελάχιστο μήκος περιγραφής. Αυτό που η §3.3 δεν καθιστά ρητό είναι ότι η διαδρομή από το X_{\partial A} στο Z_t αποσυντίθεται φυσικά σε έναν καταρράκτη στρωμάτων συμπίεσης — καθένα από τα οποία απορρίπτει συσχετίσεις βραχείας εμβέλειας που είναι άσχετες προς την πρόγνωση στην επόμενη κλίμακα. Αυτή η ιεραρχική δομή αποτελεί την πλευρά της OPT στην αντιστοιχία MERA.

1.1 Ο Καταρράκτης Στενωπού L Επιπέδων

Έστω s \geq 2 ένας σταθερός συντελεστής αδροποίησης και L ο συνολικός αριθμός επιπέδων συμπίεσης. Ορίζουμε τον καταρράκτη:

Z_t^{(0)} := X_{\partial_R A} \qquad \text{(επίπεδο 0: πλήρες όριο Μάρκοβ, } H = B_0 \text{ bits)}

Σε κάθε επόμενο επίπεδο \tau = 0, \ldots, L-1:

Z_t^{(\tau+1)} = \operatorname*{arg\,min}_{q} \left[ I\!\left(Z_t^{(\tau)} \,;\, Z_t^{(\tau+1)}\right) - \beta_\tau\, I\!\left(Z_t^{(\tau+1)} \,;\, X_{t+1:\infty}\right) \right]

\text{υπό τον περιορισμό: } I\!\left(Z_t^{(\tau)} \,;\, Z_t^{(\tau+1)}\right) \leq B_\tau, \qquad B_\tau = B_0 \cdot s^{-\tau}

Η τελική κατάσταση είναι η Z_t := Z_t^{(L)}, με B_L = B_0 \cdot s^{-L} bits. Ο καταρράκτης ορίζει μια αλυσίδα Μάρκοβ:

X_{t+1:\infty} \;-\!\!-\; Z_t^{(0)} \;-\!\!-\; Z_t^{(1)} \;-\!\!-\; \cdots \;-\!\!-\; Z_t^{(L)} = Z_t

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

I\!\left(Z_t^{(\tau)} \,;\, X_{t+1:\infty}\right) \geq I\!\left(Z_t^{(\tau+1)} \,;\, X_{t+1:\infty}\right)

Κάθε επίπεδο χάνει μια ελεγχόμενη ποσότητα προγνωστικής πληροφορίας — ελεγχόμενη από τον προϋπολογισμό παραμόρφωσης D_\tau του στενωπού αυτού του επιπέδου.

1.2 Αποσύνθεση σε Αποδιαπλοκή-και-έπειτα-Χονδροκοκκοποίηση

Κάθε μετάβαση στρώματος Z^{(\tau)} \to Z^{(\tau+1)} αποσυντίθεται σε δύο κανονικά βήματα:

• Αποδιαπλοκή: Εφαρμόστε μια τοπική αντιστρέψιμη αναδιάταξη, μοντελοποιημένη ως απεικόνιση μεταθέσεως U_\tau \in S_{|\mathcal{Z}|} επί του Z^{(\tau)}, η οποία φέρνει αμοιβαία άσχετους κλάδους του Συνόλου μελλοντικών διακλαδώσεων — κλάδους που δεν μοιράζονται καμία προγνωστική πληροφορία για το μέλλον — σε γειτονικές θέσεις. Αυτό το κλασικό βήμα είναι αντιστρέψιμο· δεν χάνεται καμία πληροφορία.

• Χονδροκοκκοποίηση (απεικόνιση bottleneck): Διαμερίστε τις καταστάσεις σε ομάδες των s και εφαρμόστε την κλασική στοχαστική απεικόνιση συμπίεσης bottleneck W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) σε κάθε ομάδα. Η διάσταση δεσμού ορίζεται ως \chi = 2^{B_0/N}, όπου N είναι ο αριθμός των οριακών θέσεων. Για να λειτουργεί τυπικά ως ακριβής διακριτή τανυστική διάσταση χώρου Hilbert και όχι ως αποτελεσματική συνεχής κλίμακα, το πλαίσιο επιβάλλει αυστηρά τον διοφαντικό περιορισμό 2^{B_0/N} \in \mathbb{Z}^+. Αυτό διασφαλίζει ρητά ότι η ακριβής ακέραιη διάσταση \chi αποδίδει εντροπία ανά θέση \log \chi = B_0/N, γεωμετρικά συνεπή με το πρόγραμμα χωρητικότητας B_\tau = B_0 \cdot s^{-\tau}. Σημείωση: Οι κβαντικές δομές-στόχοι που χρησιμοποιούνται στην §2 είναι η ισομετρία MERA w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s} (της οποίας ο συζυγής τελεστής w_\tau^\dagger υλοποιεί τη χονδροκοκκοποίηση) και ο αποδιαπλεκτής u_\tau. Οι απεικονίσεις της §1 W_\tau: \mathcal{Z}^s \to \Delta(\mathcal{Z}) και U_\tau \in S_{|\mathcal{Z}|} είναι τα κλασικά αντικείμενα της OPT. Η εμβύθιση που τα συνδέει θεμελιώνεται στο Παράρτημα P-2.

Η σύνθεση W_\tau \circ U_\tau σε κάθε στρώμα, στοιβαγμένη για \tau = 0, \ldots, L-1, συνιστά το πλήρες τανυστικό δίκτυο. Δείχνουμε τώρα ότι αυτό είναι ακριβώς το MERA.

§2. MERA — Τυπικοί Ορισμοί

Παραθέτουμε τους σχετικούς ορισμούς από τον Vidal (2008) [43] σε μορφή κατάλληλη για την αντιστοίχιση της OPT.

2.1 Τανυστές

Ένα MERA για μια μονοδιάστατη αλυσίδα από N οριακές θέσεις με τοπικό χώρο Hilbert \mathbb{C}^\chi αποτελείται από L στρώματα. Κάθε στρώμα \tau περιέχει δύο κατηγορίες τανυστών:

• Αποπλεκτές u_\tau: μοναδιαίοι τανυστές u_\tau: (\mathbb{C}^\chi)^{\otimes 2} \to (\mathbb{C}^\chi)^{\otimes 2} που δρουν σε γειτονικά ζεύγη θέσεων. Αφαιρούν τη βραχείας εμβέλειας διεμπλοκή χωρίς να μεταβάλλουν τη συνολική διάσταση του χώρου Hilbert. Μοναδιαίοτητα: u^\dagger u = u u^\dagger = I.

• Ισομετρίες w_\tau: τανυστές w_\tau: \mathbb{C}^\chi \to (\mathbb{C}^\chi)^{\otimes s} που ικανοποιούν w_\tau^\dagger w_\tau = I_{\mathbb{C}^\chi} (ισομετρικοί: η απεικόνιση είναι έγχυση από τον αδροποιημένο χώρο στον λεπτομερή χώρο). Ο συζυγής τελεστής w_\tau^\dagger: (\mathbb{C}^\chi)^{\otimes s} \to \mathbb{C}^\chi υλοποιεί την αδροποίηση, απεικονίζοντας s λεπτομερείς θέσεις σε 1 αδροποιημένη θέση.

Το πλήρες MERA απεικονίζει την κορυφαία κατάσταση |\psi_{\text{top}}\rangle \in \mathbb{C}^\chi (το bulk) στην οριακή κατάσταση |\psi_{\text{boundary}}\rangle \in (\mathbb{C}^\chi)^{\otimes N} εφαρμόζοντας τα στρώματα από το bulk προς το όριο, με κάθε στρώμα να επεκτείνει τον χώρο καταστάσεων κατά παράγοντα s.

2.2 Ο Αιτιακός Κώνος της MERA

Ο αιτιακός κώνος \mathcal{C}(x) ενός οριακού σημείου x \in \{1, \ldots, N\} είναι το ελάχιστο σύνολο τανυστών στο δίκτυο των οποίων οι τιμές μπορούν να επηρεάσουν τον ανηγμένο πίνακα πυκνότητας \rho_x του σημείου x. Υπολογίζεται από κάτω προς τα πάνω (από το bulk προς το όριο).

Στο στρώμα του bulk (βάθος \tau = L από το όριο): η \mathcal{C}(x) περιέχει τον μοναδικό κορυφαίο τανυστή. Σε κάθε επόμενο στρώμα καθώς προχωρούμε προς το όριο, ο αιτιακός κώνος διαστέλλεται κατά παράγοντα s σε κάθε στρώμα ισομετριών και κατά το πολύ κατά 2 σε κάθε στρώμα disentanglers. Το πλάτος της \mathcal{C}(x) σε οριακό βάθος \tau από την κορυφή είναι:

w(\tau) = \mathcal{O}(s^\tau) \qquad \text{[αυξάνεται εκθετικά από το bulk προς το όριο]}

Για την κρίσιμη MERA (s = 2), το πλάτος του αιτιακού κώνου αυξάνεται ως 2^\tau στο βάθος \tau, και έπειτα από L στρώματα φθάνει στο πλήρες οριακό πλάτος N = s^L.

2.3 Εντροπία Εμπλοκής και η Ελάχιστη Τομή

Για μια συνεχή οριακή περιοχή A μήκους |A| = l, η εντροπία εμπλοκής S(A) σε μια κατάσταση MERA φράσσεται από τον αριθμό των δεσμών που τέμνονται από την ελάχιστη επιφάνεια \gamma_A μέσω του εσωτερικού του τανυστικού δικτύου:

S(A) \leq |\gamma_A| \cdot \log \chi

όπου |\gamma_A| είναι ο αριθμός των δεσμών στην ελάχιστη τομή και \chi είναι η διάσταση δεσμού. Για ένα αναλλοίωτο ως προς την κλίμακα MERA, |\gamma_A| \sim \frac{c}{3} \log l, ανακτώντας την εντροπία εμπλοκής CFT S(A) \sim \frac{c}{3} \log l με c/3 = \log \chi. Αυτό είναι το διακριτό ανάλογο του τύπου Ryu-Takayanagi στο AdS/CFT.

§3. Θεώρημα T-3a — Δομικός Ομομορφισμός

Θεώρημα T-3a (Ομομορφισμός MERA–OPT). Ο καταρράκτης Information Bottleneck L στρωμάτων της OPT \{Z_t^{(\tau)},\, \tau = 0, \ldots, L\} με οριακή κατάσταση Z_t^{(0)} = X_{\partial_R A}, κατάσταση bulk Z_t^{(L)} = Z_t, χωρητικότητα στρώματος B_\tau = B_0 \cdot s^{-\tau}, και διάσταση δεσμού \chi = 2^{B_0/N}, είναι δομικά ομομορφικός προς την τοπολογία στρωμάτων ενός MERA με L στρώματα, συντελεστή κλίμακας s, και διάσταση δεσμού \chi, υπό την τυπική κλασική αντιστοίχιση: - (i) η αδροποίηση της OPT W_\tau \;\leftrightarrow\; ο προσαρτημένος ισομετρισμός MERA w_\tau^\dagger - (ii) ο disentangler της OPT U_\tau \;\leftrightarrow\; ο disentangler MERA u_\tau

3.1 Απόδειξη — Ταυτοποίηση Ισομετρίας

Ο τανυστής αδρομεροποίησης της Θεωρίας του Διατεταγμένου Patch (OPT) στο επίπεδο \tau υπολογίζεται μέσω της υπό συνθήκη κατανομής q^*(z^{(\tau+1)} \mid z^{(\tau)}) που παράγεται από τη βελτιστοποίηση του bottleneck. Ενώ ο συνολικός πληροφοριακός προϋπολογισμός επιβάλλει έναν μέσο μακροσκοπικό λόγο χωρητικότητας B_\tau / B_{\tau+1} = s, το κλασικό στοχαστικό bottleneck δεν επιβάλλει εγγενώς ακριβώς ομοιόμορφη πληθικότητα ινών (δηλαδή μια αυστηρή διακριτή προεικόνα ισοδύναμου μεγέθους s για κάθε έξοδο z^{(\tau+1)}). Η τυπική διατύπωση αυτού του ρητού βήματος περιορίζει, συνεπώς, την αρχιτεκτονική στο ιδεατοποιημένο όριο στενής απεικόνισης (D \to 0), υπό τη συνθήκη ότι οι παράμετροι απομονώνουν τέλεια ομοιόμορφες πληροφοριακές δομές.

Ωστόσο, το q^* παριστά μια κλασική στοχαστική πιθανοτική μήτρα και όχι μια μιγαδική κβαντική μοναδιαία μήτρα. Η αξίωση της αληθούς συνθήκης ισομετρίας στον χώρο Hilbert (W_\tau W_\tau^\dagger = I_{\mathbb{C}^\chi}) θα συνιστούσε σφάλμα κατηγορίας. Μια αληθής μερική ισομετρία απαιτεί ρητή εμβύθιση αυτών των διακριτών καταστάσεων σε μια υπολογιστική βάση πάνω στο \mathbb{C}^\chi. Παράρτημα P-2 (Υπό Συνθήκη Κβαντική Αντιστοιχία) θεμελιώνει αυτή την εμβύθιση: το Θεώρημα P-2.0 παρέχει την ταυτοποίηση της υπολογιστικής βάσης, και το Θεώρημα P-2c αποδεικνύει ότι η βέλτιστη απεικόνιση bottleneck, στο στενό όριο, δρα ως μερική ισομετρία εντός του υποχώρου που προστατεύεται από QECC. Υπό τη συνθήκη του τοπικού μοντέλου θορύβου του P-2, ο δομικός ομομορφισμός αναβαθμίζεται σε γνήσιο ισομορφισμό δικτύου τανυστών εντός του χώρου κώδικα. \blacksquare

3.2 Απόδειξη — Ταυτοποίηση του Disentangler

Ο αμιγώς κλασικός disentangler U_\tau θεμελιώνεται ως τοπική αμφιμονοσήμαντη απεικόνιση (μια μετάθεση του αλφαβήτου καταστάσεων από τη συμμετρική ομάδα S_{|\mathcal{Z}|}), η οποία αναδιατάσσει το Z^{(\tau)} ώστε να ελαχιστοποιούνται οι πλεονασμοί μεταξύ ομάδων (ισοδύναμα: η αμοιβαία πληροφορία) πριν αυτές υποστούν coarse-graining.

U_\tau = \operatorname*{arg\,min}_{U \in S_{|\mathcal{Z}|}} \sum_{j \neq k} I\!\left( U(Z^{(\tau)})_{\text{group}\, j} \,;\, U(Z^{(\tau)})_{\text{group}\, k} \right)

Αυτό αντιστοιχεί στον δομικό στόχο του disentangler της MERA: την αφαίρεση της βραχείας εμβέλειας διεμπλοκής (συσχετίσεων μεταξύ γειτονικών ομάδων) πριν από το coarse-graining. Η γνήσια μιγαδική μοναδιαίοτητα (U^\dagger U = I) θεμελιώνεται από το Θεώρημα P-2.0 (Παράρτημα P-2): υπό την ενσωμάτωση στην υπολογιστική βάση, η μετάθεση U_\tau \in S_{|\mathcal{Z}|} ανυψώνεται μοναδικά σε έναν μοναδιαίο πίνακα στο U(\mathbb{C}^\chi) μέσω της αναπαράστασης μεταθέσεων.

Επιφύλαξη (Μετάθεση έναντι Γενικού Μοναδιαίου). Το Θεώρημα P-2.0 ανυψώνει τους disentanglers της OPT στην υποομάδα μεταθέσεων του U(\mathbb{C}^\chi), όχι στην πλήρη μοναδιαία ομάδα. Οι τυπικοί disentanglers της MERA είναι γενικοί μοναδιαίοι u_\tau \in U(\mathbb{C}^\chi \otimes \mathbb{C}^\chi)· η υποομάδα μεταθέσεων είναι γνήσιο υποσύνολο (|S_\chi| = \chi! έναντι \dim U(\chi) = \chi^2 συνεχών παραμέτρων). Ο ισομορφισμός που θεμελιώνεται από τα P-2.0+P-2c είναι συνεπώς προς τη MERA μεταθέσεων — μια περιορισμένη υποκλάση. Η επέκταση στην πλήρη MERA θα απαιτούσε την ταυτοποίηση ενός εγγενούς στην OPT μηχανισμού που να παράγει γενικούς μοναδιαίους αντί για μεταθέσεις. Αυτό το κενό δεν επηρεάζει το φράγμα εντροπίας RT (P-2d), το οποίο εξαρτάται μόνο από τη συνθήκη ισομετρίας P-2c, και όχι από την κλάση των disentanglers. \blacksquare

Λεξικό Ισομορφισμού MERA–OPT

§4. Θεώρημα T-3b — Ταυτότητα Αιτιακού Κώνου

Θεώρημα T-3b (Αντιστοιχία Αιτιακού Κώνου). Υπό τον ομομορφισμό του T-3a, ο Πληροφοριακός αιτιακός κώνος της OPT (preprint §3.3) αντιστοιχεί δομικά (ως προς την κλιμάκωση τάξης μεγέθους) στον αιτιακό κώνο MERA. Το παρόν άνοιγμα Z_t αντιστοιχίζεται στον ανώτερο τανυστή του bulk· το παγιωμένο Αιτιακό Αρχείο \mathcal{R}_t αντιστοιχεί στις παρελθούσες καταστάσεις του bulk· το Σύνολο μελλοντικών διακλαδώσεων \mathcal{F}_h(z_t) αντιστοιχεί στους μη ανακανονικοποιημένους βαθμούς ελευθερίας στο όριο του MERA, σε απόσταση h στρωμάτων από το παρόν.

4.1 Κατεύθυνση της Αντιστοιχίας

Υπάρχει μια λεπτή ιδιαιτερότητα προσανατολισμού που πρέπει να διατυπωθεί με ακρίβεια. Στο MERA, το δίκτυο εκτείνεται από το όριο (UV, λεπτομερές) προς το bulk (IR, αδρομερές). Στην OPT, ο Πληροφοριακός αιτιακός κώνος εκτείνεται από το παρελθόν (καθορισμένο, συμπιεσμένο), μέσω του παρόντος ανοίγματος, προς το μέλλον (Σύνολο μελλοντικών διακλαδώσεων, μη επιλυμένο). Η αντιστοιχία είναι η εξής:

4.2 Απόδειξη — Πλάτος Αιτιακού Κώνου = Χωρητικότητα του Συνόλου μελλοντικών διακλαδώσεων

Στο MERA, ο αιτιακός κώνος της κατάστασης του bulk Z_t (σε βάθος L από το όριο) διευρύνεται καθώς κινείται προς το όριο: σε βάθος \tau στρωμάτων από την κορυφή, ο κώνος έχει πλάτος s^\tau. Αυτό μετρά τον αριθμό των θέσεων του ορίου που μπορούν να επηρεάσουν ανεξάρτητα το Z_t.

Στην OPT, το Σύνολο μελλοντικών διακλαδώσεων \mathcal{F}_h(z_t) σε βάθος h χρονικών βημάτων από το παρόν άνοιγμα περιέχει το πολύ 2^{B \cdot h} διακριτές μελλοντικές καταστάσεις (preprint Eq. 5: \log|\mathcal{F}_h| \leq Bh). Το βάθος στρωμάτων του MERA αντιστοιχεί σε \tau = h. Παρατηρούμε μια ασυμφωνία οριοθέτησης εκθετικού έναντι γραμμικού τύπου (s^\tau \cdot B/L bits στο MERA μέσω κλιμακικής διαστολής έναντι B \tau στο Σύνολο μελλοντικών διακλαδώσεων μέσω χρονολογικής προσαύξησης). Το πλάτος του αιτιακού κώνου και η χωρητικότητα του Συνόλου μελλοντικών διακλαδώσεων της OPT συμφωνούν με ανθεκτικό τρόπο ως προς την τάξη μεγέθους, αλλά βρίσκουν αυστηρή ακριβή συμφωνία μόνο στο όριο ενός κωδικοποιητή συμπίεσης μονού στρώματος (L=1). Επιπλέον, η ταύτιση της παθητικής τοπολογίας του MERA με το εξαρτώμενο από τη δράση Σύνολο μελλοντικών διακλαδώσεων συνεπάγεται ότι λειτουργούμε αποκλειστικά εντός του ορίου του παθητικού παρατηρητή (a \equiv \text{const}). \blacksquare

4.3 Απόδειξη — Αιτιακό Αρχείο = Παρελθοντικός bulk

Το παγιωμένο Αιτιακό Αρχείο \mathcal{R}_t = (Z_0, Z_1, \ldots, Z_t) (preprint §3.3) αποτελείται από όλες τις παρελθούσες συμπιεσμένες καταστάσεις — τις καταστάσεις bulk που έχουν ήδη αποδοθεί στο παγιωμένο παρελθόν. Στο MERA, αυτές αντιστοιχούν στην ακολουθία παρελθουσών καταστάσεων bulk που συνδέονται μέσω της χρονικής δυναμικής K_\theta του κωδικοποιητή συμπίεσης (preprint Eq. 6). Ο παγιωμένος, χαμηλής εντροπίας χαρακτήρας του \mathcal{R}_t αντιστοιχεί στο γεγονός ότι οι καταστάσεις bulk στο MERA έχουν χαμηλή εντροπία διεμπλοκής εκ κατασκευής — αποτελούν το αδροποιημένο αποτέλεσμα της διαδικασίας αποδιεμπλοκής. \blacksquare

§5. Θεώρημα T-3c — Το Σύνολο μελλοντικών διακλαδώσεων ως οριακό UV και ο Διακριτός Τύπος Ryu-Takayanagi

Θεώρημα T-3c (Σύνολο μελλοντικών διακλαδώσεων = οριακό UV· Διακριτό RT).

1. Το Σύνολο μελλοντικών διακλαδώσεων \mathcal{F}_h(z_t) αντιστοιχίζεται πιθανοκρατικά στο σύνολο των μη ανακανονικοποιημένων βαθμών ελευθερίας στο όριο του MERA — δηλαδή στο οριακό στρώμα UV του MERA όπως εφαρμόζεται στον κωδικοποιητή συμπίεσης στο χρονικό βήμα t + h.

2. Κλασικό Όριο Επεξεργασίας Δεδομένων (Φράγμα Τομής του Bulk): Η εντροπία της προγνωστικής τομής, όταν αξιολογείται ορθά στο εσωτερικό στρώμα ελάχιστης τομής του bulk, ικανοποιεί ρητά: S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \log \chi

3. Διακριτή Κβαντική Επέκταση RT (Υπό τον όρο της ενσωμάτωσης P-2d):

\boxed{S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi}

όπου \gamma_A είναι η επιφάνεια ελάχιστης τομής στο bulk του MERA και \chi = 2^{B_0/N} είναι η διάσταση δεσμού. Αυτό το φράγμα ισχύει υπό τον όρο της ισομετρίας P-2d· ανάγεται στο κλασικό φράγμα τομής του bulk του Μέρους (b) όταν η κβαντική δομή δεν είναι διαθέσιμη.

5.1 Απόδειξη — Το Σύνολο μελλοντικών διακλαδώσεων ως οριακό UV

Το οριακό στρώμα UV του MERA στη χρονική στιγμή t+h αποτελείται από όλες τις δυνατές καταστάσεις εισόδου X_{\partial_R A}^{(t+h)} — τις λεπτομερείς, μη αδροποιημένες οριακές καταστάσεις που θα υποβληθούν σε επεξεργασία από τον κωδικοποιητή-αποκωδικοποιητή κατά τα επόμενα h χρονικά βήματα. Λόγω της δομής καταρράκτη, αυτές είναι ακριβώς οι καταστάσεις που είναι προσπελάσιμες από το παρόν άνοιγμα Z_t = Z_t^{(L)} αν εκτελέσουμε το MERA αντίστροφα (από το bulk προς το όριο) για h στρώματα — δηλαδή, αν αναπτύξουμε τον αιτιακό κώνο του Z_t για h βήματα.

Το Σύνολο μελλοντικών διακλαδώσεων \mathcal{F}_h(z_t) ορίζεται στο preprint (§3.3) ως:

\mathcal{F}_h(z_t) := \left\{ z_{t+1:t+h} : p(z_{t+1:t+h} \mid z_t,\, a_{t:t+h-1}) > 0 \right\}

Πρόκειται ακριβώς για τις ακολουθίες καταστάσεων του bulk που είναι προσπελάσιμες από το Z_t εντός h στρωμάτων MERA, όταν ο καταρράκτης λειτουργεί πιθανοκρατικά προς την κατεύθυνση της ανάπτυξης. Η ταύτιση αυτή απαιτεί το MERA να αξιολογείται και προς τις δύο κατευθύνσεις — όριο \to bulk (συμπίεση του παρελθόντος) και bulk \to όριο (μελλοντική ανάπτυξη). Το Σύνολο μελλοντικών διακλαδώσεων αντιστοιχεί ρητά στη δεύτερη κατεύθυνση, η οποία είναι ακριβώς το σύνολο στήριξης της ανάπτυξης του αιτιακού κώνου της κατάστασης του bulk προς το οριακό UV, υπό την ταύτιση χρονικής αντιστροφής όπως σημειώνεται ορθά στην §4.1. \blacksquare

5.2 Απόδειξη — Απεικονισμένο Διακριτό Φράγμα Ryu-Takayanagi

Έστω ότι A και \bar{A} = V \setminus A αποτελούν μια διχοτόμηση του ορίου. Έστω \tau^* το ελάχιστο επίπεδο στο οποίο η διεπιφάνεια A/\bar{A} αποκόπτεται ακριβώς στο τανυστικό δίκτυο (το επίπεδο της ελάχιστης τομής). Σε αυτό το επίπεδο, η τοπική χωρητικότητα του εμφράγματος αμοιβαίας πληροφορίας περιορίζεται αυστηρά από τη χωρητικότητα εκείνων των αποκομμένων δεσμών:

S_{\text{cut}}^{(\tau^*)}(A) \leq |\gamma_A| \cdot \log \chi \qquad (\text{Ενδοομαδικό bulk φράγμα})

Παρότι αυτό θεμελιώνει επιτυχώς το διακριτό φράγμα χωρητικότητας Ryu-Takayanagi ακριβώς στο επίπεδο της ελάχιστης bulk τομής, η τυπική προώθηση αυτού του φράγματος προς τα πάνω ώστε να περιορίσει την εντροπία της προβλεπτικής τομής στο εξωτερικό όριο S_{\text{cut}}(A) = S_{\text{cut}}^{(0)}(A) δεν μπορεί να επιτευχθεί με χρήση της Ανισότητας Επεξεργασίας Δεδομένων, καθώς η DPI επιβάλλει ότι η εντροπία πρέπει να μειώνεται μονοτονικά, όχι να αυξάνεται, καθώς συμπιέζουμε προς τα κάτω: S_{\text{cut}}^{(0)} \geq S_{\text{cut}}^{(\tau^*)}.

Η ορθή οδός προς το πλήρες ζητούμενο διακριτό οριακό φράγμα RT (S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi) απαιτεί τον περιορισμό του βαθμού Schmidt κατά μήκος της διχοτόμησης — μια στρατηγική που απαιτεί να θεωρηθεί το δίκτυο ως κατασκευάζον την οριακή κατάσταση μέσω γνήσιων γραμμικών ισομετριών. Αυτό έχει πλέον θεμελιωθεί στο Παράρτημα P-2: το Θεώρημα P-2d αποδεικνύει τον διακριτό κβαντικό τύπο Ryu-Takayanagi μέσω της αποσύνθεσης Schmidt της κατάστασης MERA κατά μήκος της ελάχιστης τομής, υπό τη συνθήκη ισομετρίας του P-2c. \blacksquare (υπό τη συνθήκη ισομετρίας του P-2d).

§6. Η Επιστημική Κλίμακα — Από το Κλασικό στο Κβαντικό RT

Τα τρία παραπάνω θεωρήματα θεμελιώνουν τη δομή MERA στο κλασικό πληροφοριοθεωρητικό επίπεδο. Η Επιστημική Κλίμακα της §3.4 του preprint περιγράφει τις συνθήκες υπό τις οποίες μπορεί να αναρριχηθεί κανείς σε κάθε βαθμίδα.

Ο κβαντικός τύπος RT απαιτεί την αντικατάσταση της κλασικής εντροπίας της προγνωστικής τομής I(X_A;\, X_{V \setminus A}) με την εντροπία διεμπλοκής von Neumann S_{\text{vN}}(\rho_A) μιας μήτρας πυκνότητας \rho_A. Αυτό προϋποθέτει μια δομή χώρου Hilbert για τον χώρο καταστάσεων του Z_t. Η παραγωγή αυτής της δομής — μέσω του επιχειρήματος κβαντικής διόρθωσης σφαλμάτων ADH (preprint P-2) — παραμένει το επόμενο τυπικό βήμα. Μόλις ολοκληρωθεί το P-2, η διάσταση δεσμού \chi = 2^{B_0/N} γίνεται κβαντική διάσταση δεσμού, και η κλασική αμοιβαία πληροφορία στην απόδειξη του T-3c αντικαθίσταται από κβαντική αμοιβαία πληροφορία, ανακτώντας τον πλήρη κβαντικό τύπο RT με τον όρο διόρθωσης του bulk S_{\text{bulk}}.

§7. Αναδυόμενη Γεωμετρία Όγκου από Απόσταση Κώδικα

Η γεωμετρία όγκου MERA δεν είναι ένα προϋπάρχον δοχείο. Υπό τον ισομορφισμό του T-3a, είναι ο πληροφοριακός μετρικός χώρος του κωδικοποιητή-αποκωδικοποιητή: η γεωμετρία των αποστάσεων συμπίεσης.

7.1 Απόσταση Κώδικα ως Μετρική του Bulk

Ορίστε τη διακριτή ακέραιη απόσταση κώδικα d(z^{(\tau)}, z'^{(\tau)}) μεταξύ δύο καταστάσεων στο επίπεδο \tau του καταρράκτη ως τον ελάχιστο αριθμό ανταλλαγών disentangler που απαιτούνται για να συνδεθούν εντός του τανυστικού δικτύου.

Υπό ένα κατάλληλο θερμοδυναμικό ή συνεχές όριο (N \to \infty, a \to 0), μπορεί κανείς να προσεγγίσει τη μετρική του bulk g_{ij}^{\text{bulk}}(\tau) στη συνεχή χωρική κλίμακα επιπέδου \tau ως εξής:

g_{ij}^{\text{bulk}}(\tau) \propto \lim_{a \to 0} \frac{d\!\left(z_i^{(\tau)},\, z_j^{(\tau)}\right)^2}{d\!\left(z_i^{(0)},\, z_j^{(0)}\right)^2}

Πρόκειται για μια δομική προσδοκία, υπό την προϋπόθεση της αναλλοιωτότητας κλίμακας του καταρράκτη και της παραδοχής ότι η Permutation MERA μπορεί να προσεγγιστεί συνεχώς από μια γενική MERA στο συνεχές όριο — σε συμφωνία με τα γνωστά αποτελέσματα των Swingle (2012) και Nozaki-Ryu-Takayanagi (2012), αλλά όχι εγγυημένο για έναν διακριτό καταρράκτη με πεπερασμένο αριθμό επιπέδων. Επομένως, υπό αυτές τις εικασίες του συνεχούς ορίου, αναμένουμε ότι η γεωμετρία του χωροχρόνου θα καμπυλώνεται ακριβώς εκεί όπου η απόσταση κώδικα αποκλίνει — δηλαδή, εκεί όπου ο προγνωστικός ρυθμός R_\text{req} προσεγγίζει το C_\text{max}, σε στρατηγική συμφωνία με την ταύτιση της υπερχείλισης ρυθμού-παραμόρφωσης του T-2.

7.2 Σύνδεση με το T-2

Το T-2 έδειξε ότι η βαρυτική καμπυλότητα G_{\mu\nu} είναι η μετρική παράγωγος της εντροπίας απόδοσης S_{\text{render}}. Η δομή MERA προσδιορίζει τώρα τη μικροσκοπική προέλευση του S_{\text{render}}: πρόκειται για την εντροπία ελάχιστης τομής |\gamma_A| \log \chi, και ο τανυστής Αϊνστάιν G_{\mu\nu} είναι η απόκριση αυτής της εντροπίας τομής σε μετρικές διαταραχές στη γεωμετρία του bulk που επάγονται από την απόσταση κώδικα. Τα δύο παραρτήματα είναι, επομένως, συνεπή: το T-2 δίνει τις μακροσκοπικές εξισώσεις πεδίου· το T-3 δίνει τη μικροσκοπική προέλευση, στο επίπεδο δικτύου τανυστών, του συναρτησιακού της εντροπίας το οποίο αυτές ακρατοποιούν.

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

Παραδοτέα T-3 — Μερικώς Επιλυμένα → Υπό Όρους Αναβαθμισμένα (με το P-2)

1. T-3a (ισομορφισμός MERA). Η καταρράκτωση λαιμού μπουκαλιού L-στρωμάτων της OPT είναι δομικά ομομορφική προς ένα MERA με παράγοντα στρώματος s και βάθος L. Με το Παράρτημα P-2 (Θεωρήματα P-2.0 και P-2c), αυτό αναβαθμίζεται σε ισομορφισμό δικτύου τανυστών εντός του υποχώρου που προστατεύεται από QECC, υπό την προϋπόθεση τοπικού θορύβου. Σημείωση: Ο ισομορφισμός αφορά MERA μεταθέσεων (disentanglers στην υποομάδα μεταθέσεων του U(\mathbb{C}^\chi)), όχι γενικό MERA με αυθαίρετους μοναδιαίους disentanglers. Αυτός ο περιορισμός δεν επηρεάζει το φράγμα RT (P-2d), αλλά περιορίζει την αντιστοιχία σε μια υποκατηγορία δικτύων MERA.

2. T-3b (αντιστοιχία αιτιακού κώνου). Ο Πληροφοριακός αιτιακός κώνος κλιμακώνεται με συμμετρία τάξης μεγέθους προς τη δομή του αιτιακού κώνου MERA εντός του ορίου παθητικού παρατηρητή, αν και τα προφίλ βάθους διαφέρουν. Το Σύνολο μελλοντικών διακλαδώσεων αντιστοιχεί σε μη-επανακανονικοποιημένα οριακά δεδομένα. (Το αποτέλεσμα ισομετρίας του P-2 εφαρμόζεται εντός του ορίου παθητικού παρατηρητή· οι όροι a_{t:t+h-1} που εξαρτώνται από τη δράση στον ορισμό του Συνόλου μελλοντικών διακλαδώσεων απαιτούν μια επέκταση ανοικτών συστημάτων που δεν αντιμετωπίζεται από το P-2.)

3. T-3c (διακριτό κβαντικό RT). Η αρχική απόδειξη βασισμένη στο DPI έθετε φράγμα στο bulk αλλά όχι στην εντροπία του ορίου. Με την ισομετρία από το P-2c, το Θεώρημα P-2d θεμελιώνει το πλήρες οριακό φράγμα S_{\text{vN}}(\rho_A) \leq |\gamma_A| \log \chi μέσω του βαθμού Schmidt της κατάστασης MERA.

4. Αναδυόμενη γεωμετρία bulk. Η μετρική bulk του MERA g_{ij}^{\text{bulk}} επάγεται από την απόσταση κώδικα στην καταρράκτωση. Ο χωροχρόνος καμπυλώνεται εκεί όπου η απόσταση κώδικα αποκλίνει, σε συμφωνία με την ταύτιση του T-2 του G_{\mu\nu} ως μετρικής παραγώγου της εντροπίας απόδοσης. (Εξακολουθεί να απαιτείται όριο συνεχούς.)

5. Κατάσταση της Επιστημικής Κλίμακας. Το Σκαλοπάτι 2 (διακριτό κβαντικό RT) έχει πλέον αποδειχθεί μέσω του P-2d. Το Σκαλοπάτι 3 (πλήρες κβαντικό RT με διόρθωση bulk) απαιτεί ένα όριο συνεχούς που δεν έχει ακόμη παραχθεί από τα πρωτογενή στοιχεία της OPT.

Ανοικτές ακμές που καθίστανται δυνατές από αυτό το κλείσιμο

• P-2 (Κανόνας Born / Χώρος Hilbert) έχει τώρα το ακριβές σημείο εισόδου του: η διάσταση δεσμού \chi πρέπει να ενσωματωθεί ως διάσταση κβαντικού χώρου Hilbert. Μόλις η διόρθωση σφαλμάτων ADH επιβάλει τη λογική δομή qubit, ο κλασικός δεσμός \chi = 2^{B_0/N} αναβαθμίζεται σε κβαντικό δεσμό με εντροπία φον Νόιμαν, και το διακριτό RT του T-3c γίνεται το πλήρες κβαντικό RT με διόρθωση bulk S_{\text{bulk}}.

• P-3 (Ασύμμετρη Ολογραφία): η ανακατασκευή του bulk του MERA και η ανισότητα του Fano έχουν πλέον κοινή τυπική εστία. Η ανισότητα του Fano (preprint §3.10) θέτει φράγμα στην ικανότητα του παρατηρητή να ανακατασκευάζει το υπόστρωμα εκ των ένδον της απόδοσης — ακριβώς τη μη αντιστρεψιμότητα του χάρτη MERA (όριο \to bulk είναι ο κωδικοποιητής συμπίεσης· η αντιστροφή bulk \to όριο είναι αδύνατη πέρα από το βάθος ελάχιστης τομής \tau^*).

• T-5 (Ανάκτηση Σταθερών): η διάσταση δεσμού \chi = 2^{B_0/N} και ο παράγοντας χονδρικής κλιμάκωσης s παρέχουν νέους περιορισμούς στις αδιάστατες σταθερές. Ειδικότερα, s = 2 και L = \log_s(B_0/B_L) πρέπει να είναι συνεπή με την ταύτιση κλίμακας Planck l_{\text{codec}} = l_P από το T-2, περιορίζοντας τον λόγο B_0/B_L.

• §8.3 στοιχείο 3 του preprint (MERA/αιτιακό σύνολο): τυπική χαρτογράφηση των οριακών στρωμάτων MERA του Συνόλου μελλοντικών διακλαδώσεων στο πλαίσιο του αιτιακού συνόλου, ώστε να εξαχθούν μετρικές ιδιότητες του αντιληπτού χωροχρόνου καθαρά από την αλληλούχηση του κωδικοποιητή-αποκωδικοποιητή. Η μετρική απόστασης κώδικα g_{ij}^{\text{bulk}} του §7 είναι το σημείο εκκίνησης.

Το παρόν παράρτημα συντηρείται ως μέρος του αποθετηρίου του έργου OPT παράλληλα με το theoretical_roadmap.pdf. Αναφορές: Vidal (2008) [43], Pastawski et al. (2015) [44], Almheiri-Dong-Harlow (2015) [42], Tishby et al. (1999) [28], Ryu-Takayanagi (2006).