|
| Instructor | Dominique Unruh |
| TA | Raul-Martin Rebane (submit homework solutions here) |
| Lecture Period | February 6 - May 23 |
| Lectures | Mondays, 12:15-13:45, Δ-1022
(Dominique; may sometimes be switched with tutorial) |
| Practice sessions |
Tuesdays, 10:15-12:00, Δ-2045 (Raul-Martin) |
| Chat | https://zulip.cs.ut.ee/#narrow/stream/312-Quantum-Cryptography-2023 |
| Course Material | Lecture
notes, recordings, blackboard photos, and exam study guide. |
| Language | English |
| Exam | 2023-05-25, 10:00–13:00, Delta room 1008 |
| Contact | Dominique Unruh <<surname>at ut dot ee> |
| Date | Summary | Knowlets covered | Materials |
|---|---|---|---|
| Feb 06 | General intro. Quantum systems, quantum states | QState | Video, Whiteboard |
| Feb 07 | Unitary operations, measurements in computational basis, Elitzur-Vaidman bomb tester | UniTrafo, CBMeas, PauliX, PauliY, PauliZ, Bomb | Video, Whiteboard |
| Feb 13 | Complete measurements. Projective measurements (subspace view). | ComplMeas, ProjMeasVS, Hada | Video, Whiteboard |
| Feb 14 | Quantum Zeno effect, polarization invariant under rotation. | ComplMeas, ConjTrans, Dirac | Whiteboard |
| Feb 20 | Projective measurements (projector view). Tensor product. Composition of quantum systems / quantum states / unitaries / measurements. | ProjMeas, ComposQSys, ComposQState, Tensor, ComposUni, ComposMeas | Video, Whiteboard |
| Feb 21 | Using tensor product and proj. measurements. Quantum teleportation | ProjMeas, Tensor, ComposUni, ComposMeas, CNOT, Hada | Whiteboard |
| Feb 27 | Quantum state probability distributions (ensembles). Operations on quantum state probability distributions. Density operators. Operations on density operators. Theorem: Physically indistinsuishable iff same density operator. | QDistr, PhysInd, QDistrU, QDistrX, QDistrM, Density, Density, DensityU, DensityM, DensityX, DensityPhysInd | Video, Whiteboard |
| Feb 28 | Density operators. Implementing boolean unitaries | QDistr, QDistrM, Density, DensityPhysInd, Toff | Whiteboard |
| Mar 06 | Quantum One-Time Pad. Partial Trace. | QOTP, ParTr | Video, Whiteboard |
| Mar 07 | Backwards toy crypto. Calculating Partial Trace. Tracing out buffer qubits in $U_f$. Impossibility of FTL communication. | ParTr | Whiteboard |
| Mar 13 | Motivation for trace distance. Statistical distance. Trace distance. Quantum operations. | SD, SDSumDef, SDProps, TD, TDMaxDef, TDSD, TDProps, QOper, QOperAlt | Video, Whiteboard |
| Mar 14 | Trace Distance of lecture example. QOTP with no zero-keys. Replace as Kraus operator. Trace Distance between arbitrary states. | QOper, ParTr, SD, SDSumDef | Whiteboard |
| Mar 20 | Quantum key distribution: Intro. Security definition. Protocol overview. | QKDIntro, QKDSecDef, QKDProto | Video, Whiteboard |
| Mar 21 | Prob. of measuring key after QKD. Alternate sec def of QKD. SMT from QKD. | QKDSecDef | Whiteboard |
| Mar 27 | Quantum key distribution: First step (distributing Bell pairs). Bell test. Measuring the raw key. Min-entropy. | Bell, TildeNotation, BellTest, BellTestAna, RawKey, RawKeyKeyDiff, RawKeyGuess, MinEnt, RawKeyEnt, RawKeyAna | Video, Whiteboard |
| Out | Due | Homework | Solution |
|---|---|---|---|
| 2023-02-13 | 2023-02-20 | Homework 1 | Solution 1 |
| 2023-02-20 | 2023-02-27 | Homework 2 | Solution 2 |
| 2023-02-27 | 2023-03-06 | Homework 3 | Solution 3 |
| 2023-03-06 | 2023-03-13 | Homework 4 | Solution 4 |
| 2023-03-13 | 2023-03-20 | Homework 5 | Solution 5 |
| 2023-03-20 | 2023-03-27 | Homework 6 | |
| 2023-03-27 | 2023-04-03 | Homework 7 |
In quantum cryptography we use quantum
mechanical effects to construct secure protocols. The paradoxical
nature of quantum mechanics allows for constructions that solve
problems known to be impossible without quantum mechanics. This lecture
gives an introduction into this fascinating area.
Possible topics include:
You need no prior knowledge of quantum mechanics. You should have heard some introductory lecture on cryptography. You should enjoy math and have a sound understanding of linear algebra.
[NC00] Nielsen, Chuang. "Quantum Computation and Quantum Information" Cambridge University Press, 2000. A standard textbook on quantum information and quantum computing. Also contains some quantum cryptography.
Further
reading may be suggested during the
course. See the "further reading" paragraphs in the lecture notes.