Antiferromagnetic ordering of energy levels for spin ladder with four-spin cyclic exchange: Generalization of the Lieb-Mattis theorem

The Lieb-Mattis theorem is generalized to an antiferromagnetic spin-ladder model with four-spin cyclic exchange interaction. We prove that for J>2K, the antiferromagnetic ordering of energy levels takes place separately in two sectors, which remain symmetric and antisymmetric under the reflection with respect to the longitudinal axis of the ladder. We prove also that at the self-dual point J=2K, the Lieb-Mattis rule holds in the sectors with fixed number of rung singlets. In both cases, it agrees with the similar rule for Haldane chain with appropriate spin number.