A UNIFIED SIMULATIONS FRAMEWORK FOR COHERENT ISING MACHINES TO APPROXIMATE COMBINATORIAL OPTIMIZATION PROBLEMS
Vidisha Singhal
Abstract
Coherent Ising Machines (CIMs) are emerging hardware solvers for approximating solutions to combinatorial optimization problems, and may offer advantages in energy-efficiency, speed, and scalability across applications. However, CIM computing is a nascent and methodologically fragmented field, and substantial research is required to determine its utility for real-world combinatorial optimization problems. The core argument of this thesis is that several complementary efforts are required: (1) developing a unified simulations framework that systematically evaluates CIM variations by isolating implementation and methodological differences from architectural ones; (2) introducing layers of abstraction, analogous to those in mature CMOS-based computing, to enable effort (1); and (3), by extension of efforts (1) and (2), potentially enabling CIM-inspired dynamics -- which, when simulated, are simply classical algorithms that run on conventional computers -- for efficient in-silico approximation of combinatorial optimization problems.As a concrete example of the utility of the unified simulations framework, this thesis compares several CIM modifications proposed to address spin amplitude inhomogeneity (an artifact of the CIM's analog nature) that can hinder convergence to the ground state. These variations have been analyzed under varying assumptions and methodologies, and no prior work has systematically compared their performance by isolating architectural differences. This thesis presents the first side-by-side evaluation of six promising CIM architectures using a unified simulation model. We develop implementation-agnostic stochastic differential equations, find optimal hyperparameters via Bayesian optimization per problem-architecture pair, and assess the performance on multiple metrics using MaxCut instances from the Gset and BiqMac datasets. CIM-SNN outperforms the rest on most metrics, with a 54.21% average success probability (SP) improvement and 1.36× faster time-to-solution (TTS) at 96% GS energy compared to the Standard CIM on BiqMac graphs. Other CIMs show some advantages on certain Gset graphs. CIM-QA is usually the worst-performing, with an 18.55% average SP loss and a 1.30× slower TTS at 96% GS compared to the Standard CIM on BiqMac graphs. CIM-SNN demonstrates the greatest noise robustness and promise for further tuning via a linear pump schedule. CIM-QA benefits from high noise levels. These analyses were made possible only by the unified simulations framework developed in this thesis, which can also be used to evaluate future architectural modifications against existing ones. Lastly, we present a potential abstraction stack that further extends the unified simulations framework, which can benefit future research and introduce a new direction in the field.