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

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 alloy thermodynamics, solid-solid phase transitions, magnetic and thermal properties of solids, and fluid mechanics, among others. However, the problem of finding the true global ground state of a lattice model, which is essential for all of the aforementioned applications, has remained unresolved, with only a limited number of results for highly simplified systems known. In this article, we present the first general algorithm to find the exact ground states of complex lattice models and to prove their global optimality, resolving this fundamental problem in condensed matter and materials theory. We transform the infinite-discrete-optimization problem into a pair of combinatorial optimization (MAX-SAT) and non-smooth 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 find and prove the exact ground state of realistic Hamiltonians whose solutions are completely intractable via traditional methods. Considering that currently such Hamiltonians are solved using simulated annealing and genetic algorithms that are often unable to find the true global energy minimum, and never able to prove the optimality of their result, our work opens the door to resolving long-standing uncertainties in lattice models of physical phenomena.

References in corpus (7)

• Generating derivative structures: Algorithm and applications
• Engineering Ising-XY spin models in a triangular lattice via tunable artificial gauge fields
• Cu-Au, Ag-Au, Cu-Ag and Ni-Au intermetallics: First-principles study of phase diagrams and structures
• Configurational electronic entropy and the phase diagram of mixed-valence oxides: the case of Li${}_x$FePO${}_4$
• Compressive sensing as a new paradigm for model building
• Ground States of the Ising Model on the Shastry-Sutherland Lattice and the Origin of the Fractional Magnetization Plateaus in Rare-Earth Tetraborides
• Direct observation of impurity-induced magnetism in an S = 1/2 antiferromagnetic Heisenberg 2-leg spin ladder

Cited by in corpus (15)

• icet - A Python library for constructing and sampling alloy cluster expansions
• Solving frustrated Ising models using tensor networks
• Rich Ground State Chemical Ordering in Nanoparticles: Exact Solution of a Model for Ag-Au Clusters
• Partial lifting of degeneracy in the $J_1-J_2-J_3$ Ising antiferromagnet on the kagome lattice
• Artificial out-of-plane Ising antiferromagnet on the kagome lattice with very small further neighbour couplings
• An ${\ell }_0{\ell }_2$-norm regularized regression model for construction of robust cluster expansions in multicomponent systems
• Construction and sampling of alloy cluster expansions -- A tutorial
• Learning from Survey Propagation: a Neural Network for MAX-E-$3$-SAT
• Solving Rubik's Cube via Quantum Mechanics and Deep Reinforcement Learning
• Crystal structure prediction with host-guided inpainting generation and foundation potentials
• Optimization of ionic configurations in battery materials by quantum annealing
• Derivative structure enumeration using binary decision diagram
• Observation of Unprecedented Fractional Magnetization Plateaus in a New Shastry-Sutherland Ising Compound
• Continuous Approximation of the Ising Hamiltonian: Exact Ground States and Applications to Fidelity Assessment in Ising Machines
• Global thermodynamic manifold for conservative control of stochastic systems