TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/local_source_origin_20261028/review/INDEPENDENT-HALF-KINK-DHR-WEYL-REVIEW.txt Original file SHA-256: 28d864226f948140c28b94d77a24fe2d5c1e12c0a202e1d80a84c764a83b903a 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 | INDEPENDENT ANALYTIC REVIEW: HALF KINK DHR SOURCE AND WEYL LINE 000002 | ================================================================ 000003 | 000004 | Date: 2026-10-28 000005 | Verdict: ACCEPTED ON THE STIPULATED QUOTIENT NET, WITH ONE MATERIAL 000006 | CORRECTION TO THE SHARP BILOCAL CLAIM 000007 | 000008 | Initially reviewed revisions 000009 | ---------------------------- 000010 | 000011 | 1. ../neutral/HALF-WINDING-DHR-SOURCE-ADDENDUM.txt 000012 | SHA256 6b99616285de46a3494bfc8ecd4bcef4c5960702e0a8f6060810d8b371593697 000013 | 000014 | 2. ../neutral/CLOSED-HALF-KINK-SOURCE-WEYL-LINE.txt 000015 | SHA256 49ad6d35add5ec0523d428fc610506810b3eea69412c4875d2ac31d87275ef3d 000016 | 000017 | Original source contracts used for the review 000018 | --------------------------------------------- 000019 | 000020 | [OMITTED: non-scientific conversation or execution metadata] 000021 | [OMITTED: non-scientific conversation or execution metadata] 000022 | [OMITTED: non-scientific conversation or execution metadata] 000023 | [OMITTED: non-scientific conversation or execution metadata] 000024 | 000025 | [OMITTED: non-scientific conversation or execution metadata] 000026 | [OMITTED: non-scientific conversation or execution metadata] 000027 | [OMITTED: non-scientific conversation or execution metadata] 000028 | [OMITTED: non-scientific conversation or execution metadata] 000029 | 000030 | 5. J. Böckenhauer, 000031 | An Algebraic Formulation of Level One Wess Zumino Witten Models, 000032 | especially the section Localized Endomorphisms: 000033 | https://arxiv.org/html/hep-th/9507047v1 000034 | 000035 | 000036 | 1. Exact positive result 000037 | ------------------------ 000038 | 000039 | On the stipulated quotient net 000040 | 000041 | A_8(I) = CAR(L^2(I,C^8))^even 000042 | 000043 | the smooth half kink is a genuine localized automorphism. Let a_I be a 000044 | smooth real phase which is 0 on one component of I' and 2 pi on the other, 000045 | and let 000046 | 000047 | g_I = exp(i a_I/2) 000048 | 000049 | act simultaneously in the eight complex fermion planes. Outside I this is 000050 | +1 on one component and -1 on the other. The sign -1 acts as fermion parity, 000051 | hence trivially on the even algebra. Changing the square root branch changes 000052 | g_I globally by -1 and therefore gives the same automorphism of A_8. This is 000053 | exactly the odd pseudolocalization mechanism used by Böckenhauer for the even 000054 | selfdual CAR net. 000055 | 000056 | The sector label requires the stipulated D8 bosonization chart in addition to 000057 | odd pseudolocality. In that chart the charge is 000058 | 000059 | s = q/2 = (1/2,...,1/2), 000060 | s^2 = 2, 000061 | h_s = s^2/2 = 1. 000062 | 000063 | Thus the report has a correctly typed spinor sector once the fixed q and its 000064 | chirality convention are retained. Böckenhauer's theorem by itself proves the 000065 | specific spinor endomorphism constructed from his odd pseudolocalized 000066 | Bogoliubov operator. Odd pseudolocality alone does not choose between the two 000067 | spinor labels. Here that remaining choice is supplied by the explicit D8 000068 | charge chart, not by a new fermion gauge interaction. 000069 | 000070 | 000071 | 2. Current normalization, Weyl line, and cocycle 000072 | ------------------------------------------------ 000073 | 000074 | The folded current definition is consistent: 000075 | 000076 | J_tot,n = J_cover,8n, 000077 | [J_tot,n,J_tot,m] = 8 n delta_(n+m,0). 000078 | 000079 | Multiplying the diagonal current charge by 1/2 gives effective squared charge 000080 | 000081 | 8 (1/2)^2 = 2, 000082 | 000083 | which is the same s^2 as above. For two smooth kinks the difference 000084 | 000085 | b_IJ = (a_I-a_J)/2 000086 | 000087 | has a pullback b_F with modes only at multiples of 8. If 000088 | 000089 | sum_(n>0) 8 n |b_n|^2 < infinity, 000090 | 000091 | then W(-b_F) is a bounded Weyl unitary in the given current Fock 000092 | representation and intertwines the two localized automorphisms. This is a 000093 | real transporter, not a formal exponential. 000094 | 000095 | The cocycle factor is also correct. The level 8 diagonal current combined 000096 | with the half coefficient produces the factor 2 in the symplectic form. It 000097 | therefore reproduces the charge s cocycle rather than the level 8 cocycle 000098 | without the half factor. 000099 | 000100 | The zero mode must remain part of the Weyl operator. It commutes with the 000101 | source Hamiltonian and creates no oscillator time phase. It is invisible in 000102 | the displayed charge zero Hall kernel matrix elements, but it still acts on 000103 | charged fields. The reviewed report does not need to set it to zero and 000104 | should not do so in a later compression. 000105 | 000106 | The strongest algebra statement directly established by these sources is: 000107 | 000108 | * W(-b_F) is a bounded implementer in the source current representation; 000109 | * its adjoint action is localized on the quotient net; 000110 | * in the Haag dual vacuum net, Böckenhauer's argument places the transporter 000111 | in the corresponding local von Neumann algebra. 000112 | 000113 | Calling it an element of the norm quasilocal even C star algebra would require 000114 | a separate norm inclusion argument. The current kernel alone proves the 000115 | bounded representation operator and localized adjoint action, which is enough 000116 | for the DHR transporter statement used here. 000117 | 000118 | 000119 | 3. Time variable: accepted, with an essential name attached 000120 | ----------------------------------------------------------- 000121 | 000122 | The formula 000123 | 000124 | U(t) J_tot,-n U(t)^* = exp(-i t n) J_tot,-n 000125 | 000126 | is correct for the actual original source evolution. The original contract 000127 | defines 000128 | 000129 | U(t) = exp(-i t K_alpha), 000130 | [K_alpha,J_cover,-m] = (m/8) J_cover,-m, 000131 | Lcal_0^alpha - ground = 8 K_alpha. 000132 | 000133 | Putting m=8n gives the displayed quotient frequency n. If one instead used 000134 | the unrescaled cover conformal Hamiltonian Lcal_0^alpha-ground, the frequency 000135 | would be 8n. Therefore the result is not a free rescaling, but it is always a 000136 | statement about the original K_alpha source time. It must not be silently 000137 | renamed as cover conformal time or as primitive P1 OS time. 000138 | 000139 | The reviewed Weyl line states this K_alpha origin explicitly. Its later 000140 | scope paragraph also keeps the primitive P1 state, reflection, and time map 000141 | open. On this point no correction is needed. 000142 | 000143 | 000144 | 4. Locality scope 000145 | ----------------- 000146 | 000147 | A proper interval I of the quotient circle pulls back under F(theta)=8 theta 000148 | to eight disjoint cover arcs. The half kink is localized in I for the 000149 | quotient net. This does not yet produce a single primitive P1 proper interval 000150 | operator. Both reviewed reports state this eight arc pullback and leave the 000151 | primitive P1 net embedding open. This is the correct scope. 000152 | 000153 | In particular, neither the bounded Weyl transporter nor the DHR localization 000154 | theorem supplies the missing P1 CAR state, reflection, or source response 000155 | policy. The positive result is a fully derived transporter on the already 000156 | given quotient current and even CAR structure. 000157 | 000158 | 000159 | 5. Material correction: the sharp bilocal 000160 | ------------------------------------------ 000161 | 000162 | For a sharp step, the Fourier coefficients behave as 1/n, hence 000163 | 000164 | sum_(n>0) n |b_n|^2 000165 | 000166 | diverges logarithmically. Consequently there is no bounded Weyl operator 000167 | limit. The reviewed report states this correctly. The same calculation, 000168 | together with the level 8 and half charge, fixes the standard current vertex 000169 | short distance exponent 2. 000170 | 000171 | Those facts do not yet prove the stronger sentences in 000172 | CLOSED-HALF-KINK-SOURCE-WEYL-LINE.txt which assert an unqualified unique 000173 | renormalized form limit on the full finite energy domain and a closable 000174 | smeared bilocal operator. The original ordered current contract proves exact 000175 | matrix elements for smooth Weyl operators and controls the already defined 000176 | native normal ordered products. It explicitly does not establish arbitrary 000177 | new coincident composite distributions. Böckenhauer's localized 000178 | endomorphism theorem also does not supply the missing vertex operator energy 000179 | bounds. 000180 | 000181 | What is established from the present sources is the narrower statement: 000182 | 000183 | 1. smooth approximants have an exact Gaussian self energy divergence; 000184 | 2. after removing that scalar divergence, their matrix elements between the 000185 | controlled finite degree source states have the standard vertex limit; 000186 | 3. the exponent, cocycle, i0 ordering, and relative normalization convention 000187 | are fixed by the current kernel and the condition T_II=1; 000188 | 4. no bounded sharp Weyl transporter exists. 000189 | 000190 | To promote this to a unique closable operator valued distribution one still 000191 | needs either a cited lattice or current VOA vertex operator construction with 000192 | the relevant energy bounds, or a direct proof of smoothing independence, 000193 | dense domain invariance, and closability in this representation. Until then, 000194 | the sharp bilocal paragraph should be marked conditional or restricted to the 000195 | controlled renormalized matrix elements. This correction does not weaken the 000196 | smooth DHR transporter theorem. 000197 | 000198 | 000199 | 6. Final scope 000200 | --------------