Phase-sensitive representation of Majorana stabilizer states

Titel: Fase-gevoelige representatie van Majorana-stabilisatorstaten

Auteurs: Tomislav Beguˇsi´c en Garnet Kin-Lic Chan (Caltech)

1. Het Probleem

De klassieke simulatie van kwantumsystemen, met name in de context van veeldeeltjesfysica en kwantumchemie, staat voor een uitdaging bij het efficiënt representeren van sterk verstrengelde toestanden.

• Stabilisatorstaten: In qubit-systemen zijn stabilisatorstaten (toestanden gegenereerd door Clifford-gates) bekend om hun efficiënte representatie en transformeerbaarheid, ondanks hoge verstrengeling.
• Fermionische Systemen: In fermionische systemen (zoals elektronen in moleculen) wordt vaak een transformatie naar qubits gebruikt (bijv. Jordan-Wigner). Dit leidt echter tot een verlies van interpretatie, omdat lokale fermionische operatoren worden afgebeeld op niet-lokale Pauli-operatoren.
• De Gaping: Hoewel Majorana-operatoren een lokaal en unitair alternatief bieden voor fermionische operatoren, en de "Majorana Clifford-groep" is gedefinieerd, ontbrak er tot nu toe een fase-gevoelige (phase-sensitive) representatie voor Majorana-stabilisatorstaten. Zonder deze fase-informatie is het onmogelijk om deze staten als basis te gebruiken voor superposities om algemene fermionische kwantumtoestanden nauwkeurig te simuleren of om overvloeien (inner products) en amplitude-berekeningen correct uit te voeren.

2. Methodologie

De auteurs ontwikkelen een wiskundig raamwerk en algoritmen om Majorana-stabilisatorstaten te representeren en te manipuleren, gebaseerd op de uitbreiding van de bekende CH-vorm (voor qubits) naar het fermionische domein.

• Notatie en Operatoren:
  • Er worden Majorana-operatoren $c_k$ en $\tilde{c}_k$ gedefinieerd op basis van fermionische creatie- en annihilatie-operatoren.
  • Een algemene Majorana-string wordt weergegeven door een fase $\phi$ en binaire vectoren $z$ en $x$, analoog aan de symplectische representatie van Pauli-operatoren.
• Definitie van de Toestand:
  Een Majorana-stabilisatorstaat $|\psi\rangle$ wordt gedefinieerd als $U|0\rangle$, waarbij $U$ een product is van Majorana-Clifford-operatoren en $|0\rangle$ de vacuümtoestand is.
• De Representatie (Fase-gevoelige CH-vorm):
  De auteurs stellen een representatie voor van de vorm:
  $$|\psi\rangle = e^{i \frac{\pi}{4} \phi} U_C U_B |s\rangle$$
  Waarbij:
  • $\phi$: Een globale fase (integer).
  • $|s\rangle$: Een computationele basisstaat (bitstring).
  • $U_B$: Een product van commuterende "braiding"-operatoren (braidings), gedefinieerd door een binaire vector $b$.
  • $U_C$: Een "control-type" Clifford-operator, vastgelegd in een stabilisatortabel (stabiler tableau) bestaande uit binaire matrices $E, F, G$ en een fase-vector $\omega$.
• Algoritmen:
  De paper levert expliciete update-regels voor het toepassen van Majorana-Clifford-gates (zoals $\eta_j, W_{jk}, \eta_{jk}$) op deze representatie. Dit omvat het bijwerken van de fase, de bitstring $s$, de vector $b$, en de stabilisatortabel ($E, F, G$).

3. Belangrijkste Bijdragen

1. Formulering van de Representatie: De eerste complete definitie van een fase-gevoelige representatie voor Majorana-stabilisatorstaten, essentieel voor het simuleren van algemene fermionische toestanden als superposities van deze staten.
2. Update-regels: Gedetailleerde algoritmen voor het transformeren van staten onder de werking van Majorana-Clifford-gates. Dit omvat complexe gevallen zoals de $\eta_{jk}$-gate (die analoog is aan de Hadamard-gate in qubit-systemen maar meer rekenkracht vereist).
3. Berekening van Amplitudes en Overvloeien:
   • Een methode om de waarschijnlijkheidsamplitude $\langle x | \psi \rangle$ te berekenen met een complexiteit van $O((|x|+c)n)$.
   • Een algoritme om het inwendig product (overlap) $\langle \phi | \psi \rangle$ van twee Majorana-stabilisatorstaten te berekenen met een complexiteit van $O(n^3)$.
4. Implementatie: De auteurs bieden een Python-implementatie (beschikbaar via GitHub) die de correctheid van de algoritmen verifieert door vergelijking met de Qiskit Statevector-simulator in de Jordan-Wigner-representatie.

4. Resultaten en Complexiteit

De paper presenteert een overzicht van de rekencomplexiteit voor verschillende operaties (zie Tabel I in de paper):

• Toepassen van diagonale gates ($\eta_j, W_{jk}$): $O(n)$.
• Toepassen van niet-diagonale gates ($\eta_{jk}$) en algemene Majorana-Clifford-rotaties: $O(n^2)$. Dit komt overeen met de complexiteit van het updaten van stabilisatorstaten in de CH-vorm voor qubits.
• Berekening van waarschijnlijkheidsamplitudes: $O((|x|+c)n)$.
• Berekening van inwendige producten: $O(n^3)$. De kubische schaling komt voornamelijk door matrixvermenigvuldigingen bij het construeren van de transposities van de stabilisatortabellen.

De auteurs tonen aan dat hun methode efficiënter is dan het volledig omzetten naar qubits en het gebruik van standaard tensor-netwerken voor specifieke klassen van verstrengelde fermionische toestanden.

5. Betekenis en Toepassingen

Deze werken heeft belangrijke implicaties voor de kwantumchemie en de simulatie van fermionische systemen:

• Directe Fermionische Simulatie: Het stelt onderzoekers in staat om fermionische kwantumcircuits direct in het fermionische beeld te simuleren, zonder de noodzaak van een qubit-embeddingslaag die lokale operatoren verstoort.
• Stabilisator-methode voor Fermionen: Het opent de weg voor "low-rank stabilizer methods" voor fermionische systemen. Dit betekent dat complexe fermionische golffuncties kunnen worden benaderd als een som van een klein aantal Majorana-stabilisatorstaten.
• Fase-informatie: Door de fase expliciet te houden, kunnen deze staten worden gebruikt als basis voor variatiele methoden (zoals VQE) of voor het berekenen van matrixelementen van Hamiltonianen, wat cruciaal is voor het oplossen van elektronische structuurproblemen.
• Foutcorrectie en Kwantumcomputing: De inzichten zijn relevant voor het begrijpen van Majorana-bewerkingen in de context van fouttolerante kwantumcomputing en het ontwerpen van nieuwe codes.

Kortom, dit artikel vult een cruciale lacune in de theorie van fermionische kwantumsimulatie door een efficiënt, fase-gevoelig formalisme te bieden dat de kracht van stabilisator-methoden uitbreidt naar het domein van Majorana-fermionen.