Performance Comparison of Typical Binary-Integer Encodings in an Ising Machine

The differences in performance among binary-integer encodings in an Ising machine, which can solve combinatorial optimization problems, are investigated. Many combinatorial optimization problems can be mapped to find the lowest-energy (ground) state of an Ising model or its equivalent model, the Quadratic Unconstrained Binary Optimization (QUBO). Since the Ising model and QUBO consist of binary variables, they often express integers as binary when using Ising machines. A typical example is the combinatorial optimization problem under inequality constraints. Here, the quadratic knapsack problem is adopted as a prototypical problem with an inequality constraint. It is solved using typical binary-integer encodings: one-hot encoding, binary encoding, and unary encoding. Unary encoding shows the best performance for large-sized problems.

[1]  K. Aihara,et al.  Traffic signal optimization on a square lattice with quantum annealing , 2021, Scientific Reports.

[2]  Mark W. Coffey,et al.  Adiabatic quantum computing solution of the knapsack problem , 2017 .

[3]  K. Tsuda,et al.  Designing metamaterials with quantum annealing and factorization machines , 2020 .

[4]  Bikas K. Chakrabarti,et al.  Quantum Spin Glasses, Annealing and Computation , 2017 .

[5]  Didier El Baz,et al.  Solving knapsack problems on GPU , 2012, Comput. Oper. Res..

[6]  Hayato Goto,et al.  Combinatorial optimization by simulating adiabatic bifurcations in nonlinear Hamiltonian systems , 2019, Science Advances.

[7]  Ken-ichi Kawarabayashi,et al.  Binary optimization by momentum annealing. , 2019, Physical review. E.

[8]  S. Nagasawa,et al.  Toward Practical-Scale Quantum Annealing Machine for Prime Factoring , 2018, Journal of the Physical Society of Japan.

[9]  Masanao Yamaoka,et al.  Implementation and Evaluation of FPGA-based Annealing Processor for Ising Model by use of Resource Sharing , 2017, Int. J. Netw. Comput..

[10]  Nozomu Togawa,et al.  Guiding Principle for Minor-Embedding in Simulated-Annealing-Based Ising Machines , 2020, IEEE Access.

[11]  Nozomu Togawa,et al.  How to Reduce the Bit-Width of an Ising Model by Adding Auxiliary Spins , 2020, IEEE Transactions on Computers.

[12]  Kazuyuki Aihara,et al.  A fully programmable 100-spin coherent Ising machine with all-to-all connections , 2016, Science.

[13]  Jirí Jaros,et al.  Multi-GPU island-based genetic algorithm for solving the knapsack problem , 2012, 2012 IEEE Congress on Evolutionary Computation.

[14]  Masanao Yamaoka,et al.  An Ising Computer Based on Simulated Quantum Annealing by Path Integral Monte Carlo Method , 2017, 2017 IEEE International Conference on Rebooting Computing (ICRC).

[15]  Shu Tanaka,et al.  PyQUBO: Python Library for Mapping Combinatorial Optimization Problems to QUBO Form , 2021, IEEE Trans. Computers.

[16]  M. W. Johnson,et al.  Quantum annealing with manufactured spins , 2011, Nature.

[17]  P. Hammer,et al.  Quadratic knapsack problems , 1980 .

[18]  Nozomu Togawa,et al.  Efficient Ising Model Mapping for Induced Subgraph Isomorphism Problems Using Ising Machines , 2019, 2019 IEEE 9th International Conference on Consumer Electronics (ICCE-Berlin).

[19]  Kesheng Wu,et al.  Solving the Optimal Trading Trajectory Problem Using a Quantum Annealer , 2015, IEEE Journal of Selected Topics in Signal Processing.

[20]  K. Hukushima,et al.  Exchange Monte Carlo Method and Application to Spin Glass Simulations , 1995, cond-mat/9512035.

[21]  Nozomu Togawa,et al.  Solving Constrained Slot Placement Problems Using an Ising Machine and Its Evaluations , 2021, IEICE Trans. Inf. Syst..

[22]  Masayuki Ohzeki,et al.  Solving Inequality-Constrained Binary Optimization Problems on Quantum Annealer. , 2020, 2012.06119.

[23]  Endre Boros,et al.  Pseudo-Boolean optimization , 2002, Discret. Appl. Math..

[24]  Nozomu Togawa,et al.  An Ising model mapping to solve rectangle packing problem , 2018, 2018 International Symposium on VLSI Design, Automation and Test (VLSI-DAT).

[25]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[26]  Davide Venturelli,et al.  Reverse quantum annealing approach to portfolio optimization problems , 2018, Quantum Machine Intelligence.

[27]  Harvey M. Salkin,et al.  The knapsack problem: A survey , 1975 .

[28]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[29]  H. Koike,et al.  Design of Quantum Annealing Machine for Prime Factoring , 2017, 2017 16th International Superconductive Electronics Conference (ISEC).

[30]  Sahar Karimi,et al.  Practical integer-to-binary mapping for quantum annealers , 2017, Quantum Information Processing.

[31]  Hiroyuki Mizuno,et al.  A 20k-Spin Ising Chip to Solve Combinatorial Optimization Problems With CMOS Annealing , 2016, IEEE Journal of Solid-State Circuits.

[32]  Andrew Lucas,et al.  Ising formulations of many NP problems , 2013, Front. Physics.

[33]  Florin Leon,et al.  01IP and QUBO: Optimization Methods for Redundancy Allocation in Complex Systems , 2019, 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC).

[34]  Scott Pakin,et al.  Embedding Inequality Constraints for Quantum Annealing Optimization , 2019, QTOP@NetSys.

[35]  Nicholas Chancellor,et al.  Domain wall encoding of discrete variables for quantum annealing and QAOA , 2019, Quantum Science and Technology.

[36]  Ken-ichi Kawarabayashi,et al.  A coherent Ising machine for 2000-node optimization problems , 2016, Science.

[37]  R. Byer,et al.  Network of time-multiplexed optical parametric oscillators as a coherent Ising machine , 2014, Nature Photonics.

[38]  H. Nishimori,et al.  Quantum annealing in the transverse Ising model , 1998, cond-mat/9804280.

[39]  Vasil S. Denchev,et al.  Training a Binary Classifier with the Quantum Adiabatic Algorithm , 2008, 0811.0416.

[40]  David Von Dollen,et al.  Traffic Flow Optimization Using a Quantum Annealer , 2017, Front. ICT.

[41]  Richard M. Karp,et al.  Reducibility among combinatorial problems" in complexity of computer computations , 1972 .

[42]  Toshiyuki Miyazawa,et al.  Physics-Inspired Optimization for Quadratic Unconstrained Problems Using a Digital Annealer , 2018, Front. Phys..

[43]  西森 秀稔,et al.  Elements of Phase Transitions and Critical Phenomena , 2011 .

[44]  Shinichi Takayanagi,et al.  Application of Ising Machines and a Software Development for Ising Machines , 2019, Journal of the Physical Society of Japan.

[45]  Masayuki Ohzeki,et al.  Control of Automated Guided Vehicles Without Collision by Quantum Annealer and Digital Devices , 2018, Front. Comput. Sci..

[46]  Naoki Nishimura,et al.  Item Listing Optimization for E-Commerce Websites Based on Diversity , 2019, Front. Comput. Sci..

[47]  Prasanna Date,et al.  Adiabatic Quantum Optimization Fails to Solve the Knapsack Problem , 2020, ArXiv.

[48]  R. Byer,et al.  Coherent Ising machine based on degenerate optical parametric oscillators , 2013, 1311.2696.