TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/primitive_insertions_review/UV-INDEPENDENT-REVIEW.txt
Original file SHA-256: 0a4cdfdcd9ad8acc78868f8fa40a414289e89a58a85215a7373256e822a6bd0d
Inclusive original lines: 1-190
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 | CONSTANT ODD INSERTION: INDEPENDENT UV AND TWO-FACE REVIEW
000002 | 29 October 2026
000003 | 
000004 | VERDICT
000005 | 
000006 | UV-INSERTION.txt is correct in its stated one-dimensional, constant classical
000007 | Phi, finite charged coefficient class. Its projector factor1/2, summable
000008 | 1/p^2 bound, pure-insertion nonimplementation, implementability of the WHOLE
000009 | coupled time, and divergent old-vacuum coupled energy form are mutually
000010 | consistent. The two-face extension below is also valid for each fixed ell>0.
000011 | No suite was run and no pinned source or Atlas data was changed.
000012 | 
000013 | 1. ACTUAL OPERATOR AND COUNTING CONVENTION
000014 | 
000015 | The reviewed source is primitive_insertions_review/UV-INSERTION.txt.
000016 | The underlying actual charts were reread in
000017 | graded_boundary_functor/FINITE-COUPLED.txt:1-87 and
000018 | GRADED-HS-REFLECTION-AND-TIME.txt:90-155.
000019 | 
000020 | K here means the charged complex coefficient Hilbert space BEFORE the formal
000021 | selfdual test completion. It is not an asserted independently quantized extra
000022 | copy of the normal slot or of the existing v252 antiparticle labels.
000023 | Let gamma^*=gamma, gamma^2=I, Phi^*=Phi, {gamma,Phi}=0, with Phi constant and
000024 | finite dimensional. Put
000025 | 
000026 |   V=-i gamma Phi, h0(p)=p gamma, h(p)=p gamma+V,
000027 |   E=(p^2+Phi^2)^(1/2), s=sign(p), p=n+alpha.
000028 | 
000029 | For alpha=1/4 or3/4, p never vanishes. V is bounded selfadjoint, V^2=Phi^2,
000030 | E commutes with gamma and V, and h^2=E^2. The complete one-particle operator
000031 | is selfadjoint on the same periodic H1 domain by bounded perturbation.
000032 | No Fock-domain assertion follows merely from that one-particle fact.
000033 | 
000034 | 2. INSERTION ALONE VERSUS WHOLE h
000035 | 
000036 | For P0=(I-s gamma)/2,
000037 |   [P0,V]=-s gamma V,
000038 |   ||[P0,V]||_HS^2=Tr_K Phi^2 on EVERY Fourier block.
000039 | 
000040 | In the charged particle/hole presentation either off-diagonal block has
000041 | squared HS norm(1/2)Tr_K Phi^2. This is also the formal pair-creation norm
000042 | on the old vacuum for that block. The infinite sum diverges if Phi!=0.
000043 | Subtracting a scalar vacuum energy cannot alter that block.
000044 | 
000045 | The appendix correctly does not infer failure of the entire time evolution
000046 | from this divergent derivative. For the insertion-only group exp(iuV),
000047 | the off-diagonal block contains V sin(u|V|)/|V| independently of |p|.
000048 | For0<|u|<pi/||V|| it is nonzero on every nonzero internal singular channel
000049 | and on infinitely many n. Its commutator with P0 is not HS. Thus the pure
000050 | insertion group really is not implementable in this old sea representation.
000051 | 
000052 | By contrast the WHOLE exp(ith) has off-diagonal block
000053 |   i V E^-1 sin(tE).
000054 | Its commutator squared norm is bounded by
000055 |   Tr_K Phi^2 sum_n (n+alpha)^-2,
000056 | which is finite. Pointwise continuity and that summable majorant give HS
000057 | continuity at t=0. This supplies the correct restricted-unitary time path.
000058 | In particular a non-HS infinitesimal derivative is compatible with a
000059 | strongly continuous implementing group whose old vacuum is outside its
000060 | generator domain.
000061 | 
000062 | 3. EXACT PROJECTOR FACTOR AND REPRESENTATION EQUIVALENCE
000063 | 
000064 | Let P=(I-h E^-1)/2. Directly,
000065 |   P-P0=[gamma(s-p/E)-V/E]/2.
000066 | The mixed terms in its square cancel because gamma anticommutes with V.
000067 | The remaining terms simplify as OPERATORS to
000068 |   (P-P0)^2=(I-|p| E^-1)/2.
000069 | Therefore
000070 |   ||P-P0||_HS^2=(1/2)Tr_K[I-|p|E^-1]
000071 |              <=Tr_K Phi^2/(4p^2).                       (1)
000072 | 
000073 | This is the displayed factor in UV-INSERTION.txt. On one nonzero2-by2
000074 | singular pair it is1-|p|/sqrt(p^2+m^2), not half that value. The trace in(1)
000075 | already runs over BOTH grading signs of that charged pair.
000076 | The estimate follows from1-(1+x)^-1/2<=x/2. Zero singular channels contribute
000077 | zero, and no small-Phi assumption is required. Summing(1) proves P-P0 HS.
000078 | 
000079 | Thus the pure sea representations are equivalent. In the P sea the full
000080 | time has its ordinary positive particle/hole excitation Hamiltonian with
000081 | ground energy set to zero. Transport by this representation equivalence
000082 | gives a strongly continuous implementation in the old Fock Hilbert space.
000083 | The transported coupled ground vector and the old vacuum remain different
000084 | vectors; equivalence is not equality of their states or Hamiltonians.
000085 | 
000086 | The criteria used are exactly Araki's pure-state equivalence and
000087 | implementability criteria, Theorems6 and7 in
000088 | On Quasifree States of CAR and Bogoliubov Automorphisms, Publ.RIMS6,
000089 | 385-442, pp430,432:
000090 | https://ems.press/content/serial-article-files/41673
000091 | The primary paper was independently opened for this review. The present
000092 | Fourier factors and estimates are direct calculations, not numerical tests.
000093 | 
000094 | 4. OLD VACUUM AND THE COUPLED ENERGY FORM
000095 | 
000096 | Because E also commutes with P0, the coupled particle/hole excitation energy
000097 | in the old quasifree vacuum is the increasing positive finite-block sum
000098 | 
000099 |   sum_n Tr_K[E(P-P0)^2]
000100 |     =(1/2)sum_n Tr_K[E-|p|I].                            (2)
000101 | 
000102 | Equivalently a finite block gives Tr_K[h(P0-P)], with its cross trace zero.
000103 | On one2-by2 singular pair this is E_m-|p|, consistent with the two excitation
000104 | energies times their Bogoliubov occupations. It is not2(E_m-|p|).
000105 | The summand in(2) is Tr_K Phi^2/(4|p|)+O(|p|^-3). Hence it diverges for
000106 | nonzero Phi. The old vacuum is not in the form domain of this positive
000107 | coupled excitation Hamiltonian, although the new ground vector belongs to
000108 | the same Fock Hilbert space and the time group exists on that Hilbert space.
000109 | 
000110 | This invalidates a derivative on the OLD vacuum core. It does not invalidate
000111 | the whole coupled generator or the exact bounded-field CAR automorphism.
000112 | For a group derivative convention the factor i must be kept:
000113 | d/du a^*(e^(iuV)f)|0=i a^*(Vf). The appendix's delta without i can be read
000114 | as its commutator-generator convention; it does not affect the UV verdict.
000115 | 
000116 | 5. FORMAL SELFDUAL COMPLETION DOES NOT DOUBLE THE PHYSICAL ENERGY
000117 | 
000118 | For the formal charged-to-selfdual test space K_sd=K directsum bar(K),
000119 | 
000120 |   P_sd=P directsum(I-bar(P)),
000121 |   h_sd=h directsum(-bar(h)).
000122 | 
000123 | Consequently
000124 |   ||P_sd-P0_sd||_HS^2=2||P-P0||_HS^2.
000125 | This changes no HS finiteness criterion. If the charged energy(2) is
000126 | expressed as a trace on that doubled TEST space, it becomes
000127 | 
000128 |   (1/4)sum_n Tr_Ksd[|h_sd|-|p|I],                        (3)
000129 | 
000130 | not(1/2) times that doubled trace. Equivalently it is
000131 | one half of the selfdual trace |h_sd|(P_sd-P0_sd)^2. The extra half prevents
000132 | counting the same particle/hole process twice. In the selfdual antisymmetric
000133 | pair-creation convention the corresponding1/2 in the quadratic formula
000134 | likewise compensates the doubled off-diagonal matrix entries.
000135 | 
000136 | These are bookkeeping identities for the formal test completion. They
000137 | neither impose a new Majorana/Pfaffian reduction on the actual v25296-space
000138 | nor identify C0 with its distinct physical charge operator J_F. The whole
000139 | normal chart and these existing source indices retain their declared types.
000140 | 
000141 | 6. ADDITIONAL EXACT LEMMA: THE WHOLE PURE TWO-FACE GRAPH
000142 | 
000143 | For the already specified fixed ell>0 use
000144 | 
000145 |   G_ell(h)=[[a(h),c(h)],[c(h),I-a(h)]],
000146 |   a(h)=(I+exp(-2ell h))^-1, c(h)=(2cosh(ell h))^-1.
000147 | 
000148 | This is the full PURE graph projector, including both cross blocks. It is
000149 | not P_-(h). Put S=h/E, d=(I+exp(2ell E))^-1 and c=(2cosh(ell E))^-1.
000150 | All these functions commute, and exactly
000151 | 
000152 |   G_ell(h)=diag(P_+(h),P_-(h))+R_h,
000153 |   R_h=[[-S d,c],[c,S d]].
000154 | 
000155 | The key factor can be checked without an estimate: d^2+c^2=d. Cross terms
000156 | in R_h^2 cancel, hence on each Fourier block
000157 | 
000158 |   ||R_h(p)||_HS^2=2Tr_K d
000159 |                <=2 dim(K) exp(-2ell|p|).                (4)
000160 | 
000161 | The same applies to h0. Therefore
000162 | 
000163 |  G_ell(h)-G_ell(h0)
000164 |   =diag(P_+(h)-P_+(h0),P_-(h)-P_-(h0))+(R_h-R_h0)
000165 | 
000166 | is HS: the first term has twice the squared norm in(1), and each remainder
000167 | is HS by the convergent exponential sum in(4). This proves equivalence of
000168 | the already supplied pure TWO-FACE graph representations, including their
000169 | joint cross-correlations. It is not a fit of two separate boundary states.
000170 | The conjugate test completion of the existing chart again adds only the
000171 | formal factor2 to HS squared norms.
000172 | 
000173 | The source graphs are different projectors representing different supplied
000174 | states; same Fock class does not make them equal under unchanged field labels.
000175 | This lemma establishes their common representation class. The existing
000176 | whole field/R/time chart for EACH h retains its own proven covariance.
000177 | 
000178 | There is no positive-circle-generator conclusion for this graph from(1)-(4).
000179 | Its stationary same-parameter common circle time is the thermofield/GNS
000180 | time of the existing chart, with its separate generator type. The positive
000181 | excitation Hamiltonian in Sections3-4 belongs to the negative-energy P sea.
000182 | One must not replace that sea by G_ell(h) in the energy-domain argument.
000183 | Thus the two-face source equivalence is positive new information without
000184 | identifying a thermofield Liouvillian with a ground-state Hamiltonian.
000185 | 
000186 | All statements require the actual one-dimensional Fourier class used here:
000187 | finite K, constant selfadjoint odd Phi, scalar shifted A, and fixed ell.
000188 | They select no Phi from P1, quantize no bosonic background, and give no
000189 | Hilbert-Schmidt conclusion in higher spatial dimension or for arbitrary
000190 | normal-dependent collar sources.