Certified structure and a certified algorithm for the hard-square lattice gas
We report three results on the Z² hard-core (hard-square) lattice gas, each carried to completion by an exact-rational and certified-interval arithmetic discipline — never an unverified floating-point approximation. First, for the finite-strip transfer matrix of this model at widths L=2,3,4,5, we certify a branch point...