Shallow quantum circuit for generating extremely low-entangled approximate state designs

Technische Samenvatting: Ondiepe Kwantumcircuit voor het Genereren van Extreem Laag-Verstrengelde Benaderende Toestandontwerpen

Probleemstelling
Willekeurige kwantumtoestanden zijn fundamentele instrumenten in de kwantuminformatiewetenschap, gebruikt voor het begrijpen van verstrengeling, thermalisatie en het simuleren van chaotische dynamica. Ze dienen ook cruciale rollen in cryptografie, device benchmarking en schaduwtomografie. Echter, het genereren van werkelijk Haar-willekeurige toestanden vereist kwantumcircuits met een diepte die exponentieel is in het aantal qubits ($n$), wat ze onhaalbaar maakt voor nabije hardware (near-term devices). Bijgevolg vertroukt het vakgebied op benaderingen, primair benaderende toestand $t$-ontwerpen (die de eerste $t$ momenten van de Haar-verdeling nabootsen) en pseudowillekeurige toestanden.

Een significante beperking van bestaande constructies voor benaderende toestand $t$-ontwerpen is hun hulpbronnenkosten (resource cost). De meeste bekende methoden, gebaseerd op gelaagde willekeurige circuits of chaotische dynamica, produceren toestanden met volume-wet verstrengeling (die lineair schaalt met $n$) en een hoge "magie" (niet-Cliffordheid) en coherentie. Hoewel recent werk over pseudowillekeurige toestanden aantoonde dat lage verstrengeling ($\omega(\log n)$) mogelijk is, bleven de verstrengelingseigenschappen van benaderende toestand $t$-ontwerpen onverkend. De centrale openstaande vraag die in dit werk wordt geadresseerd is, of benaderende toestand $t$-ontwerpen kunnen worden gegenereerd met extreem lage verstrengeling, magie en coherentie die niet schalen met de systeemgrootte, en of dit efficiënt geïmplementeerd kan worden via ondiepe kwantumcircuits zonder ancilla-qubits.

Methodologie
De auteurs stellen een nieuwe constructie voor op basis van de intuïtie dat een $k$-qubit toestandontwerp uitgebreid kan worden naar een $n$-qubit systeem terwijl de design-eigenschappen en verstrengelingsstructuur behouden blijven, mits een specifieke mapping wordt gebruikt.

1. Dimensie-expansie via Willekeurige Injectieve Maps:
   Het kerninzicht van de theoretische onderbouwing is Lemma 1, die vaststelt dat het toepassen van een willekeurige unitaire operator $U_p$ op een $k$-qubit $\epsilon$-benaderend toestand $t$-ontwerp (ingebed in een subruimte met $n-k$ nullen) een $n$-qubit $\epsilon'$-benaderend toestand $t$-ontwerp oplevert. De operator $U_p$ wordt gedefinieerd door een $t$-maal onafhankelijke willekeurige injectieve map $p$ van $[2^k]$ naar $[2^n]$. Cruciaal is dat omdat $U_p$ het aantal superposities in de computationele basis behoudt, de verstrengeling, magie en coherentie van de resulterende $n$-qubit toestanden bepaald blijven door de subsystemgrootte $k$, en niet door de totale grootte $n$.

2. Theoretische Ondergrenzen:
   De auteurs bewijzen Theorema 2, waarin wordt vastgesteld dat elk ensemble dat een $\epsilon$-benaderend toestand $t$-ontwerp vormt, een gemiddelde verstrengeling, magie en coherentie moet bezitten van ten minste $\Omega(\log(t/\epsilon))$. Dit bewijst dat de vereiste hulpbronnen fundamenteel begrensd zijn door de designparameters $t$ en $\epsilon$, en niet door de systeemgrootte $n$.

3. Implementatie via Ondiepe Circuits:
   Om deze constructie fysiek te realiseren, ontwikkelen de auteurs een expliciet algoritme (Algoritmen 1 en 2) om de willekeurige injectieve map $U_p$ te implementeren met behulp van een ondiep kwantumcircuit.

   • Mechanisme: Het circuit maakt gebruik van parallelle CNOT-gates om het $k$-qubit subsysteem te kopiëren naar de rest van het systeem, gevolgd door willekeurige Multi-Controlled X (MCX) gates om de bits te randomiseren.
   • Diepte: De circuitdiepte is $O(t[\log t]^3 \log n \log(1/\epsilon))$ zonder ancilla-qubits. Met ancilla-qubits verbetert de diepte naar $\tilde{O}(t[\log t]^2 \log n \log(1/\epsilon))$.
   • Efficiëntie: Deze diepte is aanzienlijk ondieper dan eerdere methoden voor het genereren van toestandontwerpen zonder ancilla's (bijv. lokale willekeurige circuits die een diepte van $O(n)$ vereisen).

