Abstract:Various combinatorial optimization NP-hard problems can be reduced to finding the minimizer of an Ising model, which is a discrete mathematical model. It is an intellectual challenge to develop some mathematical tools or algorithms for solving the Ising model. Over the past decades, some continuous approaches or algorithms have been proposed from physical, mathematical or computational views for optimizing the Ising model such as quantum annealing, the coherent Ising machine, simulated annealing, adiabatic Hamiltonian systems, etc.. However, the mathematical principle of these algorithms is far from being understood. In this paper, we reveal the mathematical mechanism of dynamical system algorithms for the Ising model by Morse theory and variational methods. We prove that the dynamical system algorithms can be designed to minimize a continuous function whose local minimum points give all the candidates of the Ising model and the global minimum gives the minimizer of Ising problem. Using this mathematical mechanism, we can easily understand several dynamical system algorithms of the Ising model such as the coherent Ising machine, the Kerr-nonlinear parametric oscillators and the simulated bifurcation algorithm. Furthermore, motivated by the works of C. Conley, we study transit and capture properties of the simulated bifurcation algorithm to explain its convergence by the low energy transit and capture in celestial mechanics. A detailed discussion on $2$-spin and $3$-spin Ising models is presented as application.

Theory and Simulation of the Ising Model

Statistical Theory of Equations of State and Phase Transitions. II. Lattice Gas and Ising Model

Monte Carlo Simulation of Anisotropic Ising Model Using Metropolis and Wolff Algorithm

Quantum Simulation and Phase Diagram of the Transverse Field Ising Model with Three Atomic Spins

Simulation of Dynamical Quantum Phase Transition of the 1D Transverse Ising Model with a Double-chain Bose-Hubbard Model

Two dimensional Ising model with long-range competing interactions

Monte Carlo simulations for Ising spins with spin greater than 1/2 applied to the square and triangular lattices with antiferromagnetic interactions and comparing results using Kawasaki and Glauber dynamics

Critical Behavior of the Ising Model by Preparing the Thermal State on a Quantum Computer

Thermal transitions in a one-dimensional, finite-size Ising model

Quantum Simulation of an Open System: A Dissipative 1+1D Ising Model

Critical behavior of Ising model by preparing thermal state on quantum computer

Two temperature Ising Model

Investigation of Probability Theory on Ising Models with Different Four-Spin Interactions

Testing the generalized conjugate field formalism in the kinetic Ising model with nonantisymmetric magnetic fields: A Monte Carlo simulation study

Simulation of the 1d XY model on a quantum computer

A comprehensive study of the phase transitions of the frustrated J 1- J 2 Ising model on the square lattice

Mathematical Mechanism on Dynamical System Algorithms of the Ising Model

Simultaneous Analysis of Several Models in the Three-Dimensional Ising Universality Class.

Simulating An Exact One-Dimensional Transverse Ising Model In An Optical Lattice

The quantum Ising chain for beginners