skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: A control theoretic analysis of oscillator Ising machines
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
Award ID(s):
2328961
PAR ID:
10524488
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
AIP
Date Published:
Journal Name:
Chaos: An Interdisciplinary Journal of Nonlinear Science
Volume:
34
Issue:
7
ISSN:
1054-1500
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Transient angle stability of inverters equipped with the robust droop controller is investigated in this work. At first, the conditions on the control references to guarantee the existence of a feasible post-disturbance operating point are derived. Then, the post-disturbance equilibrium points are found and their stability properties are characterized. Furthermore, the attraction regions of the stable equilibrium points are accurately depicted by calculating the stable and unstable manifolds of the surrounding unstable equilibrium points, which presents an explanation to system transient stability. Finally, the transient control considerations are provided to help the inverter ride-through the disturbance and maintain its stability characteristics. It is shown that the transient angle stability is not a serious problem for droop controlled inverters with proper control settings. 
    more » « less
  2. Abstract The bond strength and nature of a set of 32 Togni‐like reagents have been investigated at the M062X/def2‐TZVP(D) level of theory in acetonitrile described with the SMD continuum solvent model, to rationalize the main factors responsible for their thermodynamic stability in different conformations, and trifluoromethylation capabilities. For the assessment of bond strength, we utilized local stretching force constants and associated bond strength orders, complemented with local features of the electron density to access the nature of the bonds. Bond dissociation energies varied from 31.6 to 79.9 kcal/mol depending on the polarizing power of the ligand trans to CF3. Based on the analysis of the Laplacian of the density, we propose that the charge‐shift bond character plays an important role in the stability of the molecules studied, especially for those containing I−O bonds. New insights on the trans influence and on possible ways to fine‐tune the stability of these reagents are provided. 
    more » « less
  3. Abstract We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of Kähler-Einstein metrics on all smooth Fano hypersurfaces of Fano index two, (b) compute the stability thresholds for hypersurfaces at generalised Eckardt points and for cubic surfaces at all points, and (c) provide a new algebraic proof of Tian’s criterion for K-stability, amongst other applications. 
    more » « less
  4. Many machine learning problems can be abstracted in solving game theory formulations and boil down to optimizing nested objectives, such as generative adversarial networks (GANs) and multi-agent reinforcement learning. Solving these games requires finding their stable fixed points or Nash equilibrium. However, existing algorithms for solving games suffer from empirical instability, hence demanding heavy ad-hoc tuning in practice. To tackle these challenges, we resort to the emerging scheme of Learning to Optimize (L2O), which discovers problem-specific efficient optimization algorithms through data-driven training. Our customized L2O framework for differentiable game theory problems, dubbed “Learning to Play Games" (L2PG), seeks a stable fixed point solution, by predicting the fast update direction from the past trajectory, with a novel gradient stability-aware, sign-based loss function. We further incorporate curriculum learning and self-learning to strengthen the empirical training stability and generalization of L2PG. On test problems including quadratic games and GANs, L2PG can substantially accelerate the convergence, and demonstrates a remarkably more stable trajectory. Codes are available at https://github.com/VITA-Group/L2PG. 
    more » « less
  5. Equilibria, or fixed points, play an important role in dynamical systems across various domains, yet finding them can be computationally challenging. Here, we show how to efficiently compute all equilibrium points of discrete-valued, discrete-time systems on sparse networks. Using graph partitioning, we recursively decompose the original problem into a set of smaller, simpler problems that are easy to compute, and whose solutions combine to yield the full equilibrium set. This makes it possible to find the fixed points of systems on arbitrarily large networks meeting certain criteria. This approach can also be used without computing the full equilibrium set, which may grow very large in some cases. For example, one can use this method to check the existence and total number of equilibria, or to find equilibria that are optimal with respect to a given cost function. We demonstrate the potential capabilities of this approach with examples in two scientific domains: computing the number of fixed points in brain networks and finding the minimal energy conformations of lattice-based protein folding models. 
    more » « less