Topological ManifoldsMarzio De Corato
01 / Didattica

Quantum e post-quantum computing.

Università degli Studi di Milano · Anno accademico 2026/2027

Sfera di Bloch
Il percorso dei materiali

I sette moduli accompagnano lo studio dai fondamenti fisici e dagli strumenti matematici ai circuiti, agli algoritmi e ai protocolli quantistici, offrendo slide consultabili e scaricabili in PDF alle quali puoi affiancare, attraverso i collegamenti presenti in ciascun modulo, le attività di Quantum Lab.

Partendo dalla simulazione dei sistemi fisici e dagli strumenti matematici con cui descriverli, i materiali introducono porte e circuiti quantistici, sui quali vengono costruiti gli algoritmi di Deutsch–Jozsa, Bernstein–Vazirani, Simon, Shor e Grover; il percorso prosegue con BB84, la codifica superdensa e la correzione degli errori, fino all’approfondimento dei limiti operativi della distribuzione quantistica delle chiavi e del suo rapporto con la crittografia post-quantistica.

7moduli
1950pagine PDF
PDFaccesso libero

Puoi seguire i moduli nell’ordine proposto, passando dai fenomeni agli strumenti matematici e quindi ai circuiti, agli algoritmi e ai protocolli, oppure utilizzare l’indice per ritrovare l’argomento che desideri riprendere.

Quantum e post-quantum

La sfera di Bloch descrive gli stati puri di un qubit, mentre i reticoli offrono la struttura matematica su cui si fondano alcune costruzioni crittografiche post-quantistiche, mettendo in relazione due ambiti che affrontano problemi differenti.

Reticolo e base
Moduli scaricabili

Materiali del corso

01
Modulo 01

Fondamenti fisici e simulazione dei sistemi quantistici

Dalla simulazione classica e statistica a onde, interferenza, stati a due alternative e sistemi composti. Il modulo affronta la perdita di interferenza, l’informazione e l’irreversibilità, fino al passaggio dalla meccanica quantistica al calcolo.

  • Simulazione classica e statistica
  • Onde, interferenza e misura
  • Qubit, sistemi composti e ambiente
  • Informazione e costruzione di un computer quantistico

519 pagine PDF · 3,1 MB · Marzio De Corato; Danilo Bruschi

Traccia di studio

Seguendo il passaggio dalle simulazioni alle onde e agli stati a due alternative, prova a riconoscere dove la fase relativa modifica le probabilità osservate e in quali condizioni l’interazione con l’ambiente attenua l’interferenza.

Preparazione suggerita

Per iniziare sono utili grafici di funzioni, proporzioni e probabilità elementare; il modulo successivo permette di riprendere gli strumenti algebrici.

Mappa degli argomenti · 12

Materiale in italiano · titoli originali delle sezioni

  1. Parte I – La simulazione classicaPagina PDF 13 ↗
  2. Parte II – La simulazione statisticaPagina PDF 54 ↗
  3. Parte III – Onde e interferenzaPagina PDF 96 ↗
  4. Parte IV – L'interferenza di particelle singolePagina PDF 129 ↗
  5. Parte V – Stati a due alternativePagina PDF 169 ↗
  6. Parte VI – Il calcolo quantisticoPagina PDF 226 ↗
  7. Parte VII – Due qubit e stati congiuntiPagina PDF 250 ↗
  8. Parte VIII – Ambiente e perdita di interferenzaPagina PDF 281 ↗
  9. Parte IX – Informazione e irreversibilitàPagina PDF 304 ↗
  10. SintesiPagina PDF 312 ↗
  11. Parte X – Come si costruisce un computer quantisticoPagina PDF 329 ↗
  12. Parte XI – Dalla meccanica quantistica al calcolo quantisticoPagina PDF 495 ↗

Le destinazioni seguono i segnalibri dei documenti originali; il numero indica la pagina fisica del PDF, che può differire dalla numerazione stampata nelle slide.

Studia → sperimenta

Dopo aver consultato le slide, puoi aprire le attività collegate per confrontare gli argomenti del modulo con le rappresentazioni del laboratorio.

Si apre in una nuova scheda, mantenendo disponibili i materiali.

Licenza indicata nel documento: CC BY-NC-SA 4.0.

02
Modulo 02

Fondamenti matematici: algebra lineare, probabilità e misura

