When Equivalent Quantum Circuits Lose Synthesis Choices
Dit artikel toont aan dat het converteren van kwantumcircuits via tussenliggende formaten zoals OpenQASM vaak hoogwaardige structurele informatie vernietigt, waardoor compilers wordt verhinderd optimale synthesemethoden toe te passen, en stelt een "Verified" framework voor om deze operaties vast te leggen en te reconstrueren om synthesemogelijkheden te herstellen.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Quantumcomputers beloven problemen op te lossen die de machines van vandaag millennia zouden kosten om te kraken, maar ze zijn ongelooflijk fragiel. Om een programma uit te voeren, moeten wetenschappers hun complexe ideeën vertalen naar een reeks eenvoudige instructies die de hardware daadwerkelijk kan uitvoeren. Deze vertaling wordt gedaan door een compiler, een stuk software dat fungeert als een meesterarchitect. De compiler neemt hoogwaardige concepten — zoals een wiskundige transformatie die wordt gebruikt om patronen in gegevens te vinden — en beslist precies hoe deze gebouwd kunnen worden met de specifieke, beperkte middelen die beschikbaar zijn op de quantumchip. Cruciaal is dat er vaak meer dan één manier is om deze structuren te bouwen. Sommige ontwerpen gebruiken minder middelen en hebben minder kans om te falen, terwijl andere robuuster maar kostbaarder zijn. Het werk van de compiler is om het beste ontwerp te kiezen op basis van de specifieke omstandigheden van de machine waarmee hij werkt.
Er is echter een stil probleem ontdekt in de manier waarop deze programma's worden gedeeld en verplaatst tussen verschillende softwaretools. Wanneer een quantumprogramma als tekst wordt opgeslagen om door een ander systeem te worden gelezen, of wanneer het van het ene formaat naar het andere wordt geconverteerd, kunnen de gedetailleerde instructies over hoe een specifiek deel van het programma gebouwd moet worden, verdwijnen. Het programma werkt nog steeds correct in wiskundige zin, maar de ontvangende software verliest het vermogen om het meest efficiënte ontwerp te kiezen. De software wordt gedwongen een standaard, vaak minder efficiënte constructiemethode te gebruiken. Dit gebeurt zonder waarschuwingssignalen; de software rapporteert geen fouten en het eindresultaat ziet er hetzelfde uit, maar de onderliggende schakeling is aanzienlijk groter en gevoeliger voor fouten geworden.
Onderzoekers Boshuai Ye, Peng Liang en Arif Ali Khan zetten zich in om precies te meten hoe vaak dit gebeurt en wat de kosten zijn. Ze richtten zich op drie belangrijke softwareframeworks die vandaag de dag door wetenschappers worden gebruikt: Qiskit, TKET en Cirq. Ze testten wat er gebeurt wanneer een quantumcircuit door een "round trip" gaat, waarbij het als tekst wordt geëxporteerd en onmiddellijk weer wordt geïmporteerd, of wanneer het wordt doorgegeven tussen verschillende compilers. Hun experimenten toonden aan dat in veel veelvoorkomende scenario's de hoogwaardige instructies worden weggehaald. Bijvoorbeeld, wanneer een specifiek type gate via een directe tekstgebaseerde uitwisseling werd verzonden, kon de software die het ontving de gespecialiseerde, efficiënte bouwmethoden niet langer toepassen. Het programma draaide nog steeds, maar werd gedwongen een generieke, minder efficiënte constructie te gebruiken.
De gevolgen van dit verlies zijn niet alleen theoretisch; ze zijn meetbaar en significant. In één test met een circuit dat ontworpen is om items in een database te zoeken, zorgde het verlies van het vermogen om de beste constructie te kiezen ervoor dat het aantal twee-qubit gates met 37,2 procent toenam. In quantum computing zijn twee-qubit gates de meest foutgevoelige operaties, en het toevoegen van meer van deze gates vermindert drastisch de kans op een correct antwoord. In een andere reeks tests ontdekten de onderzoekers dat wanneer een programma via een tekstuitwisseling werd verzonden, het aantal van deze kritieke gates in sommige gevallen met wel 164 procent toenam. De onderzoekers merkten op dat dit verlies van efficiëntie geruisloosheid plaatsvindt. De software crasht niet, en standaardcontroles die de logica van het programma verifiëren slagen nog steeds, omdat het programma het juiste antwoord berekent, zij het op een veel duurdere manier.
Om dit op te lossen, ontwikkelde het team een tool genaamd Verified. In plaats van te vertrouwen op de ontvangende software om het oorspronkelijke ontwerp magisch te onthouden, houdt Verified een apart verslag bij van de hoogwaardige operatie voordat deze wordt verzonden. Wanneer het programma terugkeert, controleert deze tool of de ontvangen schakeling nog steeds overeenkomt met het oorspronkelijke verslag. Als de schakeling door andere processen is gewijzigd op een manier die het verslag verouderd maakt, weigert de tool de hoogwaardige operatie opnieuw op te bouwen, waardoor fouten worden voorkomen. Als het verslag nog steeds geldig is, reconstrueert het de hoogwaardige operatie, waardoor het vermogen wordt hersteld om het meest efficiënte ontwerp te kiezen. In hun tests slaagde deze methode erin om de gevraagde efficiënte ontwerpen in elk geval waar dat mogelijk was te herstellen, terwijl ze de verslagen die verouderd waren correct afwezen.
De studie concludeert dat het bewaren van de berekening niet genoeg is; de softwaretools die worden gebruikt om quantumprogramma's te delen en te compileren, moeten ook de keuzes bewaren die beschikbaar zijn voor de compiler. De onderzoekers ontdekten dat het simpelweg opslaan van een programma als tekst deze keuzes vaak vernietigt. Ze stellen voor dat toekomstige tools expliciet moeten rapporteren wanneer een verzoek om een specifend, efficiënt ontwerp wordt genegeerd, en dat ze elk verslag dat wordt gebruikt om hoogwaardige operaties te reconstrueren, moeten verifiëren voordat ze dat doen. Zonder deze waarborgen zou het potentieel van quantumcomputers om klassieke machines te overtreffen, ondermijnd kunnen worden door onnodige inefficiënties die worden geïntroduceerd tijdens het proces van het delen en compileren van hun programma's.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.