Here, the subscripts refer to lattice sites, and the sum ∑ ∑ ⟨ ⟨ i , j ⟩ ⟩ is done over pairs of nearest neighbour sites i and j . The clock matrices X j and Z j are generalisations of the Pauli matrices satisfying