Numeri complessi, vettori, matrici e prodotti tensoriali costruiscono il linguaggio del calcolo; probabilità, stati e misura collegano le trasformazioni matematiche agli esiti osservabili.

  • Vettori e trasformazioni lineari
  • Prodotto tensoriale e funzioni di matrici
  • Probabilità e dati
  • Stati quantistici e misura

514 pagine PDF · 2,7 MB · Marzio De Corato; Danilo Bruschi

Traccia di studio

Dopo aver lavorato con numeri complessi, vettori e operatori, ricostruisci una misura proiettiva precisando la base scelta, le probabilità degli esiti e l’aggiornamento dello stato che segue ciascun risultato.

Preparazione suggerita

Puoi affiancare il primo modulo alla revisione di algebra lineare e probabilità contenuta nelle prime sezioni di queste slide.

Mappa degli argomenti · 31

Materiale in italiano · titoli originali delle sezioni

  1. Numeri complessiPagina PDF 11 ↗
  2. Vettori, basi e coordinatePagina PDF 33 ↗
  3. Prodotto interno e ortogonalitàPagina PDF 45 ↗
  4. Matrici e trasformazioni lineariPagina PDF 76 ↗
  5. Aggiunto, hermitiane e unitariePagina PDF 89 ↗
  6. Autovalori e autovettoriPagina PDF 101 ↗
  7. Diagonalizzazione e spettroPagina PDF 113 ↗
  8. Cambio di base e commutatoriPagina PDF 138 ↗
  9. Nucleo, immagine e rangoPagina PDF 160 ↗
  10. Prodotto tensorialePagina PDF 167 ↗
  11. Funzioni di matriciPagina PDF 180 ↗
  12. Un problema di algebra completoPagina PDF 203 ↗
  13. Esiti ed eventiPagina PDF 217 ↗
  14. Variabili aleatorie discretePagina PDF 223 ↗
  15. Valore attesoPagina PDF 229 ↗
  16. Varianza e dispersionePagina PDF 235 ↗
  17. Prove ripetute e binomialePagina PDF 242 ↗
  18. Frequenze e precisionePagina PDF 253 ↗
  19. Condizionamento e BayesPagina PDF 264 ↗
  20. Distribuzioni congiuntePagina PDF 271 ↗
  21. Dal vettore al ketPagina PDF 319 ↗
  22. Bra e prodotto internoPagina PDF 331 ↗
  23. Prodotto diadico e proiettoriPagina PDF 345 ↗
  24. Operatori e trasformazioni del qubitPagina PDF 354 ↗
  25. Autostati e decomposizione spettralePagina PDF 389 ↗
  26. Regola di BornPagina PDF 396 ↗
  27. Misura e aggiornamento dello statoPagina PDF 410 ↗
  28. Valori medi e dispersioni quantistichePagina PDF 424 ↗
  29. Osservabili incompatibiliPagina PDF 433 ↗
  30. Sistemi compostiPagina PDF 449 ↗
  31. Un esperimento calcolato dall’inizio alla finePagina PDF 488 ↗

Le destinazioni seguono i segnalibri dei documenti originali; il numero indica la pagina fisica del PDF, che può differire dalla numerazione stampata nelle slide.

Studia → sperimenta

Dopo aver consultato le slide, puoi aprire le attività collegate per confrontare gli argomenti del modulo con le rappresentazioni del laboratorio.

Si apre in una nuova scheda, mantenendo disponibili i materiali.

Licenza indicata nel documento: CC BY-NC-SA 4.0.

03
Modulo 03

Circuiti quantistici: porte, reversibilità e algoritmi di Deutsch e Deutsch–Jozsa

Lettura ed esecuzione dei circuiti, porte a uno e più qubit, composizione, fasi e interferenza. La logica reversibile conduce agli algoritmi di Deutsch e Deutsch–Jozsa, sviluppati attraverso esempi e verifiche.

  • Porte a un qubit e composizione
  • Fasi, interferenza e registri
  • CNOT, Toffoli e qubit ausiliari
  • Deutsch e Deutsch–Jozsa

177 pagine PDF · 1,0 MB · Marzio De Corato; Danilo Bruschi

Traccia di studio

Leggendo un circuito da sinistra a destra, segui lo stato del registro attraverso le porte e confronta il ruolo delle fasi nella derivazione di Deutsch con quello assunto nella generalizzazione di Deutsch–Jozsa.

Preparazione suggerita

Riprendi dal secondo modulo prodotti tensoriali, operatori unitari, regola di Born e cambi di base.

Mappa degli argomenti · 13

