Bath dimension and initial entropy for closed repeated use of a quantum channel

In de wereld van de kwantuminformatie is een kanaal simpelweg een manier om een bericht van de ene plek naar de andere te sturen, zoals een draad die een signaal geleidt of een glasvezelkabel die licht draagt. Maar in tegenstelling tot een klassieke draad die herhaaldelijk gebruikt kan worden zonder te veranderen, is een kwantumkanaal fragiel. Wanneer je een kwantumbit, of qubit, doorheen stuurt, laat het proces onvermijdelijk een spoor achter. De omgeving die helpt het signaal te dragen, absorbeert een deel van de informatie en wordt daardoor licht aangetast. In een standaard, eenmalig experiment stellen wetenschappers zich vaak voor dat ze deze gebruikte omgeving simpelweg kunnen weggooien en weer opnieuw kunnen beginnen met een schone omgeving voor het volgende bericht. Dit werkt prima voor één enkele berekening, maar het faalt bij de test van een echte, gesloten machine. Een fysiek apparaat kan zijn eigen geschiedenis niet magisch weggooien of voor elke stap een gloednieuwe omgeving oproepen. Het moet het gewicht van zijn eerdere interacties met zich meedragen, waarbij het de residu van elk bericht dat het ooit heeft verzonden, binnen zijn eigen eindige structuur opslaat.

Dit creëert een moeilijk puzzelstuk voor ingenieurs en natuurkundigen: hoe bouw je een machine die een kwantumtaak herhaaldelijk kan uitvoeren gedurende een lange, maar eindige duur, zonder dat de ruimte opraakt of het te rommelig wordt? De machine heeft een vaste hoeveelheid interne opslag voor een specifieke tijdshorizon, en elke keer dat hij een bericht verwerkt, moet hij de output klaarzetten voor de gebruiker terwijl de rest van zijn interne staat intact blijft voor de volgende ronde. Hij kan zichzelf niet resetten, en hij kan geen verse onderdelen van buitenaf lenen. De vraag gaat niet alleen over hoeveel ruimte de machine nodig heeft, maar ook over de kwaliteit van de staat waarin hij begint. Moet hij beginnen in een perfect zuivere, geordende staat, of kan hij het tolereren om te beginnen met een staat die al enigszins gemengd en chaotisch is? De balans tussen de grootte van het geheugen van de machine en de initiële wanorde die hij mag hebben, is de sleutel tot het maken van een duurzaam kwantumapparaat.

Een onderzoeker heeft nu de exacte grenzen van deze balans in kaart gebracht. Hij bestudeerde een specifiek type kwantumapparaat dat een stroom inputs één voor één moet dienen, waarbij een output wordt geretourneerd voordat de volgende arriveert, zonder externe hulp. Hij ontdekte dat er twee hoofdkosten zijn aan het herhaaldelijk draaien van een dergelijke machine: de fysieke omvang van zijn geheugenbank en de hoeveelheid initiële wanorde, of entropie, die het mag bevatten. Deze twee kosten zijn niet onafhankelijk; ze zijn strikt aan elkaar gekoppeld in een afruil. De onderzoeker bewees dat er voor elk gegeven kwantumkanaal een specifieke minimale grootte is voor het geheugen van de machine, en dat deze grootte afhangt van hoeveel initiële wanorde de machine mag hebben bij de start. Als je de machine een perfect zuivere start geeft, heeft hij een bepaalde hoeveelheid ruimte nodig. Als je toestaat dat hij begint met een rommelige, gemengde staat, kan hij met minder ruimte toe, maar de totale "kost" van ruimte plus wanorde kan niet onder een specieke drempelwaarde dalen die door het kanaal zelf wordt bepaald.

De studie onthult dat het meest efficiënte ontwerp voor een dergelijke machine niet noodzakelijkerwijs een is die perfect schoon begint. In plaats daarvan begint de optimale machine vaak met een specifieke, berekende mate van vermenging. Deze initiële wanorder fungeert als een hulpbron die de machine kan uitgeven om fysieke ruimte te besparen. De onderzoeker vond een precieze wiskundige grens die alle mogbare combinaties van geheugengrootte en initiële wanorde definieert die werken. Als een ontwerper probeert een machine te bouwen die onder deze grens valt, zal deze onvermijdelijk niet in staat zijn om het juiste kwantumgedrag te reproduceren voor alle mogelijke gebruikers, vooral voor degenen die slim genoeg zijn om hun strategie aan te passen op basis van eerdere outputs. Het werk laat zien dat de minimale vereiste geheugengrootte exact het gemiddelde is van twee fundamentele eigenschappen van het kanaal: één die gerelateerd is aan hoeveel informatie verloren gaat aan de omgeving, en een andere die gerelateerd is aan hoeveel extra ruimte nodig is om de interne staat van de machine ervan te weerhouden geheimen over de input weg te lekken.

