Il corso fornisce un'introduzione ai concetti fondamentali della teoria dell'informazione sia classica che quantistica. L'approccio sarà semplice ma allo stesso tempo rigoroso. La prima parte del corso tratterà risultati fondamentali quali il teorema di codice sorgente, la compressione dei dati e la capacità di canale. Il corso non prevede moduli di programmazione.
Obiettivi formativi generali dell'insegnamento in termini di risultati di apprendimento attesi.
Le lezioni sono tenute in aula, talvolta con l'ausilio di slides. Tali slides verranno rese disponibili agli studenti. Le slides non sostituiscono in alcun modo i testi di riferimento.
Qualora l'insegnamento venisse impartito in modalità mista o a distanza potranno essere introdotte le necessarie variazioni rispetto a quanto dichiarato in precedenza, al fine di rispettare il programma previsto e riportato nel syllabus.
DESCRIZIONE GENERALE DEL CORSO
Il corso offre un’introduzione alla teoria dell’informazione classica e quantistica.
COTENUTI DEL CORSO
PARTE 1: Informazione classica
PARTE 2: Informazione quantistica
[2]. Thomas M.Cover, Joy A.Thomas – Elements of Information Theory (second edition) - Wiley
[3] John Watrous. The Theory of Quantum Information, Cambridge University Press, 2018
[4] N. David Mermin. Quantum Computer Science - An Introduction (5th edition), 2016
[5] Sanjeev Arora and Boaz Barak. Computational Complexity: A Modern Approach, Princeton University, 2006 (only for the complexity part)
| Argomenti | Riferimenti testi | |
|---|---|---|
| 1 | Basi di probabilità. | Cap 2 di [1] |
| 2 | Entropia, Mutua Informazione e funzioni collegate | Cap 3 di [1] |
| 3 | Teorema di codice sorgente | Cap 4 di [1] |
| 4 | Compressione di dati. Codici a blocchi e limiti alla lunghezza dei codici | Cap 5 di [1] |
| 5 | Capacità di Canale. | Cap 9 di [1] |
| 6 | Il modello probabilistico; Quantum bits, Operazioni unitarie e di misura. | Cap 1 di [3] |
| 7 | Sistemi multipli di quantum bits; Prodotti tensoriali; Notazione di Dirac; Matrici densità; Operazioni sulle matrici densità. | Cap 2 di [3] |
| 8 | Matrici densitá; Operazioni sulle matrici densitá; Traccia parziale. | Cap 2 di [3] |
| 9 | Misura quantistica; Canali quantistici; Misure Information-Complete; Misure Parziali. | Cap 2 di [3] |
| 10 | Purificazioni; Decomposizione di Schmidt; Entropia di Von Neumann; Compressione Quantistica. | Cap 3 e 5 di [3] |
| 11 | La sfera di Bloch; Hamiltoniane; Il No-cloning Theorem. | Cap 2 di [4] |
| 12 | Teletrasporto Quantistico; Entanglement swapping; lo stato GHZ; Monogamia dell'entanglement. | Cap 6 di [4] |
| 13 | Quantum error correction; Il codice a 9 qubit di Shor; Quantum Fault Tolerance. | Cap 5 e Appendice N di [4] |
| 14 | Quantum computational complexity: Promise problems and complexity classes; Quantum complexity classes (Uniform Circuits, BQP, Quantum proofs: QMA). | Cap 20 di [5] |
L'esame consiste di una prova scritta ed un colloquio orale. La prova scritta consiste, tipicamente, di domande a risposta aperta.
Per superare la prova scritta è necessario ottenere una valutazione di almeno 18. La prova scritta può essere visionata prima di sostenere la prova orale.
Prove in itinere: E' prevista la possibilità di più prove in itinere. La prima prova verte, tipicamente, sulla parte di teoria dell'informazione classica.
La verifica dell’apprendimento potrà essere effettuata anche per via telematica, qualora le condizioni lo dovessero richiedere.
Per partecipare all'esame finale è necessario avere effettuato la prenotazione sul portale SmartEdu. Per eventuali problemi tecnici relativi alla prenotazione occorre rivolgersi alla Segreteria didattica.
Gli studenti con disabilità e/o DSA dovranno contattare con sufficiente anticipo rispetto alla data d'esame il docente e il referente CInAP del DMI per comunicare che intendono sostenere l'esame fruendo delle opportune misure compensative.
Il voto è attribuito secondo il seguente schema:
Esercizi per studiare le proprietà degli stati entangled, come gli stati di Bell, e l'analisi della non separabilità degli stati. Esercizi sulla quantificazione dell'entanglement. Esercizi teorici per dimostrare l'impossibilità di clonare stati quantistici arbitrari e le sue implicazioni. Esercizi di calcolo dell'entropia di von Neumann per stati misti e analisi della perdita di informazione.