TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/E8-A4-PETERSEN-RESPONSE.txt
Original file SHA-256: 8311a51e2f9a0e5e9eb9307fc329cdce77e5d65a599da3fa5692b7460ec63a38
Inclusive original lines: 1-200
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | DER TATSAECHLICHE E8 A4 x A4 PETERSEN KANAL
000002 | ============================================
000003 | 
000004 | 28. Oktober 2026
000005 | 
000006 | Frage
000007 | -----
000008 | 
000009 | Liegt der bereits exakt definierte Hodge Komplementkanal auf der Zehn als
000010 | normalisierte inklusive Antwort in derselben E8 Stromalgebra vor, wenn statt
000011 | der D5 x A3 Graduierung der durch den gegebenen SU5 Traeger bestimmte
000012 | A4 x A4 Schnitt benutzt wird?
000013 | 
000014 | Urteil
000015 | ------
000016 | 
000017 | Ja. Die tatsaechliche v498 Chevalley Quelle enthaelt ohne neue Einbettung
000018 | die drei Sektoren
000019 | 
000020 |     Eingabe:     (10,bar5),       Dimension 50,
000021 |     Einsatz:     (5,10),          Dimension 50,
000022 |     Ausgabe:     (bar10,5),       Dimension 50.
000023 | 
000024 | Fuer jeden der 50 Einsatzwurzeln ist das Bracket eine Rang 12 Abbildung
000025 | 
000026 |     B_(m,ab) = C_m tensor A_ab,
000027 | 
000028 | wobei C_m die epsilon Komplementabbildung auf der Carrier Zehn und A_ab die
000029 | antisymmetrische Rang 2 Abbildung auf der Familien Fuenf ist. Alle 600
000030 | nichtverschwindenden Bracketspalten stimmen einschliesslich des
000031 | Frenkel Kac Cocyklus mit diesem Tensor ueberein. Es gilt exakt
000032 | 
000033 |     sum_(m,ab) B_(m,ab)^dagger B_(m,ab) = 12 I_50,
000034 |     sum_(m,ab) B_(m,ab) B_(m,ab)^dagger = 12 I_50.
000035 | 
000036 | Die normierten Krausoperatoren B_(m,ab)/sqrt(12) liefern daher den
000037 | bistochastischen Produktkanal
000038 | 
000039 |     E_A4 = Phi_Petersen tensor WH_5,
000040 | 
000041 |     Phi_Petersen(rho) = (1/3) sum_m C_m rho C_m^dagger,
000042 |     WH_5(sigma)       = (1/4) sum_(a<b) A_ab sigma A_ab^dagger.
000043 | 
000044 | Auf Populationen ist Phi_Petersen exakt A_Petersen/3. Anders als beim
000045 | D5 x A3 Cliffordkanal gibt es hier keinen Erzeugungszweig mit Gewicht 3/5
000046 | und keinen Carry mit Gewicht 2/5. Die Eingabe Zehn wird durch den Stromsektor
000047 | direkt in die konjugierte Zehn abgebildet. Der Petersenkanal ist somit die
000048 | volle reduzierte inklusive Antwort dieses A4 x A4 Schnitts und keine
000049 | Konditionierung.
000050 | 
000051 | Das ist ein algebraischer Quellensatz. Die Originalquelle hat damit noch
000052 | nicht festgelegt, dass genau diese 50 Stromrichtungen physisch gleichgewichtet
000053 | als unbeobachtetes Ereignisregister eingesetzt werden. Deshalb ist die
000054 | Aussage kein P1 Ereignisgesetz und keine Zeitentwicklung.
000055 | 
000056 | 1. Der Zentralisator ist aus dem gegebenen Traeger bestimmt
000057 | ----------------------------------------------------------
000058 | 
000059 | Der erste A4 ist der bereits gegebene SU5 Traeger in D5. Seine Wurzeln sind
000060 | 
000061 |     e_i-e_j,  i,j<5,
000062 | 
000063 | und werden in den verdoppelten E8 Koordinaten durch eine +2 und eine -2 in
000064 | den ersten fuenf Stellen dargestellt. Eine E8 Wurzel zentralisiert diesen
000065 | A4 genau dann, wenn ihre ersten fuenf Koordinaten gleich sind.
000066 | 
000067 | Die tatsaechliche Wurzelliste liefert exakt zwanzig solche Wurzeln:
000068 | 
000069 |     12 D3 Wurzeln in den letzten drei Koordinaten,
000070 |      8 Halbwurzeln mit gleichen ersten fuenf Vorzeichen.
000071 | 
000072 | Die lexikographisch positive Haelfte besitzt vier unzerlegbare Wurzeln. Ihr
000073 | Cartanmatrix ist exakt
000074 | 
000075 |     [ 2 -1  0  0 ]
000076 |     [-1  2 -1  0 ]
000077 |     [ 0 -1  2 -1 ]
000078 |     [ 0  0 -1  2 ].
000079 | 
000080 | Der Zentralisator ist daher A4. Es wurde keine zweite SU5 Einbettung an den
000081 | gewollten Kanal angepasst. Nur die Richtung seiner Dynkinkette wird so
000082 | benannt, dass der Eingabesektor die Darstellung bar5 traegt. Das ist die
000083 | Wahl zwischen einer Darstellung und ihrer Konjugierten.
000084 | 
000085 | Mit der Carrierprojektion
000086 | 
000087 |     lambda_i(r) = 5 r_i - sum_(j<5) r_j
000088 | 
000089 | zerfallen die uebrigen zweihundert E8 Wurzeln in vier Mengen zu je fuenfzig.
000090 | Ihre Carriergewichte sind die Gewichtsmengen von 5, 10, bar10 und bar5. Die
000091 | Dynkinladungen des abgeleiteten Zentralisators identifizieren gleichzeitig
000092 | die Familiengewichte. Damit folgt direkt aus den Wurzeln
000093 | 
000094 |     (5,10), (10,bar5), (bar10,5), (bar5,bar10).
000095 | 
000096 | 2. Der entscheidende Bracket und Vorzeichentest
000097 | -----------------------------------------------
000098 | 
000099 | Schreibe eine Eingabebasis als (ij,q), wobei ij ein Zweiersubset des
000100 | Carrier Fuenfers und q das bar5 Familiengewicht ist. Ein Einsatz wird durch
000101 | (m,ab) bezeichnet. Das tatsaechliche E8 Bracket ist genau dann
000102 | nichtverschwindend, wenn
000103 | 
000104 |     m ist nicht in {i,j},
000105 |     q ist in {a,b}.
000106 | 
000107 | Das Ziel lautet dann
000108 | 
000109 |     kl = {0,1,2,3,4} minus {i,j,m},
000110 |     r  = das andere Element von {a,b}.
000111 | 
000112 | Das sind pro Einsatz 6 mal 2 gleich 12 Spalten und insgesamt 50 mal 12
000113 | gleich 600 Spalten. Der Checker verifiziert diese Stuetze direkt an
000114 | `Chevalley.bracket`; jeder nichtverschwindende Koeffizient ist +1 oder -1.
000115 | 
000116 | Die Vorzeichen werden nicht nachtraeglich pro Spalte gewaehlt. Ein einziges
000117 | lineares Phasensystem umfasst
000118 | 
000119 |     150 Phasen der drei Fuenfzigersektoren,
000120 |      40 Phasen der beiden neutralen A4 Wurzelfamilien.
000121 | 
000122 | Es hat Rang 180 bei 190 Variablen. Dieselbe Loesung erfuellt
000123 | 
000124 |     600 Gleichungen fuer B_(m,ab)=C_m tensor A_ab,
000125 |    1500 Gleichungen fuer die beiden neutralen A4 Wirkungen.
000126 | 
000127 | Die neutralen Gleichungen benutzen die wirklichen Exteriorwirkungen auf
000128 | 
000129 |     Lambda2(5) tensor Lambda4(5),
000130 |     Lambda1(5) tensor Lambda2(5),
000131 |     Lambda3(5) tensor Lambda1(5).
000132 | 
000133 | Damit werden beide vollen sl5 Wirkungen transportiert. Die Cartanwirkung
000134 | folgt aus [E_alpha,E_-alpha]. Die Faktorisierung ist also eine
000135 | A4 x A4 aequivariante Bracketidentitaet und kein Dimensionswoerterbuch.
000136 | 
000137 | Dieser Kovarianzchart stellt die Ausgabe bar10 zunaechst als Lambda3 und
000138 | die Eingabe bar5 als Lambda4 dar. Der Uebergang zu den im Komplementkanal
000139 | verwendeten dualen Koordinaten ist fest und enthaelt keine weitere
000140 | Anpassung. Setze
000141 | 
000142 |     h_q  = sign(complement(q),q),
000143 |     h_kl = sign(complement(kl),k,l).
000144 | 
000145 | Dabei ist `sign` das Vorzeichen der angegebenen Permutation zur geordneten
000146 | Fuenferbasis. Im Keilchart ist die Carrieramplitude das Vorzeichen von
000147 | (m,i,j) zur geordneten Dreierbasis, waehrend die Familienkontraktion bereits
000148 | den Faktor h_q traegt. Nach der festen Dualisierung gilt deshalb
000149 | 
000150 |     h_kl B_wedge h_q = epsilon(m,i,j,k,l) A_ab.
000151 | 
000152 | Der Checker prueft diese Gleichung zusaetzlich auf allen 600
000153 | nichtverschwindenden Spalten. Die JSON Datei speichert getrennt die daraus
000154 | folgenden wirklichen Phasencharts fuer die Eingabe bar5, den Einsatz (5,10)
000155 | und die Ausgabe bar10. Damit ist C_m woertlich die epsilon Matrix des
000156 | Hodge Komplementkanals und nicht nur eine abstrakt aequivalente
000157 | Lambda2 zu Lambda3 Keilabbildung.
000158 | 
000159 | Wie beim zuvor geprueften D8 Kanal ist der diagonale Cocyklustransport ein
000160 | gemeinsamer Tensorchart. Der Checker behauptet keine Zerlegung seiner Phase
000161 | in eine reine Carrier und eine reine Familienphase. Eine partielle Spur muss
000162 | deshalb im transportierten Chart ausgefuehrt werden, nicht naiv in der rohen
000163 | Chevalley Koordinatenbasis.
000164 | 
000165 | 3. Normierung und beide Teilkanaele
000166 | -----------------------------------
000167 | 
000168 | Fuer einen festen Carrier Zweierzustand sind genau drei C_m nicht null.
000169 | Daher
000170 | 
000171 |     sum_m C_m^dagger C_m = 3 I_10.
000172 | 
000173 | Fuer einen festen Familienzustand q enthalten genau vier Paare ab den Index
000174 | q. Daher
000175 | 
000176 |     sum_(a<b) A_ab^dagger A_ab = 4 I_5.
000177 | 
000178 | Das Produkt hat Gain 3 mal 4 gleich 12. Die Killing orthogonale
000179 | Wurzelbasis wird deshalb durch 1/sqrt(12) zur Krausfamilie. Auf der Familie
000180 | ist der reduzierte Kanal der fuenfdimensionale Werner Holevo Kanal
000181 | 
000182 |     WH_5(sigma) = (Tr(sigma) I - sigma^T)/4.
000183 | 
000184 | Seine Population ist der gleichmaessige Schritt (J-I)/4 auf fuenf Marken.
000185 | Auf dem Carrier sendet C_m einen Zweierzustand ij auf das zu ij und m
000186 | komplementaere Paar kl. Die drei moeglichen m liefern genau die drei zu ij
000187 | disjunkten Paare. Daher ist die Carrierpopulation ohne Messung oder
000188 | Nachnormierung A_Petersen/3.
000189 | 
000190 | Da WH_5 spurtreu ist, gilt fuer jeden, auch korrelierten gemeinsamen
000191 | Eingabeoperator rho_CF im transportierten Chart
000192 | 
000193 |     Tr_F' E_A4(rho_CF) = Phi_Petersen(Tr_F rho_CF).
000194 | 
000195 | Die Produktannahme ist fuer die reduzierte mathematische Antwort nicht
000196 | erforderlich. Die physische Entscheidung, den Familienausgang nicht zu
000197 | beobachten, bleibt trotzdem eine zusaetzliche Quellenoperation.
000198 | 
000199 | 4. Originale P2 Ladung
000200 | ----------------------