- Open Access
Optimality and annealing path planning of dynamical analog solvers
Phys. Rev. Research 8, 033267 – Published 3 September, 2026
DOI: https://doi.org/10.1103/m13m-ys1l
Abstract
Recently proposed analog solvers based on dynamical systems, such as Ising machines, are promising platforms for large-scale combinatorial optimization. Yet, given the heuristic nature of the field, there is very limited insight on optimality guarantees of the solvers, as well as how parameter schedules shape dynamics and outcomes. Here, we develop a dynamical mean-field framework to analyze Ising-machine dynamics for finding the ground-state energy of the Sherrington-Kirkpatrick (SK) model of spin glasses and identify mechanisms that enable rapid convergence to provably near-optimal energies. For a fixed target energy density , we show that solutions are typically reached within matrix vector multiplications, indicating constant time complexity. We further delineate theoretical limitations arising from different parameter-scheduling trajectories and demonstrate a pronounced benefit of temperature-only annealing for the coherent Ising machine. Building on these insights, we propose a general framework for designing optimized parameter schedules, thereby improving the practical effectiveness of Ising machines for complex optimization tasks. The superior performance of the dynamical solvers is illustrated by the attainment of the ground-state energy of the SK model.
Physics Subject Headings (PhySH)
- Bifurcations
- Boolean satisfiability problem
- Classical statistical mechanics
- Continuous-time random walk
- Dynamical phase transitions
- Fluctuation-dissipation theorem
- NP-hard problems
- Network optimization
- Nonequilibrium statistical mechanics
- Onsager relations
- Optimization problems
- Order parameters
- Phase diagrams
- Phase transitions
- Random walks
- Stochastic processes
- Dynamical mean field theory
- Finite-size scaling
- Replica methods
Article Text
References (66)
- M. V. LeVine and H. Weinstein, Aim for allostery: Using the Ising model to understand information processing and transmission in allosteric biomolecular systems, Entropy 17, 2895 (2015).
- S. Bao, M. Tawada, S. Tanaka, and N. Togawa, Multi-day travel planning using Ising machines for real-world applications, in IEEE International Intelligent Transportation Systems Conference (ITSC) (IEEE, Piscataway, NJ, 2021), pp. 3704–3709.
- K. Ooka and M. Arai, Accurate prediction of protein folding mechanisms by simple structure-based statistical mechanical models, Nat. Commun. 14, 6338 (2023).
- J. D. Bryngelson and P. G. Wolynes, Spin glasses and the statistical mechanics of protein folding, Proc. Natl. Acad. Sci. USA 84, 7524 (1987).
- F. Barahona, On the computational complexity of Ising spin glass models, J. Phys. A: Math. Gen. 15, 3241 (1982).
- S. Arora, E. Berger, E. Hazan, G. Kindler, and M. Safra, On non-approximability for quadratic programs, in 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05) (IEEE Computer Society Press, Los Alamitos, CA, 2005), pp. 206–215.
- N. Mohseni, P. L. McMahon, and T. Byrnes, Ising machines as hardware solvers of combinatorial optimization problems, Nat. Rev. Phys. 4, 363 (2022).
- T. Kadowaki and H. Nishimori, Quantum annealing in the transverse Ising model, Phys. Rev. E 58, 5355 (1998).
- M. Johnson, M. Amin, S. Gildert, T. Lanting, F. Hamze, N. Dickson, R. Harris, A. Berkley, J. Johansson, P. Bunyk, E. Chapple, C. Enderud, J. Hilton, K. Karimi, E. Ladizinsky, N. Ladizinsky, T. Oh, I. Perminov, C. Rich, and G. Rose, Quantum annealing with manufactured spins, Nature (London) 473, 194 (2011).
- S. Boixo, T. F. Rønnow, S. Isakov, Z. Wang, D. Wecker, D. Lidar, J. Martinis, and M. Troyer, Evidence for quantum annealing with more than one hundred qubits, Nat. Phys. 10, 218 (2014).
- P. Hauke, H. G. Katzgraber, W. Lechner, H. Nishimori, and W. D. Oliver, Perspectives of quantum annealing: Methods and implementations, Rep. Prog. Phys. 83, 054401 (2020).
- Y. Salathé, M. Mondal, M. Oppliger, J. Heinsoo, P. Kurpiers, A. Potočnik, A. Mezzacapo, U. Las Heras, L. Lamata, E. Solano, S. Filipp, and A. Wallraff, Digital quantum simulation of spin models with circuit quantum electrodynamics, Phys. Rev. X 5, 021027 (2015).
- J. Chou, S. Bramhavar, S. Ghosh, and W. Herzog, Analog coupled oscillator based weighted Ising machine, Sci. Rep. 9, 14786 (2019).
- M. Yamaoka, C. Yoshimura, M. Hayashi, T. Okuyama, H. Aoki, and H. Mizuno, A 20k-spin Ising chip to solve combinatorial optimization problems with CMOS annealing, IEEE J. Solid-State Circuits 51, 303 (2015).
- M. Aramon, G. Rosenberg, E. Valiante, T. Miyazawa, H. Tamura, and H. Katzgraber, Physics-inspired optimization for quadratic unconstrained problems using a digital annealer, Front. Phys. 7, 48 (2019).
- K. Yamamoto, K. Kawamura, K. Ando, N. Mertig, T. Takemoto, M. Yamaoka, H. Teramoto, A. Sakai, S. Takamaeda-Yamazaki, and M. Motomura, Statica: A 512-spin 0.25M-weight annealing processor with an all-spin-updates-at-once architecture for combinatorial optimization with complete spin-spin interactions, IEEE J. Solid-State Circuits 56, 165 (2020).
- T. Leleu, F. Khoyratee, T. Levi, R. Hamerly, T. Kohno, and K. Aihara, Scaling advantage of chaotic amplitude control for high-performance combinatorial optimization, Commun. Phys. 4, 266 (2021).
- A. Marandi, Z. Wang, K. Takata, R. Byer, and Y. Yamamoto, Network of time-multiplexed optical parametric oscillators as a coherent Ising machine, Nat. Photon. 8, 937 (2014).
- Y. Yamamoto, K. Aihara, T. Leleu, K.-I. Kawarabayashi, S. Kako, M. Fejer, K. Inoue, and H. Takesue, Coherent Ising machines—Optical neural networks operating at the quantum limit, npj Quantum Inf. 3, 49 (2017).
- Z. Wang, A. Marandi, K. Wen, R. Byer, and Y. Yamamoto, A coherent Ising machine based on degenerate optical parametric oscillators, Phys. Rev. A 88, 063853 (2013).
- T. Inagaki, Y. Haribara, K. Igarashi, T. Sonobe, S. Tamate, T. Honjo, A. Marandi, P. McMahon, T. Umeki, K. Enbutsu, O. Tadanaga, H. Takenouchi, K. Aihara, K.-I. Kawarabayashi, K. Inoue, S. Utsunomiya, and H. Takesue, A coherent Ising machine for 2000-node optimization problems, Science 354, 603 (2016).
- T. Honjo, T. Sonobe, K. Inaba, T. Inagaki, T. Ikuta, Y. Yamada, T. Kazama, K. Enbutsu, T. Umeki, R. Kasahara, K. ichi Kawarabayashi, and H. Takesue, 100,000-spin coherent Ising machine, Sci. Adv. 7, eabh0952 (2021).
- F. Böhm, T. Vaerenbergh, G. Verschaffelt, and G. Van der Sande, Order-of-magnitude differences in computational performance of analog Ising machines induced by the choice of nonlinearity, Commun. Phys. 4, 149 (2021).
- F. Böhm, G. Verschaffelt, and G. Van der Sande, A poor man’s coherent Ising machine based on opto-electronic feedback systems for solving optimization problems, Nat. Commun. 10, 3538 (2019).
- E. S. Tiunov, A. E. Ulanov, and A. I. Lvovsky, Annealing by simulating the coherent Ising machine, Opt. Express 27, 10288 (2019).
- H. Goto, K. Endo, M. Suzuki, Y. Sakai, T. Kanao, Y. Hamakawa, R. Hidaka, M. Yamasaki, and K. Tatsumura, High-performance combinatorial optimization based on classical mechanics, Sci. Adv. 7, eabe7953 (2021).
- T. Leleu, Y. Yamamoto, P. McMahon, and K. Aihara, Destabilization of local minima in analog spin systems by correction of amplitude heterogeneity, Phys. Rev. Lett. 122, 040607 (2019).
- A. Yamamura, H. Mabuchi, and S. Ganguli, Geometric landscape annealing as an optimization principle underlying the coherent Ising machine, Phys. Rev. X 14, 031054 (2024).
- S. Zhou, K. Y. M. Wong, J. Wang, D. S. W. Hui, D. Ebler, and J. Sun, Phase analysis of Ising machines and their implications on optimization, Phys. Rev. Res. 08, 033147 (2026).
- F. Böhm, D. Alonso-Urquijo, G. Verschaffelt, and G. Van der Sande, Noise-injected analog Ising machines enable ultrafast statistical sampling and machine learning, Nat. Commun. 13, 5847 (2022).
- T. Kanao and H. Goto, Simulated bifurcation assisted by thermal fluctuation, Commun. Phys. 5, 153 (2022).
- K. Lee, S. Chowdhury, and K. Y. Camsari, Noise-augmented chaotic Ising machines for combinatorial optimization and sampling, Commun. Phys. 8, 35 (2025).
- H. Goto, R. Hidaka, and K. Tatsumura, Edge-of-chaos-enhanced quantum-inspired algorithm for combinatorial optimization, Phys. Rev. Appl. 25, 044011 (2026).
- A. E. Alaoui and A. Montanari, Algorithmic thresholds in mean field spin glasses, arXiv:2009.11481.
- A. Alaoui, A. Montanari, and M. Sellke, Optimization of mean-field spin glasses, Ann. Probab. 49 (2021).
- A. Montanari, Optimization of the Sherrington-Kirkpatrick Hamiltonian, SIAM J. Comput. 54, FOCS19-1 (2025).
- D. Sherrington and S. Kirkpatrick, Solvable model of a spin-glass, Phys. Rev. Lett. 35, 1792 (1975).
- S. Kirkpatrick, Frustration and ground-state degeneracy in spin glasses, Phys. Rev. B 16, 4630 (1977).
- S. Boettcher, Extremal optimization for Sherrington-Kirkpatrick spin glasses, Eur. Phys. J. B 46, 501 (2005).
- S.-Y. Kim, S. J. Lee, and J. Lee, Ground-state energy and energy landscape of the Sherrington-Kirkpatrick spin glass, Phys. Rev. B 76, 184412 (2007).
- M. Palassini, Ground-state energy fluctuations in the Sherrington-Kirkpatrick model, J. Stat. Mech. (2008) P10005.
- H. Sompolinsky and A. Zippelius, Dynamic theory of the spin-glass phase, Phys. Rev. Lett. 47, 359 (1981).
- H. Sompolinsky and A. Zippelius, Relaxational dynamics of the Edwards-Anderson model and the mean-field theory of spin-glasses, Phys. Rev. B 25, 6860 (1982).
- A. Auffinger and W.-K. Chen, The Parisi formula has a unique minimizer, Commun. Math. Phys. 335, 1429 (2015).
- M. Talagrand, The Parisi formula, Ann. Math. 163, 221 (2006).
- P. C. Martin, E. D. Siggia, and H. A. Rose, Statistical dynamics of classical systems, Phys. Rev. A 8, 423 (1973).
- C. Chow and M. Buice, Path integral methods for stochastic differential equations, J. Math. Neurosci. 5, 8 (2015).
- D. Grzetic, R. Wickham, and A.-C. Shi, Statistical dynamics of classical systems: A self-consistent field approach, J. Chem. Phys. 140, 244907 (2014).
- L. F. Cugliandolo and J. Kurchan, Analytical solution of the off-equilibrium dynamics of a long-range spin-glass model, Phys. Rev. Lett. 71, 173 (1993).
- The nonmonotonicity observed in the theoretical results at later evolutionary stages in Fig. 1 is attributed to the finite sampling inherent in the Monte Carlo method. With increasing time, the response matrix grows quadratically, while the near-zero density diminishes. This leads to increased variance in the estimator , resulting in statistical fluctuations.
- M. Opper and D. Saad, Advanced Mean Field Methods: Theory and Practice (MIT Press, Cambridge, MA, 2001).
- Because depends on the full trajectory, the figure appears as a scatter plot.
- J. Wang, D. Ebler, K. Y. M. Wong, D. S. W. Hui, and J. Sun, Bifurcation behaviors shape how continuous physical dynamics solves discrete Ising optimization, Nat. Commun. 14, 2510 (2023).
- S. O. Rice, Mathematical analysis of random noise, Bell Syst. Tech. J. 23, 282 (1944).
- We utilized the 1RSB formula derived in our previous work to generate the curves [29]. The theoretical values may exhibit a small bias relative to the true full-RSB results, but they are sufficient to capture the overall trend. More precise but qualitatively similar results can be obtained by running Monte Carlo simulations according to Eq. (3) for sufficiently long durations and large samples.
- This also suggests choosing the gain at the point where the decoded energy contour is tangent to the effective gap contour.
- The result includes the full-RSB correction. See Ref. [29].
- T. Aspelmeier, A. Billoire, E. Marinari, and M. Moore, Finite size corrections in the Sherrington-Kirkpatrick model, J. Phys. A: Math. Theor. 41, 205005 (2008).
- S. Boettcher, Simulations of ground state fluctuations in mean-field Ising spin glasses, J. Stat. Mech. (2010) P07002.
- R. Oppermann, M. J. Schmidt, and D. Sherrington, Double criticality of the Sherrington-Kirkpatrick model at , Phys. Rev. Lett. 98, 127201 (2007).
- H.-K. Janssen, On a Lagrangean for classical field dynamics and renormalization group calculations of dynamical critical properties, Z. Phys. B 23, 377 (1976).
- C. De Dominicis, Techniques de renormalisation de la théorie des champs et dynamique des phénomenes critiques, J. Phys. Colloq. 37, C1-247 (1976).
- C. De Dominicis and L. Peliti, Field-theory renormalization and critical dynamics above : Helium, antiferromagnets, and liquid-gas systems, Phys. Rev. B 18, 353 (1978).
- R. Bausch, H.-K. Janssen, and H. Wagner, Renormalized field theory of critical dynamics, Z. Phys. B 24, 113 (1976).
- Y. Ye, The Gset dataset, 2003, http://web.stanford.edu/%7Eyyye/yyye/Gset/.
- F. Ghimenti, A. Sriram, A. Yamamura, H. Mabuchi, and S. Ganguli, Geometry and dynamics of annealed optimization in the coherent Ising machine with hidden and planted solutions, Phys. Rev. E 113, 054123 (2026).