Discrete-time quantum walks in synthetic dimensions

Titel: Discrete-tijd kwantumwandelingen in synthetische dimensies

Auteurs: Piergiorgio Ferraro, Caio B. Naves, Jonas Larson
Affiliaties: Universiteit van Turijn (Italië) en Stockholm University (Zweden)

1. Probleemstelling en Motivatie

Kwantumwandelingen (Quantum Walks - QW) zijn een fundamenteel raamwerk voor het bestuderen van kwantumtransport en informatieverwerking. In tegenstelling tot klassieke willekeurige wandelingen die diffuus spreiden ($\sigma \sim \sqrt{m}$), vertonen kwantumwandelingen ballistische spreiding ($\sigma \sim m$), wat hen zeer efficiënt maakt voor zoekalgoritmen en kwantumsimulatie.

De meeste experimentele realisaties van discrete-tijd kwantumwandelingen (DTQW) vinden plaats in de ruimtelijke of fasesruimte. Een groot nadeel van deze benaderingen is dat de vereiste "voorwaartse verschuiving" (conditional shift) vaak complexe, niet-lokale interacties of nauwkeurig afgestemde langafstands-Hamiltonianen vereist, wat experimenteel zeer veeleisend is.

Het centrale probleem dat dit artikel aanpakt, is het ontwikkelen van een alternatief raamwerk waarbij de wandeling plaatsvindt in de toestandsruimte (Hilbert-ruimte) in plaats van in de fysieke ruimte. Specifiek richten de auteurs zich op Fock-toestand roosters (Fock-state lattices - FSL). Hoewel FSL's natuurlijk voorkomen in kwantumsystemen zoals val-gevangen ionen en circuit QED, ontbreekt er een systematische methode om DTQW's op deze roosters te construeren die experimenteel haalbaar is en gebruikmaakt van de algebraïsche structuur van het systeem.

2. Methodologie

De auteurs introduceren een algemeen formalisme gebaseerd op Lie-algebra's om DTQW's op Fock-toestand roosters te construeren. De kern van hun methode omvat de volgende stappen:

• Lie-Algebra Raamwerk: Voor elke Lie-algebra wordt een geassocieerde "Fock-toestand rooster" gedefinieerd. De sites van dit rooster corresponderen met de eigenwaarden van de Cartan-generatoren (diagonaal in de Fock-basis), terwijl de verbindingen tussen sites worden bepaald door de wortel-generatoren (root generators).
• Synthetische Dimensies: In plaats van de deeltjespositie in de fysieke ruimte te verschuiven, wordt de "wandelaar" verplaatst tussen verschillende Fock-toestanden (bijv. het aantal fotonen of het spin-niveau). Dit creëert een synthetische dimensie die niet beperkt is door de fysieke geometrie.
• Displacement Operators als Shift: In plaats van de gebruikelijke dichtstbijzijnde-buuren verschuivingen, gebruiken de auteurs verplaatingsoperatoren (displacement operators) $\hat{D}(\beta)$ die afgeleid zijn van de Lie-algebra. Deze operatoren genereren de stapbewegingen.
  • De operatoren worden voorwaardelijk toegepast op basis van een "munt" (coin) toestand (bijv. $|\uparrow\rangle$ of $|\downarrow\rangle$).
  • De totale evolutie per stap is $\hat{W} = \hat{U}_w(\beta) \hat{U}_c$, waarbij $\hat{U}_c$ de muntoperator is (bijv. Hadamard) en $\hat{U}_w$ de voorwaardelijke verplaatsing is.
• Projectie van Fasesruimte: De dynamica wordt eerst gedefinieerd op de bijbehorende Lie-algebra fasesruimte (via coherent toestanden, zoals Glauber- of spin-coherent toestanden) en vervolgens geprojecteerd op het discrete Fock-toestand rooster. Omdat coherent toestanden niet orthogonaal zijn, leidt dit tot toestand-afhankelijke tunneling en niet-translatie-invariante roosters.

3. Belangrijkste Bijdragen

