Related papers: A numerical model for time-multiplexed Ising machi…
We present Integer Linear Programming (ILP) Modulo Theories (IMT). An IMT instance is an Integer Linear Programming instance, where some symbols have interpretations in background theories. In previous work, the IMT approach has been…
Ising machines are dedicated hardware solvers of NP-hard optimization problems. However, they do not always find the most optimal solution. The probability of finding this optimal solution depends on the problem at hand. Using continuation…
Discrete empirical interpolation method (DEIM) is a popular technique for nonlinear model reduction and it has two main ingredients: an interpolating basis that is computed from a collection of snapshots of the solution and a set of indices…
The photonic Ising machine is a new paradigm of optical computing that takes advantage of the unique properties of light wave propagation, parallel processing, and low-loss transmission. Thus, the process of solving combinatorial…
In this article, we present a brief overview of some of the recent progress made in identifying and generating finite dimensional integrable nonlinear dynamical systems, exhibiting interesting oscillatory and other solution properties,…
Inspired by the observation of a distributed time delay in the nonlinear response of an optical resonator, we investigate the effects of a similar delay on a noise-driven mechanical oscillator. For a delay time that is commensurate with the…
This work addresses the radio resource management (RRM) design in downlink full-duplex integrated sensing and communications (ISAC) systems, jointly optimizing timeslot allocation and beam selection under imperfect self-interference…
Analog Ising machines have been proposed as heuristic hardware solvers for combinatorial optimization problems, with the potential to outperform conventional approaches, provided that their hyperparameters are carefully tuned. Their…
The Ising antiferromagnet is an important statistical physics model with close connections to the {\sc Max Cut} problem. Combining spatial mixing arguments with the method of moments and the interpolation method, we pinpoint the replica…
The light damping hypothesis is usually assumed in structural dynamics since dissipative forces are in general weak with respect to inertial and elastic forces. In this paper a novel numerical method of time integration based on the…
Time-decaying perturbations of nonlinear oscillatory systems in the plane are considered. It is assumed that the unperturbed systems are non-isochronous and the perturbations oscillate with an asymptotically constant frequency. Resonance…
Combinatorial problems such as combinatorial optimization and constraint satisfaction problems arise in decision-making across various fields of science and technology. In real-world applications, when multiple optimal or…
We developed a non-Hermitian quantum optimization algorithm to find the ground state of the ferromagnetic Ising model with up to 1024 spins (qubits). Our approach leads to significant reduction of the annealing time. Analytical and…
Two-dimensional layered aperiodic Ising systems are studied in the extreme anisotropic limit where they correspond to quantum Ising chains in a transverse field. The modulation of the couplings follows an aperiodic sequence generated…
Given the fundamental importance of combinatorial optimization across many diverse application domains, there has been widespread interest in the development of unconventional physical computing architectures that can deliver better…
Inverse Ising inference allows pairwise interactions of complex binary systems to be reconstructed from empirical correlations. Typical estimators used for this inference, such as Pseudo-likelihood maximization (PLM), are biased. Using the…
Describing dynamics of a quantum system coupled to a complex many-body environment is a ubiquitous problem in quantum science. General non-Markovian environments are characterized by their influence matrix~(IM) -- a multi-time tensor…
Linear mechanical systems with time-modulated parameters can harbor oscillations with amplitudes that grow or decay exponentially with time due to the phenomenon of parametric resonance. While the resonance properties of individual…
The problem of computing an exact experimental design that is optimal for the least-squares estimation of the parameters of a regression model is considered. We show that this problem can be solved via mixed-integer linear programming…
We consider the convergence of iterative solvers for problems of nonlinear magnetostatics. Using the equivalence to an underlying minimization problem, we can establish global linear convergence of a large class of methods, including the…