TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/historical-dynamics-source-recovery-20261103/HISTORICAL-ACTUAL-CIRCLE-IMPLEMENTATION.txt
Original file SHA-256: b4cca853210376a40192a55c64b8e783a08cb6ca6fd375d29dde327dc736b9ae
Inclusive original lines: 1-131
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 | ACTUAL VARIABLE COLLAR: INFINITE SEA IMPLEMENTATION AND JOINT MOMENTUM
000002 | 3 November 2026. Anonymous source-reviewed continuation, no new model.
000003 | 
000004 | RESULT AND SCOPE
000005 | For the already supplied smooth compact one-dimensional collar operator,
000006 | the actual internal phase exp(i chi gamma_F) is implementable in its
000007 | original sea CAR representation, up to the retained reference phase.
000008 | This is not merely a finite-mode observation. The proof retains the actual
000009 | variable odd Phi and its entire coefficient space. It does not imply a
000010 | 3D/4D Fock implementation or an implementation for arbitrary distributional
000011 | bosonic configurations. No measure support or physical dimension is added.
000012 | 
000013 | The earlier whole scalar two-face implementability result is reused:
000014 | research-source:f431205642543b650f4569a8, lines55-120. The changed source
000015 | data here are the actual variable full96 gamma/Phi operator and the exact
000016 | total-grade phase dictionary, not another scalar multiplier scan.
000017 | Primary mathematical background: Chamseddine, Connes, van Suijlekom,
000018 | Entropy and the spectral action, arXiv:1809.02944, Remark2.5 and Prop2.6,
000019 | https://alainconnes.org/wp-content/uploads/1809.02944-3.pdf .
000020 | The implementability criterion is used; the entropy is not made S_adm.
000021 | 
000022 | 1. THE ACTUAL OPERATOR, NOT A NEW PHYSICAL REFERENCE
000023 | In the original periodic trivialization with its scalar quarter twist,
000024 | h=gamma(-i partial_x+a(x))-i gamma Phi(x),
000025 | gamma^2=I, Phi*=Phi, {gamma,Phi}=0, [a,gamma]=0.
000026 | Coefficients are smooth bounded matrices, gamma is constant, and the
000027 | original H1 domain and holonomy are retained. Set P=1_(-infinity,0)(h).
000028 | For an ESTIMATE ONLY put h0=gamma(-i partial_x+alpha), alpha=1/4 or3/4,
000029 | P0=1_(-infinity,0)(h0). Thus V=h-h0 is bounded selfadjoint.
000030 | No h0 vacuum, thermal state, physics or comparison spectrum is introduced.
000031 | 
000032 | 2. THE FULL SPECTRAL PROJECTION DIFFERENCE IS HILBERT-SCHMIDT
000033 | The actual elliptic h has compact resolvent and a finite-dimensional
000034 | kernel K. Only in this proof replace h by h_tilde=h+delta P_K, delta>0.
000035 | This is invertible and has EXACTLY the same negative projection P.
000036 | The physical h, zero energies and their thermal occupation1/2 stay intact.
000037 | V_tilde=h_tilde-h0 is bounded, with only the displayed finite-rank addition.
000038 | For real |t|>=1 the resolvent identity and ideal inequality give
000039 | ||R_tilde(it)-R0(it)||_2
000040 |  <= ||V_tilde|| |t|^-1 ||R0(it)||_2=O(|t|^-3/2),
000041 | since ||R0(it)||_2^2=96 sum_n((n+alpha)^2+t^2)^-1=O(|t|^-1).
000042 | The finite-rank perturbation does not change this estimate.
000043 | Near t=0 invertibility bounds the resolvent operator norm, and R0(0)
000044 | is Hilbert-Schmidt. The resolvent DIFFERENCE is uniformly S2 there too.
000045 | For invertible selfadjoint operators the symmetric resolvent formula for
000046 | sign yields P-P0=-(1/(2pi))integral_R(R_tilde(it)-R0(it))dt.
000047 | The difference integral converges absolutely in S2 by these estimates.
000048 | Hence P-P0 is Hilbert-Schmidt. No trace-class conclusion is made.
000049 | 
000050 | 3. EXACT ALL-MODE COMMUTATOR NORM AND BOTH FACE GRAPHS
000051 | Let U(x)=exp(i chi(x)gamma) be smooth, unitary and periodic in the actual
000052 | bundle. Its Fourier matrices U_l commute with gamma. Mode n has
000053 | P0(n)=(I-sign(n+alpha)gamma)/2. Thus
000054 | ||[P0,U]||_2^2=sum_l |l| ||U_l||_F^2 < infinity.
000055 | Indeed a fixed integer l crosses the unique sign cut in exactly |l|
000056 | ordered mode pairs; each nonzero matrix difference is +/-gamma U_l.
000057 | This proves the factor without replacing the sum by a finite window.
000058 | Then [P,U]=[P0,U]+[P-P0,U] is Hilbert-Schmidt as well.
000059 | The charged CAR criterion therefore supplies a unitary implementation in
000060 | the original P-sea Fock space, unique up to a phase.
000061 | 
000062 | The actual full two-face projection is G(h)=[[1-C,X],[X,C]],
000063 | C=(1+exp(beta h))^-1, X=(2cosh(beta h/2))^-1, beta>0.
000064 | Tr exp(-beta|h|)<infinity is already established for this original h.
000065 | Therefore C-P and X are trace class, including the finite zero block.
000066 | G(h)-diag(I-P,P) is trace class. It follows that
000067 | [G(h),diag(U,U)] is Hilbert-Schmidt on the whole two-face space.
000068 | Its original conjugate complement I-bar(G(h)) is retained too.
000069 | This is implementation in the SAME source representation, not proof that
000070 | the state stays fixed. The new covariance is U* C U, including crossings.
000071 | The geometric UZ lift uses the transported C0 chart and the full commuting
000072 | diagram of HISTORICAL-TOTAL-GRADE-PHASE-MAP.txt; it is not UI as a bare
000073 | ambient operator with C0 held fixed.
000074 | 
000075 | 4. THE ACTUAL CHARGE, PAIR TERMS AND GENERATOR DOMAIN
000076 | For the global one-parameter phase U_s=exp(i s q), q=gamma, the present
000077 | source fixes the one-particle generator; no arbitrary Q is selected.
000078 | Here [h,q]=2i Phi. Thus q is not generally conserved or diagonal in the
000079 | SPECTRAL particle/hole split of h. This is distinct from gamma-grade signs.
000080 | Write q_ab=P_a q P_b for P_minus=P, P_plus=I-P. In an original finite
000081 | charged occupation regulator a_plus=b, a_minus=d^dagger, so EXACTLY
000082 | Q=Tr(q_minus_minus)+b^dagger q_plus_plus b
000083 |  -d^dagger q_minus_minus^T d
000084 |  +b^dagger q_plus_minus d^dagger+d q_minus_plus b.
000085 | CAR reordering supplies the trace and the transpose. The pair terms are
000086 | not removed using gamma^2=I or an internal-grade projection.
000087 | 
000088 | In the continuum [P,q] is S2, so the offdiagonal coefficient is S2 while
000089 | the diagonal coefficients are bounded. The normal-ordered quadratic on
000090 | the dense finite-particle domain has norm <=K(N+2) on each N sector.
000091 | Successive applications raise particle number by at most2, giving analytic
000092 | vectors for a sufficiently small parameter interval. Its closure is
000093 | selfadjoint and generates the strongly continuous one-parameter lift.
000094 | A scalar c_ref I is still set by the actual source/reference phase. The
000095 | finite Tr(q_minus_minus) is not silently taken to an infinite trace or0.
000096 | For smooth profile f, q=f(x)gamma works likewise; its commutator with h
000097 | also includes -i f'(x)I. A delta profile is not covered by the proof.
000098 | 
000099 | 5. ACTUAL CONTRIBUTION TO THE WHOLE JOINT GENERATOR
000100 | For an existing bosonic coordinate theta and a differentiable source lift,
000101 | A_theta=-i W*partial_theta W,
000102 | W* p_theta W=p_theta+A_theta, p_theta=-i partial_theta.
000103 | On a fixed reference fiber with W=exp(i chi(theta)Q),
000104 | A_theta=chi'(theta)Q. The actual Q contains the pair terms above.
000105 | At finite original coupled regulators this is an exact operator identity;
000106 | on smooth continuum one-parameter paths it holds on the transported
000107 | common domain. A general bosonic quantum field measure must actually
000108 | support such paths/configurations before pointwise lifts are integrated.
000109 | 
000110 | Apply this to the ALREADY supplied R113 whole operator
000111 | H=H_B tensor I+sum_ji V_ji tensor c_j^dagger c_i.
000112 | Transport H_B, every V_ji, operator order, the empty-fermion coordinate
000113 | leg, reference, and P_adm by W. In a kinetic term with momentum p_theta,
000114 | the replacement is p_theta+A_theta with the SAME order. Its cross term
000115 | and A_theta^2 are forced by conjugation, not optional new interactions.
000116 | The numerical matrix h is not a substitute for these V_ji operators.
000117 | A nonreducing P_adm retains its original memory equation, not a falsely
000118 | closed semigroup generated by P_adm H P_adm.
000119 | 
000120 | 6. WHAT THE SPECTRAL CONSEQUENCE ACTUALLY IS
000121 | For the fixed supplied h, h_chi=U*hU has the SAME one-particle spectrum
000122 | on its transported domain. Its sea-relative positive excitation operator
000123 | dGamma(|h_chi|), state and full heat source are unitarily transported.
000124 | The standard HS Liouvillian remains a difference L_H-R_H, not positive H.
000125 | Likewise W* H W has the spectrum of H whenever that whole selfadjoint H
000126 | and transported joint domain have actually been given. It cannot supply
000127 | previously unspecified eigenvalues or turn an indefinite H into a positive
000128 | one. The relative phase and full bosonic weight still matter for that H.
000129 | The complete fundamental S_adm and common physical spectrum are therefore
000130 | not claimed from this implementation result. No extra clock, field,
000131 | vacuum, geometry, scalar stiffness or physical time parameter was chosen.