Voglio capire cos'è l'entanglement quantistico e quale ruolo gioca nella correzione dell'errore quantistico.
NOTA : Come per i consigli di @JamesWootton e @NielDeBeaudrap, ho fatto una domanda separata per l'analogia classica qui .
Voglio capire cos'è l'entanglement quantistico e quale ruolo gioca nella correzione dell'errore quantistico.
NOTA : Come per i consigli di @JamesWootton e @NielDeBeaudrap, ho fatto una domanda separata per l'analogia classica qui .
Risposte:
Le correlazioni classiche tra le variabili si verificano quando le variabili appaiono casuali, ma i cui valori si trovano in modo sistematico d'accordo (o in disaccordo) in qualche modo. Tuttavia, ci sarà sempre qualcuno (o qualcosa) che "sa" esattamente cosa stanno facendo le variabili in un determinato caso.
L'entanglement tra le variabili è lo stesso, tranne per l'ultima parte. La casualità è davvero casuale. I risultati casuali sono completamente indecisi fino al momento della misurazione. Ma in qualche modo le variabili, sebbene possano essere separate da galassie, sanno ancora essere d'accordo.
Cosa significa questo per la correzione degli errori? Cominciamo pensando alla correzione degli errori per un po ' .
Quando si memorizza un bit classico, i tipi di errori di cui bisogna preoccuparsi sono cose come i salti di bit e le cancellazioni. Quindi qualcosa potrebbe farti 0
diventare un 1
, o viceversa. O la tua parte potrebbe vagare da qualche parte.
Per proteggere le informazioni, possiamo garantire che i nostri bit logici (le informazioni effettive che vogliamo archiviare) non siano solo concentrati su singoli bit fisici . Invece, lo abbiamo distribuito. Quindi potremmo usare una semplice codifica di ripetizione, ad esempio, in cui copiamo le nostre informazioni su molti bit fisici. Questo ci consente di ottenere ancora le nostre informazioni, anche se alcuni dei bit fisici hanno fallito.
Questo è il lavoro di base della correzione degli errori: diffondiamo le nostre informazioni, per rendere difficile la confusione degli errori.
Per i qubit, ci sono più tipi di errori di cui preoccuparsi. Ad esempio, potresti sapere che i qubit possono trovarsi in stati di sovrapposizione e che le misurazioni cambiano questi. Le misurazioni indesiderate sono quindi un'altra fonte di rumore, causata dall'ambiente che interagisce con (e quindi in un certo senso "guardando" i nostri qubit). Questo tipo di rumore è noto come decoerenza.
In che modo questo influisce sulle cose? Supponiamo di usare la codifica ripetitiva con qubit. Quindi sostituiamo il nel nostro stato qubit logica desiderata con | 000 ... 000⟩ , ripetuto su molti qubit fisici, e sostituisce il | 1 ⟩ con | 111 ... 111⟩ . Questo protegge nuovamente da ribaltamenti di bit e cancellazioni, ma rende ancora più facile le misurazioni vaganti. Ora l'ambiente misura se abbiamo | 0 ⟩ o | 1 ⟩ , cercando in uno qualsiasi dei molti qubit. Ciò renderà l'effetto della decoerenza molto più forte, che non è affatto quello che volevamo!
Per risolvere questo problema, dobbiamo rendere difficile la decoerenza per disturbare le nostre informazioni logiche sui qubit, così come abbiamo reso difficile per i capovolgimenti e le cancellazioni. Per questo, dobbiamo rendere più difficile misurare il nostro qubit logico. Non troppo difficile da non poterlo fare ogni volta che lo vogliamo, ovviamente, ma troppo difficile perché l'ambiente possa farlo facilmente. Ciò significa garantire che la misurazione di un singolo qubit fisico non ci dica nulla sul qubit logico. In effetti, dobbiamo fare in modo che sia necessario misurare un intero gruppo di qubit e confrontarne i risultati per estrarre qualsiasi informazione sul qubit. In un certo senso, è una forma di crittografia. Hai bisogno di abbastanza pezzi del puzzle per avere idea di cosa sia l'immagine.
Potremmo provare a farlo in modo classico. Le informazioni potrebbero essere distribuite in correlazioni complesse tra molti bit. Osservando abbastanza dei bit e analizzando le correlazioni, possiamo estrarre alcune informazioni sul bit logico.
Ma questo non sarebbe l'unico modo per ottenere queste informazioni. Come ho già detto, in genere c'è sempre qualcuno o qualcosa che già sa tutto. Non importa se si tratta di una persona o solo dei motivi nell'aria causati dall'esecuzione della crittografia. Ad ogni modo, l'informazione esiste al di fuori della nostra codifica, e questo è essenzialmente un ambiente che sa tutto. La sua stessa esistenza significa che la decoerenza si è verificata in misura irreparabile.
Ecco perché abbiamo bisogno dell'entanglement. Con esso, possiamo nascondere le informazioni usando le correlazioni nei risultati casuali veri e inconoscibili delle variabili quantistiche.
L'entanglement è una parte naturale delle informazioni e del calcolo quantistici. Se non è presente --- se si tenta di fare le cose in modo tale che non si verifichi l'entanglement --- non si ottiene alcun beneficio dal calcolo quantistico. E se un computer quantistico sta facendo qualcosa di interessante, produrrà un sacco di entanglement, almeno come effetto collaterale.
Tuttavia, ciò non significa che l'entanglement sia "ciò che fa andare i computer quantistici". L'entanglement è come gli ingranaggi rotanti di una macchina: non succede nulla se non girano, ma ciò non significa che avere quegli ingranaggi che girano rapidamente è sufficiente per fare in modo che la macchina faccia quello che vuoi. (L'entanglement è una risorsa primitiva in questo modo per la comunicazione , ma non per il calcolo per quanto nessuno ha visto.)
Questo è vero sia per la correzione dell'errore quantico che per il calcolo. Come tutte le forme di correzione degli errori, la correzione degli errori quantistici funziona distribuendo informazioni su un sistema più ampio, in particolare nelle correlazioni di determinate informazioni misurabili. L'entanglement è solo il solito modo in cui i sistemi quantistici vengono correlati, quindi non dovrebbe sorprendere il fatto che un buon codice di correzione dell'errore quantistico implichi molto entanglement. Ma ciò non significa che cercare di "pompare il tuo sistema pieno di entanglement", come una sorta di pallone ad elio, sia qualcosa di utile o significativo da fare per proteggere le informazioni quantistiche.
Mentre la correzione dell'errore quantistico è talvolta descritta vagamente in termini di entanglement, più importante è il modo in cui comporta controlli di parità usando diversi "osservabili". Lo strumento più importante per descriverlo è il formalismo stabilizzatore. Il formalismo stabilizzatore può essere usato per descrivere alcuni stati con grandi quantità di entanglement, ma soprattutto consente di ragionare sulle proprietà multi-qubit ("osservabili") abbastanza facilmente. Da quel punto di vista, si può capire che la correzione dell'errore quantistico è molto più strettamente correlata alla fisica a molti corpi a bassa energia degli spin-hamiltoniani, piuttosto che all'entanglement in generale.
Non esiste un equivalente classico all'entanglement. L'entanglement è forse meglio compreso usando la notazione di Dirac (bra-ket).
Ogni qubit può trovarsi nello stato (ket) o nello stato | 1 ⟩ o in una sovrapposizione α 1 ⟩ , | 1 ⟩ ⊗ | 0 ⟩ , e | 1 dove α e β sono numeri complessi che soddisfano | α | 2 + | β | 2 = 1 . Se hai due qubit, gli stati di base del sistema a 2 qubit sono | 0 ⟩ ⊗ | 0 ⟩ , | 0 ⟩ ⊗ | . Per semplificare la notazione, i fisici spesso le scrivono come | 00 ⟩ , | 01 ⟩ , | 10 ⟩ , e | 11 ⟩ . Quindi essere nello stato | 01 ⟩ significa che il primo qubit è in stato | 0 ⟩ e il secondo qubit è in stato | 1 ⟩ .
Consideriamo ora una sovrapposizione del tipo . Ciò significa che il primo qubit è nello stato | 0 ⟩ con probabilità | α | 2 e nello stato | 1 ⟩ altrimenti, mentre il secondo qubit è sempre nello stato opposto che il primo è in: Le due particelle sono intrappolati.
Non è importante che in questo esempio, i qubit intrecciati si trovino in stati opposti: potrebbero anche essere nello stesso stato e rimanere intrappolati. Ciò che conta è che i loro stati non sono indipendenti l'uno dall'altro. Ciò ha causato grossi mal di testa ai fisici perché significa che i qubit (o le particelle che li trasportano) non possono avere simultaneamente proprietà strettamente locali ed essere governati da un concetto chiamato realismo (che riflette i loro stati come proprietà intrinseca). Einstein notoriamente ha definito il paradosso risultante (se si assume ancora la locaility e il realismo) "azione spettrale a distanza".
L'entanglement non gioca un ruolo speciale nella correzione dell'errore quantistico: la correzione dell'errore deve funzionare per ogni stato nella base computazionale (che non ha entanglement). Quindi funziona automaticamente anche per le sovrapposizioni di questi stati (che possono essere stati intrecciati).
Per una certa classe di codici chiamati pure , la presenza di entanglement è un requisito necessario e sufficiente per la correzione di errori quantistici, cioè per correggere tutti gli errori che interessano fino a un certo numero di sottosistemi.
Richiama le condizioni di Knill-Laflamme affinché un codice quantico di correzione degli errori sia in grado di rilevare un certo insieme di errori : scegli una base ortonormale che attraversa il codice-spazio. Quindi l'errore può essere rilevato se e solo se
Si noti che è una costante che dipende solo dall'errore specifico , ma non da
Supponiamo un modello di errore in cui siamo interessati solo a quanti sottosistemi agiscono i nostri errori. Se il nostro codice è in grado di rilevare tutti gli errori
Ciò che segue è quello per i codici puri di distanza , ogni vettore che si trova nel sottospazio del codice deve essere
Addendum: abbiamo esaminato ulteriormente questa domanda, i dettagli possono essere trovati nel documento Codici quantici di distanza massima e sottospazi fortemente aggrovigliati . C'è un compromesso: più errori un codice quantico può correggere, più devono essere intrecciati tutti i vettori nello spazio del codice. Questo ha senso, perché se le informazioni non fossero distribuite tra molte particelle, l'ambiente - leggendo alcuni qubit - potrebbe recuperare il messaggio nello spazio del codice. Ciò quindi distruggerebbe necessariamente il messaggio in codice, a causa del teorema di non clonazione. Pertanto, un'alta distanza richiede un elevato intreccio.
Ecco un modo per pensare al ruolo dell'entanglement nei codici quantistici che ritengo complementare alla risposta di Felix Hubers.
Quindi, esiste un modo entropico di pensare alle condizioni di correzione dell'errore (rispetto alle più algebriche condizioni Knill-Laflamme). In particolare, se
Usando questo approccio entropico alla correzione degli errori ci sono percorsi abbastanza diretti per comprendere l'entanglement nei codici. Ad esempio, possiamo dimostrare che,
come segue. Per prima cosa scriviamo queste informazioni reciproche in termini di definizione,