Strict Deformation Quantization and Local Spin Interactions

We define a strict deformation quantization which is compatible with any Hamiltonian with local spin interaction (e.g. the Heisenberg Hamiltonian) for a spin chain. This is a generalization of previous results known for mean-field theories. The main idea is to study the asymptotic properties of a suitably defined algebra of sequences invariant under the group generated by a cyclic permutation. Our point of view is similar to the one adopted by Landsman, Moretti and van de Ven (Rev Math Phys 32(10):2050031, 2020, https://doi.org/10.1142/S0129055X20500312), who considered a strict deformation quantization for the case of mean-field theories. However, the methods for a local spin interaction are considerably more involved, due to the presence of a strictly smaller symmetry group.