🔬 applied physics

A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku

Dit artikel presenteert een compacte, energiezuinige en thermisch stabiele 2.048-spin bulk akoestische golf Ising-machine die gebruikmaakt van solid-state vertragingslijnen om all-to-all connectiviteit te bereiken en complexe optimalisatieproblemen zoals MAX-CUT, getalpartitiering en Sudoku efficiënt op te lossen, waarbij deze zowel de meest geavanceerde optische machines als gesimuleerde algoritmen overtreft in stabiliteit en specifieke probleemoplossende capaciteiten.

Oorspronkelijke auteurs: Venkatesh Vadde, Roman Ovcharov, Victor H. González, Roman Khymyn, Artem Litvinenko, Johan Åkerman

Gepubliceerd 2026-07-03

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Venkatesh Vadde, Roman Ovcharov, Victor H. González, Roman Khymyn, Artem Litvinenko, Johan Åkerman

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je probeert een enorme, ongelooflijk moeilijke puzzel op te lossen. Je hebt duizenden stukjes en je moet ze zo rangschikken dat ze perfect in elkaar passen om "wrijving" of "spanning" te minimaliseren. In de wereld van computers worden dit optimalisatieproblemen genoemd (zoals het uitzoeken van de beste manier om een groep mensen in twee teams te verdelen zodat de teams zo evenwichtig mogelijk zijn, of het oplossen van een Sudoku).

Al een lange tijd worstelen gewone computers met deze puzzels omdat het aantal mogelijke arrangementen zo snel groeit dat het hen langer zou duren dan het ontstaan van het universum om het beste antwoord te vinden.

Dit artikel introduceert een nieuw soort "puzzeloplosser" genaamd een Bulk Acoustic Wave Ising Machine (BAWIM). Denk aan een gespecialiseerde, fysieke machine die deze puzzels oplost door gebruik te maken van geluidsgolven in plaats van alleen elektriciteit en code.

Hier is een eenvoudige uitleg van hoe het werkt en waarom het bijzonder is:

1. Het kernidee: Een ring van geluid

Stel je een cirkelvormig racecircuit voor. In plaats van auto's sturen we kleine pakketjes geluidsgolven (specifiek geluid dat door een massief blok kwartskristal reist) rond dit circuit.

De spins: Elke "ronde" of puls van geluid vertegenwoordigt een enkel stukje van de puzzel, een zogenaamde "spin". Het kan zich in één van twee toestanden bevinden: zoals een munt die op Kop (+1) of Munt (-1) staat.
Het circuit: De machine gebruikt een vertragingslijn (een buis voor geluid) die ongeveer 700 microseconden lang is. Door pulsen één na elkaar te sturen, kan de machine 2.048 van deze "spins" tegelijkertijd vasthouden.
De lus: Deze geluidspulsen circuleren in een lus. De machine luistert constant naar de pulsen, berekent hoe ze met elkaar moeten interageren op basis van de regels van de puzzel, en "injecteert" dan een kleine duw om hun staat te veranderen indien nodig.

2. De "Coach" (Het feedbacksysteem)

De machine heeft een slimme coach (een FPGA-computerchip) die de race in de gaten houdt.

De coach meet de fase (timing) van de geluidsgolven.
Het berekent de "regels" van de specifieke puzzel (bijv. "Spin A en Spin B moeten tegenovergesteld zijn").
Het stuurt een signaal terug in de lus om de geluidsgolven naar de juiste arrangement te duwen.
Na verloop van tijd komen de geluidsgolven vanzelf tot de toestand met de laagste energie, wat overeenkomt met de beste oplossing voor de puzzel.

3. Waarom deze machine een gamechanger is

De auteurs vergelijken hun nieuwe machine met de huidige "kampioenen" op dit gebied, namelijk Optical Coherent Ising Machines (CIMs). Deze oudere machines gebruiken licht (lasers) en glasvezel. Hier is hoe de nieuwe, op geluid gebaseerde machine wint:

Het "Thermostaat"-probleem:
- De oude manier (Licht): Stel je voor dat je een enorme, 5 kilometer lange glasvezelkabel perfect stabiel probeert te houden. Als de kamertemperatuur met slechts één graad verandigt, raakt het licht uit de pas en breekt het hele systeem. Je hebt een enorme, dure, door water temperatuurgecontroleerde box nodig om het werkend te houden.
- De nieuwe manier (Geluid): De BAWIM is als een klein, massief kwartskristal. Het is ongelooflijk stabiel. De paper beweert dat het 10.000 keer stabieler is tegen temperatuurveranderingen dan de lichtgebaseerde machines. Je kunt het op een gewoon bureau in een normale kamer zetten, en het werkt perfect zonder dat er een gigantische thermostaat nodig is.
Grootte en kosten:
- De lichtmachines zijn enorm, duur en verbruiken veel stroom.
- De BAWIM is een "tafelapparaat". Het past op een bureau, gebruikt standaard onderdelen die ook in telefoons of radio's te vinden zijn, en verbruikt zeer weinig stroom (ongeveer 9,5 watt, ongeveer hetzelfde als een felle gloeilamp).

