where s 1 ⋯ ⋯ s N are the values of the e.g. z -component of the spin in a spin chain, and the A are matrices of arbitrary dimension m. As m → ∞, the representation becomes exact. This theory was exposed by S. Rommer and S. Ostlund in [1].