More Like this

1. A control theoretic analysis of oscillator Ising machines

   https://doi.org/10.1063/5.0195464  

   Cheng, Yi; Khairul_Bashar, Mohammad; Shukla, Nikhil; Lin, Zongli (July 2024, Chaos: An Interdisciplinary Journal of Nonlinear Science)

   This work advances the understanding of oscillator Ising machines (OIMs) as a nonlinear dynamic system for solving computationally hard problems. Specifically, we classify the infinite number of all possible equilibrium points of an OIM, including non-0/π ones, into three types based on their structural stability properties. We then employ the stability analysis techniques from control theory to analyze the stability property of all possible equilibrium points and obtain the necessary and sufficient condition for their stability. As a result of these analytical results, we establish, for the first time, the threshold of the binarization in terms of the coupling strength and strength of the second harmonic signal. Furthermore, we provide an estimate of the domain of attraction of each asymptotically stable equilibrium point by employing the Lyapunov stability theory. Finally, we illustrate our theoretical conclusions by numerical simulation. 

   more » « less
2. General oscillator-based Ising-machine models with phase-amplitude dynamics and polynomial interactions

   https://doi.org/10.1103/7s4v-4hs4  

   Sun, Lianlong; Burns, Matthew X; Huang, Michael C (October 2025, Physical Review Applied)

   . We present an oscillator model with both phase and amplitude dynamics for oscillator-based Ising machines (OIMs). The model targets combinatorial optimization problems with polynomial cost functions of arbitrary order and addresses fundamental limitations of previous OIM models through a mathematically rigorous formulation with a well-defined energy function and corresponding dynamics. The model demonstrates monotonic energy decrease and reliable convergence to low-energy states. Empirical evaluations on 3-SAT problems show significant performance improvements over existing phase-amplitude models. Additionally, we propose a flexible, generalizable framework for designing higher-order oscillator interactions, from which we derive a practical method for oscillator binarization without compromising performance. This work strengthens both the theoretical foundation and practical applicability of oscillator-based Ising machines for complex optimization problems. 

   more » « less
3. Efficient optimization with higher-order ising machines

   https://doi.org/10.1038/s41467-023-41214-9  

   Bybee, Connor; Kleyko, Denis; Nikonov, Dmitri E.; Khosrowshahi, Amir; Olshausen, Bruno A.; Sommer, Friedrich T. (December 2023, Nature Communications)

   Abstract A prominent approach to solving combinatorial optimization problems on parallel hardware is Ising machines, i.e., hardware implementations of networks of interacting binary spin variables. Most Ising machines leverage second-order interactions although important classes of optimization problems, such as satisfiability problems, map more seamlessly to Ising networks with higher-order interactions. Here, we demonstrate that higher-order Ising machines can solve satisfiability problems more resource-efficiently in terms of the number of spin variables and their connections when compared to traditional second-order Ising machines. Further, our results show on a benchmark dataset of Booleank-satisfiability problems that higher-order Ising machines implemented with coupled oscillators rapidly find solutions that are better than second-order Ising machines, thus, improving the current state-of-the-art for Ising machines. 

   more » « less
4. Duality defect in a deformed transverse-field Ising model

   https://doi.org/10.1103/ctxg-k3b6  

   Yan, Fei; Konik, Robert; Mitra, Aditi (August 2025, Physical Review Research)

   Physical quantities with long lifetimes have both theoretical significance in the study of quantum many-body systems and practical implications for quantum technologies. In this manuscript, we investigate the roles played by topological defects in the construction of quasiconserved quantities, using as a prototypical example the Kramers-Wannier duality defect in a deformed one-dimensional quantum transverse-field Ising model. We construct the duality defect Hamiltonian in three different ways: half-chain Kramers-Wannier transformation, utilization of techniques in the Ising fusion category, and defect-modified weak integrability breaking deformation. The third method is also applicable for the study of generic integrable defects under weak integrability breaking deformations. We also work out the deformation of defect-modified higher charges in the model and study their slower decay behavior. Furthermore, we consider the corresponding duality defect twisted deformed Floquet transverse-field Ising model and investigate the stability of the isolated zero mode associated with the duality defect in the integrable Floquet Ising model, under such weak integrability breaking deformation. 

   more » « less
5. Stability of oscillator Ising machines: Not all solutions are created equal

   https://doi.org/10.1063/5.0157107  

   Bashar, Mohammad Khairul; Lin, Zongli; Shukla, Nikhil (October 2023, Journal of Applied Physics)

   Nonlinear dynamical systems such as coupled oscillators are being actively investigated as Ising machines for solving computationally hard problems in combinatorial optimization. Prior works have established the equivalence between the global minima of the cost function describing the coupled oscillator system and the ground state of the Ising Hamiltonian. However, the properties of the oscillator Ising machine (OIM) from a nonlinear control viewpoint, such as the stability of the OIM solutions, remain unexplored. Therefore, in this work, using nonlinear control-theoretic analysis, we (i) identify the conditions required to ensure the functionality of the coupled oscillators as an Ising machine, (ii) show that all globally optimal phase configurations may not always be stable, resulting in some configurations being more favored over others and, thus, creating a biased OIM, and (iii) elucidate the impact of the stability of locally optimal phase configurations on the quality of the solution computed by the system. Our work, fostered through the unique convergence between nonlinear control theory and analog systems for computing, provides a new toolbox for the design and implementation of dynamical system-based computing platforms. 

   more » « less