Complexity continuum within Ising formulation of NP problems

08/02/2020
by   Kirill P. Kalinin, et al.
0

A promising approach to achieve computational supremacy over the classical von Neumann architecture explores classical and quantum hardware as Ising machines. The minimisation of the Ising Hamiltonian is known to be NP-hard problem for certain interaction matrix classes, yet not all problem instances are equivalently hard to optimise. We propose to identify computationally simple instances with an `optimisation simplicity criterion'. Such optimisation simplicity can be found for a wide range of models from spin glasses to k-regular maximum cut problems. Many optical, photonic, and electronic systems are neuromorphic architectures that can naturally operate to optimise problems satisfying this criterion and, therefore, such problems are often chosen to illustrate the computational advantages of new Ising machines. We further probe an intermediate complexity for sparse and dense models by analysing circulant coupling matrices, that can be `rewired' to introduce greater complexity. A compelling approach for distinguishing easy and hard instances within the same NP-hard class of problems can be a starting point in developing a standardised procedure for the performance evaluation of emerging physical simulators and physics-inspired algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/18/2019

Mapping NP-hard and NP-complete optimisation problems to Quadratic Unconstrained Binary Optimisation problems

We discuss several mappings from well-known NP-hard problems to Quadrati...
research
12/26/2019

Nonlinear systems for unconventional computing

The search for new computational machines beyond the traditional von Neu...
research
11/19/2021

Non-NP-Hardness of Translationally-Invariant Spin-Model Problems

Finding the ground state energy of the Heisenberg Hamiltonian is an impo...
research
05/08/2020

Dynamical Systems Theory and Algorithms for NP-hard Problems

This article surveys the burgeoning area at the intersection of dynamica...
research
01/23/2014

Tractable Triangles and Cross-Free Convexity in Discrete Optimisation

The minimisation problem of a sum of unary and pairwise functions of dis...
research
02/21/2020

It's Not What Machines Can Learn, It's What We Cannot Teach

Can deep neural networks learn to solve any task, and in particular prob...
research
05/12/2023

Scalable Coupling of Deep Learning with Logical Reasoning

In the ongoing quest for hybridizing discrete reasoning with neural nets...

Please sign up or login with your details

Forgot password? Click here to reset