TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ALLMODE-COLLECTIVE-TIME-SOURCE-PROOF.txt
Original file SHA-256: a5ad46653d2337e3803624ea3bb7828f4655be879ac80cb80bf1007cbc06cdb0
Inclusive original lines: 1-178
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 | R079. Original all-mode force, actual time and the full smeared quantum source.
000002 | 1 November 2026. Scoped mathematics, not physical F1 completion.
000003 | 
000004 | 1. ORIGINAL INPUT AND DECISION QUESTION
000005 | Reuse R078 actual v252/254 real oneform Phi(H), all fixed Yukawas and Majorana
000006 | constructor. Its particle-quark36 subspace reduces D and four derivatives.
000007 | It is not Fock on the KO-doubled96. Other sectors/vertices remain in the master.
000008 | Let gamma*=gamma, gamma²=1, V*=-i gamma Phi(H*) Hermitian and odd, and
000009 | Ta=-i gamma dPhi/dxa Hermitian and odd. This is the given constant circle
000010 | source hp=p gamma+V*, p=n+alpha, alpha=1/4 or3/4, n inZ, ell>0 given.
000011 | hp²=p²+V*²; Cp=(1+tanh(ell hp))/2. Use its pairing-zero quasifree CAR state.
000012 | Even words on distinct Fourier blocks factorize. No new state or dynamics.
000013 | From the original quaternionic oneform, 1/2 Tr TaTb=sigma² deltaab,
000014 | sigma²=3Aq, Aq=Tr(Yu*Yu)+Tr(Yd*Yd). For nonzero quarkY, sigma²>0.
000015 | Original h time is used, not newly identified physical spacetime time.
000016 | Changed premise from R078: the actual infinite Fourier tower rather than a
000017 | fixed finite matrix algebra. Test whether its uniform CLT supplies a nonzero
000018 | dynamically smeared source. On failure retain the original unscaled source,
000019 | not a freely optimized time, cutoff, spectral weight, interaction or H law.
000020 | 
000021 | 2. SAME-TIME UNIFORM CLT, WHOLE ORDERED WORDS
000022 | Set M=2N, p=n+alpha, -N<=n<N, Xpa=dGamma_p(Ta)-Tr CpTa,
000023 | FN,a=M^-1/2 sum_p Xpa. Uniform operator norms of Xp(lambda) follow from
000024 | fixed internal dimension and bounded fixed Ta. For every fixed finite list
000025 | lambda1,...,lambdar, the exact block ordered determinant gives
000026 | omega(prod_k exp(i lambdak.FN))=prod_p omega_p(prod_k exp(i Xp(lambdak)/sqrtM)).
000027 | Uniform Taylor expansion through degree2 has remainder O(M^-3/2) per block.
000028 | After centering the linear term vanishes. Quadratic terms use ordered Wick
000029 | covariance Vp,ab=Tr CpTa(1-Cp)Tb, retaining its antisymmetric part.
000030 | As p->+/-infinity, Cp=Pgamma,+/-+O(1/|p|)+O(exp(-2ell|p|)).
000031 | The O(1/p) is the COUPLED spectral projector rotation, not thermal error.
000032 | Vp,ab=Tr Pgamma,sign(p)TaTb+O(1/|p|)
000033 |  =sigma² deltaab+sign(p)Tr gammaTaTb/2+O(1/|p|).
000034 | Oddness implies Tr gammaTaTb=-Tr gammaTbTa; do not discard it per mode.
000035 | There are N modes of each sign. Cesaro covariance is sigma² I+O(logN/N).
000036 | Taking logs of near1 block factors and summing Taylor remainders gives
000037 | lim omega(prod_k exp(i lambdak.FN))=exp(-sigma²|sum_k lambdak|²/2).
000038 | This is a classical isotropic Gaussian same-time source in state moments,
000039 | not operator-norm convergence or a chosen physical Higgs law. R078's fixed
000040 | finite algebra theorem does not apply to this infinite fluctuation limit.
000041 | No universal claim about all other fluctuation weightings is inferred.
000042 | 
000043 | 3. ACTUAL TIME, FIRST DECISIVE FAILURE OF THAT CLT AS A DYNAMIC FIELD
000044 | Ta,p(t)=exp(it hp)Ta exp(-it hp). Stationarity follows from [Cp,hp]=0.
000045 | Covp,ab(t,s)=Tr Cp exp(i(t-s)hp)Ta exp(-i(t-s)hp)(1-Cp)Tb.
000046 | The energies are +/-sqrt(p²+mu_j²). For fixed tau=t-s, occupied positive to
000047 | empty negative transitions carry exp(+2i|p|tau) on BOTH momentum signs.
000048 | Leading weights are Tr Pgamma,sign(p)TaTb; mixed a,b weights need not be
000049 | sigma² deltaab separately. Energy differences differ from2|p| by O(1/|p|).
000050 | For tau not in piZ the two half-tower geometric sums are bounded, while
000051 | the summed approximation error is O(logN). Thus Cov FN,a(t),FN,b(s)->0.
000052 | In particular this holds for0<|tau|<pi. At tau=0 variance->sigma²>0.
000053 | Resonant tau=kpi require their phases and mixed weights, not a blanket zero
000054 | or scalar cos formula. No need to classify those points for the following test.
000055 | 
000056 | For real Schwartz f define A_pa(f)=int_R f(t) Ta,p(t)dt and centered
000057 | Xp,a(f)=dGamma_p(A_pa(f))-Tr CpA_pa(f). In hp eigenbasis,
000058 | Aij=fhat(Ei-Ej)Taij, fhat(w)=int f(t)exp(iwt)dt.
000059 | vp,a(f)=sum_ij ci(1-cj)|Taij|² |fhat(Ei-Ej)|² >=0.
000060 | Equal energy signs give ci(1-cj)<=exp(-2ell|p|).
000061 | Opposite signs give |Ei-Ej|>=2|p|. For every r>1/2 a Schwartz bound yields
000062 | vp,a(f)<=const_f[exp(-2ell|p|)+(1+|p|)^(-2r)].
000063 | Consequently Ba(f)=sum_all_p vp,a(f)<infinity. The normalized source satisfies
000064 | ||FN,a(f)Omega||²<=Ba(f)/M ->0. Its unitary source tends1 on Omega.
000065 | The pointwise Gaussian has no nonzero temporal distributional field limit
000066 | under this fixed normalization. In particular it is not white noise: no
000067 | delta mass survives. A point-indexed process is not ruled out; it simply
000068 | does not give the desired nonzero smeared field. No new time rescaling chosen.
000069 | 
000070 | 4. CONSTRUCTIVE RESULT: ORIGINAL UNSCALED SMEARED SOURCE EXISTS
000071 | Retain Sa,N(f)=sum_p Xp,a(f), withoutM^-1/2. Centering is the connected/Wick
000072 | reader relative to the ALREADY GIVEN state, not a new primitive action or
000073 | an asserted finite absolute vacuum energy. Absolute Z0/Ref/Eta remain separate.
000074 | For nested cutoffs ||(SN-SL)Omega||²=sum_tail vp(f)->0. If B is a finite-mode
000075 | CAR word, the sufficiently distant EVEN tail commutes with B, hence
000076 | ||(SN-SL)B Omega||<=||B|| sqrt(sum_tail vp(f)).
000077 | Thus SN converges on dense Dloc=span{B Omega:B finite-mode CAR}. The resulting
000078 | operator is symmetric for real f, by passing inner products of finite sums.
000079 | Schwartz is sufficient, not necessary: any f with bounded A_p and summable
000080 | vp works. In this one-dimensional tower a rectangular finite time window has
000081 | |fhat(w)|<=min(T,2/|w|) and a summable p^-2 variance bound. It is no counterexample.
000082 | An instantaneous delta has the original nondecaying UV variance and fails.
000083 | For nonzero Ta and finite ell each Cp is faithful. A real Gaussian f has
000084 | nowhere-vanishing fhat, so at least one vp>0, indeed every nonzero block A_p
000085 | has positive variance. The all-mode source is nontrivial.
000086 | 
000087 | There is also a genuine selfadjoint realization, not just a vector/form.
000088 | UN(lambda)=exp(i lambda SN). For each centered selfadjoint block X,
000089 | |omega(exp(i lambda X))-1|<=lambda² omega(X²)/2.
000090 | Since block characteristic factors have modulus<=1, telescoping the finite
000091 | tail product proves ||(Utail(lambda)-1)Omega||²<=lambda² sum_tail vp.
000092 | The bound is uniform on compact lambda intervals. Distant Utail commutes with
000093 | local B. Therefore UN and UN* converge strongly on Dloc and hence everywhere,
000094 | uniformly on compact lambda intervals on every fixed vector. Their limits
000095 | are inverse unitaries U(lambda), form a strongly continuous one-parameter
000096 | group, and have a selfadjoint Stone generator Ka(f).
000097 | SN B Omega converges as above. Passing to the limit in
000098 | (UN(lambda)-1)B Omega=i int_0^lambda UN(s) SN B Omega ds
000099 | shows B Omega is in Dom Ka(f) and Ka(f)B Omega=lim SN B Omega.
000100 | No claim that Dloc is an essential selfadjointness core is needed or made.
000101 | Translation of f under the same original time flow transports this source;
000102 | variance continuity follows by dominated Schwartz bounds. No new clock.
000103 | 
000104 | 5. WHOLE ORDERED SOURCE, NOT JUST ITS SECOND MOMENT
000105 | Allow finite lists of real test functions and real linear combinations of
000106 | the four Ta. Denote the corresponding one-particle matrices A_pk and their
000107 | centered second quantizations X_pk. Then exactly
000108 | omega(prod_k exp(i lambda_k K(fk)))=prod_p Fp,
000109 | Fp=exp(-i sum_k lambda_k Tr Cp A_pk)
000110 |        det(1-Cp+Cp prod_k exp(i lambda_k A_pk)).
000111 | The relative phase and determinant form ONE centered factor; the two
000112 | infinite products separately need not converge. Original order is retained.
000113 | Proof: finite-cutoff Klich identity, CAR block factorization and strong limits.
000114 | For absolute product convergence put Ypk=exp(i lambda_k X_pk)-1.
000115 | Expand prod_k(1+Ypk) into ordered subsets. A singleton expectation is bounded
000116 | by lambda_k² vp,k/2. For a subset of size s>=2, state Cauchy-Schwarz and
000117 | ||Ypk||<=2 bound its expectation by
000118 | 2^(s-2)|lambda_first lambda_last|sqrt(vp,first vp,last).
000119 | Indeed Ypk is normal and ||Ypk Omega||,||Ypk*Omega||<=|lambda_k|sqrt(vp,k).
000120 | Summation over p is finite by Cauchy-Schwarz and each sum vp,k<infinity.
000121 | Hence sum_p |Fp-1|<infinity. Zeros of finite factors are allowed, giving a
000122 | zero product, not a failed construction. Finite word Gram positivity passes
000123 | to the limit. This is quantum ordered-source positivity, not a classical
000124 | joint law for all noncommuting forces or an Euclidean measure/RP proof.
000125 | Higher connected moments are retained. They need not all be nonzero, and
000126 | nonlinearity of a determinant alone is not proof of any particular cumulant.
000127 | 
000128 | 6. EXACT RADIAL CHECK AND INDEPENDENT FOCK CONTROL
000129 | For original native H*=(0,1), V*=T3. By singular decomposition of fixed Yu,Yd
000130 | the radial channel is three colors of six hp=[[p,s],[s,-p]], Ta=s sigma_x.
000131 | Let E=sqrt(p²+s²), c=expit(2ell E), d=2c(1-c)s^4/E², b=s²p²/E².
000132 | Its covariance is3 sum_s [d+b(c² exp(2iE tau)+(1-c)² exp(-2iE tau))].
000133 | For the Gaussian TEST function fv(t)=exp(-t²/(2v))/sqrt(2pi v),
000134 | variance per p is3 sum_s[d+b(c²+(1-c)²)exp(-4vE²)].
000135 | These formulas are independently checked against all native36 matrices.
000136 | No physical width, coupling, Yukawa or mass prediction is selected here.
000137 | For any Hermitian A and diagonal C, the fourth connected CAR cumulant is
000138 | Tr[C A4-4 C A C A3-3 C A² C A²+12 C A C A C A²-6(C A)^4].
000139 | A separate four-state Fock calculation checks cumulants2,3,4 for one pair.
000140 | Native seed252,alpha1/4,ell1,v.05 controls give the convergent unscaled
000141 | radial cumulants2/3/4=26.085299082466907,-61.38989945834513,168.79099147128437.
000142 | Thus this actual tested whole quantum source is not Gaussian. The all-four
000143 | two-test-function ordered determinant converges to.8587315956172222
000144 | -.027814538103953165i. These are arithmetic controls, not physical observables.
000145 | Thirty focused controls pass with Python assertions disabled. The preceding
000146 | proofs carry the all-mode class statements, not the representative cutoffs.
000147 | 
000148 | 7. OLD SOURCES AND BIG-PICTURE BOUNDARY
000149 | Read the original v365 one-loop module through its actual function and ran
000150 | it unchanged:7passed0failed. It checks finite arithmetic, a Gaussian single
000151 | conformal contour and a given3-state spectrum; final True guard explicitly
000152 | leaves the full nonperturbative projective-limit construction open.
000153 | Later v369 is also read through its whole original155-line source. It
000154 | explicitly calls its ambient redundancy statement CONDITIONAL on seam/BW.
000155 | Its arithmetic discriminators and True/cited reconstruction guard do not
000156 | execute a bulk/boundary observable map, its kernel, or same full H weights.
000157 | They are not a newly recovered complete source construction. No universal
000158 | impossibility follows and no already established E8/clock result is reopened.
000159 | The v45 U1 passage is a small open neighborhood of a unit-topological field
000160 | representative, not a globally bounded H coefficient support/Calderon ball.
000161 | The existing all-mode UV-INSERTION proof is retained: pure instantaneous
000162 | insertion can fail sea implementability while the WHOLE coupled evolution
000163 | is implementable. This result is compatible with that distinction and gives
000164 | a constructive time-smeared insertion reader in the already given state.
000165 | Klich cond-mat/0209642 original PDF finite trace/product identity is used.
000166 | Goderis/Verbeure/Vets1989 publisher abstract is context only; full paper was
000167 | not accessible. No uninspected CLT theorem substitutes for section2's proof.
000168 | 
000169 | The result closes this mathematically supported infinite-mode source reader.
000170 | The spatially constant one-particle insertion is spatially integrated; it
000171 | does not yet define spatial localization. Its existence is no independent
000172 | primitive identification Ka(f)=H(f), no H integration or universal spin2.
000173 | Next execute the original supported Sadm/Wk or CSigma/PF field/joint-weight
000174 | map and its first mixed time/space response. Use this SAME all-mode source
000175 | when that original map calls for it, not another arbitrary collective model.
000176 | Preserve whole higher vertices,Z0/Ref/Eta/H0,P/Q readers,charged words,memory,
000177 | State/Time/RP,E8/clocks,Yukawa/flavor/alpha. R078 whole conditional constant
000178 | H<->mean diffeomorphism and Jacobian remain solved. F1 remains in progress.