Materiale in italiano · titoli originali delle sezioni

  1. 1. Lettura ed esecuzionePagina PDF 3 ↗
  2. 2. Porte a un qubitPagina PDF 11 ↗
  3. 3. Composizione e inversionePagina PDF 26 ↗
  4. 4. Fasi e interferenzaPagina PDF 36 ↗
  5. 5. Registri di due qubitPagina PDF 47 ↗
  6. 6. CNOT, Toffoli e ausiliariPagina PDF 59 ↗
  7. 7. Deutsch: derivazione commentataPagina PDF 94 ↗
  8. 8. Interpretazione e prosecuzionePagina PDF 115 ↗
  9. 9. Deutsch–Jozsa su più bitPagina PDF 119 ↗
  10. A. Verifiche e dimostrazioniPagina PDF 148 ↗
  11. B. Preparazioni alternativePagina PDF 155 ↗
  12. C. AND, fase e ripristinoPagina PDF 171 ↗
  13. RiferimentiPagina PDF 177 ↗

Le destinazioni seguono i segnalibri dei documenti originali; il numero indica la pagina fisica del PDF, che può differire dalla numerazione stampata nelle slide.

Studia → sperimenta

Dopo aver consultato le slide, puoi aprire le attività collegate per confrontare gli argomenti del modulo con le rappresentazioni del laboratorio.

Si apre in una nuova scheda, mantenendo disponibili i materiali.

Licenza indicata nel documento: CC BY-NC-SA 4.0.

04
Modulo 04

Algoritmi quantistici: Bernstein–Vazirani e Simon

Due problemi di ricostruzione di stringhe nascoste: i coefficienti di una parità binaria e la relazione XOR fra ingressi con la stessa uscita. Oracoli, interferenza e misura sono seguiti fino alla ricostruzione della risposta.

  • Parità binarie e stringhe nascoste
  • Oracoli e marcatura di fase
  • Bernstein–Vazirani
  • Simon e vincoli binari

179 pagine PDF · 0,9 MB · Marzio De Corato; Danilo Bruschi

Traccia di studio

Confronta Bernstein–Vazirani e Simon attraverso la struttura dell’oracolo e le informazioni ricavate dalle misure, tenendo distinti il numero di interrogazioni e il lavoro classico richiesto per interpretare gli esiti.

Preparazione suggerita

Sono utili la lettura dei circuiti del terzo modulo e il calcolo con bit, prodotto scalare binario ed equazioni lineari.

Mappa degli argomenti · 6

Materiale in italiano · titoli originali delle sezioni

  1. Bernstein–VaziraniPagina PDF 3 ↗
  2. SimonPagina PDF 60 ↗
  3. Simon: quante prove servonoPagina PDF 134 ↗
  4. Simon: confronto classico e risorsePagina PDF 147 ↗
  5. Confronto dei procedimentiPagina PDF 156 ↗
  6. AppendicePagina PDF 159 ↗

Le destinazioni seguono i segnalibri dei documenti originali; il numero indica la pagina fisica del PDF, che può differire dalla numerazione stampata nelle slide.

Studia → sperimenta

Dopo aver consultato le slide, puoi aprire le attività collegate per confrontare gli argomenti del modulo con le rappresentazioni del laboratorio.

Si apre in una nuova scheda, mantenendo disponibili i materiali.

Licenza indicata nel documento: CC BY-NC-SA 4.0.

05
Modulo 05

Algoritmo di Shor: aritmetica modulare, RSA e trasformata di Fourier

Divisori, congruenze, inversi e potenze modulari preparano la costruzione di RSA. La ricerca quantistica del periodo e la trasformata di Fourier conducono al recupero del messaggio; un approfondimento finale collega il periodo alla fattorizzazione.

  • Aritmetica modulare e algoritmo di Euclide
  • RSA e periodo del cifrato
  • Trasformata di Fourier e ricerca del periodo
  • Dalla misura alla decifrazione e alla fattorizzazione

208 pagine PDF · 1,5 MB

Traccia di studio

Segui la catena che collega aritmetica modulare, ricerca del periodo e recupero dell’informazione, distinguendo la trasformata di Fourier dalle elaborazioni classiche con cui si interpretano le misure.

Preparazione suggerita

Riprendi circuiti quantistici e numeri complessi; divisibilità, congruenze e ordine vengono sviluppati nelle sezioni iniziali del modulo.

Mappa degli argomenti · 13

