Exponentially cheaper coherent phase estimation via uncontrolled unitaries

Titel: Exponentieel goedkopere coherente fase-schatting via onbestuurde unitaire operatoren

1. Het Probleem

Fase-kickback is een fundamenteel mechanisme in quantumcomputing dat essentieel is voor algoritmen zoals Quantum Phase Estimation (QPE), Shor's factorisatie-algoritme en Grover's zoekalgoritme. In de standaardimplementatie wordt een gecontroleerde unitaire operatie ($C-U$) toegepast: als een ancilla-qubit in de toestand $|1\rangle$ is, wordt de unitaire operator $U$ toegepast op het systeem.

Het centrale probleem is dat het implementeren van een $C-U$-poort voor complexe unitaire operatoren $U$ extreem kostbaar is in termen van quantumcircuit-resources:

• Resource-overhead: Het converteren van een unitaire operator $U$ (bestaande uit $n_1$ single-qubit poorten en $n_2$ two-qubit poorten) naar een gecontroleerde versie vereist dat elke poort gecontroleerd wordt. Dit leidt tot een exponentiële toename in het aantal two-qubit poorten (zoals CNOTs) en de circuitdiepte.
• Foutgevoeligheid: Op niet-fouttolerante apparaten (NISQ-era) is circuitdiepte kritiek; decoherentie en ruis verminderen de fideliteit drastisch bij diepe circuits.
• Alternatieven: Bestaande methoden om dit te omzeilen (zoals statistische fase-schatting) offeren coherentie op en vereisen herhaalde metingen en klassieke post-processing, waardoor ze niet als subroutines in grotere quantumalgoritmen kunnen worden gebruikt.

2. Methodologie: Onbestuurde Fase-Kickback

De auteur introduceert een nieuwe primitieve, genaamd "uncontrolled phase kickback", die de kern van fase-kickback behoudt zonder gecontroleerde $U$-poorten te gebruiken. In plaats daarvan worden gecontroleerde toestandsvoorbereidingen gebruikt.

De Kernhypothesen:

1. We kennen een referentietoestand $|\phi\rangle$ die een eigenstate is van $U$ met een bekende eigenwaarde $e^{i2\pi\phi}$.
2. We willen de fase $\theta$ schatten van een andere eigenstate $|\psi\rangle$ (waarvoor $U|\psi\rangle = e^{i2\pi\theta}|\psi\rangle$).
3. Er bestaat een unitaire operator $W$ die de referentietoestand naar de doelttoestand mapt: $W|\phi\rangle = |\psi\rangle$. Cruciaal is dat we alleen de circuit $W$ nodig hebben, niet de expliciete beschrijving van $|\psi\rangle$.

Het Circuit (Single-Ancilla):
Het proces vervangt de standaard $C-U$ door een reeks operaties:

1. Voorbereiding: Het systeem start in $|\phi\rangle$ en de ancilla in $|+\rangle$.
2. Gecontroleerde $W$: Als de ancilla $|1\rangle$ is, wordt $W$ toegepast op het systeem ($|\phi\rangle \to |\psi\rangle$). Als de ancilla $|0\rangle$ is, gebeurt er niets.
3. Onbestuurde $U$: De operator $U$ wordt zonder controle op de ancilla toegepast op het systeem. Omdat $|\phi\rangle$ en $|\psi\rangle$ eigenstates zijn, verzamelt het systeem respectievelijk de fasen $e^{i2\pi\phi}$ en $e^{i2\pi\theta}$.
4. Gecontroleerde $W^\dagger$ (of "open-controlled" $W$):
   • Als de ancilla $|0\rangle$ is, wordt $W$ toegepast (of $W^\dagger$ afhankelijk van de configuratie) om de systemen weer naar dezelfde toestand te brengen.
   • Het doel is om beide takken van de superpositie (ancilla $|0\rangle$ en $|1\rangle$) terug te brengen naar dezelfde systeemtoestand (bijv. $|\psi\rangle$), zodat het systeem en de ancilla verstrengeld zijn.
5. Resultaat: De systeemtoestand wordt verdisanteld en blijft in een eigenstate, terwijl de relatieve fase $(\theta - \phi)$ op de ancilla is "teruggekaatst" (kickback).

Extensie naar $m$-bits:
Voor multi-bit schatting wordt dit patroon herhaald voor $m$ ancilla-qubits. Tussen de blokken wordt een 1-controlled $W^\dagger$ gebruikt om het systeem terug te resetten naar de referentietoestand $|\phi\rangle$, zodat het klaar is voor de volgende iteratie met een hogere macht van $U$ ($U^{2^k}$).

