The frozen CAR covariance
holomorphic kms extension en
The finite collar used by v995 has eight complex fermion modes, hence [formula in source] In dimensionless modular units the one-particle Hamiltonian is [formula in source] and the script sets [formula in source] . Therefore [formula in source] This is exactly Araki's covariance [formula in source] , so the finite CAR representation is factorial and the density matrix is faithful. On the occupation basis [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/articles--2026-08-29--holomorphic_kms_extension_en/sections/002-subsection-the-frozen-car-covariance.tex · lines 1 to 54
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v995_kms_subnet_rigidity.py
literal short identifier uniquely resolves in local script registry