Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
Questo articolo descrive il ruolo dei gate T e delle factory T nel calcolo quantistico a tolleranza di errore. Dato un algoritmo quantistico, la stima delle risorse necessarie per eseguire i T gate e le fabbriche T diventa cruciale per determinare la fattibilità dell'algoritmo. Azure Quantum Resource Estimator calcola il numero di stati T necessari per eseguire l'algoritmo, il numero di qubit fisici per una singola factory T e il runtime della factory T.
Set universale di gate quantistici
Secondo i criteri di DiVincenzo, un computer quantistico scalabile deve essere in grado di implementare un set universale di porte quantistico. Un set universale contiene tutte le porte necessarie per eseguire qualsiasi calcolo quantistico, ovvero qualsiasi calcolo deve scomporre in una sequenza limitata di porte universali. Come minimo, un computer quantistico deve essere in grado di spostare singoli qubit in qualsiasi posizione sulla sfera di Bloch (usando porte a qubit singolo), nonché introdurre entanglement nel sistema, che richiede una porta multiqubit.
In un computer classico sono presenti solo quattro funzioni che consentono di eseguire il mapping da un bit a un bit. Al contrario, in un computer quantistico è presente un numero infinito di trasformazioni unitarie in un singolo qubit. Pertanto, nessun set finito di operazioni o cancelli quantistici primitivi può replicare esattamente il set infinito di trasformazioni unitari consentite nel calcolo quantistico. Ciò significa che, a differenza del calcolo classico, è impossibile per un computer quantistico implementare ogni possibile programma quantistico usando esattamente un numero finito di porte. I computer quantistici non possono quindi essere universali nello stesso senso dei computer classici. Di conseguenza, quando si dice che un set di porte è universale per il calcolo quantistico, in realtà si intende qualcosa di leggermente più debole rispetto al calcolo classico.
Per l'universalità, è necessario che un computer quantistico approssima ogni matrice unitaria all'interno di un errore finito usando una sequenza di gate di lunghezza limitata.
In altre parole, un set di porte è un set di porte universali se una trasformazione unitaria può essere scritta approssimativamente come prodotto di porte di questo set. È necessario che per qualsiasi limite di errore prescritto esistano cancelli $G_{1}, G_{2}, \ldots, G_N$ del set di cancelli in modo che
$$ G_N G_{N-1}\cdots G_2 G_1 \approx U. $$
Poiché la convenzione per la moltiplicazione delle matrici è di moltiplicare da destra a sinistra, la prima operazione di porta in questa sequenza, $G_N$, è in realtà l'ultima applicata al vettore quantistico di stato. Più formalmente, tale set di porte è detto universale se per ogni tolleranza di errore $\epsilon>0$ esiste $G_1, \ldots, G_N$, in modo che la distanza tra $G_N\ldots G_1$ e $U$ sia al massimo $\epsilon$. Idealmente, il valore di $N$ necessario per raggiungere questa distanza di $\epsilon$ deve essere scalato in modo poli-logaritmico con $1/\epsilon$.
Ad esempio, il set formato da Hadamard, CNOT e T gates è un set universale, da cui è possibile generare qualsiasi calcolo quantistico (in qualsiasi numero di qubit). Il set di gate Hadamard e T genera qualsiasi gate a qubit singolo:
$$H=\frac{1}{\sqrt{ 1 {2}}\begin{bmatrix}amp; 1 &\\amp;-1 &, \end{bmatrix} T\qquad 1 =\begin{bmatrix}amp; 0 &0 \\& e^{i\pi/4}\end{bmatrix}. $$
In un computer quantistico, i cancelli quantistici possono essere classificati in due categorie: porte Clifford e porte non Clifford, in questo caso il cancello T. I programmi quantistici realizzati da sole porte Clifford possono essere simulati in modo efficiente usando un computer classico e pertanto, per ottenere il vantaggio quantistico sono necessari cancelli non Clifford. In molti schemi di correzione degli errori quantistici (QEC) i cosiddetti gate Clifford sono facili da implementare, ovvero richiedono pochissime risorse in termini di operazioni e qubit per implementare le porte a tolleranza di errore, mentre i cancelli non Clifford sono piuttosto costosi quando richiedono la tolleranza di errore. In un set di cancelli quantistici universali, il cancello T viene comunemente usato come porta non Clifford.
Il set standard di porte Clifford a qubit singolo, incluso per impostazione predefinita in Q#, include
$$H=\frac{{1}{\sqrt{{2}}\begin{bmatrix} 1 & 1 \\ 1 &-1 \end{bmatrix}, \qquad S =\begin{bmatrix} 1 & 0 \\ 0 & i \end{bmatrix}= T^2, \qquad X=\begin{bmatrix} 0 &1 \\ 1& 0 \end{bmatrix}= HT^4H, $$
$$Y =0 amp; -i \begin{bmatrix}& amp; 0 \\T^2HT^4 HT^6, & Z\end{bmatrix}=1\qquadamp;=\begin{bmatrix}& 0\\ 0&-1 \end{bmatrix}=T^4. $$
Insieme alla porta non Clifford (il T gate), queste operazioni possono essere composte per approssimare qualsiasi trasformazione unitaria su un singolo qubit.
T factory nello strumento di stima delle risorse di Azure Quantum
La preparazione del gate T non Clifford è fondamentale perché le altre porte quantistiche non sono sufficienti per il calcolo quantistico universale. Per implementare operazioni non Clifford per algoritmi pratici, sono necessarie porte T (o stati T) a basso tasso di errore. Tuttavia, possono essere difficili da implementare direttamente nei qubit logici e possono anche essere difficili per alcuni qubit fisici.
In un computer quantistico a tolleranza di guasto, gli stati T a basso tasso di errore richiesti vengono prodotti usando una fabbrica di distillazione di stati T, o fabbrica T per brevità. Queste fabbriche T in genere comportano una sequenza di round di distillazione, in cui ogni round prende molti stati T rumorosi codificati in un codice di distanza più piccolo, li elabora usando un'unità di distillazione e restituisce meno stati T rumorosi codificati in un codice di distanza più grande. Il numero di round, le unità di distillazione e le distanze sono tutti parametri che possono essere variati. Questa procedura viene iterata, in cui gli stati T di output di un round vengono inseriti nel round successivo come input.
In base alla durata della factory T, Lo strumento di stima delle risorse di Azure Quantum determina la frequenza con cui una factory T può essere richiamata prima che superi il runtime totale dell'algoritmo e quindi il numero di stati T che possono essere generati durante il runtime dell'algoritmo. In genere, sono necessari più stati T rispetto a quelli che possono essere generati all'interno delle chiamate di una singola factory T durante il runtime dell'algoritmo. Per produrre più stati T, lo strumento di stima delle risorse usa copie delle factory T.
Stima fisica della fabbrica T
Lo strumento di stima delle risorse calcola il numero totale di stati T necessari per eseguire l'algoritmo e il numero di qubit fisici per una singola factory T e il relativo runtime.
L'obiettivo è produrre tutti gli stati T all'interno del runtime dell'algoritmo con il minor numero possibile di copie factory T. Il diagramma seguente mostra un esempio del runtime dell'algoritmo e del runtime di una factory T. È possibile notare che il runtime della factory T è più breve del runtime dell'algoritmo. In questo esempio, una fabbrica T può distillare uno stato T. Si presentano due domande:
- Con quale frequenza è possibile richiamare la factory T prima della fine dell'algoritmo?
- Quante copie del round di distillazione T factory sono necessarie per creare il numero di stati T richiesti durante il tempo di esecuzione dell'algoritmo?
La fabbrica T può essere richiamata otto volte prima della fine dell'algoritmo, un processo chiamato round di distillazione. Ad esempio, se sono necessari 30 stati T, una singola factory T viene richiamata otto volte durante il runtime dell'algoritmo e quindi crea otto stati T. Quindi sono necessarie quattro copie del ciclo di distillazione della fabbrica T in parallelo per distillare i 30 stati T necessari.
Nota
Si noti che le copie della factory T e le invocazioni della factory T non sono la stessa cosa.
Le fabbriche di distillazione dello stato T vengono implementate in una sequenza di round, dove ogni round è costituito da un insieme di unità di distillazione in esecuzione in parallelo. Lo strumento di stima delle risorse calcola il numero di qubit fisici necessari per eseguire una factory T e per quanto tempo viene eseguita la factory T, tra gli altri parametri obbligatori.
È possibile eseguire invocazioni complete solo di una factory T. Di conseguenza, possono verificarsi situazioni in cui il runtime accumulato di tutte le chiamate di fabbrica T è minore del runtime dell'algoritmo. Poiché i qubit vengono riutilizzati in diversi round, il numero di qubit fisici per una factory T è il numero massimo di qubit fisici usati per un round. Il tempo di esecuzione della fabbrica T è la somma del tempo di esecuzione in tutti i round.
Nota
Se la frequenza degli errori del gate T fisico è inferiore alla frequenza degli errori di stato T logico richiesta, lo strumento di stima delle risorse non può eseguire una buona stima delle risorse. Quando si invia un processo di stima delle risorse, è possibile che non sia possibile trovare la T factory perché il tasso di errore dello stato T logico richiesto è troppo basso o troppo alto.
Per altre informazioni, vedere Appendice C della valutazione dei requisiti per la scalabilità a vantaggi quantistici pratici.