Chiral Long-Range Order in three Euclidean Lattice Gross-Neveu Models

Abstract

We prove the existence of Long-Range Order in a class of two-dimensional Euclidean lattice Gross-Neveu models with an even number of fermion flavors, covering three standard lattice discretizations, including naive and staggered fermions widely used in numerical studies. By performing a Hubbard-Stratonovich transformation, we map the fermionic systems to bosonic ones and establish Reflection Positivity for the resulting measures. Exploiting this structure, we combine Chessboard Estimates with a Peierls-type contour argument to prove Long-Range Order for the chirally charged fermion-mass bilinear $\overlineψψ$ at sufficiently small coupling and sufficiently large flavor number. Our analysis is robust with respect to the choice of lattice discretization and applies uniformly across different realizations of the same underlying continuum model. Moreover, we obtain uniform pointwise bounds on the bosonic two-point function, equivalently on the fermionic mass-mass correlator, showing that it is quantitatively controlled by the minimizers of the effective potential. This provides a fully rigorous and non-perturbative demonstration of Long-Range Order in lattice Gross-Neveu models and establishes a direct connection between the rigorous theory and its large-$N$ (mean-field) predictions.