De wetenschap heeft lang vertrouwd op differentiaalvergelijkingen om te beschrijven hoe de wereld verandert, van de stroming van warmte door een muur tot de verspreiding van een ziekte door een populatie. Deze wiskundige beschrijvingen zijn krachtig, maar het nauwkeurig oplossen ervan vereist vaak enorme rekenkracht, vooral wanneer de problemen te maken hebben met veel variabelen, scherpe veranderingen of complexe interacties. Decennialang hebben onderzoekers naar quantumcomputers gekeken als een potentiële afkorting, in de hoop dat hun unieke vermogen om informatie te verwerken deze lastige puzzels sneller kunnen kraken dan klassieke machines. Een veelbelovende strategie houdt in dat een differentiaalvergelijking wordt omgezet in een zoektocht naar de laagste energietoestand van een systeem, vergelijkbaar met een bal die van nature naar de bodem van een vallei rolt. Als het systeem correct is gebouwd, vertegenwoordigt de toestand op het diepste punt van die vallei het juiste antwoord op de vergelijking. Het bouwen van deze systemen is echter lastig gebleken, vooral bij het werken met real-world data die niet bij nul beginnen of wanneer de vergelijkingen niet-lineaire relaties bevatten waarbij variabelen met elkaar vermenigvuldigen.

Een onderzoeker bij Fujitsu Research of Europe heeft deze aanpak nu uitgebreid door nieuwe manieren aan te bieden om deze quantumsystemen te construeren die een grotere verscheidenheid aan problemen kunnen afhandelen. Zij hebben methoden ontwikkeld om meerdere beginvoorwaarden en datapunten te incorporeren die niet nul zijn, een veelvoorkomend kenmerk in real-world scenario's waar eerdere methoden moeite mee hadden om dit direct te bevatten. Zij introduceerden ook een alternatieve manier om het systeem te bouwen die de vergelijking behandelt als een balans tussen een veranderend deel en een vaste bron, in plaats van alles in een zero-sum format te dwingen. Verder verkenden zij een andere manier om informatie binnen de quantumcomputer op te slaan, waarbij zij afstappen van het representeren van de oplossing als een gladde wiskundige curve en in plaats daarvan de werkelijke waarden van de oplossing op specifieke punten langs een rooster opslaan. Door deze nieuwe constructies te testen op verschillende soorten vergelijkingen, inclusief die met scherpe hoeken en met niet-lineaire termen, ontdekte de onderzoeker dat de beste keuze voor een methode sterk afhangt van de specifieke aard van het probleem dat wordt opgelost.

De kern van dit werk ligt in de manier waarop de onderzoeker het probleem in het quantumtoestandsysteem codeert. In de standaardbenadering wordt de oplossing gerepresenteerd door de coëfficiënten van een set gladde, globale functies, vergelijkbaar met hoe een complex geluid kan worden afgebroken in een specifieke set muzikale noten. Deze methode werkt goed voor gladde, voorspelbare veranderingen, maar kan moeite hebben wanneer de oplossing plotselinge sprongen of knikken vertoont. Het nieuwe werk introduceert een roostergebaseerde benadering waarbij de quantumtoestand direct de waarde van de oplossing op elk punt op een discrete lijn vasthoudt. Dit is meer als het nemen van een reeks snapshots langs een pad, in plaats van te proberen een enkele gladde lijn door hen heen te passen. De onderzoeker vond dat voor problemen met gladde oplossingen de traditionele methode met gladde functies efficiënter was, maar voor problemen met scherpe discontinuïteiten bood de roostergebaseerde methode een veel nauwkeuriger beeld zonder dat er speciale aanpassingen nodig waren.

Het afhandelen van niet-nul beginvoorwaarden was een ander groot obstakel dat de onderzoeker heeft aangepakt. In veel fysieke situaties begint een systeem niet vanuit het niets; een condensator kan al een lading bevatten, of een temperatuur kan beginnen bij een specifieke hoge waarde. Eerdere quantummethoden vereisten dat het probleem zo werd herschreven dat alles bij nul begon, wat niet altijd mogelijk of praktisch was. De onderzoeker toonde aan hoe een bekend, niet-nul referentiepunt gebruikt kan worden om het probleem te schalen, waardoor zij meerdere niet-nul condities direct in het quantumsysteem kunnen opnemen. Zij ontwikkelden ook een tweede, alternatieve constructie die de vergelijking behandelt als een lineair systeem waarbij de oplossing wordt gevonden door de vergelijking af te stemmen tegen een bronterm. Deze benadering bleek bijzonder nuttig wanneer het probleem te maken had met een bron van energie of materie die niet gemakkelijk kon worden omgezet in een zero-starting conditie, wat effectief het scala aan vergelijkingen dat op deze manier opgelost kan worden, vergroot.

