Phase-sensitive representation of Majorana stabilizer states

Titolo: Rappresentazione sensibile alla fase degli stati stabilizzatori di Majorana

1. Il Problema

La simulazione classica di sistemi quantistici fermionici (come quelli in chimica quantistica) è spesso ostacolata dalla complessità esponenziale della rappresentazione degli stati. Gli stati stabilizzatori (basati su qubit) sono un'eccezione nota: sono altamente entangled ma possono essere rappresentati e manipolati efficientemente tramite operatori di Clifford.
Tuttavia, nei sistemi fermionici, l'approccio standard consiste nel mappare gli operatori fermionici su qubit (ad esempio tramite la trasformazione di Jordan-Wigner). Questo approccio presenta due svantaggi principali:

1. Perdita di località: Gli operatori fermionici locali diventano operatori di Pauli non locali.
2. Mancanza di rappresentazione diretta: Non esiste una rappresentazione efficiente e "sensibile alla fase" (phase-sensitive) degli stati stabilizzatori direttamente nello spazio degli operatori di Majorana, che è fondamentale per simulare circuiti quantistici fermionici o rappresentare stati fermionici generali come sovrapposizioni di tali stati.

Il paper affronta la necessità di definire una rappresentazione computazionalmente efficiente degli stati stabilizzatori di Majorana che includa le informazioni di fase, permettendo il calcolo di ampiezze di probabilità e prodotti scalari.

2. Metodologia

Gli autori sviluppano un formalismo matematico e algoritmi per rappresentare e manipolare gli stati stabilizzatori di Majorana. La metodologia si basa sui seguenti pilastri:

• Operatori di Majorana: Utilizzano operatori di Majorana locali ($c_k, \tilde{c}_k$) definiti come combinazioni lineari degli operatori di creazione e distruzione fermionici. Questi operatori sono unitari ed ermitiani.

• Gruppo di Clifford di Majorana: Estendono il concetto di operatori di Clifford ai sistemi fermionici. In particolare, si concentrano su un sottogruppo che preserva la parità (p-Cliffords), generato da rotazioni di Clifford di Majorana su operatori con parità pari.

• Rappresentazione Sensibile alla Fase (Forma CH): Adattano la forma "CH" (Control-Unitary + Braiding) utilizzata per gli stati stabilizzatori di qubit. Uno stato stabilizzatore di Majorana $|\psi\rangle$ è rappresentato come:
  $$|\psi\rangle = e^{i \frac{\pi}{4} \phi} U_C U_B |s\rangle$$
  Dove:

  • $\phi$: Un intero che codifica la fase globale.
  • $|s\rangle$: Uno stato di base computazionale (stato di vuoto o eccitato).
  • $U_B$: Un prodotto di operatori di intreccio (braiding) $B_k$ che agiscono su coppie di siti, rappresentati da un vettore binario $b$.
  • $U_C$: Un operatore di tipo "controllo" (control-type Clifford) che non cambia la fase dello stato di vuoto. È rappresentato da una tabella stabilizzatrice (matrici binarie $E, F, G$ e vettore di fase $\omega$) che traccia l'azione dell'operatore sugli operatori di Majorana.

• Algoritmi di Aggiornamento: Derivano regole di aggiornamento esatte per i parametri $(\phi, U_C, b, s)$ quando si applicano porte quantistiche (operatori di Clifford di Majorana) allo stato. Questo include porte diagonali ($\eta_j, W_{jk}$) e porte non diagonali ($\eta_{jk}$), quest'ultime che richiedono una procedura più complessa analoga all'applicazione della porta Hadamard nella forma CH per i qubit.

3. Contributi Chiave

Il paper fornisce i seguenti contributi teorici e pratici:

1. Definizione Formale: Introduce la prima rappresentazione completa e sensibile alla fase degli stati stabilizzatori di Majorana, colmando il divario tra la teoria degli stati stabilizzatori e la computazione quantistica fermionica.
2. Algoritmi Efficienti:
   • Aggiornamento dello Stato: Regole per applicare operatori di Clifford di Majorana con complessità $O(n)$ o $O(n^2)$ (dove $n$ è il numero di siti).
   • Ampiezze di Probabilità: Un algoritmo per calcolare l'ampiezza $\langle x | \psi \rangle$ in tempo $O((|x| + c)n)$.
   • Prodotti Scalari: Un metodo per calcolare il prodotto scalare tra due stati stabilizzatori di Majorana in tempo $O(n^3)$.
   • Valori di Aspettazione: Calcolo efficiente dei valori di aspettazione per operatori di Majorana.
3. Relazione con la Rappresentazione Simplettica: Mostra come la rappresentazione $(\phi, z, x)$ degli operatori di Majorana sia strettamente correlata alla rappresentazione simplettica degli operatori di Pauli, permettendo di verificare proprietà come la commutatività e la diagonalità in modo efficiente.
4. Implementazione Software: Fornisce un codice Python open-source che implementa questi algoritmi, validato confrontando i risultati con il simulatore di vettori di stato di Qiskit (usando la rappresentazione di Jordan-Wigner).

4. Risultati

• Complessità Computazionale: Gli algoritmi proposti mantengono una complessità polinomiale (principalmente quadratica o cubica) rispetto al numero di siti fermionici $n$. Questo è un miglioramento significativo rispetto alla simulazione generale che richiederebbe risorse esponenziali.
• Validazione: I risultati numerici ottenuti con il codice fornito coincidono perfettamente con le simulazioni basate su qubit (tramite Jordan-Wigner), confermando la correttezza delle regole di aggiornamento e delle formule per le ampiezze.
• Versatilità: Il formalismo permette di trattare stati fermionici generali come sovrapposizioni di stati stabilizzatori di Majorana, abilitando metodi di simulazione a basso rango direttamente nel quadro fermionico.

5. Significato e Impatto

Questo lavoro è fondamentale per l'avanzamento della simulazione quantistica classica di sistemi fermionici e per lo sviluppo di algoritmi quantistici per la chimica quantistica.

• Simulazione Classica: Permette di simulare circuiti quantistici fermionici dominati da porte Clifford in modo efficiente, senza dover passare attraverso una mappatura su qubit che introduce non-località.
• Metodi Variazionali: Gli algoritmi per il calcolo dei prodotti scalari e delle ampiezze sono essenziali per metodi variazionali (come VQE o DMRG) che utilizzano stati stabilizzatori come ansatz o per decomporre stati fermionici complessi.
• Teoria dell'Informazione Quantistica Fermionica: Fornisce gli strumenti matematici necessari per quantificare risorse come il "non-stabilizerness" (magia) negli stati fermionici e per progettare codici di correzione d'errore basati su Majorana.

In sintesi, il paper stabilisce le basi algoritmiche per trattare gli stati fermionici entangled con la stessa efficienza degli stati di qubit stabilizzatori, aprendo la strada a nuove strategie di simulazione per la fisica della materia condensata e la chimica quantistica.