Abstract:Lattice models, also known as generalized Ising models or cluster expansions, are widely used in many areas of science and are routinely applied to the study of alloy thermodynamics, solid-solid phase transitions, magnetic and thermal properties of solids, fluid mechanics, and others. However, the problem of finding and proving the global ground state of a lattice model, which is essential for all of the aforementioned applications, has remained unresolved for relatively complex practical systems, with only a limited number of results for highly simplified systems known. In this paper, we present a practical and general algorithm that provides a provable periodically constrained ground state of a complex lattice model up to a given unit cell size and in many cases is able to prove global optimality over all other choices of unit cell. We transform the infinite-discrete-optimization problem into a pair of combinatorial optimization (MAX-SAT) and nonsmooth convex optimization (MAX-MIN) problems, which provide upper and lower bounds on the ground state energy, respectively. By systematically converging these bounds to each other, we may find and prove the exact ground state of realistic Hamiltonians whose exact solutions are difficult, if not impossible, to obtain via traditional methods. Considering that currently such practical Hamiltonians are solved using simulated annealing and genetic algorithms that are often unable to find the true global energy minimum and inherently cannot prove the optimality of their result, our paper opens the door to resolving longstanding uncertainties in lattice models of physical phenomena. An implementation of the algorithm is available at https://github.com/dkitch/maxsat-ising.

Bootstrap, Markov Chain Monte Carlo, and LP/SDP Hierarchy for the Lattice Ising Model

On Model Selection Consistency of Lasso for High-Dimensional Ising Models

Easy bootstrap for the 3D Ising model: a hybrid approach of the lightcone bootstrap and error minimization methods

Analytic and numerical bootstrap for the long-range Ising model

Bootstrap for Lattice Yang-Mills theory

Numerical exploration of the bootstrap in spin chain models

Bootstrap for Finite N Lattice Yang-Mills Theory

Coarse-grained Bootstrap of Quantum Many-body Systems

Bootstrap-determined p-values in Lattice QCD

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

Bootstrapping the 3d Ising Stress Tensor

Bootstrapping the Quantum Hall problem

Bootstrap Consistency for the Mack Bootstrap

Continuous-time modeling and bootstrap for chain ladder reserving

Bootstrap Method in Theoretical Physics

Thermal Bootstrap of Matrix Quantum Mechanics

Bootstrapping the Abelian Lattice Gauge Theories

Locality approach to the bootstrap percolation paradox

Short-sighted deep learning

A Unified Analysis of Stochastic Optimization Methods Using Jump System Theory and Quadratic Constraints