Materiale in italiano · titoli originali delle sezioni

  1. 01 Il problema di ShorPagina PDF 4 ↗
  2. 02 Divisori e coprimalitàPagina PDF 15 ↗
  3. 03 Congruenze e inversiPagina PDF 34 ↗
  4. 04 Potenze e ordinePagina PDF 57 ↗
  5. 05 La costruzione di RSAPagina PDF 82 ↗
  6. 06 Il periodo del cifratoPagina PDF 115 ↗
  7. 07 La difficoltà della ricercaPagina PDF 128 ↗
  8. 08 La rappresentazione di FourierPagina PDF 137 ↗
  9. 09 La ricerca quantistica del periodoPagina PDF 152 ↗
  10. 10 Dalla misura al messaggioPagina PDF 169 ↗
  11. 11 La realizzazione del circuitoPagina PDF 185 ↗
  12. A Il periodo e i fattori (facoltativo)Pagina PDF 201 ↗
  13. Riferimenti bibliograficiPagina PDF 207 ↗

Le destinazioni seguono i segnalibri dei documenti originali; il numero indica la pagina fisica del PDF, che può differire dalla numerazione stampata nelle slide.

Studia → sperimenta

Dopo aver consultato le slide, puoi aprire le attività collegate per confrontare gli argomenti del modulo con le rappresentazioni del laboratorio.

Si apre in una nuova scheda, mantenendo disponibili i materiali.

06
Modulo 06

Algoritmo di Grover e amplificazione di ampiezza

La ricerca di candidati validi è sviluppata attraverso oracoli, riflessioni e rotazioni nello spazio degli stati. Gli esempi introducono più soluzioni, un numero di soluzioni ignoto e l’amplificazione di ampiezza, mantenendo espliciti costi e limiti.

  • Ricerca, verificatori e interrogazioni
  • Oracolo, diffusore e rotazione di Grover
  • Più soluzioni e numero di soluzioni ignoto
  • Amplificazione di ampiezza e analisi delle risorse

253 pagine PDF · 1,1 MB

Traccia di studio

Interpreta le iterazioni di Grover come rotazioni nel sottospazio pertinente e verifica come il numero di soluzioni condizioni il momento in cui interrompere l’amplificazione.

Preparazione suggerita

Riprendi normalizzazione degli stati, oracoli reversibili e riflessioni; i primi esempi con quattro e otto candidati accompagnano la costruzione geometrica.

Mappa degli argomenti · 12

Materiale in italiano · titoli originali delle sezioni

  1. Il problema della ricercaPagina PDF 4 ↗
  2. Stati e probabilitàPagina PDF 21 ↗
  3. Oracoli reversibiliPagina PDF 42 ↗
  4. Quattro candidatiPagina PDF 61 ↗
  5. Otto candidatiPagina PDF 78 ↗
  6. Riflessioni e sottospaziPagina PDF 97 ↗
  7. La rotazione di GroverPagina PDF 123 ↗
  8. Circuiti e ausiliariPagina PDF 146 ↗
  9. Più soluzioniPagina PDF 175 ↗
  10. Il numero di soluzioni ignotoPagina PDF 192 ↗
  11. Amplificazione di ampiezzaPagina PDF 210 ↗
  12. Costo e uso dell’algoritmoPagina PDF 230 ↗

Le destinazioni seguono i segnalibri dei documenti originali; il numero indica la pagina fisica del PDF, che può differire dalla numerazione stampata nelle slide.

Studia → sperimenta

Dopo aver consultato le slide, puoi aprire le attività collegate per confrontare gli argomenti del modulo con le rappresentazioni del laboratorio.

Si apre in una nuova scheda, mantenendo disponibili i materiali.

07
Modulo 07

Protocolli quantistici: BB84, QKD, codifica superdensa e correzione degli errori

Distribuzione delle chiavi con BB84, requisiti e criticità della QKD, confronto con la crittografia post-quantistica, codifica superdensa ed entropia. La parte conclusiva descrive codici quantistici, sindromi e recupero degli errori.

  • BB84 e distribuzione delle chiavi
  • QKD: requisiti, criticità e rapporto con la PQC
  • Codifica superdensa ed entropia
  • Correzione degli errori e qubit logici

100 pagine PDF · 0,6 MB

Traccia di studio

Confronta distribuzione quantistica delle chiavi, codifica superdensa e correzione degli errori precisando, per ciascun protocollo, quali risorse vengono condivise e che cosa è possibile dedurre dalle misure.

Preparazione suggerita

Sono utili stati congiunti, basi di misura e circuiti controllati, trattati nei primi tre moduli.

