Antiferromagnetic Long-Range Order in a Lattice Fermion Model

We study a lattice fermion model with antiferromagnetic interactions on the three-dimensional cubic lattice. The hopping term of the Hamiltonian has a Weyl-type dispersion. We prove that the model has reflection positivity. Moreover, by relying on the property, we prove the existence of the antiferromagnetic long-range order at low temperatures in a strong coupling regime.