Heralded high-dimensional module-based quantum computation

Technische Samenvatting: Gemarkeerde Hoog-dimensionale Modulaire Kwantumcomputatie

Probleemstelling
Hoewel kwantumcomputatie voordelen biedt ten opzichte van klassieke tegenhangers, blijft het realiseren van universele kwantumpoorten, in het bijzonder de controlled-NOT (CNOT) poort, een aanzienlijke uitdaging. Bestaande architecturen voor hoog-dimensionale kwantumsystemen (qudits, waarbij $d > 2$) vertrouwen vaak op post-selectie, wat de efficiëntie beperkt, of vereisen complexe multi-qubit verstrengelde toestanden. Hoewel hoog-dimensionale systemen voordelen bieden zoals verhoogde kanaalcapaciteit en ruisresistentie, zijn theoretische en experimentele onderzoeken naar schaalbare, deterministische architecturen voor hoog-dimensionale universele poorten achtergebleven bij twee-dimensionale (qubit) systemen. Specifiek is er behoefte aan deterministische, gemarkeerde (heralded) schema's die geen computationele qudits consumeren en ongevoelig zijn voor de dimensionaliteit van de basis.

Methodologie
De auteurs stellen een schema voor om deterministische, hoog-dimensionale gegeneraliseerde CNOT-poorten te construeren met behulp van gegeneraliseerde pariteitsmodules als fundamentele bouwstenen. De methodologie verloopt in drie hoofdfasen:

1. Ontwikkeling van Gegeneraliseerde Pariteitsmodules: De auteurs definiëren een gegeneraliseerde pariteitsmodule die twee input qudits $|i\rangle$ en $|j\rangle$ en een ancilla $|0\rangle$ neemt, en de toestand $|ij\rangle|(j \ominus i) \mod d\rangle$ uitvoert. Zij identificeren dat van de $(d-1)!$ mogelijke gegeneraliseerde pariteits-"sorters" (permutaties van de tweede index), slechts twee specifieke vormen universeel zijn voor kwantumcomputing: de op aftrekking gebaseerde module $P = (j \ominus i) \mod d$ en de op optelling gebaseerde module $P = (j \oplus i) \mod d$.
2. Constructie van de Gegeneraliseerde CNOT-poort: Met behulp van deze pariteitsmodules ontwerpen de auteurs een circuit (geïllustreerd in Fig. 1) om een twee-qudit gegeneraliseerde CNOT-poort te implementeren. De procedure omvat:
   • Het injecteren van controle- en target qudits in een eerste pariteitsmodule ($P_1$) samen met een ancilla die is voorbereid in een gebalanceerde superpositietoestand.
   • Het toepassen van single-qudit Fourier-transformaties ($F_d$) en een tweede pariteitsmodule ($P_2$) op de ancilla en de target.
   • Het meten van de ancilla in de computationele basis.
   • Het uitvoeren van klassieke feed-forward operaties op de controle- en target qudits op basis van de meetresultaten van $P_1$, $P_2$ en de ancilla. Deze operaties corrigeren de fase- en permutatiefouten om de gewenste CNOT-output te verkrijgen: $|x\rangle_c |(x \oplus y) \mod d\rangle_t$.
3. Optische Implementatie: De auteurs stellen een specifieke optische architectuur voor om de gegeneraliseerde pariteitsmodule te implementeren met behulp van de impulsmoment (orbital angular momentum, OAM) vrijheidsgraden van enkelvoudige fotonen. Deze opstelling maakt gebruik van:
   • Een zes-foton ancilla-toestand voorbereid via "Entanglement by Path Identity".
   • Eerst-orde ($PS_1$) en tweede-orde ($PS_2$) pariteits-sorters gebaseerd op Mach-Zehnder interferometers met Dove-prisma's om fotonen te routeren op basis van OAM-pariteit.
   • Foton-aantal-resolverende detectoren en single-photon detectoren om het succes van de operatie te markeren (heralden).

Belangrijkste Resultaten

• Deterministische en Gemarkeerde Operatie: Het voorgestelde schema is in principe deterministisch (de computationele qudits worden niet geconsumeerd) en gemarkeerd (heralded). Succes wordt gesignaleerd door specifieke detector-clicks (afwezigheid van clicks in specifieke single-photon detectoren $D_1$ en $D_2$), waardoor post-selectie van de computationele toestand niet nodig is.
• Dimensionalonafhankelijkheid: Het protocol is ongevoelig voor de dimensionaliteit $d$ van de computationele basis. De auteurs demonstreren de constructie voor qutrits ($d=3$) en bieden de generalisatie voor willekeurige $d \geq 4$.
• Identificatie van Universele Sorters: Het artikel stelt vast dat van de $(d-1)!$ mogelijke pariteits-sorters, alleen $P = (j \ominus i) \mod d$ en $P = (j \oplus i) \mod d$ dienen als universele bouwstenen voor kwantumcomputing. Andere permutaties kunnen nuttig zijn voor specifieke taken zoals het genereren van verstrengelde toestanden, maar zijn niet voldoende voor universele computatie.
• Haalbaarheidsanalyse: De optische implementatie steunt op bestaande technologieën, waaronder programmeerbare lineaire optische platforms, Dove-prisma gebaseerde pariteits-sorters en hoog-getrouwe single-qudit poorten. De auteurs erkennen praktische beperkingen zoals ruimtelijke-temporele mismatch, technische imperfecties in de sorters en detector dark counts, maar houden vast aan de experimentele haalbaarheid van het protocol.

Betekenis en Claims
Het artikel claimt een veelzijdig kader te bieden voor hoog-dimensionale kwantumcomputing dat de schaalbaarheids- en efficiëntieproblemen van eerdere benaderingen aanpakt. Door gebruik te maken van gegeneraliseerde pariteitsmodules, bereikt het schema:

• Resource-efficiëntie: Het vereist slechts één extra ancilla qudit en vereist geen grootschalige verstrengelde toestanden.
• Niet-destructieve Meting: De pariteitsmodule wordt geïmplementeerd via kwantum-niet-demolition metingen, waardoor de input-toestanden behouden blijven voor verdere verwerking.
• Modulariteit: De pariteitsmodules kunnen dienen als bouwstenen niet alleen voor kwantumcomputatie, maar ook voor kwantumcommunicatietaken.

De auteurs positioneren hun werk als een stap naar schaalbare hoog-dimensionale kwantumarchitecturen, waarbij een deterministisch alternatief wordt geboden voor probabilistische, post-geselecteerde methoden. Zij benadrukken dat hoewel de optische implementatie gedetailleerd is voor met OAM gecodeerde fotonen, de onderliggende concepten generaliseerbaar zijn naar andere fysieke platformen.