Combinatorial Matrix Functions in Ising Models and Quantum Circuit Representation

In de stille hoekjes van de theoretische natuurkunde en de informatica worstelen onderzoekers vaak met problemen die te omvangrijk zijn voor zelfs de krachtigste supercomputers om direct op te lossen. Dit zijn vragen over het tellen van de manieren waarop dingen kunnen worden gerangschikt, specifiek zoekend naar perfecte paarvormingen binnen complexe netwerken. Stel je een web van verbindingen voor waarbij elk punt precies met één ander punt verbonden moet worden, zonder restanten. Het berekenen van het totaal aantal van deze perfecte paarvormingen voor een eenvoudig netwerk is gemakkelijk, maar naarmate het netwerk groter en ingewikkelder wordt, explodeert het aantal mogelijkheden zo snel dat het praktisch onmogelijk wordt om ze allemaal te tellen. Deze moeilijkheid is niet slechts een wiskundige curiositeit; het staat centraal in het begrijpen van hoe bepaalde kwantumsystemen zich gedragen en waarom ze zo moeilijk te simuleren zijn op klassieke machines. Decennialang wisten wetenschappers dat specifieke soorten van deze telproblemen voorkomen in het gedrag van licht dat door optische netwerken passeert, maar de wiskundige instrumenten om deze te beschrijven waren beperkt tot zeer specifieke, hoogst symmetrische vormen van netwerken.

Een team van onderzoekers heeft nu het bereik van deze instrumenten uitgebreid door aan te tonen hoe deze complexe telproblemen beschreven kunnen worden met behulp van een ander type fysisch systeem: een model van interagerende magnetische spins, bekend als een Ising-model. In dit kader toonden de onderzoekers aan hoe niet alleen de standaard, symmetrische netwerken, maar ook meer algemene structuren die zelfverbindingen bevatten, waar een punt met zichzelf verbonden is, gecodeerd kunnen worden. Door een slimme methode te introduceren om deze zelfverbindingen te representeren met behulp van extra magnetische eenheden, toonden zij aan dat het systeem van nature drie verschillende soorten telfuncties produceert, afhankelijk van de structuur van het netwerk. De meest algemene hiervan, die zij de loop-hafnian noemen, omvat de andere twee typen als speciale gevallen. Het team stelde een kwantumcircuit voor om dit hele proces te simuleren met een aantal operaties dat redelijk meegroeit met de omvang van het probleem, wat een nieuwe weg biedt om deze moeilijke berekeningen te verkennen.

De reis begon met het besef dat het standaard magnetische model, dat gewoonlijk beschrijft hoe spins met hun buren interageren, te rigide was om de volledige variëteit van deze telproblemen te vatten. Vorig werk had aangetoond dat als het netwerk perfect gebalanceerd en bipartiet was — wat betekent dat de punten in twee groepen verdeeld konden worden waarbij verbindingen alleen tussen de groepen plaatsvonden, en nooit binnen hen — het systeem een specifieke contarie functie produceerde genaamd de permanent. Als het netwerk een simpel graaf was zonder zelfverbindingen, produceerde het een andere functie genaamd de hafnian. Echter, echte netwerken en complexere theoretische modellen bevatten vaak punten die met zichzelf verbonden zijn, een kenmerk dat de bestaande modellen niet konden verwerken. De onderzoekers zetten uit om dit op te lossen door het Ising-model aan te passen om deze zelfverbindingen, of "loops", op te nemen zonder de wiskundige structuur die de vorige resultaten mogelijk maakte, te breken.

Om dit te bereiken, introduceerde het team een nieuwe manier om de zelfverbindingen te coderen. In plaats van te proberen een enkele magnetische spin te laten staan voor een zelfloop, voegden ze extra spins toe aan het systeem specif om deze verbindingen specifiek te beheren. Wanneer een punt in het netwerk een zelfloop had, wijsden de onderzoekers het een partner-spin toe. De interactie tussen de oorspronkelijke spin en zijn partner werd ontworpen om het effect van de zelfloop na te bootsen. Dit stelde het systeem in staat om van nature de meest algemene contarie functie te genereren, de loop-hafnian, die alle mogelijke perfecte paarvormingen optelt, inclus\u00adclus die waarbij punten met zichzelf worden gepaard. De schoonheid van deze aanpak is dat zij flexibel is: naarmate het aantal zelfloops in het netwerk afneemt, worden de extra spins minder relevant, en transformeert het systeem soepel terug naar het produceren van de simpelere hafnian- en permanentfuncties. Het is alsof de onderzoekers één enkele machine hebben gebouwd die zichzelf automatisch kan herconfigureren om drie verschillende soorten puzzels op te lossen, enkel door de input te veranderen.

