About the Course

The aim of this course is to give students a basic overview of the rapidly growing field of Quantum Computation (QC). The course will start with a brief introduction of the mathematical framework of QC by introducing the basic technical and conceptual issues of Quantum Mechanics. The two models of quantum circuit and measurement-based quantum computing, will be introduced. Through these models various key concepts in QC such as entanglement and teleportation will be discussed. In order to compare QC and classical computing, simple quantum algorithms with their complexity analysis will be presented. We finish the course with a basic exposition to the field of quantum cryptography.

Link to the course’s school page here and university page here.

Starts: Tuesday 18th September

Tuesday lectures, 11:10am-12:00pm

Place: FIRST LECTURE ONLY: Room S37, 7 George Square map

Thursday lectures, 11:10am-12:00pm

Place: Room 4.3, lister-learning-and-teaching-centre map

Tutorials: (starting week 3)

Group 1: Monday 

Group 2: Thursday

Place: (starting) map

Informatics Timetable here

The course is given by Dr. Petros Wallden


Course structure:

  • Basic concepts from Linear Algebra necessary for understanding the axioms of Quantum Mechanics
  • Axioms of Quantum Mechanics, describing quantum system, quantum operators, composition, entanglement and measurements
  • Non-locality, Bell’s inequalities and the interpretations of Quantum Mechanics
  • The no cloning, no deleting theorems and the consequences for computation
  • Quantum Computing via quantum circuit model: Description of qubit and universal set of gates
  • Quantum space and depth complexity and oracle model
  • Classical simulation of quantum circuit and Gottesman-Knill Theorem
  • Quantum Algorithms: Grover’s Search and Deutsch-Jozsa problem
  • The first quantum protocols: Quantum teleportation and super dense coding
  • Quantum Cryptography: BB84 protocol and Device Independent QKD
  • Quantum Computing via measurement-based model: Description of graph state and measurement calculus
  • Advanced Topics (if time permits): Information flow in measurement-based model, unconditionally secure quantum cloud computing