4. Toepassing op Schaduwtomografie:
   De auteurs passen deze constructie toe op klassieke schaduwtomografie. Door een meetensemble te gebruiken waarbij de willekeurige unitaire $U$ bestaat uit een $k$-qubit unitaire 3-design en de ondiepe willekeurige injectieve map $U_p$, construeren zij een schaduw-estimator.

   • Kernkenmerk: De resulterende estimator bevat slechts superposities tussen twee computationele basisstaten (voor $k=1$).
   • Voordeel: Dit vermindert de kosten van de klassieke post-processing drastisch. In tegen tegenstelling tot estimators gebaseerd op willekeurige Clifford-circuits, die computationeel duur kunnen zijn om te evalueren voor hoog-stabilizer-rank observables, maakt deze methode een efficiënte evaluatie van observables mogelijk met constante of logaritmische sample-complexiteit, afhankelijk van de eigenschappen van de observable.

Belangrijkste Resultaten

• Hulpbron-verzadiging: Het geconstrueerde ensemble bereikt de theoretische ondergrens van $\Theta(\log(t/\epsilon))$ voor verstrengeling, magie en coherentie. Voor vaste $t$ en $\epsilon$ zijn deze hulpbronnen $O(1)$ met betrekking tot het totaal aantal qubits $n$.
• Circuit-efficiëntie: Het voorgestelde ondiepe circuit is de meest efficiënte bekende methode voor het genereren van benaderende toestand $t$-ontwerpen zonder ancilla-qubits, met een diepte die logaritmisch schaalt met $n$ in plaats van lineair of polynomiaal.
• Toestand-certificering: De auteurs demonstreren dat bijna alle $n$-qubit zuivere toestanden gecertificeerd kunnen worden (fidelity estimatie) met $O(1/\epsilon^2)$ metingen en $O(\log(n/\epsilon))$-diepte circuits, een significante verbetering ten opzichte van eerdere methoden die $O(n^2)$ metingen vereisten.
• Efficiëntie van Klassieke Schaduw: De nieuwe schaduw-estimator maakt de certificering van kwantumtoestanden mogelijk met verminderde klassieke overhead, met name voor laag-rank observables of die met anti-geconcentreerde eigenvectoren.

Betekenis en Claims
Het artikel beweert een nieuwe richting te openen in de efficiënte generatie van willekeurige kwantumtoestanden door de hulpbronnenkosten (verstrengeling, magie, coherentie) los te koppelen van de systeemgrootte. De auteurs stellen dat hun werk:

1. Een Openstaande Vraag Oplost: Het bewijst dat benaderende toestand $t$-ontwerpen kunnen bestaan met niet-extensieve hulpbronnen, wat de aanname uitdaagt dat hoge verstrengeling noodzakelijk is voor willekeurig gedrag in design-contexten.
2. Toepassingen voor Nabije Hardware Mogelijk Maakt: De ondiepe diepte en lage verstrengeling maken deze toestanden haalbaar voor implementatie op nabije kwantumhardware, specifiek voor systemen met all-to-all connectiviteit (bijv. neutrale-atoom kwantumcomputers).
3. Klassieke Simulatie Verbetert: Door de verstrengeling en de complexiteit van de schaduw-estimator te verminderen, biedt de methode een pad naar een efficiëntere klassieke simulatie en post-processing van kwantumexperimenten, wat taken zoals kwantumtoestand-certificering en benchmarking faciliteert met minder samples en lagere computationele kosten.

De auteurs benadrukken dat hoewel pseudowillekeurige toestanden met lage verstrengeling bestaan, zij niet garanderen dat de benadering van de gemiddelde fidelity voor alle systeemgroottes even nauwkeurig is als benaderende toestandontwerpen doen, wat de unieke bruikbaarheid van hun constructie voor specifieke kwantuminformatieverwerkingstaken onderstreept.