SearcharxivSearch

arXiv subjects

Farad Khoyratee

Publications and source records attributed to Farad Khoyratee.

4 recordsLinked to original sources

Noise resilience of deterministic analog combinatorial optimization solvers

Several continuous dynamical systems have recently been proposed as special-purpose analog computers designed to solve combinatorial optimization problems such as $k$-SAT or the Ising problem. While combinatorial optimization problems are known to be NP-hard, and thus scale, in the worst case, exponentially with the problem size, these analog solvers promise substantial speed-up and scaling advantages in finding the solution. The underlying algorithms, which can be cast in the form of differential equations, generically involve highly chaotic dynamics and thus assume that the system variables can be processed with, in principle, arbitrary precision. However, both actual physical systems as well as finite digital machines, which are used to virtually emulate the dynamics, can process the evolution only with finite precision, be it because of intrinsic noise or because of limited precision in number representation. We investigate the impact of such noise on the solution-finding capability. To this end, we focus on two representative analog solvers, designed to address the Ising problem and the $k$-SAT problem, respectively. Our numerical analysis reveals that the ability of these algorithms to find solutions exhibits a threshold behavior under the addition of noise, where the solution-finding capability remains mostly uncompromised below a noise threshold, while it rapidly deteriorates above the threshold. As we show, these noise tolerance thresholds decrease with the problem size, following an approximate algebraic scaling. This allows us to infer principal limits on the problem sizes that can be efficiently tackled with these solvers under given noise levels.

nlin.CD

Coherent Ising Machines with Optical Error Correction Circuits

We propose a network of open-dissipative quantum oscillators with optical error correction circuits. In the proposed network, the squeezed/anti-squeezed vacuum states of the constituent optical parametric oscillators below the threshold establish quantum correlations through optical mutual coupling, while collective symmetry breaking is induced above the threshold as a decision-making process. This initial search process is followed by a chaotic solution search step facilitated by the optical error correction feedback. As an optical hardware technology, the proposed coherent Ising machine (CIM) has several unique features, such as programmable all-to-all Ising coupling in the optical domain, directional coupling $(J_{ij} \neq J_{ji})$ induced chaotic behavior, and low power operation at room temperature. We study the performance of the proposed CIMs and investigate how the performance scales with different problem sizes. The quantum theory of the proposed CIMs can be used as a heuristic algorithm and efficiently implemented on existing digital platforms. This particular algorithm is derived from the truncated Wigner stochastic differential equation. We find that the various CIMs discussed are effective at solving many problem types, however the optimal algorithm is different depending on the instance. We also find that the proposed optical implementations have the potential for low energy consumption when implemented optically on a thin film LiNbO3 platform.

quant-ph

Scaling advantage of nonrelaxational dynamics for high-performance combinatorial optimization

The development of physical simulators, called Ising machines, that sample from low energy states of the Ising Hamiltonian has the potential to drastically transform our ability to understand and control complex systems. However, most of the physical implementations of such machines have been based on a similar concept that is closely related to relaxational dynamics such as in simulated, mean-field, chaotic, and quantum annealing. We show that nonrelaxational dynamics that is associated with broken detailed balance and positive entropy production rate can accelerate the sampling of low energy states compared to that of conventional methods. By implementing such dynamics on field programmable gate array, we show that the nonrelaxational dynamics that we propose, called chaotic amplitude control, exhibits a scaling with problem size of the time to finding optimal solutions and its variance that is significantly smaller than that of relaxational schemes recently implemented on Ising machines.

physics.comp-ph

Coherent Ising machines with error correction feedback

A non-equilibrium open-dissipative neural network, such as a coherent Ising machine based on mutually coupled optical parametric oscillators, has been proposed and demonstrated as a novel computing machine for hard combinatorial optimization problems. However, there are two challenges in the previously proposed approach: (1) The machine can be trapped by local minima which increases exponentially with problem size and (2) the machine fails to map a target Hamiltonian correctly on the loss landscape of a neural network due to oscillator amplitude heterogeneity. Both of them lead to erroneous solutions rather than correct answers. In this paper, we show that it is possible to overcome these two problems partially but simultaneously by introducing error detection and correction feedback mechanism. The proposed machine achieves efficient sampling of degenerate ground states and low-energy excited states via its inherent migration property during a solution search process.

physics.optics