Efficient Preparation of Quantum States via Randomized Truncation

Technische Samenvatting: Efficiënte Voorbereiding van Kwantumtoestanden via Gerandomiseerde Truncatie

Probleemstelling
De voorbereiding van algemene kwantumtoestanden is een fundamentele flessenhals in kwantumalgoritmen, met name voor toepassingen in kwantumchemie, differentiaalvergelijkingen en machine learning. Realistische doeltoestanden vertonen vaak een hiërarchische amplitude-structuur: een kleine kern van dominante configuraties vergezeld door een "zware staart" van vele kleine maar niet verwaarloosbare componenten. Standaard deterministische truncatiemethoden verwijderen deze kleine amplitudes om de circuitcomplexiteit te verminderen. Deze aanpak brengt echter een ernstige lineaire afruil met zich mee tussen precisie en de kosten van middelen: om een trace-afstand fout $\epsilon$ te bereiken, moet men genoeg amplitudes behouden zodat het weggegooide $\ell_2$-gewicht $O(\epsilon)$ is. Deze vereiste dwingt tot het coderen van een groot aantal kleine-amplitude componenten, wat leidt tot een exponentiële groei in de diepte van circuits en gate-aantallen. Bovendien vereisen deze kleine componenten vaak hoog-precieze gate-synthese (wat uitgebreide T-gate overhead vereist) en hoog-gecontroleerde rotaties (wat het aantal CNOT-gates verhoogt), waardoor de voorbereiding van hoge-fidelity toestanden ontoelaagbaar wordt voor zowel nabije als fouttolerante hardware.

Methodologie
De auteurs stellen een gerandomiseerd toestands-voorbereidingsprotocol voor dat de rigide limieten van deterministische truncatie omzeilt door gebruik te maken van probabilistische amplificatie. In plaats van coherent de gehele zware staart in een enkel diep circuit te coderen, construeert de methode een gerandomiseerd ensemble van circuits met lage complexiteit.

Het protocol werkt als volgt:

1. Partitionering: De amplitude van de toestanden wordt gepartitioneerd in een significante verzameling $A$ (amplitudes $|\alpha_i| \geq t$) en een verwaarloosbare staartverzameling $B$ ($|\alpha_i| < t$).
2. Ensemble Constructie: Voor elke index $m$ in de staartverzameling $B$ wordt een specifieke kwantumtoestand $|\tilde{\psi}_m\rangle$ gedefinieerd. Deze toestand behoudt alle amplitudes in $A$ en bevat één enkel element uit $B$ (index $m$) met een geamplificeerd coëfficiënt.
3. Sampling: Het protocol bemonster een index $m$ uit $B$ met een waarschijnlijkheid $p_m = |\alpha_m| / \sum_{j \in B} |\alpha_j|$. De bijbehorende toestand $|\tilde{\psi}_m\rangle$ wordt voorbereid.
4. Resulterende Toestand: De uiteindelijke output is een gemengde toestand $\rho_{\text{approx}} = \sum_m p_m |\tilde{\psi}_m\rangle\langle\tilde{\psi}_m|$.

Cruciaal is dat de amplificatie van de kleine coëfficiënt $\alpha_m$ door een factor $1/p_m$ ervoor zorgt dat de verwachte waarde van het ensemble de oorspronkelijke doeltoestand $|\psi\rangle$ herstelt. De auteurs bewijzen dat hoewel individuele circuits in het ensemble eenvoudig zijn (ze behouden slechts één staartcomponent), de resulterende gemengde toestand de doeltoestand herstelt met een aanzienlijk lagere fout dan deterministische truncatie.

Belangrijkste Bijdragen en Theoretische Resultaten
De primaire theoretische bijdrage is de demonstratie dat deze gerandomiseerde aanpak de foutschaling verbetert van lineair naar kwadratisch ten opzichte van het weggegooide amplitude-gewicht.

