ハイゼンベルク模型でハミルトニアンはH=ΣJS_i・S_i+1となり
J>0の反強磁性相互作用の時の基底状態は
|↑↓↑↓↑↓…>
らしいんだが、これはただしいの?