Exploiting all ancilla outcomes in linear combinations of unitaries: low-rank recovery and quantum trapdoor functions

In de wereld van quantumcomputing werken wetenschappers met machines die informatie verwerken op manieren die fundamenteel verschillen van de laptops en telefoons die we dagelijks gebruiken. Deze quantumapparaten vertrouwen op delicate toestanden van materie die tegelijkertijd in meerdere mogelijkheden kunnen bestaan, een eigenschap die hen in staat stelt bepaalde problemen met ongelooflijke snelheid op te lossen. Echter, een grote hindernis bij het bouwen van bruikbare quantumcomputers is dat ze berucht fragiel zijn. Wanneer een quantumcomputer een berekening uitvoert, houdt dit vaak een proces in dat post-selectie wordt genoemd, waarbij de machine een complexe operatie uitvoert en vervolgens een specifiek resultaat controleert. Als het resultaat precies is wat gehoopt werd, wordt de berekening behouden; als het iets anders is, wordt de hele poging beschouwd als een mislukking en moet de machine opnieuw beginnen. Deze verspilling van inspanning is een aanzienlijke flessenhals, aangezien de weggegooide pogingen meestal zonder nadenken worden weggegooid, behandeld als louter ruis in het systeem.

Een onderzoeker genaamd Ammar Daskin van de Istanbul Medeniyet Universiteit heeft een nieuwe manier voorgesteld om naar deze weggegooide informatie te kijken. In een recente studie onderzocht hij wat er gebeurt als we stoppen met het weggooien van de "mislukte" uitkomsten van een specifiek type quantumberekening, bekend als een lineaire combinatie van unitairheden. In plaats van deze uitkomsten te zien als nutteloze fouten, toonde Daskin aan dat ze eigenlijk een verborgen, georganiseerde structuur bevatten. Door alle mogelijke resultaten van een enkele run van het circuit te verzamelen, inclusief de resultaten die normaal gesproken genegeerd worden, vormt de data een patroon dat wiskundig gereconstrueerd kan worden. Deze ontdekking suggereert dat wat ooit als afval werd beschouwd, kan worden omgezet in een waardevol middel, wat wetenschappers er potentieel toe in staat stelt om het volledige antwoord op een probleem te herstellen uit slechts een fractie van de data, of zelfs om nieuwe soorten veilige communicatiemethoden te creëren die rusten op de moeilijkheid van het decoderen van deze verborgen structuur.

De kern van Daskins werk betreft een standaard quantumtechniek die wordt gebruikt om verschillende operaties samen te voegen tot één enkele, complexere operatie. In een typische opstelling gebruikt een quantumcomputer een set extra hulpbits, ancilla-qubits genoemd, om de coëfficiënten van de berekening te beheren. De machine bereidt deze hulpbits voor in een specifieke toestand, voert de berekening uit en controleert vervolgens de hulpbits. Als de hulpbits terugkeren naar hun beginpositie, wordt de hoofdcalculatie als succesvol beschouwd. In de standaardmethode wordt elke andere positie waarin de hulpbits terechtkomen, behandeld als een fout, en wordt het bijbehorende resultaat weggegooid. Daskin besloot deze "fouten" te onderzoeken door het circuitontwerp te vereenvoudigen. Hij verving de complexe machinerie die normaal gesproken wordt gebruikt om de hulpbits voor te bereiden door een rechttoe-rechtaan arrangement van basis-quantumgates, specif으로 gebruikmakend van een set gates die een gelijke mix van mogelijkheden creëren en een enkele roterende gate om de gewichten van de berekening te controleren.

Wanneer dit vereenvoudigde circuit draait, produceert het een verscheidenheid aan uitkomsten op basis van hoe de hulpbits worden gemeten. Daskin ontdekte dat als je de resultaten van elke mogelijke meetuitkomst bij elkaar neemt en stapelt, ze een groot raster van data vormen. Dit raster heeft een opmerkelijke eigenschap: het kan worden afgebroken in twee kleinere stukken die met elkaar vermenigvuldigd het geheel kunnen recreëren. Eén deel is een bekend patroon dat door het ontwerp van het circuit wordt bepaald, en het andere deel bevat de werkelijke resultaten van de individuele operaties die de computer probeerde uit te voeren. Omdat het circuit slechts een beperkt aantal onafhankelijke combinaties genereert, is het gehele grote raster wiskundig "low-rank", wat betekent dat het veel eenvoudiger is dan het aan de oppervlakte lijkt. Deze structuur impliceert dat het volledige antwoord op de berekening verborgen ligt in de data, zelfs als je slechts toegang hebt tot een klein deel ervan.