De uitdaging van niet-lineaire vergelijkingen, waarbij variabelen met elkaar vermenigvuldigen, presenteerde een ander soort moeilijkheid. Wanneer deze vergelijkingen naar de quantumtaal worden vertaald, wordt het systeem vaak onderbepaald, wat betekent dat er veel mogelijke toestanden zijn die eruitzien als de laagste energietoestand, maar slechts één van hen de werkelijke fysieke oplossing vertegenwoordigt. De onderzoeker merkte op dat de quantumtoestand vaak vast zou komen te zitten in deze incorrecte, "onfysische" toestanden. Om dit op te lossen, stelden zij voor om de zoektocht te beperken tot enkel die toestanden die een specifieke herhaalde structuur hebben, wat ervoor zorgt dat de quantumcomputer alleen oplossingen verkent die fysiek zinvol zijn. Zij testten dit door een reactie-diffusievergelijking op te lossen die modelleert hoe een populatiefront beweegt, waarbij zij erin slaagden de quantumalgoritme naar de juiste oplossing te leiden door de zoekruimte te beperken, zelfs toen de onderliggende vergelijking complex en degeneratisch bleef.

Door middel van een reeks simulaties vergeleek de onderzoeker deze nieuwe methoden met elkaar met voorbeelden zoals het opladen van een elektrische schakeling, het gedrag van een quantumdeeltje in een specifieke potentiaal, en warmtestroom door een muur gemaakt van twee verschillende materialen. In het geval van de elektrische schakeling toonden zij aan dat wanneer de beginlading nul was, één van hun nieuwe methoden de enige was die kon werken, terwijl de andere faalde. Wanneer de beginlading niet nul was, werkten beide methoden goed, maar produceerden zij licht verschillende energielandschappen, wat invloed kan hebben op hoe gemakkelijk een quantumcomputer de oplossing vindt. Voor het warmtestroomprobleem, dat een scherpe verandering in materiaaleigenschappen betrof, slaagde de methode met gladde functies er niet in om de plotselinge verschuiving in temperatuurgradiënt te vangen, tenzij het domein in aparte secties werd verdeeld. De roostergebaseerde methode handelde deze scherpe verandering echter natuurlijk af, wat aantoonde dat de keuze van codering niet slechts een technische details is, maar een fundamentele beslissing die de nauwkeurigheid van het resultaat dicteert.

De onderzoeker onderzocht ook het niet-lineaire populatiemodel en bevestigde dat hun strategie om de quantumzoektocht te beperken tot herhaalde producttoestanden succesvol de valstrik van onfysische oplossingen vermeed. Hoewel de volledige wiskundige ruimte van het probleem honderden incorrecte laag-energetische toestanden bevatte, vond de beperkte zoektocht het juiste pad. De onderzoeker merkte echter op dat deze aanpak leunt op een specifiek type optimalisatiealgoritme dat niet gegarandeerd altijd het beste antwoord vindt, en dat het meer quantumbronnen vereist naarmate de complexiteit van de niet-lineariteit toeneemt. De simulaties toonden aan dat de methoden werken en nauwkeurige oplossingen kunnen coderen, maar ze benadrukten ook dat de weg naar een praktische quantumvoordeel aanzienlijke hindernissen met zich meebrengt, waaronder de kosten van het voorbereiden van de initiële toestand, de stabiliteit van het systeem en de moeilijkheid van het uitlezen van het uiteindelijke antwoord.

Uiteindelijk claimt dit werk niet het probleem van het oplossen van quantumdifferentiaalvergelijkingen te hebben opgelost, maar verheldert het de afwegingen die betrokken zijn bij de huidige benaderingen. Het demonstreert dat er niet één "beste" manier is om een differentiaalvergelijking te coderen voor een quantumcomputer; de optimale keuze hangt af van de vraag of de oplossing glad of grillig is, of de data bij nul begint of niet, en of de vergelijking lineair of niet-lineair is. Door deze alternatieve constructies en functiecoderingen te bieden, heeft de onderzoeker het bereik van problemen dat met ground-state quantum solvers kan worden aangepakt, verbreed. Hun bevindingen suggereren dat toekomstige vooruitgang niet zal komen van één universele methode, maar van het zorgvuldig afstemmen van de coderingstrategie op de specifieke regelmaat en beperkingen van het fysieke probleem, om er zeker van te zijn dat het quantumsysteem is gebouwd om de ware oplossing te vinden in plaats van verdwaald te raken in een zee van wiskundige mogelijkheden.