De onderzoekers richtten zich vervolgens op de praktische vraag hoe ze deze simulatie op een kwantumcomputer kunnen uitvoeren. Ze toonden aan dat de interacties die nodig zijn om het magnetische model te simuleren, kunnen worden afgebroken in een sequentie van eenvoudige operaties tussen paren kwantumbits, of qubits. Omdat alle interacties in hun aangepaste model commuteren — wat betekent dat de volgorde waarin ze worden toegepast niet uitmaakt — kan de simulatie worden uitgevoerd zonder de accumulatie van kleine fouten die dergelijke berekeningen gewoonlijk teisteren. Ze demonstreerden dat voor een netwerk van een bepaalde omvang, het aantal benodigde operaties groeit met het kwadraat van het aantal punten, wat in de wereld van kwantumcomputing als efficiënt wordt beschouwd. Dit betekent dat een kwantumcomputer in principe de interacties van deze magnetische systemen kan simuleren en de complexe contarie getallen direct kan extraheren.

Een aanzienlijke uitdaging bleef echter hoe de resultaten af te lezen. Voor de eenvoudigere gevallen zonder zelfloops kon het antwoord worden gevonden door simpelweg de toestand van de magnetische spins te meten. Echter, voor het algemene geval met zelfloops bestaat het systeem in een superpositie van vele verschillende toestanden tegelijkertijd, en een directe meting zou niet de specifieke contarie waarde onthullen. Het team loste dit op door een meetcircuit te ontwerpen dat de superpositie kan sorteren. Ze toonden aan dat door een specifieke sequentie van operaties uit te voeren en vervolgens de spins in een bepaalde volgorde te meten, ze deze complexe superpositie op een enkele, duidelijke uitkomst kunnen mappen. Dit proces stelde hen in staat om aan te tonen dat de loop-hafnian voor alle mogelijke deelverzamelingen van het netwerk simultaan gemeten kan worden, waardoor het antwoord op het telprobleem in één keer kan worden uitgelezen.

De implicaties van dit werk reiken verder dan alleen het vinden van een nieuwe manier om getallen te berekenen. De onderzoekers benadrukten een fundamenteel verschil tussen hun magnetische benadering en de optische netwerken die in andere kwantumeperimenten worden gebruikt. In optische systemen is de waarschijnlijkheid van een specifieke uitkomst recht evenredig met het kwadraat van het contarie getal, wat het eenvoudig maakt om te samplen uit de distributie van de resultaten. In hun magnetische model is de relatie iets complexer, waarbij een afweging bestaat tussen de tijd die het systeem evolueert en de waarschijnlijkheid van het observeren van het resultaat. Hoewel dit de directe toepassing van optische netwerktechnieken bemoeilijkt, blijft de onderliggende moeilijkheid van het probleem bestaan. De onderzoekers voerden aan dat de moeilijkheid van het simuleren van deze magnetische systemen waarschijnlijk net zo groot is als die van de optische systemen, wat suggereert dat zij als een nieuw platform kunnen dienen voor het demonstreren van kwantumvoordeel.

Door de kloof tussen verschillende soorten telproblemen te overbruggen en aan te tonen dat ze allemaal gerepresenteerd kunnen worden binnen één enkel, flexibel magnetisch model, opent dit werk nieuwe wegen voor het verkennen van de grenzen van computation. Het vermogen om deze systemen met een beheersbaar aantal operaties op een kwantumcomputer te simuleren, suggereert dat we dichter bij het oplossen van problemen komen die voorheen als onbereikbaar werden beschouwd. De onderzoekers hebben een duidelijk blauwdruk geleverd voor hoe complexe netwerkstructuren in kwantumhardware gecodeerd kunnen worden, wat een krachtig nieuw instrument biedt voor het begrijpen van het ingewikkelde web van verbindingen dat zowel de fysieke wereld als de abstracte wereld van de wiskunde definieert.