• Kwadratische Foutschaling: De auteurs bewijzen (Theorem 1) dat als het weggegooide $\ell_2$-gewicht $\epsilon^2$ is, de trace-afstand fout van het gerandomiseerde ensemble schaalt als $O(\epsilon^2)$, terwijl deterministische truncatie schaalt als $O(\epsilon)$.
• Reductie van Middelen: Deze kwadratische verbetering vertaalt zich in een reductie van het aantal gecodeerde amplitudes dat nodig is om een vaste doel-fidelity te bereiken.
  • Voor exponentieel vervallende toestanden (veelvoorkomend in kwantumchemie en gapped Hamiltoniaanse systemen), vereist het gerandomiseerde protocol ongeveer de helft van het aantal amplitudes vergeleken met de deterministische aanpak ($K_{\text{det}} \approx 2K_{\text{rand}}$).
  • Voor power-law vervallende toestanden (veelvoorkomend in many-body fysica en data loading), schalen de besparingen in middelen asymptotisch als $O(\hat{\epsilon}^{-1/(2r_{\text{pow}}-1)})$, wat nog grotere winsten oplevert naarmate de gewenste precisie toeneemt.
• Gate-niveau Besparingen: Door kleine coëfficiënten te amplificeren, tilt het protocol deze bijdragen uit het regime van de hoogste precisie. Dit vermindert de noodzaak voor extreem hoog-precieze multi-controlled rotaties, waardoor de T-gate count en de CNOT-overhead die geassocieerd worden met het oplossen van kleine hoeken aanzienlijk worden verlaagd.

Numerieke Resultaten
De auteurs hebben het protocol gevalideerd op verschillende realistische en synthetische instanties:

• LiH Molecuul: Gebruikmakend van de grondtoestand van het Lithium Hydride molecuul (gemapt naar 12 qubits), bereikte het gerandomiseerde protocol een reductie van 82,2% in CNOT-counts en een reductie van 81,2% in T-gate counts vergeleken met deterministische truncatie bij een trace-norm fout van $5,86 \times 10^{-4}$.
• Synthetische Power-Law Toestand: Voor een 10-qubit toestand met amplitudes die vervallen als $j^{-5}$, demonstreerde de methode reducties van tot wel 98,9% in CNT-counts en 98,5% in T-gate counts bij een trace-norm fout van $1,04 \times 10^{-13}$.
• Machine Learning en Many-Body Fysica: Het protocol werd ook getest op toestanden afgeleid van een getrainde ResNet (10 qubits) en de grondtoestand van het Transverse-field Ising Model (11 qubits). In beide gevallen bereikte de gerandomiseerde methode consistent lagere trace-norm fouten bij vaste kosten vergeleken met deterministische truncatie, wat de toepasbaarheid buiten strikt power-law of exponentiële distributies bevestigt.

Betekenis en Claims
Het artikel beweert een middelen-efficiënt paradigma vast te stellen voor het initialiseren van complexe kwantumtoestanden. Door de eisen voor gate-synthese precisie te versoepelen en het aantal gecodeerde amplitudes te verminderen, adresseert de methode een kritieke bottleneck in end-to-end kwantumalgoritmen.

De auteurs benadrukken dat deze aanpak compatibel is met zowel near-term als fault-tolerant regimes:

• Voor near-term apparaten vervangt het een enkel diep, monolithisch circuit door sampling over eenvoudigere, minder diepe circuits, waardoor de voorbereiding van toestanden haalbaar wordt binnen de coherentielimieten.
• Voor fault-tolerant architecturen vermindert het aanzienlijk de T-gate overhead en CNOT-kosten die geassocieerd worden met hoog-precieze rotaties, waardoor de klasse van kwantumtoestanden die efficiënt voorbereid kunnen worden op hardware wordt uitgebreid.

Het werk concludeert dat deze gerandomiseerde truncatiestrategie een rigoureuze, controleerbare fout-bound biedt die proportioneel is aan het kwadraat van het weggegooide staart-gewicht, wat efficiëntere implementaties mogelijk maakt van algoritmen die vertrouwen op complexe toestandsvoorbereiding zonder aan nauwkeurigheid in te boeten.