Mappa degli argomenti · 4

Materiale in italiano · titoli originali delle sezioni

  1. BB84 e distribuzione delle chiaviPagina PDF 10 ↗
  2. La QKD nelle comunicazioni protettePagina PDF 29 ↗
  3. Codifica superdensaPagina PDF 46 ↗
  4. Correzione degli errori quantisticiPagina PDF 57 ↗

Le destinazioni seguono i segnalibri dei documenti originali; il numero indica la pagina fisica del PDF, che può differire dalla numerazione stampata nelle slide.

Studia → sperimenta

Dopo aver consultato le slide, puoi aprire le attività collegate per confrontare gli argomenti del modulo con le rappresentazioni del laboratorio.

Si apre in una nuova scheda, mantenendo disponibili i materiali.

I PDF possono avere una numerazione interna delle slide differente dal totale delle pagine. Per passare da un modulo all’altro usa l’indice del corso.
← Tutti gli insegnamenti

Esplora Topological Manifolds

Pagina di ricerca completa ↗

Teoria dei grafi e cyber-attacchi

Nodo non colpitoNodo compromesso

Quando dispositivi, servizi e identità vengono descritti attraverso le relazioni che li collegano, la sicurezza di un sistema può essere studiata come un problema di struttura, nel quale conta sia la presenza di una vulnerabilità sia il percorso attraverso cui quella debolezza potrebbe rendere raggiungibili altre risorse.

Dalle connessioni ai percorsi d’attacco

Un grafo G = (V, E) raccoglie un insieme di vertici V e un insieme di archi E: in una rappresentazione della rete, i vertici possono corrispondere a dispositivi o servizi, mentre gli archi descrivono connessioni, dipendenze o relazioni di fiducia. Un grafo d’attacco introduce invece condizioni, azioni o stati del sistema, secondo il modello adottato, per esaminare come più passaggi possano concatenarsi fino a una compromissione.

G = (V, E)

La somiglianza con una diffusione epidemica aiuta a seguire il passaggio da un nodo agli altri, purché si tenga conto delle condizioni che permettono ciascuna transizione: credenziali, autorizzazioni, vulnerabilità e configurazioni determinano quali percorsi siano effettivamente praticabili, mentre la sola esistenza di un collegamento descrive una possibilità di comunicazione.

Come orientare la difesa

L’analisi dei cammini permette di riconoscere quali risorse potrebbero essere raggiunte da un punto iniziale e quali connessioni costituiscano passaggi decisivi; confrontando il grafo prima e dopo una modifica, si può studiare come la segmentazione della rete, la riduzione dei privilegi o la correzione di una vulnerabilità interrompano determinate sequenze. L’importanza di un nodo dipende dal suo ruolo e dal contesto, per cui il numero di collegamenti, considerato da solo, offre una descrizione parziale del rischio.

Il significato della figura

I nodi rossi, contrassegnati da una croce, indicano i sistemi colpiti nello scenario rappresentato; quelli verdi restano estranei alla compromissione, mentre gli impulsi chiari seguono i percorsi della propagazione. La mappa fornisce una disposizione geografica convenzionale a una rete illustrativa, le cui connessioni e i cui tempi sono costruiti per rendere leggibile il fenomeno: la figura non mostra attacchi osservati e non stima probabilità di compromissione.

Esplora il modello

Il modello si carica all’apertura.

Trascina o usa le frecce per orientare; + e − regolano lo zoom. Per lo zoom con la rotella tieni premuto Ctrl o ⌘. Esc chiude la finestra.

Topological Manifolds

Preferenze dell’interfaccia

Il suono resta facoltativo e si controlla dall’altoparlante in alto. La colonna sonora dispone di un lettore separato qui sotto.

Ingresso nelle schede, clic e cambi di pagina hanno accenti morbidi; lo scorrimento resta silenzioso.

Colonna sonora originale · 4:30

Descending Fields

0:00 / 4:30

La musica si avvia premendo Ascolta.

La composizione ↗
Topological Manifolds

Formule scientifiche

Relazioni, ipotesi e riferimenti di studio. Non sono risultati sperimentali della ricerca dell’autore.

Ricerca · Didattica · Esplorazione

Topological
Manifolds

Segui il codice, esplora le forme. Scegli come entrare.

Musica ed effetti hanno volumi indipendenti.

topological-manifolds / terminal
Transizione visiva

Apertura del laboratorio

Apertura del laboratorio…

0%

Destinazione