Quantum Computing
(Laurea Magistrale in Ing. Informatica - 1° anno)
Anno Accademico 2024-2025
Corso Automata, Languages, and Computing
Informazioni sugli obiettivi formativi, sui docenti, sull'orario delle lezioni e sul calendario
degli esami sono disponibili nella pagina del Collegio Didattico di Ingegneria Informatica.
Docente: Giuseppe Di Battista
In questa pagina potrete trovare:
- Quantum - Avviso del 13/10/2024
Sito del corso
Da oggi questo sito non e' piu' manutenuto. Tutte le informazioni sul corso si trovano su
moodle.
|
Archivio avvisi
Il programma di massima del corso di Quantum Computing è il seguente:
- Qubit, coppie di qubit, registri, porte logiche con uno o piu' qubit,
no cloning theorem, l'operatore di Hadamard, teletrasporto, computazioni reversibili,
l'algoritmo di Bernstein Vazirani, l'algoritmo di Shor,
amplitude amplification e l'algoritmo di Groover, misure, sfera di Bloch, teoria della complessità e quantum computing.
Materiale didattico (i link inattivi corrispondono a materiale in corso di revisione)
|
- I testi consigliati (per sola consultazione) sono:
- E. G. Rieffel, W. H. Polak
Quantum Computing: a Gentle Introduction
MIT Press
- N. S. Yanofsky, M. A. Mannucci
Quantum Computing for Computer Scientists
Cambridge
- Slide del corso
- Introduzione al corso
- Un qubit
- Heisenberg e qubit
- Due qubit
- Operatori su un qubit
- Alcune matrici speciali
- Operatori su due qubit
- Tensori, operatori e qubit
- L'operatore di Hadamard
- No cloning theorem
- Teletrasporto
- Computazioni classiche e Quantum Computing
- L'algoritmo di Bernstein e Vazirani
- L'algoritmo di Shor: background e overview
- L'algoritmo di Shor: quantum Fourier transform
- L'algoritmo di Shor: proprieta' della QFT
- L'algoritmo di Shor:
ricerca del periodo di una funzione utilizzando la QFT e versione finale dell'algoritmo
- L'algoritmo di Grover: introduzione
- L'algoritmo di Grover: step dell'algoritmo e implementazione
- Misure e Observables
- La sfera di Bloch
- Complessità quantum e complessità classica
Prova scritta
L'esame è costituito da una prova scritta. Un esempio di prova scritta dell'insegnamento Next Generation Computing Models (AA 21-22)
si trova qui.
Informatica Teorica
/ A cura di Giuseppe Di Battista
e Maurizio Patrignani / 24 settembre 2019