Abstract:An Ising model is defined by a quadratic objective function known as the Hamiltonian, composed of spin variables that can take values of either $-1$ or $+1$. The goal is to assign spin values to these variables in a way that minimizes the value of the Hamiltonian. Ising models are instrumental in tackling many combinatorial optimization problems, leading to significant research in developing solvers for them. Notably, D-Wave Systems has pioneered the creation of quantum annealers, programmable solvers based on quantum mechanics, for these models. This paper introduces unit Ising models, where all non-zero coefficients of linear and quadratic terms are either $-1$ or $+1$. Due to the limited resolution of quantum annealers, unit Ising models are more suitable for quantum annealers to find optimal solutions. We propose a novel design methodology for unit Ising models to simulate logic circuits computing Boolean functions through integer linear programming. By optimizing these Ising models with quantum annealers, we can compute Boolean functions and their inverses. With a fixed unit Ising model for a logic circuit, we can potentially design Application-Specific Unit Quantum Annealers (ASUQAs) for computing the inverse function, which is analogous to Application-Specific Integrated Circuits (ASICs) in digital circuitry. For instance, if we apply this technique to a multiplication circuit, we can design an ASUQA for factorization of two numbers. Our findings suggest a powerful new method for compromising the RSA cryptosystem by leveraging ASUQAs in factorization.

Simulated Ising Annealing Algorithm with Gaussian Augmented Hamiltonian Monte Carlo

Parallel Ising Annealer via Gradient-based Hamiltonian Monte Carlo

Hybrid Optimization Method Using Simulated-Annealing-Based Ising Machine and Quantum Annealer

Simulated Annealing with the State Generator Based on Cauchy and Gaussian Distributions

Statistical Analysis of Quantum Annealing

Fast Simulated Annealing inspired by Quantum Monte Carlo

Quantum approximate optimization of the long-range Ising model with a trapped-ion quantum simulator

Comparing Monte Carlo methods for finding ground states of Ising spin glasses: population annealing, simulated annealing and parallel tempering

Stochastic Simulated Quantum Annealing for Fast Solution of Combinatorial Optimization Problems

Hybrid Quantum Annealing via Molecular Dynamics

Non-Hermitian ground-state-searching algorithm enhanced by a variational toolbox

Computing a Sparse Approximate Inverse on Quantum Annealing Machines

Mathematical aspects of the Digital Annealer's simulated annealing algorithm

Study on the application of improved simulated annealing algorithm for several types of optimization problems.

Hybrid quantum annealing for larger-than-QPU lattice-structured problems

Hybrid annealing using a quantum simulator coupled to a classical computer

Designing Unit Ising Models for Logic Gate Simulation through Integer Linear Programming

Ising Hamiltonians for Constrained Combinatorial Optimization Problems and the Metropolis-Hastings Warm-Starting Algorithm

Simulations of Frustrated Ising Hamiltonians with Quantum Approximate Optimization

Greedy parameter optimization for diabatic quantum annealing

Implementation of spectral methods on Ising machines: toward flow simulations on quantum annealers