QUANTUM COMPUTING

Obiettivi formativi

Obiettivi generali: L'obiettivo del corso è fornire agli studenti i concetti fondamentali dell'informatica quantistica, che consentiranno loro di proseguire gli studi o di trovare lavoro nel settore dell'informatica quantistica. Obiettivi specifici: Questo corso ha quattro obiettivi specifici: 1. introdurre i fondamenti matematici dell'informatica quantistica necessari per comprendere le caratteristiche controintuitive degli algoritmi quantistici; 2. presentare le nozioni fondamentali dell'informatica quantistica; 3. per introdurre diversi algoritmi quantistici non banali e protocolli di comunicazione quantistica e analizzarne il comportamento; 4. per mostrare come semplici algoritmi e protocolli quantistici possono essere implementati ed eseguiti su un simulatore o su un computer quantistico. Conoscenze e comprensione: Al termine del corso, gli studenti dovrebbero essere a conoscenza e comprendere appieno le principali differenze tra computer classici e quantistici, i formalismi dei circuiti quantistici e dei bra-ket, e i principali algoritmi quantistici (di Grover, di Shor, HHL, ecc.) e protocolli (ad esempio, BB84 e teletrasporto). Inoltre, gli studenti dovrebbero essere a conoscenza delle diverse tecnologie per l'implementazione di hardware quantistico. Applicare conoscenza e comprensione: Gli studenti saranno in grado di utilizzare le nozioni teoriche presentate in classe per sviluppare e/o implementare soluzioni quantistiche a problemi. Le esercitazioni pratiche al computer offriranno agli studenti un'esperienza pratica con circuiti quantistici eseguiti su simulatori o computer quantistici, a supporto dei concetti teorici esposti a lezione. Inoltre, gli studenti potranno approfondire i propri studi in autonomia consultando altro materiale sull'argomento, inclusa la letteratura scientifica. Capacità di giudizio: Gli studenti affineranno queste competenze attraverso regolari attività di problem-solving da svolgere a casa. Le conoscenze e le competenze acquisite consentiranno agli studenti di selezionare o adattare criticamente gli approcci quantistici esistenti per risolvere il problema in questione, o di sviluppare nuove tecniche quantistiche, se necessario. Gli studenti saranno in grado di valutare l'efficienza e identificare pro e contro delle loro soluzioni quantistiche. Capacità di comunicazione: Gli studenti saranno stimolati a collaborare con i loro compagni attraverso lo sviluppo, la documentazione e la risoluzione dei compiti a casa. Capacità di apprendimento: Il corso fornirà agli studenti le competenze tecniche necessarie per studiare a livello di dottorato (PhD) sia argomenti rilevanti in campi affini, quali la comunicazione quantistica e la simulazione quantistica, sia aspetti specifici dell'informatica quantistica.

Canale 1
PAOLO ZULIANI Scheda docente

Programmi - Frequenza - Esami

