TFPT scientific source excerpt
Original repository path: verification/v258_dirac_covariance_induction.py
Original file SHA-256: 16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1
Inclusive original lines: 10-21
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.

000010 | The one exact ingredient is the standard quasi-free / modular dictionary.  A
000011 | quasi-free (Gaussian) fermionic state is fixed by its two-point covariance C (a
000012 | positive contraction, spectrum in (0,1)); its one-particle modular / entanglement
000013 | Hamiltonian is
000014 | 
000015 |     H  =  log( (1 - C) C^{-1} )            (Araki; Casini-Huerta; Peschel),
000016 | 
000017 | and conversely C is the Fermi-Dirac / KMS occupation of H,
000018 | 
000019 |     C  =  (1 + e^{H})^{-1}                  (KMS at beta = 1, the v239 seam state).
000020 | 
000021 | So the induction  C -> log((1-C)C^{-1})  is the EXACT inverse of the KMS map, and