Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAX-SAT

Wenxuan Huang, Daniil A. Kitchaev, Stephen Dacek +5

Lattice models, also known as generalized Ising models or cluster expansions, are widely used in many areas of science and are routinely applied to alloy thermodynamics, solid-soli…