4. Welke puzzels hebben ze opgelost?

De onderzoekers hebben hun machine getest op drie soorten uitdagingen:

MAX-CUT: Een klassiek wiskundig probleem over het verdelen van een netwerk in twee groepen. De machine vond een zeer goede oplossing in ongeveer 341 milliseconden (minder dan een halve seconde).
Getalverdeling (Number Partitioning): Het verdelen van een lijst met willekeurige getallen in twee groepen met gelijke sommen. De machine loste dit beter en sneller op dan een topniveau software-algoritme genaamd "Simulated Bifurcation".
Sudoku: Ze hebben zelfs een Sudoku-puzzel opgelost. Dit is lastig omdat een Sudoku exacte antwoorden vereist (geen "bijna goed" toegestaan). De machine vond succesvol de juiste oplossing, terwijl het software-algoritme er niet in slaagde een geldige oplossing te vinden.

5. Het toekomstige potentieel

De paper suggereert dat als ze hun huidige 20 MHz geluidsfrequentie vervangen door een veel snellere 16 GHz frequentie (wat mogelijk is met de huidige technologie), de machine deze problemen in minder dan een milliseconde kan oplossen.

Samenvatting

Kortom, de auteurs hebben een kleine, stabiele, energiezuinige desktopcomputer gebouwd die geluidsgolven gebruikt om complexe wiskundige puzzels op te lossen. In tegen tegenstelling tot de huidige enorme, temperatuurgevoelige lasermachines, is dit nieuwe apparaat robuust, goedkoop te bouwen en werkt het betrouwbaar in een normale kamer. Het bewijst dat we complexe optimalisatieproblemen kunnen oplossen met eenvoudige, solid-state fysica in plaats van met enorme, fragiele optische opstellingen.

Technische Samenvatting: Een 2048-spin Bulk Acoustic Wave Ising Machine

