High-density hard-core model on $\mathbb{Z}^2$ and norm equations in ring $\mathbb{Z} [{\sqrt 3}]$