Arbitrary state creation via controlled measurement

Technische Samenvatting: Willekeurige Toestandscreatie via Gecontroleerde Meting

Probleemstelling
De voorbereiding van kwantumtoestanden is een fundamentele vereiste voor veel kwantumalgoritmen, waaronder HHL-algoritmen voor lineaire systemen, matrixmanipulatie-routines en kwantummachine learning-protocollen. Bestaande methoden voor de voorbereiding van toestanden kampen echter vaak met aanzienlijke beperkingen:

• Beperkte Toestandsfamilies: Veel algoritmen zijn ontworpen voor slechts specifieke klassen van toestanden (bijv. uniforme superposities, Dicke-toestanden of toestanden afgeleid van specifieke analytische functies).
• Klassieke Overhead: Universele algoritmen voor willekeurige toestanden vereisen vaak uitgebreide klassieke berekeningen om rotatiehoeken vóór de uitvoering te bepalen, wat de naadloze integratie van de subroutine in het kwantumalgoritme doorbreekt.
• Succeskans: Standaard meting-gebaseerde benaderingen om "garbage"-toestanden (ancilla-qubits die niet in de gewenste configuratie zijn) te verwijderen, resulteren vaak in een lage succeswaarschijnlijkheid, wat herhaalde runs noodzakelijk maakt.
• Resource-schaling: Sommige high-fidelity methoden vereisen exponentiële hoeveelheden ancilla-qubits, wat ze onpraktisch maakt voor grootschalige systemen.

Methodologie
De auteurs stellen een kwantumalgoritme voor om een willekeurige $n$-qubit zuivere kwantumsuperpositietoestand te creëren met een precisie van $m$-decimalen (in binaire representatie) voor elke waarschijnlijkheidsamplitude en fase. Het algoritme werkt zonder aanvullende klassieke berekeningen tijdens de kwantumuitvoering; rotatiehoeken worden uitsluitend bepaald door de binaire expansie van de parameters van de doeltoestand.

De kernmethodologie omvat drie subsystemen:

1. Systeem $S$: Een $n$-qubit register dat de doeltoestand opslaat.
2. Subsysteem $R$: Een $m$-qubit hulpregister voor amplitude-encodering.
3. Subsysteem $\phi$: Een $m$-qubit hulpregister voor fase-encodering.

Het algoritme verloopt via de volgende fasen:

1. Initialisatie: Het systeem begint in de grondtoestand $|0\rangle_S |0\rangle_R |0\rangle_\phi$. Hadamard-gates worden toegepast op alle qubits in $S$, $R$ en $\phi$. Daarnaast worden fase-gates $R_{\phi k}$ toegepast op het $\phi$-subsysteem om een specifieke superpositietoestand $|\Psi_\phi\rangle$ te creëren.
2. Amplitude-encodering: Het algoritme codeert de gehele amplitudes $a_j$ (afgeleid van de binaire expansie van de doelamplitudes) in de superpositie. Dit wordt bereikt met een reeks gecontroleerde operaties waarbij projectoren $P^{(k)}_S$ en ancilla-qubits $A_1$ en $A_2$ worden gebruikt. De operator $W^{(1)}_{SRA}$ correleert de basis-toestanden van $S$ met specifieke basis-toestanden van $R$ op basis van de binaire coëfficiënten $\alpha_{jk}$, wat effectief de amplitude-informatie naar het $R$-subsysteem mapt.
3. Fase-encodering: Een tweede subroutine codeert de fasen $\phi_j$ met behulp van projectoren $P^{(j)}_{S\phi}$ en gecontroleerde operaties op ancilla $A_1$. De operator $W^{(2)}_{S\phi A_1}$ past de noodzakelijke faseshifts toe op basis van de binaire coëfficiënten $\beta_{jk}$.
4. Interferentie en Selectie: Hadamard-gates worden opnieuw toegepast op $R$ en $\phi$. Het algoritme selecteert vervolgens de termen waar $R$ en $\phi$ terugkeren naar de $|0\rangle$-toestand, wat effectief de superpositie filtert. Termen die niet terugkeren naar $|0\rangle$ vormen "garbage" ($|g_4\rangle$).
5. Gecontroleerde Meting (Cruciale Stap): Om de garbage te verwijderen zonder te lijden onder een lage succeswaarschijnlijkheid, introduceren de auteurs een 2-qubit ancilla $B$. Een gecontroleerde operator $W^{(4)}_{R\phi AB}$ labelt de "nuttige" toestand (waar $R, \phi$ de $|0\rangle$-toestand hebben) met de toestand $|1\rangle_{B_1}|1\rangle_{B_2}$ en de garbage met $|0\rangle_{B_1}|0\rangle_{B_2}$. Ten slotte wordt een gecontroleerde meting $W^{(5)}_B$ uitgevoerd op de tweede qubit van $B$, geconditioneerd op de eerste qubit als $|1\rangle$. Deze stap verwijdert deterministisch het garbage-component en levert de genormaliseerde doeltoestand op.

Belangrijkste Bijdragen

• Universaliteit: Het algoritme kan een willekeurige $n$-qubit zuivere toestand genereren met specifieke amplitudes en fasen, beperkt door de gekozen precisie $m$.
• Nul Klassieke Overhead: In tegen tegenstelling tot eerdere universele methoden, vereist dit algoritme geen klassieke berekeningen om rotatiehoeken tijdens het kwantumproces te berekenen. De parameters zijn direct in de projectoren ingebed via binaire expansie.
• Gecontroleerde Meting: Het artikel introduceert een techniek voor gecontroleerde meting die het "garbage"-deel van de superpositie elimineert, terwijl het probleem van de lage succeswaarschijnlijkheid dat inherent is aan standaard projectieve metingen van ancilla-qubits wordt vermeden.
• Resource-efficiëntie: Het algoritme gebruikt $O(n)$ ruimte (specifiek $O(n+m)$ qubits), waardoor het de exponentiële ancilla-vereisten van andere high-fidelity methoden vermijdt.

Resultaten en Complexiteit

• Ruimtecomplexiteit: Het algoritme vereist $O(n + m)$ qubits. Voor $n \gg m$ schaalt dit als $O(n)$.
• Dieptecomplexiteit: De diepte van het circuit wordt gedomineerd door de amplitude- en fase-encoderingsoperaties. De diepte wordt geschat op $O(2^n n m + m^2)$, wat vereenvoudigt tot $O(2^n n)$ voor $n \gg m$.
• Precisie: De outputtoestand benadert de doeltoestand met een precisie die wordt bepaald door $m$ binaire decimalen voor zowel amplitudes als fasen. De normalisatiefactor $G$ wordt automatisch afgehandeld door de structuur van het algoritme.

Betekenis
De auteurs benadrukken dat hoewel de diepte van het algoritme groot is ($O(2^n n)$), het dient als een universele subroutine voor het genereren van vereiste inputtoestanden in diverse kwantumalgoritmen, met name die betrokken zijn bij matrixmanipulaties (optelling, vermenigvuldiging, inversie). De primaire betekenis ligt in het vermogen om willekeurige toestanden te creëren zonder aanvullende klassieke berekeningen en het gebruik van gecontroleerde meting om een hoge succeswaarschijnlijkheid bij het verwijderen van garbage te garanderen. Het artikel stelt dat deze aanpak effectief is voor langdurige berekeningscodes die bestaan uit sequenties van matrixoperaties, waarbij de initiële toestandspreparatie een kritische, maar vaak afzonderlijke component is.