TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/DESCENT-CANDIDATE-REVIEW.txt
Original file SHA-256: 9207b4ad1dd54c3e5f053bde62c7359578a377c45146fc1773da12622e0d52fe
Inclusive original lines: 1-180
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 REVIEW: THE FIXED PIN DESCENT CANDIDATE A = u_cov C
000002 | ================================================================
000003 | 
000004 | 26 October 2026
000005 | 
000006 | Verdict
000007 | -------
000008 | 
000009 | The composite gives a valid positive one particle statement in the same flat
000010 | Moebius geometry.  With
000011 | 
000012 |   D = -i(sigma_1 partial_x + sigma_2 partial_w),
000013 |   C = sigma_1 K,
000014 |   u(x) = exp(i pi x),
000015 |   A = u C,
000016 | 
000017 | and c = plus or minus i, A is an antiunitary involution of the single fixed
000018 | domain Dom D_(c,b).  It preserves the chosen Pin-minus lift, the physical
000019 | boundary sign b, H1 regularity and supports.
000020 | 
000021 | It is not a symmetry of the supplied Dirac realization.  The exact identity is
000022 | 
000023 |   D_(c,b) A = - A D_(c,b) + pi sigma_1 A,                 (1)
000024 |   A D_(c,b) A = -D_(c,b) + pi sigma_1.                   (2)
000025 | 
000026 | Consequently it neither preserves nor exactly complements the original
000027 | positive spectral polarization.  It is not an intertwiner of the original
000028 | Dirac solution operator, heat semigroup or positive time.  Its action on the
000029 | Calderon boundary range requires a separate boundary trace calculation and
000030 | does not follow from the bulk relation alone.  It is therefore not yet the
000031 | P1 reflection Theta.  It closes the narrower descent question that u alone
000032 | left open: the lift-changing winding can be combined with the sector-changing
000033 | charge conjugation to obtain a support-preserving antiunitary on one fixed Pin
000034 | and boundary domain.
000035 | 
000036 | 1. Exact domain calculation
000037 | ---------------------------
000038 | 
000039 | The primary source uses
000040 | 
000041 |   Psi(x+1,-w) = c sigma_1 Psi(x,w),
000042 |   sigma_1 Psi(x,plus or minus 1) = b Psi(x,plus or minus 1).
000043 | 
000044 | Proposition 8.3 proves that C maps (c,b) to (bar c,b).  For c = plus or
000045 | minus i one has bar c = -c.  If Phi belongs to the -c sector, then
000046 | 
000047 |   (u Phi)(x+1,-w)
000048 |     = -u(x) (-c sigma_1) Phi(x,w)
000049 |     = c sigma_1 (u Phi)(x,w).
000050 | 
000051 | Thus u maps (-c,b) to (c,b), and A maps (c,b) to itself.  Multiplication by
000052 | u and C both preserve H1.  Since sigma_1 is real and u bar(u)=1,
000053 | 
000054 |   A^2 = u sigma_1 K u sigma_1 K = I.                    (3)
000055 | 
000056 | The boundary condition is retained because C preserves b and u is scalar.
000057 | Both operations are pointwise, so A preserves support in the cover chart.
000058 | 
000059 | 2. The derivative term is decisive
000060 | ------------------------------------
000061 | 
000062 | Direct differentiation gives
000063 | 
000064 |   D u = u D + pi sigma_1 u.
000065 | 
000066 | Combining this with D C = - C D proves (1).  Since A commutes with the real
000067 | matrix sigma_1, the centered operator
000068 | 
000069 |   D_cen = D - (pi/2) sigma_1                              (4)
000070 | 
000071 | does satisfy
000072 | 
000073 |   D_cen A = - A D_cen.                                   (5)
000074 | 
000075 | Equation (5) cannot be silently assigned to the original source.  The gauge
000076 | v(x)=exp(-i pi x/2) obeys
000077 | 
000078 |   D(v Psi) = v D_cen Psi,
000079 | 
000080 | and changes the deck multiplier from c to -i c.  Hence for c=plus i or
000081 | minus i the centered problem is gauge equivalent to the c=plus 1 or minus 1
000082 | Pin-plus realization.  It is the original differential expression with an
000083 | additional flat connection, not the supplied fixed Pin-minus operator.
000084 | 
000085 | This also agrees with the primary spectral table.  A strict particle-hole
000086 | symmetry inside one c=plus or minus i realization would force symmetric
000087 | spectrum, while Corollary 8.4 gives eta plus or minus one half.
000088 | 
000089 | 3. Original polarization and Fock type
000090 | ---------------------------------------
000091 | 
000092 | Let P_- be the negative spectral projection of the actual D_(c,b).  A
000093 | particle-hole lift on its quasifree CAR representation would require
000094 | 
000095 |   A P_- A^(-1) - (I-P_-)
000096 | 
000097 | to be Hilbert-Schmidt.  This is not true for the full two dimensional
000098 | realization.
000099 | 
000100 | For every nonzero transverse mode, the primary source reduces D to the
000101 | two by two blocks
000102 | 
000103 |   H(q,mu) = b q sigma_1 + mu sigma_3,
000104 |   mu = n pi/2,  n >= 1.
000105 | 
000106 | Equations (2) and functional calculus reduce the covariance mismatch to the
000107 | difference of the positive projectors of
000108 | 
000109 |   H(q,mu)                    and
000110 |   H(q,mu) - pi sigma_1.
000111 | 
000112 | Put x=bq.  The squared Hilbert-Schmidt distance of these rank one projectors
000113 | is exactly
000114 | 
000115 |   1 - [x(x-pi)+mu^2]
000116 |       / [sqrt(x^2+mu^2) sqrt((x-pi)^2+mu^2)].            (6)
000117 | 
000118 | For n >= 4, restrict to the longitudinal frequencies with |q| <= mu and the
000119 | appropriate sign of x=bq.  There are at least n/4 such lattice points.  The
000120 | exact two by two projector formula gives on each of them
000121 | 
000122 |   ||Delta P||_HS^2 >= pi^2/(13 mu^2) = 4/(13 n^2).       (7)
000123 | 
000124 | Their contribution at transverse level n is therefore at least 1/(13n).
000125 | The harmonic sum diverges, so the full mismatch is not Hilbert-Schmidt.
000126 | 
000127 | Accordingly A has no Shale-Stinespring particle-hole implementer in the
000128 | standard full D sea representation.  Ordinary second quantization Gamma(A)
000129 | would in any event be the wrong type because A is antiunitary.
000130 | 
000131 | The one dimensional zero-transverse branch is different.  There sigma_1=b
000132 | and A sends a longitudinal eigenvalue lambda to b pi-lambda.  The failure to
000133 | exchange positive and negative modes is only one unpaired quarter mode, so
000134 | the reduced circle particle-hole map is implementable with a finite defect.
000135 | That is consistent with the already proved quarter-domain/Fock construction
000136 | in seam-partner-original-action-20261015 and FOCK-DEFECT-REVIEW.txt.  It does
000137 | not promote that reduced branch to the full collar.
000138 | 
000139 | 4. Time, reflection and Calderon data
000140 | -------------------------------------
000141 | 
000142 | For the original realization,
000143 | 
000144 |   A exp(-t |D|) A^(-1)
000145 |     = exp(-t |-D + pi sigma_1|),                         (8)
000146 | 
000147 | which is not the original positive semigroup.  Likewise antiunitarity gives
000148 | 
000149 |   A exp(i t D) A^(-1)
000150 |     = exp(i t (D-pi sigma_1)),                           (9)
000151 | 
000152 | not the original unitary time.  The normal derivative makes sigma_1 fail to
000153 | commute with D, so the extra term cannot be removed from these formulas by a
000154 | scalar phase.
000155 | 
000156 | The original P1 construction distinguishes geometric deck reflection,
000157 | Calderon polarization and finite carrier involution.  A moves no base point;
000158 | it is pointwise conjugation followed by a phase.  It therefore does not by
000159 | itself exchange the positive and negative collar regions.  If a local spinor
000160 | solves D Psi=0, equation (1) gives
000161 | 
000162 |   D(A Psi)=pi sigma_1 A Psi,
000163 | 
000164 | so A is not a bulk D-solution intertwiner.  This fact alone does not prove
000165 | that its boundary trace fails to preserve the Calderon range: another
000166 | D-solution could have the same transformed boundary trace.  Deciding that
000167 | question requires the actual Poisson or Calderon boundary operator and the
000168 | identity
000169 | 
000170 |   A_boundary Ran(P_C) = Ran(P_C),
000171 | 
000172 | or a counterexample to it.  Neither is supplied by the present calculation.
000173 | Preserving the local physical edge condition b is strictly weaker than
000174 | preserving the P1 boundary polarization.
000175 | 
000176 | The composite can decorate a separately supplied geometric reflection, but
000177 | reflection positivity, the state, the collar reference and their common
000178 | intertwiner still have to be proved on that same representation.
000179 | 
000180 | 5. Relation to the earlier source results