Snaarbreking: het moment waarop een onzichtbare band tussen deeltjes knapt
Stel je twee knikkers voor die verbonden zijn met een elastiek. Trek je ze langzaam uit elkaar, dan wordt het elastiek strakker en strakker. Bij een gewoon elastiek raakt het op een gegeven moment kapot en vliegen de knikkers los. In de wereld van elementaire deeltjes gebeurt iets vergelijkbaars, maar dan nog vreemder: als je aan het 'elastiek' tussen twee deeltjes trekt, breekt het niet zomaar — op het punt van breken ontstaan er twee nieuwe deeltjes, een aan elk gebroken uiteinde. Dat verschijnsel heet snaarbreking.
De 'snaar' in kwestie is geen echte draad, maar een wiskundige beschrijving van het krachtveld tussen quarks, de bouwstenen van protonen en neutronen. Natuurkundigen gebruiken dit beeld al decennia om te begrijpen waarom je nooit een los quark aantreft. Recent is er hernieuwde belangstelling, omdat onderzoekers snaarbreking gebruiken als testcase voor kwantumcomputers: apparaten die met kwantumbits (qubits) rekenen en die mogelijk natuurprocessen kunnen naspelen die gewone computers niet aankunnen.
Wat is het precies?
Quarks zijn de kleinste bouwstenen van protonen en neutronen. Een opmerkelijke eigenschap van quarks is dat ze nooit alleen voorkomen: ze zitten altijd gevangen in groepjes, vastgehouden door de zogeheten sterke kernkracht. Dit heet confinement (opsluiting).
Bij bekende krachten zoals elektromagnetisme wordt de kracht tussen twee deeltjes zwakker als je ze verder van elkaar haalt. Bij de sterke kernkracht gebeurt het omgekeerde: het krachtveld tussen twee quarks gedraagt zich als een dun, strak koord met een vrijwel constante spankracht, onafhankelijk van de afstand. Natuurkundigen noemen dit een flux-buis of, populair, een 'snaar'.
Trek je twee quarks steeds verder uit elkaar, dan stopt er steeds meer energie in die snaar — net als bij een steeds strakker elastiek. Op een gegeven afstand (ruwweg 1 tot 1,5 femtometer, een miljardste van een miljoenste millimeter) wordt het voor de natuur voordeliger om die opgeslagen energie te gebruiken voor iets anders: het creëren van een nieuw quark-antiquarkpaar, precies volgens Einsteins beroemde formule E=mc². De lange snaar knapt dan in twee stukken, en aan elk gebroken uiteinde ontstaat een nieuw quarkpaar. Het resultaat is niet één uitgerekt systeem, maar twee kortere, stabiele deeltjes (hadronen). Dit hele proces heet snaarbreking.
Om dit precies te berekenen, gebruiken natuurkundigen een rekenmethode die roosterveldentheorie (lattice QCD) heet: ruimte en tijd worden opgeknipt in een fijn rooster van punten, waarna een supercomputer met kansrekening (Monte Carlo-methoden) uitrekent hoe de velden zich gedragen. Dit werkt uitstekend voor statische situaties, zoals de uiteindelijke massa's van deeltjes. Maar wil je het proces van snaarbreking in real time zien gebeuren, stap voor stap in de tijd, dan loopt de klassieke rekenmethode vast in het zogeheten tekenprobleem: de kansen die de computer moet optellen wisselen dan voortdurend van plus naar min, waardoor het aantal benodigde rekenstappen exponentieel explodeert. Dit is de reden dat onderzoekers hun hoop hebben gevestigd op kwantumcomputers, die de natuur niet numeriek benaderen maar direct nabouwen met qubits die zelf kwantummechanisch gedrag vertonen.
Wat wil men ermee bereiken?
Confinement is een van de laatst overgebleven fundamentele raadsels van het Standaardmodel, de theorie die alle bekende deeltjes en krachten (behalve de zwaartekracht) beschrijft. Waarom quarks nooit los voorkomen, is wiskundig nog niet volledig bewezen; het is zelfs een van de zeven 'Millennium Prijs-problemen' van het Clay Mathematics Institute, met een beloning van een miljoen dollar voor een sluitend bewijs.
Praktischer gezegd willen onderzoekers met snaarbreking-simulaties beter begrijpen hoe protonen en neutronen precies zijn opgebouwd, en hoe materie zich gedraagt onder extreme omstandigheden, zoals in de eerste microseconden na de oerknal of tijdens botsingen van zware atoomkernen in deeltjesversnellers. Zulke dynamische processen, die in de tijd veranderen, zijn nu klassiek onhaalbaar door het tekenprobleem.
Er is ook een bredere motivatie: snaarbreking is een compact, goed gedefinieerd probleem waarmee onderzoekers kunnen testen of kwantumcomputers al daadwerkelijk nuttig natuurkundig werk kunnen verrichten, los van de vraag of ze algemene rekenproblemen sneller oplossen dan gewone computers. Het is, met andere woorden, een benchmark voor de belofte van kwantumsimulatie.
Voorbeelden uit de praktijk
Enkele concrete mijlpalen illustreren hoe dit onderzoeksveld zich heeft ontwikkeld:
- 2005 — Lattice QCD op de supercomputer. Een team rond Gunnar Bali rekende met klassieke supercomputers voor het eerst overtuigend uit hoe snaarbreking verloopt binnen de roosterveldentheorie, gepubliceerd in Physical Review D. Dit bevestigde het verschijnsel kwantitatief, zij het voor een statische (niet-tijdsafhankelijke) situatie.
- 2016 — Eerste kwantumsimulatie. Een groep aan de Universiteit Innsbruck, onder leiding van Rainer Blatt, bouwde met slechts een handvol qubits (opgeslagen in gevangen, met lasers gemanipuleerde ionen) een vereenvoudigd 1-dimensionaal model van de sterke kernkracht na, het zogeheten Schwinger-model. Voor het eerst zagen onderzoekers snaarbreking in real time ontvouwen op een kwantumapparaat, gepubliceerd in Nature. Dit wordt algemeen gezien als een doorbraakmoment voor kwantumsimulatie van veldentheorieën.
- Rond 2019 — Ultrakoude atomen. Onderzoeksgroepen die werken met wolken ultrakoude atomen, gevangen in roosters van laserlicht, bouwden vereenvoudigde versies van roosterveldentheorieën na. Dit soort platforms wordt gebruikt om, naast het Schwinger-model, ook grotere en complexere systemen te onderzoeken waarin snaarbreking-achtig gedrag optreedt.
- Vervolgexperimenten op chip-gebaseerde kwantumcomputers. Met de opkomst van supraleidende kwantumprocessoren, zoals die van IBM en Google, zijn vergelijkbare simulaties van het Schwinger-model met meer qubits herhaald en uitgebreid. Het precieze aantal qubits en de complexiteit nemen gestaag toe, al blijven dit voorlopig nog steeds vereenvoudigde, één-dimensionale versies van de werkelijke sterke kernkracht.
Let op: over de exacte details van de meest recente chip-experimenten (jaartallen, betrokken teams) bestaat in de vakliteratuur nog volop nieuwe publicatieactiviteit; lezers die de nieuwste stand willen volgen, doen er goed aan recente vakbladen te raadplegen.
Hoe ver is de techniek?
De huidige experimenten zijn nog verre van een volledige simulatie van de sterke kernkracht zoals die in de natuur voorkomt. Het Schwinger-model dat meestal wordt gebruikt, is een sterk vereenvoudigde, één-dimensionale versie van de werkelijke theorie (kwantumchromodynamica, QCD), die in drie ruimtelijke dimensies werkt en een veel ingewikkelder wiskundige structuur heeft (de zogeheten SU(3)-symmetrie, tegenover de veel eenvoudigere U(1)-symmetrie van het Schwinger-model).
Om echte QCD te simuleren zijn vermoedelijk duizenden tot miljoenen foutgecorrigeerde, hoogwaardige qubits nodig. De kwantumcomputers van dit moment worden vaak aangeduid als NISQ-machines (noisy intermediate-scale quantum): ze hebben te weinig qubits en te veel ruis (rekenfouten) om zulke grote berekeningen betrouwbaar uit te voeren. Foutcorrectie op de benodigde schaal is nog niet gerealiseerd.
Voor statische eigenschappen, zoals deeltjesmassa's, blijft klassieke roosterveldentheorie op gewone supercomputers de gouden standaard; die methode is decennialang gevalideerd en zal voorlopig niet worden ingehaald. Kwantumcomputers zijn vooral interessant voor de dynamische en hoge-dichtheid processen waar het tekenprobleem klassieke berekeningen onmogelijk maakt.
Het tempo van vooruitgang is gestaag maar bescheiden: elke paar jaar verschijnen experimenten met iets meer qubits, iets langere simulatietijden en iets realistischere modellen. Een simulatie van volledige, drie-dimensionale QCD met kwantumcomputers wordt door onderzoekers doorgaans op een termijn van vele jaren tot mogelijk enkele decennia geschat, afhankelijk van doorbraken in kwantumfoutcorrectie.
Wie werken eraan?
Dit onderzoeksveld ligt op het kruispunt van deeltjesfysica en kwantumtechnologie, met bijdragen van meerdere internationale groepen:
- De Universiteit Innsbruck (groep van Rainer Blatt) leverde met gevangen-ionen-kwantumcomputers de eerste experimentele simulatie van snaarbreking.
- Onderzoeksgroepen die werken met ultrakoude atomen, onder meer verbonden aan het Max Planck Institute of Quantum Optics in Duitsland, verkennen alternatieve platforms voor het naspelen van roosterveldentheorieën.
- Theoretische natuurkundigen bij CERN, DESY (Duitsland) en Forschungszentrum Jülich (Duitsland) werken aan de wiskundige vertaalslag tussen QCD en modellen die op qubits passen.
- IBM Quantum en Google Quantum AI stellen hun supraleidende kwantumprocessoren beschikbaar waarop academische teams simulaties van veldentheorieën uitvoeren.
- Diverse universiteiten in Noord-Amerika, waaronder groepen verbonden aan het Perimeter Institute en de University of Waterloo in Canada, dragen bij aan de theoretische onderbouwing van kwantumsimulatie van gauge-theorieën.
Specifiek Nederlandse instituten zoals QuTech in Delft en Nikhef zijn wel actief in bredere kwantumtechnologie en deeltjesfysica, maar een dominante Nederlandse rol specifiek in snaarbreking-onderzoek is op basis van de publiek beschikbare literatuur niet vast te stellen; het zwaartepunt van dit specifieke deelveld ligt vooralsnog in Oostenrijk, Duitsland en de Verenigde Staten.