TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-OPERATOR-INFORMATION.txt Original file SHA-256: f9ef51cfad6d16ce0b95b9a6793a4604f8d15a8bf08993aee197191b7af73e5c Inclusive original lines: 1-155 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 | B1/B3: CONCRETE OPERATOR INFORMATION AND THE ORIGINAL PROFILE BRIDGE 000002 | 30 October 2026. Analytic source comparison and actual96 controls. 000003 | 000004 | 1. Original caller and existing gap 000005 | Current documents/tfpt_2_standard_model/sections/010-section-the-explicit- 000006 | mass-gap-closes-dynamics-and-cluste.tex:273-326 prints the whole relative 000007 | spectral action, the KK class call and covariance logarithm. v258's forward 000008 | source gap was already proved and is reused. Neither the present result 000009 | nor a KK class manufactures the missing physical P_F or K_car module. 000010 | v259_modular_cutoff_kappa.py:51-106 computes the exponential moments; the 000011 | same-KMS-weight assertion is explicitly a recorded check(...,True). 000012 | The exact missing argument identification must not be replaced by a name. 000013 | 000014 | 2. Existing original Higgs family separates class from actual source 000015 | Use Phi_r=r D_Y+D_MR, r real, at fixed original Yukawas and Majorana. 000016 | ACTUAL-ONEFORM-COUPLED-SOURCE-RESPONSE.txt already proves this is an original 000017 | inner one-form direction. No free Yukawa extremization is introduced. 000018 | On the original compact AP normal double times the tangent circle, set 000019 | D_r=N partial_rnormal+S A+Z Phi_r, Gamma=Z gamma. 000020 | The old complex grading is correct: {Gamma,D_r}=0 on common product H1. 000021 | For smooth fixed coefficients and the represented smooth product algebra, 000022 | commutators are bounded, ellipticity gives compact resolvent, and 000023 | D_r-D_t=(r-t) Z D_Y is bounded, selfadjoint and odd. 000024 | A bounded norm-continuous perturbation on a compact parameter interval 000025 | therefore gives a homotopy of the bounded Kasparov transforms. All D_r 000026 | represent the SAME COMPLEX graded K-homology class under these hypotheses. 000027 | No real KO assertion is made without its full quarter-domain real map. 000028 | On the boundary h_r=A gamma-i gamma Phi_r instead satisfies 000029 | {gamma,h_r}=2A, so it is NOT a gamma-graded even cycle. The ungraded odd 000030 | cycle can be used if its own algebra hypotheses are imposed. 000031 | 000032 | For any fixed ell>0, C_r=(1+exp(2ell h_r))^-1 determines h_r by log odds. 000033 | If D_Y nonzero and r!=t, then h_r!=h_t, hence C_r!=C_t and whole G differs. 000034 | This is exact functional-calculus injectivity, not a cutoff inference. 000035 | Moreover tr Phi_r^2=r^2 tr D_Y^2+tr D_MR^2 because the actual blocks are 000036 | Hilbert Schmidt orthogonal. For r=1,2 these invariants differ, so the change 000037 | cannot be removed by a frame preserving the given A,gamma dictionary. 000038 | The actual96 complex integer controls yield tr Phi^2=1862 and7238, verify 000039 | the full D parity, wrong boundary parity, logarithmic inverse and whole G. 000040 | Probe coefficients and ell=1/64 only control identities; they are not new 000041 | physical values or a physical normal scale choice. 000042 | 000043 | Kucerovsky's original primary reference, J Operator Theory44(2000),255-275, 000044 | https://jot.theta.ro/jot/archive/2000-044-002/2000-044-002-003.pdf, 000045 | Theorem1.1 and introduction, gives connection, positivity and domain tests 000046 | for a proposed unbounded product and existence after equivalence. It does 000047 | not select a unique representative or connection from a class equation. 000048 | This agrees with the explicit original-family comparison above. 000049 | 000050 | 3. Correct types from CAR covariance to heat action 000051 | For C=(1+exp(k))^-1, k=2ell h is a SIGNED one-particle generator. 000052 | The positive spectral operator exp(-k)=C(I-C)^-1 is generally UNBOUNDED. 000053 | For the existing free tangent class, k has eigenvalues tending to both 000054 | signs of infinity. In contrast exp(-t D^2) is bounded by I for t>0. 000055 | No positive scalar normalization turns these into the same operator. 000056 | Already k=diag(log2,-log2) gives exp(-k)=diag(1/2,2), while exp(-t k^2) 000057 | is scalar. A positive even heat profile loses this orientation information. 000058 | This rules out ONLY the literal untransported equality; not an unspecified 000059 | trace transformation, geometric KMS theorem or whole TFPT realization. 000060 | 000061 | The domain of exp(-k) is the spectral exponential integrability condition 000062 | integral exp(-2lambda)d=0, p has global minimum -4-4sqrt2 at u=2+sqrt2, so the multiplier 000090 | is at least(4-sqrt2)/5>0. F_epsilon is smooth and exponentially decaying. 000091 | Its first three quantities equal1,1,1 exactly, as for exp(-u), whereas 000092 | integral u^2 F_epsilon=13/5 instead of2. It is a mathematical counterprofile, 000093 | not a proposed physical replacement. It only tests general positivity. 000094 | Indeed F_epsilon''(0)=-1/5<0, so it is NOT a positive Laplace mixture. 000095 | This last distinction is essential for the constructive result below. 000096 | 000097 | 5. Complete positive Laplace class is decided by a variance identity 000098 | Assume explicitly F(u)=integral_[0,infinity) exp(-s u)dnu(s), nu finite 000099 | positive, m0>0,m1,m2 finite. Finite m1 excludes an atom at s=0. 000100 | Tonelli, with nonnegative integrands, gives 000101 | m0=integral dnu, m1=integral s^-1 dnu, m2=integral s^-2 dnu. 000102 | Cauchy Schwarz, equivalently the variance of X=1/s under nu/m0, gives 000103 | m0*m2-m1^2>=0. 000104 | Equality holds iff X=m1/m0 almost surely, hence 000105 | nu=m0 delta_(m0/m1), F(u)=m0 exp[-(m0/m1)u]. 000106 | Conversely this point measure realizes equality. Thus the WHOLE stated 000107 | positive Laplace class with m0=m1=m2=1 consists of exactly exp(-u). 000108 | No finite atom count or search cutoff is needed. 000109 | For approximate inputs sigma^2=m2/m0-(m1/m0)^2, Chebyshev gives the automatic 000110 | candidate bound nu{|1/s-m1/m0|>=delta}/m0<=sigma^2/delta^2. 000111 | If the determinant is negative, no candidate in this class exists. If zero, 000112 | there is exactly the displayed point measure. If positive, low moments alone 000113 | do not determine its whole positive measure; retain the source equations. 000114 | This is a concrete exact/interval sieve, not a new physical normalization. 000115 | 000116 | 6. What the ORIGINAL sources allow us to conclude 000117 | Archive45 boundary source001:345-350 describes Bernstein profiles as an 000118 | analytic realization of an ALREADY fixed channel. Its metrology source005: 000119 | 65-128 defines the positive measure cone and a branch-matching moment slice. 000120 | Neither inspected passage derives the same argument as the current modular 000121 | one-particle k or independently derives m0=m1=m2=1 for that variable. 000122 | v259 obtains the three numbers by FIRST inserting exp(-u). They therefore 000123 | cannot be reused as an independent proof that the same insertion is forced. 000124 | Conditional result5 repairs precisely the uniqueness inference IF those 000125 | original links are provided. It does not supply them by assumption. 000126 | 000127 | The earlier UV-map audit already excludes the printed strictly positive 000128 | Lebesgue density map on finite measures and its unsupported moment-slice 000129 | preservation. That is an existing result, not a new whole-theory exclusion. 000130 | There is an extra exact relation: on this particular zero-variance slice, 000131 | any preserving map must fix delta1; a genuinely diffuse positive output 000132 | cannot preserve it. Truncating the old integral alone would not make that 000133 | map a selector for this slice. No replacement RG kernel is introduced. 000134 | 000135 | 7. Decision for continued original work 000136 | There are two coupled original missing arrows, not a demand for more generic 000137 | candidate numerics: (a) the actual K_car module/connection/domain map taking 000138 | the source OPE, full graded gauge dictionary and clock images into P_F and 000139 | its covariance; (b) the original map taking that source and its bound 000140 | reference to the positive spectral argument and independently fixed moments. 000141 | The existing inverse reader, heat-moment arithmetic, marked E8 extension, 000142 | quarter transport and conditional profile uniqueness remain available. 000143 | They cannot be substituted for either forward arrow. 000144 | B1/B3 stay open; subresults above can be marked done with their premises. 000145 | The full4D interaction measure, physical state/geometry, UV normalization and 000146 | Universalraum process rule are not proved by this finite/product comparison. 000147 | 000148 | [OMITTED: non-scientific conversation or execution metadata] 000149 | [OMITTED: non-scientific conversation or execution metadata] 000150 | [OMITTED: non-scientific conversation or execution metadata] 000151 | [OMITTED: non-scientific conversation or execution metadata] 000152 | [OMITTED: non-scientific conversation or execution metadata] 000153 | [OMITTED: non-scientific conversation or execution metadata] 000154 | [OMITTED: non-scientific conversation or execution metadata] 000155 | [OMITTED: non-scientific conversation or execution metadata]