TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/local_source_origin_20261028/neutral/NEUTRAL-DHR-BILOCAL-SOURCE-TEST.txt Original file SHA-256: 7e3e28f36db089457e3fa92f918e48f1f487965cf1fb2be558284322c3f92142 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 | NEUTRALER DHR UND BILOKALER URSPRUNGSTEST 000002 | ========================================== 000003 | 000004 | Stand: 28. Oktober 2026 000005 | Atlasstand: c478cbc397ee23a375ff4093 000006 | 000007 | 000008 | Frage 000009 | ----- 000010 | 000011 | Muss das einzelne Spinorfeld e^(q/2) ein lokales Feld des ursprünglichen 000012 | P1 Observable Netzes sein, damit die neutrale Ward und Hodge Antwort 000013 | entsteht? Oder genügt es, seine geschlossene Linie mit dem Adjungierten als 000014 | DHR Ladungstransporter oder gerades bilokales Observable im vorhandenen even 000015 | CAR Netz zu rekonstruieren? 000016 | 000017 | 000018 | Urteil 000019 | ------ 000020 | 000021 | Ein einzelnes Spinorfeld muss nicht selbst zum geraden Observable Netz 000022 | gehören. Wenn die markierte D8 Spinorladung s bereits als lokalisierbarer, 000023 | transportabler DHR Endomorphismus rho_s gegeben ist, können zwei geladene 000024 | Endpunkte zu einem geraden Ladungstransporter verbunden werden. In einer 000025 | gegebenen lokalen Simple Current Erweiterung B von A liegt ein geladenes Feld 000026 | F_s in B, während 000027 | 000028 | F_s(I_1) F_s(I_2)^* 000029 | 000030 | gaugeinvariant und als Observable beziehungsweise Transporter in A gelesen 000031 | werden kann. Auch eine neutrale Heisenberg Antwort 000032 | 000033 | T_A(a) = (1/9) Sum_beta F_beta^* a F_beta, a in A, (1) 000034 | 000035 | kann A wertig sein, obwohl einzelne F_beta geladen sind. 000036 | 000037 | Dieser Satz verkleinert die erforderliche Quelle. P1 muss kein einzelnes 000038 | Spinorfeld als Observable deklarieren. Für eine reine Heisenbergantwort auf A 000039 | ist auch die vollständige Erweiterung B stärker als nötig. Wenn rho_s und 000040 | lokale Observable Koeffizienten L_gamma gegeben sind, kann der geladene Teil 000041 | direkt als 000042 | 000043 | T_s(a) = Sum_gamma L_gamma^* rho_s(a) L_gamma (1a) 000044 | 000045 | formuliert werden. Ein lokales Q System oder ein geladener Interface 000046 | Hilbertmodul wird erst für die Realisierung einzelner geladener Felder und den 000047 | vollen Feldkanal benötigt. 000048 | 000049 | Auf dem bereits stipulierten achtfach gefalteten Quotientennetz ist diese 000050 | algebraische Voraussetzung inzwischen geschlossen: Der gemeinsame glatte 000051 | Halbkink liefert rho_s, der feste D8 Ladungschart q waehlt das Label 000052 | s=q/2, und glatte Unterschiede besitzen bounded Quellen Weyltransporter. Auch 000053 | die Kovarianz unter der bereits gegebenen Quellenzeit K_alpha ist dort 000054 | hergeleitet. Fuer den rohen primitiven P1 Kern fehlen weiterhin die lokale 000055 | Einintervallabbildung iota_I, ihre OS Zeit und Reflexion sowie die 000056 | Koeffizienten L_gamma samt normierter Sewingregel. Deshalb folgt weder (1) 000057 | noch (1a) als tatsaechlich ausgefuehrte P1 Quellenantwort aus dem vorhandenen 000058 | even CAR Kernel allein. 000059 | 000060 | Der aktuelle 30er Wardprozess zeigt zudem, dass seine geladene Zwischenlinie 000061 | in der bereits verifizierten gleichgewichteten Antwort wirklich benutzt wird. 000062 | Unter dem tatsächlichen Fold M zerfallen seine Eingänge, Ausgänge und Ströme 000063 | in D8 Sektorgrade wie folgt: 000064 | 000065 | H_in: 20 vom Grad 0, 20 vom Grad s, 000066 | H_out: 20 vom Grad 0, 20 vom Grad s, 000067 | M_30: 14 Ströme vom Grad 0, 16 Ströme vom Grad s. (2) 000068 | 000069 | Die 360 nichtverschwindenden Klammerkanten teilen sich exakt in 000070 | 000071 | Grad 0 Strom: 84 Kanten 0 -> 0, 84 Kanten s -> s, 000072 | Grad s Strom: 96 Kanten 0 -> s, 96 Kanten s -> 0. (3) 000073 | 000074 | Damit ist die gesamte Kraussumme neutral, aber 192 ihrer Kanten wechseln den 000075 | Superselektionssektor. Eine Abbildung nur auf Zustandsvektoren des geraden 000076 | Vakuumsektors kann genau diesen unveränderten 30er Feldprozess nicht tragen. 000077 | Eine Observable CP Abbildung kann seine geladenen Zweige mit einem gegebenen 000078 | rho_s bereits in der Form (1a) ausdrücken. Auf A allein sind allerdings 000079 | Kohärenzen zwischen 0 und s nicht observabel. Die vollständige 40 dimensionale 000080 | Feldkanal Aussage ist daher stärker als ihre Einschränkung auf gerade 000081 | Observable Erwartungen und benötigt eine Feld oder Bimodulrealisierung. 000082 | 000083 | Diese Zählung ist kein Minimalitätssatz für den Hodgekanal Phi. Sie schließt 000084 | eine andere, positiv gewichtete CP Realisierung mit ausschließlich geraden 000085 | Strömen nicht aus. Insbesondere kann die gerade NS14 Teilmenge mit 000086 | carrierabhängigen positiven Gewichten algebraisch spurtreu gemacht werden und 000087 | liefert aufgrund der vorhandenen C_m Marginalrigidität denselben Carrierrand 000088 | Phi. Eine solche Antwort ist ein anderer Prozess. Ihre Gewichte folgen bislang 000089 | nicht aus P1, und die NS14 Teilmenge trägt nicht die volle vorhandene P2 SU3 000090 | mal SU2 mal D3 Kovarianz. 000091 | 000092 | Es ist keine zusätzliche physische Recordmessung nötig. Für die neutrale 000093 | Observable Antwort genügen rho_s, die lokalen L_gamma und die Quellenregel. 000094 | Für den vollen Feldprozess braucht man zusätzlich die geladene 000095 | Feldrealisierung. Neutralität ersetzt in beiden Fällen nicht die Regel, dass 000096 | die Quelle den ganzen markierten 30er Support mit der bereits festen 000097 | Normierung 1/9 ausführt. 000098 | 000099 | 000100 | 1. Was der DHR Weg tatsächlich liefert 000101 | -------------------------------------- 000102 | 000103 | Sei A das lokale even CAR beziehungsweise D8_1 Observable Netz. In der 000104 | algebraischen Level Eins Konstruktion werden die orthogonalen Stromgeneratoren 000105 | als gerade CAR Grenzoperatoren realisiert. Die geladenen Sektoren entstehen als 000106 | lokalisierte Endomorphismen, die durch Bogoliubov Transformationen konstruiert 000107 | werden. Das ist der passende mathematische Typ für s: 000108 | 000109 | rho_s : A -> A, 000110 | rho_s lokalisiert und transportabel, 000111 | rho_s^2 äquivalent id, 000112 | d(rho_s)=1. (4) 000113 | 000114 | Für zwei Lokalisierungen rho_s,I und rho_s,J ist ein Ladungstransporter u ein 000115 | unitärer Intertwiner, 000116 | 000117 | u rho_s,I(a) u^* = rho_s,J(a). (5) 000118 | 000119 | Der explizite glatte Quellen Weyloperator ist ein bounded Implementer, dessen 000120 | Adjungiertenwirkung auf dem Quotientennetz lokalisiert ist. Im Haag dualen 000121 | Vakuumnetz kann der DHR Transporter in der lokalen von Neumann Algebra eines 000122 | Intervalls gewählt werden, das beide Lokalisierungsgebiete enthält. Eine 000123 | Mitgliedschaft dieses Operators in der normabgeschlossenen quasilokalen 000124 | C Stern Algebra ist damit noch nicht bewiesen. 000125 | 000126 | Gleichung (5) bewegt eine bereits gegebene Ladung. Die ungerade 000127 | Pseudolokalisation allein wählt nicht zwischen den beiden D8 Spinorlabels. 000128 | Hier fixiert der bereits gegebene Ladungschart q die Wahl s=q/2; c entsteht 000129 | erst durch Komposition mit der Vektorladung. Der Transporter ist als bilokale 000130 | geschlossene Linie typgerecht. Er ist kein einzelnes geladenes Punktfeld. 000131 | 000132 | Schon auf dieser Stufe ist eine neutrale CP Abbildung möglich. Da rho_s eine 000133 | unital positive Sternendomorphie von A ist, ist für L_gamma in A 000134 | 000135 | a -> L_gamma^* rho_s(a) L_gamma 000136 | 000137 | vollständig positiv. Zusammen mit den vierzehn gradnull Zweigen kann der 000138 | gesamte Observable Kandidat als 000139 | 000140 | T_DHR(a)=(1/9) [Sum_(beta in M_0) L_beta^* a L_beta 000141 | +Sum_(gamma in M_s) L_gamma^* rho_s(a) L_gamma] (5a) 000142 | 000143 | geschrieben werden. Unitalität verlangt die entsprechende 000144 | Normierungsidentität für die L. Diese Darstellung benötigt kein einzelnes 000145 | Spinorfeld in A und noch keine Wahl einer ganzen lokalen Erweiterung. Sie 000146 | benötigt aber rho_s und die L als tatsächliche lokale P1 Daten. Die endliche 000147 | Chevalleyrechnung allein liefert diese beschränkten Observable Operatoren 000148 | nicht. 000149 | 000150 | Für den ausgewählten bosonischen Simple Current gilt h_s=1. Nach Wahl des 000151 | lokalen Q Systems erhält man die Index zwei Erweiterung 000152 | 000153 | B = A crossed rho_s = A plus A F_s, (6) 000154 | 000155 | und eine kanonische Erwartung 000156 | 000157 | E_A : B -> A, 000158 | E_A(a_0 + a_s F_s) = a_0. (7) 000159 | 000160 | Dann ist E_A(F_s^* a F_s) A wertig und die gaugeinvariante 000161 | Zustandsfortsetzung omega_B=omega_A o E_A verfügbar. Die Longo Rehren 000162 | und Doplicher Roberts Sätze beginnen jedoch mit A samt Sektorkategorie oder 000163 | mit der lokalen Erweiterungsstruktur. Die Erwartung (7) projiziert eine 000164 | bereits konstruierte Erweiterung auf A. Sie konstruiert B und F_s nicht aus 000165 | dem skalaren P1 Randkernel. 000166 | 000167 | Für den engsten neutralen Ursprungstest ist (6) daher keine notwendige 000168 | Voraussetzung. Sie ist die natürliche Erweiterung von (5a), wenn zusätzlich 000169 | die einzelnen geladenen Felder, die 0 zu s Zustandsübergänge und die volle E8 000170 | Feldalgebra verlangt werden. 000171 | 000172 | 000173 | 2. Kleinster tatsächlicher Typentest 000174 | ------------------------------------ 000175 | 000176 | Der Test wiederholt keinen Wurzelzensus. Er typisiert nur die bereits 000177 | verifizierten 40 Eingänge, 40 Ausgänge und 30 Krausströme des Creation Kanals 000178 | mit dem schon festgelegten Fold. 000179 | 000180 | Verwendete Daten: 000181 | 000182 | * die tatsächliche E8 Chevalleyquelle aus 000183 | tfpt_explorer/current_block_geometry.py; 000184 | * die bereits geprüfte Creation30 Auswahl und alle 360 signierten Kanten aus 000185 | check_ward_d5a3_creation_channel.py; 000186 | * die explizite Weylmatrix M aus fold-results.json. 000187 | 000188 | Für einen Zielwurzelvektor r wird M^T r im verdoppelten Quellchart gebildet. 000189 | Alle acht geraden Koordinaten bezeichnen den D8 Vakuumgrad 0. Alle acht 000190 | ungeraden Koordinaten bezeichnen den Spinorgrad s. Es treten in diesem Test 000191 | keine anderen Paritätsmuster auf. 000192 | 000193 | Die so erhaltenen Zahlen sind genau (2) und (3). Pro Eingabe bleibt der 000194 | Gesamtgain neun. Die Aufteilung auf gerade und Spinorströme ist nicht konstant: 000195 | 000196 | 12 Eingaben je Quellgrad haben 4 gerade plus 5 Spinorkanten, 000197 | 6 Eingaben je Quellgrad haben 5 gerade plus 4 Spinorkanten, 000198 | 2 Eingaben je Quellgrad haben 3 gerade plus 6 Spinorkanten. (8) 000199 | 000200 | Das Entfernen der 16 Spinorströme bei unveränderten gleichen Gewichten