Heisenberg-limited Bayesian phase estimation with low-depth digital quantum circuits

Probleemstelling

Kwantummetrologie streeft naar het bereiken van de fundamentele precisielimieten bij fysische metingen, vaak gedefinieerd door de Heisenberg-grens (HL), waarbij de onzekerheid schaalt als $1/N$ (met $N$ het aantal qubits), in plaats van de standaard kwantumlimiet (SQL) van $1/\sqrt{N}$.

De uitdagingen die in dit artikel worden aangepakt zijn:

1. Complexiteit van Optimale Protocollen: Optimale protocollen voor Bayesiaanse fase-schatting vereisen doorgaans complexe toestandvoorbereiding (zoals "sine states") en ingewikkelde metingen (zoals de Quantum Fourier Transform, QFT). Deze zijn vaak niet realiseerbaar of niet schaalbaar op huidige digitale kwantumplatforms (zoals atomen in optische valstroken of supergeleidende qubits) die beperkt zijn tot lage diepte circuits.
2. A-priori Onzekerheid: In veel praktische toepassingen, zoals atoomklokken, is de fase $\phi$ een stochastische variabele met een brede a-priori verdeling (bijvoorbeeld een Gaussische verdeling met breedte $\delta\phi$). Voor brede verdelingen ($\delta\phi > 1/N$) zijn de gebruikelijke GHZ-toestellen (Greenberger-Horne-Zeilinger) suboptimaal omdat ze een beperkt dynamisch bereik hebben, wat leidt tot "phase slip"-fouten.
3. Beperking van Bestaande Schemata: Bestaande protocollen die gebruikmaken van blokken van GHZ-toestanden zijn vaak alleen geoptimaliseerd voor specifieke aantallen qubits of uniforme a-priori verdelingen, wat ze onpraktisch maakt voor realistische scenario's met willekeurige qubit-aantallen en Gaussische ruis.

Methodologie

De auteurs ontwikkelen een nieuw schema dat de optimale precisie benadert met behulp van eenvoudige digitale kwantumcircuits met een diepte die logaritmisch schaalt met het aantal qubits. De aanpak bestaat uit drie hoofdblokken:

1. Benadering van Optimale Toestanden:
   In plaats van complexe "sine states" te genereren, benaderen ze de optimale initiële toestand door deze te decomponeren in een ensemble van blokken van GHZ-toestanden met variërende aantallen qubits. Voor een gegeven totaal aantal qubits $N$ en een a-priori breedte $\delta\phi$, optimaliseren ze numeriek de verdeling (partitionering) van $N$ in blokken van $2^k$-qubit GHZ-toestanden.

2. Adaptieve Metingen:
   Ze gebruiken lokale, adaptieve metingen in plaats van niet-adaptieve metingen. Het protocol werkt als volgt:

   • Metingen worden sequentieel uitgevoerd, beginnend bij de grootste GHZ-blokken.
   • Op basis van het resultaat van een meting wordt een enkel-qubit rotatie ($\Phi_i$) toegepast op de volgende blokken voordat deze worden gemeten.
   • Deze rotaties worden geoptimaliseerd via gradiëntafdalingsmethoden om de Bayesiaanse gemiddelde kwadratische fout (BMSE) te minimaliseren, gegeven de specifieke a-priori verdeling.

3. Uitbreiding van het Dynamisch Bereik (Phase Unwinding):
   Om het probleem van fase-slipfouten bij zeer brede a-priori verdelingen (bijv. bij atoomklokken met lange meettijden) op te lossen, introduceren ze "slow atoms" (atomen die een fractie van de fase $\phi/2^l$ accumuleren).

   • Ze ontwikkelen een efficiënte "rescaling"-transformatie. Hierdoor kan het optimalisatieprobleem voor een mix van "slow atoms" en GHZ-blokken worden teruggebracht tot het optimaliseren van alleen GHZ-blokken voor een verkleinde a-priori breedte ($\delta\phi' = \delta\phi / 2^{l_{max}}$).
   • Dit stelt hen in staat om het dynamisch bereik uit te breiden met een verwaarloosbaar aantal extra atomen.

Belangrijkste Bijdragen

• Nieuw Adaptief Schema: Een protocol dat voor elk willekeurig aantal qubits $N$ en elke Gaussische a-priori breedte $\delta\phi$ een optimale verdeling van GHZ-blokken berekent. Dit lost het probleem op van bestaande methoden die alleen werken voor specifieke $N$-waarden.
• Heisenberg-schaal met Constante Overhead: Het bewijs dat dit schema de Heisenberg-grens bereikt met een constante overhead (ongeveer 1.56 voor $\delta\phi = 0.7$ rad), zelfs met lage diepte circuits.
• Efficiënte Phase Unwinding: Een methode om fase-slipfouten te onderdrukken door "slow atoms" te integreren, waarbij het aantal benodigde extra atomen aanzienlijk lager is dan bij bestaande methoden.
• Experimentele Haalbaarheid: Het schema is ontworpen voor huidige kwantumprocessors (zoals neutral-atoom arrays) die sequentiële metingen en feed-forward controle toelaten.

Resultaten

• Prestatie Vergelijking: Numerieke simulaties tonen aan dat het voorgestelde schema de prestaties van coherent spin-toestanden (CSS, SQL) en eerdere GHZ-blok protocollen (zoals die met vaste of variërende blokgroottes) overtreft.
  • Voor $N=21$ qubits en $\delta\phi = 0.7$ rad wordt een metrologische winst van $g = 2.29$ (3.59 dB) behaald ten opzichte van CSS.
  • Het schema bereikt de Heisenberg-schaal ($1/N$) voor een breed scala aan qubit-aantallen, terwijl de overhead slechts 1.56 bedraagt (vergeleken met 1.66 voor het beste bestaande alternatief).
• Robuustheid: Het schema presteert goed voor verschillende a-priori breedtes. Voor zeer brede verdelingen (waar fase-slipfouten dominant zijn) zorgt de geïntegreerde phase unwinding ervoor dat de precisie niet degradeert en het dynamisch bereik wordt uitgebreid tot $\delta\phi \gg \pi$.
• Vergelijking met OQI: De prestaties van het voorgestelde schema met lokale adaptieve metingen komen zeer dicht in de buurt van de "Optimal Quantum Interferometer" (OQI), die de theoretische ondergrens voor Bayesiaanse schatting vertegenwoordigt, vooral als optimale metingen beschikbaar zouden zijn.

Significantie

Dit werk is van groot belang voor de ontwikkeling van kwantumverbeterde atoomklokken en andere kwantumsensoren.

1. Praktische Implementatie: Het biedt een blauwdruk voor het bereiken van Heisenberg-grens precisie op huidige en nabije-toekomstige kwantumhardware, zonder de noodzaak van onhaalbare, hoge diepte circuits of complexe globale operaties.
2. Overcoming Noise: Door effectief om te gaan met fase-slipfouten en laser-ruis, maakt het protocol langere meettijden mogelijk, wat essentieel is voor de stabiliteit van atoomklokken.
3. Schaalbaarheid: Het vermogen om het protocol te optimaliseren voor elk aantal qubits maakt het direct toepasbaar voor experimenten met kleine tot middelgrote qubit-aantallen, wat vaak het geval is in de huidige experimentele fase.

Kortom, het artikel presenteert een brug tussen theoretische optimaliteit en praktische uitvoerbaarheid, waardoor het mogelijk wordt om de fundamentele limieten van kwantumsensitiviteit te benaderen met realistische digitale circuits.