Abstract:Ising machines are effective solvers for complex combinatorial optimization problems. The idea is mapping the optimal solution(s) to a combinatorial optimization problem to the minimum energy state(s) of a physical system, which naturally converges to and stabilizes at a minimum energy state upon perturbance. The underlying mathematical abstraction, the Ising model, was originally developed to explain dynamic behavior of ferromagnetic materials and was shown to generalize to numerous other physical systems. In a generic optimization problem, each variable can interact with another in different ways. At the same time, problem sizes of practical importance are growing very fast. Unfortunately, both the number and connectivity of spins in hardware are subject to fundamental physical limits. Different problems feature different interaction patterns between variables which may not always directly match the network topology supported by a specific Ising machine. In the presence of a mismatch, emulating generic interactions using the machine topology is usually possible, however, comes at the cost of additional physical spins to facilitate the mapping. Furthermore, mismatches in the problem vs. hardware connectivity render even more physical spins necessary. Combinatorial optimization problems of practical importance come with diverse connectivity patterns, which a rigid network topology in hardware cannot efficiently cover. To bridge the gap between application demand and hardware resources, in analogy to classical heterogeneous chip multiprocessors, in this paper we make the case for heterogeneous Ising multiprocessors, where each Ising core features a different connectivity. We provide a detailed design space exploration and quantify the efficiency of different design options in terms of time or energy to solution along with solution accuracy compared to homogeneous alternatives.

Using continuation methods to analyse the difficulty of problems solved by Ising machines

Ising machines as hardware solvers of combinatorial optimization problems

Enumeration algorithms for combinatorial problems using Ising machines

Ising model partition-function computation as a weighted counting problem

Non-binary dynamical Ising machines for combinatorial optimization

Evaluating spintronics-compatible implementations of Ising machines

Self-contained relaxation-based dynamical Ising machines

Order-of-magnitude differences in computational performance of analog Ising machines induced by the choice of nonlinearity

Mathematical Mechanism on Dynamical System Algorithms of the Ising Model

Scalable almost-linear dynamical Ising machines

Equation Planting: A Tool for Benchmarking Ising Machines

On Heterogeneous Ising Machines

Simulated bifurcation assisted by thermal fluctuation

Using the critical set to induce bifurcations

Convergence Analysis of Opto-Electronic Oscillator based Coherent Ising Machines

Energy landscapes of combinatorial optimization in Ising machines

Continuous Approximation of the Fully Connected Ising Hamiltonian: Exact Ground State Solutions for a Novel Class of Ising Models with Applications to Fidelity Assessment in Ising Machines

Energy-efficient superparamagnetic Ising machine and its application to traveling salesman problems

Toward Practical Benchmarks of Ising Machines: A Case Study on the Quadratic Knapsack Problem

Scaling out Ising machines using a multi-chip architecture for simulated bifurcation