Lecture date |
Topics |
Notes |
Jan 14 |
Qubit states, single qubit gates |
Lecture note |
Jan 16 |
Multi-qubits gates, controlled gates, circuit notations |
Lecture note |
Jan 21 |
Multi-controlled gates, initialization, termination and measurement gates |
Lecture note |
Jan 23 |
Teleportation, Clifford gate set, universal gate sets |
Lecture note.
Recommended reading: "On Universal and Fault-Tolerant Quantum Computing" by Boykin et al. "Both Toffoli and Controlled-NOT need little help to do
universal quantum computation" by Shi.
Homework 1 is available. |
Jan 28 |
Clifford+T implementation of Toffoli gate, T-gate via T-state |
Lecture note.
Recommended reading:
"Quantum circuits of T-depth one" by Peter Selinger.
"Lower bounds on the non-Clifford resources for quantum computations" by Beverland et al.
|
Jan 30 |
Simply typed lambda calculus |
Lecture note.
|
Feb 4 |
Type inference and Type inhabitation |
Lecture note.
|
Feb 6 |
Call-by-value, unit type, sum types and empty type |
Lecture note.
|
Feb 11 |
Introduction to linear types |
Lecture note.
Homework 2 is available here.
|
Feb 13 |
Evaluation of a linear type system |
Lecture note.
|
Feb 18 |
Examples of Evaluation |
Lecture note.
|
Feb 20 |
Haskell101 |
Haskell file.
CSCE 550 Class website.
Haskell tutorial: learn you a haskell.
|
Feb 25 |
Quipper101 |
Haskell file.
Quipper documentation is available here.
Recommended readings: An Introduction to Quantum Programming in Quipper,
Quipper: A scalable quantum programming language.
|
Feb 27 |
GHZ circuits and Toffoli gate in Quipper |
Haskell file.
Homework 3 is available here.
|
March 4 |
Addition circuit |
Haskell file.
Lecture note.
Related reading: A new quantum ripple-carry addition circuit by Cuccaro et. al. 2004.
|
March 6 |
Addition circuit continued |
Haskell file.
|
March 18 |
Cuccaro adder and introduction to QFT |
Haskell file.
Lecture note.
Related reading: Addition on a Quantum Computer by Draper, 2000.
|
March 20 |
Quantum circuits for QFT |
Lecture note.
|
March 25 |
Quantum Fourier Addition in Quipper |
Haskell file.
Lecture note.
|
March 27 |
Proto-Quipper 101 |
Program file.
|