3. Belangrijkste Bijdragen en Resultaten

A. Exponentiële Reductie in Two-Qubit Poorten
De paper levert een kwantitatief bewijs dat deze methode leidt tot een exponentiële reductie in het aantal two-qubit poorten (CNOTs) voor $m$-bit fase-schatting.

• Standaard QPE: De kosten voor een gecontroleerde $U^{2^k}$ groeien exponentieel met $k$. De totale two-qubit kosten zijn evenredig met $(2^m - 1) \times \text{cost}(U)$.
• Onbestuurde QPE: De kosten voor de gecontroleerde $W$-poorten groeien lineair met $m$ ($2m$ gecontroleerde poorten). De dure operator $U$ wordt onbestuurd toegepast, waardoor de exponentiële factor alleen de "blote" kosten van $U$ (zonder controle-overhead) beïnvloedt.
• Ratio: In het geval waarin $U$ voornamelijk uit single-qubit poorten bestaat (zoals bij Trotterized Hamiltonians), is de verhouding in kosten ongeveer $2^m : m$, wat neerkomt op een exponentiële besparing.

B. Toepassingsvoorbeelden
De auteur demonstreert de methode in twee scenario's:

1. Grondtoestandsenergie van het Heisenberg-model:
   • Hier is $|\phi\rangle = |0\dots0\rangle$ een bekende eigenstate.
   • De operator $W$ is vaak simpel (bijv. een reeks Pauli-X poorten).
   • De besparing is aanzienlijk omdat de gecontroleerde tijdsevolutie ($C-U$) in dit model zeer diep is, terwijl de gecontroleerde voorbereiding ($C-W$) relatief goedkoop is.
2. Orde-bepaling in Shor's algoritme:
   • De paper analyseert de haalbaarheid voor Shor's algoritme. Hoewel het mogelijk is om de eerste bit te optimaliseren door $C-U$ te vervangen, is de volledige vervanging complexer omdat de invoer $|1\rangle$ geen eigenstate is van de modular exponentiation operator. Dit illustreert de beperkingen van de methode (zie hieronder).

C. Robuustheid
De methode behoudt de kwadratische snelheidswinst van coherente QPE ten opzichte van klassieke sampling ($O(1/\epsilon)$ vs $O(1/\epsilon^2)$). De foutenpropagatie bij imperfecte toestandsvoorbereiding is vergelijkbaar met die van standaard QPE.

4. Significatie en Toekomstperspectief

Significatie:

• Drop-in Vervanging: De techniek fungeert als een directe vervanging voor $C-U$ poorten in bestaande algoritmen, mits de voorwaarden (bekende referentiestoestand en $W$) zijn vervuld.
• NISQ-Vriendelijkheid: Door de circuitdiepte en het aantal two-qubit poorten drastisch te verlagen, maakt deze methode coherente fase-schatting haalbaarder voor huidige en nabije toekomstige quantumhardware.
• Fundamenteel Inzicht: Het onthult dat de "zware" controle over de unitaire evolutie niet strikt noodzakelijk is voor fase-kickback, zolang de relatieve fase tussen twee bekende eigenstates kan worden gecreëerd via gecontroleerde voorbereiding.

Beperkingen:

• De methode vereist een efficiënt circuit $W$ om een bekende referentiestoestand naar de doelttoestand te brengen.
• Als de invoer een lineaire combinatie van eigenstates is (en niet een enkele eigenstate), werkt de methode niet direct voor alle bits van de fase-register; alleen de eerste bit kan profiteren van de onbestuurde versie, terwijl de rest nog steeds $C-U$ vereist (zoals gezien in Shor's algoritme).
• In gedistribueerde quantumcomputing-scenario's waar toestanden als input worden gegeven zonder dat de ontvanger de voorbereidingscircuit $W$ kent, is de methode niet toepasbaar.

Conclusie:
Mirko Amico presenteert een krachtige optimalisatie voor quantumphase estimation. Door de controle te verschuiven van de complexe unitaire evolutie ($U$) naar de relatief eenvoudige toestandsvoorbereiding ($W$), wordt een exponentiële reductie in hardware-vereisten bereikt. Dit opent de deur voor het toepassen van hoog-precisie quantumalgoritmen op hardware met beperkte coherentie en diepte.