Calculus of Robinet: completely positive reconstruction of time-averaged diffusive quantum trajectories

De wazige foto en de kwantumdetective

Stel je voor dat je een foto probeert te maken van een kolibrie in vlucht. Als je een camera gebruikt met een zeer snelle sluitertijd, krijg je een scherp, bevroren beeld van de vogel. Maar als je de sluiter een seconde open laat staan, vervaagt de vogel tot een streep van beweging. In de vreemde wereld van de kwantummechanica proberen wetenschappers iets soortgelijks te doen: ze willen de toestand van een minuscuul deeltje (zoals een atoom of een supergeleidend circuit) "fotograferen" terwijl het in real-time evolueert. Dit wordt een "kwantumtraject" genoemd.

Er is echter een addertje onder het gras. In de echte wereld zijn onze meetinstrumenten niet perfect. Ze kunnen geen oneindig snelle momentopname maken. In plaats daarvan maken ze een "lange belichting", waarbij ze het signaal middelen over een klein tijdsinterval (zoals een milliseconde) voordat ze het omzetten in een digitaal getal. Dit middelingsproces is als het kijken naar de kolibrie door een beslagen raam; je verliest wat van de fijne details, en het beeld dat je krijgt is een beetje wazig. Deze wazigheid creëert een probleem: als je probeert de exacte toestand van het deeltje te reconstrueren op basis van deze wazige, gemiddelde gegevens, kun je per ongeluk een "geesttoestand" creëren die de wetten van de fysica schendt (zoals het hebben van negatieve waarschijnlijkheden).

Dit is het puzzelstuk waar een nieuwe paper van natuurkundigen van de École Normale Supérieure en Mines Paris in Frankrijk zich mee bezighoudt. Ze werken aan een methode om deze kwantumtoestanden zo nauwkeurig mogelijk te reconstrueren, zelfs wanneer de gegevens gemiddeld zijn. Hun doel is om een wiskundige "lens" te bouwen die het wazige, tijdgemiddelde signaal kan verscherpen tot een fysiek geldige afbeelding, zonder de regels van het kwantumuniversum te breken.

De Robinet-toestand en de magie van de "nulmodus"

De paper richt zich op een specif kind van gereconstrueerde toestand genaamd de "Robinet-toestand". Beschouw dit als de best mogelijke gok van wat het kwantumsysteem doet, gegeven dat we alleen toegang hebben tot de tijdgemiddelde, wazige gegevens. Voorheen hadden wetenschappers een manier om deze toestand te berekenen, maar dat was alsof men een complexe puzzel probeerde op te lossen door te raden en te controleren; de methoden waren ofwel traag, vertrouwden op externe computerprogramma's, of produceerden soms resultaten die lichtelijk "onfysisch" (wiskundig onmogelijk) waren.

De auteurs van deze paper, Hector Hutin en Antoine Tilloy, hebben een nieuwe, zeer nauwkeurige manier uitgevonden om de Robinet-toestand te berekenen. Hun geheime wapen is een slimme wiskundige truc genaamd "dilatatie". Stel je voor dat het kwantumsysteem niet zomaar alleen in een doos zit. In plaats daarvan stellen de auteurs zich voor dat het verbonden is met een lange, onzichtbare "transmissielijn" (zoals een gitaarsnaar of een glasvezelkabel) die in de verte uitstrekt. Deze lijn bestaat uit een continue stroom van minuscule trillingen.

In deze nieuwe opstelling stellen de auteurs voor dat de "wazige" meting die we in het lab krijgen, eigenlijk een meting is van één specifts deel van deze lijn: de "nulmodus". Je kunt de nulmodus zien als het langzame, gestage gezoem van de hele lijn, terwijl de rest van de lijn in complexere, snellere patronen trilt. Door deze "nulmodus" wiskundig te isoleren en deze te meten, laten de auteurs zien dat je de Robinet-toestand perfect kunt reconstrueren.

De "volledig positieve" oplossing

