A spin system on a lattice can usually be modeled at large scales by an effective quantum field theory. A key mathematical result relating the two descriptions is the quantum central limit theorem, which shows that certain ...