Quantum Computational Structures: a Functional Approach

Aims

The participants will after the course have insight into Functional Programming and Quantum Computation.

Goals

The participants must at the end of the course be able to:

define states and observables.
construct composite systems through tensorial products.
relate the functional structures and the experimental measurements.
reflect upon the entanglement issues.

We shall see - How to define states and observables, - How to construct composite systems through tensorial products, - How to establish a connection between the functional structures and the experimental measurements, - How to comprehend the entanglement issues, etc. We will build "quantum circuits", implement some known "quantum algorithms" for computing, teleportation, "dense coding", etc.

Prerequisites

dProgSprog

Types of teaching

Lectures (3h/week)

Compulsory program

We shall try to answer some questions on how to simulate quantum objects (and quantum 'computing circuits') on standard platforms; how to throw a bridge between the theory of computation and physics. We will use a modern functional language; Haskell, as our main vehicle.

Lecturer

Jerzy Karczmarczuk

Teaching materials

lecture notes

Course homepage

http://www.daimi.au.dk/~karczma/Qcourse/

Evaluation

exercises and mini-projects
pass/fail, internal examiner

Credits

5 ECTS

Language

English

Quarter

Q1 in 2007

Course type

Optional advanced course

danvy@daimi.au.dk