Established in scope
Known quarter source fully controlled with state and operator tail bounds
In the question: Automated construction of operator maps and sources
Complete construction within the already supplied free source. No P1/P2 selection or infinite particle-hole unitary in empty Fock space. Convergence is in a common HS/Choi space, not of raw filled Slater vectors in empty Fock space. Relative partition sums do not recover the divergent absolute sea scalar. A single chiral D_alpha branch; the entire doubled graded collar is not identified with the same time/loop generator.
Read the exact result, assumptions and evidence
Result
In the supplied sea-relative chiral CAR model the same particle-hole map produces charge N_+-N_-, positive energy and W=exp(2pi iH)=i^(N_+-N_-). The original signed two-mode amplitude diag(1,1/4,64,16) becomes diag(1,1/4,1/64,1/256) through that map and the separate sea factor64. The infinite weighted l2 domain, geometric trace tails and explicit operator-norm/Choi-HS bounds control state and time beyond finite windows.
Required assumptions
- Given chiral source in both quarter domains
D_alpha=-i∂theta on f(theta+2pi)=exp(2pi i alpha)f(theta), filled negative spectrum and relative particle/hole excitation time; alpha=1/4,3/4. This compares two conjugate domains, not opposite charges in one fixed domain or all P1 sources.
- Charged CAR algebra and original negative sea
Assume the actual field algebra is charged CAR(H) and its reference state is the pure quasifree sea with occupation 1−C. Relative charge and positive excitation time are normal ordered against this sea. This physical identification is an additional premise.
Original evidence
- PROOF.txt lines 151–176
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt
3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce
- PROOF.txt lines 199–260
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt
3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce
finding:known-quarter-source-full-multifield-control