易辛模型
s是自旋（参看易辛模型）、v是顶点。那么可以定义一个1-形式：