Om dit idee te testen, simuleerde de onderzoeker het circuit op een computer om te zien of de volledige output kon worden hersteld uit gedeeltelijke informatie. De simulaties toonden aan dat als je het ontwerp van het circuit kent, je klassieke wiskundige technieken kunt gebruiken om de ontbrekende delen van de datagrid in te vullen. Door slechts een deelverzameling van de resultaten te observeren, kon het algoritme de volledige matrix van uitkomsten reconstrueren, inclusief het specifieke resultaat dat de standaardmethode zou hebben behouden. Dit herstel werkt het best wanneer de data schoon is, maar de studie onderzocht ook hoe de methode standhoudt wanneer de data ruis bevat, wat de fouten nabootst die optreden in echte quantumhardware. De resultaten gaven aan dat hoewel de methcht robuust is, het een aanzienlijke hoeveelheid data vereist om betrouwbaar te werken wanneer de metingen imperfect zijn. De studie suggere wordt gesuggereerd dat in een real-world scenario waar alleen de intensiteit van de signalen wordt gemeten, in plaats van de volledige complexe waarden, aanvullende stappen nodig zouden zijn om de volledige informatie te herstellen, maar de onderliggende structuur blijft een krachtig hulpmiddel voor reconstructie.

Buiten de praktische toepassing van het herstellen van data, opent deze bevinding de deur naar een nieuw soort cryptografisch idee. De onderzoeker stelde voor dat het specifieke patroon dat wordt gebruikt om de resultaten in het circuit te mengen, geheim kan worden gehouden, als een soort privé-sleutel. Als een waarnemer het uiteindelijke datagrid ziet maar het geheime mengpatroon niet kent, staat deze voor een moeilijke wiskundige puzzel om de oorspronkelijke input te achterhalen. Dit is vergelijkbaar met een slot waarbij de sleutel in het mechanisme zelf verborgen zit. De studie merkt echter voorzichtig op dat dit slechts een kandidaat is voor een veilig systeem. De beveiliging rust op de moeilijkheid van het oplossen van een specifiek type probleem dat bekend staat als fase-retrieval (phase retrieval), wat het ontdekken van de verborgen details van een golf uit de intensiteit ervan inhoudt. Hoewel dit probleem bekend staat als moeilijk, heeft de onderzoeker niet bewezen dat het onmogelijk is om te kraken, en de veiligheid van het systeem hangt af van de aanname dat niemand een kortere weg kan vinden om het op te lossen.

Het artikel onderzoekt ook hoe deze structuur op andere manieren gebruikt kan worden, zoals in aanbevelingssystemen of ranking-algoritmen, waar grote hoeveelheden data worden afgebroken in eenvoudigere componenten. De wiskundige relatie die gevonden is in het quantumcircuit spiegelt technieken die in de klassieke computing worden gebruikt om gebruikersvoorkeuren te voorspellen of links tussen webpagina's te analyseren. Door de quantumcircuit te behandelen als een manier om deze patronen te genereren, suggereert de onderzoeker dat quantumcomputers een nieuwe manier kunnen bieden om deze taken uit te voeren. De studie concludeert dat door de manier waarop we de output van quantumcircuits bekijken te veranderen, we wat ooit als afval werd beschouwd, kunnen omzetten in een gestructureerde bron. Deze aanpak verbetert niet alleen de efficiëntie van huidige berekeningen, maar suggereert ook nieuwe mogelijkheden voor hoe quantuminformatie kan worden opgeslagen, hersteld en beschermd. Het werk blijft een theoretisch voorstel ondersteund door simulaties, maar het biedt een duidelijk pad voor toekomstige experimenten om te zien of deze "junk" uitkomsten inderdaad kunnen worden ingezet om krachtigere en veiligere quantumtechnologieën te bouwen.