La porta di scambio controllata, nota anche come porta di Fredkin, è una porta fondamentale nel calcolo reversibile che può essere utilizzata per calcolare la porta AND in modo reversibile. Il calcolo reversibile è un paradigma computazionale in cui ogni operazione è reversibile, il che significa che l'input può essere ricostruito in modo univoco dall'output. Ciò è in contrasto con il calcolo classico, in cui le operazioni irreversibili sono comuni.
Per capire come la porta di scambio controllata può essere utilizzata per calcolare la porta AND in modo reversibile, esaminiamo prima il comportamento della porta di scambio controllata. Il gate di scambio controllato accetta tre qubit come input: due qubit di controllo e un qubit di destinazione. Se il primo qubit di controllo è nello stato |1⟩, scambia gli stati del secondo qubit di controllo e del qubit di destinazione. Altrimenti, lascia invariati gli stati.
La tabella di verità per il gate di scambio controllato è la seguente:
| Controllo 1 | Controllo 2 | Obiettivo | Uscita |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 |
Consideriamo ora come utilizzare la porta di scambio controllata per calcolare la porta AND in modo reversibile. La porta AND accetta due bit di ingresso e restituisce 1 se entrambi i bit di ingresso sono 1 e 0 in caso contrario. Nel calcolo reversibile, dobbiamo assicurarci che i bit di input possano essere ricostruiti in modo univoco dai bit di output.
Per calcolare la porta AND utilizzando la porta di scambio controllata, possiamo impostare il primo qubit di controllo della porta di scambio controllata sull'AND logico dei due bit di ingresso, e il secondo qubit di controllo e il qubit di destinazione sugli stessi bit di ingresso. L'uscita della porta di scambio controllata sarà quindi il risultato della porta AND e i bit di ingresso possono essere ricostruiti in modo univoco dai bit di uscita.
Ecco un circuito di esempio che dimostra come la porta di scambio controllata può essere utilizzata per calcolare la porta AND:
┌───┐
q_0: ┤ H ├───────■───────
├───┤ │
q_1: ┤ H ├───────┼───────
├───┤ │
q_2: ┤ X ├──■────┼───────
├───┤ │ │
q_3: ┤ X ├──┼────┼───────
└───┘┌─┴─┐┌─┴─┐┌───┐
q_4: ─────┤ X ├┤ X ├┤ X ├
└───┘└───┘└───┘
In questo circuito, q_0 e q_1 sono i bit di ingresso e q_4 è il bit di uscita. Le porte H sono porte Hadamard, che mettono i qubit in una sovrapposizione di stati. Le porte X sono porte Pauli-X, che capovolgono lo stato di un qubit. La porta di scambio controllata è rappresentata dalle caselle etichettate "X" nel circuito.
Applicando questo circuito ai bit di ingresso, possiamo calcolare la porta AND in modo reversibile, con il bit di uscita q_4 che contiene il risultato dell'operazione AND. I bit di ingresso q_0 e q_1 possono essere ricostruiti univocamente dal bit di uscita q_4, rendendo questo calcolo reversibile.
La porta di scambio controllata può essere utilizzata per calcolare la porta AND in modo reversibile impostando il primo qubit di controllo sull'AND logico dei bit di ingresso e utilizzando il secondo qubit di controllo e il qubit di destinazione per rappresentare i bit di ingresso stessi. L'uscita della porta di scambio controllata sarà quindi il risultato della porta AND e i bit di ingresso possono essere ricostruiti in modo univoco dai bit di uscita.
Altre domande e risposte recenti riguardanti Fondamenti di informazione quantistica EITC/QI/QIF:
- Quale sarà la variazione continua del modello di interferenza se continuiamo ad allontanare il rilevatore dalla doppia fenditura con incrementi molto piccoli?
- La trasformata di Fourier quantistica è esponenzialmente più veloce di una trasformata classica? Ed è per questo che può rendere risolvibili problemi difficili con un computer quantistico?
- Cosa significa per i qubit a stato misto andare sotto la superficie della sfera di Bloch?
- Qual è la storia dell'esperimento della doppia fenditura e come si collega allo sviluppo della meccanica ondulatoria e della meccanica quantistica?
- Le ampiezze degli stati quantistici sono sempre numeri reali?
- Come funziona la porta di negazione quantistica (NOT quantistico o porta Pauli-X)?
- Perché la porta Hadamard è autoreversibile?
- Se si misura il 1° qubit dello stato di Bell in una certa base e poi si misura il 2° qubit in una base ruotata di un certo angolo theta, la probabilità di ottenere la proiezione sul vettore corrispondente è uguale al quadrato del seno di theta?
- Quanti bit di informazione classica sarebbero necessari per descrivere lo stato di una sovrapposizione arbitraria di qubit?
- Quante dimensioni ha uno spazio di 3 qubit?
Visualizza altre domande e risposte in EITC/QI/QIF Quantum Information Fundamentals

