PR ] 2 5 Se p 20 19 High-density hard-core model on Z 2 and norm equations in ring Z [ √ 3 ]