Abstract
Transfer-matrix methods for quantum spin systems are formulated and their limiting properties are studied rigorously. The present formulation is applied explicitly to an exactly soluble transverse Ising model. A computer implementation of the two-dimensional triangular antiferromagnetic quantum Heisenberg model is also proposed to study Anderson’s picture of the dynamic coherence of the phase of singlet pairs.