Abstract:Quantum annealing provides a method to solve combinatorial optimization problems in complex energy landscapes by exploiting thermal fluctuations that exist in a physical system. This work introduces the mapping of a graph coloring problem based on pseudo-Boolean constraints to a working graph of the D-Wave Systems Inc. We start from the problem formulated as a set of constraints represented in propositional logic. We use the SATyrus approach to transform this set of constraints to an energy minimization problem. We convert the formulation to a quadratic unconstrained binary optimization problem (QUBO), applying polynomial reduction when needed, and solve the problem using different approaches: (a) classical QUBO using simulated annealing in a von Neumann machine; (b) QUBO in a simulated quantum environment; (c) actual quantum 1, QUBO using the D-Wave quantum machine and reducing polynomial degree using a D-Wave library; and (d) actual quantum 2, QUBO using the D-Wave quantum machine and reducing polynomial degree using our own implementation. We study how the implementations using these approaches vary in terms of the impact on the number of solutions found (a) when varying the penalties associated with the constraints and (b) when varying the annealing approach, simulated (SA) versus quantum (QA). Results show that both SA and QA produce good heuristics for this specific problem, although we found more solutions through the QA approach.

Cellular Automata on Quantum Annealing Systems

An overview of quantum cellular automata

Entangled quantum cellular automata, physical complexity, and Goldilocks rules

Quantum Systems from Random Probabilistic Automata

Quantization of Cellular Automata

Twelve Ways to Build CMS Crossings from ROOT Files

Quantum cellular automata for quantum error correction and density classification

Cellular automaton ontology, bits, qubits, and the Dirac equation

Quantum Annealing Formulation for Binary Neural Networks

Mapping graph coloring to quantum annealing

Quantum Annealing Solutions for the Closest String Problem with D-Wave Systems

Quantum Dot Spin Cellular Automata for Realizing a Quantum Processor

Dirac Quantum Cellular Automaton from Split-step Quantum Walk

Quantum-inspired identification of complex cellular automata

Unitary and non-unitary quantum cellular automata with Rydberg arrays

Quantum Annealing Learning Search Implementations

Quantum chemistry on quantum annealers

A Possible Nanometer-scale Computing Device Based on an Adding Cellular Automaton

Density Classification with Non-Unitary Quantum Cellular Automata

Small-world complex network generation on a digital quantum processor