Feynman’s quantum walks

Nel calcolatore di Feynman il meccanismo di temporizzazione, o clock, è scalato a livello quantistico ed è incluso nel sistema di calcolo: esso consiste di una particella, o cursore, che si muove di moto inerziale su un reticolo regolare o un grafo. Il clock è quindi accoppiato ad aggiuntivi gradi di libertà che realizzano il registro di ingresso/uscita.
In questo seminario il modello di calcolatore di Feynman viene presentato come non solo un’anticipazione, ma addirittura una generalizzazione del paradigma di calcolo basato sui quantum walks a tempo continuo che molta attenzione ha attirato in tempi recenti.
Particolare attenzione viene dedicata ai problemi di sincronizzazione del segnale di temporizzazione, alla possibilità di usare salti
condizionati del cursore per iterare subroutine quantistiche ed alle strategie di preparazione e lettura del dispositivo di calcolo suggerite
da considerazioni di carattere dinamico ed entropico, che motivano l’introduzione della nozione di costo in probabilità di un algoritmo.