Programma
• Stato del campo dell'informatica quantistica • Ripasso di algebra lineare complessa • Operatori lineari sugli spazi di Hilbert • Qubit e misurazioni • Operazioni unitarie a singolo qubit (NOT, Hadamard, matrici di Pauli) • Registri quantistici (prodotti tensoriali) • Stati entangled e il paradosso EPR • Operazioni multi-qubit (CNOT, Toffoli) • Prodotto tensoriale di operazioni unitarie • L'equazione di Schrödinger e le regole della meccanica quantistica • Teorema di non-clonazione e protocollo di teletrasporto • Algoritmi di Deutsch-Jozsa e Grover • Stima della fase quantistica e algoritmo di Shor • Algoritmo quantistico per sistemi lineari • Crittografia post-quantistica • I protocolli di scambio di chiavi quantistiche BB84 ed E91 • Disuguaglianze di Bell e non-località quantistica • Fondamenti della teoria dell'informazione quantistica (matrici di densità, superoperatori) • Il limite di Holevo • Approssimazione di porte unitarie a singolo qubit • Approssimazione delle porte unitarie generali (teorema di Solovay-Kitaev) • Linguaggi di programmazione quantistica (Silq)
Prerequisiti
Il corso non prevede prerequisiti specifici oltre a una formazione informatica standard. In particolare, non è richiesta la conoscenza della fisica quantistica.
Testi di riferimento
Libro di testo consigliato: Quantum Computation and Quantum Information . MA Nielsen, IL Chuang. Cambridge University Press, 2010.
Frequenza
Caldamente consigliata, ma non obbligatoria.
Modalità di esame
Esame scritto con esercizi e domande di teoria, senza supporti didattici.
Bibliografia
• Quantum Computing for Everyone. C. Bernhardt. MIT Press, 2020. • Classical and Quantum Computation (Graduate Studies in Mathematics). A. Yu. Kitaev, A.H. Shen, M.N. Vyalyi. AMS, 2002. • Lectures on Quantum Theory: Mathematical and Structural Foundations. C.J. Isham. Imperial College Press, 1995. • Quantum Computing for Computer Scientists. N.S. Yanofsky, M.A. Mannucci. Cambridge University Press, 2008. • Mathematical Foundations of Quantum Mechanics (New Edition). J. von Neumann. Princeton University Press, 2018.
Modalità di erogazione
Lezioni in presenza con supporto di videoproiettore e lavagna.
PAOLO ZULIANI Scheda docente

Programmi - Frequenza - Esami

Programma
• Stato del campo dell'informatica quantistica • Ripasso di algebra lineare complessa • Operatori lineari sugli spazi di Hilbert • Qubit e misurazioni • Operazioni unitarie a singolo qubit (NOT, Hadamard, matrici di Pauli) • Registri quantistici (prodotti tensoriali) • Stati entangled e il paradosso EPR • Operazioni multi-qubit (CNOT, Toffoli) • Prodotto tensoriale di operazioni unitarie • L'equazione di Schrödinger e le regole della meccanica quantistica • Teorema di non-clonazione e protocollo di teletrasporto • Algoritmi di Deutsch-Jozsa e Grover • Stima della fase quantistica e algoritmo di Shor • Algoritmo quantistico per sistemi lineari • Crittografia post-quantistica • I protocolli di scambio di chiavi quantistiche BB84 ed E91 • Disuguaglianze di Bell e non-località quantistica • Fondamenti della teoria dell'informazione quantistica (matrici di densità, superoperatori) • Il limite di Holevo • Approssimazione di porte unitarie a singolo qubit • Approssimazione delle porte unitarie generali (teorema di Solovay-Kitaev) • Linguaggi di programmazione quantistica (Silq)
Prerequisiti
Il corso non prevede prerequisiti specifici oltre a una formazione informatica standard. In particolare, non è richiesta la conoscenza della fisica quantistica.
Testi di riferimento
Libro di testo consigliato: Quantum Computation and Quantum Information . MA Nielsen, IL Chuang. Cambridge University Press, 2010.
Frequenza
Caldamente consigliata, ma non obbligatoria.
Modalità di esame
Esame scritto con esercizi e domande di teoria, senza supporti didattici.
Bibliografia
• Quantum Computing for Everyone. C. Bernhardt. MIT Press, 2020. • Classical and Quantum Computation (Graduate Studies in Mathematics). A. Yu. Kitaev, A.H. Shen, M.N. Vyalyi. AMS, 2002. • Lectures on Quantum Theory: Mathematical and Structural Foundations. C.J. Isham. Imperial College Press, 1995. • Quantum Computing for Computer Scientists. N.S. Yanofsky, M.A. Mannucci. Cambridge University Press, 2008. • Mathematical Foundations of Quantum Mechanics (New Edition). J. von Neumann. Princeton University Press, 2018.
Modalità di erogazione
Lezioni in presenza con supporto di videoproiettore e lavagna.
  • Codice insegnamento10620565
  • Anno accademico2025/2026
  • CorsoComputer Science - Informatica
  • CurriculumCurriculum unico
  • Anno1º anno
  • Semestre1º semestre
  • SSDINF/01
  • CFU6