Het meest opwindende deel van hun ontdekking is dat hun methode "volledig positief" is. In de taal van de kwantumfysica is dit een chique manier om te zeggen dat hun methode nooit de regels breekt. Hoe ze de cijfers ook verwerken, het resultaat is altijd een geldige kwantumtoestand. Ze bereikten dit door het probleem op te splitsen in een reeks stappen, zoals een recept, die je zo gedetailleerd kunt maken als je wilt.

Ze hebben hun methode getest op een zeer moeilijk voorbeeld: een kwantumsysteem met een willekeurige, chaotische Hamiltoniaan (de regelset voor hoe het systeem beweegt) en een willekeurige sprongoperator (de regelset voor hoe het systeem springt of verandert). Ze hebben hun wiskunde naar een ongelooflijk hoog niveau van detail gedreven en de nauwkeurigheid geverifieerd tot de 10e orde. Om dat in perspectief te plaatsen: de meeste standaardmethoden stoppen op een veel lager niveau. Ze ontdekten dat hun methode de "exacte" oplossing (die ze berekenden met een andere, zware simulatietechniek) bijna perfect benadert.

Wat ze hebben gevonden (en wat ze hebben uitgesloten)

De paper bevestigt dat je deze tijdgemiddelde kwantumtoestanden met willekeurige precisie kunt reconstrueren. De auteurs toonden aan dat door steeds meer termen aan hun wiskundige recept toe te voegen, de fout kleiner en kleiner wordt, om uiteindelijk verwaarloosbaar te worden. Ze hebben ook aangetoond dat hun methode kan worden gebruikt om deze trajecten te "samplen", wat betekent dat een computer realistische, maar kunstmatige kwantumexperimenten kan genereren die precies lijken op echte experimenten, wat een enorme hulp is bij het testen van nieuwe kwantumtechnologieën.

De paper trekt echter ook een harde grens met betrekking tot een specifiek idee voorgesteld door andere onderzoekers (Wonglakhon, Chantasri en Wiseman). Die onderzoekers hadden een manier gevonden om de kwantumtoestand "zuiver" te houden (perfect scherp, zonder wazigheid) door een tweede meting aan de gegevens toe te voegen. De auteurs van deze paper toonden aan dat deze truc werkt tot een bepaald punt (orde 3), maar tegen een muur aanloopt bij orde 4. Ze bewezen dat je de toestand niet perfect zuiver kunt houden als je over de tijd middelt, ongeacht hoeveel extra metingen je aan de gegevens toevoegt. De "wazigheid" is een onvermijdelijk gevolg van het middelingsproces zelf. In hun simulaties toonden ze aan dat het forceren van zuiverheid voorbij dit punt faalt, omdat de onderliggende wiskunde een oneindig aantal verborgen modi vereist om de toestand te beschrijven, wat onmogelijk te vangen is met een eindig aantal metingen.

Waarom dit ertoe doet

Dit werk is een belangrijke stap voorrang voor iedereen die probeert kwantumcomputers te bouwen of te besturen. In het lab worden kwantumsystemen constant gemeten, en die gegevens zijn altijd gemiddeld over kleine tijdstappen. Als je wilt weten wat het systeem daadwerkelijk doet om fouten te herstellen of het gedrag te controleren, heb je een reconstructiemethode nodig die zowel snel als wiskundig eerlijk is.

De methode van de auteurs biedt een "plug-and-play"-oplossing. In plaats van te vertrouwen op trage, externe computeroplossers, geeft hun aanpak een directe formule om de toestand te berekenen. Het is nauwkeurig, stabiel en gegarandeerd in strijd met de wetten van de fysica. Hoewel de wiskunde erachter gepaard gaat met zwaar rekenwerk met transmissielijnen en Fock-ruimtes (een manier om fotonen te tellen), is het resultaat een krachtig nieuw instrument waarmee wetenschappers de kwantumwereld helderder kunnen zien, zelfs wanneer hun camera's een beetje wazig zijn.