Search arXivSearch

arXiv · 2410.11198

Performance of Domain-Wall Encoding in Digital Ising Machine

Abstract

To tackle combinatorial optimization problems using an Ising machine, the objective function and constraints must be mapped onto a quadratic unconstrained binary optimization (QUBO) model. While QUBO involves binary variables, combinatorial optimization problems frequently include integer variables, which require encoding by binary variables. This process, known as binary-integer encoding, includes various methods, one of which is domain-wall encoding - a recently proposed approach. Experiments on a quantum annealing machine have demonstrated that domain-wall encoding outperforms the commonly used one-hot encoding in terms of objective function value and the probability of obtaining the optimal solution. In a digital Ising machine, domain-wall encoding required less computation time to reach optimal solutions compared to one-hot encoding. However, its practical effectiveness in digital Ising machines remains unclear. To address this uncertainty, the performance of one-hot and domain-wall encoding methods was evaluated on a digital Ising machine using the quadratic knapsack problem (QKP). The comparison focused on the dependency of penalty coefficient and sensitivity to computation time. Domain-wall encoding demonstrated a higher feasible solution rate when relative penalty coefficients for the two constraint terms were adjusted, a strategy not commonly used in previous studies. Additionally, domain-wall encoding obtained higher performance practical evaluation metrics for QKPs with large knapsack capacities compared to one-hot encoding. Furthermore, it was observed to be more sensitive to computation time than one-hot encoding.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shuta Kikuchi, Kotaro Takahashi, Shu Tanaka. 2025-01-18. Performance of Domain-Wall Encoding in Digital Ising Machine. https://arxiv.org/abs/2410.11198

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The free energy of the square lattice Ising model with interactions alternating in horizontal and vertical directions

The free energy of the Ising model on the square lattice with alternating interactions in both horizontal and vertical directions is exactly derived. This model is distinct from the checkerboard Ising model. The result includes Onsager's free energy as a special case, and also includes Lee-Yang's free energy with an imaginary field, and relates these two solutions via continuous parameters. The result includes a generalization of Lee-Yang's result to cases with four different couplings. It is also derived that each imaginary magnetic field $iπ/2$ applied to a lattice site corresponds to a single frustrated square in its dual lattice.

cond-mat.stat-mech

Ideal heat engine cycles at maximal efficiency -- the ideal gas and beyond

Given a particular heat engine cycle, what is the optimal working medium that results in the highest efficiency? While one might jump to the conclusion that it must surely be the ideal gas, the situation is actually more intricate. Starting with a general Helmholtz potential that depends polynomially on molar volume and temperature we derive exact expressions for the ideal Stirling, Otto, and Brayton cycles. We find that for the thermodynamic systems described by our ansatz for the Helmholtz potential the maximal efficiency is achieved, if the working medium is described by a fundamental relation linear in temperature. This includes the ideal gas, but also classical harmonic oscillators and phenomenological models of the rubber band.

cond-mat.stat-mech

Local Detailed Balance in the Lorenz Model: Replaces the Butterfly with Frenetic Bursting

The Lorenz system is the canonical low-order model of convective instability, yet its dissipative and driving terms have never been checked against, nor constructed from, an explicit thermodynamic bookkeeping. We derive a modification that satisfies the local-detailed-balance condition for macroscopic relaxation toward nonequilibrium steady states, thereby identifying the thermodynamic force, entropy-production rate and frenesy of the resulting flow. The resulting model produces a transition from a quiescent fixed point to a robust, large-amplitude relaxation oscillation, closely analogous to recharge-discharge oscillator paradigms used for the El Nino-Southern Oscillation. The system alternates between a long, nearly reversible recharge phase and a brief, violently frenetic discharge burst, during which essentially all of the cycle's activity and entropy production is concentrated.

cond-mat.stat-mech