Abstract:Various combinatorial optimization NP-hard problems can be reduced to finding the minimizer of an Ising model, which is a discrete mathematical model. It is an intellectual challenge to develop some mathematical tools or algorithms for solving the Ising model. Over the past decades, some continuous approaches or algorithms have been proposed from physical, mathematical or computational views for optimizing the Ising model such as quantum annealing, the coherent Ising machine, simulated annealing, adiabatic Hamiltonian systems, etc.. However, the mathematical principle of these algorithms is far from being understood. In this paper, we reveal the mathematical mechanism of dynamical system algorithms for the Ising model by Morse theory and variational methods. We prove that the dynamical system algorithms can be designed to minimize a continuous function whose local minimum points give all the candidates of the Ising model and the global minimum gives the minimizer of Ising problem. Using this mathematical mechanism, we can easily understand several dynamical system algorithms of the Ising model such as the coherent Ising machine, the Kerr-nonlinear parametric oscillators and the simulated bifurcation algorithm. Furthermore, motivated by the works of C. Conley, we study transit and capture properties of the simulated bifurcation algorithm to explain its convergence by the low energy transit and capture in celestial mechanics. A detailed discussion on $2$-spin and $3$-spin Ising models is presented as application.

Extracting State Transition Models from i* Models

Pi Calculus-Based Bitransformation of State-Driven Model and Flow-Driven Model

An Invertible State Space for Process Trees

Modeling Delegation Through an I*-Based Approach

Process Modeling Leveraged by Workflow Fragments and Logs Analysis

Optimizing Requirements Elicitation with an I* and Bayesian Network Integrated Modelling Approach.

Mapping Elements with the Hungarian Algorithm: an Efficient Method for Querying Business Process Models

Process Modeling Leveraged by Workflow Structure and Running Logs Analysis

Anvaya: An Algorithm and Case-Study on Improving the Goodness of Software Process Models generated by Mining Event-Log Data in Issue Tracking System

Information-Theoretic Approach for Model Reduction Over Finite Time Horizon

Automated discovery of business process simulation models from event logs

Google matrix of business process management

INEXA: Interactive and Explainable Process Model Abstraction Through Object-Centric Process Mining

State Space Models on Temporal Graphs: A First-Principles Study

Mathematical Mechanism on Dynamical System Algorithms of the Ising Model

Detection and Quantification of Flow Consistency in Business Process Models

Querying Business Process Models Based On Semantics

A Practical Method to Analyze Workflow Logic Models.

Querying Process Models Based on the Temporal Relations between Tasks

Performance Analysis of Reusable Components with Hybrid Modelling of Strategies and Processes: A Real World Case Study

Refactor Business Process Models with Maximized Parallelism