// Workers AI · dad joke modeWhat did the Ising machine say? "I'm spinning out of control
An Ising machine is a special-purpose computer that solves combinatorial optimization problems by mapping them onto the search for the ground state of an Ising model and letting a physical system, rather than an algorithm, find that ground state. The "spins" of the model are represented by bistable states of oscillators, light pulses, superconducting circuits or electronic devices, and the interactions between spins by programmable couplings. Ising machines have been an active field of research since the 2010s as an alternative to conventional computers for hard optimization tasks.[1]
Principle
[edit]The Ising model assigns to a configuration of spins the energy
where is the coupling between spins and and a local field. Finding the minimum-energy configuration is NP-hard for general couplings. Conversely, many classical optimization problems – the maximum cut of a graph, the partition problem, graph coloring or the travelling salesman problem – can be written as Ising problems by a suitable choice of the and .[2]
An Ising machine realizes this energy function physically: each spin is an element with two stable states, and the couplings are set so that the total energy, or a loss function proportional to it, coincides with the Ising energy. The system is then released from an unstable or disordered initial state and relaxes into a low-energy configuration, which is read out. Since all spins interact simultaneously, the machine operates fully in parallel. The states found are in general good approximate solutions but not guaranteed to be the global minimum; as in simulated annealing, the result is improved by repeated runs.[1] The idea of solving optimization problems by the relaxation of a physical system goes back to the Hopfield networks of John Hopfield and David Tank in the 1980s.[3]
Implementations
[edit]Quantum annealers
[edit]In quantum annealing the Ising system is additionally subjected to a transverse field that induces quantum fluctuations; switching this field off slowly is intended to leave the system in the ground state of the classical Ising model.[4] D-Wave Systems has built machines on this principle from superconducting flux qubits since 2011.[5]
Coherent Ising machines
[edit]In a coherent Ising machine (CIM) the spins are the two possible phases (0 or π) of degenerate optical parametric oscillators, which above threshold can oscillate only with one of these two phases. The concept was proposed in 2013 by Zhe Wang, Alireza Marandi, Yoshihisa Yamamoto and co-workers[6] and demonstrated in 2014 with four time-multiplexed pulses in a fiber ring.[7] In the time-multiplexed scheme all spins circulate as a pulse train through the same delay line; the coupling is implemented either optically or by measuring the pulses and feeding back electronically. Machines with 2000 and with 100 fully connected spins were reported in 2016,[8][9] and a machine with 100,000 spins in 2021.[10] A direct comparison with a quantum annealer showed the coherent Ising machine to be advantageous on densely connected problems, because it needs no embedding into a fixed coupling topology.[11]
Oscillator-based and acoustic-wave machines
[edit]The phase principle can be transferred to any self-sustained oscillator: when an oscillator is parametrically pumped at twice its natural frequency, its phase locks to one of two values differing by π, which serve as the spin states; networks of coupled oscillators then seek minima of the Ising energy.[12] A machine presented in 2026 replaces the optical fiber ring by two serially connected quartz bulk-acoustic-wave delay lines at 20.5 MHz, in which 2048 spins circulate as time-multiplexed radio-frequency pulses; the coupling is implemented electronically with 15-bit resolution. The machine finds approximate solutions of number-partitioning problems and Sudoku puzzles at room temperature without optical or cryogenic components.[13]
Digital emulation
[edit]Some Ising machines emulate the dynamics of a physical system on conventional hardware, such as the simulated bifurcation algorithm developed at Toshiba, which integrates the equations of motion of coupled nonlinear oscillators on FPGAs or graphics processors.[14]
Assessment
[edit]Ising machines are analog computers for a single class of problems. Their advantage over general-purpose computers lies in massive parallelism and, for physical implementations, in the low energy cost per iteration; their drawbacks are the limited precision of the couplings and the fact that, while approximate solutions are found reliably, exact optima are found less and less often as the problem size grows. Whether, and for which problem classes, a fundamental advantage over the best classical heuristics exists remains an open research question.[1]
See also
[edit]References
[edit]- 1 2 3 Naeimeh Mohseni; Peter L. McMahon; Tim Byrnes (2022). "Ising machines as hardware solvers of combinatorial optimization problems". Nature Reviews Physics. 4 (6): 363–379. arXiv:2204.00276. Bibcode:2022NatRP...4..363M. doi:10.1038/s42254-022-00440-8.
- ↑ Andrew Lucas (2014). "Ising formulations of many NP problems". Frontiers in Physics. 2: 5. arXiv:1302.5843. Bibcode:2014FrP.....2....5L. doi:10.3389/fphy.2014.00005.
- ↑ John J. Hopfield; David W. Tank (1985). ""Neural" computation of decisions in optimization problems". Biological Cybernetics. 52 (3): 141–152. doi:10.1007/BF00339943. PMID 4027280.
- ↑ Tadashi Kadowaki; Hidetoshi Nishimori (1998). "Quantum annealing in the transverse Ising model". Physical Review E. 58 (5): 5355–5363. arXiv:cond-mat/9804280. Bibcode:1998PhRvE..58.5355K. doi:10.1103/PhysRevE.58.5355.
- ↑ M. W. Johnson; et al. (2011). "Quantum annealing with manufactured spins". Nature. 473 (7346): 194–198. Bibcode:2011Natur.473..194J. doi:10.1038/nature10012. PMID 21562559.
- ↑ Zhe Wang; Alireza Marandi; Kai Wen; Robert L. Byer; Yoshihisa Yamamoto (2013). "Coherent Ising machine based on degenerate optical parametric oscillators". Physical Review A. 88 (6) 063853. arXiv:1311.2696. Bibcode:2013PhRvA..88f3853W. doi:10.1103/PhysRevA.88.063853.
- ↑ Alireza Marandi; Zhe Wang; Kenta Takata; Robert L. Byer; Yoshihisa Yamamoto (2014). "Network of time-multiplexed optical parametric oscillators as a coherent Ising machine". Nature Photonics. 8 (12): 937–942. arXiv:1407.2871. Bibcode:2014NaPho...8..937M. doi:10.1038/nphoton.2014.249.
- ↑ Takahiro Inagaki; et al. (2016). "A coherent Ising machine for 2000-node optimization problems". Science. 354 (6312): 603–606. Bibcode:2016Sci...354..603I. doi:10.1126/science.aah4243. PMID 27811271.
- ↑ Peter L. McMahon; et al. (2016). "A fully programmable 100-spin coherent Ising machine with all-to-all connections". Science. 354 (6312): 614–617. Bibcode:2016Sci...354..614M. doi:10.1126/science.aah5178. PMID 27811274.
- ↑ Toshimori Honjo; et al. (2021). "100,000-spin coherent Ising machine". Science Advances. 7 (40) eabh0952. Bibcode:2021SciA....7..952H. doi:10.1126/sciadv.abh0952. PMC 8480917. PMID 34586855.
- ↑ Ryan Hamerly; et al. (2019). "Experimental investigation of performance differences between coherent Ising machines and a quantum annealer". Science Advances. 5 (5) eaau0823. arXiv:1805.05217. Bibcode:2019SciA....5..823H. doi:10.1126/sciadv.aau0823. PMC 6534389. PMID 31139743.
- ↑ Tianshi Wang; Jaijeet Roychowdhury (2019). "OIM: Oscillator-Based Ising Machines for Solving Combinatorial Optimisation Problems". Unconventional Computation and Natural Computation (UCNC 2019). Lecture Notes in Computer Science. Vol. 11493. Springer. pp. 232–256. arXiv:1903.07163. doi:10.1007/978-3-030-19311-9_19. ISBN 978-3-030-19310-2.
- ↑ Venkat Vadde; Roman Ovcharov; Victor H. González; Roman Khymyn; Artem Litvinenko; Johan Åkerman (2026). "A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku". Communications Physics. 9 (1) 290. arXiv:2607.02112. Bibcode:2026CmPhy...9..290V. doi:10.1038/s42005-026-02846-7.
- ↑ Hayato Goto; Kosuke Tatsumura; Alexander R. Dixon (2019). "Combinatorial optimization by simulating adiabatic bifurcations in nonlinear Hamiltonian systems". Science Advances. 5 (4) eaav2372. Bibcode:2019SciA....5.2372G. doi:10.1126/sciadv.aav2372. PMC 6474767. PMID 31016238.