Cruciaal is dat het artikel het idee weerlegt dat een klein, vast geheugen een kwantumkanaal perfect kan herhalen als het kanaal geen eenvoudige, omkeerbare operatie is. Voor veel veelvoorkomende typen kwantumkanalen kan een machine met een vast, eindig geheugen een kwantumkanaal niet perfect imiteren als hij gedwongen wordt om in een perfect zuivere staat te beginnen. De onderzoeker heeft aangetoond dat voor bepaalde kanalen de enige manier om de machine te laten werken, is door toe te staan dat hij met een gemengde staat begint. Hij toonde ook aan dat een eenvoudige, gedeelde willekeurige bit, wat een goedkope manier zou lijken om een ruisend kanaal te simuleren, in werkelijkheid onvoldoende is voor een echt gesloten apparaat. Hoewel een dergelijke gedeelde bit er correct uit zou zien als men alleen de output van een enkele boodschap controleert, faalt het volledig wanneer een gebruiker de gehele geschiedenis van de berichten samen controleert. De machine moet een complexe, coherente interne staat behouden die correct evolueert in de loop van de tijd, en een eenvoudige gedeelde munt kan dat niet doen.

De onderzoeker heeft niet alleen de limieten gevonden; hij heeft ook laten zien hoe je een machine bouwt die deze bereikt. Hij construeerde een theoretisch apparaat dat gebruikmaakt van een techniek genaamd recycling, waarbij de machine zijn interne onderdelen zorgvuldig beheert, zodat de "afvalstof" van één stap de nuttige hulpbron wordt voor de volgende. Dit apparaat gebruikt een klok om de tijd bij te houden en een specifieke arrangement van qubits om de noodzakelijke informatie op te slaan. Het werkt door het rommelige residu dat door één bericht is achtergelaten te nemen en dit te gebruiken om het volgende proces te helpen, terwijl het de totale hoeveelheid informatie die in de machine is opgeslagen onder controle houdt. De constructie bewijst dat de theoretische limieten die hij vond niet slechts abstracte getallen zijn, maar daadwerkelijk haalbaar zijn. De machine die hij beschreef kan een onbepaald lange tijd draaien, waarbij elke opeenvolging van inputs die een gebruiker kan kiezen wordt afgehandeld, en zal de juiste outputs produceren met een fout die verwaarloosbaar klein wordt naarmate de machine iets groter wordt toegestaan.

Een van de meest opvallende bevindingen is dat voor sommige kanalen de meest efficiënte machine strikt gemengd is. Dit betekent dat de machine niet uitsluitend met zuivere, geordende staten gebouwd kan worden; hij moet beginnen met een staat die al deels willekeurig is. Dit daagt de intuïtie uit dat zuiverheid altijd het beste startpunt is. In deze gevallen is de initiële willekeur geen gebrek, maar een noodzakelijke brandstof. De onderzoeker identificeerde ook een specifiek type kanaal, bestaande uit een mix van demping en ruis, waarbij de optimale machine een niet-nul hoeveelheid initiële wanorde vereist en een geheugengrootte die strikt groter is dan wat nodig zou zijn als het kanaal perfect omkeerbaar zou zijn. Dit bevestigt dat de afruil tussen geheugengrootte en initiële wanorder een reële, fysieke beperking is die van kanaal tot kanaal varieert.

Het werk laat enkele vragen open, met name met betrekking tot hoe eenvoudig het is om de exacte getallen voor een gegeven kanaal te berekenen. De formules die de onderzoeker heeft afgeleid, bevatten complexe limieten en optimalisaties die wellicht moeilijk te berekenen zijn voor elk mogelijk scenario. Hij heeft ook geen blauwdruk geleverd voor het bouwen van een fysieke schakeling die efficiënt is in termen van snelheid of het aantal poorten dat vereist is; zijn focus lag op het bewijzen dat een dergelijke machine in principe mogelijk is. Hij heeft echter wel een concreet voorbeeld gegeven voor een eenvoudig type ruis genaamd dephasering, waarbij hij liet zien hoe een machine gebouwd kan worden die een geheugengrootte gebruikt die slechts met de vierkantswortel van het aantal berichten groeit, wat een significante besparing is vergeleken met meer rechtstreekse benaderingen. Dit suggereert dat hoewel het algemene probleem moeilijk is, er specifieke gevallen zijn waar zeer efficiënte, gesloten kwantumapparaten gerealiseerd kunnen worden.

Uiteindelijk verandert dit onderzoek de manier waarop we denken over de middelen die nodig zijn voor kwantumcomputing. Het verplaatst het gesprek van "hoeveel ruimte hebben we nodig voor één gebruik?" naar "hoe beheren we ruimte en wanorde gedurende een heel leven?". Het antwoord is dat een gesloten kwantumapparaat een zelfvoorzienend ecosysteem is. Het kan niet vertrouwen op de buitenwereld om de rommel op te ruimen of verse onderdelen te leveren. Het moet zijn eigen geschiedenis met zich meedragen, en de prijs daarvan is een precieze balans tussen de grootte van het geheugen en de initiële chaos die men bereid is te accepteren. De onderzoeker heeft de kaart van dit landschap getekend, waarbij hij precies heeft aangegeven waar de grenzen liggen en bewezen dat de meest efficiënte weg vaak inhoudt dat men een beetje wanorde omarmt om een grote hoeveelheid ruimte te besparen.