TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/ZERO-FREE-ORIGIN.txt
Original file SHA-256: 0d5c234139fdf89283d68643c176a5d66579b6463b228bfca5b393ab1323d99f
Inclusive original lines: 1-124
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: ZERO-FREE HEAT TRACE EXCLUDES A FLAT RANK-ONE FACTOR
000002 | 3 November 2026. origin_topology. No numerical run or new source model.
000003 | 
000004 | VERDICT
000005 | 
000006 | The proposed theorem is correct for the SAME positive physical heat
000007 | operator of the given unprojected Clifford caller, with the actual boundary
000008 | pairing and sewing preserved. It excludes ALL unitary identifications
000009 | with a tensor-decoupled flat rank-one factor of finite dimension d>2,
000010 | including nonlinear CAR coordinates. It does not require a linear field map.
000011 | 
000012 | The source-class premise is exactly the positive excitation Hamiltonian
000013 | already printed in GRADED-HS-REFLECTION-AND-TIME.txt:35-57:
000014 |  H_free=sum_j epsilon_j n_j, epsilon_j>0,
000015 |  finitely many zero modes m, sum_j exp(-beta epsilon_j)<infinity
000016 |  for EVERY real beta>0.
000017 | Here epsilon_j=|lambda_j(h)|, h=A gamma_F-i gamma_F Phi in the original
000018 | normal-independent smooth bounded classical-Phi collar. No commutation of
000019 | Phi with A is needed. The actual finite multiplicities and all96 couplings
000020 | are retained. This is not the HS Liouvillian L_H-R_H.
000021 | Source: research-source:9d74943738bc66a036eb3f4f:1-200,
000022 | SHA0d9727a9e167c64ef4a8413736c1555b90a7c5da5392eeea3a3455d0bb037986.
000023 | 
000024 | 1. STRICT ZERO-FREENESS OF THE ACTUAL FREE TRACE
000025 | 
000026 | For Re z>0, the ordinary trace is
000027 |  Z_free(z)=2^m product_j(1+exp(-z epsilon_j)).
000028 | The finite-mode identity is the literal occupation trace. On every compact
000029 | subset of Re z>0 choose delta>0 below all real parts. Then
000030 |  sum_j |exp(-z epsilon_j)|<=sum_j exp(-delta epsilon_j)<infinity.
000031 | For a sufficiently far tail, these terms have modulus at most1/2 uniformly.
000032 | The analytic power-series logarithms log(1+q_j(z)) therefore obey
000033 |  |log(1+q_j(z))|<=2|q_j(z)|.
000034 | Their series converges locally uniformly. Its exponential is holomorphic
000035 | and never zero. Each finite prefactor is also nonzero, since
000036 |  |exp(-z epsilon_j)|<1.
000037 | Consequently Z_free is holomorphic and NONZERO throughout the open right
000038 | half-plane. The zero-mode factor2^m is finite and nonzero.
000039 | 
000040 | This also justifies passage from finite products to the actual Fock heat
000041 | trace: the absolute occupation sum is bounded by the convergent real
000042 | product at Re z. Thus no formal infinite product or zeta regularization
000043 | is being substituted for the source's ordinary heat trace.
000044 | 
000045 | 2. A LITERAL FLAT TENSOR FACTOR WOULD FORCE A RIGHT-HALF-PLANE ZERO
000046 | 
000047 | Suppose, as selfadjoint operators under a unitary identification,
000048 |  H_free=H_R tensor I_d+I_R tensor Delta(I_d-P_phi),
000049 |  Delta>0, rank P_phi=1, finite d>2.
000050 | The second operator is bounded and nonnegative. Restricting the quadratic
000051 | form to x tensor phi shows H_R>=0. At real beta>0, the nonnegative trace
000052 | factorization (Tonelli, including infinite rest dimension) gives
000053 |  Z_free(beta)=Z_R(beta)[1+(d-1)exp(-beta Delta)].
000054 | The bracket is finite and strictly positive; hence Z_R(beta)<infinity
000055 | for every beta>0. In particular H_R's ordinary heat trace is holomorphic
000056 | on Re z>0. This follows either by its eigenvalue sum or trace-norm
000057 | holomorphy, uniformly dominated on compact sets by a real positive-time
000058 | trace. A scalar lower-bound shift changes none of this conclusion.
000059 | 
000060 | For complex z with positive real part the same tensor exponential and
000061 | absolutely convergent trace give
000062 |  Z_free(z)=Z_R(z)[1+(d-1)exp(-Delta z)].
000063 | Set z_star=(log(d-1)+i pi)/Delta. Its real part is positive and the bracket
000064 | is zero. Z_R is finite there and has no pole that could cancel that zero.
000065 | This contradicts section1. The literal factorization is impossible.
000066 | 
000067 | For the native d=65536, Delta=2 target, use exactly
000068 |  z_star=(log65535+i pi)/2.
000069 | No numerical value, candidate phase or temperature fit is required.
000070 | 
000071 | 3. OFFSETS, CLOCK SCALES AND THE SEMIGROUP LOG
000072 | 
000073 | An additive finite energy offset multiplies the trace by exp(-c z), which
000074 | has no zeros. A positive common clock scale replaces epsilon_j and Delta
000075 | by positive scalar multiples and preserves the open right half-plane.
000076 | Neither affects the contradiction. An infinite sea subtraction is NOT
000077 | an allowed uncomputed scalar: the source defines its honest positive
000078 | excitation H directly, so its ordinary finite heat trace is the object
000079 | used in this proof. Relative determinants or arbitrary meromorphic
000080 | reference quotients are not substituted for it.
000081 | 
000082 | In fact an exact identity of the SAME positive heat operator at one time
000083 | s0>0, up to a positive scalar and unitary boundary identification, is enough:
000084 |  Q_free(s0)=a U exp(-s0 H_target) U^*, a>0.
000085 | The spectral logarithm of an injective positive heat operator is unique,
000086 | even when0 lies in its spectrum and its inverse is unbounded. It gives
000087 |  H_free=U H_target U^*-(log a)/s0 I
000088 | with the corresponding spectrally transported domain. Thus the theorem
000089 | also excludes that exact positive-kernel identity. It does NOT follow
000090 | from equality of one scalar trace, overlap or two-point response.
000091 | 
000092 | The complex z argument is analytic continuation of the SAME given heat
000093 | semigroup. It chooses no second physical temperature or state.
000094 | 
000095 | 4. SHARP SCOPE AND COUNTEREXAMPLE CHECKS
000096 | 
000097 | The condition d>2 is necessary: for d=2 the flat rank-one factor is exactly
000098 | one ordinary fermion of energy Delta; its zeros lie on Re z=0, consistent
000099 | with the theorem. Delta>0 and rank-one ground projector are also explicit.
000100 | 
000101 | Projection is a real exception. For three equal-energy free fermions,
000102 | the EVEN-parity projection has trace1+3exp(-2epsilon z), which has zeros
000103 | with Re z>0. Thus an exact commuting Gauss/parity projection can destroy
000104 | the free-product zero-freeness. This elementary scope check is not a new
000105 | TFPT candidate or execution. The actual original Gauss-projected source
000106 | requires its own character/sector trace and is not excluded by this proof.
000107 | 
000108 | The theorem concerns a literal tensor sum. It does not forbid a chosen
000109 | flat penalty with mirror-dependent rest interactions, a compressed/direct
000110 | sum sector, the same ground vector, the same gap, or a nonlinear field
000111 | coordinate expression without the asserted tensor factorization.
000112 | 
000113 | A Hilbert-space unitary intertwining an HS Liouvillian, an arbitrary
000114 | mixing of both GNS faces or a tangential circle spectrum is insufficient.
000115 | Those generators need not have a positive ordinary heat trace. The source
000116 | identification must preserve the SAME oriented positive physical transfer
000117 | and its boundary pairing/sewing. With that identification the partition
000118 | trace is invariant under ANY unitary; no linear-CAR hypothesis remains.
000119 | 
000120 | An arbitrary full interacting S_adm, its physical Gauss projection or its
000121 | relative Z quotient has not been shown to satisfy section1's product
000122 | premise. The theorem therefore excludes the actual UNPROJECTED GIVEN
000123 | quasi-free Clifford caller as the literal factorized flat DET source in
000124 | this exact heat sense, not the whole TFPT original source.