Wick's Theorem for Spin Operators and Its Relation to the Coupled-Fermion Representation

Abstract
It is shown that Wick's theorem and the linked diagram expansion theorem for S = ½ operators (applied elsewhere by the authors to discuss antiferromagnetic spin waves) can be derived by a direct application of conventional theorems to the coupled‐fermion representation of spin operators.