Obiettivi formativi

Il corso fornisce un'introduzione alla computazione quantistica presentandone le idee di base e illustrando le tecniche e i risultati piu' importanti finora ottenuti. Data la natura interdisciplinare di questo campo di ricerca, il corso richiede conoscenze non limitate ad una formazione puramente informatica. Per questo motivo, una prima parte del corso e' destinata a offrire il background in matematica e fisica necessario per capire le idee e le tecniche della computazione quantistica, rendendo il corso accessibile anche a non-esperti della materia. La seconda parte e' rivolta ad una trattazione piu' approfondita dei risultati centrali relativi a computabilita' e complessita' quantistica nonche' allo sviluppo di algoritmi quantistici.
Vengono inoltre discusse le problematiche relative ai linguaggi di programmazione quantistica. Infine il corso offre un'introduzione alla crittografia quantistica attraverso lo studio di alcuni dei principali protocolli quantistici.

Programma

Introduzione e Background

- Principi di meccanica quantistica (Prof.ssa Monti)
- Spazi vettoriali complessi


Computazione Quantistica

-Il modello dei circuiti
-Macchina di Turing Quantistica
-Trasformata di Fourier e sue applicazioni
-- Stima di autovalori
-- Order finding
-- Fattorizzazione
-Algoritmi di ricerca

Introduzione alla Crittografia Quantistica
Introduzione ai Linguaggi di Programmazione Quantistica

Modalità d'esame

Esame scritto e orale