TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/COVARIANT-RIGIDITY-AND-MARKED-TRANSPORT.txt
Original file SHA-256: 31c1fced2f6feae8c97cfcf547b2965670a94f0da918a127a7a8cfa4aae3267a
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 | QUANTENANTWORT AUS SYMMETRIE UND PETERSEN STUETZE
000002 | ================================================
000003 | 
000004 | 28. Oktober 2026
000005 | 
000006 | Ergebnis
000007 | --------
000008 | 
000009 | Die volle Quantenantwort ist unter einer klar benannten Symmetrie eindeutig.
000010 | Sei V=C5, H=Lambda2 V, Ausgabe H*=bar10 und R=Lambda2 U fuer U in SU5.
000011 | Jeder vollstaendig positive spurtreue Kanal T mit
000012 | 
000013 |  T(R rho R*) = barR T(rho) barR*
000014 | 
000015 | und mit Petersen Stuetzung seiner Basisuebergaenge ist notwendig
000016 | 
000017 |  T = Phi,   Phi(rho)=(1/3) sum_m C_m rho C_m*,
000018 |  C_m[kl,ij]=epsilon(m,i,j,k,l).
000019 | 
000020 | Die Phasen werden damit mitbestimmt. Eine gesonderte Phasenannahme ist in
000021 | DIESEM Satz unnoetig. Die Herkunft des C_m aus dem vorhandenen E8 A4+A4
000022 | Bracket ist bereits im vorherigen Vertrag bewiesen und wird wiederverwendet.
000023 | Der neue Satz waehlt keinen P1 Prozess, solange dessen volle Kovarianz auf
000024 | dem richtigen Eingabe und Ausgabemodul nicht aus der Quelle folgt.
000025 | 
000026 | 1. Vollstaendige Klassifikation der kovarianten Kanaele
000027 | -------------------------------------------------------
000028 | 
000029 | Der Choi Operator wirkt auf barH tensor barH. In dieser tatsaechlichen
000030 | dualen Darstellung zerfaellt der Raum multiplikationsfrei in drei
000031 | irreduzible Summanden der Dimensionen 5,45,50. Um konventionsabhaengige
000032 | Balkennamen der 45er Darstellung zu vermeiden, bezeichnen P_d ausschliesslich
000033 | die expliziten Projektoren. Mit F als Vertauschung beider Choi Faktoren gilt
000034 | 
000035 |  P5=(1/6) sum_m vec(C_m) vec(C_m)*,
000036 |  P45=(I-F)/2,
000037 |  P50=(I+F)/2-P5.
000038 | 
000039 | Die C_m sind reell symmetrisch, HS orthogonal und haben Normquadrat6.
000040 | Alle drei Projektoren sind orthogonal, summieren sich zur Identitaet und
000041 | haben partielle Spur d I10/10. Die tatsaechlichen 25 gl5 Erzeuger kommutieren
000042 | mit ihnen. Die quadratische su5 Casimirwirkung hat Eigenwerte24/5,64/5,84/5.
000043 | Der gemeinsame Kern der vier Hebeoperatoren besitzt genau eine hoechste
000044 | Gewichtslinie pro Summand. Dies prueft die Irreduzibilitaet am wirklichen
000045 | Wirkungsraum, statt drei passende Dimensionszahlen nur zu benennen.
000046 | 
000047 | Nach Schur ist jeder kovariante positive Choi Operator und genau jeder
000048 | kovariante TP Choi Operator von der Form
000049 | 
000050 |  J_T = p5*(10/5)P5 + p45*(10/45)P45 + p50*(10/50)P50,
000051 |  p5,p45,p50>=0,  p5+p45+p50=1.
000052 | 
000053 | Die allgemeine Kommutantenmethode ist bekannte Mathematik. Verwendete
000054 | wissenschaftliche Primaerquelle: Gschwendtner, Bluhm, Winter,
000055 | Programmability of covariant quantum channels, Quantum5,488(2021),
000056 | https://arxiv.org/html/2012.00717v2, Lemma11 und Lemma16. Diese begruenden
000057 | Choi Kovarianz und den Simplex fuer einen kommutativen Kommutanten. Die
000058 | konkreten drei Projektoren und die folgende Petersen Eindeutigkeit sind hier
000059 | am vorhandenen TFPT Traeger ausgerechnet, keine Herleitung der Physik aus
000060 | der externen Literatur.
000061 | 
000062 | 2. Zwei Nullbedingungen waehlen die einzige Ecke
000063 | ------------------------------------------------
000064 | 
000065 | Die drei Ecken T_d mit J_d=(10/d)P_d haben folgende Uebergangswerte PRO ZIEL:
000066 | 
000067 |  Ziel relativ zur Eingabeduade       T5        T45        T50
000068 |  dieselbe Duade                     0          0          1/5
000069 |  verschiedene, schneidende Duade     0          1/9        1/10
000070 |  disjunkte Duade                    1/3         1/9        1/15
000071 | 
000072 | Es gibt je Eingang eine Selbstduade, sechs schneidende und drei disjunkte.
000073 | Damit ist jede Tabellenzeile zusammen mit ihrer Zielzahl konsistent mit
000074 | Spurtreue aller drei Kanaele.
000075 | 
000076 | Petersen besitzt keine Selbstuebergaenge. Also muss p50/5=0 und p50=0 sein.
000077 | Petersen besitzt keine schneidenden Uebergaenge. Danach muss p45/9=0 und
000078 | p45=0 sein. Positivitaet verbietet eine Aufhebung durch negative Gewichte.
000079 | Es bleibt p5=1, J_T=2P5=J_Phi. Es genuegen sogar diese Nullbedingungen;
000080 | die gleichmaessigen1/3 folgen dann mit dem vollstaendigen Kanal.
000081 | 
000082 | 3. Exakte Stabilitaetsformel
000083 | -----------------------------
000084 | 
000085 | Sei s die gesamte Selbstuebergangswahrscheinlichkeit pro Eingang, und o die
000086 | ueber alle sechs schneidenden Ziele summierte Wahrscheinlichkeit. In der
000087 | kovarianten Klasse sind beide vom Eingang unabhaengig. Dann
000088 | 
000089 |  p50=5s,
000090 |  p45=3o/2-9s/2,
000091 |  p5=1-3o/2-s/2.
000092 | 
000093 | Innerhalb DIESER exakt kovarianten Klasse gilt auch
000094 | 
000095 |  ||T-Phi||_diamond = 2(p45+p50) = 3o+s.
000096 | 
000097 | Beweis der Normgleichheit: Schreibe T-Phi als
000098 | p45(T45-Phi)+p50(T50-Phi). Der maximale Abstand zweier CPTP Kanaele ist2;
000099 | Dreiecksungleichung gibt also die obere Schranke2(p45+p50). Ein maximal
000100 | verschraenkter Eingang liefert die Differenz der normierten Choi Zustaende.
000101 | Deren drei Traeger sind orthogonal; ihre Spurnorm ist genau2(p45+p50).
000102 | Dies ist die passende untere Schranke. Beide Schranken stimmen ueberein.
000103 | Die Formel gilt nicht fuer einen beliebigen nichtkovarianten Prozess.
000104 | 
000105 | 4. Welche Clock den Satz tatsaechlich ermoeglichen wuerde
000106 | ---------------------------------------------------------
000107 | 
000108 | Die Standardmodell Untergruppe G=S(U3xU2) zusammen mit dem LITERALEN
000109 | fuenfstelligen Permutationsoperator c=(01234) erzeugt SU5. Bereits die
000110 | su3 Wurzeln E01,E12 und ihre c Konjugierten geben alle benachbarten
000111 | Wurzelrichtungen; deren Kommutatoren ergeben alle20 sl5 Wurzeln.
000112 | Hat derselbe Kanal daher G Kovarianz UND Kovarianz unter Lambda2 c auf
000113 | dem Eingang und dessen dualer Wirkung am Ausgang, greift der Satz.
000114 | 
000115 | Der Originaltext definiert aber
000116 | 
000117 |  X=3N2-2N3,   U5=exp(2pi i X/5).
000118 | 
000119 | Auf V haben alle fuenf Eigenwerte denselben Rest3 modulo5. Auf Lambda2 V
000120 | haben alle zehn denselben Rest1. Daher
000121 | 
000122 |  U5|V=zeta5^3 I5,   U5|H=zeta5 I10.
000123 | 
000124 | Dieser Operator liefert nur einen Gradphasenfilter. Seine Konjugation auf
000125 | End(H) ist die Identitaet und erzeugt keine weitere Liealgebrarichtung.
000126 | Eine rein zentrale Phasenliftung oder ein zentraler Phasencover aendert
000127 | hieran nichts: Multiplikation des implementierenden Operators mit einem
000128 | Skalar aendert seine adjungierte Wirkung nicht. Ein nichtzentraler
000129 | Monodromietransport ist eine andere Aussage und hiermit nicht ausgeschlossen.
000130 | Bereits bewiesene C12, C48 und Gitterliftresultate bleiben in ihrem eigenen
000131 | Vertrag erhalten.
000132 | 
000133 | Originalpassage:
000134 |  documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/
000135 |  003-subsection-character-trace-identities-and-the-abelian-in.tex:175-228.
000136 | Weitere originale Code und Markierungsquellen stehen im zugehoerigen Bericht
000137 | P5-OBSERVABLE-IMAGE-AND-INSTRUMENT.txt, Abschnitt7.
000138 | 
000139 | Ein wirklicher Slotzyklus bewegt dagegen den Farbprojektor
000140 | P0=diag(1,1,1,0,0): cP0c*=diag(0,1,1,1,0), also auch X und Y.
000141 | Er transportiert die Markierung und ist keine Symmetrie desselben festen
000142 | 3+2 Split. Eine U5 Eigenwertuebereinstimmung ersetzt diesen Test nicht.
000143 | 
000144 | 5. Auch Transport ueber alle Markierungen genuegt nicht
000145 | -------------------------------------------------------
000146 | 
000147 | Hier ist ein expliziter Gegenfall zur vermeintlichen Abkuerzung durch eine
000148 | vollstaendig kovariante Instrumentfamilie.
000149 | 
000150 | Fuer jeden Rang3 Farbprojektor P setze auf H=Lambda2 V
000151 | 
000152 |  U(P)=-I auf Lambda2(PV),
000153 |  U(P)=+I auf PV wedge (I-P)V und Lambda2((I-P)V).
000154 | 
000155 | U(P) ist eine Hermitesche Unitaere und kommutiert mit dem Stabilisator G_P.
000156 | Sie ist koordinatenfrei aus P definiert. Fuer P'=gPg* gilt exakt
000157 | 
000158 |  U(P') = R U(P) R*,   R=Lambda2 g.
000159 | 
000160 | Die Familie
000161 | 
000162 |  T_P=Phi o Ad(U(P))
000163 | 
000164 | erfuellt deshalb ueber ALLE Markierungen in Gr(3,5)=SU5/G die volle
000165 | Transportgleichung
000166 | 
000167 |  T_(gPg*)(R rho R*) = barR T_P(rho) barR*.
000168 | 
000169 | Trotzdem ist T_P bei festem P von Phi verschieden, hat dieselben Petersen
000170 | Populationen und Choi Rang5, ist G_P kovariant und respektiert den skalaren
000171 | Original U5. In der festen realen Duadenbasis ist die neutrale P5
000172 | Prozesswahrscheinlichkeit
000173 | 
000174 |  Tr(P5 J_(T_P)/10) = (3*4^2+2*0^2)/180 = 4/15,
000175 | 
000176 | anstelle von1 bei Phi. Die Nenner folgen aus6*3*10, also aus Projektor,
000177 | Kraus und Choi Normierung.
000178 | 
000179 | Der Phasenwechsel ist keine reine Carrier Toruseichung: Auf vier
000180 | verschiedenen Slots muessten Exteriorquadratphasen u01*u34=u03*u14 erfuellen.
000181 | Hier ist die linke Seite-1 und die rechte+1. Eine diagonale Wirkung, die
000182 | alle Duadenlinien erhaelt, kann deshalb nicht von einer fundamentalen
000183 | Carrier Toruswirkung stammen. Die Eingabe und Ausgabereferenzen werden im
000184 | Vergleich festgehalten; bei einer gleichzeitigen Umdefinition aller
000185 | Feldoperatoren und Observablen waere auch das Woerterbuch zu transformieren.
000186 | 
000187 | Damit ist Familienkovarianz SCHWAECHER als volle Kovarianz am festen Punkt.
000188 | Eine aus dem Original gewonnene Transportgleichung zwischen verschiedenen
000189 | 3+2 Markierungen alleine wuerde den Eindeutigkeitssatz nicht aktivieren.
000190 | Zusaetzlich braucht es eine am selben Quellenobjekt wirkende Symmetrie,
000191 | eine aus der Quelle bewiesene Markierungsunabhaengigkeit oder eine direkte
000192 | Amplituden und Sewing Identitaet.
000193 | 
000194 | 6. Reelle, selbstadjungierte und isospektrale Gegenkontrolle
000195 | -----------------------------------------------------------
000196 | 
000197 | Auch mehrere sonst starke Auswahlkriterien genuegen noch nicht. Setze
000198 | 
000199 |  S_P=Ad(barU(P)) o Phi o Ad(U(P)).
000200 |