1. Algebraïsche Constructie: De auteurs bieden een universele methode om DTQW's te definiëren voor elke Lie-algebra, waardoor zowel 1D als hogere-dimensionale wandelingen mogelijk zijn.
2. Vervanging van Shifts: Ze tonen aan dat verplaatsingsoperatoren een experimenteel haalbaar alternatief zijn voor de niet-lokale Hamiltonianen die nodig zijn voor standaard DTQW's.
3. Analyse van Dynamische Regimes: Het artikel onthult dat de algebraïsche structuur de dynamiek fundamenteel bepaalt, wat leidt tot verschillende gedragingen:
   • Normale ballistische spreiding.
   • Super-ballistische spreiding (exponentiële groei van de variantie).
   • Dynamische lokalisatie (vriezen van de wandelaar) in bepaalde multi-dimensionale gevallen.
4. Experimentele Haalbaarheid: Het artikel bespreekt concrete implementaties in kwantumsystemen zoals val-gevangen ionen en circuit QED, waarbij de benodigde interacties (zoals dispersieve koppeling) al bekend zijn.

4. Resultaten en Case Studies

De auteurs analyseren specifieke algebra's om de veelzijdigheid van het raamwerk te demonstreren:

• Heisenberg-Weyl Algebra ($hw$):
  • Dit correspondeert met een standaard 1D rooster van bosonische toestanden.
  • Resultaat: Ballistische spreiding met interferentiepatronen. De spreiding is lineair in tijd ($\sigma \sim m$). Er wordt een snelle verstrengeling tussen munt en wandelaar waargenomen.
• $su(2)$ Algebra (Spin):
  • Dit resulteert in een eindig 1D rooster (een keten van spin-niveaus).
  • Resultaat: Ballistische spreiding, maar met een duidelijke asymmetrie in de verdeling. Dit komt door de niet-orthogonaliteit van spin-coherent toestanden, vooral wanneer de stapgrootte klein is ten opzichte van de totale spin.
• Hogere Dimensies ($su(3)$ en $so(5)$):
  • Deze algebra's genereren 2D roosters (respectievelijk een driehoekig en een ruitvormig rooster).
  • Resultaat: Ballistische spreiding met complexe interferentiepatronen die de symmetrie van het rooster weerspiegelen.
  • Opmerkelijke bevinding (Lokalisatie): Voor deze multi-dimensionale wandelingen met een Grover-muntoperator, vertoont het systeem dynamische lokalisatie wanneer de stapgrootte $\beta$ klein wordt terwijl de totale tijd $T = m\beta$ constant wordt gehouden. De wandelaar "vriest" in plaats van te spreiden. Dit verschilt van de bekende lokalisatie in standaard DTQW's en wordt toegeschreven aan het snelle oscilleren van de munt die de voorwaardelijke verschuivingen effectief middelt.
• Niet-compacte Algebra's ($e(2)$ en $su(1,1)$):
  • $su(1,1)$: Dit model illustreert een anomalie. De verplaatsingsoperatoren corresponderen met "geknepen" (squeezed) toestanden.
  • Resultaat: Super-ballistische spreiding. De variantie van de verdeling groeit exponentieel ($\sigma^2 \sim e^{4m\beta}$), wat veel sneller is dan de lineaire ballistische spreiding. Dit komt doordat de mapping tussen de fasesruimte en het Fock-rooster niet-lineair is.

5. Betekenis en Conclusie

Dit werk is significant omdat het de concepten van kwantumwandelingen uitbreidt naar synthetische dimensies die direct voortkomen uit de kwantumtoestandsruimte.

• Theoretisch: Het verbindt de theorie van kwantumwandelingen met de wiskunde van Lie-algebra's, waardoor een nieuwe manier van denken over transport op kromme en niet-translatie-invariante roosters mogelijk wordt.
• Experimenteel: Het biedt een blauwdruk voor het realiseren van complexe kwantumwandelingen in bestaande kwantumoptische platforms zonder de noodzaak voor ingewikkelde langafstands-interacties. De gebruikte verplaatsingsoperatoren zijn vaak natuurlijker te implementeren in systemen zoals circuit QED.
• Toepassingen: De geobserveerde fenomenen, zoals super-ballistische spreiding en dynamische lokalisatie, kunnen nuttig zijn voor het ontwerpen van nieuwe kwantumalgoritmen, het simuleren van kwantumtransport in complexe materialen, en het bestuderen van topologische effecten in synthetische ruimtes.

Samenvattend introduceren de auteurs een krachtig algebraïsch raamwerk dat DTQW's generaliseert naar toestandsruimtes, wat leidt tot een rijk scala aan dynamisch gedrag dat niet mogelijk is in traditionele ruimtelijke modellen.