Probleemstelling
De vooruitgang van de moderne computertechnologie wordt steeds meer beperkt door de beperkingen van traditionele siliciumgebaseerde architecturen, met name bij het aanpakken van niet-deterministische polynoomtijd harde (NP-hard) en NP-complete problemen. Combinatorische optimalisatietaken, zoals MAX-CUT, getalverdeling (number partitioning) en Sudoku, vereisen oplostijden die exponentieel schalen met de probleemgrootte. Hoewel diverse analoge Ising-machines zijn ontwikkeld met platforms zoals supergeleidende qubits, nanomechanische systemen en fotonische coherente Ising-machines (CIM's), blijven er aanzienlijke barrières bestaan. Specifiek lijden optische CIM's, ondanks het demonstreren van een hoge spin-schaalbaarheid (tot 100.000 spins), aan een grote fysieke voetafdruk, hoog energieverbruik, slechte thermische stabiliteit en hoge kosten, wat hen vaak beperkt tot laboratoriumomgevingen. Bovendien waren eerdere op akoestische golven gebaseerde benaderingen (bijv. Surface Acoustic Wave Ising Machines) beperkt tot kleine aantal spins (bijv. 50 spins) en een lage koppelingsresolutie (1-bit).

Methodologie
De auteurs presenteren een tijdgemultiplext Ising-machine gebaseerd op Bulk Acoustic Waves (BAW) die voortplanten door solid-state vertragingslijnen. De kernarchitectuur maakt gebruik van twee serieel verbonden kwarts-gebaseerde BAW-vertraging-lijnen, elk met een vertraging van 707 µs en een 3-dB bandbreedte gecentreerd rond 20,5 MHz. Deze configuratie ondersteunt een totaal van 2.124 RF-pulsen, waarvan 2.048 worden gebruikt als Ising-spins.

Belangrijke ontwerpkenmerken zijn:

Tijd-multiplexing: Spin-toestanden (+1 en -1) worden gecodeerd in de relatieve fase van voortplantende RF-pulsen. Een pulsperiode van 665 ns (overeenkomend met 6–7 cycli van de drager) wordt afgedwongen via een hogesnelheid RF-schakelaar.
Fase-binarisatie: Een Phase-Sensitive Amplifier (PSA) fungeert als een tijdpoort, die binaire fasen (0° of 180°) ten opzichte van het pompingsignaal afdwingt, wat effectief de analoge golfpakketten binariseert.
All-to-All Connectiviteit: Een Measurement-and-Feedback Block (MFB) extraheert een deel van de circulerende pulsen, meet hun fase met een fase detector, en verwerkt de gegevens via een FPGA. De FPGA berekent de koppelingstermen ( $c_i = \sum J_{ij}s_j$ ) met een resolutie van 15 bits en injecteert de gewogen koppelingssignalen terug in de lus.
Stabiliteitsmechanisme: Het systeem voldoet aan de Barkhausen-stabiliteitscriteria door middel van lineaire versterkers die de 36 dB attenuatie van de vertragingslijn compenseren en een referentiesignaal dat een faseverschuiving van gehele veelvouden van $2\pi$ waarborgt. Het BAW-medium biedt superieure thermische stabiliteit vergeleken met optische vezels.

Belangrijkste Bijdragen

Schaalbaarheid en Resolutie: De machine huisvest succesvol 2.048 spins met een 15-bit koppelingsresolutie, een significante verbetering ten opzichte van eerdere akoestische golf-implementaties die beperkt waren tot ~50 spins en 1-bit resolutie.
Thermische Stabiliteit: Het ontwerp bereikt een temperatuurcoëfficiënt van faseaccumulatie van 780 graden/°C, wat ongeveer vier orde van grootte lager is dan de state-of-the-art optische CIM's (1,73 × 10⁷ graden/°C). Dit elimineert de noodzaak voor complexe, actieve temperatuurcontrolesystemen, waardoor operatie op een standaard werktafel bij kamertemperatuur mogelijk is.
Hardware-efficiëntie: Het systeem werkt met een hoge spin duty cycle (50%) en vereist slechts 6 dragerperioden per spin, in tegenstelling tot optische CIM's die mogelijk duizenden perioden en lagere duty cycles vereisen.
Probleemveelzijdigheid: De machine wordt gedemonstreerd voor het oplossen van niet alleen standaard grafentaken (MAX-CUT), maar ook complexe, constraint-satisfaction problemen zoals Getalverdeling en Sudoku, die exacte oplossingen vereisen in plaats van benaderde grondtoestanden.

Resultaten

MAX-CUT Prestaties: Op een 2.048-node graaf met 10% randdichtheid bereikte de BAWIM 90% van de beste Ising-energie gevonden door het Heated-Ballistic Simulated Bifurcation (HbSB) algoritme in 341 ms. Hoewel HbSB hetzelfde energieniveau bereikte in 102 ms op een high-end CPU, demonstreerde de BAWIM robuuste prestaties over variërende randdichtheden (25% tot 100%), waarbij tot 99,99% van de optimale MAX-CUT score werd behaald.
Getalverdeling (Number Partitioning): Voor probleemgroottes variërend van 32 tot 2.048 gehele getallen bereikte de BAWIM een succespercentage van 100% voor 99,9% benaderde oplossingen in de meeste gevallen, waarmee het HbSB-algoritme overtrof.
Sudoku: De machine loste succesvol een 9×9 Sudoku-puzzel op, waarbij de grondtoestand werd bereikt en een geldige oplossing werd geproduceerd. In contrast hiermee slaagde het HbSB-algoritme er niet in om correcte oplossingen te produceren voor dezelfde instantie.
Energieverbruik: Het totale energieverbruik is ongeveer 9,57 W, gedomineerd door de FPGA en versterkers. De auteurs merken op dat het vervangen van standaard versterkers door gespecialiseerde componenten met een laag vermogen het verbruik kan reduceren naar ongeveer 5,9 W.
Schaalbaarheidspotentieel: De auteurs projecteren dat het gebruik van hogere frequentie vertragingslijnen (bijv. 16,455 GHz) de oplossingstijd zou kunnen reduceren tot ongeveer 0,46 ms, wat een ~750-voudige versnelling betekent ten opzichte van de huidige 20,5 MHz implementatie.

Betekenis en Claims
Het artikel beweert dat de Bulk Acoustic Wave Ising Machine (BAWIM) een belangrijke stap vormt naar praktische, commercieel levensvatbare combinatorische solvers. Door gebruik te maken van solid-state vertragingslijnen, overwint het systeem de thermische instabiliteit en omgevingsbeperkingen die optische CIM's teisteren, en biedt het een robuuste, energiezuinige en tafel-geschikte oplossing. De auteurs stellen dat hun ontwerp vier orden van grootte hogere thermische stabiliteit biedt dan bestaande coherente Ising-machines en superieure prestaties levert ten opzichte van het simulated bifurcation algoritme op complexe, niet-natuurlijke constraint-problemen zoals Sudoku. Het werk benadrukt het potentieel van BAWIM's om een betrouwbaar, energie-efficiënt architectuur te dienen voor het oplossen van NP-harde problemen zonder de noodzaak van cryogene koeling of complexe stabilisatie-infrastructuur.