On the Complexity of Finding Decoherence Free Subspaces

Sintesi Tecnica: Sulla complessità di trovare sottospazi privi di decoerenza

Enunciato del Problema
Questo articolo investiga la complessità computazionale nel determinare se un dato sistema quantistico aperto, governato da un'equazione maestra di Lindblad indipendente dal tempo, ammetta un sottospazio privo di decoerenza (Decoherence-Free Subspace, DFS). Un DFS è definito come un sottospazio di stati quantistici puri che rimane stazionario sotto la dinamica del sistema, preservando non solo gli stati stessi ma anche le coerenze quantistiche tra di essi. L'autore formalizza questa indagine in problemi decisionali, concentrandosi specificamente sul problema k-Local Lindbladian Pure Steady-State, che chiede se un dissipatore Lindbladiano $k$-locale ammetta un DFS unidimensionale (uno stato stazionario puro). Introduce inoltre il problema k-Local Lindbladian, che riguarda la difficoltà di calcolare i tassi di decadimento della purezza sotto dinamiche Lindbladiane.

Metodologia
L'autore utilizza tecniche della teoria della complessità quantistica, specificamente la classe Quantum Merlin Arthur (QMA), per analizzare questi problemi. La sua metodologia comprende diverse componenti tecniche chiave:

1. Riduzioni e Definizioni di Problemi:

   • Definisce il problema k-Local Lindbladian Pure Steady-State e il problema k-Local Lindbladian.
   • Introduce una variante chiamata Symmetric Separable k-Local Hamiltonian*, una modifica del problema Separable k-Local Hamiltonian, per colmare il divario tra gli stati stazionari dei sistemi aperti e gli stati fondamentali dei sistemi chiusi.
   • Stabilisce riduzioni tra questi problemi, dimostrando che il problema k-Local Lindbladian si riduce al problema Symmetric Separable k-Local Hamiltonian*, collocando quest'ultimo all'interno della classe QMA.

2. Costruzione dell'Hardness (Generalizzazione dell'Orologio di Kitaev):

   • Per dimostrare la QMA-Hardness, l'autore generalizza la costruzione dell'Hamiltoniana dell'orologio di Kitaev al contesto dei sistemi quantistici aperti.
   • Codifica l'esecuzione di un circuito quantistico (specificamente, il problema Quantum Circuit-SAT) nel sottospazio stazionario di un Lindbladiano costruito.
     impiega una mappatura inedita che guida il sistema verso un sottospazio stazionario contenente sia stati di storia misti che puri. Ciò consente l'interpolazione tra i due ed è cruciale per analizzare il decadimento dello stato puro.
   • Costruisce un "Dissipatore di Propagazione" utilizzando operatori di salto derivati dai termini hamiltoniani della costruzione di Kitaev. Questo dissipatore verifica la corretta propagazione delle porte del circuito.
   • Vengono progettati dissipatori aggiuntivi per verificare l'inizializzazione dei qubit ancillari e l'output del circuito. Il dissipatore di output è progettato per mescolare il sottospazio stazionario se il circuito rifiuta (caso di rifiuto) e per preservarlo se il circuito accetta (caso di accettazione).

3. Strumenti Tecnici:

   • Corrispondenza Operatore-Vettore: Utilizza l'isomorfismo tra lo spazio degli operatori $B(H)$ e lo spazio di Hilbert raddoppiato $H \otimes H$ per mappare il problema di trovare uno stato puro con un tasso di decadimento specifico al problema di trovare uno stato prodotto con una specifica "energia" in uno spazio raddoppiato.
   • Lemma di Proiezione del Decadimento dello Stato Puro: Una generalizzazione del lemma di proiezione di Kempe et al., adattata per limitare il tasso di decadimento degli stati puri sotto la dinamica Lindbladiana. Questo strumento permette all'autore di proiettare la propria analisi su sottospazi specifici (come il sottospazio dello stato di storia) limitando l'errore introdotto dalla fuga (leakage).
   • Codifica Unaria: Per ottenere una località costante ($k \ge 5$), codifica il registro dell'orologio del circuito in unario piuttosto che in binario. Ciò richiede un nuovo dissipatore Lindbladiano k-Locale Ermitiano che guidi il sistema verso un sottospazio di stati validi dell'orologio in unario, garantendo che gli stati dell'orologio illegali decadano rapidamente.

Contributi Chiave

1. Classificazione della Complessità:

   • Il problema k-Local Lindbladian Pure Steady-State è dimostrato essere QMA1-Hard per una località costante $k \ge 5$.
   • Il problema k-Local Lindbladian è dimostrato essere QMA-Complete per una località costante $k \ge 5$.
   • Il problema Symmetric Separable k-Local Hamiltonian* è dimostrato essere QMA-Complete per una località costante $k \ge 5$.

2. Mappature e Costruzioni Innovative:

   • Una nuova mappatura da circuiti quantistici a dissipatori Lindbladiani che ammette un sottospazio stazionario di stati di storia sia misti che puri.
   • Un nuovo dissipatore Lindbladiano Ermitiano che utilizza la codifica unaria per stabilizzare gli stati validi dell'orologio garantendo al contempo l'ermiticità rispetto al prodotto interno di Hilbert-Schmidt.
   • Un "Lemma di Proiezione del Decadimento dello Stato Puro" adattato per i sistemi quantistici aperti per analizzare i tassi di decadimento in sottospazi specifici.

Risultati
L'articolo dimostra che decidere se un generico sistema quantistico aperto markoviano ammetta un sottospazio privo di decoerenza è computazionalmente intrattabile, anche per i computer quantistici, assumendo che $\text{BQP} \neq \text{QMA}$. Nello specifico:

• Per $k \ge 5$, determinare l'esistenza di uno stato stazionario puro (e quindi di un DFS unidimensionale) è QMA1-Hard.
• Determinare il tasso di decadimento della purezza (il problema k-Local Lindbladian) è QMA-Complete.
• L'hardness sussiste anche quando il Lindbladiano è generato da operatori di salto ermitiani.

Significato
L'autore sostiene che i suoi risultati suggeriscono che trovare sottospazi privi di decoerenza sia intrattabile per il calcolo quantistico. Ciò implica che, a differenza della struttura dello stato fondamentale dei sistemi chiusi dove potrebbero esistere algoritmi efficienti o approssimazioni per certe classi, la struttura dello stato stazionario dei sistemi aperti presenta una barriera computazionale fondamentale. L'articolo evidenzia che anche il problema rilassato di trovare stati puri che decadono lentamente (calcolare i tassi di decadimento della purezza al primo ordine) rimane intrattabile.

Il lavoro estende il campo della complessità hamiltoniana ai sistemi quantistici aperti, stabilendo una rigorosa connessione tra la struttura dello stato stazionario dei Lindbladiani e la struttura dello stato fondamentale degli hamiltoniani locali. L'autore osserva che, sebbene i suoi risultati stabiliscano l'hardness per $k \ge 5$, la complessità per località inferiori (ad esempio $k=2$) rimane una questione aperta, similmente allo status del problema dell'Hamiltoniano 2-Locale. Conclude che questi risultati di intrattabilità motivano la ricerca di condizioni identificabili più efficientemente che garantiscano la presenza o l'assenza di sottospazi privi di decoerenza in sistemi fisicamente rilevanti.