The freezing phase transition in hard core lattice gases on triangular lattice with exclusion up to seventh next-nearest neighbor

Hard core lattice gas models are minimal models to study entropy driven phase transitions. In the $k$-NN lattice gas, a particle excludes all sites upto the $k$-th next-nearest neighbors from being occupied by another particle. As $k$ increases from one, it extrapolates from nearest neighbor exclusi